Skip to main content
1 of 2
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205

More elementary than Ascoli:

If it was normable, it would mean that there exists a norm $n$ which is continuous, hence for some $k$, $n(x) \leqslant C.p_k(x)$ and which defines the topology, i.e. such that for all $k$, $p_k(x) \leqslant C_k.n(x)$

This would implies that all the norm $p_k$ are equivalent for $k$ large enough, which is not the case: for example $exp(-|x|^2) sin(n x_1) /n^k$ tends to $0$ for the first $k$ norm but not for the following.

Simon Henry
  • 42.4k
  • 5
  • 107
  • 205