A Bootstrap Proof of the Abstract Wiener Space Theorem for Fréchet Spaces

기술적 요약: 프레셰 공간에 대한 추상 위너 공간 정리의 부트스트랩 증명

문제 정의
본 논문은 가분적 프레셰 공간(separable Fréchet spaces) 설정에서의 추상 위너 공간(Abstract Wiener Spaces, AWS)의 존재성과 구조적 특성을 다룬다. Gross(1960년대)와 Kallianpur가 확립한 고전적 이론은 가분적 힐베르트 공간 $H$ 상의 정준 원통형 가우시안 측도(canonical cylindrical Gaussian measure)가 가측 세미 노름(measurable seminorm)에 의해 완비된 바나흐 공간 $X$로 확장됨을 보장하지만, 프레셰 설정으로의 확장은 상당한 난제를 안겨준다.

프레셰 설정에서 공간은 반드시 $\sigma$-콤팩트( $\sigma$-compact)인 것은 아니며, 원통형 측도의 타이트니스(tightness, 약콤팩트 집합으로의 집중)가 자동으로 보장되지 않는다. Dudley–Feldman–Le Cam, Rajput, Zapała 등의 기존 접근 방식은 타이트니스/약콤팩트성 조건, 임의의 정규 측도에 대한 가중 $L^2$-임베딩, 또는 위상적 지지체(topological support) 및 재생 커널 힐베르트 공간(RKHS)을 통한 구성 등 서로 다른 방법론에 의존한다. 본 논문은 바나흐 공간의 표준 기법들(Kallianpur, Jain–Kallianpur, Kuelbs, Sato의 방식 등)이 프레셰 사례로 그대로 전이되지 않는다는 점을 지적한다.

방법론
저자 Luciano Tubaro는 직접적으로 프레셰 공간 위에 측도를 구성하거나 일반적인 타이트니스 조건에 의존하는 대신, 보조 힐베르트 공간을 통해 진행되는 "부트스트랩(bootstrap)" 방법을 제안한다:

1. 보조 구성: 증명은 정규 직교 기저로부터 유도된 특정 가중 노름에 의해 $H$를 완비함으로써 얻어지는 보조 가분 힐베르트 공간 $E$를 구성한다. Bogachev의 정리 2.3.1에 의해, $H$ 상의 정준 원통형 측도의 푸시포워드(pushforward)는 $E$ 상에서 가산 가법적 가우시안 측도 $\nu_1$을 생성한다.
2. 급수 수렴: Kallianpur에 의해 적응된 Ito–Nisio 급수 수렴 기법을 사용하여, 저자는 프레셰 공간 $F$ 내의 부분합 수열 $S_n$을 정의한다. 이 수열이 $\nu_1$-측도 하에서 코시(Cauchy) 수열임을 입증함으로써, 극한 $S: E \to F$가 거의 확실하게(almost surely) 존재함을 보인다.
3. 명시적 운송 사상(Transport Map): 핵심 단계는 $E_0$와 $F_0$ (여기서 $E_0, F_0$는 conull 집합) 사이의 보렐 동형 사상(Borel isomorphism) 역할을 하는 선형 사상 $L: E_0 \to F_0$를 구성하는 것이다. 이 사상은 Riesz 표현(Riesz representation)을 통해 $F^*$로부터 유도된 $H$의 기저를 선택함으로써 명시적으로 구성된다.
4. 기존 증명의 교정: 본 논문은 Bogachev의 저서 Gaussian Measures(특히 정리 3.9.5의 증명)에서 발견된 특정 오류들을 식별하고 교정한다.
   • 관계식 (3.9.2): 원래의 증명은 $|P_m x|_F$를 잘못 제어하였으며, 대신 증분 $|(P_m - P_n)x|_F$를 제어해야 한다. 본 논문은 투영의 직교성을 활용하여 증분을 제어함으로써 이를 교정한다.
   • 지수 교정: 결과로 나오는 가우시안 범함수의 분산이 정준 원통형 측도와 일치하도록 하기 위해, 부분합의 스케일링 인자는 $k$가 아닌 $k^2$이어야 함을 지적한다.
   • 공분산 지배: 임의의 직교 투영에 대한 Gross 가측성(Gross measurability)의 증명은 직접적인 대각 감소(diagonal reduction) 대신 Anderson의 부등식과 공분산 연산자 순서($\Sigma_1 \preceq \Sigma_2$)에 기반한 논증으로 대체된다.

