Why do charts map to open sets?

  • Thread starter dEdt
  • Start date
288
2
My textbook says that "a chart or coordinate system consists of a subset [itex]U[/itex] of a set [itex]M[/itex], along with a one-to-one map [itex]\phi :U\rightarrow\mathbf{R}^n[/itex], such that the image [itex]\phi(U)[/itex] is open in [itex]\mathbf{R}^n[/itex]."

What's the motivation for demanding that the image of [itex]U[/itex] under [itex]\phi[/itex] be open?
 

WannabeNewton

Science Advisor
5,774
530
We do calculus on the coordinate domains by doing calculus on the coordinate representations of the coordinate domains under the coordinate map so a primary motivation for making them open is the same reason we make domains of regions in euclidean space open when doing calculus. From a purely topological standpoint, there are many advantages because we can show the characterization of locally euclidean in terms of open subsets of euclidean space is equivalent to the characterization of locally euclidean in terms of open balls which leads to nice properties of topological manifolds such as having a countable basis of pre - compact coordinate balls (and even smooth ones if you have an atlas).
 

Bacle2

Science Advisor
1,089
10
My textbook says that "a chart or coordinate system consists of a subset [itex]U[/itex] of a set [itex]M[/itex], along with a one-to-one map [itex]\phi :U\rightarrow\mathbf{R}^n[/itex], such that the image [itex]\phi(U)[/itex] is open in [itex]\mathbf{R}^n[/itex]."

What's the motivation for demanding that the image of [itex]U[/itex] under [itex]\phi[/itex] be open?
AFAIK, the map [itex]\phi[/itex] is usually defined to be a diffeomorphism, which is a closed map (as well as an open map) . Doesn't your book define [itex]\phi[/itex] that way?
 

WannabeNewton

Science Advisor
5,774
530
Bacle do you mean a homeomorphism? The notion of diffeomorphism between smooth manifolds is defined using the diffeomorphic nature of the transition maps between coordinate domains so the notion of coordinate maps being diffeomorphisms doesn't make sense a priori when first constructing a smooth atlas for a manifold. Also, you can start with just injective mappings for the charts making up the differentiable structure and there is a naturally induced topology that makes them homeomorphisms anyways. See for example Do Carmo Riemannian Geometry chapter 0.
 

Bacle2

Science Advisor
1,089
10
Right, I misread your question, my bad. I know we pre- and post- compose with chart maps to determine properties of maps between manifolds.
 
21,992
3,273
AFAIK, the map [itex]\phi[/itex] is usually defined to be a diffeomorphism, which is a closed map (as well as an open map) . Doesn't your book define [itex]\phi[/itex] that way?
The map [itex]\phi:U\rightarrow \phi(U)[/itex] is a homeomorphism. But the map [itex]\phi:U\rightarrow \mathbb{R}^n[/itex] does not need to be a homeomorphism. So while [itex]\phi(U)[/itex] is certainly closed in itself, it needs not be open in [itex]\mathbb{R}^n[/itex]. We do require it to be open in [itex]\mathbb{R}^n[/itex].
 

Bacle2

Science Advisor
1,089
10
The map [itex]\phi:U\rightarrow \phi(U)[/itex] is a homeomorphism. But the map [itex]\phi:U\rightarrow \mathbb{R}^n[/itex] does not need to be a homeomorphism. So while [itex]\phi(U)[/itex] is certainly closed in itself, it needs not be open in [itex]\mathbb{R}^n[/itex]. We do require it to be open in [itex]\mathbb{R}^n[/itex].
Please check my last post. I misread the question.
 

Related Threads for: Why do charts map to open sets?

Replies
2
Views
971
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
1
Views
7K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
8
Views
2K
  • Last Post
Replies
8
Views
3K
Replies
5
Views
3K
Top