Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
smooth_manifold [2014/12/04 14:13] nikolaj |
smooth_manifold [2014/12/04 14:21] nikolaj |
||
---|---|---|---|
Line 3: | Line 3: | ||
| @#55CCEE: context | @#55CCEE: $\langle M,T\rangle$ ... second-countable Hausdorff space | | | @#55CCEE: context | @#55CCEE: $\langle M,T\rangle$ ... second-countable Hausdorff space | | ||
| @#55CCEE: context | @#55CCEE: $n\in \mathbb N$ | | | @#55CCEE: context | @#55CCEE: $n\in \mathbb N$ | | ||
- | | @#FFBB00: definiendum | @#FFBB00: $\langle {\mathcal M},A\rangle\in$ it | | + | | @#FFBB00: definiendum | @#FFBB00: $\langle M,A\rangle\in$ it | |
| @#55EE55: postulate | @#55EE55: $A$ maximal in atlas($\langle M,T\rangle,n$) | | | @#55EE55: postulate | @#55EE55: $A$ maximal in atlas($\langle M,T\rangle,n$) | | ||
==== Discussion ==== | ==== Discussion ==== | ||
=== Elaboration === | === Elaboration === | ||
- | Effectively, a smooth manifold would be given by providing //any// atlas. But then, due to the redundancy of some charts on small open sets, different atlases give rise to equivalent mathematical objects and so a smooth manifold is technically defined as the biggest and hence //unique// one amongst those objects. | + | Effectively, a smooth manifold would be given by providing //any// atlas. But then, due to the redundancy of some charts on small open sets, different atlases give rise to equivalent mathematical objects and so a smooth manifold is defined as the biggest and hence //unique// one amongst those objects. |
=== Reference ==== | === Reference ==== |