Gaussian random variable in a Banach space (source code)

= Gaussian random variable in a Banach space
{c}

= Banach-valued Gaussian random variable
{c}
{synonym}

A random variable $X$ in a real <separable Banach space> $B$ is Gaussian when $\ell(X)$ has a <normal distribution> for every <continuous linear functional> $\ell\in B^*$. It is centered when all these <expected values> vanish. Its <probability law> is a <Gaussian measure>. Degenerate <normal distributions> are allowed.