Every vector space $X$ has a set of linear functionals $f: X \to \mathbb{C}$ — the *algebraic dual* $X^\#$. But the algebraic dual is too large to be useful: it contains pathological functionals constructed by the axiom of choice that ignore the topology of $X$ entirely. In analysis, one works instead with the **topological dual** $X'$ (or $X^*$): the subspace of linear functionals that are *continuous* with respect to the topology on $X$. The passage from $X^\#$ to $X'$ is where the topology of the underlying space enters, and different topologies on $X$ produce different duals — this is the mechanism behind the chain of inclusions $\mathcal{S}'(\mathbb{R}^n) \hookrightarrow \mathcal{D}'(\mathbb{R}^n)$ in distribution theory.

Having formed the dual space $X'$, one can equip it with several natural topologies — the norm topology (for [Banach spaces](/page/Banach%20Space)), the [weak-* topology](/page/Weak*%20Topology), and the strong dual topology — each giving different convergence properties and compactness theorems. The choice of topology on the dual is just as important as the choice of topology on $X$ itself, and the interplay between them governs existence arguments in PDE theory, the Fourier analysis of distributions, and the duality theory of locally convex spaces.

[motivation] ## Motivation ### The Algebraic Dual Is Too Large Given a vector space $X$ over $\mathbb{C}$, the **algebraic dual** $X^\#$ is the set of all [linear maps](/page/Linear%20Map) $f: X \to \mathbb{C}$. For finite-dimensional spaces, $X^\#$ has the same dimension as $X$ and every linear functional is automatically continuous in any topology compatible with the vector space structure. But for infinite-dimensional spaces, $X^\#$ is enormous — it contains linear functionals that are wildly discontinuous. For instance, let $X = L^2([0,1], \mathcal{L}^1)$ and let $\{e_\alpha\}_{\alpha \in A}$ be a Hamel basis (an algebraic basis, whose existence requires the axiom of choice). Define $f: X \to \mathbb{C}$ by $f(e_\alpha) = \alpha$ for some indexing where the values are unbounded, then extend by linearity. The resulting functional is linear but discontinuous — it sends a bounded sequence to an unbounded sequence of numbers. Such functionals are useless in analysis because they do not respect [limits](/page/Limit): if $x_n \to x$ in $X$, there is no guarantee that $f(x_n) \to f(x)$. What we need is a notion of dual space that restricts attention to those functionals that are compatible with the topology of $X$ — so that evaluating a functional commutes with taking limits. ### The Topology of $X$ Determines Which Functionals Are "Good" A linear functional $f: X \to \mathbb{C}$ is continuous if and only if the preimage $f^{-1}(U)$ of every [open set](/page/Open%20Set) $U \subseteq \mathbb{C}$ is open in $X$. For locally convex spaces, this is equivalent to a bound $|f(x)| \le C \cdot p(x)$ for some continuous seminorm $p$ on $X$. The key point is: **different topologies on $X$ give different notions of [continuity](/page/Continuity), and hence different dual spaces.** A functional that is continuous with respect to one topology may be discontinuous with respect to another. This is precisely what happens in distribution theory. The same underlying vector space $C_c^\infty(\mathbb{R}^n)$ is dense in $\mathcal{S}(\mathbb{R}^n)$, so the elements being tested are "the same," but the topology on $\mathcal{S}$ is weaker than the topology on $\mathcal{D} = C_c^\infty$ (Schwartz [functions](/page/Function) must decay rapidly, while [test functions](/page/Test%20Function) need only have compact support). Dualising reverses the inclusion: more test functions means fewer continuous functionals, so $\mathcal{S}'(\mathbb{R}^n) \subset \mathcal{D}'(\mathbb{R}^n)$. The topology on $X$ controls the size of the dual. ### The Dual Itself Needs a Topology Once we have the dual space $X'$, we need a topology on it to do analysis — to talk about convergence of [sequences](/page/Sequence) of functionals, continuity of maps between dual spaces, and compactness. There is no single "correct" topology on $X'$; different choices serve different purposes. The norm topology (when available) gives the strongest convergence but the weakest compactness. The [weak-* topology](/page/Weak*%20Topology) gives weaker convergence but powerful compactness theorems like [Banach-Alaoglu](/theorems/212). The strong dual topology sits between the two and is needed for the general duality theory of locally convex spaces. The choice of topology on the dual is a tool, not a fixed structure — and understanding which topology to use in which context is one of the core skills in functional analysis. [/motivation]

