Codex @codex  0

Use integral homology throughout. The singular chain group $C_k(X)$ is free on the continuous maps from the standard $k$-simplex to $X$. Since the boundary operator preserves chains lying in $A$, these form a chain subcomplex. The relative chain complex and its relative homology areThe short exact sequence of chain complexes gives the long exact sequence in relative homology.

A sufficient hypothesis for the quotient comparison is a nonempty good pair: $A$ is closed and has an open neighbourhood $U$ which admits a deformation retraction onto $A$ while fixing $A$ throughout. A CW pair is another standard sufficient setting. These hypotheses hold for a simple closed curve in the surface here, using its annular collar neighbourhood. The induced quotient map $q:X\to Y=X/A$ collapses $A$ to a point $a$.

Here is the proof of the collapsing a pair theorem. Put $V=U/A\subset Y$. The deformation retraction makes $H_{\ast }(U,A)=0$, so the long exact sequence of the triple gives $H_{\ast }(X,A)\cong H_{\ast }(X,U)$. It also contracts $V$ onto $a$, giving $H_{\ast }(Y,\{a\})\cong H_{\ast }(Y,V)$. Because $A$ is closed inside the open neighbourhood $U$, excision givesSimilarly, excision of the closed point $a$ in the open set $V$ givesThe quotient map restricts to a homeomorphism between the two punctured pairs, so these are the same groups and the identifications commute with $q_{\ast }$. Finally $H_{\ast }(Y,\{a\})\cong {\tilde{H}}_{\ast }(Y)$, including degree zero. ThusThe neighbourhood condition is part of the result; the quotient assertion is not made for arbitrary bad pairs.

For the genus-two closed orientable surface with its chosen orientation, $H_0(X)=\mathbb{Z}$, $H_1(X)={\mathbb{Z}}^4$, $H_2(X)=\mathbb{Z}$, with higher groups zero. The curve has $H_0(A)=H_1(A)=\mathbb{Z}$. Its relevant long exact sequence in relative homology isThe final map is an isomorphism because both spaces are connected. Consequently $H_1(X,A)=\mathrm{coker}{i}_{\ast }$ and $H_0(X,A)=0$; all relative groups above degree two vanish. The quotient topological space is connected, so its unreduced $H_0$ is $\mathbb{Z}$.

In the separating case, the curve is the oriented boundary of one of the two subsurfaces. Its homology class in $X$ is therefore zero, so $i_{\ast }=0$. The exact sequence becomesThe first sequence splits since its quotient is a free abelian group. Hence the homology after collapsing a separating surface curve isGeometrically, collapsing the boundary of each once-punctured torus fills its puncture with a cone on the circle, which is a disk. The quotient is a wedge sum of two tori at the collapsed point. Their two independent fundamental classes explain the extra second-homology generator.

In the nonseparating case, join the two new boundary components of the cut surface by an arc. Upon regluing, this supplies a closed curve meeting $A$ once transversely. The signed intersection pairing on an oriented surface therefore provides an integer homomorphism $H_1(X)\to \mathbb{Z}$ taking $[A]$ to $\pm 1$. Thus $[A]$ is a nonzero primitive homology class, and $i_{\ast }:\mathbb{Z}\to {\mathbb{Z}}^4$ is an injection onto a direct summand. Its kernel is zero and its cokernel is ${\mathbb{Z}}^3$. The same exact sequence gives $H_2(X,A)\cong H_2(X)\cong \mathbb{Z}$. Therefore the homology after collapsing a nonseparating surface curve isAnother description starts from the genus-one surface with two boundary circles. Collapse those two circles separately to obtain a closed torus with two marked points, then identify the two points. Identifying two distinct points in a connected CW complex adds a loop up to homotopy, so this quotient has the homotopy type of $T^2\vee S^1$. The preceding relative homology calculation proves the groups without requiring that homotopy description.

For a CW complex $X$, let $X^k$ be its $k$-skeleton. The cellular chain complex isThe isomorphism uses excision and $H_k(D^k,S^{k-1})\cong \mathbb{Z}$, after choosing an orientation for each cell. In degree zero, take $X^{-1}=\varnothing$ and the free group on the vertices. The differential is the compositeThe long exact sequences of skeleton pairs imply $d_{k-1}{d}_k=0$. The cellular boundary formula describes its coefficient at a $(k-1)$-cell as the mapping degree of the attaching sphere after all other $(k-1)$-cells are collapsed. In degree one this is the signed difference of the two endpoints. The cellular homology theorem identifies the homology of this complex with singular homology: relative homology of successive skeletons is concentrated in their cell dimension, and the exact skeleton sequences leave precisely these kernels modulo images. This is the construction, rather than merely a count of cells.

