What is the relationship between first countable spaces and Hausdorff spaces?

  • Thread starter Thread starter Pyroadept
  • Start date Start date
  • Tags Tags
    Space
Click For Summary
SUMMARY

The discussion centers on proving that a first countable space, where no sequence has more than one limit, must be Hausdorff. The key theorem referenced states that if a space is Hausdorff, then sequences can have at most one limit. The approach involves assuming the space is not Hausdorff and constructing a sequence that converges to two distinct points, which contradicts the initial condition. This leads to the conclusion that the space must indeed be Hausdorff.

PREREQUISITES
  • Understanding of first countable spaces in topology
  • Familiarity with Hausdorff spaces and their properties
  • Knowledge of convergence of sequences in topological spaces
  • Basic grasp of neighborhood bases in topology
NEXT STEPS
  • Study the properties of first countable spaces in more detail
  • Learn about the implications of Hausdorff spaces on convergence
  • Explore counterexamples in topology related to non-Hausdorff spaces
  • Investigate the role of neighborhood bases in defining topological properties
USEFUL FOR

Mathematicians, particularly those specializing in topology, students studying advanced mathematical concepts, and anyone interested in the relationships between different types of topological spaces.

Pyroadept
Messages
82
Reaction score
0

Homework Statement


Let X be a first countable space where no sequence has more than one limit. Show that X must be Hausdorff.


Homework Equations





The Attempt at a Solution


Hi everyone,
Here's what I've done so far:

I used this thm: If X is a Hausdorff space, then sequences in X can have at most one limit. (but not necessarily the converse)

So X is potentially a Hausdorff space as all it's sequences have only one limit, if at all.

But then I'm completely stuck as to where to go from here. Obviously it's got something to do with being first countable, but I can't see what! Can anyone please give me a point in the right direction?

Thanks for any help!
 
Physics news on Phys.org
Assume that our space is not Hausdorff. Take x and y points where the Hausdorffness space (thus every neighbourhood of x intersects every neighbourhood of y)
Let the neighbourhood base of x be {B1,B2,...}, were ...\subseteq B_3\subseteq B_2\subseteq B_1.
Likewise, let the neighbourhood base of y be {C1,C2,...}, were again ...\subseteq C_3\subseteq C_2\subseteq C_1.

Try to construct a sequence that converges that converges to both x and y.
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
Replies
1
Views
2K
Replies
18
Views
5K
  • · Replies 18 ·
Replies
18
Views
3K
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
7K