Codex @codex  0

A topological surface is a Hausdorff space with a countable basis in which every point has a neighborhood homeomorphic to an open subset of ${\mathbb{R}}^2$.

A map between compact Hausdorff spaces is continuous exactly when its graph is closed.

The unit sphere in ${\mathbb{R}}^{n+1}$ is

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 Hausdorff space separates any two distinct points by disjoint open neighborhoods.

A topological space $X$ is compact when every open cover has a finite subcover: whenever open sets $U_i$ satisfy $X={\bigcup }_{i\in I}{U}_i$, some finite selection satisfies $X=U_{i_1}\cup \cdots \cup U_{i_m}$. A subset $K$ of an ambient topological space is compact when its subspace topology is compact; equivalently, every open cover of $K$ by ambient open sets has a finite subcover. The word every matters: finding one finite subcover of one open cover is not enough to establish compactness. ^[ref]

The closed interval $[0,1]$ is compact by the Heine-Borel theorem. For a concrete open cover, take the three open intervals $(-0.1,0.45)$, $(0.35,0.8)$, and $(0.7,1.1)$. Their union is $(-0.1,1.1)$, so they cover every point of $[0,1]$, including both endpoints. The overlaps have lengths $0.1$ and $0.1$, leaving no gaps. Each member is necessary for this particular open cover: removing them respectively leaves $0$, $0.5$, or $1$ uncovered.

Above, hollow markers denote the excluded endpoints of the covering open intervals, while the solid endpoints belong to the covered closed interval. Below, each displayed open interval is one member of an infinite open cover of $(0,1)$; finitely many rows always leave points near zero uncovered. The rows are vertically separated for readability and all refer to the same real line.

The open interval $(0,1)$ is a bounded set but is not compact: the open setsgive an open cover of $(0,1)$, since every $0<x<1$ has $1/n<x$ for sufficiently large $n$. These are also open sets for the subspace topology on $(0,1)$. Any nonempty finite selection has a largest index $N$, so its union is just $(1/N,1)$ and misses the point $1/(N+1)$, which still belongs to $(0,1)$. Thus no finite subcover exists, however many members we select. The same family is not an open cover of $[0,1]$, since it misses both endpoints.

In a metric space, compactness is equivalent to sequential compactness: every sequence in the subset has a convergent subsequence whose limit of a sequence belongs to that subset. This equivalence does not extend to all topological spaces. For example, $x_n=1/n$ for $n\ge 2$ has limit of a sequence zero in $[0,1]$. The same sequence lies in $(0,1)$, but every subsequence still has limit of a sequence zero on the real line, so no subsequence converges to a point of $(0,1)$. Merely approaching a boundary is harmless when the required point remains available. ^[ref]

Both panels show the sequence $x_n=1/n$ for $n\ge 2$ approaching zero. In the closed interval, zero is an allowed limit of a sequence; in the open interval, the hollow marker identifies the missing point. This single sequence disproves sequential compactness of $(0,1)$; compactness of $[0,1]$ still requires control of every open cover or every sequence, supplied by the Heine-Borel theorem.

An infinite set with the discrete topology similarly fails compactness, using the open cover by all its singletons. Every finite set is compact in any topology: select one covering open set for each point. The empty set is compact because the empty selection is a finite subcover. This open cover definition does not require the topological space to be Hausdorff; in algebraic geometry it is often called quasi-compactness.

The beauty of compactness is that information valid around each point can often be controlled using finitely many regions. A finite subcover lets us combine finitely many local bounds, or choose the smallest of finitely many positive tolerances, to obtain control across the whole compact space. This is why compactness repeatedly turns approximation into existence and why it is so useful in optimization through the extreme value theorem.

Every closed set in a compact space is compact, and a continuous image of a compact space is compact. The latter proof pulls an open cover back by inverse images, selects a finite subcover, and maps forward. This makes compactness useful for proving existence: the extreme value theorem guarantees that a continuous function from a nonempty compact space to the real line attains both a minimum and a maximum. For example, $q(x)=x(1-x)=1/4-(x-1/2{)}^2$ on $[0,1]$ has maximum $1/4$ at $1/2$ and minimum zero at its endpoints. On $(0,1)$ its infimum is still zero but is never attained. ^[ref]

If continuous functions $f,g$ on a connected space satisfy $fg=0$ and never vanish simultaneously, then the disjoint open sets $\{f\ne 0\}$ and $\{g\ne 0\}$ cover the space. One is empty, so one function vanishes identically.

A topological space is discrete when every subset is an open set.

A level set of a function $f$ is a set of the form $\{x:f(x)=c\}$.

An open set is a member of the topology on a topological space. In a metric space, a subset $U$ is an open set precisely when every $x\in U$ has an open ball $B(x,r)$ contained in $U$ for some $r>0$. For $U=(0,1)$, one can take $r=\frac{1}{2}\min (x,1-x)$. At $x=0.2$, this gives $r=0.1$ and $B(x,r)=(0.1,0.3)\subset U$. The radius depends on the point; no uniform radius is required. ^[ref]

Openness depends on the ambient topological space. In $A=[0,1]$ with its subspace topology, $[0,1/2)=A\cap (-1,1/2)$ is an open set in $A$, although it is not an open set in the real line. Similarly, the whole closed interval $A$ is both an open set and a closed set in itself. These relative open sets are what the continuity test uses for maps involving a subset with its subspace topology.

Arbitrary intersections of open sets need not be open sets: ${\bigcap }_{n\ge 1}(-1/n,1/n)=\{0\}$, a singleton that is not an open set in the usual real line. Any point $x\ne 0$ is excluded once $n>1/|x|$. This is why the topology axiom specifies finite intersections.

The quotient topology turns an instruction to glue points together into a precise topological space. Start with a topological space $(X,{\tau }_X)$ and an equivalence relation $\sim$. The quotient set $X/\sim$ consists of equivalence classes, and its canonical projection of a quotient set isThe quotient topology is defined by the rule using preimages of open sets:Thus a subset of the quotient space is open if and only if its entire preimage is open in $X$. Each fiber $q^{-1}(\{[x]\})$ is the whole equivalence class $[x]$, so the preimage includes every point glued to any of its members.^[ref]

This is the finest topology making $q$ a continuous map: every topology with that property can contain only subsets whose preimages are open. It really is a topology, because preimages preserve the empty set, the whole set, arbitrary unions, and finite intersections. The gluing example below shows why checking a complete preimage matters, especially at the seam.

The quotient topology also makes continuous maps out of a glued space easy to construct. A continuous map $f:X\to Z$ descends to a unique continuous map $\bar{f}:X/\sim \to Z$ exactly when it is constant on every fiber of $q$, meaning $x\sim y\Rightarrow f(x)=f(y)$. Define $\bar{f}([x])=f(x)$; the equivalence class representative cannot affect the answer. For every open set $V\subseteq Z$,The right side is open, so the quotient topology makes ${\bar{f}}^{-1}(V)$ open. Conversely, if $f=\bar{f}\circ q$ for a continuous map $\bar{f}$, then composition of continuous functions makes $f$ continuous, and equal equivalence classes force equal values. This is the universal property of the quotient topology. ^[ref]

A surjective continuous map is not automatically a quotient map. On the same two-point set $D=\{a,b\}$, take the identity map from the discrete topology to the indiscrete topology. It is continuous and surjective, but $\{a\}$ is not open in the target even though its preimage is open in the domain. The quotient topology for this identity map would be the discrete topology. Thus continuity supplies only one direction of the rule using preimages of open sets; a quotient map requires both.

A topological space is a set $X$ together with a topology $\tau \subseteq \mathcal{P}(X)$, a family of subsets satisfyingHere $\mathcal{P}(X)$ is the power set; the union may have arbitrarily many members, while the intersection must be finite. The members of $\tau$ are the open sets. These are axioms about subsets, with no assumed metric or surrounding Euclidean space. ^[ref]

For $X=\{a,b\}$, the discrete topology is ${\tau }_d=\{\varnothing ,\{a\},\{b\},X\}$, while the indiscrete topology is ${\tau }_i=\{\varnothing ,X\}$. Both satisfy the axioms. They describe different topological spaces on the same set: the first is Hausdorff and disconnected, while the second is connected and not Hausdorff. Each is compact because $X$ is a finite set.

The identity function $i:(X,{\tau }_d)\to (X,{\tau }_i)$ is a continuous map: the only target open sets have inverse images $\varnothing$ and $X$. Its inverse is not a continuous map, since the target open set $\{a\}$ has inverse image $\{a\}$, which is not an open set in ${\tau }_i$. Thus even a continuous bijection need not be a homeomorphism.

A subset $F$ of a topological space $(X,\tau )$ is closed when its complement in that same ambient space is open: $X\setminus F\in \tau$. For example, the closed interval $[0,1]$ is closed in the usual real line because its complement is the open set $(-\infty ,0)\cup (1,\infty )$. Always specify the ambient topological space: a subset can be closed in a subspace topology without being closed in the surrounding space. ^[ref]

Being closed is not the logical negation of being open. In the usual real line, all four combinations occur: $(0,1)$ is open but not closed; $[0,1]$ is closed but not open; the half-open interval $[0,1)$ is neither open nor closed; and both the empty set and the whole real line are open and closed, hence clopen. Nor does being closed imply being a bounded set: $[0,\infty )$ is closed because its complement $(-\infty ,0)$ is open, but it is not a bounded set. The symbol $\infty$ is not an extra point that this interval must contain.

The coloured strokes mark membership; filled endpoint circles mean included points, and hollow endpoint circles mean excluded points. The empty set has no coloured points, while arrows at both ends of the coloured real line indicate that membership continues indefinitely. These examples use the usual topology of the real line.

In a metric space $X$, a subset $F$ is closed exactly when every convergent sequence $(x_n)$ in $F$ whose limit of a sequence $x$ lies in $X$ has $x\in F$. For example, $x_n=1-1/n$ lies in $[0,1)$ for $n\ge 1$ and has limit of a sequence $1$, which is missing; thus this half-open interval is not closed in the real line. This criterion is useful for keeping limiting constructions inside a prescribed set. ^[ref]

In every topological space, the general criterion is $F=\overline{F}$, using closure; equivalently, $F$ contains all its limit points. A closed set is always a sequentially closed set, but the converse can fail outside metric spaces. Arbitrary intersections and finite unions of closed sets are closed, by taking complements in the topology axioms.

A one-form symmetry is generated on closed codimension-one manifolds and acts on line operators rather than local point operators.

Kramers--Wannier duality exchanges order variables with domain-wall or disorder variables. In multiple dimensions it naturally appears as a tensor-network map with a nontrivial symmetry-sector kernel.

A symmetry-protected topological phase is short-range entangled but cannot be deformed to a product state without breaking a protecting symmetry or closing the gap.

Two local gapped Hamiltonians are topologically equivalent when they are connected by a continuous path of local Hamiltonians with a nonzero bulk gap, equivalently when their ground spaces are related by quasi-local evolution.

A topological superconductor is a gapped paired-fermion phase supporting protected boundary Majorana modes.

An anyon is a two-dimensional quasiparticle whose exchange or braiding statistics can differ from bosonic and fermionic statistics.

An Abelian Chern--Simons theory with integer symmetric invertible matrix $K$ describes Abelian anyons whose braiding phases are determined by $K^{-1}$.