cianfa72
- 2,784
- 293
- TL;DR Summary
- Is the maximal atlas of a topological manifold unique?
From my understanding, a topological manifold ##M## comes with, by definition, a locally euclidean topology and a (topological) atlas ##\mathcal A_1##.
From this atlas one can construct the maximal atlas ##\mathcal A## throwing in all the chart maps ##(U,\varphi)## each from one of the open sets in ##M## (any of these chart maps are actually homemorphism).
Now the question: is such maximal atlas ##\mathcal A## unique ? My answer is yes, since it contains by definition all the possible chart maps from any of the possible open sets in ##M## and they are all ##C^0##-compatible each other.
If the above is correct, then one can speak of the maximal atlas of ##M##, right ?
From this atlas one can construct the maximal atlas ##\mathcal A## throwing in all the chart maps ##(U,\varphi)## each from one of the open sets in ##M## (any of these chart maps are actually homemorphism).
Now the question: is such maximal atlas ##\mathcal A## unique ? My answer is yes, since it contains by definition all the possible chart maps from any of the possible open sets in ##M## and they are all ##C^0##-compatible each other.
If the above is correct, then one can speak of the maximal atlas of ##M##, right ?
Last edited: