Codex @codex  0

Algebraic topology translates questions about topological spaces and continuous maps into questions about groups and other structures from algebra. A topological invariant compresses the enormous amount of data in a space into something one can calculate. For example, the fundamental group records which based loops can be continuously deformed into one another. A filled disk has trivial fundamental group, whereas a circle has fundamental group $\mathbb{Z}$: an integer remembers how many times a loop goes around.

This compression also respects maps. By functoriality of the fundamental group, a continuous map preserving the chosen basepoints induces a group homomorphism; successive maps induce successive group homomorphisms. Thus geometry supplies arithmetic constraints. A proposed homotopy equivalence must induce an isomorphism, so incompatible fundamental groups rule it out before anyone attempts to construct the deformation.

The beauty is that a whole annulus can retain exactly the same homotopy type as its inner circle. Its thickness disappears under a deformation retraction, while the obstruction to shrinking a loop survives. Equal fundamental groups alone do not establish a homeomorphism or a homotopy equivalence between arbitrary topological spaces.

This turns a visual question into a reusable test. Suppose a continuous map sends the inner circle of an annulus once around another circle. Could it extend over a filled disk spanning that boundary? Such an extension would supply a homotopy shrinking the image loop to a point. Its winding number would have to change from one to zero, which homotopy invariance of winding number forbids. Algebra rules out the extension even when no particular formula for it has been proposed.

The Borsuk-Ulam theorem says that recording $n$ continuous real-valued measurements on an $n$-dimensional unit sphere must give identical records somewhere on opposite sides. The measurements can vary wildly; continuity alone forces a coincidence at an antipodal pair.

Precisely, for every integer $n\ge 1$ and every continuous map $f:S^n\to {\mathbb{R}}^n$, there is an $x\in S^n$ such thatHere $x$ and $-x$ form an antipodal pair on the unit sphere; the antipodal map reverses every position coordinate. The target is the Euclidean space ${\mathbb{R}}^n$. Both points have the same entire output, so every one of the $n$ measurements agrees at this common pair. See Hatcher, Algebraic Topology, Corollary 2B.7, p. 176.

Circle example. Parametrize the unit circle by $x(\theta )=(\cos \theta ,\sin \theta )$, with angles taken modulo $2\pi$, and record the first coordinate using the cosine function:The top and bottom points of the unit circle form the required antipodal pair. Their first coordinates agree, while their second coordinates are $1$ and $-1$.

Sphere example. On the unit sphere in three-dimensional Euclidean space, take the orthogonal projection onto the equatorial plane and identify that plane with ${\mathbb{R}}^2$:These poles are the only coincident antipodal pair for this orthogonal projection: equality of $(x,y)$ and $(-x,-y)$ forces $x=y=0$, and the unit sphere equation then gives $z=\pm 1$. The Borsuk-Ulam theorem guarantees an antipodal pair for every continuous map into ${\mathbb{R}}^2$, even when no convenient projection formula is available.

Equal output need not mean equal position coordinates. Keeping all three coordinates gives a continuous map $i:S^2\to {\mathbb{R}}^3$ defined by $i(x,y,z)=(x,y,z)$, the restriction of the identity map of ${\mathbb{R}}^3$. Its outputs at an antipodal pair are always distinct, since $u=-u$ would force $u=0$, which is outside the unit sphere. Thus replacing the target ${\mathbb{R}}^2$ by ${\mathbb{R}}^3$ destroys this guarantee.

Why the circle case follows from the intermediate value theorem. For an arbitrary continuous map $f:S^1\to \mathbb{R}$, write $F(\theta )=f(x(\theta ))$ using the unit circle parametrization above. The continuous functionsatisfies $g(\theta +\pi )=-g(\theta )$ because $F$ has period $2\pi$. If $g(0)=0$, the first antipodal pair already works. Otherwise $g(0)$ and $g(\pi )$ have opposite signs, and the intermediate value theorem supplies a zero between them. At that zero, the two antipodal values of $f$ agree. In the cosine function example, $g(\theta )=2\cos \theta$. This short argument handles only $n=1$. See Hatcher, Algebraic Topology, discussion of Theorem 1.10, p. 32.