The filtration ${\mathbb{CP}}^0\subset {\mathbb{CP}}^1\subset {\mathbb{CP}}^2$ gives one cell in each of dimensions zero, two and four, since ${\mathbb{CP}}^k\setminus {\mathbb{CP}}^{k-1}\cong {\mathbb{C}}^k$. There are no odd-dimensional cells, so every cellular differential vanishes. ThusThe complex projective line has one zero-cell and one two-cell. Its product with itself has one zero-cell, two two-cells and one four-cell. Its cellular chain complex again has zero differentials, givingA homeomorphism induces isomorphisms on homology groups. The second groups have different ranks, and therefore

Now orient the Complex projective plane by its complex coordinates. The inclusion of its two-skeleton ${\mathbb{CP}}^1$ identifies the fundamental class of a projective line with a generator $h$ of $H_2({\mathbb{CP}}^2;\mathbb{Z})\cong \mathbb{Z}$: the cellular generator has no incoming three-cell boundary and no outgoing boundary.

Take the projective lines $L_0=\{z_2=0\}$ and $L_1=\{z_1=0\}$. A path of unitary coordinate transformations takes one to the other, so their oriented homology classes are both $h$. They meet in the single point $[1:0:0]$. In its affine chart, let $w=z_1/z_0$ and $v=z_2/z_0$. Their tangent spaces are the complex $w$-axis and complex $v$-axis, so the intersection is a transverse intersection. The ordered real basesconcatenate to the complex orientation of the ambient four-manifold. Thus the local sign is $+1$, andThis computes the intersection form using distinct representatives of the same class, avoiding an ill-defined attempt to count a line intersecting itself as a set. Bilinearity now givesEquivalently, the map $H_2\to \mathrm{Hom}(H_2,\mathbb{Z})$ sending $a$ to $\lambda (a,-)$ is an isomorphism. This is exactly a unimodular intersection pairing, and proves projective lines generate a unimodular intersection form. Reversing the ambient orientation would change the matrix to $(-1)$ and would still be unimodular.

For $n\ge 1$, let $\#$ denote concatenation in the first cube coordinate and let $\cdot$ denote pointwise multiplication of maps into the topological group. Both operations descend to the homotopy group, and the constant map is their common identity. They satisfy the interchange rulewhich follows by considering the two halves of the first coordinate. Using the identity class $0$ givesTherefore $[\alpha \beta ]=[\alpha ]+[\beta ]$. The equality is on based homotopy classes; the usual reparametrization homotopies justify the unit identities for concatenation. This is the Eckmann-Hilton argument, and proves homotopy-group addition in a topological group even for $n=1$.

For the unit quaternions, the explicit inverse isBoth compositions cancel in the displayed order, without commuting the quaternions. Multiplication, inversion and all integer powers are continuous, so this proves that ${\Phi }_{k,l}$ is a homeomorphism for all integers $k,l$.

Put $m=k+l$. Let $a,b$ be the standard generators of $H_3(S^3\times S^3;\mathbb{Z})$, represented by the first and second factors. The previous pointwise-multiplication result and the Hurewicz theorem imply that the mapping degree of $q\mapsto q^m$ on $S^3$ is $m$, including negative integers. Restricting $\Phi$ to the two factors therefore givesThe map on $H_0$ is the identity. For the top homology group, take the dual degree-three cohomology classes $x,y$. We have ${\Phi }^{\ast }x=mx+y$, ${\Phi }^{\ast }y=x$. Since these classes have odd degree, graded commutativity of the cup product givesThus ${\Phi }_{\ast }$ is multiplication by $-1$ on $H_6$, and all other homology groups of the product are zero.

For the gluing, regard $\Phi$ as the attaching identification from $\partial (D^4\times S^3)$ to $\partial (S^3\times D^4)$. In these coordinates its first input is the boundary coordinate of $D^4$, its second input the fibre coordinate; its second output is the boundary coordinate of the other $D^4$. This makes the two pieces the usual two trivializations of a three-sphere bundle over the four-sphere.

Let $A=S^3\times D^4$ and $B=D^4\times S^3$, and parametrize their common boundary $T=S^3\times S^3$ using the $B$ coordinates. Collar neighbourhoods give an open cover with the same homotopy types, so the Mayer–Vietoris sequence applies. Both pieces retract onto $S^3$. In degree three, the map into the homology of the pieces isIndeed, inclusion into $A$ retains the first output coordinate, while inclusion into $B$ retains the second input coordinate. Exactness now givesThe second relation eliminates the second generator of the cokernel, leaving a single generator with relation $m$ times that generator equal to zero. Thus $\mathrm{coker}L=\mathbb{Z}/m\mathbb{Z}$. The kernel is zero if $m\ne 0$ and is generated by $(1,0)$ if $m=0$.

The degree-six boundary class gives $H_7(X_{k,l})\cong H_6(T)=\mathbb{Z}$. All remaining positive-degree groups outside degrees $3,4,7$ vanish by the same Mayer–Vietoris sequence; connectedness gives $H_0=\mathbb{Z}$. Consequently the complete integral answer isHere $\mathbb{Z}/0\mathbb{Z}$ means $\mathbb{Z}$, and a negative $m$ gives the same cyclic group as $|m|$. In particular, $m=\pm 1$ gives the integral homology of a seven-sphere, while $m=0$ gives the integral homology of $S^3\times S^4$.

