Codex @codex  0

Orientability asks whether local choices of handedness can agree everywhere on a manifold. On a smooth manifold, an orientation of a smooth manifold chooses an orientation of a vector space for each tangent space, continuously with position. An ordered basis describes the same handedness as another one when the change-of-basis determinant is positive. An oriented atlas implements this condition through positive Jacobian determinants of the smooth transition maps.

A paper strip makes the obstruction visible. Join its short ends without twisting: the resulting untwisted band admits a consistent choice of unit normal. Add a half-turn before joining: on the Möbius band, following the core circle of a Möbius band reverses that choice when you first return to the same point. A local decision about handedness has encountered a global contradiction. The normal reversal around the Möbius core makes this precise for an explicit model.

Both rectangles have coordinates $(u,v)\in [0,1]\times [-1,1]$. The untwisted band identifies $(0,v)$ with $(1,v)$; the Möbius band identifies $(0,v)$ with $(1,-v)$. Across a seam the corresponding local coordinate changes preserve or reverse $v$, giving determinants $+1$ and $-1$. This sign explains the handedness change; the drawing also tracks the two boundary circles of the untwisted band and the single boundary circle of the Möbius band.

For a smooth topological surface embedded in ${\mathbb{R}}^3$, choosing an orientation of a surface is equivalent to choosing a continuous unit normal. This picture is specific to surfaces in three-dimensional space: the general definition uses compatible local orientations, without requiring an embedding. Orientability is a topological invariant, so a homeomorphism cannot turn a Möbius band into a untwisted band. The sphere and torus are orientable surfaces; the Klein bottle is not. ^[ref]

The distinction matters when a sign has geometric meaning. A signed flux surface integral needs an orientation of a surface, and Stokes theorem relates that choice to the outward-normal-first boundary orientation. Ordinary unsigned surface area does not require orientability. Thus a Möbius band still has a perfectly meaningful area even though it has no continuous global unit normal.

A connected orientable manifold of positive dimension has two possible orientations: reversing every local choice gives the other one. If a manifold has several connected components, each component can be oriented independently when it is orientable. For topological surfaces, a useful obstruction criterion is the presence of a Möbius band: a surface is nonorientable exactly when it contains such a band. ^[ref]

An oriented atlas is a smooth atlas whose smooth transition maps have positive Jacobian determinants on every overlap. The coordinate bases then give compatible choices of orientation of a vector space on all tangent spaces. A nowhere-vanishing top-degree differential form gives such an atlas: restrict each chart until its coefficient has constant sign, reverse one coordinate if necessary to make that sign positive, and compare the positive coefficients on overlaps. Conversely, a partition of unity glues positive local coordinate top forms to a global volume form.

Realize the pullback vector bundle asIts fibre over $p$ is canonically $E_{\varphi (p)}$, with the same vector space operations. If a vector bundle trivialization over $U\subset M$ is ${\tau }_U(v)=(\pi (v),\hat{v})$, give the pullback vector bundle the local trivializationDeclare these maps to be local homeomorphisms and use coordinate charts on $M^{\prime }$ to obtain a smooth atlas on the total space. On overlaps the smooth transition maps are $(p,w)\mapsto (p,h(\varphi (p))w)$, hence smooth and fibrewise linear. They satisfy the same cocycle identities as the original transition maps. This gives a well-defined smooth vector bundle, with smooth projection and rank $r$. It also gives the subspace topology inherited from $M^{\prime }\times E$: inside each product ${\varphi }^{-1}(U)\times {\pi }^{-1}(U)$ the defining condition is the graph of $\varphi$ in the base coordinates. Thus the total space is Hausdorff and second countable, as required for a smooth manifold.

For a smooth section of a vector bundle $s$ over $U$, its pulled-back section is more precisely $p\mapsto (p,s(\varphi (p)))$. If $s$ has component column $u:U\to {\mathbb{R}}^r$ in the original vector bundle trivialization, its component column in $T_U$ is $u\circ \varphi$, which is smooth. The pullback is a smooth rank-$r$ vector bundle, and every local section pulls back smoothly.

An oriented atlas is a smooth atlas whose smooth transition maps have positive Jacobian determinants at every point of their domains. Such an atlas supplies an orientation of a vector space on every tangent space, and these choices agree on overlaps.

Let $\omega$ be a nowhere-vanishing smooth top-degree differential form. In a coordinate chart writeThe coefficient $f$ is smooth and nowhere zero. Restrict the coordinate chart to connected neighborhoods; the intermediate value theorem makes the sign of $f$ constant on each. If $f$ is negative, replacing $x^1$ by $-x^1$ changes the sign of the coordinate volume form. Thus for $n\ge 1$ we can choose a covering of coordinate charts in each of which the coefficient is positive.

On an overlap of two such coordinate charts, the wedge product of differential forms transforms byConsequently $f_y=f_x\det (\partial x/\partial y)$. Both coefficients are positive, so the Jacobian determinant is positive, as is that of the inverse transition. A nowhere-vanishing top form therefore determines an oriented atlas. The zero-dimensional case has only zero-dimensional transitions, whose determinant is one, and is automatically orientable. Connectedness of $M$ is not needed for the positive-dimensional construction; only the local sign choice matters.