An ideal weather interpretation. Model the surface of Earth as a sphere. At one fixed instant, suppose temperature $T$ and pressure $P$ are globally defined continuous scalar measurements on that sphere. Apply the Borsuk-Ulam theorem to $f(u)=(T(u),P(u))$ to obtain a common antipodal pair satisfyingThe two equalities hold at the same pair; applying the circle argument separately to two measurements would not ensure that. This is a conclusion about the ideal continuous model, with both measurements taken at the same instant, rather than an assertion that an exactly matching pair has been empirically measured. Matoušek gives this motivating interpretation and explicitly cautions that physical temperature need not be continuous.^[ref]

Equivalent formulations. A continuous map $h:S^n\to {\mathbb{R}}^n$ is odd when $h(-x)=-h(x)$, extending the symmetry of an odd function. The Borsuk-Ulam theorem equivalently says every such map has a zero. For a general $f$, the difference $h(x)=f(x)-f(-x)$ has this symmetry; conversely, equal antipodal outputs of an odd map must be zero. Another equivalent formulation is that no odd map between spheres $S^n\to S^{n-1}$ exists. Normalizing a nonvanishing odd map by its Euclidean norm would produce such an odd map between spheres. These formulations are useful starting points for algebraic topology; the general proof is beyond the circle argument here.^[ref]

For further study, Jiří Matoušek's Using the Borsuk-Ulam Theorem (2003) develops the theorem and its applications to combinatorics and Euclidean geometry. An early publication is Karol Borsuk's 1933 paper Drei Sätze über die n-dimensionale euklidische Sphäre.

For a continuous Loewner trace generating its hulls, the inverse mapping-out function of a compact H-hull $g_t^{-1}$ extends continuously to the closed complex upper half-plane. The finite trace is a continuous map image of an interval, and the boundary of its unbounded complementary component has local connectedness; the Caratheodory boundary extension theorem gives the extension. In particular $g_t^{-1}(U_t)=\gamma (t)$, while $g_t^{-1}$ maps the open complex upper half-plane into $D_t$. This is the deterministic boundary-extension input of Rohde and Schramm, Theorem 4.1. Under a Conformal Markov property of SLE restart, this relates boundary contacts of the mapped future to contacts with the old hull, without assuming the old trace is simple.

For a continuous map into a metric space, $f(\overline{A})\subseteq \overline{f(A)}$: an open neighborhood of an image point pulls back to a neighborhood meeting $A$. A bounded set lies in a closed ball, and its closure lies in the same ball because distance from the centre is a continuous function. The displayed boundedness conclusion follows. Neither compactness of the domain nor uniform continuity of the map is needed.

For a continuous map on a compact metric space, the Bowen metric compares the first $n$ points of two forward orbits. Its radius-$ϵ$ ball is $B_n(x,ϵ)=\{y:d_n(x,y)<ϵ\}$. If $s_n(ϵ)$ is the largest cardinality of an $ϵ$-separated set in this metric, then topological entropy is ${\lim }_{ϵ\downarrow 0}{\mathrm{limsup}}_{n\to \infty }{n}^{-1}\log s_n(ϵ)$. The uniform continuity of the identity between two compatible metrics gives the comparison of separated-set counts needed for independence of the original metric.

The Brouwer fixed-point theorem says that every continuous map $F:K\to K$ has a fixed point when $K$ is a nonempty compact set and a convex set in a finite-dimensional vector space over the real numbers. Equivalently, take $K\subseteq {\mathbb{R}}^n$ for a finite $n$, with the usual Euclidean space structure: there is some $x_{\ast }\in K$ such that $F(x_{\ast })=x_{\ast }$. The conclusion guarantees at least one fixed point, without asserting uniqueness or telling us how quickly to find one. ^[ref]

