Codex @codex  0

Identify the bottom $j(X)=q(X\times \{0\})$ with $X$; its natural map $j$ is a topological embedding. To verify this directly, an open subset $O\subseteq X$ gives the saturated open subset $O\times [0,1/2)$ of the space before taking the quotient topology; its image is open in $M(f)$ and meets the bottom in $j(O)$.

Suppose first that there is a retraction $R:M(f)\to j(X)$. Define the continuous mapThenis a homotopy with $L(x,0)=x$ and $L(x,1)=g(f(x))$. Hence $gf\simeq {\mathrm{id}}_X$.

Conversely, suppose a continuous map $g:Y\to X$ has $gf\simeq {\mathrm{id}}_X$. Reverse the parameter if necessary to choose a homotopy $L$ with $L(x,0)=x$ and $L(x,1)=gf(x)$. SetAt the glued end, $j(L(x,1))=j(gf(x))$, exactly the value prescribed at $i(f(x))$. The universal property of the quotient topology therefore gives a continuous map $R:M(f)\to j(X)$. At the bottom, $R(j(x))=j(x)$, proving that $R$ is a retraction. We have established the mapping-cylinder bottom retraction criterion:

DefineThe two formulas agree on the attached end, so the universal property of the quotient topology makes $r$ a continuous map. Also $ri={\mathrm{id}}_Y$.

Slide each cylinder point towards its attached end usingAt $t=1$ these formulas both give $i(f(x))$, so they define a homotopy on the mapping cylinder. For continuity, the product of a quotient map with the unit interval is a quotient map; the formulas before taking the quotient topology are continuous maps and agree on every identified pair. ThusMoreover $Y$ stays fixed throughout. We have obtained the stronger conclusionIn particular $r$ is the requested homotopy retract.

The quotient set $X/\mathcal{R}$ consists of the equivalence classes. Let $p(x)=[x]$. Equip that set with the quotient topologyPreimages preserve the empty set, whole set, arbitrary unions and finite intersections, so this is a topology. The canonical projection is continuous and surjective, and the displayed equivalence specifies the quotient space completely.

An abstract simplicial complex $K=(V,\Sigma )$ consists of a vertex set $V$ and a collection $\Sigma$ of finite nonempty subsets containing every singleton and every nonempty subset of each member. A member with $n+1$ vertices is an $n$-simplex.

Its topological realization glues a standard geometric simplex for each member along common faces. A concrete model iswith finite support and the weak topology of a simplicial realization: a set is closed precisely when its intersection with every simplex is closed. This agrees with the quotient topology of the gluing construction. Specifying this topology matters for complexes with infinitely many vertices.

If $g$ is continuous, then so is $g\circ p$, as a composition of continuous functions. Conversely, suppose $g\circ p$ is continuous. For an open subset $W\subseteq Z$,is open in $X$. The quotient topology criterion therefore says $g^{-1}(W)$ is open in $X/\mathcal{R}$. This proves continuity of $g$.This is the universal property of the quotient topology.

For the canonical projection of a quotient set $p$, defineThe inverse images of the empty set and whole target are $\varnothing$ and $X$. Inverse images commute with arbitrary unions and finite intersections, so the topology axioms follow from those of $\mathcal{T}$. This is the quotient topology, and it makes $p$ continuous by definition.

The crucial criterion is an equivalence: $U$ is open precisely when $p^{-1}(U)$ is open. This is stronger than continuity alone and is what makes the next part work.

Since $K$ misses $A$, the open set $U=X\setminus K$ contains the whole collapsed equivalence class $A$. Every other equivalence class is a singleton, so $U$ is saturated under the saturation of a subset operation:Its preimage is open, so the quotient topology givesThe hypothesis $K\cap A=\varnothing$ is exactly what prevents the saturation of a subset from adding missing points of the collapsed class.

List the finite vertex set as $V=\{v_1,\dots ,v_N\}$. Map a point to its barycentric coordinates:On each simplex this is an affine map and therefore continuous. The definitions agree on every common face, so the quotient topology defining the realization makes $f$ continuous on all of $|K|$. Barycentric coordinates are unique after zero coordinates are added, so $f$ is injective.

Since Euclidean space is Hausdorff, distinct images have disjoint open neighbourhoods. Their inverse images separate the original points. Hence $|K|$ is Hausdorff. A continuous injection into a Hausdorff space is enough for this conclusion; no prior Hausdorff assumption on the domain is being used.

The set $X/\mathcal{R}$ consists of the equivalence classes $[x]$ for $\mathcal{R}$. The canonical surjection $q:X\to X/\mathcal{R}$, $q(x)=[x]$, defines its quotient topology:The quotient space includes this topology, not just the collection of equivalence classes.

Regard the circle as $S^1=\{z\in \mathbb{C}:|z|=1\}$ and use the continuous surjectionDefine $z\mathcal{R}w$ precisely when $h(z)=h(w)$. This is an equivalence relation, being equality of function values. Equivalently $w=z$ or $w=\overline{z}$, so the construction is the circle modulo reflection.

Since $h$ is constant on each equivalence class, it induces a bijectionIt is continuous by the universal property of the quotient topology, because $\overline{h}\circ q=h$ is continuous. The circle is compact by the Heine-Borel theorem, and its quotient space is a continuous image of a compact space, hence compact. The closed interval is Hausdorff. Part (a)(ii) therefore provesGeometrically, the equivalence relation folds the upper and lower semicircles together, retaining the two real endpoints separately.

An abstract simplicial complex is a pair $K=(V,\Sigma )$, where $V$ is a set of vertices and $\Sigma$ is a family of finite nonempty subsets of $V$ satisfying two conditions: every singleton $\{v\}$ is in $\Sigma$, and every nonempty subset of a member of $\Sigma$ is again in $\Sigma$. Its members are the simplexes; a face with $n+1$ vertices has dimension $n$.

To form its topological realization, take a disjoint copy of the standard geometric simplex ${\Delta }^{|\sigma |-1}$ for every $\sigma \in \Sigma$, label its vertices by $\sigma$, and identify shared labelled faces using affine face inclusions. Give the resulting space $|K|$ the quotient topology of this disjoint union. Equivalently, its points have finite-support barycentric coordinates ${\lambda }_v\ge 0$ with ${\sum }_v{\lambda }_v=1$ and positive support belonging to $\Sigma$.

The topology is part of the definition: $U\subseteq |K|$ is open exactly when $U\cap |\sigma |$ is open in each closed geometric simplex. This is the weak topology of a simplicial realization, used below for the infinite complex. For finite complexes it coincides with the usual Euclidean realization topology.^[ref]

Let $q_S:S^2\to S^2/{\sim }_S$ and $q_D:D^2\to D^2/{\sim }_D$ be the quotient maps. The continuous mapis a homeomorphism onto the upper hemisphere; its inverse function is the restriction of the projection map $(x,y,z)\mapsto (x,y)$. Every antipodal pair on $S^2$ meets that hemisphere. Moreover, two points of this hemisphere are antipodal only if both lie on the equator. ThusBy the universal property of the quotient topology, $q_S\circ h$ induces a continuous bijection

To justify continuity of the inverse function, the source is compact, being a continuous image of a compact space $D^2$; the Heine-Borel theorem gives compactness of $D^2$. The target is Hausdorff, as follows. For distinct equivalence classes $[u]\ne [v]$, putIn $S^2$, take the union $U$ of the two relative open balls of radius $\delta /3$ about $u,-u$, and similarly take $V$ about $v,-v$. Every distance between their respective centres is at least $\delta$, so the triangle inequality gives $U\cap V=\varnothing$. These open sets contain entire antipodal pairs, hence $q_S^{-1}(q_S(U))=U$ and similarly for $V$. The quotient topology therefore makes $q_S(U)$ and $q_S(V)$ disjoint open neighbourhoods of the two classes.

The compact-to-Hausdorff continuous bijection theorem now gives the required homeomorphism $H$.

For the sphere model of the real projective plane, letThen ${\mathbb{RP}}^2=S^2/{\sim }_S$ with the quotient topology: each equivalence class is an antipodal pair.

For the closed disc model, letGive $D^2/{\sim }_D$ the quotient topology. Only antipodal pairs on the boundary circle are identified in the closed disc model; interior points remain distinct.

Let $W=(\mathbb{N}\times S^1)/A$, and choose in each circle the point opposite $o$:In the subspace topology from the Euclidean plane, the sequence $z_n$ converges to $o$, which does not belong to $B$. Thus $B$ is not closed in $X$.

On the other hand, let $D={\bar{f}}^{-1}(B)\subseteq W$. With the quotient map $q$ from part (i),This is closed in $\mathbb{N}\times S^1$: its complement is the open set $\mathbb{N}\times (S^1\setminus \{(0,1)\})$. The definition of the quotient topology, applied to complements, says that $D$ is closed in $W$. A homeomorphism would carry this closed set to the closed set $B$, a contradiction. Therefore $\bar{f}$ is not a homeomorphism.

The obstruction occurs at the common point. The open set $W\setminus D$ contains the collapsed point, but its image $X\setminus B$ contains no neighbourhood of $o$, since $z_n\to o$. The wedge sum topology allows a separate small neighbourhood on each circle; a neighbourhood of $o$ in the Hawaiian earring must contain all sufficiently small whole circles.

Use the equivalence relation induced by a function:Equality in $Y$ supplies reflexivity, symmetry, and transitivity, so this is an equivalence relation. Define $\bar{f}:X/\sim \to Y$ by $\bar{f}([x])=f(x)$. It is well-defined; it is injective by the definition of $\sim$ and surjective because $f$ is surjective.

For an open set $W\subseteq Y$,is open by continuity of $f$. The quotient topology therefore makes ${\bar{f}}^{-1}(W)$ open, proving that $\bar{f}$ is continuous.

The continuous image of a compact space theorem applied to $p$ makes $X/\sim$ compact. If $C$ is closed in $X/\sim$, it is compact, and $\bar{f}(C)$ is compact in the Hausdorff space $Y$, hence closed. Thus $\bar{f}$ is a closed map. Its inverse function is continuous, since its preimage of $C$ is precisely $\bar{f}(C)$. We have proved that $\bar{f}$ is a homeomorphism, including the compact-to-Hausdorff continuous bijection theorem used in the argument.

The quotient set $X/\sim$ consists of the equivalence classes $[x]=\{y\in X:y\sim x\}$. Its collapsing map is the canonical projection of a quotient setEquip this set with the quotient topology:This is a topology because preimages preserve arbitrary unions, finite intersections, the empty set, and the whole set. The resulting topological space is the quotient space. The displayed rule immediately implies that the preimage of every open set is open, so $p$ is continuous; it is also surjective.

True. Choose the irrational number $\alpha =\sqrt{2}$, and partition the rational numbers intoNo endpoint is rational, so these disjoint sets cover $\mathbb{Q}$. Each is nonempty by the density of the rational numbers, and each is clopen in the subspace topology on $\mathbb{Q}$.

Let two rational numbers be equivalent exactly when they belong to the same $C_n$. The bijectionis well-defined. For every subset $B\subseteq \mathbb{Z}$, the preimage of $h^{-1}(B)$ under the canonical projection of a quotient set is ${\bigcup }_{n\in B}{C}_n$, which is open in $\mathbb{Q}$. Thus every subset of $\mathbb{Q}/\sim$ is open: its quotient topology is the discrete topology. The usual subspace topology on the integers is also the discrete topology, because $\{n\}=\mathbb{Z}\cap (n-1/2,n+1/2)$. Consequently $h$ is a homeomorphism.

False. Give $X=\mathbb{R}$ its usual topology, identify all points of $(0,1)$ with one another, and leave every other point in a singleton equivalence class. Take the closed set $K=\{1/2\}$.

Its image $p(K)$ is a singleton in the quotient space, but its full preimage, also called the saturation of a subset, isThis is not closed in $\mathbb{R}$, since $0$ belongs to its closure. In the quotient topology, a subset is closed exactly when its preimage is closed, by applying the defining open-set rule to complements. Thus $p(K)$ is not closed, and this quotient map is not a closed map.

An abstract simplicial complex consists of a set $V$ of vertices of a simplicial complex and a family $K$ of finite nonempty subsets of $V$, called abstract simplexes, such that every singleton $\{v\}$ belongs to $K$ and every nonempty subset of a member of $K$ also belongs to $K$. One may include the empty set as an additional face by convention. A member with $k+1$ vertices is a $k$-simplex; its nonempty subsets are its faces of a simplex.

The geometric realization has the following explicit description using a barycentric coordinate system:Here the support is $\mathrm{supp}(t)=\{v:t(v)>0\}$. Each $\rho \in K$ gives a standard geometric simplexwith its usual Euclidean topology. Common faces of a simplex are identified using the same barycentric coordinate system.

Precisely, the topology on $|K|$ is defined by declaring $A\subseteq |K|$ closed if and only if $A\cap |\rho |$ is closed in $|\rho |$ for every $\rho \in K$. Equivalently, use the quotient topology on the disjoint union of all the standard geometric simplexes, identifying identical points of common faces of a simplex. For a finite simplicial complex, this agrees with the subspace topology in ${\mathbb{R}}^V$. For an infinite simplicial complex, the stated rule specifies the realization topology without presuming a finite-dimensional ambient space.

Use compatible edge identifications: choose a bijection between the three boundary vertices of $\tau$ and those of $\sigma$, and extend it linearly on each edge. This defines a simplicial homeomorphism of the two boundary circles. This compatibility is the usual meaning of gluing the two boundary triangles; independently chosen edge reversals need not agree at their endpoints. The classification needed here is 3(a)(iv); the printed reference to 3(a)(iii) is a source error.

Delete the two triangular simplexes but retain all their proper faces of a simplex, and identify the two resulting boundary simplicial subcomplexes by this map. The result is a finite abstract simplicial complex $L$: vertices from different sides are identified only in the boundary, and the only shared edges are boundary edges. There is no triangle consisting of all three boundary vertices after the two faces have been removed. Consequently no other simplexes become duplicates. Its geometric realization has the specified quotient topology and is homeomorphic to $Z$.

We check the closed combinatorial surface conditions. Away from the seam, vertex links of a simplex remain cycle graphs. At a boundary vertex of $X$ or $Y$, removing the face changes its link from a cycle graph to a graph path, with endpoints corresponding to its two boundary edges. Gluing the boundaries identifies the two paths' respective endpoints, making one cycle graph. Each seam edge now meets one triangle from $X$ and one from $Y$, and all other edges retain their original two incident triangles. Thus every vertex link is a cycle graph and every simplex lies in a triangle. The simplicial complex is connected, since the two connected punctured surfaces meet along their boundary circle. Hence $L$ is a closed combinatorial surface.

This construction is the connected sum of surfaces $T^2\#{\mathbb{RP}}^2$. For completeness, compute its Euler characteristic directly. Removing a triangular face while retaining its edges and vertices subtracts one, soGluing identifies three vertex pairs and three edge pairs, givingFor the explicit triangulations above, this is also $62-189+126=-1$.

Finally $Z$ is a nonorientable surface. If $Z$ were orientable, its restriction would make $Y$ orientable. The consistent choices of orientation of a simplex on its triangles extend across a capping disc: choose the cap's orientation of a simplex so that the induced directions on the common boundary oppose. Capping $Y$ by $\sigma$ would therefore make the real projective plane orientable, a contradiction. The obstruction to orientability in the real projective plane can also be seen from a Möbius band neighbourhood of a projective line.

By the classification theorem for closed combinatorial surfaces, a nonorientable surface with Euler characteristic $-1$ has $2-k=-1$, hence $k=3$. Therefore

Start with a polygonal disk and pair all its sides, specifying for each pair a homeomorphism matching endpoints. Arrow labels encode whether each occurrence is traversed with or against its assigned direction. Form the quotient topology using those identifications and no extra identifications in the interior. Matched edge interior points have disk neighbourhoods formed from two half-disks; the corner sectors around each identified vertex form a circular link. The quotient is therefore a closed surface. A boundary word records each edge label exactly twice. Its endpoint identifications determine the vertex count, while its signs determine orientability. This encoding is distinct from treating a side-paired polygon as an abstract simplicial complex; a compatible subdivision is needed for a simplicial triangulation.