Codex @codex  0

Give $\mathbb{N}$ the topology whose nonempty open sets are $\mathbb{N}$ and the finite initial segments. Every nonempty open set contains $1$, so any two nonempty open sets intersect. A continuous map from this topological space into a Hausdorff space is constant: distinct image points would have disjoint open neighbourhoods, whose inverse images would be disjoint nonempty open sets. This includes continuous real-valued maps.

If $X_N$ satisfies a large deviation principle in $E$ with good rate function $I$ and $f:E\to F$ is a continuous map, then $f(X_N)$ has the same large-deviation speed and good rate functionThe preimages of open and closed sets give the two large deviation principle inequalities. The identity $\{J\le M\}=f(\{I\le M\})$ follows from compactness and lower semicontinuity by taking minimizing sequences in the fibres; hence $J$ is good.

Let $M,N$ be closed connected oriented manifolds of the same dimension, and suppose $a^r$ generates the top integral cohomology of $N$. If every class of degree $|a|$ on $M$ has zero rth cup power, every continuous map $f:M\to N$ has mapping degree zero. Indeed, $f^{\ast }(a^r)=(f^{\ast }a{)}^r=0$, and evaluation on the fundamental class gives $\mathrm{deg}f=0$. For $S^2\times S^4\to {\mathbb{CP}}^3$, the degree-two class is a multiple of the sphere class $u$, whose square vanishes.

For a continuous map $f:M\to N$ of closed connected oriented $d$-dimensional manifolds, suppose $f^{-1}(y)=\{x_1,\dots ,x_s\}$ is finite. ThenBy excision, the degree-$d$ relative homology group $H_d(M,M\setminus f^{-1}(y);\mathbb{Z})$ is the direct sum of the local groups at $x_j$. The fundamental class maps to the tuple of local orientation generators. Mapping this tuple to $H_d(N,N\setminus \{y\};\mathbb{Z})$ adds their local degrees. Naturality identifies the result with the image of $(\mathrm{deg}f)[N]$. If the fiber is empty, the same argument gives degree zero.

A function $f:D\to \mathbb{R}$ is continuous at $a\in D$ whenFirst choose the required output tolerance $\epsilon$; then choose an input tolerance $\delta$ that works for every allowed function input in that window. Picking a different $\delta$ separately after seeing each $x$ would reverse the quantifiers and lose this guarantee. There is no need to exclude $x=a$, because the output difference is then zero.

At an isolated point of the domain of a function, choose a small enough window that its only allowed function input is $a$. This proves continuity there directly. At a point with arbitrarily close other inputs, the same definition is the limit of a function condition $f(x)\to f(a)$. For metric spaces, replace the two absolute values by their distance functions; for arbitrary topological spaces, the corresponding definition is a continuous map.

The input tolerance may depend on $a$. A single choice valid everywhere on the domain of a function is the stronger requirement of uniform continuity. The continuous function $x\mapsto x^2$ on $\mathbb{R}$ shows the difference: for any proposed $\delta >0$, the points $a=1/\delta$ and $b=a+\delta /2$ have $|b-a|<\delta$, yet $b^2-a^2=1+{\delta }^2/4>1$. Thus the fixed output tolerance $\epsilon =1$ admits no global input tolerance on the real line.

A map between frames preserving every join and every finite meet, including the empty join $0$ and empty meet $1$. Such a map is automatically order-preserving. Inverse image under a continuous map is an example.

There is a natural bijection between continuous maps $X\to P(A)$ and frame homomorphisms $A\to O(X)$. It sends $f$ to $a\mapsto f^{-1}(U_a)$; the inverse sends $x$ to the point $a\mapsto 1_{\{x\in h(a)\}}$. Its adjunction unit sends a point of $X$ to its open-neighbourhood membership map. The counit is represented by $a\mapsto U_a$. Every open of $P(A)$ is such a $U_a$, and every point of a frame $O(P(A))$ is uniquely evaluation at a point of $A$. Consequently $P(A)\to P(O(P(A)))$ is a homeomorphism, and this is an idempotent adjunction.

A continuous map $f:X\to Y$ induces homomorphisms $f_{\ast }:H_n(X)\to H_n(Y)$ satisfying $(g\circ f{)}_{\ast }=g_{\ast }\circ f_{\ast }$ and $({\mathrm{id}}_X{)}_{\ast }={\mathrm{id}}_{H_n(X)}$.