주요 기여 및 결과

1. 정리 3.1 (존재성): 가분적 프레셰 공간 $F$ 상의 추상 위너 공간 $(\iota, H, F)$에 대하여, $H$ 상의 정준 원통형 가우시안 측도가 $F$ 상의 가산 가법적 가우시안 측도로 확장됨을 증명한다. 또한, $H$는 이 측도의 Cameron–Martin 공간과 일치한다.
2. 정리 3.2 (특징화): 역을 성립시킨다: 만약 $\gamma$가 밀집된 Cameron–Martin 공간 $H$를 갖는 가분적 프레셰 공간 $F$ 상의 중심 가우시안 측도라면, $(\iota, H, F)$는 추상 위너 공간을 구성한다.
3. 코롤러리 3.5 (운송 동형 사상): 보조 힐베르트 공간 $E$와 프레셰 공간 $F$의 conull 집합들 사이의 명시적이고 가측인 선형 전단사(bijection) $L: E_0 \to F_0$를 구성한다. 이 사상은 $L \circ j_E = \iota$ ($j_E$는 $H$를 $E$로 임베딩하는 사상)를 만족하며 $\nu_1$을 $\gamma$로 운송한다. 결정적으로, $L$은 진정한 보렐 동형 사상이다(단순히 거의 어디서나(almost everywhere)가 아니라 점별로 단사임).
4. 비선형 변환 (섹션 4): 운송 사상 $L$을 사용하여 Bogachev의 국소 변화 변수 정리(정리 6.6.7) 및 관련 결과들(코롤러리 6.6.8, 6.6.9)을 바나흐/힐베르트 설정에서 프레셰 설정으로 확장한다. 이를 통해 프레셰 공간 상의 비선형 변환 $T = I + \Phi$를 연구하기 위해 문제를 이미 이론이 확립된 보조 힐베르트 공간으로 "운송"할 수 있다.

의의 및 주장
저자는 프레셰 공간으로의 추상 위너 공간 확장의 존재성 자체가 새로운 결과는 아니라고 겸손하게 주장하는데, 이는 Rajput와 Zapała의 연구를 통해 다른 경로로 이미 도출되었기 때문이다. 그러나 본 논문은 다음과 같은 세 가지 구체적인 기여를 주장한다:

1. 단순화 및 교정: Gross의 확장에 대한 새로운 증명을 제공하여 특정 단계를 단순화하고, 바나흐 사례에 관한 Bogachev의 단행본에서 발견된 오류들을 프레셰 설정에 맞게 교정한다.
2. 명시적 동형 사상: Cameron–Martin 구조와 호환되는 conull 집합들 사이의 명시적인 선형 보렐 동형 사상을 구축한다. 이는 바나흐 공역(codomain)과 추상적 변환을 다루는 Fernholz의 정리와 구별되며, 비선형 변환 적용에 필요한 구체적인 호환성을 제공한다.
3. 정칙성의 운송: 이 동형 사상이 핵심 확률적 논증을 위한 새로운 프레셰 특유의 기계론을 개발하지 않고도, Bogachev의 국소 비선형 변화 변수 정리들을 프레셰 설정으로 운송하는 데 어떻게 사용될 수 있는지 보여준다.

저자는 본 방법론이 타이트니스 조건, 가중 임베딩, 또는 위상적 지지체를 직접 다루는 대신, 보조 힐베르트 공간과 명시적 동형 사상을 통해 "부트스트랩"한다는 점에서 이전의 접근 방식들과 다르다고 강조한다. 이 논문은 프레셰 공간 상의 가우시안 측도의 비선형 변환에 관한 동반 논문을 위한 기초적인 단계 역할을 한다.