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.

The multiplicative norm first rules out zero divisors: if $xy=0$ and $x\ne 0$, then $0=|x||y|$ forces $y=0$. If the dimension is zero the claimed bound already holds, so suppose it is positive.

It is worth checking that the printed description of a ring with an underlying real vector space really permits differentiation of multiplication. This follows from the norm identity even if compatibility with real scalars is not separately stated. For fixed $x$, the map $L_x(y)=xy$ is additive by distributivity, andIt is therefore continuous. Additivity gives rational linearity. Approximating a real number by rationals and using continuity proves $L_x(ty)=t{L}_x(y)$ for every real $t$. The same argument holds in the other variable. This is automatic real bilinearity from a multiplicative norm, so multiplication is a bilinear map between finite-dimensional vector spaces, and hence is smooth.

Let $S=\{x\in A:|x|=1\}$ be the unit sphere of the given positive-definite bilinear form. It is a copy of $S^{n-1}$. The squaring mapis well defined because $|x^2|=|x{|}^2=1$, and is smooth. Commutativity gives its derivativeFor $x\in S$ and $v\ne 0$, the norm identity gives $|D{Q}_x(v)|=2|v|$, so the derivative is injective, including on the tangent space $T_{x}S=x^{\perp }$. It takes tangent vectors into $T_{x^2}S$ since $Q$ maps the sphere to itself. Alternatively, polarization of $|xy{|}^2=|x{|}^2|y{|}^2$ gives $⟨xy,xz⟩=|x{|}^2⟨y,z⟩$, so $⟨x^2,2xv⟩=2⟨x,v⟩=0$ directly.

The only identifications under squaring are antipodal:The factorization uses commutativity, and the last implication uses the absence of zero divisors. Conversely $Q(-x)=Q(x)$. It follows that $Q$ induces an injective smooth mapThe antipodal quotient map is a local diffeomorphism, so the injectivity of $DQ$ implies injectivity of $Dq$. Since Real projective space is compact, the stated compact injective immersion is an embedding theorem makes $q$ a closed embedding.

For $n\ge 2$ its source and target have the same dimension $n-1$. The inverse function theorem makes its image open as well as closed in the connected sphere $S^{n-1}$. It is nonempty, so the image is the whole sphere; consequently $q$ is a diffeomorphism. But for $n\ge 3$ this is impossible:Indeed, the antipodal two-sheeted covering map $S^{n-1}\to {\mathbb{RP}}^{n-1}$ has simply connected total space in this range, and is its universal cover, with deck group $\mathbb{Z}/2$. A sphere of dimension at least two is simply connected. These fundamental groups cannot be those of homeomorphic spaces.

We have obtained the dimension bound for a commutative Euclidean normed algebra:The real numbers and complex numbers with their usual products and Euclidean norms attain dimensions one and two. In dimension two, the induced map ${\mathbb{RP}}^1\to S^1$ is entirely compatible with the argument: the circle squaring map identifies exactly the two antipodal preimages. We neither assume a multiplicative identity nor use a classification of real division algebras; the squaring argument proves the bound from the supplied hypotheses.

For a convex subset of a Banach space, weak closure equals norm closure. The Mazur theorem states that for every convex set $C\subseteq X$,Since every bounded linear functional is norm-continuous, the weak topology is weaker than the norm topology, giving ${\overline{C}}^{\Vert \cdot \Vert }\subseteq {\overline{C}}^w$.

For the reverse inclusion, use this form of the Hahn-Banach separation theorem: if $D$ is a nonempty norm-closed convex set in a real normed vector space and $x\notin D$, there is a continuous real-linear functional $F$ such thatApply it to $D={\overline{C}}^{\Vert \cdot \Vert }$. In a complex Banach space, use the underlying real space; every continuous real-linear $F$ is the real part of the complex bounded linear functional $f(v)=F(v)-iF(iv)$. The separating strict inequality gives a neighbourhood open for the weak topology of $x$ disjoint from $D$, so $x\notin {\overline{C}}^w$. The empty set case is immediate. This proves the Mazur theorem.

A weakly null sequence has disjoint convex blocks converging to zero in norm. If $x_n\stackrel{w}{\to }0$, then for every starting index $m$,The Mazur theorem places $0$ in the norm closure of that tail convex hull. Thus a finite convex combination of vectors from any tail can have norm less than any prescribed $\epsilon >0$.

Choose the convex blocks recursively. After selecting the previous terminal index $q_{n-1}$, let $p_n>q_{n-1}$, and choose a finite convex combination from $\{x_i:i\ge p_n\}$ with norm less than $2^{-n}$. Choose $q_n$ beyond its largest used index, padding the intervening coefficients and the final coefficient with zero. This ensures the printed strict condition $p_n<q_n$ as well as $q_n<p_{n+1}$. Setting unused coefficients to zero yieldsTherefore $u_n\to 0$ in norm. The recursive tail selection is what makes these convex blocks, rather than merely unrelated convex combinations.

Next suppose $X^{\ast }$ is separable and $(x_n)$ is bounded. Use the canonical embedding into the bidual $J_X:X\to X^{\ast \ast }$, where $J_{X}x(f)=f(x)$. If $\Vert x_n\Vert \le M$, then $J_X{x}_n\in M{B}_{X^{\ast \ast }}$. The Banach-Alaoglu theorem makes this ball compact in $\sigma (X^{\ast \ast },X^{\ast })$, and weak-star metrizability of the dual ball makes it metrizable because its predual $X^{\ast }$ is separable. A compact space that is a metric space is sequentially compact, so some subsequence $(y_n)$ satisfiesThe limit need not belong to $J_{X}X$; it is precisely the use of the bidual space that supplies compactness without assuming reflexivity.