## The Algebraic Dual

We begin with the purely algebraic notion, which requires no topology.

[definition:Algebraic Dual] Let $X$ be a vector space over $\mathbb{C}$. The **algebraic dual** of $X$ is the vector space \begin{align*} X^\# := \{f: X \to \mathbb{C} \mid f \text{ is linear}\}, \end{align*} equipped with the vector space operations $(f + g)(x) := f(x) + g(x)$ and $(\alpha f)(x) := \alpha f(x)$ for $f, g \in X^\#$, $\alpha \in \mathbb{C}$, and $x \in X$. [/definition]

For finite-dimensional $X$ with $\dim X = n$, the algebraic dual $X^\#$ also has dimension $n$: if $\{e_1, \ldots, e_n\}$ is a basis for $X$, the coordinate functionals $e_i^*(x) := x_i$ (where $x = \sum_{i=1}^n x_i e_i$) form a basis for $X^\#$, called the **dual basis**. In this setting every linear functional is continuous in any norm, so the algebraic and topological duals coincide. The distinction between $X^\#$ and $X'$ is purely an infinite-dimensional phenomenon.

[example:The Algebraic Dual Is Strictly Larger In Infinite Dimensions] Let $X = c_{00}$ be the space of sequences with finitely many nonzero terms, equipped with the $\ell^1$ norm $\|x\|_{\ell^1} = \sum_{k=1}^\infty |x_k|$. The topological dual $(c_{00}, \|\cdot\|_{\ell^1})^*$ is $\ell^\infty$: every bounded linear functional has the form $f(x) = \sum_{k=1}^\infty a_k x_k$ for a unique bounded sequence $(a_k) \in \ell^\infty$, with $\|f\| = \sup_k |a_k|$. Now consider the algebraic functional $g: c_{00} \to \mathbb{C}$ defined by $g(e_k) = k$ on the standard basis vectors $e_k$ and extended by linearity. Since $\|e_k\|_{\ell^1} = 1$ but $g(e_k) = k \to \infty$, the functional $g$ is unbounded: $\|g\| = \sup_{\|x\| \le 1} |g(x)| = \infty$. Therefore $g \in X^\# \setminus X^*$ — it is linear but not continuous. [/example]

## The Topological Dual

### Definition for Normed Spaces

The simplest and most common setting is that of a normed space, where continuity of a linear functional is equivalent to boundedness.

The topology of a normed space $(X, \|\cdot\|)$ gives a clean criterion for which linear functionals belong to the dual: a linear functional $f: X \to \mathbb{C}$ is continuous if and only if the quantity $\sup_{\|x\| \le 1} |f(x)|$ is finite. This quantity then serves as a norm on the dual space, making it a Banach space even if $X$ was not complete.

[definition:Topological Dual Of A Normed Space] Let $(X, \|\cdot\|_X)$ be a [normed vector space](/page/Normed%20Vector%20Space) over $\mathbb{C}$. The **topological dual** (or simply **dual space**) of $X$ is \begin{align*} X^* := \{f: X \to \mathbb{C} \mid f \text{ is linear and continuous}\}, \end{align*} equipped with the **operator norm** \begin{align*} \|f\|_{X^*} := \sup_{\substack{x \in X \\ \|x\|_X \le 1}} |f(x)|. \end{align*} The space $(X^*, \|\cdot\|_{X^*})$ is a Banach space (complete normed space), regardless of whether $X$ itself is complete. [/definition]

