General Notes to Self

Interesting things to know:

Preface: Point Set Review


Definition (Saturated)

A subset \(A\subseteq X\) is saturated with respect to \(p:X\to Y\) if whenever \(p^{-1}(\left\{{y}\right\}) \cap A \neq \emptyset\), then \(p^{-1}(\left\{{y}\right\}) \subseteq A\).

Equivalently, \(A = p^{-1}(B)\) for some \(B\subseteq Y\), i.e. it is a complete inverse image of some subset of \(Y\), i.e. \(A\) is a union of fibers \(p^{-1}(b)\).

Definition (Quotient Map)

A continuous surjective map \(p: X\twoheadrightarrow Y\) is a quotient map if \(U\subseteq Y\) is open iff \(p^{-1}(U) \subset X\) is open.

Note that \(\implies\) comes from the definition of continuity of \(p\), but \(\impliedby\) is a stronger condition.

Equivalently, \(p\) maps saturated subsets of \(X\) to open subsets of \(Y\).

Definition (Universal Property of Quotients)

For \(\pi :X\to Y\) a quotient map, if \(g:X\to Z\) is a map that is constant on each \(p^{-1}(\left\{{y}\right\})\), then there is a unique map \(f\) making the following diagram commute:

Fact: an injective quotient map is a homeomorphism.

Fact: a product of quotient maps need not be a quotient map.


Definition (The Subspace Topology)
\(U\subset A\) is open iff \(U = V\cap A\) for some open \(V\subseteq X\).
Proposition (Universal Property of Subspaces)

If \(X\) and \(\iota_S: S\hookrightarrow Y\) is a subspace, then every continuous map \(f: X\to S\) lifts to a continuous map \(\tilde f: X\to Y\) where \(\tilde f \mathrel{\vcenter{:}}=\iota_S \circ f\):

Note that we can view \(\iota_S \mathrel{\vcenter{:}}={\left.{\text{id}_Y}\right|_{S}}\). The subspace topology is the unique topology for which this property holds.

Some properties of subspace:


Definition (The Product Topology)
The coarsest topology such that every projection map \(p_\alpha: \prod_\beta X_\beta \to X_\alpha\) is continuous, i.e. for every \(U_\alpha \subseteq X_\alpha\) open, \(p_\alpha^{-1}(U_\alpha)\in \prod X_\beta\) is open. For finite index sets, we can take the box topology: the collection of sets of the form \(\prod_{i=1}^N U_i\) with each \(U_i\) open in \(X_i\) forms a basis for the product topology on \(\prod_{i=1}^N X_i\).

Why these differ: in \({\mathbb{R}}^\infty\), the set \(S = \prod (-1, 1)\) is open in the box topology but not the product topology, since \(\left\{{0}\right\}^\infty\) is not contained in any basic open neighborhood contained in \(S\).

Some properties of products:


