# Topology for test functions [closed]

One naive way to define a topology on test functions ${\mathcal D}(\Omega)$ would be to exhaust $\Omega$ by compacts $(K_n)$ and to take the metric induced by the semi-norm system $${\| f \|} _ {n} := \| f \|_{C^n(K _ {n} )},$$ i.e. $$d(f, g) = \sum _ n 2^{-n} \frac{ \|f-g\| _ {n} }{ 1+\|f-g\| _ {n} }$$ I read (without any reference) that this yields a non-complete space.

Do you know a reference or a concrete example how to show non-completeness?

-

## closed as no longer relevant by S. Carnahan♦Jan 8 '11 at 13:40

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

Oups, the answer is simple. Take $f_n$ such that $0 \le f_n \le 1$ with $f_n = 1$ on $K_n$ but $f_n = 0$ outside $K_{n+1}$. Then $\| f_n-f_m \|_k = 0$ for all $k \le \min(n, m)$. Therefore, letting $N$ such that $\sum_N^\infy 2^{-j} < \epsilon$ yields $d(f_n, f_m) < \eps$ for all $n, m > N$. – Bernhard Jan 8 '11 at 12:47
Do you wish your question to be closed? – Wadim Zudilin Jan 8 '11 at 12:55