カレント (数学)

数学、特に函数解析、微分幾何学や(geometric measure theory)では、ジョルジュ・ド・ラーム(Georges de Rham)の意味でk-カレント(k-current)は、滑らかな多様体(smooth manifold) M のコンパクトな台を持つ微分形式 k-形式の空間上の汎函数である。形式的なカレントの振る舞いは、微分形式上シュワルツの超函数に似ている。幾何学的な設定では、ディラックのデルタ函数や、より一般的な M の部分集合に沿った（(multipole)を持つ）デルタ函数の方向微分も、一般化した部分多様体上の積分で表わすことができる。
定義.
formula_1 で滑らかな多様体(smooth manifold) formula_2 上のコンパクトな台を持つm次微分形式の空間を表すとする。カレントは、シュワルツの超函数の意味での連続である formula_1 上の線型汎函数である。従って、線型汎函数
は、次の意味で連続であれば、m-カレントである。滑らかな形式の系列が、すべての同じコンパクトな集合でサポートされていて、formula_5 が無限に近づくとき、すべての係数の微分が 0 に均一収束するならば、formula_6 は 0 へ収束する。
formula_2 上の m-次元カレントの空間 formula_8 は、
で定義される作用素を持つ実ベクトル空間である。
シュワルツ超函数論の大半を、最小となるよう調整されたカレントの理論に引き継ぐことができる。たとえば、カレント formula_10 のサポートの定義を、formula_11 であるときはいつも、formula_12 である最大の開集合 formula_13 として定義することもできる。
formula_2 のコンパクトな部分集合である（上記の意味で）サポートをもつ formula_8 の線型部分空間は、formula_16 と表わされる。
ホモロジー論.
コンパクトな(rectifiable)向きつけられた部分多様体 M（次元 m である境界付き多様体(with boundary)）上での積分は、m-カレントを
と定義することができる。
M の境界(boundary) ∂M が修正可能であれば、積分によりカレントを定義するに充分であり、ストークスの定理により、
を得る。これは M のホモロジー上の境界作用素 ∂ と外微分 d とを関連付ける。
この公式から、すべてのコンパクトなサポートを持つ m-カレントに対し、カレント上の境界作用素
を
で定義することができる。
トポロジーとノルム.
カレントの空間は、自然に弱位相(weak-* topology)を持ち、さらに単純化して弱収束と呼ばれる。カレントの系列 Tk が
であるとき、カレントは収束すると言う。
全カレントの空間上でいくつかのノルムを定義することが可能である。 そのようなノルムのうちのひとつが質量ノルム(mass norm)である。ω が m-形式であれば余質量(comass)が、
により定義することができる。ω が(simple)な m-形式とすると、その質量ノルムは、係数の普通の L∞-ノルムである。従って、カレント T の質量は、
で定義される。
カレントの質量は、一般化された曲面のウェイト領域(weighted area)を表わす。M(T) < ∞ であるカレントは、適切なウェイトを測ることのできる部分多様体上の積分により表現することができる。このことが、(homological integration)の出発点である。
中間のノルムは、ホイットニーの平坦ノルム(flat norm)であり、
により定義される。
2つのカレントは、それらが小さなほうから離れていれば、質量ノルムの中で閉である。一方、小さな変形で一致すれば、平坦ノルムと一致する。
例.
より、次の式が 0-カレントを定義する。
特に、すべての符号付き正則な測度 formula_27 は 0-カレントである。
(x, y, z) を P3 の座標とすると、次の式は 2-カレントを定義する（定義は多くあるがそのうちの一つ）。