Question about Frechet compactness

  • Thread starter facenian
  • Start date
So, in summary, the statement "If ##X## is a limit point compact space and a subspace of a Hausdorff space ##Z##, does it follow that ##X## is closed in ##Z##?" is false and a counter example is given in ##R^\omega## where ##R## has the usual topology.
  • #1
436
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
  • #2
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:
  • #3
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)
 
  • #4
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.
 

Suggested for: Question about Frechet compactness

Back
Top