# Gaussian measures on non-separable spaces

Let $X$ be a topological affine space which is neither separable nor metrizable. There are plenty of trivial Gaussian measures: each Dirac point-mass $\delta_x$ are the Gaussian measure with zero covariance and mean $x \in X$

When does a topological affine space $X$ admit a non-trivial Gaussian measure? Namely, one whose support is the whole space $X$? One can always construct a Gaussian measure supported on a finite-dimensional subspace of $X$, such as a line.

Is local convexity of $X$ a sufficient criterion for there to exist a Gaussian measure supported on all of $X$?

-
A measure concentrated in a line... is that considered non-trivial? – Gerald Edgar Mar 9 '13 at 17:12
why is there an algebraic-geometry tag? (it's not a complaint, it's curiosity) – Jacob Bell Mar 9 '13 at 21:48
@Gerald Edgar: good point. We can always construct measures which has support on a finite-dimensional subspace of $X$. Let's add the condition that the support of the measure is the whole space. – Tom LaGatta Mar 10 '13 at 20:31
@Jacob Bell: I suspect that algebraic geometers are the mathematicians who think the most about general categories of spaces like topological affine spaces. I put the tag to get their input. – Tom LaGatta Mar 10 '13 at 20:32
What does "gaussian measure" mean if there are no continuous linear functionals on the space? – Gerald Edgar Mar 10 '13 at 20:51

proving that 1) a Gaussian measure on a reflexive Banach space is always concentrated on a separable subspace, and 2) the canonical Gaussian cylinder measure of a nonseparable Hubert space cannot be extended to a $\sigma$-additive measure in any Banach space.
Indeed, this does answer the question. The Corollary to Theorem 2 states that there is no admissible norm on a non-separable Hilbert space. Since the support of the measure in affine space $X$ is the closure of the Cameron-Martin space corresponding to the covariance operator, the support of the measure must be separable. Consequently, there can be no Gaussian measure with full support in a non-separable affine space. Cheers. – Tom LaGatta Mar 11 '13 at 11:25