An $n$-dimensional smooth manifold is a Hausdorff space with a countable topological base, equipped with a smooth atlas of homeomorphisms from open subsets onto open subsets of ${\mathbb{R}}^n$, whose overlap maps are smooth diffeomorphisms. The smooth structure is the maximal smooth atlas compatible with these manifold charts. Here manifolds have no boundary unless specified otherwise.

For a space with all the requested topological properties but no such atlas, take the topological tripod: three closed intervals joined at one endpoint. It is a compact connected subspace of the plane with its induced metric. A countable base of planar rational balls restricts to a countable base, the metric makes it Hausdorff, and compactness gives a finite subcover of every open cover, hence a locally finite refinement and paracompactness.

At an interior point of any arm, arbitrarily small neighborhoods are intervals. A coordinate ball in dimension at least two would remain connected after deleting its center; an interval does not. Dimension zero would make the space discrete. Thus any possible connected manifold structure would have dimension one. But a sufficiently small neighborhood of the junction, minus the junction, has three components, whereas an interval chart has two. This contradiction rules out even a topological manifold structure, and hence any smooth one.

The product smooth structure uses manifold charts $(\varphi ,\psi ):U\times V\to \varphi (U)\times \psi (V)\subset {\mathbb{R}}^{m+n}$. Transition maps act separately in the two coordinate blocks and are smooth with smooth inverses. Products of countable bases give a countable base, and the product remains Hausdorff. Therefore $\boxed{\dim (M\times N)=\dim M+\dim N}$ with this natural smooth structure.

Define the tangent space by point derivations: a tangent vector at $x$ is an $\mathbb{R}$-linear map $D$ on germs of smooth functions at $x$, satisfying $D(ab)=a(x)D(b)+b(x)D(a)$. Addition and scalar multiplication preserve this rule, so these derivations form a vector space. In coordinates $u^1,\dots ,u^n$, the local identityfollows by integrating the derivative of $h$ along the coordinate line segment. Derivations annihilate constants, so it gives $Dh={\sum }_{i}D(u^i){\partial }_{i}h(u(x))$. The coordinate derivations ${\partial }_i{|}_x$ are independent since they evaluate the coordinate functions as ${\delta }_i^j$. ThusFor a smooth map, define the differential of a smooth map intrinsically by $(f_{\ast }D)(h)=D(h\circ f)$. It is again linear and satisfies the derivation rule at $f(x)$, so it maps $T_{x}M$ into $T_{f(x)}N$. Its coordinate matrix is the Jacobian of the coordinate expression of $f$, independently of the charts by the intrinsic definition and chain rule.

Finally, a zero differential forces each target coordinate function to have all derivatives zero on a small connected source coordinate ball mapping into one target chart. Integration on straight segments makes those functions constant there. Hence $f$ is locally constant. Each nonempty fiber is both open and closed, so connectedness gives the zero-differential constancy theorem, $\boxed{f\text{ is constant}}$.

Use the intrinsic boundary of a simply connected domain, so different approaches to the two sides of a slit remain distinct. The mapping-out function $g_K$ extends as a homeomorphism from this intrinsic compactification to that of the complex upper half-plane. Set $T=T(H)$. The imaginary coordinate of planar Brownian motion hits zero in finite time almost surely, and $T$ is no larger than that time. Thus $T<\infty$ and continuity gives a finite Euclidean exit point.

By conformal invariance of planar Brownian motion, $g_K(B_t)$ is a planar Brownian motion in the complex upper half-plane, run with clockThe terminal clock cannot be infinite: that would make the transformed Brownian motion stay in the upper half-plane forever. It cannot stop while the transformed path is in the interior either, since continuity of $g_K^{-1}$ would then put the original exit point inside $H$. Hence the terminal clock is precisely the transformed Brownian exit time. The transformed path converges to a real boundary point, and applying the extended inverse proves almost sure convergence to a point of the intrinsic boundary.

Write $g_K(x+iy)=u+iv$, and let $E=g_K(S)\cap \mathbb{R}$. The point at infinity has zero harmonic measure. Conformal invariance of planar Brownian motion and the Poisson kernel for the upper half-plane giveThe hydrodynamic normalization at infinity gives $g_K(z)=z+O(1/z)$, so along the specified approach $v/y\to 1$ and $u/y\to 0$. For each fixed real $t$,If $\mathrm{Leb}(E)<\infty$, dominated convergence applies because $y/v$ is eventually bounded. If $\mathrm{Leb}(E)=\infty$, Fatou's lemma makes the limit infinite. This proves the harmonic-measure asymptotic at infinitywith the equality understood in the extended nonnegative reals.

For topological spaces, continuity means that $f^{-1}(V)$ is open in $X$ for every open set $V$ in $Y$. Equivalently, inverse images of closed sets are closed. A homeomorphism is a bijection for which both the map and its inverse are continuous.

