抽象維納空間（abstract Wiener space）

抽象維納空間是 Leonard Gross 對「無窮維空間上的高斯測度究竟是什麼」的提煉。它把三個角色——容許方向的希爾伯特空間、測度實際棲居的更大巴拿赫空間、以及高斯測度本身——打包成一個典範三元組，並解釋一個奇怪事實：高斯測度棲居在嚴格「大於」你出發的希爾伯特空間之上。

抽象維納空間是三元組 (H, B, mu)，其中 H 為可分希爾伯特空間（卡梅倫-馬丁空間），B 為可分巴拿赫空間，嵌入 H -> B 連續且像稠密，mu 為 B 上的高斯測度，其共變異數由 H 的內積誘導。格羅斯定理是構造：當 dim H = infinity 時，H 上的標準高斯「測度」（共變異數為恆等、即標準正交基每個坐標皆獨立 N(0,1) 的那個）「不」作為可數可加測度存在於 H 上——總質量得分散到無窮多個獨立的單位變異數方向上，逃逸到無窮遠。但若你弱化範數，它「確實」存在：在 H 上選一個可測範數（格羅斯意義下，弱於希爾伯特範數），在該範數下完備化 H 得到 B，則柱集高斯延拓為 B 上真正的 Borel 高斯測度 mu。此時 mu(H) = 0：測度棲居於 B 而不在生成它的希爾伯特空間上。

重要性：這是維納測度（H = 能量有限路徑的卡梅倫-馬丁空間、B = C[0,1]、mu = 維納測度）、白噪音、以及馬利亞萬計算、卡梅倫-馬丁平移、無窮維分析整套機制（奧恩斯坦-烏倫貝克算子與對數索伯列夫不等式皆在 (H, B, mu) 上陳述）的嚴格家園。它精確化的關鍵誠實要點：H 與 B 的落差在無窮維中不可避免——你無法在希爾伯特空間上放一個共變異數為恆等的非退化高斯，故卡梅倫-馬丁空間總是「隨機性實際棲居之處」的嚴格、零測度子空間。