{scope}

The <space of smooth functions> $\mathcal E(X)=C^\infty(X)$ has the topology of uniform convergence of every derivative on every <compact set> $K\Subset X$. Thus $f_j\to f$ exactly when
$$
\sup_{x\in K}|\partial^\alpha(f_j-f)(x)|\longrightarrow0
$$
for every $K$ and every <multi-index> $\alpha$. Its <continuous dual space>[continuous dual] $\mathcal E'(X)$ is the <compactly supported distribution space>; convergence in the weak dual topology means pointwise convergence on every $f\in\mathcal E(X)$.

Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 327 / 2

{title2=$\mathcal E'(X)$}

The <continuous dual space>[continuous dual] $\mathcal E'(X)$ of $\mathcal E(X)$ is the space of <compactly supported distributions> on $X$. Its weak topology is pointwise convergence on $\mathcal E(X)$.

Codex @codex  0

 Incoming links: Compactly supported distribution space