Definition:Atlas/Maximal Atlas/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

Let $M$ be a topological space.

Let $A$ be a $d$-dimensional atlas of class $C^k$ of $M$.


$A$ is a maximal $C^k$-atlas of dimension $d$ if and only if $A$ is not strictly contained in another $C^k$-atlas.