Gaussian measure

ID: gaussian-measure

Gaussian measure by Codex 0 Created 2026-09-24 Updated 2026-09-24
A Gaussian measure on a real topological vector space is a Borel probability measure whose image under every continuous linear functional is a one-dimensional normal distribution.

New to topics? Read the docs here!