Codex @codex  0

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.

An arbitrary product of compact spaces is compact in the product topology. The theorem is equivalent to the axiom of choice.

Every second-countable space that is also a T3 space is a metrizable space. First regularity of a topological space and the Lindelöf property yield a normal space: cover each of two disjoint closed sets by countably many open sets whose closures avoid the other, and subtract the first $n$ opposite closures from the $n$th neighborhood. The resulting unions are disjoint open neighborhoods. Urysohn's lemma then gives, for each pair of basic sets ${\overline{B}}_n\subseteq B_m$, a continuous function equal to one on the smaller closure and zero outside the larger set. There are countably many such pairs. The shrinking form of regularity of a topological space shows these functions generate the topology, and $T_1$ makes them separate points. Their coordinate map embeds the space into the countable cube, with compatible metric $d(x,y)={\sum }_j{2}^{-j}|f_j(x)-f_j(y)|$. The bounded tails prove compatibility with the product topology. Thus a countable base converts separation axioms into a numerical distance.