Question about Frechet compactness

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

Homework Help Overview

The discussion revolves around the properties of limit point compact spaces and their relationship to closed sets within Hausdorff spaces. The original poster questions whether a limit point compact subspace of a Hausdorff space must necessarily be closed.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the implications of limit point compactness and provide examples, questioning the validity of certain counterexamples. There is a discussion about the nature of limit points in relation to the Hausdorff property.

Discussion Status

Some participants have offered examples and counterexamples, while others have pointed out inaccuracies in these examples. The conversation reflects a mix of exploration and clarification regarding the definitions and properties involved.

Contextual Notes

There is mention of the Heine-Borel theorem and its implications for compactness in metric spaces, as well as the potential for counterexamples existing outside of certain spaces. Participants also discuss the value of incorrect answers in the learning process.

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
3K
Replies
12
Views
3K
  • · 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 2 ·
Replies
2
Views
496
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K