Distribution Space with Pointwise Addition and Pointwise Scalar Multiplication forms Vector Space

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\map {\DD'} {\R^d}$ be the distribution space.

Let $\struct {\C, +_\C, \times_\C}$ be the field of complex numbers.

Let $\paren +$ be the pointwise addition of distributions.

Let $\paren {\, \cdot \,}$ be the pointwise scalar multiplication of distributions over $\C$.


Then $\struct {\map {\DD'} {\R^d}, +, \, \cdot \,}_\C$ is a vector space.


Proof




Sources