PrincipalBundle: /* Definitions */

2026-01-22T13:14:53Z

Definitions

← Older revision		Revision as of 09:14, 22 January 2026
Line 4:		Line 4:
	A smooth atlas on a topological manifold is an open cover $M=\bigcup_\alpha U_\alpha$ with associated maps (called charts) $\varphi_\alpha: U_\alpha \to \varphi_\alpha(U_\alpha) \subset \mathbb{R}^n$, where the image $\varphi_\alpha(U_\alpha)$ is open in $\mathbb{R}^n$ and $\varphi_\alpha$ is a homeomorphism onto its image. These charts must be compatible: whenever $U_\alpha \cap U_\beta \neq \emptyset$, the transition function		A smooth atlas on a topological manifold is an open cover $M=\bigcup_\alpha U_\alpha$ with associated maps (called charts) $\varphi_\alpha: U_\alpha \to \varphi_\alpha(U_\alpha) \subset \mathbb{R}^n$, where the image $\varphi_\alpha(U_\alpha)$ is open in $\mathbb{R}^n$ and $\varphi_\alpha$ is a homeomorphism onto its image. These charts must be compatible: whenever $U_\alpha \cap U_\beta \neq \emptyset$, the transition function

	$\varphi_\beta \circ \varphi_\alpha^{-1}: \varphi_\alpha(U_\alpha \cap U_\beta) \to \varphi_\beta(U_\alpha \cap U_\beta)$		<math> \varphi_\beta \circ \varphi_\alpha^{-1}: \varphi_\alpha(U_\alpha \cap U_\beta) \to \varphi_\beta(U_\alpha \cap U_\beta)</math>

	is a diffeomorphism.		is a diffeomorphism.

PrincipalBundle: /* Definition */

2026-01-22T13:10:24Z

Definition

New page

== Definitions ==
A topological manifold of dimension $n$ is a topological space that is Hausdorff, second countable and locally Euclidean (i.e. every point has a neighbourhood homeomorphic to $\mathbb{R}^n$.

A smooth atlas on a topological manifold is an open cover $M=\bigcup_\alpha U_\alpha$ with associated maps (called charts) $\varphi_\alpha: U_\alpha \to \varphi_\alpha(U_\alpha) \subset \mathbb{R}^n$, where the image $\varphi_\alpha(U_\alpha)$ is open in $\mathbb{R}^n$ and $\varphi_\alpha$ is a homeomorphism onto its image. These charts must be compatible: whenever $U_\alpha \cap U_\beta \neq \emptyset$, the transition function

$\varphi_\beta \circ \varphi_\alpha^{-1}: \varphi_\alpha(U_\alpha \cap U_\beta) \to \varphi_\beta(U_\alpha \cap U_\beta)$

is a diffeomorphism.

A smooth manifold is a topological manifold with a choice of smooth atlas.

Two atlases are compatible if their union is an atlas.

Manifold - Revision history

PrincipalBundle: /* Definitions */

PrincipalBundle: /* Definition */