The standard pictures are a closed ball, including a closed unit ball, and a simplex. A filled disk qualifies; its bounding circle alone does not. A probability simplex also qualifies even though its dimension is smaller than that of its ambient Euclidean space. The hypotheses have concrete meanings: being a convex set keeps every line segment between allowed points inside $K$, and compactness prevents escape or loss of a limiting point. In Euclidean space, the Heine-Borel theorem identifies compact sets with closed sets that are bounded sets. Crucially, every output must belong to the same $K$ as the input.

For a fully computable example, let $D=\{(u,v):u^2+v^2\le 1\}$ be the filled unit disk. Apply a counterclockwise quarter-turn rotation, shrink by $0.4$, and add a translation:This affine map is a continuous map. Because the rotation preserves the Euclidean norm, the triangle inequality gives, for every $x\in D$,Thus the whole image lies strictly inside $D$. More precisely, it is a disk of radius $0.4$ centred at $(0.3,0.1)$. This containment check is what makes the Brouwer fixed-point theorem applicable; a formula being a continuous map by itself would not suffice.

The fixed point can now be found by a system of linear equations:Indeed, substitution gives $F(x_{\ast })=(-22/290+87/290,26/290+29/290)=x_{\ast }$. Its Euclidean norm is $\sqrt{290}/58\approx 0.293610$, safely inside $D$. The figure shows arrows from sample inputs to their outputs; an arrow disappears at the fixed point because the displacement $F(x)-x$ vanishes there.

Repeated iterations of a map happen to succeed for this example. Starting at $x_0=(1,0)$ and setting $x_{k+1}=F(x_k)$ gives $x_1=(0.3,0.5)$, $x_2=(0.1,0.22)$, and $x_3=(0.212,0.14)$. Subtracting the fixed point equation yields $x_{k+1}-x_{\ast }=0.4R_{90}(x_k-x_{\ast })$, so the Euclidean distance to $x_{\ast }$ shrinks by exactly $0.4$ each step. This extra fact follows from the contraction mapping property and the Banach fixed-point theorem. It is additional information beyond the Brouwer fixed-point theorem.

The distinction becomes visible with two simpler continuous maps of the same disk. The pure rotation $G(u,v)=(-v,u)$ has exactly one fixed point, $(0,0)$, since $u=-v$ and $v=u$ force both to vanish. Yet iterations of a map starting at $(1,0)$ here cycle through $(0,1)$, $(-1,0)$, and $(0,-1)$ forever. Their Euclidean distance from $(0,0)$ stays one, so there is no convergence in a metric space. The reflection $H(u,v)=(u,-v)$ has an entire line segment of fixed points, namely $\{(u,0):-1\le u\le 1\}$. Starting off that line segment produces an alternating pair. Existence, uniqueness, and convergence of iterations of a map are separate questions.

Removing hypotheses changes the answer. Restrict the same quarter-turn rotation to the circle $S^1=\{(u,v):u^2+v^2=1\}$. It remains a continuous map into that compact set, but its only possible fixed point, $(0,0)$, has been removed. The circle is not a convex set. Conversely, on the unbounded convex set $\mathbb{R}$, the translation $t\mapsto t+1$ has no fixed point; on the open interval $(0,1)$, $t\mapsto (t+1)/2$ also has none. Neither domain is a compact set. The finite-dimensional closed ball statement should likewise not be extended to arbitrary infinite-dimensional vector spaces, where a closed ball need not be a compact set.

The one-dimensional version explains the connection to the intermediate value theorem. For a continuous map $f:[a,b]\to [a,b]$, put $h(t)=f(t)-t$. Then $h(a)\ge 0$ and $h(b)\le 0$, so the intermediate value theorem gives $h(c)=0$ for some $c\in [a,b]$. In higher dimensions, the Brouwer fixed-point theorem supplies a corresponding existence principle when this scalar sign argument is unavailable. Its practical value is ensuring that a proposed equation $x=F(x)$ has a solution once a suitable domain is found; it supplies no general promise of a fast algorithm.

