Help Solve Munkres Question: Limit Point Compact Subspace in Hausdorff Space

  • Context: Undergrad 
  • Thread starter Thread starter facenian
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around a question from Munkres' topology book regarding whether a limit point compact subspace X in a Hausdorff space Z is necessarily closed. Participants explore the implications of limit point compactness and seek counterexamples to support or refute the claim.

Discussion Character

  • Debate/contested

Main Points Raised

  • One participant expresses difficulty in proving that a limit point compact subspace X in a Hausdorff space Z is closed, suspecting that a counterexample exists where X is not closed.
  • Another participant suggests that the space of linearly ordered ordinals could serve as a counterexample to the claim that limit point compactness implies closedness.
  • There is a reiteration of the need to exclude metric and compact Hausdorff spaces from consideration, as limit point compactness is equivalent to compactness in metric spaces.
  • Participants discuss the implications of compactness in Hausdorff spaces, noting that a compact set is closed, but questioning whether a limit point compact set that is not compact could still be closed within a compact Hausdorff space.
  • There is a consensus that the discussion needs to focus on settings where limit point compactness does not imply compactness, but no specific examples are agreed upon.

Areas of Agreement / Disagreement

Participants generally agree that limit point compactness does not imply closedness in certain contexts, but there is no consensus on specific examples or the necessity of excluding certain types of spaces.

Contextual Notes

Limitations include the dependence on definitions of compactness and Hausdorff spaces, as well as the unresolved nature of the examples discussed.

facenian
Messages
433
Reaction score
25
TL;DR
Problem with a limit point compact space
Hello, I have a problem with a question in Munkres topology book. Munkres asks if a limit point compact subspace X in a Hausdorff space Z is closed.
I tried to prove it by contradiction by taking an infinite set in X and suppose it has a limit point that is not in X, however, I could not find a contradiction. I suspect that an example exists where X is not closed. Can somebody please help?
 
Physics news on Phys.org
Are you familiar with the space of linearly ordered ordinals? It provides a counterexample to your claim.
 
Math_QED said:
Are you familiar with the space of linearly ordered ordinals? It provides a counterexample to your claim.
Sorry, I don't understand your answer. My claim is that I suspect that there exists a Hausdorff space in which a limit point subspace is not close. Do you mean that I can find a counterexample in the linearly ordered ordinals that confirms my suspicion?
 
facenian said:
Sorry, I don't understand your answer. My claim is that I suspect that there exists a Hausdorff space in which a limit point subspace is not close. Do you mean that I can find a counterexample in the linearly ordered ordinals that confirms my suspicion?

Exactly. See e.g. here:

https://math.stackexchange.com/q/1404003/661543
 
  • Like
Likes   Reactions: facenian
facenian said:
Summary: Problem with a limit point compact space

Hello, I have a problem with a question in Munkres topology book. Munkres asks if a limit point compact subspace X in a Hausdorff space Z is closed.
I tried to prove it by contradiction by taking an infinite set in X and suppose it has a limit point that is not in X, however, I could not find a contradiction. I suspect that an example exists where X is not closed. Can somebody please help?
Just to narrow it down, hopefully get closer to an answer, you need to exclude metric, and compact Hausdorff ( of course, metric spaces are Hausdorff, so there is overlap). So it comes down to, if possible, to a setting in which limit-point compactness does not imply compactness. Hope I did not just tell you something you knew.
 
WWGD said:
Just to narrow it down, hopefully get closer to an answer, you need to exclude metric, and compact Hausdorff ( of course, metric spaces are Hausdorff, so there is overlap). So it comes down to, if possible, to a setting in which limit-point compactness does not imply compactness. Hope I did not just tell you something you knew.
Yes, in a metric space limit point compactness is equivalent to compactness, so a counterexample cannot be found there. However, I don't know why you also want the exclude the case when Z is compact.
 
facenian said:
Yes, in a metric space limit point compactness is equivalent to compactness, so a counterexample cannot be found there. However, I don't know why you also want the exclude the case when Z is compact.
Because compact+Hausdorff ##\rightarrow ## closed.
 
WWGD said:
Because compact+Hausdorff ##\rightarrow ## closed.
A compact set X in a Hausdorff space Z is closed however, there could exist(I believe) a limit point compact set that it is not compact which is not closed and it is inside a Z compact Hausdorff space, i.e., the counterexample could exist whether Z is compact or not.
 
facenian said:
A compact set X in a Hausdorff space Z is closed however, there could exist(I believe) a limit point compact set that it is not compact which is not closed and it is inside a Z compact Hausdorff space, i.e., the counterexample could exist whether Z is compact or not.
Yes, that is what I was trying to get at, we need to find a setting where the two do not coincide.
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
4K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
9K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 7 ·
Replies
7
Views
5K