True. Let $g=f^{-1}$. For every open $U\subseteq X$,which is open in $Y$ because $f$ is an open map. Thus $g$ is continuous. Together with the given continuity and bijectivity of $f$, this establishes a homeomorphism. This is inverse continuity from an open bijection.

False. Give $X=\mathbb{R}$ the discrete topology and $Y=\mathbb{R}$ its usual topology. The identity bijection $f:X\to Y$ is continuous because every inverse image is a subset of the discrete space and hence is open. But $f^{-1}:Y\to X$ is not continuous: the open set $\{0\}$ of $X$ has inverse image $\{0\}$, not open in $Y$. Thus a continuous bijection need not be a homeomorphism.

An embedded surface parametrization is a smooth map $F:U\subset {\mathbb{R}}^2\to {\mathbb{R}}^3$, with open $U$, injective differential of rank two at each point, and $F$ a homeomorphism onto its image with the subspace topology. Its induced metric isIn coordinates, an arc-length-parametrized geodesic satisfieswhere the Christoffel symbols are ${\Gamma }_{ij}^k=\frac{1}{2}{g}^{k\ell }({\partial }_i{g}_{j\ell }+{\partial }_j{g}_{i\ell }-{\partial }_{\ell }{g}_{ij})$. The normalization fixes unit speed; it is compatible with the differential equations because geodesic speed is constant.

For the cone use $F(r,\theta )=(r\cos \theta ,r\sin \theta ,\sqrt{3}r)$, $r>0$, restricting $\theta$ to a suitable open interval for a chart. Direct differentiation gives its first fundamental formWith $\rho =2r$ and $\varphi =\theta /2$, this becomes $d{\rho }^2+{\rho }^{2}d{\varphi }^2$, the Euclidean metric in polar coordinates. The map $(r,\theta )\mapsto (2r\cos (\theta /2),2r\sin (\theta /2))$ is therefore a local isometry. It is local rather than global because increasing $\theta$ by $2\pi$ increases $\varphi$ by $\pi$.

Given two points, choose their angle representatives so that $|{\theta }_2-{\theta }_1|\le \pi$. Their developed plane angles then differ by at most $\pi /2$. The straight segment between their developed positions stays away from the origin: it lies in an angular sector of width at most $\pi /2$ containing both positive-radius endpoints. Develop that segment back onto the cone. Since local isometries preserve geodesics, it gives a geodesic joining the two points; it can be parametrized by arc length. This constructs geodesics on a punctured circular cone. For a repeated point the constant curve is the degenerate geodesic. In particular, this argument does not appeal to completeness of the punctured cone.

The joining geodesic need not be unique. For endpoints with equal positive radius and opposite azimuth, one may use the angular changes $+\pi$ and $-\pi$. In the plane these give two straight segments from $(\rho ,0)$ to $(0,\rho )$ and $(0,-\rho )$, respectively. Both avoid the origin. Their lifts pass on opposite sides of the cone and have distinct images, so a reparametrization cannot identify them.

Construct the free product from the empty word and all finite alternating words $g_1\cdots g_k$, whose syllables in a free product are nonidentity elements of tagged copies of $G_1,G_2$, with adjacent syllables from different factors. Multiply by concatenating, multiplying adjacent elements in the same factor, and deleting identities until the word is reduced. The normal form theorem for a free product gives a unique result; reducing three concatenated words gives the same result under either parenthesization, so multiplication is associative. The empty word is the identity, and the inverse reverses the word and inverts each syllable. Each factor embeds as words of length one.

The universal property of a free product says that for every group $K$ and group homomorphisms $f_i:G_i\to K$ there is a unique group homomorphism $f:G_1\ast G_2\to K$ extending both. Explicitly, send a reduced word to the product of its syllable images; reduction preserves this product. This gives existence, while generation by the two factors gives uniqueness.

A standard form of Klein's combination theorem, or the ping-pong lemma, is the following. Let nontrivial subgroups $G_1,G_2$ of the homeomorphisms of a topological space $X$ have disjoint nonempty subsets $X_1,X_2$ withAssume also that at least one factor has at least three elements. Then the generated subgroup is $\boxed{⟨G_1,G_2⟩\cong G_1\ast G_2}$. The cardinality hypothesis cannot simply be omitted: the same involution swapping two disjoint sets would otherwise provide a counterexample with both factors equal to $C_2$.

Here is the ping-pong lemma proof. A reduced word of odd length begins and ends in the same factor, so repeated application of the displayed inclusions sends the other factor's domain into that factor's domain. Disjointness shows that the word is not the identity. For an even reduced word, relabel the factors so that $|G_1|\ge 3$, and invert the word if necessary to make it begin with $g\in G_1$ and end in $G_2$. Choose $s\in G_1\setminus \{1,g^{-1}\}$. The conjugate $sw{s}^{-1}$ reduces to an odd-length word beginning with $sg\ne 1$ and ending with $s^{-1}$, both in $G_1$, so it is nontrivial. Thus no nonempty reduced word lies in the kernel of the natural group homomorphism $G_1\ast G_2\to ⟨G_1,G_2⟩$, proving the theorem.

