カレント (数学)

テンプレート:要改訳 数学、特に函数解析、微分幾何学やテンプレート:仮リンク(geometric measure theory)では、ジョルジュ・ド・ラーム(Georges de Rham)の意味でk-カレント(k-current)は、滑らかな多様体(smooth manifold) M のコンパクトな台を持つ微分形式 k-形式の空間上の汎函数である。形式的なカレントの振る舞いは、微分形式上シュワルツの超函数に似ている。幾何学的な設定では、ディラックのデルタ函数や、より一般的な M の部分集合に沿った（テンプレート:仮リンク(multipole)を持つ）デルタ函数の方向微分も、一般化した部分多様体上の積分で表わすことができる。

定義

${\mathrm{\Omega }}_c^m(M)$ で滑らかな多様体(smooth manifold) $M$ 上のコンパクトな台を持つm次微分形式の空間を表すとする。カレントは、シュワルツの超函数の意味での連続である ${\mathrm{\Omega }}_c^m(M)$ 上の線型汎函数である。従って、線型汎函数

$T:{\mathrm{\Omega }}_c^m(M)\to ℝ$

は、次の意味で連続であれば、m-カレントである。滑らかな形式の系列が、すべての同じコンパクトな集合でサポートされていて、$k$ が無限に近づくとき、すべての係数の微分が 0 に均一収束するならば、$T({\omega }_k)$ は 0 へ収束する。

$M$ 上の m-次元カレントの空間 ${𝒟}_m(M)$ は、

$(T+S)(\omega ):=T(\omega )+S(\omega ),(\lambda T)(\omega ):=\lambda T(\omega )$

で定義される作用素を持つ実ベクトル空間である。

シュワルツ超函数論の大半を、最小となるよう調整されたカレントの理論に引き継ぐことができる。たとえば、カレント $T\in {𝒟}_m(M)$ のサポートの定義を、$\omega \in {\mathrm{\Omega }}_c^m(U)$ であるときはいつも、$T(\omega )=0$ である最大の開集合 $U\subset M$ として定義することもできる。

$M$ のコンパクトな部分集合である（上記の意味で）サポートをもつ ${𝒟}_m(M)$ の線型部分空間は、${ℰ}_m(M)$ と表わされる。

ホモロジー論

コンパクトなテンプレート:仮リンク(rectifiable)向きつけられた部分多様体 M（次元 m である境界付き多様体(with boundary)）上での積分は、m-カレントを

$[[M]](\omega )=\underset{M}{\int }\omega$

と定義することができる。

M の境界(boundary) ∂M が修正可能であれば、積分によりカレントを定義するに充分であり、ストークスの定理により、

$[[\partial M]](\omega )=\underset{\partial M}{\int }\omega =\underset{M}{\int }d\omega =[[M]](d\omega )$

を得る。これは M のホモロジー上の境界作用素 ∂ と外微分 d とを関連付ける。

この公式から、すべてのコンパクトなサポートを持つ m-カレントに対し、カレント上の境界作用素

$\partial :{𝒟}_{m+1}\to {𝒟}_m$

を

$(\partial T)(\omega ):=T(d\omega )$

で定義することができる。

トポロジーとノルム

カレントの空間は、自然に弱位相(weak-* topology)を持ち、さらに単純化して弱収束と呼ばれる。カレントの系列 T_k が

$T_k(\omega )\to T(\omega ),\mathrm{\forall }\omega .$

であるとき、カレントは収束すると言う。

全カレントの空間上でいくつかのノルムを定義することが可能である。 そのようなノルムのうちのひとつが質量ノルム(mass norm)である。ω が m-形式であれば余質量(comass)が、

$\Vert \omega \Vert :=\sup \{|⟨\omega ,\xi ⟩|:\xi \text{ is a unit, simple, }m\text{-vector}\}.$

により定義することができる。ω がテンプレート:仮リンク(simple)な m-形式とすると、その質量ノルムは、係数の普通の L^∞-ノルムである。従って、カレント T の質量は、

$𝐌(T):=\sup \{T(\omega ):\underset{x}{\sup }||\omega (x)||\le 1\}$

で定義される。

カレントの質量は、一般化された曲面のウェイト領域(weighted area)を表わす。M(T) < ∞ であるカレントは、適切なウェイトを測ることのできる部分多様体上の積分により表現することができる。このことが、テンプレート:仮リンク(homological integration)の出発点である。

中間のノルムは、ホイットニーの平坦ノルム(flat norm)であり、

$𝐅(T):=\inf \{𝐌(T-\partial A)+𝐌(A):A\in {ℰ}_{m+1}\}$

により定義される。

2つのカレントは、それらが小さなほうから離れていれば、質量ノルムの中で閉である。一方、小さな変形で一致すれば、平坦ノルムと一致する。

例

${\mathrm{\Omega }}_c^0({ℝ}^n)\equiv C_c^{\mathrm{\infty }}({ℝ}^n)$

より、次の式が 0-カレントを定義する。

$T(f)=f(0).$

特に、すべての符号付き正則な測度 $\mu$ は 0-カレントである。

$T(f)=\int f(x)d\mu (x).$

(x, y, z) を P³ の座標とすると、次の式は 2-カレントを定義する（定義は多くあるがそのうちの一つ）。

$T(adx\wedge dy+bdy\wedge dz+cdx\wedge dz)=\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}b(x,y,0)dxdy.$

関連項目

• ジョルジュ・ド・ラーム(Georges de Rham)
• テンプレート:仮リンク(Herbert Federer)
• 微分幾何学
• テンプレート:仮リンク(Varifold)
• 正カレント

参考文献

• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation