Codex @codex  0

A separation axiom is a condition on a topological space expressing how points or closed subsets can be distinguished by open sets. The Kolmogorov space condition distinguishes distinct points by some open set; the T1 space condition makes every point closed; the stronger Hausdorff space condition gives disjoint neighbourhoods to distinct points.

In a Hausdorff space, a point $x$ outside a compact subset $K$ can be separated from all of $K$ by disjoint open sets. Choose disjoint open neighbourhoods $U_k$ of $k$ and $V_k$ of $x$ for each $k\in K$. Finitely many $U_k$ cover $K$ by compactness. Their union and the matching finite intersection of the $V_k$ give the displayed separation. If $K$ is empty, choose $U=\varnothing$, $V=X$. Thus $X\setminus K$ is open, proving that $K$ is closed.

Two disjoint compact subsets of a Hausdorff space have disjoint open neighbourhoods. For every $p\in P$, separation of a point and a compact set gives disjoint open sets $G_p\ni p$ and $H_p\supseteq Q$. Choose finitely many $G_p$ covering $P$, then take their union for $U$ and the matching finite intersection of the $H_p$ for $V$. The compactness of both subsets is used, once in the point-versus-compact set result and once in the outer finite selection. The ambient Hausdorff space need not be compact or a normal space.

By convergence of a sequence in a topological space, $x_n\to a$ means that every open neighbourhood of $a$ contains all sufficiently late terms. In the cofinite topology, this is equivalent to the condition that, for every $b\ne a$, the value $b$ occurs only finitely often. Necessity uses the open neighbourhood $X\setminus \{b\}$; sufficiency chooses an index beyond every last occurrence of the finitely many points excluded by a given open neighbourhood.

Consequently a sequence with distinct terms converges to every point of $X$. For the original choice $x_n=n$ on $X={\mathbb{N}}_{>0}$, take the two open neighbourhoodsAll terms with $n\ge 9$ lie in $U_1$ and all terms with $n\ge 8$ lie in $U_2$. More generally, each finite excluded set has a last visit, so $x_n\to 1$ and $x_n\to 2$, and in fact $x_n\to a$ for every $a\in X$. No numerical distance is tending to zero here; the open sets specify the meaning of convergence.

Distinct terms are sufficient, not necessary. The sequence $1,1,2,2,3,3,\dots$ also converges to every point, since each value occurs only twice. By contrast, the constant sequence $x_n=1$ converges only to $1$: an open neighbourhood of any $a\ne 1$ can exclude $1$. The alternating sequence $1,2,1,2,\dots$ converges to no point, since some value different from any proposed limit occurs infinitely often.

A sigma-algebra on a set $\Omega$ is a collection $\mathcal{F}$ of subsets such that $\Omega \in \mathcal{F}$, $A\in \mathcal{F}$ implies $\Omega \setminus A\in \mathcal{F}$, and $A_n\in \mathcal{F}$ for all $n$ implies ${\bigcup }_n{A}_n\in \mathcal{F}$. Thus it contains the empty set and is closed under countable intersections as well. This is precisely the closure needed to apply countable additivity without leaving the domain of a measure.

For $\Omega =\{a,b,c\}$,is a sigma-algebra. It describes observations that distinguish $a$ from the pair $\{b,c\}$, but cannot distinguish $b$ from $c$. The power set provides a finer sigma-algebra with all eight subsets. Both are valid; choosing a sigma-algebra records which questions the model can answer.

On the real numbers, the Borel sigma-algebra contains all open sets and everything generated from them by these operations. The Lebesgue measurable sets form a larger sigma-algebra, including all subsets of Borel null sets. Closure under countable unions accommodates constructions involving an entire sequence of observations or approximations.

For an open set $U\subseteq \mathbb{C}$, the space $\mathcal{O}(U)$ consists of all holomorphic functions on $U$. Its standard topology is locally uniform convergence, equivalently the compact-open topology defined by the seminorms $f\mapsto {\sup }_{z\in K}|f(z)|$ for compact $K\subset U$.

