Question about Frechet compactness

  • Thread starter Thread starter facenian
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the question of whether a limit point compact space ##X##, as a subspace of a Hausdorff space ##Z##, is necessarily closed in ##Z##. It is established that the statement is false, with the example of ##Z = \mathbb{R}## and ##X = (0,1)## illustrating that while ##X## is limit point compact, it is not closed in ##Z##. The infinite set ##\{1/(n+1):n\in \mathbb{Z}^+\}## does not have a limit point in ##(0,1)##, confirming that ##X## is not limit point compact. The discussion also references the Heine-Borel theorem, emphasizing the equivalence of limit point compactness and compactness in metric spaces.

PREREQUISITES
  • Understanding of limit point compactness in topology
  • Familiarity with Hausdorff spaces and their properties
  • Knowledge of the Bolzano-Weierstrass theorem
  • Grasp of the Heine-Borel theorem in ##\mathbb{R}^n##
NEXT STEPS
  • Study the properties of limit point compactness in various topological spaces
  • Explore the implications of the Heine-Borel theorem in metric spaces
  • Investigate examples of Hausdorff spaces and their closed subsets
  • Examine the relationship between compactness and limit point compactness in different contexts
USEFUL FOR

Mathematics students, particularly those studying topology and functional analysis, as well as educators seeking to clarify concepts related to compactness and Hausdorff spaces.

facenian
Messages
433
Reaction score
25

Homework Statement


Let ##X## be a limit point compact space. If ##X## is a subspace of the Housdorff space ##Z##, does it follow that ##X## is closed in Z?

Homework Equations


A space ##X## is said to be limit point compact if every infinite subset of ##X## has a limit point.

The Attempt at a Solution


If ##X## is finite it is closed so suppose it is infinite then it has a limit point in ##X## however this does not exclude the posibility of ##X## having a limit point in ##Z## outside ##X## which implies that it is not closed in ##Z##.
Is this correct? In which case a counter example is needed.
 
Physics news on Phys.org
Math_QED said:
The statement is false. Take ##Z = \mathbb{R}## with the usual topology. Then ##Z## is Hausdorff as it is metrizable and ##X = (0,1)## is not closed in ##Z##, while it is limit point compact as subspace (by the Bolzano-Weierstrass theorem)
The problem is that this is not a counter example. The infinite set ##\{1/(n+1):n\in Z^+\}\subset (0,1)## does not have a limit point in (0,1) so this space is not limit point compact. Given the Heine-Borel theorem for ##R^n## a counter example can exists only outside ##R^n## with the usual topology or the fact that limit point compactness and compactnes are equivalent in a metric space.
 
Last edited:
facenian said:
The problem is that this is not a counter example. The infinite set ##\{1/(n+1):n\in Z^+\}\subset (0,1)## does not have a limit point in (0,1) so this space is not limit point compact. Given the Heine-Borel theorem for ##R^n## a counter example can exists only outside ##R^n## with the usual topology or the fact that limit point compactness and compactnes are equivalent in a metric space.

You are right. This has been a long day for me haha. Currently studying for a functional analysis exam. I deleted my post so that it seems that you didn't get any responses (I will delete this post too)
 
Math_QED said:
You are right. This has been a long day for me haha. Currently studying for a functional analysis exam. I deleted my post so that it seems that you didn't get any responses (I will delete this post too)
I believe that wrong answers are also instructive though and it is not good to delete them since they may help elucidating a correct answer.
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
2K
Replies
12
Views
2K
  • · Replies 3 ·
Replies
3
Views
7K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K