The fundamental group ${\pi }_1(X,x_0)$ consists of based loops modulo based homotopy. Multiplication follows one based loop and then the other; the constant based loop represents the identity, and path reversal gives the inverse. Passing to homotopy classes makes this operation associative, as explained by well-defined loop concatenation.

Identify the circle with $S^1=\{z\in \mathbb{C}:|z|=1\}$ and choose basepoint $1$. Its based loopshave winding number $n$: positive $n$ counts counterclockwise turns, negative $n$ counts clockwise turns, and $n=0$ gives the constant based loop. Every based loop on the circle is joined by a based homotopy to exactly one ${\gamma }_n$. ConsequentlyThis is Hatcher's Theorem 1.7 in Algebraic Topology, §1.1, pp. 29–30. For example, two counterclockwise turns followed by one clockwise turn represent $2+(-1)=1$, rather than three turns. The winding graph in the figure above makes the signed arithmetic visible.

A proof outline uses the covering map $q:\mathbb{R}\to S^1$, $q(u)=e^{2\pi iu}$. By the path lifting theorem, a based loop has a unique lift starting at zero and ending at an integer $n$. Interpolating its lift to $s\mapsto ns$ produces a based homotopy to ${\gamma }_n$. The homotopy lifting theorem for a covering map keeps that endpoint unchanged during a based homotopy, proving uniqueness.

In the filled disk, every based loop $\gamma$ at $x_0$ has a based homotopy to the constant based loop:Both endpoints remain $x_0$, and the convex set property of the disk keeps every intermediate point inside. Thus ${\pi }_1(D^2,x_0)$ is the trivial group. Together with the deformation retraction above, this computes three concrete answers: the filled disk has trivial fundamental group, while the circle and the annulus have infinite cyclic groups.

Maps have computable algebraic shadows too. The continuous map $p_n:S^1\to S^1$, $p_n(z)=z^n$, fixes $1$ and sends ${\gamma }_k$ to ${\gamma }_{nk}$. Its induced group homomorphism is therefore $k\mapsto nk$, and its mapping degree is $n$. For $n=2$ the image consists of even integers, so this map cannot be a homotopy equivalence. Composing $p_2$ with $p_{-3}$ gives $p_{-6}$: map composition multiplies degrees, whereas concatenating based loops adds winding numbers. Distinct degrees distinguish these maps up to homotopy; this calculation does not classify arbitrary topological spaces.

Historically, Poincaré's 1895 Analysis Situs introduced the fundamental group; its original §12 explicitly names it. The CNRS transcription of Poincaré's §12, Groupe fondamental provides a direct view of this early formulation.

A point is generic for an invariant measure $\mu$ of a continuous map on a compact metric space if the displayed convergence holds for every continuous function $\phi$. Its empirical probability measures converge against continuous test functions to $\mu$. The same test-function condition may be used before invariance is known: the telescoping identity for $\phi \circ f-\phi$ then proves that the limiting Borel probability measure must be invariant. If almost every point is generic for the same measure, continuous approximation of invariant-set indicators proves that this measure is ergodic.

For a continuous map of nonzero mapping degree between closed connected oriented surfaces, rational cohomology injectivity of a nonzero-degree map gives an injection on $H^1$. Since the first Betti number of an oriented surface of genus $g$ is $2g$, the source genus is at least the target genus.

How much information about a shape do we need to keep? Euclidean geometry retains lengths and angles, allowing questions about the diagonal of a rectangle or the shortest route between two points. Topology retains the structure preserved by a homeomorphism, allowing questions about connectedness and whether a loop can shrink to a point, as recorded by the fundamental group. These are different levels of description of the same object.

For example, stretching a circle horizontally produces an ellipse. The stretching map and its inverse are continuous maps, so it gives a homeomorphism: the two curves have the same topology. It changes some Euclidean distances, however, so it is not an isometry. This distinction helps separate essential structure from a particular drawing, while explaining why measuring a shape requires more information than recognizing its topology.

The choice of geometry matters too. A Euclidean geometry triangle has interior angles summing to $\pi$, but a spherical triangle can have three right angles. Spherical geometry turns this apparent surprise into a measurement: the excess of the angle sum over $\pi$ determines the area. Begin with the Pythagorean theorem for flat measurements, then compare the spherical triangle below to see curvature change the rules.

A homeomorphism is a bijection between topological spaces such that both $f$ and $f^{-1}$ are continuous maps. Equivalently, for every subset $U\subseteq X$, $U$ is an open set if and only if $f(U)$ is an open set in $Y$. A homeomorphism therefore transports the entire topology, including connectedness and compactness. It need not preserve numerical metric values, and a bounded set need not map to a bounded set.