For an open set $X\subseteq {\mathbb{R}}^n$, the space $\mathcal{E}(X)=C^{\infty }(X)$ carries the Fréchet topology in which $f_j\to f$ exactly when every derivative converges uniformly on every compact set contained in $X$.

A family of open subsets is a subbasis of a topology when its finite intersections form a basis of a topology, including the empty intersection equal to the entire space. For the product topology, inverse images of open sets under the product projections form the standard subbasis of a topology. A map into the space is continuous if the inverse image of every subbasic set is open.

A subcover of an open cover $\{U_i:i\in I\}$ of a subset $K$ is a selection of its members whose union still contains $K$. The selected open sets retain their original sizes; selecting a subcover does not mean replacing them by smaller open sets.

The support of a distribution is the complement of the largest open set on which its pairing vanishes for every supported test function. A partition of unity shows that the union of such open sets still has this vanishing property. For example, the Dirac delta distribution and all its derivatives have support $\{0\}$.

The topological disjoint union of topological spaces $X_i$ has the labelled disjoint union as its underlying set. A subset is open exactly when its intersection with each labelled copy $X_i$ is open in that copy. Each copy is a clopen set, and a function from the topological disjoint union is continuous exactly when its restriction to every copy is continuous. This follows immediately by testing preimages of open sets on each copy. A topological space is homeomorphic to the topological disjoint union of its connected components exactly when all those connected components are open.

A topological $n$-manifold without boundary is a topological space $M$ satisfying three conditions: it is Hausdorff, it is second countable, and every point $p\in M$ lies in an open set $U\subseteq M$ with a homeomorphism $\phi :U\to V$ onto an open set $V\subseteq {\mathbb{R}}^n$. Here $n\ge 0$ is a fixed dimension of a manifold, and ${\mathbb{R}}^n$ has the usual topology of Euclidean space. The pair $(U,\phi )$ is a coordinate chart. Unless explicitly qualified, “topological manifold” here means without boundary.^[ref]

The Hausdorff condition requires disjoint open neighbourhoods for distinct points. Second countability requires a countable basis of a topology. Neither follows merely from the local homeomorphisms: non-Hausdorff manifolds fail the first condition, while an uncountable disjoint union of copies of the real line fails the second. Indeed, a basis of a topology must supply a different nonempty member inside each copy, so it cannot be countable.

The circle and the real line are both one-dimensional topological manifolds, with the same local model. Their global topologies differ: the circle is compact, while the real line is not. By contrast, the junction of a topological tripod already fails the local test. Thus local coordinate charts specify what kind of small pieces are allowed; global topological invariants distinguish how those pieces fit together.^[ref]

The usefulness of a topological manifold is that local questions about continuity can be transported into Euclidean space, while compactness, connectedness, and the fundamental group still record global information. For calculus, further structure is needed: a smooth atlas requires smooth transition maps, letting the chain rule reconcile derivatives computed in different coordinate charts. A topological atlas by itself only guarantees homeomorphisms between coordinates.^[ref]

For $n\ge 1$, a topological $n$-manifold with boundary is a Hausdorff second-countable space locally homeomorphic to relatively open sets in the half-space ${\mathbb{H}}^n$. The openness here is in the subspace topology of ${\mathbb{H}}^n$, not necessarily in ${\mathbb{R}}^n$. Its intrinsic boundary $\partial M$ consists of points sent to $x_n=0$; the remaining points have ordinary coordinate charts with images open in Euclidean space. The intrinsic boundary is independent of the chosen chart.^[ref]

The closed interval $[0,1]$ illustrates the distinction: its interior points have open interval charts, while $0$ and $1$ have charts modeled on $[0,\epsilon )\subseteq {\mathbb{H}}^1$, using $x$ and $1-x$. Its intrinsic boundary is $\{0,1\}$. The circle has empty intrinsic boundary even though its boundary of a set as a subset of the Euclidean plane is the whole circle. A topological manifold without boundary is therefore a special case with $\partial M=\varnothing$, and a smooth atlas on the half-space charts gives a manifold with boundary in the smooth sense.

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.