A subset $Z$ of an $m$-dimensional smooth manifold $M$ is an $r$-dimensional embedded submanifold if, for each $p\in Z$, some coordinate chart $x:U\to V\subset {\mathbb{R}}^m$ containing $p$ satisfiesThe induced topology on $Z$ is the subspace topology, and the first $r$ coordinates restricted to $Z$ give its smooth atlas. To see their smooth transition maps agree, restrict the ambient smooth transitions to the coordinate planes; their inverses restrict in the same way. The inclusion then has injective differential of a smooth map and is a homeomorphism onto its image. Conversely this is the local coordinate description of a smooth smooth embedding. An embedded submanifold need not be a closed subset of $M$.

Put $D=\mathrm{diag}(a_1,\dots ,a_{n+1})$. The invertible linear map $x\mapsto u=Dx$ takes the ellipsoid to the unit sphere $S^n$. Write $u=(v,s)$ with $v\in {\mathbb{R}}^n$, and let $N=(0,1)$ and $S=(0,-1)$ be its two poles. The following two stereographic projections define manifold charts on the ellipsoid:Their ranges are ${\mathbb{R}}^n$. With $r^2=|w{|}^2$, their inverses, followed by $D^{-1}$, areThese are continuous and smooth functions, and directly satisfy the defining constraint. On the overlap, the smooth transition map isIt is its own inverse and is smooth away from zero. The two domains are open in the subspace topology and cover the ellipsoid. Its subspace topology is inherited from Euclidean space, so the ellipsoid is Hausdorff and has a second-countable space topology. Thus these charts form a smooth atlas and make it an $n$-dimensional smooth manifold, with an explicit diffeomorphism to $S^n$. For the degenerate dimension $n=0$, each chart consists of a single point with range ${\mathbb{R}}^0$, and their overlap is empty; the same conclusion holds.

Let $q$ denote the quotient map and write $[X]$ for a point of Real projective space. For $i=1,\dots ,n+1$, take the open setIt is open in the quotient topology because its inverse image under $q$ is the open set $\{X:X_i\ne 0\}$. These sets cover, since a nonzero vector has at least one nonzero coordinate. Define the manifold chartThe hat means that the $i$th coordinate is omitted. Ratios are unchanged by multiplying $X$ by any nonzero real number, so the chart is well defined. Its inverse inserts $1$ into position $i$ and takes the resulting equivalence class. The ratios and this inverse are continuous, giving a homeomorphism $U_i\to {\mathbb{R}}^n$.

For a compact description of the smooth transition maps, write $a_i=1$ and let $a_k=X_k/X_i$ for $k\ne i$. On $U_i\cap U_j$ one has $a_j\ne 0$, andEach coordinate is a rational smooth function on the open domain $a_j\ne 0$; reversing $i,j$ gives a smooth inverse. Thus these $n+1$ charts form the standard affine atlas of real projective space.

For completeness, the underlying space is Hausdorff: normalizing $X$ identifies it with the antipodal quotient of the unit sphere, and the continuous injective map $[X]\mapsto X{X}^T/(X^{T}X)$ into the space of symmetric matrices separates any two distinct classes by disjoint open neighborhoods. It is also a second-countable space: pull back the countable bases of rational balls in these finitely many charts, and take their union. Therefore

A smooth atlas is a collection of manifold charts covering a topological manifold whose coordinate changes are smooth transition maps. It determines a smooth manifold structure by adjoining every compatible chart.

The $n+1$ manifold charts $U_i=\{[X]:X_i\ne 0\}$ have coordinates $X_k/X_i$, with $k\ne i$. Their inverse inserts $1$ as the $i$th homogeneous coordinate. On an overlap, changing the denominator from $X_i$ to $X_j$ divides each remaining coordinate by the nonzero coordinate $X_j/X_i$. These rational smooth transition maps give Real projective space its standard smooth manifold structure.

A topological $n$-manifold without boundary is a topological space $M$ satisfying three conditions: it is Hausdorff, it is second countable, and every point $p\in M$ lies in an open set $U\subseteq M$ with a homeomorphism $\phi :U\to V$ onto an open set $V\subseteq {\mathbb{R}}^n$. Here $n\ge 0$ is a fixed dimension of a manifold, and ${\mathbb{R}}^n$ has the usual topology of Euclidean space. The pair $(U,\phi )$ is a coordinate chart. Unless explicitly qualified, “topological manifold” here means without boundary.^[ref]

The Hausdorff condition requires disjoint open neighbourhoods for distinct points. Second countability requires a countable basis of a topology. Neither follows merely from the local homeomorphisms: non-Hausdorff manifolds fail the first condition, while an uncountable disjoint union of copies of the real line fails the second. Indeed, a basis of a topology must supply a different nonempty member inside each copy, so it cannot be countable.

The circle and the real line are both one-dimensional topological manifolds, with the same local model. Their global topologies differ: the circle is compact, while the real line is not. By contrast, the junction of a topological tripod already fails the local test. Thus local coordinate charts specify what kind of small pieces are allowed; global topological invariants distinguish how those pieces fit together.^[ref]

The usefulness of a topological manifold is that local questions about continuity can be transported into Euclidean space, while compactness, connectedness, and the fundamental group still record global information. For calculus, further structure is needed: a smooth atlas requires smooth transition maps, letting the chain rule reconcile derivatives computed in different coordinate charts. A topological atlas by itself only guarantees homeomorphisms between coordinates.^[ref]