===== Chart ===== ==== Set ==== | @#55CCEE: context | @#55CCEE: $\langle M,T_X\rangle$ ... second-countable Hausdorff space | | @#55CCEE: context | @#55CCEE: $n\in \mathbb N$ | | @#BBDDEE: let | @#BBDDEE: $\langle \mathbb R^n,T_{\mathbb R^n}\rangle$ ... Euclidean topology | | @#FFBB00: definiendum | @#FFBB00: $\langle U,\phi\rangle\in$ it | | @#AAFFAA: inclusion | @#AAFFAA: $U\in T_M$ | | @#FFFDDD: exists | @#FFFDDD: $U_{\mathbb R^n}\in T_{\mathbb R^n}$ | | @#AAFFAA: inclusion | @#AAFFAA: $\phi:U\to U_{\mathbb R^n}$| | @#AAFFAA: inclusion | @#AAFFAA: $\phi$ ... homeomorphism | ==== Discussion ==== The charts on $M$ are the homeomorphism into $\mathbb R^n$. ==== Parents ==== === Context === [[Second-countable Hausdorff space]] === Context* === [[Natural number]] === Requirements === [[Euclidean topology]] === Subset of === [[Homeomorphism]]