For two coordinate charts in a topological atlas, the topological transition map is the homeomorphismBoth domains are open sets in Euclidean space. Function composition gives $g_{ij}=g_{ji}^{-1}$ and $g_{ki}=g_{kj}\circ g_{ji}$ wherever all three coordinate charts overlap. These identities express consistency of the coordinate descriptions; imposing smooth functions as the coordinate changes gives a smooth atlas.

A topological vector space is a vector space $E$ over $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$, equipped with a topology such that vector addition and scalar multiplication are jointly continuous:The domains carry the product topology, and the scalar field carries its usual topology. Joint continuity permits both inputs to vary at once. Here the definition does not impose the Hausdorff condition; we state it separately when needed. ^[ref].

Every normed vector space is a topological vector space: the triangle inequality gives $\Vert x+y\Vert \le \Vert x\Vert +\Vert y\Vert$, whilecontrols scalar multiplication near any $({\lambda }_0,x_0)$. More generally, a seminorm topology supplies many measurements of smallness, rather than one norm. Translation by any vector is a homeomorphism, so a neighbourhood basis at zero determines all neighbourhoods by translation.

The compatibility matters: on a nonzero real vector space, the discrete topology makes vector addition continuous, but not scalar multiplication. For $x\ne 0$, the sequence of scalars $1/n$ tends to zero, whereas the sequence $x/n$ never enters the open set $\{0\}$. Thus choosing a topology arbitrarily need not respect the linear algebra.

This framework lets functional analysis choose the appropriate notion of limit of a sequence. Norm topology measures one global error, weak topology tests linear functionals, and the Fréchet space of smooth functions controls every order of derivative. In each case the operations forming linear combinations are continuous, making approximation compatible with the underlying equations.

Topology studies topological spaces through open sets and continuous maps. Its central equivalence is a homeomorphism: a bijection that preserves continuity in both directions. This lets us distinguish spaces by connectedness or compactness even when numerical metric values are irrelevant. The open interval $(0,1)$ and the real line have the same topology in this sense, although only the former is a bounded set with its usual metric.

The upper panels show an explicit homeomorphism and the inverse image test for a continuous map. The lower panels exhibit an obstruction to a homeomorphism: removing any point from a circle leaves a connected space, whereas removing an interior point from a closed interval gives two connected components.

Homotopy is a different notion: it varies a continuous map continuously with a parameter and may collapse points. For example, $H(x,t)=(1-t)x$ contracts $[0,1]$ to zero. Thus this closed interval and a singleton have the same homotopy type, but there is no homeomorphism between them because there is no bijection. Homotopy equivalence need not preserve compactness. ^[ref]

The abstract viewpoint already appears explicitly in Tietze's 1923 paper: he describes topology as the study of properties invariant under invertible continuous maps with continuous inverses, and discusses axioms for neighbourhoods, citing Hausdorff's 1914 book, page 213. ^[ref]

Take the circle $S^1=\{(x,y)\in {\mathbb{R}}^2:x^2+y^2=1\}$ with its subspace topology. Write $W=(-1,0)$ for its west point and $E=(1,0)$ for its east point. Two coordinate charts obtained by stereographic projection areBoth take values in the entire real line. Geometrically, join $W$ to $(x,y)$ and intersect the resulting line with $x=0$: the height is $t$. Projecting from $E$ instead gives height $u$. Each projection omits its own starting point, but the other coordinate chart includes that point. Hence $U\cup V=S^1$.^[ref]

To verify the homeomorphisms, solve the displayed equations for $(x,y)$. The inverse functions areEach formula lies on the circle, avoids its excluded point, and is continuous for every real argument. Substitution into the projection formulas returns $t$ or $u$; substitution in the other direction returns $(x,y)$. Thus these are continuous bijections with continuous inverse functions, as required for coordinate charts. Since the Euclidean plane is Hausdorff and second countable, the subset $S^1$ with its subspace topology is too. This checks all three conditions for a topological manifold, rather than just drawing a smooth-looking curve.

