Definition:Differentiable Structure
(Redirected from Definition:Class of Differentiable Structure)
Jump to navigation
Jump to search
Definition
Let $M$ be a topological space.
Let $d$ be a natural number.
Let $k \ge 1$ be a natural number.
 | This article, or a section of it, needs explaining. In particular: Not $k \ge 0$? In some linked pages, $0$ is allowed. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code. |
A $d$-dimensional differentiable structure of class $\CC^k$ on $M$ is a non-empty equivalence class of the set of $d$-dimensional $\CC^k$-atlases on $M$ under the equivalence relation of compatibility.
Also defined as
A $d$-dimensional differentiable structure of class $\CC^k$ is sometimes defined as a maximal $C^k$-atlas of dimension $d$. See Bijection between Maximal Atlases and Differentiable Structures.