Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $X$ be a topological affine space. A Gaussian measure on $X$ is characterized by the property that its finite-dimensional projections are multivariate Gaussian distributions.

Is there a direct characterization of a Gaussian measure which does not rely on finite-dimensional projections? This definition is analogous to describing a duck as the animal whose shadows look like $2$-dimensional ducks. The definition is sufficient for doing analysis, but to me it misses the essence of what a Gaussian measure is as a mathematical object in and of itself.


Here is the precise definition of a Gaussian measure that I usually work with, which relies on the fact that Gaussians are entirely described by their covariance structure.

For $X$ a topological affine space as above, let $X^*$ denote its dual space of affine functionals. The dual space is a linear space, since there there is a natural zero functional $0 \in X^*$.

Let $K : X^* \to X$ be a continuous affine operator which is symmetric and non-negative-definite. i.e., $f'(Kf) = f(Kf')$ and $f(Kf) \ge 0$ for all $f, f' \in X^*$. Let $m_K := K(0)$ denote the image of the zero functional.

There is a unique Gaussian measure $P_K$ on $X$ with mean point $m_K \in X$ and covariance operator $K : X^* \to X$. That is, if $\pi : X \to \mathbb R^n$ denotes a finite-dimensional projection, then the push-forward measure $\pi_* P_K := P_K \circ \pi^{-1}$ is an $n$-dimensiona Gaussian distribution with mean vector $\pi(m_K) \in \mathbb R^n$ and covariance matrix $\pi K \pi^*$, where $\pi^* : (\mathbb R^n)^* \to K^*$ denotes the formal adjoint operator.

Furthermore, the structure theorem for Gaussian measures states that all Gaussian measures arise in this way. Consequently, we may parametrize the space of Gaussian measures by the space $\mathcal K(X)$ of symmetric, non-negative operators from $X^*$ to $X$.

This provides a weak answer to the question stated at the top of this post: yes, Gaussian measures can be directly characterized by their covariance structure. Consequently, here is the stronger form of my question:

  • Is there a geometric description of the space $\mathcal K(X)$ of Gaussian covariance operators?

For example, is the space $\mathcal K(X)$ an infinite-dimensional manifold? What is its symmetry group?


Edit: My above post implicitly defines the covariance form incorrectly. In the affine setting, the covariance form is defined by $\langle f', f \rangle_K := f'(Kf) - f'(0)$, and the conditions of symmetry and non-negative-definiteness are $\langle f', f \rangle_K = \langle f, f' \rangle_K$ and $\langle f, f \rangle_K \ge 0$, respectively. It is an easy exercise to verify that this defines a bilinear form on the dual space $X^*$ of affine functionals.

share|improve this question
2  
Hi Tom. At least for a real Banach space $X$, one may define a Gaussian measure $\gamma$ on $X$ by duality, that is a measure such that for any $f\in X^*$, $f_*\gamma$ is a (real) Gaussian measure. Maybe it does not help to much, but my point is that, for me, this is more about duality than projections. (see e.g. en.wikipedia.org/wiki/Abstract_Wiener_space) –  Adrien Hardy Mar 3 '13 at 23:10
1  
+1: Very nice question Tom! I've always been a little dissatisfied with this projection based description. –  Suvrit Mar 4 '13 at 0:06
4  
you can define being Gaussian by saying the moments are given by the Isserlis-Wick's theorem or the log-moment generating function is quadratic. –  Abdelmalek Abdesselam Mar 4 '13 at 14:41

2 Answers 2

up vote 9 down vote accepted

You could alternatively try defining Gaussian measures as $2$-stable distributions. This does remove any reliance on finite dimensional projections, and even removes reference to topology. Let $V$ be a measurable vector space (by which, I mean a real vector space $V$ with sigma-algebra $\mathcal{F}$ with respect to which addition and multiplication are measurable).

A probability measure $\mu$ on $V$ is then a centered Gaussian iff, for any independent pair $X,Y$ of $V$-valued random variables each with measure $\mu$, then $aX+bY$ also has measure $\mu$ for all $a,b\in\mathbb{R}$ with $a^2+b^2=1$.

If $A$ is a (measurable) affine space with underlying vector space $V$, then we could similarly say that $\mu$ is Gaussian iff there exists an $m\in A$ such that $X-m$ is a centered Gaussian on $V$ for a random variable $X$ with measure $\mu$.

Several facts should then follow quickly from this:

  • Affine maps take Gaussians to Gaussians, and linear maps take centered Gaussians to centered Gaussians.
  • Linear combinations of independent (centered) Gaussians are again (centered) Gaussians.
  • On separable Banach spaces, the definition is equivalent to the standard one as measures whose one-dimensional projections are Gaussian. More generally, this holds for any locally convex space on which addition is jointly Borel measurable (e.g., separable Frechet spaces).
  • The definition even makes sense for, e.g., separable F-spaces which can have trivial dual. (Whether it is actually useful to consider Gaussians in such spaces is another question).

This seems to give an answer first paragraph of the question, and does not depend on projections. I'm not sure if it is going in the direction that the question was asking for though, as it says nothing about the stronger form of the question further down and didn't mention covariance operators at all.

share|improve this answer
    
Thanks, George. This pretty well answers my question, and at a deeper level of generality than I was asking at originally. –  Tom LaGatta Apr 18 '13 at 4:30

You ought to have a look at the $4$-th volume of Gelfand-Vilenkin on Generalized Functions where they describe this concept in great detail, albeit in an old-fashion language. The most comprehensive description I know can be found in Laurent Schwartz' book Radon measures.

Things are pretty reasonable for Gaussian measures defined on duals of nuclear spaces. The space of distributions (generalized functions) on an domain of $\mathbb{R}^n$ is such a space. The Wiener measure is defined on a space of generalized functions, but it is supported on a much "thinner" space.

Beyond duals of nuclear spaces you need to assume some things about the covariance operator $\mathscr{K}$.

In any case, have a look at the above two references.

Edit: The book Gaussian measures by Bogachev is also a very good source.

share|improve this answer
    
Thank you for the nice references, @Liviu Nicolaescu. –  Tom LaGatta Mar 5 '13 at 3:36
1  
Probably it should be Laurent Schwartz? –  newbie Apr 16 at 9:29

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.