For an explicit example, let $X=\mathbb{R}\cup \{\infty \}$ be the one-dimensional Real projective space, and take the Möbius transformationsFor every nonzero integer $n$, $A^n(t)=t+2n$ sends $X_2$ into $X_1$, while $B^n(t)=t/(2nt+1)$ sends $X_1$ into $X_2$. Indeed $|2nt+1|>|t|$ when $|t|>1$, and $B^n(\infty )=1/(2n)$. Both transformations have infinite order. Hence the ping-pong lemma gives $\boxed{⟨A,B⟩\cong \mathbb{Z}\ast \mathbb{Z}=F_2}$, a free product of two nontrivial finitely presented groups.

A finitely presented group admits a group presentation $⟨S\mid R⟩$ with both $S$ and $R$ finite; it is the quotient of the free group on $S$ by the normal closure of $R$. Ifwith disjoint generator sets, thenMaps from this group presentation to any group are exactly pairs of maps from $G$ and $H$, so the universal property of a free product proves the formula.

For a group homomorphism $\varphi :H\to \mathrm{Aut}(G)$, choose a word $w_{t,s}(S)$ representing $\varphi (t)(s)$ for each $t\in T,s\in S$. The presentation of a semidirect product isThe presentation maps onto the specified semidirect product. Conversely, its conjugation relations allow any word to be written as a word from $G$ followed by one from $H$. The natural maps from the two factors to the presented group satisfy the full action relation, because conjugation agrees with $\varphi$ first on generators and hence on all elements. They define the reverse group homomorphism $(g,h)\mapsto gh$. The two maps are inverse on every generator, proving the group isomorphism. There are finitely many cross-relations, so the result is again a finitely presented group.

Apply this to the specified permutation action. The presentation isEliminate $y=cx{c}^{-1}$ and $z=c^{2}x{c}^{-2}$. The last cross-relation becomes $c^{3}x{c}^{-3}=x$, already implied by $c^3=1$. ThusBoth factors are nontrivial finitely presented groups, as required.

Rescale the ambient coordinates by $q_i=a_i{r}_i$. For each $i\in \{1,\dots ,n+1\}$ and $\epsilon \in \{1,-1\}$, take the relatively open set $U_i^{\epsilon }$ where $\epsilon q_i>0$. Define a manifold chart by retaining all the $q_j$ except $q_i$:Here $B^n$ is the open unit open unit ball. The inverse of this manifold chart is explicit:The coordinate labels in $x$ retain their original indices. All the $a_i$ are nonzero, so this inverse exists; the strictly positive radicand makes it smooth on the whole open open unit ball. Projection and this inverse are continuous, so each manifold chart is a homeomorphism onto an open subset of ${\mathbb{R}}^n$.

These $2(n+1)$ manifold charts cover the ellipsoid, because at every point at least one $q_i$ is nonzero. On an overlap with a different chart $U_j^{\eta }$, the coordinates of ${\varphi }_j^{\eta }\circ ({\varphi }_i^{\epsilon }{)}^{-1}$ are the retained $x_k$ for $k\ne i,j$ together withIts domain is the open subset $\eta x_j>0$ of $B^n$. The displayed functions, and the reverse transition functions obtained by exchanging $i,j$, are smooth. Transitions between identical charts are the identity; opposite-sign charts with the same omitted coordinate do not overlap. The ambient subspace topology is Hausdorff and second countable, as it is inherited from Euclidean space. Thus this coordinate-projection atlas of an ellipsoid is a smooth atlas, proving the ellipsoid is a smooth manifold of dimension $n$. The rescaling $r\mapsto q$ also gives a diffeomorphism with the unit sphere $S^n$.

For the three-sphere, use its identification with SU(2) rather than separate local constructions. With the Pauli matrices ${\tau }_i$, put $T_i=-i{\tau }_i$. These form a real basis of the SU(2) Lie algebra and satisfyFor $q_0^2+q_1^2+q_2^2+q_3^2=1$, the identification SU(2) as the three-sphere isThe matrix is unitary with determinant one. Conversely, every SU(2) matrix has this form, and both the correspondence and its inverse are smooth.

The left translations $L_g(h)=gh$ are diffeomorphisms. Define three left-invariant vector fields byMatrix multiplication makes these vector fields smooth globally. Since $(d{L}_g{)}_e$ is an isomorphism from the SU(2) Lie algebra to $T_g\mathrm{SU}(2)$, the three vectors are linearly independent at every point, and each is nowhere zero. This is the parallelization of a Lie group by left translations.

Transporting the left-invariant vector fields to the three-sphere gives the quaternionic left-invariant frame on the three-sphere:Directly, $q\cdot X_i=0$ and $X_i\cdot X_j={\delta }_{ij}$ on the unit three-sphere. Thus the vectors are tangent and form a global orthonormal frame of a vector bundle. The three-sphere is a parallelizable manifold, with tangent bundle $T{S}^3\cong S^3\times {\mathbb{R}}^3$.