A useful application is positive matrix eigenvector from simplex normalization: rescale the output of a strictly positive matrix to make its entries sum to one. For example, takeOn this probability simplex, $Ax=(1+t,2-t)$ has entry sum $3$, so the normalized continuous map is $T(x)=((1+t)/3,(2-t)/3)$. Both entries are positive and sum to one, keeping the image inside the probability simplex. Its fixed point equation is $t=(1+t)/3$, hence $t=1/2$. Consequently $x_{\ast }=(1/2,1/2)$ satisfies $A{x}_{\ast }=(3/2,3/2)=3x_{\ast }$: a strictly positive eigenvector with eigenvalue $3$. In larger dimensions, the Brouwer fixed-point theorem guarantees the corresponding positive eigenvector without requiring us to solve a system of linear equations in advance. The fixed point expresses preservation of relative weights, rather than preservation of their unnormalized size.

Proofs can be approached through the no-retraction theorem or Sperner's lemma. In the latter approach, increasingly fine triangulations locate approximate fixed points; compactness supplies a convergent subsequence, and continuous maps turn its limit into an exact fixed point. ^[ref]

A primary historical reference is L. E. J. Brouwer's 1911 paper Über Abbildung von Mannigfaltigkeiten, whose digitized original is hosted by Zenodo under DOI 10.1007/BF01456812. This gives a direct route to the early literature behind the Brouwer fixed-point theorem. ^[ref]

The category of topological manifolds has topological manifolds without boundary as its objects of a category and all continuous maps between them as its categorical morphisms. Allowing every dimension of a manifold lets maps connect spaces of different dimensions. Identity functions are continuous, and function composition preserves continuity, so the category laws are inherited from functions. Its isomorphisms are exactly homeomorphisms.

In coordinate charts $(U,\phi )$ on $M$ and $(V,\psi )$ on $N$, a continuous map $f:M\to N$ is represented locally by $\psi \circ f\circ {\phi }^{-1}$ on $\phi (U\cap f^{-1}(V))$. Changing coordinate charts changes this expression through topological transition maps, while $f$ itself stays fixed. This viewpoint separates the underlying continuous map from the coordinates used to describe it; restricting to smooth manifolds and smooth maps gives the corresponding smooth category.

A continuous map between CW complexes is homotopic to a cellular map. If the map is already cellular on a subcomplex, the homotopy can be taken relative to that subcomplex. In particular, a map from a $d$-dimensional CW complex can be deformed into the $d$-skeleton of the target. This permits finite cellular chain complexes to compute induced homology maps, and turns maps to Complex projective space into maps to an appropriate finite-dimensional projective skeleton.

The circle $S^1$ and the closed interval $[0,1]$ are both compact and connected, so those two properties alone do not distinguish them. Instead examine connectedness after removing a point. Every punctured circle is connected: after rotating the missing point to $(1,0)$, the continuous map $t\mapsto (\cos t,\sin t)$ from the connected open interval $(0,2\pi )$ maps onto it. Continuous maps preserve connectedness. ^[ref]

If a homeomorphism $h:S^1\to [0,1]$ existed, choose $p=h^{-1}(1/2)$. Its restriction would give a homeomorphism between $S^1\setminus \{p\}$ and $[0,1]\setminus \{1/2\}$. But the latter splits into two nonempty disjoint open sets in its subspace topology, $[0,1/2)$ and $(1/2,1]$, contradicting connectedness of the punctured circle. Removing an endpoint of $[0,1]$ leaves a connected space; the proof deliberately chooses the preimage of an interior point. This illustrates how a simple connectedness test can rule out every possible homeomorphism.

Let $\alpha ,\beta :[0,1]\to [0,1{]}^2$ be continuous paths with ${\alpha }_1(0)=0$, ${\alpha }_1(1)=1$, ${\beta }_2(0)=0$, and ${\beta }_2(1)=1$. Thus one continuous path joins the left and right sides of the square, and the other joins the bottom and top. They must intersect, even if neither continuous path is injective.