Definition (Precompact)
A subset \(A\subseteq X\) is precompact iff its closure \(\operatorname{cl}_X(A)\) is compact in \(X\).
Definition (Locally Compact
A space \(X\) is locally compact iff every \(x\in X\) has a neighborhood which is contained in some compact subset of \(X\).

Analysis Review

Definition (Derivative, Real Valued)

A function \(f:(a, b) \to {\mathbb{R}}\) is differentiable at \(x\) iff there is a number \(y \in {\mathbb{R}}\) such that \[\begin{align*} \qty{ {f(x+h) - f(x) \over h} - y } \overset{h\to 0}\to 0 \end{align*}\] where \(h\in {\mathbb{R}}\).

The number \(f'(x) \mathrel{\vcenter{:}}= y\) is the derivative of \(f\) at \(x\).

Note that this equivalently says \[\begin{align*} f(x+h) - f(x) = f'(x)h + r(h) \text{ where } {r(h) \over h}\overset{h\to 0}\to 0 .\end{align*}\]

Definition (Derivative, Vector Valued)

For \(\mathbf{f}: (a,b) \to {\mathbb{R}}^n\), \(\mathbf{\mathbf}{f}'(x)\) is the vector \(\mathbf{y} \in {\mathbb{R}}^n\) such that \[\begin{align*} \qty{ {\mathbf{f}(x+h) - \mathbf{f}(x) \over h} - \mathbf{y} } \overset{h\to 0}\to 0 \iff {{\left\lvert { \mathbf{f}(x+h) - \mathbf{f}(x) - h \mathbf{\mathbf}{y}} \right\rvert} \over {\left\lvert {h} \right\rvert}} \overset{h\to 0}\to 0 \end{align*}\] where \(h\in {\mathbb{R}}\).

The vector \(\nabla f \mathrel{\vcenter{:}}=\mathbf{y}\) is the derivative (or gradient) of \(f\) at \(\mathbf{x}\).

Note that this equivalently says \[\begin{align*} \mathbf{f}(x + h) - \mathbf{f}(x) = h\nabla \mathbf{f} + \mathbf{r}(h) \quad\text{ where } {\mathbf{r}(h) \over h}\overset{h\to 0}\to \mathbf{0} .\end{align*}\]

Definition (Derivative, General Case)

A function \(\mathbf{f}: {\mathbb{R}}^n \to {\mathbb{R}}^m\) is differentiable iff there exists a linear transformation \(\mathbf{Y}\) such that \[\begin{align*} {{\left\lVert { \mathbf{f}(\mathbf{x}+ \mathbf{h}) - \mathbf{f}(\mathbf{x}) - \mathbf{Y} \mathbf{h}} \right\rVert}_{{\mathbb{R}}^m} \over {\left\lVert {\mathbf{h}} \right\rVert}_{{\mathbb{R}}^n} } \overset{\mathbf{h} \to \mathbf{0}}\to 0 .\end{align*}\]

The matrix \(D_f(\mathbf{x}) \mathrel{\vcenter{:}}=\mathbf{Y}\) is the total derivative of \(f\) at \(\mathbf{x}\).

Note that this equivalently says \[\begin{align*} \mathbf{f}(\mathbf{x} + \mathbf{h}) - \mathbf{f}( \mathbf{x}) = D_f \mathbf{h} + \mathbf{r}(\mathbf{h}) \quad\text{ where } { {\left\lVert {\mathbf{r}(\mathbf{h})} \right\rVert} \over {\left\lVert {\mathbf{h}} \right\rVert} }\overset{\mathbf{h}\to \mathbf{0}}\to \mathbf{0} .\end{align*}\]

Note that we can write \((\nabla f)(\mathbf{x}) = \sum_{i=1}^n {\frac{\partial f}{\partial x_i}\,} \mathbf{e}_i\).

Theorem (Chain Rule)
If \(E\subset {\mathbb{R}}^n\) and \(f:{\mathbb{R}}^n \to {\mathbb{R}}^m\) with \(E \xrightarrow{f} f(E) \xrightarrow{g} g(f(E))\) with \(f\) differentiable at \(\mathbf{x}_0\) and \(g\) differentiable at \(f(\mathbf{x}_0)\), then the map \(F(\mathbf{x})\mathrel{\vcenter{:}}= g(f(\mathbf{x}))\) is differentiable at \(\mathbf{x}_0\) with derivative \[\begin{align*}D_F(\mathbf{x}_0) = D_g(f(\mathbf{x}_0)) \cdot D_f(\mathbf{x}_0).\end{align*}\]
Definition (Components of a Function)
If \({\mathcal{B}}_n \mathrel{\vcenter{:}}=\left\{{\mathbf{e}_i}\right\} \subset{\mathbb{R}}^n\) and \({\mathcal{B}}_m \mathrel{\vcenter{:}}=\left\{{\mathbf{u}_i}\right\}\subset {\mathbb{R}}^m\) are standard bases and \(\mathbf{f}: {\mathbb{R}}^n\to {\mathbb{R}}^m\), then the components of \(\mathbf{f}\) are the functions \(f_i: {\mathbb{R}}^n \to {\mathbb{R}}\) defined by \[\begin{align*} \mathbf{f}(\mathbf{x}) = \sum_{i=1}^m f_i(\mathbf{x})\mathbf{u}_i = {\left[ {f_1(\mathbf{x}), \cdots, f_m(\mathbf{x})} \right]}_{{\mathcal{B}}_m} .\end{align*}\]
Definition (Partial Derivative)
For \(\left\{{{\mathbf{e}_j}}\right\}\) the standard orthonormal basis of \({\mathbb{R}}^n\), define \[\begin{align*} {\frac{\partial f_i}{\partial x_j}\,} = (D_j f_i)(\mathbf{x}) = \lim_{t\to 0} {f_i(\mathbf{x} + t {\mathbf{e}_j}) - f_i(\mathbf{x}) \over t} .\end{align*}\]

Warning: \(f\) continuous and existence of all \({\frac{\partial f_i}{\partial x_j}\,}\) does not imply differentiability. If \(f\) is differentiable, however, then \(D_f\) is the Jacobian matrix.

Theorem (Derivative Equals Jacobian)
If \(f\) is differentiable at \(\mathbf{x}_0\), then its derivative is an \(m\times n\) matrix, its partial derivatives exist, and \[\begin{align*} D_f(\mathbf{x})\mathbf{e}_j &= \sum_{i=1}^m {\frac{\partial f_i}{\partial x_j}\,} \mathbf{u}_i \hfill \\ = {\left[ { {\frac{\partial \mathbf{f}}{\partial x_1}\,}, \cdots, {\frac{\partial \mathbf{f}}{\partial x_n}\,} } \right]} &= \begin{bmatrix} \nabla f_1 & \to \\ \nabla f_2 & \to \\ \vdots & \vdots \\ \nabla f_m & \to \end{bmatrix} = {\left[ { \nabla f_1^t, \cdots, \nabla f_m^t} \right]}^t =\left[\begin{array}{ccc} \frac{\partial f_{1}}{\partial x_{1}} & \cdots & \frac{\partial f_{1}}{\partial x_{n}} \\ \vdots & \ddots & \vdots \\ \frac{\partial f_{m}}{\partial x_{1}} & \cdots & \frac{\partial f_{m}}{\partial x_{n}} \end{array}\right] .\end{align*}\]
This implies that \[\begin{align*} D_f(\mathbf{x}) \mathbf{h} = \sum_{i=1}^m \sum_{j=1}^n {\frac{\partial f_i}{\partial x_j}\,} h_j \mathbf{u}_i .\end{align*}\]
Theorem (Inverse Function Theorem)

Suppose \(f\in C^1({\mathbb{R}}^n, {\mathbb{R}}^n)\) and \(D_f(\mathbf{a}) \in \operatorname{GL}(n, {\mathbb{R}})\) for some \(\mathbf{a}\) and \(\mathbf{b} = f(\mathbf{a})\).

Then there exist \(U\ni \mathbf{a}\) and \(V\ni \mathbf{b}\) such that \(f(U) = V\) and \({\left.{f}\right|_{U}}\) is bijective with inverse \(g\in C^1(V)\).

If \(f\in C^1({\mathbb{R}}^n)\) and \(D_f(\mathbf{x})\in \operatorname{GL}(n,{\mathbb{R}})\) for all \(\mathbf{x}\in {\mathbb{R}}^n\), then \(f\) is an open map (and thus locally injective)
Theorem (Implicit Function Theorem)

Let \(A: {\mathbb{R}}^n\times{\mathbb{R}}^m \to {\mathbb{R}}^n\) and suppose \(A_x: {\mathbb{R}}^n\to {\mathbb{R}}^n\) is invertible.

Then for every \(\mathbf{k}\in {\mathbb{R}}^m\) there exists a unique \(\mathbf{h}\in {\mathbb{R}}^n\) such that \[\begin{align*} A(\mathbf{h}, \mathbf{k}) = \mathbf{0} {\quad \text{and} \quad} \mathbf{h} = -A_x^{-1}A_y \mathbf{k} .\end{align*}\]

Chapter 1: Point-Set Properties of Topological Manifolds

Pages 1- 29.

Notes Part 1

Definition (Topological Manifold)

A topological space \(M\) that satisfies

  1. \(M\) is Hausdorff, i.e. points can be separated by open sets
  2. \(M\) is second-countable, i.e. has a countable basis
  3. \(M\) is locally Euclidean, i.e. every point has a neighborhood homeomorphic to an open subset \(\widehat{U}\) of \({\mathbb{R}}^n\) for some fixed \(n\).

The last property says \(p\in M \implies \exists U\) with \(p\in U \subseteq M\), \(\widehat{U}\subseteq {\mathbb{R}}^n\), and a homeomorphism \(\phi: U \to \widehat{U}\).

Note that second countability is primarily needed for existence of partitions of unity.

Show that the in the last condition, \(\widehat{U}\) can equivalently be required to be an open ball or \({\mathbb{R}}^n\) itself.
Theorem (Topological Invariance of Dimension)
Two nonempty topological manifolds of different dimensions can not be homeomorphic.
Show that in a Hausdorff space, finite subsets are closed and limits of convergent sequences are unique.
Show that subspaces and finite products of Hausdorff (resp. second countable) spaces are again Hausdorff (resp. second countable).

Thus any open subset of a topological manifold with the subspace topology is again a topological manifold.

Give an example of a connected, locally Euclidean Hausdorff space that is not second countable.
Definition (Charts)
A chart on \(M\) is a pair \((U, \phi)\) where \(U\subseteq M\) is open and \(\phi: U \to \widehat{U}\) is a homeormohpsim from \(U\) to \(\widehat{U} = \phi(U) \subseteq {\mathbb{R}}^n\). If \(p\in M\) and \(\phi(p) = 0 \in \mkern 1.5mu\overline{\mkern-1.5muU\mkern-1.5mu}\mkern 1.5mu\), then the chart is said to be centered at \(p\). Note that any chart about \(p\) can be modified to a chart \((\phi_1, \widehat{U}_1)\) that is centered at \(p\) by defining \(\phi_1(x) = x - \phi(v)\).

\(U\) is the coordinate domain and \(\phi\) is the coordinate map.

Note that we can write \(\phi\) in components as \(\phi(p) = {\left[ {x^1(p), \cdots, x^n(p)} \right]}\) where each \(x^i\) is a map \(x^i: U \to {\mathbb{R}}\). The component functions \(x^i\) are the local coordinates on \(U\).

Shorthand notation: \({\left[ {x^i} \right]} \mathrel{\vcenter{:}}={\left[ {x^1, \cdots, x^n} \right]}\).

Example (Graphs of Continuous Functions)

Define \[\begin{align*} \Gamma(f) = \left\{{(x, y) \in {\mathbb{R}}^{n} \times{\mathbb{R}}^{k} {~\mathrel{\Big|}~}x\in U,~ y = f(x) \in \widehat{U} }\right\} .\end{align*}\]

This is a topological manifold since we can take \(\phi: \Gamma(f) \to U\) by restricting \(\pi_1: {\mathbb{R}}^{n}\times{\mathbb{R}}^k \to {\mathbb{R}}^n\) to the subspace \(\Gamma(f)\). Projections are continuous, restrictions of continuous functions are continuous.

This is a homeomorphism because the map \(g: x \mapsto (x, f(x))\) is continuous and \(g\circ \pi_1 = \text{id}_{{\mathbb{R}}^n}\) is continuous with \(\pi_1 \circ g = \text{id}_{\Gamma(f)}\). Note that \(U \cong \Gamma(f)\), and thus \((U, \phi) = (\Gamma(f), \phi)\) is a single global coordinate chart, called the graph coordinates of \(f\).

Note that this works in greater generality:: “The same observation applies to any subset of \({\mathbb{R}}^{n+k}\) by setting any \(k\) of the coordinates equal to some continuous function of the other \(n\).”

Example (Spheres)

\(S^n\) is a subspace of \({\mathbb{R}}^{n+1}\) and is thus Hausdorff and second-countable by exercise .

To see that it’s locally Euclidean, take \[\begin{align*} U_i^+ &\coloneqq\left\{{{\left[ {x^1, \cdots, x^n} \right]} \in {\mathbb{R}}^{n+1} {~\mathrel{\Big|}~}x^i > 0}\right\} {\quad \text{for} \quad} 1 \leq i \leq n+1 \\ U_i^- &\coloneqq\left\{{{\left[ {x^1, \cdots, x^n} \right]} \in {\mathbb{R}}^{n+1} {~\mathrel{\Big|}~}x^i < 0}\right\} {\quad \text{for} \quad} 1 \leq i \leq n+1 .\end{align*}\]

Define \[\begin{align*} f: {\mathbb{R}}^{n} &\to {\mathbb{R}}^{\geq 0} \\ \mathbf{x} &\mapsto \sqrt{1 - {\left\lVert {\mathbf{x}} \right\rVert}^2} .\end{align*}\]

Note that we immediately need to restrict the domain to \({\mathbb{D}}^n \subset {\mathbb{R}}^n\), where \({\left\lVert {x} \right\rVert}^2 \leq 1\implies 1 - {\left\lVert {x} \right\rVert}^2 \geq 0\), to have a well-defined real function \(f: {\mathbb{D}}^n \to {\mathbb{R}}^{\geq 0}\).

Then (claim) \[\begin{align*} U_i^+ \cap S^n {\quad \text{is the graph of} \quad} & x^i = f(x^1, \cdots, \widehat{x^i}, \cdots, x^{n+1}) \\ U_i^- \cap S^n {\quad \text{is the graph of} \quad} &x^i = -f(x^1, \cdots, \widehat{x^i}, \cdots, x^{n+1}) .\end{align*}\]

This is because \[\begin{align*} \Gamma(x^i) &\coloneqq\left\{{(\mathbf{x}, f(\mathbf{x})) \subseteq {\mathbb{R}}^n \times{\mathbb{R}}}\right\} \\ &= \left\{{ {\left[ {x_1, \cdots, \widehat{x^i}, \cdots, x^{n+1}} \right]}, f\qty{{\left[ {x_1, \cdots, \widehat{x^i}, \cdots, x^{n+1} } \right]}}\subseteq {\mathbb{R}}^n \times{\mathbb{R}}}\right\} \\ &= \left\{{ {\left[ {x_1, \cdots, \widehat{x^i}, \cdots, x^{n+1} } \right]}, \qty{1 - \sum_{\substack{j=1 \\ j\neq i}}^{n+1} (x^j)^2}^{1\over 2} \subseteq {\mathbb{R}}^n \times{\mathbb{R}}}\right\} \\ \end{align*}\]

and any vector in this set has norm satisfying \[\begin{align*} {\left\lVert {(\mathbf{x}, y)} \right\rVert}^2 = \sum_{\substack{j=1 \\ j\neq i}}^{n+1} (x^j)^2 + \qty{1 - \sum_{\substack{j=1 \\ j\neq i}}^{n+1} (x^j)^2} = 1 \end{align*}\] and is thus in \(S^n\).

To see that any such point also has positive \(i\) coordinate and is thus in \(U_i^+\), we can rearrange (?) coordinates to put the value of \(f\) in the \(i\)th coordinate to obtain \[\begin{align*} \Gamma(x_i) = \left\{{{\left[ {x^1, \cdots, f(x^1, \cdots, \widehat{x^i}, \cdots, x^n), \cdots, x^n } \right]}}\right\} \end{align*}\] and note that the square root only takes on positive values.

Thus each \(U_i^{\pm} \cap S^n\) is the graph of a continuous function and thus locally Euclidean, and we can define chart maps \[\begin{align*} \phi_i^{\pm}: U_i^{\pm} \cap S^n &\to {\mathbb{D}}^n \\ {\left[ {x^1, \cdots, x^n} \right]} &\mapsto [x^1, \cdots, \widehat{x^i}, \cdots, x^{n+1}] \end{align*}\] yield \(2(n+1)\) charts that are graph coordinates for \(S^n\).

Example (Projective Space)

Define \({\mathbb{RP}}^n\) as the space of 1-dimensional subspaces of \({\mathbb{R}}^{n+1}\) with the quotient topology determined by the map \[\begin{align*} \pi: {\mathbb{R}}^{n+1}\setminus\left\{{0}\right\}&\to {\mathbb{RP}}^n\\ \mathbf{x} &\mapsto {\operatorname{span}}_{\mathbb{R}}\left\{{\mathbf{x}}\right\} .\end{align*}\]

Notation: for \(\mathbf{x} \in {\mathbb{R}}^{n+1}\setminus\left\{{0}\right\}\) write \([\mathbf{x}] \mathrel{\vcenter{:}}=\pi(\mathbf{x})\), the line spanned by \(\mathbf{x}\).

Define charts: \[\begin{align*} \tilde U_i \coloneqq\left\{{\mathbf{x} \in {\mathbb{R}}^{n+1}\setminus\left\{{0}\right\}{~\mathrel{\Big|}~}x^i \neq 0}\right\}, \quad U_i = \pi(\tilde U_i) \subseteq {\mathbb{RP}}^n \\ .\end{align*}\]

and chart maps \[\begin{align*} \tilde \phi_i: \tilde U_i &\to {\mathbb{R}}^n \\ {\left[ {x^1, \cdots, x^{n+1}} \right]} &\mapsto {\left[ {{x^1 \over x^i}, \cdots \widehat{x^i}, \cdots {x^{n+1} \over x^i} } \right]} .\end{align*}\]

Then (claim) this descends to a continuous map \(\phi_i: U_i \to {\mathbb{R}}^n\) by the universal property of the quotient:

So this yields a continuous map \[\begin{align*} \phi_i: U_i \to {\mathbb{R}}^n .\end{align*}\]

We can now verify that \(\phi\) is a homeomorphism since it has a continuous inverse given by

\[\begin{align*} \phi_i^{-1}: {\mathbb{R}}^n &\to U_i \subseteq {\mathbb{RP}}^n \\ \mathbf{u} \coloneqq{\left[ {u^1, \cdots, u^n } \right]} &\mapsto {\left[ {u^1, \cdots, u^{i-1}, {\color{red}1}, u^{i+1}, \cdots, u^n} \right]} .\end{align*}\]

It remains to check:

  1. The \(n+1\) sets \(U_1, \cdots, U_{n+1}\) cover \({\mathbb{RP}}^n\).
  2. \({\mathbb{RP}}^n\) is Hausdorff
  3. \({\mathbb{RP}}^n\) is second-countable.
Exercise (1.6)
Show that \({\mathbb{RP}}^n\) is Hausdorff and second countable.
Exercise (1.7)
Show that \({\mathbb{RP}}^n\) is compact. (Hint: show that \(\pi\) restricted to \(S^n\) is surjective.)
Definition (Topological Embedding)
A continuous map \(f:X\to Y\) is a topological embedding iff it is injective and \(\tilde f:X\to f(X)\) is a homeomorphism.
Example (Product Manifolds)

Let \(M \mathrel{\vcenter{:}}= M_1 \times \cdots \times M_k\) be a product of manifolds of dimensions \(n_1, \cdots, n_k\) respectively. A product of Hausdorff/second-countable spaces is still Hausdorff/second-countable, so just need to check that it’s locally Euclidean.

Example (Torii)
\(T^n \mathrel{\vcenter{:}}=\prod_{i=1}^n S^1\) is a topological \(n{\hbox{-}}\)manifold.
Definition (Precompact)
A subset \(A\subseteq X\) is precompact iff its closure \(\operatorname{cl}_X(A)\) is compact in \(X\).
Every topological manifold has a countable basis of precompact coordinate balls.

Let \(M\) be a topological manifold.

Every topological manifold \(M\) is locally compact.
\(M\) has a basis of precompact open sets.
Theorem (Manifolds are Paracompact)
Given any open cover \({\mathcal{U}}\rightrightarrows M\) of a topological manifold and any basis \({\mathcal{B}}\) for the topology on \(M\), there exists a countable locally finite open refinement of \({\mathcal{U}}\) consisting of elements of \({\mathcal{B}}\).
\(\pi_1(M)\) is countable.

Notes Part 2

Definition (Smooth Functions)
A function \(f:{\mathbb{R}}^n \to {\mathbb{R}}^m\) given by \({\left[ {f_1(\mathbf{x}^n), f_2(\mathbf{x}^n), \cdots, f_m(\mathbf{x}^n)} \right]}\) (or any subsets thereof) is said to be \(C^\infty\) or smooth iff each \(f_i\) has continuous partial derivatives of all orders.
Definition (Diffeomorphism)
A smooth bijective map with a smooth inverse is a diffeomorphism.
A diffeomorphism is necessarily a homeomorphism, but not conversely.
Definition (Transition Maps)
If \((U, \phi), (V, \psi)\) are two charts on \(M\) such that \(U\cap V \neq \emptyset\), the composite map \(\psi \circ \phi^{-1}: \phi(U\cap V) \to \psi(U\cap V)\) is a function \({\mathbb{R}}^n\to{\mathbb{R}}^n\) and is called the transition map from \(\phi\) to \(\psi\). Two charts are smoothly compatible iff \(U\cap V = \emptyset\) or \(\psi \circ \phi^{-1}\) is a diffeomorphism.
A collection of charts \({\mathcal{A}}\mathrel{\vcenter{:}}=\left\{{(U_\alpha, \phi_\alpha)}\right\}\) is an atlas for \(M\) iff \(\left\{{U_\alpha}\right\} \rightrightarrows M\), and is a smooth atlas iff all of the charts it contains are pairwise smoothly compatible.
To show an atlas is smooth, it suffices to show that an arbitrary \(\psi \circ \phi^{-1}\) is smooth. This is because this immediately implies that its inverse is smooth, and these these are diffeomorphisms. Alternatively, one can show that \(\psi\circ\phi^{-1}\) is smooth, injective, and has nonsingular Jacobian at each point.

Attempting to define a function \(f: M\to {\mathbb{R}}\) to be smooth iff \(f\circ \phi^{-1}: {\mathbb{R}}^n \to {\mathbb{R}}\) is smooth for each \(\phi\) may not work because many atlases give the “same” smooth structure in the sense that they all determine the same collection of smooth functions on \(M\).

For example, take the following two atlases on \({\mathbb{R}}^n\): \[\begin{align*} \begin{array}{l} {{\mathcal{A}}}_{1}=\left\{\left(\mathbb{R}^{n}, \operatorname{Id}_{\mathbb{R}^{n}}\right)\right\} \\ {{\mathcal{A}}}_{2}=\left\{\left({\mathbb{D}}_{1}(\mathbf{x}), \text{id}_{{\mathbb{D}}_{1}(\mathbf{x})}\right){~\mathrel{\Big|}~}\mathbf{x} \in \mathbb{R}^{n}\right\} \end{array} .\end{align*}\]

Claim: a function \(f:{\mathbb{R}}^n \to {\mathbb{R}}\) is smooth wrt either atlas iff it is smooth in the usual sense.

Definition (Maximal or Complete Atlas)
A smooth atlas on \(M\) is maximal iff it is not properly contained in any larger smooth atlas.
Not every topological manifold admits a smooth structure. See Kervaire’s 10-dimensional manifold from 1960.
Definition (Smooth Structures and Smooth Manifolds)
If \(M\) is a topological manifold, a maximal smooth atlas \({\mathcal{A}}\) is a smooth structure on \(M\). The triple \((M, \tau, {\mathcal{A}})\) where \({\mathcal{A}}\) is a smooth structure is a smooth manifold.
To show that two smooth structures are distinct, it suffices to show that they are not smoothly compatible, i.e. one of the transition functions \(\psi\circ \phi^{-1}\) is not smooth. This is because any maximal atlas \({\mathcal{A}}_1\) must contain \(\psi\) and likewise \({\mathcal{A}}_2\) contains \(\phi^{-1}\), but no maximal atlas can contain \(\phi\) and \(\psi\) because all charts in a maximal atlas are smoothly compatible by definition.

Let \(M\) be a topological manifold.

  1. Every smooth atlas \({\mathcal{A}}\) for \(M\) is contained in a unique maximal smooth atlas, called the smooth structure determined by \({\mathcal{A}}\).
  2. Two smooth atlases for \(M\) determine the same smooth structure \(\iff\) their union is a smooth atlas.
That we can place many requirements on the functions \(\psi \circ \phi^{-1}\) and get various other structures: \(C^k\), real-analytic, complex-analytic, etc. \(C^0\) structures recover topological manifolds.
Definition (Smooth Charts, Maps, Domains)
If \((M,\ \tau, {\mathcal{A}})\) is a smooth manifold, any chart \((U, \phi)\in {\mathcal{A}}\) is a smooth chart, where \(U\) is a smooth coordinate domain and \(\phi\) is a smooth coordinate map. A smooth coordinate ball is a smooth coordinate domain \(U\) such that \(\phi(U) = {\mathbb{D}}^n\).
Definition (Regular Coordinate Ball)

A set \(B\subseteq M\) is a regular coordinate ball if there is a smooth coordinate ball \(B'\) such that \(\operatorname{cl}_M(B) \subseteq B'\), and a smooth coordinate map \(\phi: B'\to {\mathbb{R}}^n\) such that for some positive numbers \(r < r'\),

This says \(B\) “sits nicely” insane a larger coordinate ball.

\(\operatorname{cl}_M(B) \cong_{{\text{Top}}} \operatorname{cl}_{{\mathbb{R}}^n}({\mathbb{D}}_r(\mathbf{0}))\) which is closed and bounded and thus compact, so \(\operatorname{cl}_M(B)\) is compact. Thus every regular coordinate ball in \(M\) is precompact.
Every smooth manifold has a countable basis of regular coordinate balls.
There is only one 0-dimensional smooth manifold, up to equivalence of smooth structures.
Definition (Standard Smooth Structure on $\RR^n$)
Define the atlas \({\mathcal{A}}_0 = \left\{{({\mathbb{R}}^n, \text{id}_{{\mathbb{R}}^n})}\right\}\) and take the smooth structure it generates, this is the standard smooth structure on \({\mathbb{R}}^n\).
There are at least two distinct smooth structures on \({\mathbb{R}}^n\).

Define \(\psi(x) = x^3\); then \({\mathcal{A}}_1 \mathrel{\vcenter{:}}=\left\{{({\mathbb{R}}^n, \phi)}\right\}\) defines a smooth structure.

Then \({\mathcal{A}}_1 \neq {\mathcal{A}}_0\), which follows because \(\qty{\text{id}_{{\mathbb{R}}^n} \circ \phi^{-1}}(x) = x^{1\over 3}\), which is not smooth at \(\mathbf{0}\).

Note: helpful theorem, two smooth structures induced by two smooth atlases \({\mathcal{A}}_1, {\mathcal{A}}_2\) are equivalent iff \({\mathcal{A}}_1 \cup{\mathcal{A}}_2\) is again a smooth atlas. So it suffices to check pairwise compatibility of charts.

Exercise (Problem 1.6)

Show that if \(M^n\neq \emptyset\) is a topological manifold of dimension \(n\geq 1\) and \(M\) has a smooth structure, then it has uncountably many distinct ones.

Hint: show that for any \(s> 0\) that \(F_s(x) \mathrel{\vcenter{:}}={\left\lvert {x} \right\rvert}^{s-1}x\) defines a homeomorphism \(F_x: {\mathbb{D}}^n \to {\mathbb{D}}^n\) which is a diffeomorphism iff \(s=1\).


Define \[\begin{align*} F_s: {\mathbb{R}}^n &\to {\mathbb{R}}^n \\ \mathbf{x} &\mapsto {\left\lVert {\mathbf{x}} \right\rVert}^{s-1} \mathbf{x} .\end{align*}\]

Claim: \(F_s\) restricted to \({\mathbb{D}}^n\) is a continuous map \({\mathbb{D}}^n \to {\mathbb{D}}^n\).

Claim: \(F_s\) is a bijection \({\mathbb{D}}^n\setminus{\mathbf{0}}{\circlearrowleft}\) that extends to a bijection \({\mathbb{D}}^n{\circlearrowleft}\).

We can note that \[\begin{align*} F_s(\mathbf{x}) = \begin{dcases} {\left\lVert {\mathbf{x}} \right\rVert}^s{\mathbf{x} \over {\left\lVert {\mathbf{x}} \right\rVert}} \coloneqq{\left\lVert {\mathbf{x}} \right\rVert}^s \widehat{\mathbf{x}} & \text{if } {\left\lVert {\mathbf{x}} \right\rVert} \neq 0 \\ \mathbf{0} & \text{if } {\left\lVert {\mathbf{x} } \right\rVert} = 0 \end{dcases} \end{align*}\]

This follows because we can construct a two-sided inverse that composes to the identity, namely \(F_{1\over s}\), for \(\mathbf{x}\neq \mathbf{0}\), and note that \(F_s(\mathbf{0}) = \mathbf{0}\). Using the fact that \({\left\lVert {t \mathbf{x}} \right\rVert} = t{\left\lVert {\mathbf{x}} \right\rVert}\) for any scalar \(t\), we can check that \[\begin{align*} \qty{F_s \circ F_{1\over s}}(\mathbf{x}) &= F_s({\left\lVert {\mathbf{x}} \right\rVert}^{1\over s} \widehat{\mathbf{x}}) \\ &= {\left\lVert { {\left\lVert {\mathbf{x}} \right\rVert}^{1\over s} \widehat{\mathbf{x}} } \right\rVert}^{s} \cdot \widehat{{\left\lVert {\mathbf{x}} \right\rVert}^{1\over s} \widehat{\mathbf{x}}} \\ &= \qty{ {\left\lVert {\mathbf{x}} \right\rVert}^{1\over s}}^s \cdot {\left\lVert { \widehat{\mathbf{x}} } \right\rVert}^{s} \cdot { {\left\lVert {\mathbf{x}} \right\rVert}^{1\over s} \widehat{\mathbf{x}} \over {\left\lVert { {\left\lVert {\mathbf{x}} \right\rVert}^{1\over s} \widehat{\mathbf{x}} } \right\rVert} } \\ &= {\left\lVert {\mathbf{x}} \right\rVert} \cdot 1^s \cdot \qty{{\left\lVert {\mathbf{x}} \right\rVert}^{1\over s} \over {\left\lVert {\mathbf{x}} \right\rVert}^{1\over s}} \cdot {\widehat{\mathbf{x}} \over {\left\lVert {\widehat{\mathbf{x}}} \right\rVert} } \\ &= {\left\lVert {\mathbf{x}} \right\rVert} \widehat{\mathbf{x}} \\ &= \mathbf{x} .\end{align*}\]

and similarly \[\begin{align*} \qty{F_{1\over s} \circ F_s}(\mathbf{x}) &= F_{1\over s} \qty{ {\left\lVert {\mathbf{x}} \right\rVert}^s \widehat{\mathbf{x}} } \\ &= {\left\lVert {{\left\lVert {\mathbf{x}} \right\rVert}^s \widehat{\mathbf{x}} } \right\rVert}^{1\over s} \cdot \widehat{ {\left\lVert {\mathbf{x}} \right\rVert}^s \widehat{\mathbf{x}} } \\ &= \qty{{\left\lVert {\mathbf{x}} \right\rVert}^s}^{1\over s} {\left\lVert {\widehat{\mathbf{x}} } \right\rVert}^{1\over s} \cdot {{\left\lVert {\mathbf{x}} \right\rVert}^s \widehat{\mathbf{x}} \over {\left\lVert { {\left\lVert {\mathbf{x}} \right\rVert}^s \widehat{\mathbf{x}} } \right\rVert} } \\ &= {\left\lVert {\mathbf{x}} \right\rVert} \cdot 1^{1-s} \cdot \qty{{\left\lVert {\mathbf{x}} \right\rVert}^s \over {\left\lVert {\mathbf{x}} \right\rVert}^s } \cdot {\widehat{\mathbf{x}} \over {\left\lVert {\widehat{\mathbf{x}}} \right\rVert}} \\ &= {\left\lVert {\mathbf{x}} \right\rVert} \widehat{\mathbf{x}} \\ &= \mathbf{x} .\end{align*}\]

Claim: \(F_s\) is a homeomorphism for all \(s\).

This follows from the fact that the domain \({\mathbb{D}}^n\) is compact and the codomain \({\mathbb{D}}^n\) is Hausdorff, and a continuous bijection between such spaces is a homeomorphism.

Claim: \(F_s\) is a diffeomorphism iff \(s=1\).

If \(s=1\), \(F_s = \text{id}_{{\mathbb{D}}^n}\) which is clearly a diffeomorphism.

Otherwise, we claim that \(F_s\) is not a diffeomorphism because either \(F_s\) or \(F_s^{-1}\) will fail to be smooth at \(\mathbf{x} = \mathbf{0}\).

We now show that we can produce infinitely many distinct maximal atlases on \(M\). Let \({\mathcal{A}}\) by any smooth atlas on \(M\) and fix \(p_0\in M\).

Claim: We can modify \({\mathcal{A}}\) to obtain an atlas \({\mathcal{A}}'\) where \(p_0\) is in exactly one chart \((V, \psi)\) with \(\psi(p_0) = \mathbf{0} \in {\mathbb{R}}^n\).

Claim: We can define a new atlas \({\mathcal{A}}_s\) from \({\mathcal{A}}^2\) by only replacing the single chart \((V, \psi)\) with \((V, F_s \circ \psi)\).

Claim: If \(s\neq t\) then \({\mathcal{A}}_s\) and \({\mathcal{A}}_t\) are not smoothly compatible, and thus generate distinct maximal smooth atlases.


Exercise (Problem 1.7)

Let \(N\mathrel{\vcenter{:}}={\left[ {0, \cdots, 1} \right]} \in S^n\) and \(S\mathrel{\vcenter{:}}={\left[ {0, \cdots, -1} \right]}\) and define the stereographic projection \[\begin{align*} \sigma: S^n\setminus N &\to {\mathbb{R}}^n \\ {\left[ {x^1, \cdots, x^{n+1}} \right]} &\mapsto {1 \over 1-x^{n+1}} {\left[ {x^1, \cdots, x^n} \right]} \end{align*}\] and set \(\tilde\sigma(x) = -\sigma(-x)\) for \(x\in S^n\setminus S\) (projection from the South pole)

  1. For any \(x\in S^n\setminus N\) show that \(\sigma(x) = \mathbf{u}\) where \((\mathbf{u}, 0)\) is the point where the line through \(N\) and \(x\) intersects the linear subspace \(H_{n+1} \mathrel{\vcenter{:}}=\left\{{x^{n+1} = 0}\right\}\).

    Similarly show that \(\tilde \sigma(x)\) is the point where the line through \(S\) and \(x\) intersects \(H_{n+1}\).

  2. Show that \(\sigma\) is bijective and \[\begin{align*} \sigma^{-1}(\mathbf{u}) = \sigma^{-1}\qty{{\left[ {u^1, \cdots, u^n } \right]}} = {1\over {\left\lVert {\mathbf{u}} \right\rVert}^2 + 1} {\left[ {2u^1, \cdots, 2u^n, {\left\lVert {\mathbf{u}} \right\rVert}^2 - 1} \right]} .\end{align*}\]

  3. Compute the transition map \(\tilde \sigma \circ \sigma^{-1}\) and verify that the atlas \[\begin{align*} {\mathcal{A}}\coloneqq\left\{{(S^n\setminus N, \sigma), (S^n\setminus S, \tilde \sigma) }\right\} \end{align*}\] define a smooth structure on \(S^n\).

  4. Show that this smooth structure is equivalent to the standard smooth structure: Put graph coordinates on \(S^n\) as outlined in to obtain \(\left\{{(U_i^\pm, \phi_i^{\pm})}\right\}\).

    For indices \(i<j\), show that \[\begin{align*} \phi_i^\pm \circ (\phi_j^\pm)^{-1}{\left[ {u^1, \cdots, u^n} \right]} = {\left[ {u^1, \cdots, \widehat{u^i}, \cdots, \pm\sqrt{1 - {\left\lVert {\mathbf{u}} \right\rVert}^2} ,\cdots u^n} \right]} \end{align*}\] where the square root appears in the \(j\)th position. Find a similar formula for \(i>j\). Show that if \(i=j\), then \[\begin{align*} \phi_i^\pm \circ (\phi_j^\pm)^{-1}= \phi_i^- \circ (\phi_i^+)^{-1}= \text{id}_{{\mathbb{D}}^n} .\end{align*}\]

    Show that these yield a smooth atlas.

Solution (1):

Solution (2):

Solution (3):

Solution (4):

We want to argue that these define the same maximal smooth atlas, for which it suffices to the charts from each are pairwise smoothly compatible.

Exercise (Problem 1.8)

Define an angle function on \(U\subset S^1\) as any continuous function \(\theta:U\to{\mathbb{R}}\) such that \(e^{i\theta(z)} = z\) for all \(z\in U\).

Show that \(U\) admits an angle function iff \(U\neq S^1\), and for any such function \(\theta\), \((U, \theta)\) is a smooth coordinate chart for \(S^1\) with its standard smooth structure.

Note that \(f: {\mathbb{R}}\to S^1\) given by \(f(x) = e^{ix}\) is a covering map (in fact the universal cover).




\((U, \theta)\) is a smooth coordinate chart:

Exercise (Problem 1.9)
Show that \({\mathbb{CP}}^n\) is a compact \(2n{\hbox{-}}\)dimensional topological manifold, and show how to equip it with a smooth structure, using the correspondence \[\begin{align*} {\mathbb{R}}^{2n} &\iff {\mathbb{C}}^n \\ {\left[ {x^1, y^1, \cdots, x^n, y^n} \right]} &\iff {\left[ {x^1 + iy^1, \cdots, x^n + iy^n} \right]} .\end{align*}\]

Chapter 2: Smooth Structures


Definition (Smooth Functionals on Manifolds)
A function \(f: M^n\to {\mathbb{R}}^k\) is smooth iff for every \(p\in M\) there exists a smooth chart \((U, \phi)\) about \(p\) such that \(f\circ \phi^{-1}: \phi(U) \to {\mathbb{R}}^k\) is smooth as a real function.

Fact: \(C^\infty(M) \mathrel{\vcenter{:}}=\left\{{f:M\to {\mathbb{R}}}\right\}\) is a vector space

Definition (Coordinate Representations of Functions)
Given a function \(f:M\to {\mathbb{R}}^k\), the function \(\widehat{f}: \phi(U) \to {\mathbb{R}}^k\) where \(\widehat{f}(x) = (f\circ \phi^{-1})(x)\) is a coordinate representation of \(f\).

Fact: \(f\) is smooth \(\iff\) \(f\) is smooth (in the above sense) in some smooth chart about each point.

Definition (Smooth Maps Between Manifolds)
\(F:M\to N\) is smooth iff for every \(p\in M\) there exists charts \(p\in (U, \phi)\) and \(F(p) \in (V, \psi)\) such that \(F(U) \subseteq V\) and \(\psi \circ F \circ \phi^{-1}: \phi(U) \to \psi(V)\) is smooth.

Fact: taking \(N = V = {\mathbb{R}}^k\) and \(\psi=\text{id}\) recovers the previous definition.

Every smooth map between manifolds is continuous.
Proposition (Smoothness is Local)

If \(F:M\to N\), then

  1. If every \(p\in M\) has a neighborhood \(U\ni p\) such that \(F\) restricted to \(U\) is smooth, then \(F\) is smooth.
  2. If \(F\) is smooth, then its restriction to every open subset is smooth.
For \(F:M\to N\) and \((U, \phi)\), \((V, \psi)\) smooth charts in \(M, N\) respectively, then \(\widehat{F} \mathrel{\vcenter{:}}=\psi \circ F \circ \phi^{-1}\) is the coordinate representation of \(F\).
  1. Constant maps \(c:M\to N\), \(c(x) = n_0\) are smooth
  2. The identity is smooth
  3. Inclusion of open submanifolds \(U \hookrightarrow M\) is smooth
  4. \(F:M\to N\) and \(G:N\to P\) smooth implies \(G\circ F\) is smooth.
A map \(F:N \to \prod_{i=1}^k M_i\) with at most one \(i\) such that \({\partial}M_i \neq \emptyset\) is smooth iff each component map \(\pi_i \circ F: N\to M_i\) is smooth.

Proving a map between manifolds is smooth:

  1. Write the map as a composition of known smooth functions.
  2. Write in smooth local coordinates and recognize the component functions as compositions of smooth functions

Fact: projection maps from products are smooth

Chapter 3: Tangent Vectors


For a fixed point \(\mathbf{a} \in {\mathbb{R}}^n\), define the geometric tangent space at \(\mathbf{a}\) to be the set \[\begin{align*} {\mathbb{R}}^n_{\mathbf{a}} \coloneqq\left\{{\mathbf{a}}\right\} \times{\mathbb{R}}^n = \left\{{(\mathbf{a}, \mathbf{v}) {~\mathrel{\Big|}~}\mathbf{p} \in {\mathbb{R}}^n}\right\} .\end{align*}\]

Notation: \(\mathbf{v}_a\) denotes the tangent vector at \(\mathbf{v}\), i.e. the pair \((\mathbf{a}, \mathbf{v})\). Think of this as a vector with its base at the point \(\mathbf{a}\).

There is a natural isomorphism \({\mathbb{R}}^n_a \cong {\mathbb{R}}^n\) given by \((\mathbf{a}, \mathbf{v}) \mapsto \mathbf{v}\).
\(D_v\Big|_a\) satisfies the product rule: \[\begin{align*} D_v\Big|_a(fg) = f(a) \cdot D_v\Big|_{a}g + D_v\Big|_{a}f \cdot g(a) .\end{align*}\]

Picking the standard basis for \({\mathbb{R}}^n_a = \left\{{\mathbf{e}_{i, a}}\right\}_{i=1}^n\) and expanding \(\mathbf{v} = \sum_{i=1}^n v^i \mathbf{e}_{i, a}\), we can explicitly write \[\begin{align*} D_v\Big|_a f = \sum_{i=1}^n v^i {\frac{\partial f}{\partial x^i}\,}(a) .\end{align*}\]


Denote the space of all derivations of \(C^\infty({\mathbb{R}}^n)\) at \(a\) as

\[\begin{align*} T_a {\mathbb{R}}^n \coloneqq\left\{{w \in \hom_{{\mathbb{R}}{\hbox{-}}\text{mod}}(C^\infty({\mathbb{R}}^n), {\mathbb{R}}) {~\mathrel{\Big|}~}w(fg) = f(a)w(g) + g(a)w(f)}\right\} ,\end{align*}\] i.e. a derivation \(w\) is an \({\mathbb{R}}{\hbox{-}}\)linear map satisfying the Leibniz Rule (LR).


  1. If \(f\) is a constant function then \(v(f) = 0\in {\mathbb{R}}\).
  2. If \(f(p) = g(p)\) for \(p\in M\) then \(v(fg) = 0\in {\mathbb{R}}\).

Claim: if \(f\in C^\infty({\mathbb{R}}^n)\) is constant, say \(f(\mathbf{p}) = 1\) for all \(\mathbf{p}\in {\mathbb{R}}^n\), then \(w(f) = 0\) for any derivation \(w\).

Proof: WLOG suppose \(f(\mathbf{p}) = 1\in {\mathbb{R}}\). Note that \(f(\mathbf{p}) = f(\mathbf{p}) \cdot f(\mathbf{p})\), so \[\begin{align*} w(f) = w(f\cdot f) \stackrel{\mathclap{\scriptscriptstyle{LR}}}{=} f(\mathbf{p})w(f) + w(f)f(\mathbf{p}) = 2f(\mathbf{p})w(f) = 2w(f) \quad\text{since } f(\mathbf{p}) = 1 ,\end{align*}\] and thus \(w(f) = 2w(f) \in {\mathbb{R}}\) forcing \(w(f) = 0\).

A geometric tangent vector provides a way of taking directional derivatives via the correspondence \[\begin{align*} {\mathbb{R}}^n_a &\to C^\infty({\mathbb{R}}^n)^\vee\\ \mathbf{v}_a &\mapsto {\left.{D_{\mathbf{v}}}\right|_{a}} \end{align*}\] where \[\begin{align*} {\left.{D_{\mathbf{v}}}\right|_{a}}: C^\infty({\mathbb{R}}^n) &\to {\mathbb{R}}\\ f &\mapsto D_{\mathbf{v}} f(\mathbf{a}) \coloneqq{\frac{\partial }{\partial t}\,}\Big|_{t=0} f(\mathbf{a} + t\mathbf{v}) .\end{align*}\]

More precisely,

Proposition (Space of Derivations is Isomorphic to Geometric Tangent Space)
For each geometric tangent vector \(\mathbf{v}_a \in {\mathbb{R}}^n_a\), the map \(D_{\mathbf{v}}\Big|_a\) is a derivation at \(a\), and the map \(\mathbf{v}_a \mapsto D_{\mathbf{v}}\Big|_a\) is an isomorphism.
Theorem (Basis of Tangent Space)
For any \(\mathbf{p}\in {\mathbb{R}}^n\), there is a basis for \(T_{\mathbf{p}}{\mathbb{R}}^n\) given by \(\left\{{{\frac{\partial }{\partial x^i}\,}\Big|_{\mathbf{p}} {~\mathrel{\Big|}~}1\leq i \leq n}\right\} \subset C^\infty({\mathbb{R}}^n, {\mathbb{R}})\) which are defined as \[\begin{align*} {\frac{\partial }{\partial x^i}\,}: {\mathbb{R}}^n &\to {\mathbb{R}}\\ f &\mapsto {\frac{\partial f}{\partial x^i}\,}(\mathbf{p}) .\end{align*}\]
Definition (Tangent Vector on a Manifold)
Let \(M\) be smooth and \(p\in M\), then \[\begin{align*} T_p M \coloneqq\left\{{v:C^\infty(M) \to {\mathbb{R}}{~\mathrel{\Big|}~}v(fg) = f(p) vg + g(p) vg }\right\} .\end{align*}\]
Definition (Differential of a Map)
For \(F:M\to N\) a smooth map, for each \(p\in M\), we define the differential of \(f\) at \(p\) as \[\begin{align*} dF_p: T_p M &\to T_{F(p)}N \\ v &\mapsto (DF_p(v): f \mapsto v(f\circ F)) .\end{align*}\]

Note that \(f\in C^\infty(N)\) implies that \(f\circ F \in C^\infty(M)\), and since \(v\in T_p M\) is a functional in \(C^\infty(M)^\vee\), \(v\) can act on such objects.. Moreover, \(dF_p(v)\) is in fact a derivation at \(F(p)\), since \[\begin{align*} dF_p(v)(fg) &= v((fg) \circ F) \\ &= v((f\circ F) \cdot (g\circ F) ) \hspace{8em}{Why?} \\ &= (f \circ F)(p) \cdot v(g\circ F) + v(f\circ F) \cdot (g \circ F)(p) \quad\text{since $v$ is a derivation}\\ &\coloneqq(f\circ F)(p) dF_p(v)(g) + (g\circ F)(p) dF_p(v)(f) \\ &\coloneqq f(F(p)) dF_p(v)(g) + g(F(p)) dF_p(v)(f) ,\end{align*}\] which puts it in the form \({{\partial}}(fg) = f(q){{\partial}}(g) + {{\partial}}(f) g(q)\) where \(q = F(p)\).


Proposition (Tangent Vectors Act Locally)
If \(f, g\in C^\infty(M)\) agree on any neighborhood of \(p\in M\), then \(v(f) = v(g)\).

Warning: the action of a derivation depends only on the values of a function in arbitrarily small neighborhoods, and in particular, can only be applied to functions defined in a neighborhood of \(p\) (not necessarily on all of \(M\)).

The tangent space of an \(n{\hbox{-}}\)manifolds is \(n{\hbox{-}}\)dimensional, even on boundary point.
If \(U\subset M\) is an open subset of a manifold and \(\iota:U\hookrightarrow M\) is the inclusions, then for every \(p\in M\), the differential \(d\iota_p: T_p U \to T_p M\) is an isomorphism.

In words: the tangent space of any submanifold is isomorphic to the tangent space of the ambient manifold.

For a vector space \(V\), there is a natural smooth structure (Example 1.24) and for any \(\mathbf{a}, \mathbf{v}\in V\) we can similarly define a map \[\begin{align*} D_{\mathbf{v}}\Big|_{\mathbf{a}}: C^\infty(V) &\to {\mathbb{R}}\\ f &\mapsto D_{\mathbf{v}}f(\mathbf{a})\coloneqq{\frac{\partial }{\partial t}\,}\Big|_{t = 0} f(\mathbf{a} + t\mathbf{v}) .\end{align*}\]

If \(V\) is a vector space, for any \(\mathbf{a}\in V\), the map \(\mathbf{a} \mapsto D_{\mathbf{v}}\Big|_{\mathbf{a}}\) yields an isomorphism \(V\cong T_{\mathbf{a}}V\). Thus tangent vectors in \(V\) are routinely identified with elements of \(V\).
Combined with the fact that tangent spaces of submanifolds are isomorphic to tangent spaces of the entire manifold, note that \(\operatorname{Mat}(n\times n, {\mathbb{R}})\) is a vector space and thus identified with its own tangent space. Since \(\operatorname{GL}(n, {\mathbb{R}}) \subset \operatorname{Mat}(n\times n, {\mathbb{R}})\) is an open submanifold, if \(p\in \operatorname{GL}(n, {\mathbb{R}})\) then we can identify \(T_p \operatorname{GL}(n, {\mathbb{R}}) \cong \operatorname{Mat}(n\times n, {\mathbb{R}})\).
The tangent bundle of a manifold is defined as \(TM \mathrel{\vcenter{:}}={\coprod}_{p\in M} T_p M\). Points in \(TM\) are often written as \((p, v)\), and there is a natural projection map \(\pi:TM \to M\) given by \((p, v) \mapsto p\).
If \(F:M\to N\) is smooth with \(p\in M\) and \(v\in T_p M\), then \(dF_p(v) = (F\circ \gamma)(0)\) where \(\gamma: (-a, b)\to M\) is any smooth curve with \(\gamma(0) = p\) and \(\gamma'(0) = v\).
Definition (Germ of a Function)
The germ of a function \(f\) at \(p\) is the equivalence class of ordered pairs \((f, U)\) where \(U\subseteq M\) is open and \(f\in C^\infty(U, {\mathbb{R}})\), where \((f, U) \sim (g, V)\) iff there exists a neighborhood \(N \subset U\cap V\) containing \(p\) such that \({\left.{f}\right|_{N}} \equiv {\left.{g}\right|_{N}}\). The set of germs of functions at \(p\) is denoted \(C_p^\infty(M)\) and is an associative \({\mathbb{R}}{\hbox{-}}\)algebra.
This definition is the only one available for real or complex analytic manifolds, since there do not exist analytic bump functions.
Exercise (3-7)

Let \(p\in M\) and \(C_p^\infty(M, {\mathbb{R}})\) be the \({\mathbb{R}}{\hbox{-}}\)algebra of germs of functions at \(p\). Let \(D_p M\) denote the vector space of derivations of \(C_p^\infty(M, {\mathbb{R}})\). Show that the map

\[\begin{align*} \Phi: D_p M &\to T_p M \\ \qty{\Phi_v} f &= v([f]_p) \end{align*}\] is an isomorphism.


First, clarify that this is the map \[\begin{align*} \Phi: D_p M &\to T_p M \\ v &\mapsto \qty{ f \mapsto v([(f, U)]_p) } ,\end{align*}\] where \(\Phi_v\) is the image of \(v\) and \([(f, U)]\) is a germ, i.e. an equivalence class of ordered pairs.

We note that \(v: C_p^\infty(M) \to {\mathbb{R}}\). For \(w\in T_p M\), we have \(w: C^{\infty}(M) \to {\mathbb{R}}\), so define an inverse map \[\begin{align*} \Phi^{-1}: T_p M &\to D_p M \\ w &\mapsto \qty{ [(f, U)] \mapsto w(\tilde f) } ,\end{align*}\] where \(\tilde f\) is to be defined.

Note that \(w\) can’t act directly on \(f\), since \(f\) is only defined on a subset \(U\subseteq M\) whereas \(w\) needs to act on functions defined on all of \(M\). So take \(\tilde f: M\to {\mathbb{R}}\) to be \(f\) extended by smooth bump functions to all of \(M\).

Things to check:

Exercise (3-8)
Let \(p\in M\) and \(V_p M = \left\{{\text{Curves starting at } p}\right\}/\sim\) where \(\gamma_1\sim \gamma_2 \iff\) for every \(f\in C^\infty(M, {\mathbb{R}})\), \({\frac{\partial (f\circ \gamma_1)}{\partial t}\,}(0) = {\frac{\partial (f\circ \gamma_2)}{\partial t}\,}(0)\). Show that the following map is well-defined and bijective: \[\begin{align*} \Psi: V_p M &\to T_p M \\ \gamma &\mapsto {\frac{\partial \gamma}{\partial t}\,}(0) .\end{align*}\]

Chapter 4: ’Mersions


Three categories of maps:

If \(F:M \to N\) is a smooth map of manifolds and \(p\in M\), then the rank of \(F\) at \(p\) is the rank of the linear map \(dF_p: T_p M \to T_{F(p)} N\)

This is equivalently the rank of the Jacobian of \(F\) in any chart, or the dimension of \(\operatorname{im}({d})F_p \subseteq T_{F(p)}N\). The rank may vary from point to point.

The positive integer \(\operatorname{rank}(F)\) is bounded above by \(\min \left\{{\dim M, \dim N}\right\}\); if it achieves this maximum we say \(F\) has full rank.

A smooth map \(F:M\to N\) is a submersion iff \(dF_p\) is surjective for every \(p\in M\), or equivalently \(F\) has constant rank \(\operatorname{rank}(F) = \dim N\).

Analogy: surjective linear maps.

A smooth map \(F:M\to N\) is an immersion iff \(dF_p\) is injective for every \(p\in M\), or equivalently \(F\) is of constant rank \(\operatorname{rank}(F) = \dim M\).

Analogy: injective linear maps.

Proposition ($\dash$jective Differential Implies Local $\dash$mersion)
If \(F:M\to N\) and \(dF_p\) is surjective (resp. injective) at a point, then there exists a neighborhood \(U \ni p\) such that \(F\) restricted to \(U\) is a submersion (resp. immersion).
Go to charts. The set of \(m\times n\) matrices of full rank is open in \(\operatorname{Mat}(m\times n, {\mathbb{R}})\) and the Jacobian is a continuous function of its entries.
Show that smooth submersions are closed under composition, as are smooth immersions, but not maps of constant rank.
Definition (Local Diffeomorphism)
A map \(F:M\to N\) is a local diffeomorphism iff every \(p\in M\) has a neighborhood \(U\ni p\) such that \(F(U) \subseteq N\) is open and \({\left.{F}\right|_{U}}:U\to F(U)\) is a diffeomorphism.
Theorem (Inverse Function Theorem)
If \(p\in M\) and \(dF_p\) is invertible, then there are connected neighborhoods \(U\ni p\) and \(V\ni F(p)\) such that \({\left.{F}\right|_{U}}:U\to V\) is a diffeomorphism.
Theorem (Inverse Function Theorem, Rudin’s Version)
If \(f\) is a \(C^1\) mapping of open subsets \(M\subseteq {\mathbb{R}}^m\to {\mathbb{R}}^n\supseteq N\) and \(f'(p)\) is invertible for some \(p\in M\), then there exists \(U\ni p\) and \(V\ni f(p)\) such that \({\left.{f}\right|_{U}}:U\to V\) is a bijection with \(C^1\) inverse.

Note that this can fail if \({{\partial}}M \neq \emptyset\), but will hold when \(F(M)\subseteq N^\circ\). This always happens at points \(p\) where \(dF_p\) is invertible.

  1. \(F\) is a local diffeomorphism \(\iff F\) is an immersion and a submersion.
  2. If \(\dim M = \dim N\) and \(F\) is either an immersion or a submersion, then \(F\) is a local diffeomorphism.
  1. Find a neighborhood \(U\ni p\) on which \(F: U \to F(U)\) is a diffeomorphism, then \(dF_p: T_p M \xrightarrow{\cong} T_{F(p)}N\) is an isomorphism, so \(\operatorname{rank}(F) = \dim M = \dim N\) and \(F\) is an immersion and a submersion.

Conversely, if \(dF_p\) is an isomorphism at each point, the inverse function theorem supplies neighborhoods on which \(F\) is a diffeomorphism.

  1. If \(\dim M = \dim N\) then either injectivity or surjectivity of \(dF_p\) implies bijectivity.
Theorem (Rank Theorem)

If \(F:M\to N\) with \(\dim(M) = m,~\dim(N) = n\) and about each \(p\in M\) there exist charts for which \(F\) has a coordinate representation

\[\begin{align*} \widehat{F}(x^1, \cdots, x^r, x^{r+1}, \cdots, x^m) &= (x^1, \cdots, x^r, 0, \cdots, 0) \\ \widehat{F}(x^1, \cdots, x^n, x^{n+1}, \cdots, x^m) &= (x^1, \cdots, x^n) \quad\text{if $F$ is a submersion} \\ \widehat{F}(x^1, \cdots, x^n, x^{n+1}, \cdots, x^m) &= (x^1, \cdots, x^m, 0, \cdots, 0) \quad\text{if $F$ is an immersion}\\ .\end{align*}\]

I.e., submersions are projections onto the first \(n = \dim N\) coordinates, and immersions are inclusions of the first \(m=\dim M\) coordinates.


Suppose \(F:M\to N\) and \(M\) is connected, then TFAE:

I.e. constant rank maps locally behave like their differentials.

Theorem (Global Rank Theorem)

Let \(F:M \to N\) be smooth of constant rank, then

  1. \(F\) surjective \(\implies F\) is a submersion,
  2. \(F\) injective \(\implies F\) is a immersion,
  3. \(F\) bijective \(\implies F\) is a diffeomorphism.

One additional more general case: manifolds with boundary, where the domain includes a boundary point. In this case, if \(F:M\to N\) is an immersion with \(p\in {{\partial}}M\) then there exist charts such that \(F\) has a coordinate representation of inclusion of the first \(m\) coordinates. The situation is more complicated when the codomain includes boundary points, since the image may intersect \({{\partial}}N\) in unpredictable ways.

Definition (Embedding)
A smooth embedding \(F:M\to N\) is an immersion that is also a topological embedding, i.e. a homeomorphism onto its image.

Note that this is not just a smooth topological embedding, it additionally must be an immersion.



Theorem (Dirichlet’s Approximation Theorem)
For \(\alpha\in {\mathbb{R}}, N\in {\mathbb{Z}}^{> 0}\), there exist \(n, m\) such that \(1\leq n \leq N\) and \({\left\lvert {n\alpha - m} \right\rvert} < {1\over N}\).

If any of the following hold for \(F:M\to N\), then \(F\) is a smooth embedding:

Application: \(\iota: S^n \hookrightarrow{\mathbb{R}}^{n+1}\) is smooth and \(d\iota_p\) is injective at every \(p\in S^n\). Since \(S^n\) is compact, \(\iota\) is a smooth embedding.

Theorem (Local Embedding Theorem)
\(F\) is a smooth immersion \(\iff F\) is locally a smooth embedding: every \(p\in M\) admits a neighborhood \(U\ni p\) such that \({\left.{F}\right|_{U}}:U\to N\) is a smooth embedding.

This leads to formulating the following definition:

Definition (Topological Immersion)
A continuous map \(F:X\to Y\) is a topological immersion iff every \(p\in X\) admits a neighborhood on which \(F\) is a topological embedding.
Definition (Local Sections)
A local section \(\sigma\) of a continuous map \(\pi:M\to N\) is a continuous map \(\sigma: U\to M\) for some open \(U\subseteq N\) such that \(\pi \circ \sigma = \text{id}_U\).
Theorem (Local Section Theorem)
\(\pi:M\to N\) is a smooth submersion \(\iff\) every \(p\in M\) is in the image of a smooth local section of \(\pi\).

I.e., smooth submersions admit enough smooth local sections.

Definition (Topological Submersions)
A continuous map \(\pi:X\to Y\) is a topological submersion iff every point is in the image of a continuous local section of \(\pi\).
If \(\pi:M\to N\) is a submersion then \(\pi\) is an open map, and if \(\pi\) is additionally surjective then \(\pi\) is a quotient map.

Note: a surjective smooth submersion is a topological quotient map.

Theorem (Characteristic Property of Surjective Smooth Submersions)

If \(\pi:M\to N\) is a surjective submersion, a map \(F:N\to P\) is smooth \(\iff F\circ \pi\) is smooth, as in the following diagram

Theorem (When Smooth Maps Factor Through Submersions)

If \(F:M\to P\) is constant on the fibers of \(\pi:M\to N\) then it descends to a map \(\tilde F: N\to P\):

Surjective smooth submersions are topological quotient maps, to \(\tilde F\) exists as a continuous map. \(\tilde F\) is smooth by the previous proposition.
If \(\pi_1:M\to N_1\) and \(\pi_2:M\to N_2\) with each constant on the fibers of the other, there is a unique diffeomorphism \(F:N_1 \to N_2\).
Definition (Topological Covering Map)
A surjective continuous map \(\pi:E\to M\) between connect and locally path-connected spaces such that each \(p\in M\) is evenly covered, i.e. each connected component of \(\pi^{-1}(U)\) is mapped to \(U\) homeomorphically.
Definition (Smooth Covering Map
If \(E, M\) are connected smooth manifolds with or without boundary, \(\pi:E\to M\) is a smooth covering map iff \(\pi\) is a smooth surjection such that each \(p\in M\) admits a neighborhood \(U\ni p\) such that \(\pi^{-1}(U)\) is mapped diffeomorphically to \(U\).

Need the sheets to be mapped diffeomorphically, as opposed to just smooth homeomorphisms.

Note that if \(E\) is simply connected, then \(E\) is the universal cover of \(M\).

  1. Every smooth covering map is:
  1. An injective smooth covering map is a diffeomorphism

  2. A topological covering map is a smooth covering map \(\iff\) it is a local diffeomorphism.

Note that smooth covering maps are surjective smooth submersions, so all previous theorems work. E.g. theorems about descending to submersions can be used to define maps out of the base of a covering space.

Proposition (Strengthened Local Section Theorem for Covering Maps)
If \(\pi:E\to M\) is a smooth covering map, given any evenly covered open \(U\subseteq M\), \(q\in U\), \(p\in \pi^{-1}(q)\), there exists a unique smooth local section \(\sigma: U\to E\).


Proposition (Existence of Universal Covers)
If \(\pi:E\to M\) is a topological covering map with \(M\) a connected smooth \(n{\hbox{-}}\)manifold, then \(E\) is a topological \(n{\hbox{-}}\)manifold with a unique smooth structure such that \(\pi\) is a smooth covering map.
Proposition (Uniqueness of Universal Covers)

If \(M\) is a connected smooth manifold, then there exists a simply-connected smooth manifold \(\tilde M\), its universal cover, and a smooth covering map \(\pi \tilde M\to M\).

It is unique in the sense that if \(\tilde M'\) is any other such cover, there exists a diffeomorphism \(\Phi: \tilde M \to \tilde M'\) such that \(\pi' \circ \Phi = \pi\).

Even if a map is known to be a surjective local diffeomorphism, it is difficult to tell if it is a smooth covering map.

Proposition (Sufficient Condition for Local Diffeomorphisms to be Coverings)
If \(E, M\) are nonempty and connected with \(\pi:E\to M\) a proper local diffeomorphism, then \(\pi\) is a smooth covering map.

Proof uses the fact that local diffeomorphisms are open and proper maps are closed.



Chapter 5: Submanifolds

When Submanifolds are Embedded

The most important type of manifolds: embedded submanifolds. Most often described as the level set of a smooth map, but needs extra conditions. The level sets of constant rank maps are always embedded submanifolds.

More general: immersed submanifolds. Locally embedded, but may have global topology different than the subspace topology.

For \(S\subseteq M\) in the subspace topology, with a smooth structure such that the inclusion \(S\hookrightarrow M\) is smooth. If \(S\hookrightarrow M\) is a proper map, then \(S\) is properly embedded.

An embedded submanifold of codimension 1.

A subset \(S\subseteq M\) of codimension zero is an embedded submanifold iff \(S\) is an open submanifold.

A way to produce submanifolds: :::{.proposition} If \(F:N\to M\), then \(F(N)\) is a submanifold of \(M\) with the subspace topology and a unique smooth structure making \(F\) a diffeomorphism onto its image and \(F(N)\hookrightarrow M\) and embedding. :::

Thus every embedded submanifold is the image of an embedding, namely its inclusion.

Embedded submanifolds are exactly the images of smooth embeddings: :::{.proposition} The slices \(M\times\left\{{p}\right\}\) for \(p\in N\) are embedded submanifolds of \(M\times N\) diffeomorphic to \(M\). :::

For \(f:U\to N\) with \(U\subseteq M\), \[\begin{align*} \Gamma(f) \mathrel{\vcenter{:}}=\left\{{(x, f(x)) \in M\times N {~\mathrel{\Big|}~}x\in U}\right\} \hookrightarrow M\times N \end{align*}\] is an embedded submanifold.

Note: any manifold that is locally the graph of a smooth function is an embedded submanifold.

\(S\hookrightarrow M\) is a properly embedded submanifolds \(\iff\) \(S\) is a closed subset of \(M\). Thus every compact embedded submanifold is properly embedded.

The Slice Condition

Embedded submanifolds are locally modeled on the standard embedding \({\mathbb{R}}^k \hookrightarrow{\mathbb{R}}^n\) where \(\mathbf{x} \mapsto {\left[ {\mathbf{x}, \mathbf{0}} \right]}\).

\(S\subseteq M\) satisfies the local \(k{\hbox{-}}\)slice condition iff each \(s\in S\) is in the domain of a smooth chart \((U, \phi)\) such that \(S\cap U\) is a single \(k{\hbox{-}}\)slice in \(U\).

\(S\hookrightarrow M\) is an embedded \(k{\hbox{-}}\)dimensional submanifold \(\iff\) \(S\) satisfies the local \(k{\hbox{-}}\)slice condition. Moreover, there is a unique smooth structure on \(S\) for which this holds.

For manifolds with boundary, \({{\partial}}M \hookrightarrow M\) is a proper embedding. Every such manifold can be embedded in a larger manifold \(\tilde M\) without boundary.

Level Sets

For \(\phi:M\to N\) and \(c\in N\), \(\phi^{-1}(c)\) is a level set of \(\phi\).


Every closed \(S\subset M\) is the zero set of some smooth function \(M\to {\mathbb{R}}\).

For \(\phi: M\to N\) with constant rank \(r\), each level set of \(\phi\) is a properly embedded codimension \(r\) submanifold.

If \(\phi: M\to N\) is a smooth submersion, then the level sets are properly embedded of codimension \(\dim N\).

Every smooth submersion has constant rank equal to the dimension of the codomain.

Analogy: for \(L:{\mathbb{R}}^m\to {\mathbb{R}}^r\) a surjective linear map, \(\ker L \leq {\mathbb{R}}^m\) has codimension \(r\) by rank-nullity. Surjective linear maps are analogous to smooth submersions.

If \(\phi: M\to N\) is smooth, \(p\in M\) is a regular point if \(d\phi\) is surjective and a critical point otherwise. A point \(c\in N\) is a regular value if every point in \(\phi^{-1}(c)\) is a regular point, and a critical value otherwise. A set \(\phi^{-1}(c)\) is a regular level set iff \(c\) is a regular value.

Note that if every point of \(M\) is critical then \(\dim M < \dim N\), and every point is regular \(\iff\) \(F\) is a submersion. The set of regular points is always open.

Every regular level set of a smooth map \(\phi: M\to N\) is a properly embedded submanifold of codimension \(\dim N\).

If \(S\hookrightarrow M\) is an embedded submanifold, a defining map for \(S\) is the smooth map \(\phi: M\to N\) such that \(S\) is a regular level set of \(\phi\), if such a map exists.

Example: \(f(\mathbf{x}) = {\left\lVert {\mathbf{x}} \right\rVert}^2\) is the defining map for \(S^n\).

Not every embedded submanifold is the level set of a smooth submersion globally, but this does hold locally. I.e., every embedded submanifold admits a local defining map: :::{.proposition} \(S_k\hookrightarrow M_m\) is an embedded \(k{\hbox{-}}\)dimensional submanifold \(\iff\) every \(s\in S\) admits a neighborhood \(U\) such that \(U\cap S\) is the level set of a smooth submersion \(U\to {\mathbb{R}}^{m-k}\). :::

Immersed Submanifolds

Immersed submanifolds: more general than embedded submanifolds. Encountered when studying Lie subgroups, where subsets will be the images of injective immersions but not necessarily embeddings (example: figure eight curve).

A subset \(S\subseteq M\) equipped with some topology for which the inclusion \(S\hookrightarrow M\) is a smooth immersion is said to be an immersed submanifold.

Convention: smooth submanifolds always denote immersions, whereas embeddings are a special case.

Chapter 6: Sard’s Theorem