All vector spaces in this solution are complex, while convex combinations use real coefficients. An extreme point $x$ of a convex set $C$ is one for which $x=ty+(1-t)z$, $y,z\in C$ and $0<t<1$, forces $y=z=x$. Equivalently, $x$ is not the midpoint of two distinct points of $C$.

The Krein-Milman theorem says that every nonempty compact convex set $K$ in a Hausdorff locally convex space is the closed convex hull of its extreme points. Here is a proof. A face of a convex set $F\subseteq K$ is a convex set such that whenever an interior point of a segment in $K$ belongs to $F$, both endpoints belong to $F$. Consider nonempty compact faces, ordered by reverse inclusion. A chain has nonempty intersection by compactness and the finite intersection property; that intersection is again a compact face. The Zorn lemma therefore gives a minimal nonempty compact face $F$.

If $F$ contains distinct $x,y$, a continuous real linear functional $\ell$ on the underlying real locally convex space distinguishes them. Such a linear functional exists because the space is Hausdorff and locally convex, by the Hahn-Banach theorem. The maximizers of $\ell$ on $F$ form a nonempty proper compact face of $F$. A face of a face is a face of $K$, contradicting minimality. Therefore $F$ is a singleton, yielding an extreme point. The same argument inside any nonempty compact face of $K$ supplies an extreme point of $K$ lying in that face.

Let $D$ be the closed convex hull of the extreme points of $K$. It is a nonempty closed subset of compact $K$, hence compact. If $x_0\in K\setminus D$, the Hahn-Banach separation theorem provides a continuous real linear functional $\ell$ with $\ell (x_0)>{\sup }_D\ell$. Its maximizer set on $K$ is a nonempty compact face, which contains an extreme point $e$ of $K$. But $e\in D$ and $\ell (e)\ge \ell (x_0)>{\sup }_D\ell$, a contradiction. Thus $\boxed{K=\overline{\mathrm{co}}(\mathrm{ext}K)}$, proving Krein-Milman theorem.

For a nonempty compact Hausdorff space $K$, the extreme points of the dual unit ball of C(K) areThis is the permitted description without proof, with $C(K)$ denoting the complex space of continuous functions on a compact space equipped with the supremum norm. If $K$ is empty, $C(K)=\{0\}$ and the closed unit ball of its continuous dual space has the single extreme point $0$ instead.

The complex Banach–Stone theorem states that a surjective complex-linear isometric isomorphism of normed spaces $T:C(K)\to C(L)$ has the formwhere $u\in C(L)$ and $\phi :L\to K$ is a homeomorphism. Conversely, every such map is a surjective complex-linear isometric isomorphism of normed spaces for the supremum norm.

To prove this, suppose first that $K,L$ are nonempty. The Banach-space adjoint $T^{\ast }$ is a bijective isometric isomorphism of normed spaces on the continuous dual spaces, so it bijects their closed unit balls and preserves extreme points. The displayed extreme point description gives uniquelyUniqueness follows by evaluating at the constant function $1$, and then using that continuous functions separate points of a compact Hausdorff space. Evaluation gives the required formula for $Tf$, and $u=T1$ is continuous. Surjectivity of $T^{\ast }$ on extreme points proves surjectivity of $\phi$: the preimage of any ${\delta }_x$ is $\alpha {\delta }_y$ for some $y$. If $\phi (y_1)=\phi (y_2)$, every function in the range of $T$ has equal values at these two points after division by $u$; surjectivity of $T$ and separation of points force $y_1=y_2$. Thus $\phi$ is bijective.

For every $f\in C(K)$, $f\circ \phi =(Tf)/u$ is continuous. The evaluation map $K\to {\mathbb{C}}^{C(K)}$, $x\mapsto (f(x){)}_f$, is a continuous injection of a compact Hausdorff space into a Hausdorff product topology, hence a homeomorphism onto its image. Continuity of every coordinate $f\circ \phi$ proves continuity of $\phi$. A continuous bijection between compact Hausdorff spaces is a homeomorphism. Conversely the weighted-composition formula plainly preserves the supremum norm, and its inverse isIf one compact space is empty, a surjective isometric isomorphism of normed spaces forces the other to be empty, and the empty homeomorphism gives the corresponding trivial case. This completes Banach–Stone theorem.

Neither the space of sequences converging to zero $c_0$ nor $L^1[0,1]$ can be isometrically a continuous dual space of a Banach space. Indeed, every nonzero continuous dual space has a nonempty weak-star compact closed unit ball by Banach-Alaoglu theorem, and Krein-Milman theorem then guarantees an extreme point. A bijective linear isometry preserves extreme points of closed unit balls.

The closed unit ball of $c_0$ has no extreme points. Given $x\in c_0$ with $\Vert x{\Vert }_{\infty }\le 1$, choose $n$ with $|x_n|<1$ and $0<\epsilon <1-|x_n|$. The two distinct elements $x\pm \epsilon e_n$ remain in that closed unit ball and have midpoint $x$.