For a convex block $u_n={\sum }_{i=p_n}^{q_n}{a}_i{y}_i$, every $f\in X^{\ast }$ satisfiesBoth $f(y_n)$ and $f(u_n)$ tend to $\varphi (f)$, soThis is the useful convex-block cancellation of a weak-star limit; it does not require the limit to be a vector in $X$.

The quotient sequence has approximate lifts in $3B_X$ that are weakly null after passing to a subsequence. Let $q:X\to Z=X/Y$ be the quotient map, with the quotient norm. Since $\Vert z_n\Vert \le 1$, choose $v_n\in X$ such thatThis uses the infimum defining the quotient norm and does not assume that it is attained. By the preceding compactness argument, pass to a subsequence $y_n=v_{k_n}$ with a common weak-star limit in $X^{\ast \ast }$. Its quotient images $q(y_n)=z_{k_n}$ form a weakly null sequence.

Apply the convex block construction to $(q(y_n))$ in the quotient Banach space. Using the same coefficients on $(y_n)$ gives convex blocksSet $x_n=y_n-u_n$. The convex-block cancellation of a weak-star limit proves $x_n\stackrel{w}{\to }0$, whileThus the approximate weakly null lifting through a quotient is achieved with the required bound:

Define a continuous map $F:S\to T$ by the standard embedded torus of revolution parametrizationIts image lies in $T$ becauseThe periodicity of the trigonometric functions makes $F(s,0)=F(s,1)$ and $F(0,t)=F(1,t)$, so $F$ is constant on every $\sim$-equivalence class. The universal property of the quotient topology therefore gives a unique continuous map

Every point of $T$ has cylindrical radius between $1$ and $3$, so its polar angle determines $s$ modulo one, while the pair $(\sqrt{x^2+y^2}-2,z)$ on the unit circle determines $t$ modulo one. Hence $\overline{F}$ is surjective, and two parameters have the same image exactly when they differ by the endpoint identifications defining $\sim$; thus it is injective.

The quotient $S/\sim$ is compact as the continuous image of the given compact space $S$ under the quotient map. The surface $T$ is Hausdorff because it has the subspace topology inherited from ${\mathbb{R}}^3$. The compact-to-Hausdorff continuous bijection theorem now shows that $\overline{F}$ is a homeomorphism. Therefore

Choose a contractionApply the homotopy extension property to the initial map ${\mathrm{id}}_X:X\to X$ and to $h$, regarded as a homotopy into $X$. It suppliessuch that

At $t=1$, the map $H_1$ sends every point of $A$ to $a_0$. It is therefore constant on the equivalence classes of the quotient topology $X/A$. By the universal property of the quotient topology, there is a continuous mapsuch thatwhere $q:X\to X/A$ is the quotient map. The homotopy $H$ immediately gives

For every $t$, the map $q\circ H_t$ is constant on $A$, because $H(a,t)=h(a,t)\in A$. It therefore descends toThis descended map is continuous: the product $q\times {\mathrm{id}}_I$ is a quotient map because $I$ is compact Hausdorff, and $q\circ H$ is constant on its fibres.
At the endpoints,ThusThe maps $q$ and $g$ are homotopy inverses, soThis proves the theorem on collapsing a contractible cofibration.

The standard CW complex structure on ${\mathbb{CP}}^n$ has one cell in every even dimension from $0$ to $2n$, and ${\mathbb{CP}}^k$ is its $2k$-skeleton. Collapsing that subcomplex leaves one zero-cell and one cell in each dimension $2i$ for $k+1\le i\le n$. All cellular boundaries vanish, so

Let $x\in H^2({\mathbb{CP}}^n;\mathbb{Z})$ be the usual generator. For $i>k$, choose $u_i$ whose pullback under the quotient map is $x^i$. Naturality of the cup product and the cohomology ring of complex projective space giveTogether with the unit, this determines the ring; equivalently, its reduced part is the ideal $(x^{k+1})/(x^{n+1})$ with the inherited multiplication. This is the cohomology ring of a collapsed projective subspace.

If $n=k+1$, the quotient has just a zero-cell and a $2n$-cell, so it is $S^{2n}$ and is a compact manifold. Conversely, suppose $n\ge k+2$ and the quotient is homotopy equivalent to a compact manifold. Its top cohomology is $\mathbb{Z}$, so that manifold must be closed, orientable, and $2n$-dimensional. But $H^{2n-2}\cong \mathbb{Z}$ while $H^2=0$, contradicting Poincare duality. Therefore

The quotient norm measures the smallest norm among representatives of a coset. Its infimum need not be attained. Nevertheless, for every $\epsilon >0$, an element $z\in X/Y$ has a representative $v\in X$ with $\Vert v\Vert <\Vert z\Vert +\epsilon$. The quotient map is contractive.

A quotient topological space identifies points of a topological space according to an equivalence relation and equips the set of equivalence classes with the quotient topology. A subset is open exactly when its inverse image under the canonical quotient map is open. Even a Hausdorff space can have a non-Hausdorff quotient; identifying real numbers differing by a rational number gives a multi-point quotient with the indiscrete topology.