The Supremum of a Set is not an Interior Point

In summary, the argument presented does not work because the assumption that the supremum exists does not hold.
  • #1
OhMyMarkov
83
0
Hello everyone!

Given a set A that has a supremum $\alpha$, I want to show that $\alpha \notin int(A)$. Is the following proof accepted?

$\alpha = \sup A$ so $\alpha$ is a limit point of $A$. If $\alpha \notin A$, we are done.

Otherwise, for $\forall r>0$, we have $N(\alpha,r)-\{\alpha\} \cap A \neq \varnothing$. Choose $t\in N(\alpha,r)$, and $\alpha<t<\alpha + r$. But for $\forall x \in A$, we have $x\leq\alpha < t$. So $t\notin A$, $t\in A^c$. Therefore, $N(\alpha,r)\cap A^c \neq \varnothing$, so $N(\alpha,r)\not\subset A \; \; \forall r>0$.

Therefore, $\alpha$ is not an interior point of $A$.Is there anything wrong with the proof. I am concerned about the part in red.

Thanks!
 
Last edited:
Physics news on Phys.org
  • #2
The statement is not well-formed. Is ##A## a nonempty subset of the real line and bounded above? Even if this is the case, the argument is not correct. Since you want to argue to contradiction, start by assuming to the contrary that ##\alpha \in \operatorname{int}A##. Then ##A## contains ##N(\alpha, r)## for some ##r > 0##. Since ##\alpha + r/2\in N(\alpha,r)##, then ##\alpha + r/2 \in A## and hence ##\alpha + r/2 \le \alpha##, a contradiction.
 
  • Like
Likes Greg Bernhardt
  • #3
@Euge: I think I feel a little more generous to this argument. I.e. although there are errors, I believe they are not too egregious. First, perhaps the OP was thinking that since the empty set has no least upper bound, ( every number is an upper bound), and an unbounded above set has no upper bound at all, that the assumption of existence of a least upper bound (sup) implies the set is non empty and bounded above. he/she might however have stated the set lies in the real numbers.

And it seems to me the argument is essentially correct, since it shows that every nbhd of alpha fails to lie in A, hence alpha is not an interior point. I.e. it has shown (directly) that if alpha is the sup, then it is not interior. whereas you have indeed shown (by contradiction) the contrapositive, that if alpha is an interior point then it is not the sup.

Of course, in the OP's opening argument, it is false that the sup of A is necessarily a limit point of A (e.g. consider a finite set A). Perhaps this bothered you. But fortunately this was not used in the argument. So it seems to me that this argument, although it contains a false statement, does go on to give a correct agument independent of that statement. But it should have jumped directly from "[assume] alpha equals sup A" to "Choose [some] t..."

It is also unnecessary to separate off the case where alpha does not belong to A, since the final argument covers this case as well, but this redundancy is not an error.

The key logical point is indeed, as the OP believed, in the red lettered section, and it hinges on the meaning of the phrase "choose t..." What must be shown is that there is a point t in that interval, which then will be shown not to lie in A. While it is obvious that the interval is non empty, and that one can thus choose such a point, it would be more airtight to specifically say "let t = alpha+r/2." ( I.e. the essential thing is not to show that every point of that interval fails to lie in A, but rather than some point fails to, and the second statement does not follow from the first if the interval were empty. The language used does not distinguish clearly between "for some t" and "for all t". Although perhaps "choose t" suggests "for some t", if that is meant, one should justify the choice by remarking first that the interval is non empty.)

So the question seems to me almost well posed (assuming only A is a subset of the reals), and the OP's argument at least essentially contains a correct one, modulo the obvious fact that any interval of form (a,b) with a < b, is non empty. Your argument is of course flawless. cheers!
 
Last edited:
  • Like
Likes Euge

1. What is the definition of Supremum?

The supremum of a set is the least upper bound, which means it is the smallest number that is greater than or equal to all the numbers in the set.

2. How is the Supremum different from the maximum?

The supremum of a set may or may not be a member of the set, while the maximum must be a member of the set.

3. What does it mean for the Supremum to be an interior point?

If the supremum of a set is an interior point, it means that there exists an open interval containing the supremum that is entirely contained within the set.

4. Can the Supremum of a set be equal to its interior point?

Yes, if the set is closed, the supremum will also be a boundary point and therefore an interior point as well.

5. Why is the statement "The Supremum of a Set is not an Interior Point" important in mathematics?

This statement is important because it highlights the differences between the supremum and the maximum of a set and clarifies their roles in mathematical analysis. It also emphasizes the concept of interior points and their relationship to the supremum of a set.

Similar threads

  • Topology and Analysis
Replies
11
Views
893
  • Topology and Analysis
Replies
11
Views
1K
  • Calculus and Beyond Homework Help
Replies
20
Views
2K
  • Calculus and Beyond Homework Help
Replies
8
Views
537
  • Topology and Analysis
Replies
1
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
3
Views
4K
  • Calculus and Beyond Homework Help
Replies
14
Views
407
  • Topology and Analysis
Replies
7
Views
2K
  • Topology and Analysis
Replies
2
Views
1K
  • Introductory Physics Homework Help
Replies
2
Views
166
Back
Top