The closed unit ball of the complex Lp space $L^1[0,1]$ also has no extreme points. An element of norm less than one can be perturbed by a sufficiently small nonzero Lp space element in both directions. If $\Vert f{\Vert }_1=1$, the non-atomic measure $|f(t)|dt$ admits a measurable set $A$ of mass $1/2$; for example the continuous function $s\mapsto {\int }_0^s|f(t)|dt$ attains $1/2$. Put $h=f(1_A-1_{A^c})$. For $0<\epsilon <1$, the distinct functions $f\pm \epsilon h$ both have Lp normwith the two coefficients interchanged for the minus sign. Their midpoint is $f$. Thus neither proposed space is isometrically a Banach dual.

Finally, $[0,1]$ is a connected space, whereas $[0,1]\cup [2,3]$ is disconnected. They cannot be homeomorphic. By Banach–Stone theorem, $C[0,1]$ and $C([0,1]\cup [2,3])$ are not isometrically isomorphic as complex Banach spaces.

Work over $\mathbb{C}$ and take a nonzero commutative unital Banach algebra $A$, with $\Vert 1\Vert =1$. A character of an algebra is a nonzero multiplicative complex linear functional $\chi :A\to \mathbb{C}$. It satisfies $\chi (1)=1$. Moreover $\chi (a)\in {\sigma }_A(a)$: otherwise $a-\chi (a)1$ would be invertible, although its image under $\chi$ is zero. The bound on the spectrum of an element therefore gives $|\chi (a)|\le \Vert a\Vert$, proving automatic continuity of characters and $\Vert \chi \Vert =1$.

Every proper maximal ideal $M$ of $A$ is closed. Indeed its closure is an ideal; if this closure were all of $A$, $M$ would contain an element within distance less than one of $1$. Such an element is invertible by the Neumann series, forcing $1\in M$. Thus the closure is proper and maximality makes it equal to $M$. The quotient Banach space $A/M$, with its quotient Banach algebra structure, is a complex normed division algebra. By the Gelfand-Mazur theorem, it is $\mathbb{C}$, so the quotient map gives a character of an algebra with kernel $M$. Conversely, the kernel of every character of an algebra is a maximal ideal, since the character is onto $\mathbb{C}$. The Zorn lemma supplies a maximal ideal containing every proper ideal, so the character space of an algebra $\Delta (A)$ is nonempty.

These facts give the exact relation between the character space and the spectrum of an element:One inclusion was proved above. For the other, if $a-\lambda 1$ is noninvertible, the principal ideal it generates is proper because $A$ is commutative. Contain it in a maximal ideal and use its corresponding character of an algebra to obtain $\chi (a)=\lambda$.

Give $\Delta (A)$ the Gelfand topology, namely its subspace topology from the weak-star topology on $A^{\ast }$. In the closed unit ball of $A^{\ast }$, it is the intersection of the closed conditionsConsequently Banach-Alaoglu theorem makes $\Delta (A)$ a compact Hausdorff space. For every $a\in A$, define the Gelfand transform $\hat{a}(\chi )=\chi (a)$. This is a continuous function on $\Delta (A)$ by definition of the Gelfand topology. The Gelfand representation theorem gives a contractive unital algebra homomorphism over a fieldMultiplicativity and linearity follow by evaluating at each character of an algebra; the supremum norm equality follows from the preceding spectrum of an element identity. Its kernel isthe Jacobson radical. Equivalently, its elements have spectrum of an element $\{0\}$. Thus $\Gamma$ is injective precisely when $A$ is a semisimple commutative Banach algebra, and it gives a faithful continuous representation of $A/\mathrm{rad}A$ as a function algebra. Its range contains the constants and separates points of $\Delta (A)$, because distinct characters of an algebra differ on some $a$. An arbitrary Banach algebra need not have an isometric or surjective Gelfand transform, nor a uniformly dense range: those conclusions require further hypotheses.

For the Banach algebra $C(K)$ on a nonempty compact Hausdorff space $K$, all characters of an algebra are evaluation characters. To see this, let $M$ be a maximal ideal. If its elements had no common zero, compactness would supply $f_1,\dots ,f_n\in M$ with no common zero. The continuous function $h={\sum }_i\overline{f_i}{f}_i$ belongs to $M$, is strictly positive on $K$, and has a continuous reciprocal. It is therefore invertible, a contradiction. Hence all elements of $M$ vanish at some $x\in K$, so $M\subseteq \ker {\delta }_x$ and maximality gives equality. The associated character of an algebra must be ${\delta }_x$: since $f-f(x)1\in M$, its value on $f$ is $f(x)$.

The map $x\mapsto {\delta }_x$ is a continuous bijection $K\to \Delta (C(K))$, using separation of points by continuous functions. Compactness and the Hausdorff property make it a homeomorphism. Under this identification the Gelfand transform is $\boxed{\hat{f}({\delta }_x)=f(x)}$, so it is the identity representation of $C(K)$, in particular an isometric onto map. The empty $K$ gives the zero algebra, whose empty character space represents the zero function space; it was excluded by the nonzero unital convention above.

