Chart
Set
context | ⟨M,TX⟩ … second-countable Hausdorff space |
context | n∈N |
let | ⟨Rn,TRn⟩ … Euclidean topology |
definiendum | ⟨U,ϕ⟩∈ it |
inclusion | U∈TM |
exists | URn∈TRn |
inclusion | ϕ:U→URn |
inclusion | ϕ … homeomorphism |
Discussion
The charts on M are the homeomorphism into Rn.