Basic Topology Proof: y in E Closure if E is Closed

  • Thread starter Thread starter bedi
  • Start date Start date
  • Tags Tags
    Proof Topology
AI Thread Summary
The discussion focuses on proving that if y is the supremum of a nonempty, bounded above set E of real numbers, then y is in the closure of E if E is closed. The closure of E is defined as the union of E and its limit points. The argument presented states that since y is either in E or its limit points, if E is closed, then all limit points are included in E, making the closure equal to E. There is a question raised about whether the proof adequately demonstrates that y, as the supremum, must be in the closure of E. The conversation emphasizes the need for clarity in proving the relationship between the supremum and the closure of the set.
bedi
Messages
81
Reaction score
0

Homework Statement



Let E be a nonempty set of real numbers which is bounded above. Let y=sup E. Then y \in E closure. Hence y \in E if E is closed.

Homework Equations



E closure = E' \cup E where E' is the set of all limit points of E.

The Attempt at a Solution



By the definition of closure, y is either in E' or E (maybe in both). If E is closed, E' \subset E and we know that the union of a set and its subset is the set itself. Therefore E closure = E.

Is this a valid proof?
 
Physics news on Phys.org
Shouldn't you be proving that if y=sup(E), then y ∈ E closure?
 
I tried to combine those 2 formulas but it didn't work. I tried using another case where there are 2 red balls and 2 blue balls only so when combining the formula I got ##\frac{(4-1)!}{2!2!}=\frac{3}{2}## which does not make sense. Is there any formula to calculate cyclic permutation of identical objects or I have to do it by listing all the possibilities? Thanks
Since ##px^9+q## is the factor, then ##x^9=\frac{-q}{p}## will be one of the roots. Let ##f(x)=27x^{18}+bx^9+70##, then: $$27\left(\frac{-q}{p}\right)^2+b\left(\frac{-q}{p}\right)+70=0$$ $$b=27 \frac{q}{p}+70 \frac{p}{q}$$ $$b=\frac{27q^2+70p^2}{pq}$$ From this expression, it looks like there is no greatest value of ##b## because increasing the value of ##p## and ##q## will also increase the value of ##b##. How to find the greatest value of ##b##? Thanks
Back
Top