There is a point p not in E s.t for any e>0

  • Thread starter Thread starter jakncoke
  • Start date Start date
  • Tags Tags
    Point
AI Thread Summary
The discussion centers on proving that a proper subset E of R is not compact by identifying a point p not in E, such that for any e > 0, there exists a point q in E where |p - q| < e. The proof suggests that since p is in R - E and for any e > 0, the point p + e belongs to E, it indicates that R - E is closed on one side, making E open on one side. This leads to the conclusion that E cannot be compact, as per the Heine-Borel theorem, which states that compact sets in R must be closed and bounded. The discussion also raises questions about the nature of the neighborhood of p and its intersection with E, emphasizing that p is a boundary point of E, reinforcing the argument against the compactness of E. The conclusion is that the proof is valid in demonstrating that E is not compact.
jakncoke
Messages
16
Reaction score
0
Let E be a proper subset of R. There is a point p not in E s.t for any e>0, there exists a point q in E s.t |p-q|<e. Prove that E is not compact.

Proof:

p is in R-E. For a e>0, p+e is in E. So R-E is closed on one side which implies E is open on one side. By using heine-borel thrm we can conclude that E is not compact.


Is this proof valid?
 
Physics news on Phys.org


Let N(p) be a neighbourhood of p. What is N(p) intersect E? Does it intersect E at any point other than p? Use this and what you know about closed sets/limit points.
 


From what you are saying, it seems that p is a boundary point of E. But p doesn't belong to E. Now, for a set to be compact in R, it must be what?
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top