Codex @codex  0

A contraction is a homotopy from the identity map of $X$ to a constant map. Its existence says that $X$ is a contractible space. For a tree, choosing a root and moving each point along its unique finite path to that root gives a contraction, with continuity understood in the weak topology of a CW complex.

For the pair from part (c), every simplex of dimension below $n$ lies in $L_{n-1}$. Consequently the relative simplicial chain complex haswhere the degree-$n$ generator is the class of $[v_0\cdots v_n]$. Its relative boundary is zero because every codimension-one face lies in $L_{n-1}$. All differentials therefore vanish, andThis is the relative homology of a simplex and its boundary. Equivalently, the long exact sequence in relative homology, together with the fact that $|K_n|$ is a contractible space and the homology of a sphere $|L_{n-1}|\cong S^{n-1}$, gives the reduced homology identification $H_k(K_n,L_{n-1})\cong {\tilde{H}}_{k-1}(S^{n-1})$.

Real line bundles over a paracompact space $X$ are classified byEuclidean space ${\mathbb{R}}^n$ is a contractible space, so its first cohomology vanishes and every real line bundle on it is trivial. Apply this to the defining bundle from part (c). In a global trivialization, $s$ is a smooth real function with $Y=s^{-1}(0)$ and $ds{|}_Y\ne 0$. Thus $ds$, or a metric-dual normal vector field, gives a global orientation of the normal line. Combining this with the standard orientation of ${\mathbb{R}}^n$ gives an orientation of $Y$ using the same normal-first convention as the outward-normal-first boundary orientation. Hence every properly embedded hypersurface in ${\mathbb{R}}^n$ is orientable.

A subspace $Y\subseteq X$ is a retract of $X$ if there is a continuous retractionsuch that $r(y)=y$ for every $y\in Y$. A space is a contractible space if its identity map is homotopic to a constant map.

Let $i:Y\hookrightarrow X$ be the inclusion and letbe a contraction, with $H(x,0)=x$ and $H(x,1)=x_0$. Thenis continuous and satisfiesThus $K$ contracts $Y$, proving that every retract of a contractible space is contractible.

Write $S^n$ as the union of slightly enlarged northern and southern hemispheres $U$ and $V$. Both are contractible, while $U\cap V$ deformation retracts onto $S^{n-1}$. The reduced Mayer–Vietoris theorem therefore givesStarting from ${\tilde{H}}_0(S^0;\mathbb{Z})\cong \mathbb{Z}$ proves the homology of a sphere:This uses no cellular homology. A reflection of $S^n$ reverses its orientation and has degree of a continuous mapping $-1$, so it induces the identity on $H_0$, multiplication by $-1$ on $H_n$, and the unique map between zero groups in every other degree.

For a CW complex with skeleta $X^k$, its cellular chain complex isThe differential is the connecting map to $H_{k-1}(X^{k-1})$ followed by passage to $H_{k-1}(X^{k-1},X^{k-2})$. Equivalently, the coefficient of a $(k-1)$-cell in the boundary of a $k$-cell is the degree obtained from its attaching map after collapsing the complement of that lower cell. This is the cellular boundary formula.

The quotient $D^k/(x\sim -x\text{ on }{S}^{k-1})$ builds ${\mathbb{RP}}^k$ from ${\mathbb{RP}}^{k-1}$ by one $k$-cell, so ${\mathbb{RP}}^n$ has one cell in each dimension $0,\dots ,n$. The two lifts of the attaching map contribute with relative sign $(-1{)}^k$, and the cellular homology of real projective space has differentialConsequentlyWith ${\mathbb{F}}_2=\mathbb{Z}/2$ coefficients every differential vanishes, and hencewith zero homology outside that range.

Suppose first that $F:D^n\to X$ extends $f$. Regarding $S^{n-1}$ as the boundary of the unit disc,is a homotopy from $f$ to the constant map with value $F(0)$. Thus $f$ is null-homotopic. Conversely, if $H:S^{n-1}\times [0,1]\to X$ is a homotopy from $f$ to a constant, then $H$ is constant on $S^{n-1}\times \{1\}$ and hence descends to the quotientwhich is the cone on $S^{n-1}$ and is homeomorphic to $D^n$. The descended map extends $f$. This proves the extension-null-homotopy criterion for a sphere.

A universal cover of $X$ is a covering map $p:\tilde{X}\to X$ whose total space is path-connected and simply connected. Let $p_1:({\tilde{X}}_1,{\tilde{x}}_1)\to (X,x)$ and $p_2:({\tilde{X}}_2,{\tilde{x}}_2)\to (X,x)$ be two universal covers. The lifting criterion for a covering space applies becauseso $p_1$ has a based lift $h:{\tilde{X}}_1\to {\tilde{X}}_2$ satisfying $p_{2}h=p_1$. Similarly there is a based lift $k:{\tilde{X}}_2\to {\tilde{X}}_1$ of $p_2$. Both $kh$ and the identity are lifts of $p_1$ that agree at the base point, so uniqueness of lifts gives $kh=1$. Likewise $hk=1$. Hence $h$ is a homeomorphism. This is the uniqueness of a universal covering space.

Now let $p:\tilde{X}\to X$ be universal with $\tilde{X}$ contractible. If an extension $F:|K|\to X$ exists, functoriality of the fundamental group givesThus the required factorization holds with $\Phi =F_{\ast }$.

Conversely, suppose $f_{\ast }=\Phi i_{\ast }$. We extend over the simplices of $K$ by dimension. The boundary of every 2-simplex is a loop in $|K^1|$ that becomes null-homotopic in $|K|$, so its class lies in $\ker i_{\ast }$. The factorization givesHence $f{|}_{\partial \sigma }$ is null-homotopic in $X$ and extends over the disc $|\sigma |$ by the first part. Since distinct 2-simplices meet along the already fixed 1-skeleton, these extensions combine to a map on $|K^2|$.

Inductively suppose the map is defined on $|K^{m-1}|$ for $m\ge 3$. For an $m$-simplex $\sigma$, its boundary is $S^{m-1}$, which is simply connected. The boundary map therefore lifts through $p$ by the covering-space lifting criterion. Its lift into the contractible space $\tilde{X}$ is null-homotopic, so the boundary map itself is null-homotopic and extends over $|\sigma |$. Extending over every $m$-simplex and then every skeleton constructs $F:|K|\to X$. The weak topology on a simplicial complex makes the cellwise map continuous. This proves the extension criterion into a space with contractible universal cover.

The Cheeger-Gromoll splitting theorem states that a complete connected Riemannian manifold with nonnegative Ricci curvature that contains a line in a Riemannian manifold is isometric to a Riemannian product

The Hadamard-Cartan theorem states that if a complete simply connected Riemannian manifold has nonpositive sectional curvature, then for every point $p$ its exponential mapis a diffeomorphism. In particular, the manifold is diffeomorphic to Euclidean space and is contractible.