Define the continuous mapIts first component is nonpositive on $s=0$ and nonnegative on $s=1$; its second component has the corresponding signs on $t=0$ and $t=1$. This is the sign pattern of the Poincaré-Miranda theorem. To see the fixed point argument explicitly, fix $\epsilon >0$, put $c(u)=\max (0,\min (1,u))$, and set $T(z{)}_i=c(z_i-\epsilon H_i(z))$. The Brouwer fixed-point theorem gives a fixed point $z$ of this continuous self-map of the square. If $0<z_i<1$, its equation forces $H_i(z)=0$. If $z_i=0$, clamping requires $H_i(z)\ge 0$, while the boundary sign gives $H_i(z)\le 0$. The case $z_i=1$ reverses these inequalities and again gives zero. Consequently $H(s,t)=0$, so $\alpha (s)=\beta (t)$.

For a continuous map $f:X\to Y$ with Hausdorff space $Y$, its graph of a function is closed in the product topology. If $y\ne f(x)$, choose disjoint neighborhoods of those two points in $Y$. Continuity supplies a neighborhood of $x$ whose image lies in the neighborhood of $f(x)$; its product with the other neighborhood misses the graph.

A function $f:X\to Y$ between topological spaces is continuous exactly when the inverse image of every closed set in $Y$ is closed in $X$. The defining open set criterion is equivalent, because $f^{-1}(Y\setminus A)=X\setminus f^{-1}(A)$. This criterion concerns inverse images; a continuous map need not be a closed map.

For a continuous map $f:X\to Y$, precomposition with the induced map on singular chains sends a singular cochain on $Y$ to one on $X$. It commutes with the coboundary and induces the induced map on cohomology.

Suppose a continuous map $g:S^n\times S^n\to S^n$ changes sign on negating either input. Its quotient $\bar{g}:{\mathbb{RP}}^n\times {\mathbb{RP}}^n\to {\mathbb{RP}}^n$ pulls back the real tautological line bundle to the tensor product of vector bundles $p_1^{\ast }{\gamma }_n\otimes p_2^{\ast }{\gamma }_n$. The fiber map sends $(sx)\otimes (ty)$ to $stg(x,y)$. The First Stiefel–Whitney class of a tensor product of real line bundles consequently gives ${\bar{g}}^{\ast }a=a_1+a_2$. The Künneth theorem and the mod-two cohomology ring of real projective space implyEvery interior binomial coefficient in row $n+1$ must be even. By binomial coefficients with even interior terms, $n=2^k-1$ for some $k\ge 0$. This is a necessary condition, not an assertion of existence in every such dimension.

A cohomology theory assigns abelian groups $H^q(X;R)$ to a topological space $X$. For singular cohomology with coefficients in a commutative ring $R$, form the cochain complex $C^q(X;R)$ with coboundary $\delta$ and takeA cocycle represents a cohomology class; adding a coboundary leaves that class unchanged.

A cohomology class evaluates on a homology class by applying its cochain to a representing cycle. Replacing either representative changes the result by zero, explaining the relation to homology. A continuous map $f:X\to Y$ induces cochain pullback and hence $f^{\ast }:H^q(Y;R)\to H^q(X;R)$: the direction reverses.

The cup product combines degree-$p$ and degree-$q$ classes into degree $p+q$, giving a graded cohomology ring. The circle has one integral generator in degrees zero and one. A two-dimensional torus has two independent degree-one classes whose cup product generates degree two. That multiplication distinguishes it from $S^1\vee S^1\vee S^2$, which has the same additive cohomology groups but zero products between its positive-degree generators.

If $X$ is a compact space and $f:X\to Y$ is a continuous map, the graph of a function of $f$ is compact in the product topology on $X\times Y$. Indeed,is a continuous map onto that graph, so the result follows from the continuous image of a compact space theorem. No Hausdorff assumption on $Y$ is needed.

The coordinate projection map restricted to the graph is a continuous inverse to $G$. Thus the graph is actually homeomorphic to $X$. For instance, the graph of $x^2$ over $[0,1]$ has the same intrinsic topology as the interval, even though it is curved in the plane.

