# Definition: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.