Skip to main content

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)$$n(\phi) \leqslant C\ p_k(\phi)$ and which defines the topology, i.e. such that for all $k$, $p_k(x) \leqslant C_k.n(x)$$p_k(\phi) \leqslant C_k\ n(\phi)$.

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

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.

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(\phi) \leqslant C\ p_k(\phi)$ and which defines the topology, i.e. such that for all $k$, $p_k(\phi) \leqslant C_k\ n(\phi)$.

This would imply that all the norms $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$ norms but not for the following.

Source Link
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.