Structure theorem for Gaussian measures

In mathematics, the structure theorem for Gaussian measures shows that the abstract Wiener space construction is essentially the only way to obtain a strictly positive Gaussian measure on a separable Banach space. It was proved in the 1970s by Kallianpur–Sato–Stefan and Dudley–Feldman–le Cam.

There is the earlier result due to H. Satô (1969) ^[1] which proves that "any Gaussian measure on a separable Banach space is an abstract Wiener measure in the sense of L. Gross". The result by Dudley et al. generalizes this result to the setting of Gaussian measures on a general topological vector space.

Statement of the theorem

Let γ be a strictly positive Gaussian measure on a separable Banach space (E, || ||). Then there exists a separable Hilbert space (H, ⟨ , ⟩) and a map i : H → E such that i : H → E is an abstract Wiener space with γ = i_∗(γ^H), where γ^H is the canonical Gaussian cylinder set measure on H.

References

^ H. Satô, Gaussian Measure on a Banach Space and Abstract Wiener Measure, 1969.

Dudley, Richard M.; Feldman, Jacob; Le Cam, Lucien (1971). "On seminorms and probabilities, and abstract Wiener spaces". Annals of Mathematics. Second Series. 93 (2): 390–408. doi:10.2307/1970780. ISSN 0003-486X. JSTOR 1970780. MR 0279272.390-408&rft.date=1971&rft.issn=0003-486X&rft_id=https://mathscinet.ams.org/mathscinet-getitem?mr=0279272#id-name=MR&rft_id=https://www.jstor.org/stable/1970780#id-name=JSTOR&rft_id=info:doi/10.2307/1970780&rft.aulast=Dudley&rft.aufirst=Richard M.&rft.au=Feldman, Jacob&rft.au=Le Cam, Lucien&rfr_id=info:sid/en.wikipedia.org:Structure theorem for Gaussian measures" class="Z3988">

[1] H. Satô, Gaussian Measure on a Banach Space and Abstract Wiener Measure, 1969.

[1]