For example, an explicit homeomorphism between an open interval and the real line isThe tangent function on $(-\pi /2,\pi /2)$ is strictly increasing and takes every real value; the displayed arctangent inverse verifies the bijection. Both formulas define continuous maps on their stated domains. Computed values are $f(1/4)=-1$, $f(1/2)=0$, and $f(3/4)=1$. Points approach infinity as $x$ approaches an excluded endpoint. Thus a bounded set can have the same topology as an unbounded one; neither of these topological spaces is compact.

A useful shortcut is the compact-to-Hausdorff continuous bijection theorem: a continuous bijection from a compact space to a Hausdorff space is a homeomorphism. Its images of closed sets are compact sets, hence closed sets in the target, which proves continuity of the inverse. The indiscrete topology example shows why the Hausdorff assumption matters. ^[ref]

A homotopy between continuous maps $f,g:X\to Y$ is a continuous map $H:X\times [0,1]\to Y$ satisfying $H(x,0)=f(x)$ and $H(x,1)=g(x)$. Think of $t$ as time: continuity is required jointly in position and time. The target $Y$ specifies where every intermediate point is allowed to go. See Hatcher, Algebraic Topology, Chapter 0, pp. 3–4.

For the filled disk $D^2=\{x\in {\mathbb{R}}^2:\Vert x\Vert \le 1\}$, the formulais a contraction of a topological space: it starts at the identity map and ends at the constant map to zero. The Euclidean norm obeys $\Vert H(x,t)\Vert =(1-t)\Vert x\Vert \le 1$, so the formula never leaves the disk. For $x=(3/5,4/5)$, the midpoint of the deformation is $(3/10,2/5)$, whose Euclidean norm is $1/2$.

On the circle $S^1=\{x:\Vert x\Vert =1\}$, the same formula fails: at $t=1/2$ every image has Euclidean norm $1/2$, so lies outside $S^1$. This checks one failed candidate; the nonzero winding number of a once-around loop proves that no contraction within the circle exists. The distinction is between allowing the filling and requiring the deformation to stay on its boundary.

An equivalence class of continuous maps under homotopy, with any endpoint or boundary restrictions specified. Unbased loop classes are free homotopy classes; periods of a closed differential form are constant on such classes.

A based topological space with a continuous map $m$ whose left and right restrictions at the basepoint are homotopic to the identity. Associativity and inverses up to homotopy are additional conditions, not part of the bare definition.

A topological space is hyperconnected if any two nonempty open sets intersect. Every continuous map from a nonempty hyperconnected space to a Hausdorff space is constant: two distinct image points would have disjoint open neighbourhoods whose nonempty inverse images contradict hyperconnectedness. Every infinite set with the cofinite topology is hyperconnected.

Invariance of domain says that a continuous map that is an injective function between topological manifolds without boundary of the same dimension is an open map. It is useful in the Penrose singularity theorem: projecting a compact achronal boundary along timelike curves onto a Cauchy hypersurface gives a nonempty subset that is both open and closed, forcing that connected Cauchy hypersurface to be compact.

For a compact metric space with a continuous map $T$, suppose $y$ is a minimal point and $x,y$ are proximal. Every neighborhood $U$ of $y$ admits arbitrarily large $n$ with $T^{n}x,T^{n}y\in U$. First shrink $U$ to an open neighborhood, then choose an open $V$ with $y\in V$ and $\overline{V}\subseteq U$. Minimality and compactness give a finite cover of the orbit closure of $y$ by $T^{-j}V$, $0\le j\le J$. Uniform continuity of these finitely many iterates turns a sufficiently close proximal encounter into a common visit to $U$ after at most $J$ more steps. If the proximal encounters occur only at bounded times, a zero distance at some time makes the two future orbits coincide, and minimality then gives arbitrarily late common visits. Thus injectivity is not needed for this general lemma.

Let $f:M\to N$ be a continuous map between oriented $d$-dimensional manifolds, with $d\ge 1$. Suppose $x$ is an isolated point of the fiber over $y=f(x)$. Choose an open neighborhood $U$ with $U\cap f^{-1}(y)=\{x\}$. The map of pairsinduces a map between rank-one degree-$d$ local homology groups. Relative to the local orientation of a manifold, this map is multiplication by an integer, the local degree. Excision makes it independent of the neighborhood. A smooth map between manifolds with invertible derivative at $x$ has local degree $\mathrm{sign}\det D{f}_x$, by the inverse function theorem and the chosen orientations.