ヒルベルト空間（だけ）に囚われ過ぎているのかもね
ノルム（ベクトルの長さ）が無限大になることも許容すると状況が変わる？
と思ったが、やっぱり適当な測度空間を構成するのは無理ありそう
それがあれば、（既存の）直観が効きやすいんだけど
標準的な測度は別に必要なくて、加算加法族（と零集合？）があって、ヒルベルト空間の各元に対して確率測度が対応すれば、それで構わないはず
有限次元の場合は、計量から標準的な測度が（たまたま？）定まるだけの話
まあ、それはいいとしても、計量は計量で別に考えないといけない訳だけど
計量というか、シンプレクティック構造？