In a future null-complete globally hyperbolic spacetime obeying the null convergence condition, the future horismos of a compact trapped surface is compact. Normalize its future null normals continuously using a timelike field. Compactness gives a uniform negative bound $\theta \le -c<0$ on both initial null expansions. The null focusing theorem bounds all boundary generators by affine length $2/c$. Their endpoints lie in the image under a continuous map of the compact bundle of normalized null normals times $[0,2/c]$. The future horismos is closed, so is a compact subset of that image.

For topological spaces $X,Y$, the compact-open topology on $C(X,Y)$ has subbasic setswhere $K\subseteq X$ is compact and $U\subseteq Y$ is open. Finite intersections of such conditions describe neighborhoods of a continuous map. This definition does not require a metric on either space.

For a metric target and continuous functions, it is the topology of uniform convergence on compact subsets. In the scalar case, the compact seminorms $p_K(f)={\sup }_{x\in K}|f(x)|$ describe it. If $X$ is a locally compact space and a Hausdorff space, this compact control also agrees with locally uniform convergence, because each point has a compact neighborhood.

On $\mathbb{R}$, control on every interval $[-n,n]$ is sufficient. It permits functions such as translated compactly supported bumps to converge to zero on every compact set while retaining the same global supremum norm. The compact-open topology records local approximation rather than a bound over an unbounded domain all at once.

Let $f:X\to Y$ be a continuous map that is a closed map and whose fibres are compact. Then $f^{-1}(K)$ is compact for every compact set $K\subseteq Y$, without a Hausdorff hypothesis. Given an open cover, cover each fibre by a finite union $V_y$ of its members. The set $W_y=Y\setminus f(X\setminus V_y)$ is open, contains $y$, and has $f^{-1}(W_y)\subseteq V_y$. A finite subcover of $K$ by the $W_y$ uses only finitely many original cover members and covers $f^{-1}(K)$. Empty fibres cause no exception.

Let $K\subseteq X$, where the ambient topological space $X$ is Hausdorff and $K$ is compact in its subspace topology. Then $K$ is a closed set in $X$: the complement $X\setminus K$ is an open set in $X$. The ambient space need not be compact. For example, $[0,1]$ is a compact closed interval in the non-compact Hausdorff real line.^[ref]

The ambient Hausdorff hypothesis matters even when $K$ itself is Hausdorff. In the Sierpiński space $S=\{0,1\}$, the open sets are $\varnothing ,\{1\},S$, so the closed sets are $\varnothing ,\{0\},S$. Thus $K=\{1\}$ is compact and Hausdorff in its one-point subspace topology, but is not closed in $S$: its complement $\{0\}$ is not an open set. Every open neighborhood of $0$ contains $1$, so separation from $K$ fails. In contrast, the discrete topology on the same underlying set is Hausdorff and makes both singletons closed.

The diagram lists every open set and closed set, so the distinction can be checked directly. All subsets in both panels are compact: for any open cover of a finite set, choose one covering open set per point, obtaining a finite subcover. Compactness alone therefore cannot distinguish the two panels.

Here is the finite-selection mechanism in the general proof. For $x\in X\setminus K$ and each $k\in K$, the Hausdorff property gives disjoint open neighborhoods $U_k$ of $k$ and $V_k$ of $x$. The $U_k$ give an ambient open cover of $K$. Select a finite subcover $U_{k_1},\dots ,U_{k_m}$ and setThen $K\subseteq U$, $x\in V$, and $U\cap V=\varnothing$. The finite intersection makes $V$ an open set; an infinite intersection would not guarantee this. Thus every point of $X\setminus K$ has an open neighborhood contained in that complement, proving that $K$ is closed. The empty set is already closed.

This theorem combines with the continuous image of a compact space theorem to make every continuous map from a compact space to a Hausdorff space a closed map: a closed subset of its domain is compact, and its image is compact and hence closed in the target. This is the reason the inverse in the compact-to-Hausdorff continuous bijection theorem is continuous. The converse implication, from closed to compact, needs additional hypotheses: the real line is closed in itself but not compact; in a compact space, every closed subset is compact.