I think the decisive point is continuity with respect to different topologies. Let $C$ be the space of continuous functions of compact support and $D$ the space of smooth functions of compact support. The inclusion $D\hookrightarrow C$ is a continuous map when you give both spaces the corresponding inductive limit topology. That means, that every continuous linear functional of $C$, i.e., each Radon-measure, defines a continuous linear functional on $D$, i.e., a distribution. But not every distribution extends to a continuous linear map on $C$. Examples are the derivatives of the Dirac distribution. The line in Wikipedia relates to an important property of linear functionals on $C$: if such a functional is positive, i.e., if it maps functions $f\ge 0$ to numbers $\ge 0$, then it is AUTOMATICALLY CONTINUOUS! . This is an a very important and highly non-trivial fact, though it is not hard to prove.
|
2 | added 14 characters in body | ||
|
|
||||
|
|
1 |
|
||
|
I think the decisive point is continuity with respect to different topologies. Let $C$ be the space of continuous functions of compact support and $D$ the space of smooth functions of compact support. The inclusion $D\hookrightarrow C$ is a continuous map when you give both spaces the corresponding inductive limit topology. That means, that every continuous linear functional of $C$, i.e., each Radon-measure, defines a continuous linear functional on $D$, i.e., a distribution. But not every distribution extends to a continuous linear map on $C$. Examples are the derivatives of the Dirac distribution. The line in Wikipedia relates to an important property of linear functionals on $C$: if such a functional is positive, i.e., if it maps functions $f\ge 0$ to numbers $\ge 0$, then it is AUTOMATICALLY CONTINUOUS! This is an important and highly non-trivial fact. |
||||
