原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳があることが判明しています。情報の利用には注意してください。正確な表現に改訳できる方を求めています。
微分可能多様体(differentiable manifold)上の体積形式(volume form)とは、多様体上至る所 0 とはならない最高次数の微分形式のことである。特に、次元が n の多様体 M 上では、体積形式は至る所 0 にはならない直線束 Ω n ( M ) = ⋀ n ( T ∗ M ) {\displaystyle \Omega ^{n}(M)=\bigwedge ^{n}(T^{*}M)} の切断(section) である n-形式である。なお、多様体が体積形式を持つことと、向き付け可能であることとは同値である。体積形式に、0 とはならない函数を掛けると再び体積形式となることから、向き付け可能な多様体は無限個の体積形式を持つ。向き付け不可能な多様体上には、代わりに、多様体の密度
(英語版)(density)というより弱い考え方がある。体積形式は、微分可能多様体上の函数の積分を定義する方法をもたらす。言い換えると、体積形式は測度をもたらし、この測度に関して函数は適切なルベーグ積分により積分することができる。体積形式の絶対値は、体積要素(volume element)であり、ツイストした体積形式(twisted volume form)や擬体積形式(pseudo-volume form)などとも呼ばれる。これも測度を定義するが、向き付け可能か否かに関係なく任意の可微分多様体上に存在する。
複素多様体であるケーラー多様体は、自然に向き付け可能であるので、体積形式を持っている。さらに一般的には、シンプレクティック多様体上のシンプレクティック形式の n-次外冪(exterior power)は、体積形式である。多様体の多くのクラスが標準的な体積形式を持つ。これらは事前に選ばれた体積形式を持つ程度の余剰な構造を持っている。向き付け可能なリーマン多様体や擬リーマン多様体は標準的な体積形式を持つ。 すべての局所座標系
向き付け
M 上の特別に選ばれた標構(英語版)(frames)も、体積形式は持っている。 ω ( X 1 , X 2 , … , X n ) > 0 {\displaystyle \omega (X_{1},X_{2},\dots ,X_{n})>0}
であれば、接ベクトルの基底 (X1,...,Xn) が右手系である。
右手系のすべての標構の集まりは、正の行列式を持つ n 次元写像である一般線型群 GL+(n) による群作用である。それらは、M の線型標構バンドル(英語版)(linear frame bundle)の主 GL+(n) 部分バンドルを形成し、体積形式に付帯する向きは、M の標構バンドルから構造群 GL+(n) をもつ部分バンドルへの標準的なリダクションを与える。いわば、体積形式は M 上の GL+(n)-構造(英語版)(GL+(n)-構造を与える。さらに、リダクションは、 ω ( X 1 , X 2 , … , X n ) = 1 {\displaystyle \omega (X_{1},X_{2},\dots ,X_{n})=1} (1) をとる標構を考えることにより、一層明らかとなる。 このように、体積形式は SL(n)-構造を与える。逆に、SL(n)-構造が与えられると、特殊線型標構の式 (1) を導入することにより、体積形式を再現することができる。 多様体が向き付け可能であることと、体積形式をもつこととは同値である。実際、正の実数をスカラー計量として埋め込むと、GL+ = SL × R+ であるので、SL(n) → GL+(n) は変形レトラクト(deformation retract)である。このように、すべての GL+(n)-構造は、SL(n)-構造と GL+(n)-構造に帰着でき、M 上での向きは一致する。さらに具体的には、行列式バンドル Ω n ( M ) {\displaystyle \Omega ^{n}(M)} の自明性と向き付け可能性は同値であり、ラインバンドルが自明であることとどこでも 0 とならない切断を持っていることは同値である。従って、体積形式の存在は向き付け可能性と同値である。
測度との関係「多様体の密度(英語版
向きつけられた多様体上の体積形式 ω が与えられると、密度(英語版)(density) |ω。は、向きつけを忘れることにより得られる向き付け不可能な多様体上の体積擬形式(英語版)(pseudo-form)である。密度は、より一般的な向き付け不可能な多様体上でも定義することができる。
任意の体積擬形式 ω (と、従って任意の体積形式)は、 μ ω ( U ) = ∫ U ω . {\displaystyle \mu _{\omega }(U)=\int _{U}\omega .\,\!}
によりボレル集合上の測度を定義する。
体積形式との差異は、測度は(ボレル)部分集合上で積分できることに対し、体積形式は向き付けられた胞体上でしか積分することができないことである。一変数のときの計算は、 ∫ b a f d x = − ∫ a b f d x {\displaystyle \int _{b}^{a}f\,dx=-\int _{a}^{b}f\,dx} と書くことは、 d x {\displaystyle dx} を体積形式と考えることができたが、測度の場合は単純ではなく、 ∫ b a {\displaystyle \int _{b}^{a}} は反対の向き付けを持つ胞体 [ a , b ] {\displaystyle [a,b]} での積分を意味し、ときには [ a , b ] ¯ {\displaystyle {\overline {[a,b]}}} と書かれることもある。
さらに、一般の測度は連続であったり、滑らかであったりする必要もない。測度は体積形式により定義されている必要がなく、より公式な言い方をすると、測度のラドン=ニコディム微分が与えられた体積形式について絶対連続である必要もない。 M 上の体積形式 ω が与えられると、ベクトル場 X の発散を、一意なスカラーに値を持つ函数として表すことができ、div X と記し、 ( div X ) ω = L X ω = d ( X ⌟ ω ) {\displaystyle (\operatorname {div} X)\omega =L_{X}\omega =d(X\;\lrcorner \;\omega )} を満たす。ここに、LX は X に沿ったリー微分を表す。X がコンパクトな台を持つベクトル場で、M が境界をもつ多様体(manifold with boundary)であれば、ストークスの定理は、発散定理を一般化して、 ∫ M ( div X ) ω = ∫ ∂ M X ⌟ ω {\displaystyle \int _{M}(\operatorname {div} X)\omega =\int _{\partial M}X\;\lrcorner \;\omega } となる。 ソレノイドベクトル場 すべてのリー群に対し、自然な体積形式を変換により定義することができる。すなわち、ωe を ⋀ n T e ∗ G {\displaystyle \bigwedge ^{n}T_{e}^{*}G} の元とすると、左不変形式が ω g = L g − 1 ∗ ω e {\displaystyle \omega _{g}=L_{g^{-1}}^{*}\omega _{e}} により定義される。ここに Lg は左変換である。この系として、すべてのリー群は向き付け可能であることが分かる。リー群の体積形式はスカラー倍を除き一意的であり、対応する測度はハール測度として知られている。
発散
特別な場合
リー群
シンプレクティック多様体