Compatibility of Atlases is Equivalence Relation

Theorem
Let $M$ be a locally Euclidean space of dimension $d$.

Let $\mathcal A$ denote the set of all atlases of class $\mathcal C^k$ on $M$.

Define a relation $\sim$ on $\mathcal A$ by putting, for any two $\mathcal C^k$-atlases $\mathscr F$ and $\mathscr G$:


 * $\mathscr F \sim \mathscr G$ iff $\mathscr F$ and $\mathscr G$ are compatible.

Then $\sim$ is an equivalence relation on $\mathcal A$.

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

Reflexive
Let $\mathscr F \in \mathcal A$ be a $C^k$-atlas.

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

Symmetric
Let $\mathscr F$ and $\mathscr G$ be $C^k$-atlases and suppose that $\mathscr F \sim \mathscr G$.

Let $\left({U, \phi}\right) \in \mathscr F$ and let $\left({V, \psi}\right) \in \mathscr G$ be charts.

Then by hypothesis:


 * $\phi \circ \psi^{-1}: \psi \left({U \cap V}\right) \to \phi \left({U \cap V}\right)$

is a $C^k$ mapping.

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


 * $\psi \circ \phi^{-1}: \phi \left({U \cap V}\right) \to \psi \left({U \cap V}\right)$

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 $\mathscr G \sim \mathscr F$.

Transitive
Let $\mathscr F$, $\mathscr G$ and $\mathscr H$ be $C^k$-atlases, and suppose that $\mathscr F \sim \mathscr G$ and $\mathscr G \sim \mathscr H$.