無限次元でも適当な条件のもと
微分形式DXから測度DXが定まる