The completeness of $X^*$ follows from the completeness of $\mathbb{C}$: if $(f_n)$ is Cauchy in $X^*$, then for each $x \in X$ the sequence $f_n(x)$ is Cauchy in $\mathbb{C}$ (since $|f_n(x) - f_m(x)| \le \|f_n - f_m\|_{X^*} \|x\|_X$), hence convergent. The pointwise limit $f(x) := \lim_n f_n(x)$ is linear, and a standard $\varepsilon/3$ argument shows $\|f_n - f\|_{X^*} \to 0$.

[example:Dual Spaces Of Classical Banach Spaces] **$\ell^p$ spaces.** For $1 \le p < \infty$, the dual of $\ell^p$ is $\ell^q$ where $1/p + 1/q = 1$. The pairing is \begin{align*} f_a(x) = \sum_{k=1}^\infty a_k x_k, \quad a = (a_k) \in \ell^q, \; x = (x_k) \in \ell^p, \end{align*} and the isometric isomorphism $(\ell^p)^* \cong \ell^q$ sends $f \in (\ell^p)^*$ to the sequence $a_k = f(e_k)$. For $p = 2$, this gives $(\ell^2)^* \cong \ell^2$ — a special case of the [Riesz Representation Theorem](/theorems/221). **$L^p$ spaces.** For $1 \le p < \infty$ and a $\sigma$-finite measure space $(E, \mathcal{E}, \mu)$, the dual of $L^p(E, \mu)$ is $L^q(E, \mu)$ with $1/p + 1/q = 1$. The pairing is \begin{align*} T_g(f) = \int_E f(x) g(x) \, d\mu(x), \quad g \in L^q, \; f \in L^p. \end{align*} The case $p = 1$ gives $(L^1)^* \cong L^\infty$. The dual of $L^\infty$ is *not* $L^1$ — it is a strictly larger space of finitely additive measures, which illustrates that the duality $L^p \leftrightarrow L^q$ breaks down at the endpoint. **$C_0(X)$.** For a locally compact Hausdorff space $X$, the dual of $C_0(X)$ (continuous functions vanishing at infinity) is the space of complex Radon measures $\mathcal{M}(X)$, by the Riesz-Markov-Kakutani theorem. This is the measure-theoretic instance of duality: continuous functions are tested against measures. [/example]

### Definition for Locally Convex Spaces

For spaces that are not normed — such as $\mathcal{D}(\Omega)$, $\mathcal{S}(\mathbb{R}^n)$, or general [locally convex spaces](/page/Topological%20Vector%20Space) — continuity is characterised by seminorm bounds rather than a single norm. The definition of the topological dual generalises seamlessly.

[definition:Topological Dual Of A Locally Convex Space] Let $(X, \{p_\alpha\}_{\alpha \in A})$ be a locally convex topological vector space with topology generated by a family of seminorms $\{p_\alpha\}_{\alpha \in A}$. The **topological dual** of $X$ is \begin{align*} X' := \{f: X \to \mathbb{C} \mid f \text{ is linear and continuous}\}. \end{align*} A linear functional $f: X \to \mathbb{C}$ belongs to $X'$ if and only if there exist finitely many indices $\alpha_1, \ldots, \alpha_m \in A$ and a constant $C > 0$ such that \begin{align*} |f(x)| \le C \cdot \max_{j=1,\ldots,m} p_{\alpha_j}(x) \quad \text{for all } x \in X. \end{align*} [/definition]

The seminorm characterisation makes the dual "constructive": to verify that a given linear functional is continuous, one exhibits a finite set of seminorms and a constant. For normed spaces, there is only one seminorm (the norm), and the condition reduces to $|f(x)| \le C\|x\|$, recovering the operator norm definition.

### Why the Topology on $X$ Matters