Smooth Manifolds and Smooth Maps: Examples and Counterexamples

The domains $S^1\setminus \{N\}$ and $S^1\setminus \{S\}$ are open in $S^1$ [given] and cover it. The displayed inverse formulas show that each ${\sigma }_N$ and ${\sigma }_S$ is a homeomorphism onto $\mathbb{R}$: composing the inverse with the chart returns the original point, and composing the chart with the inverse gives $u$. So these are genuine charts.

On the overlap $S^1\setminus \{N,S\}$ the transition maps are

This smooth atlas equips $S^1$ with a smooth structure, so [F3] makes the [F3, step 2.1] circle a smooth $1$-manifold.

The domains $S^n\setminus \{N\}$ and $S^n\setminus \{S\}$ are open and cover [given] $S^n$. The inverse formulas ${\sigma }_N^{-1}(u)=(\frac{2u}{1+\mathrm{\parallel }u{\mathrm{\parallel }}^2},\frac{\mathrm{\parallel }u{\mathrm{\parallel }}^2-1}{1+\mathrm{\parallel }u{\mathrm{\parallel }}^2}),{\sigma }_S^{-1}(u)=(\frac{2u}{1+\mathrm{\parallel }u{\mathrm{\parallel }}^2},\frac{1-\mathrm{\parallel }u{\mathrm{\parallel }}^2}{1+\mathrm{\parallel }u{\mathrm{\parallel }}^2})$ show that both maps are homeomorphisms onto ${\mathbb{R}}^n$.

On the overlap the transition maps are ${\sigma }_S\circ {\sigma }_N^{-1}(u)=\frac{u}{\mathrm{\parallel }u{\mathrm{\parallel }}^2},{\sigma }_N\circ {\sigma }_S^{-1}(u)=\frac{u}{\mathrm{\parallel }u{\mathrm{\parallel }}^2},$ defined on ${\mathbb{R}}^n\setminus \{0\}$, so they are smooth rational maps there. Hence the two stereographic charts are smoothly compatible by [F2], and [F1] makes them a smooth atlas on $S^n$.

Therefore $S^n$ is a smooth manifold by [F3].

By [F1], each factor $S^1$ is a smooth $1$-manifold.

Applying [F2] to the two circle factors gives a canonical product smooth [F2, step 1.1] structure on $S^1\times S^1$, making it a smooth $(1+1)$-manifold. This is the torus $T^2$.

By [F1], every summand ${\mathbb{R}}_m$ is a smooth $1$-manifold.

The index set $\mathbb{N}$ is countable, so [F2] applies to the family [F2, step 1.1] $({\mathbb{R}}_m{)}_{m\in \mathbb{N}}$ and yields a smooth $1$-manifold structure on $X$.

By [L1], the long line $\mathbb{L}$ is Hausdorff and locally Euclidean.

The same cited refutation shows that $\mathbb{L}$ fails second countability, so it is not a manifold under the library convention. The structural details of [F1] identify the witness but do not change that conclusion.

Thus $\mathbb{L}$ is the required counterexample.

Each singleton family $\mathcal{A}$ and $\mathcal{B}$ covers $\mathbb{R}$, so [F1, F2] by [F2] each is an atlas provided its single chart is legitimate, and [F1] supplies that legitimacy.

The transition $\psi \circ {\mathrm{id}}^{-1}(x)=x^3$ is smooth, but the [F3, step 1.1] reverse transition $\mathrm{id}\circ {\psi }^{-1}(x)=x^{1\mathrm{/}3}$ is not differentiable at $0$. Hence [F3] says the two charts are not compatible.

Therefore $\mathcal{A}$ and $\mathcal{B}$ are atlases on the same manifold [step 2.1] that are not compatible, which refutes the statement.

By [L1], the map $F$ is smooth and bijective.

The same cited refutation shows that $F^{-1}$ is not smooth, so [F1] rules [F1, L1] out $F$ being a diffeomorphism.

Hence $F(x)=x^3$ is the desired counterexample.

By [L1], every singleton of $X$ is open and any basis of $X$ must contain [L1] uncountably many distinct singleton sets.

Therefore $X$ is not second countable in the sense of [F1].

So $X$ is the desired counterexample.