Now let $A$ be a commutative unital C-star algebra. The stronger conclusion is the Commutative Gelfand--Naimark theorem: the Gelfand transform is an isometric onto C-star homomorphism $A\cong C(\Delta (A))$. We prove the additional assertions without assuming this conclusion.

First every character of an algebra respects the C-star algebra involution. If $h=h^{\ast }$, the elements $e^{ith}$, $t\in \mathbb{R}$, are unitary elements of a C-star algebra, and their norm is one by the C-star identity. Continuity and multiplicativity give $\chi (e^{ith})=e^{it\chi (h)}$. Thus $|e^{it\chi (h)}|\le 1$ for every real $t$, forcing $\chi (h)$ to be real. Writing $a=h+ik$ with $h=(a+a^{\ast })/2$ and $k=(a-a^{\ast })/(2i)$ self-adjoint gives $\chi (a^{\ast })=\overline{\chi (a)}$. Therefore the range of $\Gamma$ is closed under complex conjugation.

Every element of commutative $A$ is a Normal element of a C-star algebra. For a normal $b$, use the C-star identity, and then the same identity for the self-adjoint element $b^{\ast }b$, to obtainIts powers are also normal, so $\Vert a^{2^n}\Vert =\Vert a{\Vert }^{2^n}$. The spectral radius formula gives $r(a)=\Vert a\Vert$, hence $\Vert \hat{a}{\Vert }_{\infty }=\Vert a\Vert$. The Gelfand transform is therefore an isometry, and its range is complete and closed in the supremum norm. It contains constants, separates points and is closed under complex conjugation. The complex Stone-Weierstrass theorem makes that range dense, hence all of $C(\Delta (A))$.

The approximation step in Stone-Weierstrass theorem can also be seen directly here. For a unital conjugation-closed point-separating subalgebra $B\subseteq C(K)$, the real-valued part of its uniform closure is closed under absolute values, by polynomial approximation to $|t|$ on bounded intervals, hence under pointwise maxima and minima. Its real-valued functions separate points. Given real $f\in C(K)$ and $\epsilon >0$, for each $x,y$ an affine rescaling of a separating function produces $b_{x,y}$ agreeing with $f$ at $x,y$; take a constant when $x=y$. For fixed $x$, finitely many neighbourhoods of $y$ where $b_{x,y}>f-\epsilon$ cover $K$. Their maximum $b_x$ exceeds $f-\epsilon$ everywhere and agrees with $f$ at $x$, hence is less than $f+\epsilon$ near $x$. Finitely many of these latter neighbourhoods cover $K$; the minimum of their $b_x$ lies between $f-\epsilon$ and $f+\epsilon$ everywhere. Approximate real and imaginary parts separately. This proves the density used above and completes the C-star algebra conclusion.

Sperner's lemma says that a triangulated triangle whose vertices are labelled $1,2,3$, with each outer vertex having its own label and each boundary edge using only its endpoint labels, contains a small triangle with all three labels. In fact the number of such triangles is odd. Count incidences of small triangles with edges labelled $1,2$. Interior edges contribute twice. On the outer $1,2$ edge, the number of changes between these labels is odd; the other two outer edges contribute zero. A small triangle contributes one incidence if it has all three labels, two if it uses both $1,2$ but not $3$, and zero otherwise. The total parity proves the assertion.

The resulting no-retraction theorem is: there is no continuous retraction of a closed disc onto its boundary. Work first with a closed triangle $P$. If $r:P\to \partial P$ fixes the boundary, colour each vertex of increasingly fine triangulations by an index of a largest barycentric coordinate of $r(v)$. The largest coordinate is at least $1/3$; on the boundary the colouring satisfies Sperner's lemma. Choose a tricoloured small triangle in each triangulation. By compactness and shrinking mesh, a subsequence of their three vertices converges to one point $x$. Continuity forces all three barycentric coordinates of $r(x)$ to be at least $1/3$, so $r(x)$ is the triangle's centre, contradicting $r(x)\in \partial P$. A homeomorphism of a disc with $P$ proves the disc assertion.

Brouwer fixed-point theorem states that every continuous self-map $F$ of a closed disc has a fixed point. If it had none, the ray from $F(x)$ through $x$ would meet the boundary beyond $x$, continuously in $x$. That intersection defines a retraction, since a boundary point is already the outgoing intersection. This contradicts the no-retraction theorem.

Finally fix $y\in {\mathbb{R}}^2$ and define $F_y(x)=y+x-g(x)$. The displacement bound implies $\Vert F_y(x)-y\Vert \le K$, so $F_y$ maps the closed radius-$K$ disc centred at $y$ into itself. Brouwer fixed-point theorem gives $F_y(x)=x$, which is exactly $g(x)=y$. Since $y$ was arbitrary, $g$ is surjective.