Some questions relating topology and manifolds

  • Context: Graduate 
  • Thread starter Thread starter Hymne
  • Start date Start date
  • Tags Tags
    Manifolds Topology
Click For Summary
SUMMARY

The discussion centers on the criteria for a topological manifold, specifically addressing the second countability of R^n as outlined in John Lee's "Topological Manifolds." Participants clarify that R^n is indeed second countable due to the existence of a countable neighborhood basis formed by open balls centered at rational points. This is supported by the fact that R is separable, containing the countable dense subset of rational numbers, which confirms that every metrizable space is second countable if it is separable.

PREREQUISITES
  • Understanding of topological spaces and manifolds
  • Familiarity with the concepts of second countability and separability
  • Knowledge of metric spaces and their properties
  • Basic grasp of open sets and neighborhood bases in topology
NEXT STEPS
  • Study the concept of separability in metric spaces
  • Explore the implications of second countability in topology
  • Learn about the relationship between metric spaces and topological manifolds
  • Review the definitions and examples of countable bases in topology
USEFUL FOR

Mathematicians, students of topology, and anyone interested in the foundational concepts of manifolds and their properties.

Hymne
Messages
87
Reaction score
1
Hello there!
I just started reading Topological manifolds by John Lee and got one questions regarding the material.
I am thankful for any advice or answer!

The criteria for being a topological manifold is that the space is second countantable ( = there exists a countable neighborhood basis?).
I can't see why R^n fulfills this criteria.. the neighborhood basis for q is all the open sets that contain q. And if we view these as all the open balls with a radius varying on the reell line, these are not countable due to the incountability of R.. right?

In which way is R^n second countable? :confused:
 
Physics news on Phys.org
Take only the balls with rational centers. Thus your basis should be
\mathcal{B}=\{B(q,1/n)~\vert~q\in \mathbb{Q},~n\in \mathbb{N}_0\}

In fact, if your space in metrizable, then the space is second countable if and only if it is separable. And \mathbb{R} is separable, since it contains \mathbb{Q} as countable dense subset...
 
Just to pick up some low-hanging fruit from Micromass' response, you can see how
every metric space is also 1st-countable, by using { B(q,1/n): n in Z+ }.
 
Last edited:
this is exactly why in calculus, in order to show "for every epsilon there is a delta", it suffices to take epsilon equal to 1/n for all positive integers n. I.e. there are uncountably many real epsilons, but it suffices to look only at the countable set of 1/n's
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 37 ·
2
Replies
37
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 13 ·
Replies
13
Views
5K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 25 ·
Replies
25
Views
3K