カレント (数学)

数学、特に函数解析、微分幾何学や幾何学的測度論（英語版）(geometric measure theory)では、ジョルジュ・ド・ラーム(Georges de Rham)の意味でk-カレント(k-current)は、滑らかな多様体(smooth manifold) M のコンパクトな台を持つ微分形式 k-形式の空間上の汎函数である。形式的なカレントの振る舞いは、微分形式上シュワルツの超函数に似ている。幾何学的な設定では、ディラックのデルタ函数や、より一般的な M の部分集合に沿った（多重極（英語版）(multipole)を持つ）デルタ函数の方向微分も、一般化した部分多様体上の積分で表わすことができる。 Ω c m ( M ) {\displaystyle \Omega _{c}^{m}(M)} で滑らかな多様体(smooth manifold) M {\displaystyle M} 上のコンパクトな台を持つm次微分形式の空間を表すとする。カレントは、シュワルツの超函数の意味での連続である Ω c m ( M ) {\displaystyle \Omega _{c}^{m}(M)} 上の線型汎函数である。従って、線型汎函数 T : Ω c m ( M ) → R {\displaystyle T\colon \Omega _{c}^{m}(M)\to \mathbb {R} } は、次の意味で連続であれば、m-カレントである。滑らかな形式の系列が、すべての同じコンパクトな集合でサポートされていて、 k {\displaystyle k} が無限に近づくとき、すべての係数の微分が 0 に均一収束するならば、 T ( ω k ) {\displaystyle T(\omega _{k})} は 0 へ収束する。 M {\displaystyle M} 上の m-次元カレントの空間 D m ( M ) {\displaystyle {\mathcal {D}}_{m}(M)} は、 ( T + S ) ( ω ) := T ( ω ) + S ( ω ) , ( λ T ) ( ω ) := λ T ( ω ) {\displaystyle (T+S)(\omega ):=T(\omega )+S(\omega ),\qquad (\lambda T)(\omega ):=\lambda T(\omega )} で定義される作用素を持つ実ベクトル空間である。 シュワルツ超函数論の大半を、最小となるよう調整されたカレントの理論に引き継ぐことができる。たとえば、カレント T ∈ D m ( M ) {\displaystyle T\in {\mathcal {D}}_{m}(M)} のサポートの定義を、 ω ∈ Ω c m ( U ) {\displaystyle \omega \in \Omega _{c}^{m}(U)} であるときはいつも、 T ( ω ) = 0 {\displaystyle T(\omega )=0} である最大の開集合 U ⊂ M {\displaystyle U\subset M} として定義することもできる。 M {\displaystyle M} のコンパクトな部分集合である（上記の意味で）サポートをもつ D m ( M ) {\displaystyle {\mathcal {D}}_{m}(M)} の線型部分空間は、 E m ( M ) {\displaystyle {\mathcal {E}}_{m}(M)} と表わされる。 コンパクトな修正可能な（英語版）(rectifiable)向きつけられた部分多様体 M（次元 m である境界付き多様体(with boundary)）上での積分は、m-カレントを [ [ M ] ] ( ω ) = ∫ M ω {\displaystyle [[M]](\omega )=\int _{M}\omega } と定義することができる。 M の境界(boundary) ∂M が修正可能であれば、積分によりカレントを定義するに充分であり、ストークスの定理により、 [ [ ∂ M ] ] ( ω ) = ∫ ∂ M ω = ∫ M d ω = [ [ M ] ] ( d ω ) {\displaystyle [[\partial M]](\omega )=\int _{\partial M}\omega =\int _{M}d\omega =[[M]](d\omega )} を得る。これは M のホモロジー上の境界作用素 ∂ と外微分 d とを関連付ける。 この公式から、すべてのコンパクトなサポートを持つ m-カレントに対し、カレント上の境界作用素 ∂ : D m + 1 → D m {\displaystyle \partial \colon {\mathcal {D}}_{m+1}\to {\mathcal {D}}_{m}} を ( ∂ T ) ( ω ) := T ( d ω ) {\displaystyle (\partial T)(\omega ):=T(d\omega )\,} で定義することができる。 カレントの空間は、自然に弱位相(weak-* topology)を持ち、さらに単純化して弱収束と呼ばれる。カレントの系列 Tk が T k ( ω ) → T ( ω ) , ∀ ω . {\displaystyle T_{k}(\omega )\to T(\omega ),\qquad \forall \omega .\,} であるとき、カレントは収束すると言う。 全カレントの空間上でいくつかのノルムを定義することが可能である。 そのようなノルムのうちのひとつが質量ノルム(mass norm)である。ω が m-形式であれば余質量(comass)が、 ‖ ω ‖ := sup { | ⟨ ω , ξ ⟩ | : ξ  is a unit, simple,  m -vector } . {\displaystyle \|\omega \|:=\sup\{|\langle \omega ,\xi \rangle |\colon \xi {\mbox{ is a unit, simple, }}m{\mbox{-vector}}\}.} により定義することができる。ω が単純（英語版）(simple)な m-形式とすると、その質量ノルムは、係数の普通の L∞-ノルムである。従って、カレント T の質量は、 M ( T ) := sup { T ( ω ) : sup x | | ω ( x ) | | ≤ 1 } {\displaystyle \mathbf {M} (T):=\sup\{T(\omega )\colon \sup _{x}|\vert \omega (x)|\vert \leq 1\}} で定義される。 カレントの質量は、一般化された曲面のウェイト領域(weighted area)を表わす。M(T) < ∞ であるカレントは、適切なウェイトを測ることのできる部分多様体上の積分により表現することができる。このことが、ホモロジカルな積分（英語版）(homological integration)の出発点である。 中間のノルムは、ホイットニーの平坦ノルム(flat norm)であり、 F ( T ) := inf { M ( T − ∂ A ) + M ( A ) : A ∈ E m + 1 } {\displaystyle \mathbf {F} (T):=\inf\{\mathbf {M} (T-\partial A)+\mathbf {M} (A)\colon A\in {\mathcal {E}}_{m+1}\}} により定義される。 2つのカレントは、それらが小さなほうから離れていれば、質量ノルムの中で閉である。一方、小さな変形で一致すれば、平坦ノルムと一致する。 Ω c 0 ( R n ) ≡ C c ∞ ( R n ) {\displaystyle \Omega _{c}^{0}(\mathbb {R} ^{n})\equiv C_{c}^{\infty }(\mathbb {R} ^{n})\,} より、次の式が 0-カレントを定義する。 T ( f ) = f ( 0 ) . {\displaystyle T(f)=f(0).} 特に、すべての符号付き正則な測度 μ {\displaystyle \mu } は 0-カレントである。 T ( f ) = ∫ f ( x ) d μ ( x ) . {\displaystyle T(f)=\int f(x)\,d\mu (x).} (x, y, z) を P3 の座標とすると、次の式は 2-カレントを定義する（定義は多くあるがそのうちの一つ）。 T ( a d x ∧ d y + b d y ∧ d z + c d x ∧ d z ) = ∫ 0 1 ∫ 0 1 b ( x , y , 0 ) d x d y . {\displaystyle T(a\,dx\wedge dy+b\,dy\wedge dz+c\,dx\wedge dz)=\int _{0}^{1}\int _{0}^{1}b(x,y,0)\,dx\,dy.} ^ 可算個な区分線型可能(piecewise linear)の意味で使っている。 ジョルジュ・ド・ラーム(Georges de Rham) ヘルベルト・フェデレール（英語版）(Herbert Federer) 微分幾何学 ヴァリフォールド（英語版）(Varifold) 正カレント de Rham, G. (1973) (French), Variétés Différentiables, Actualites Scientifiques et Industrielles, 1222 (3rd ed.), Paris: Hermann, pp. X+198, Zbl 0284.58001 . Federer, Herbert (1969), Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, 153, Berlin–Heidelberg–New York: Springer-Verlag, pp. xiv+676, ISBN 978-3-540-60656-7, MR0257325, Zbl 0176.00801 . Whitney, H. (1957), Geometric Integration Theory, Princeton Mathematical Series, 21, Princeton, NJ and London: Princeton University Press and Oxford University Press, pp. XV+387, MR0087148, Zbl 0083.28204 . Lin, Fanghua; Yang, Xiaoping (2003), Geometric Measure Theory: An Introduction, Advanced Mathematics (Beijing/Boston), 1, Beijing/Boston: Science Press/International Press, pp. x+237, ISBN 978-1-57146-125-4, MR2030862, Zbl 1074.49011