Wiener空間上の確率変数の密度を表す明示的な公式を使う導くためにMalliavin Calculusを使います.

確率変数の分布の位相的サポートとは, {x∈R| P(|x-F|<ε)>0 for all ε>0とします.

Prop 7.1.1