What is an example of a separable Hausdorff space with a non-separable subspace?

  • Thread starter Thread starter tylerc1991
  • Start date Start date
  • Tags Tags
    Subspaces Topology
Click For Summary

Homework Help Overview

The discussion revolves around finding an example of a separable Hausdorff space that contains a non-separable subspace. The original poster attempts to clarify the definitions and implications of separability in the context of topology.

Discussion Character

  • Exploratory, Conceptual clarification

Approaches and Questions Raised

  • The original poster considers the properties of separable spaces and reflects on examples of non-separable spaces, expressing difficulty in identifying a suitable separable superset. Other participants suggest starting with known non-separable spaces and provide hints towards resources for counterexamples.

Discussion Status

The discussion is ongoing, with participants exploring definitions and examples. Some guidance has been offered regarding the nature of separable and non-separable spaces, although there is a misunderstanding about the separability of the real numbers that has been clarified.

Contextual Notes

The original poster's confusion appears to stem from a misinterpretation of separability, initially thinking of countable spaces rather than the broader definition applicable to the problem.

tylerc1991
Messages
158
Reaction score
0

Homework Statement



Give an example of a separable Hausdorff space (X,T) with a subspace (A,T_A) that is not separable.

The Attempt at a Solution



well since a separable space is one that is either finite or has a one-to-one correspondence with the natural numbers, the separable Hausdorff space has to be some infinite set that has a one-to-one correspondence with the natural numbers (since if I use some finite set for the separable Hausdorff set (X,T), any subset of (X,T) is also finite and therefore separable)

so the next step was trying to think of spaces that are not separable, then working backwards to think of a superset that is separable. but this is where I am getting stuck. for example, the real numbers are not separable, but any superset I can think of is also not separable. can someone give me a little push in the right direction? thank you very very much!
 
Physics news on Phys.org
OK, let's first construct our space A. A must be nonseparable. Now, what nonseparable spaces do you know?

Hint: a good book in topology is the book "counterexamples in topology" by Steen and Seebach. It contains a whole lot of counterexamples to various thingies...
 
tylerc1991 said:
the real numbers are not separable

This is NOT true! The real numbers ARE separable. A countable dense subset is given by \mathbb{Q}!
 
oh crap, I was thinking of COUNTABLE spaces. ok so that makes the problem make a lot more sense. thanks for the help!
 

Similar threads

Replies
18
Views
6K
Replies
1
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K