Compatibility of Atlases is Equivalence Relation

Theorem

Let $M$ be a topological space.

Let $d$ and $k$ be natural numbers.

Let $\AA$ denote the set of all $d$-dimensional atlases of class $\CC^k$ on $M$.

Define a relation $\sim$ on $\AA$ by putting, for any two $\CC^k$-atlases $\FF$ and $\GG$:

$\FF \sim \GG$ if and only if $\FF$ and $\GG$ are $C^k$-compatible.

Then $\sim$ is an equivalence relation on $\AA$.

Proof

It is to be shown that $\sim$ is reflexive, symmetric and transitive.

Reflexive

Let $\FF \in \AA$ be a $C^k$-atlas.

That $\FF$ is compatible with itself is precisely condition $(2)$ of the definition of $C^k$-atlas.

$\Box$

Symmetric

Let $\FF$ and $\GG$ be $C^k$-atlases and suppose that $\FF \sim \GG$.

Let $\struct {U, \phi} \in \FF$ and let $\struct {V, \psi} \in \GG$ be charts.

Then by hypothesis:

$\phi \circ \psi^{-1}: \psi \sqbrk {U \cap V} \to \phi \sqbrk {U \cap V}$

is a $C^k$ mapping.

Because $\phi$ and $\psi$ are homeomorphisms, we have that:

$\psi \circ \phi^{-1}: \phi \sqbrk {U \cap V} \to \psi \sqbrk {U \cap V}$

is also a homeomorphism, and in particular continuous.

By the Inverse Function Theorem, $\psi \circ \phi^{-1}$ is also a $C^k$ mapping.

Since the charts were arbitrary, we conclude that $\GG \sim \FF$.

$\Box$

Transitive

Let $\FF$, $\GG$ and $\HH$ be $C^k$-atlases, and suppose that $\FF \sim \GG$ and $\GG \sim \HH$.

This needs considerable tedious hard slog to complete it. In particular: That's messy; probably easiest to use partition of unity compatible with $\GG$, or via common refinement 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 {{Finish}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

This article, or a section of it, needs explaining. In particular: Clarification is needed as to why this result should be categorised in Category:Manifolds. 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.