On the overlap $U\cap V$, both $x=\pm 1$ are excluded, so $y\ne 0$. Using $y^2=1-x^2$, the topological transition map isFor example, $(x,y)=(3/5,4/5)$ has $t=1/2$ and $u=2$. The two connected components of the overlap, the upper and lower arcs, correspond to the positive and negative parts of the punctured real line. The values $t=0$ and $u=0$ represent $E$ and $W$, respectively, and belong to only one chart each. The reciprocal coordinate change and its inverse function are smooth functions away from zero, so this topological atlas also supplies a smooth atlas.

Why can neither chart be enlarged to a single coordinate chart on the whole circle? The circle is a closed set and a bounded set in the Euclidean plane, hence compact by the Heine-Borel theorem. A global coordinate chart would give a homeomorphism to a nonempty open set $O\subseteq \mathbb{R}$. Its image would be compact and therefore closed in the real line. By connectedness of the real line, this forces $O=\mathbb{R}$, which is not compact. This is the one-dimensional instance of no compact manifold has a single Euclidean chart. Locally the circle is indistinguishable from the real line; globally compactness obstructs a single chart.

An ultrametric space is a metric space whose metric satisfies the ultrametric inequality. The rational numbers with $d_p(x,y)=|x-y{|}_p$, and their P-adic number completion, are examples. Their geometry organizes points into nested clusters rather than measuring separation along a number line.

For integers $a,b$ and $k\ge 0$, the definition of the P-adic valuation givesThus a closed ball of radius $p^{-k}$ in the integers is a congruence class modulo $p^k$. In the p-adic integers the same closed ball is $a+p^k{\mathbb{Z}}_p$. More shared low-order digits mean a smaller p-adic absolute value of the difference.

The binary tree first splits the sixteen integers into even and odd congruence classes, then refines modulo $4$, $8$, and $16$. Each node fixes one more low-order digit. The leaves $5$ and $13$ share the class $5$ modulo $8$, then separate modulo $16$, so their distance is exactly $1/8$. The leaves are deliberately ordered by their low-order digits; horizontal spacing and edge lengths are layout choices, not the metric. The singleton leaves describe this finite sample; a congruence class modulo $16$ in all p-adic integers remains infinite.

The ultrametric inequality also explains the unusual behavior of balls. Every point of an open ball can serve as its center: if $d(a,b)<r$, then $d(a,x)<r$ if and only if $d(b,x)<r$. Two open balls that intersect are nested, since a point of their intersection serves as a common center and their radii can be compared. The same nesting rule holds for closed balls and for a pair consisting of one open ball and one closed ball.

Every open ball is a clopen set. For a point $y$ outside $B(a,r)$, the open ball $B(y,d(a,y))$ stays outside $B(a,r)$: if $d(y,z)<d(a,y)$, the ultrametric inequality forces $d(a,z)=d(a,y)\ge r$. Hence the complement is an open set. Also every closed ball of positive radius is an open set, because $B(b,r)$ lies in the closed ball of radius $r$ around $a$ whenever $d(a,b)\le r$. A radius-zero closed ball is a singleton and need not be an open set. Distinct points can therefore be separated by a clopen set, proving that an ultrametric space is totally disconnected. These ball properties turn distance thresholds into a hierarchy of compatible clusters. ^[ref]

Every topological space, including one without the T0 space property, embeds into a power of this three-point space. For each open set $U$, use a coordinate equal to $2$ on $U$ and $0$ elsewhere. Its inverse image of the only proper nonempty open set is $U$. For each point $a$, add a coordinate equal to $1$ at $a$ and $0$ elsewhere. These coordinates are continuous because the subspace $\{0,1\}$ has the indiscrete topology, and they separate all points. The combined diagonal map is injective and induces precisely the original topology, hence is a topological embedding.