ヘンストック＝クルツヴァイル積分

数学の微分積分学周辺領域におけるヘンストック＝クルツヴァイル積分（ヘンストッククルツヴァイルせきぶん、英: Henstock–Kurzweil integral; HK積分）、一般化リーマン積分（いっぱんかリーマンせきぶん、英: generalized Riemann integral）、ゲージ積分（ゲージせきぶん、英: gauge integral） 、または(狭義)ダンジョワ積分（きょうぎダンジョワせきぶん、英: narrow Denjoy integral）あるいはペロン積分（ペロンせきぶん、英: Perron integral）あるいはルージン積分（ルージンせきぶん、英: Luzin integral）は、いくつかある函数の積分法の定義のうちの一つで、リーマン積分を一般化したものであり、場合によってはルベーグ積分よりも有用なものとなりうる。 この積分を初めて定義したのはダンジョワ（英語版）で1912年のことである。ダンジョワは f ( x ) = 1 x sin ⁡ ( 1 x 3 ) {\displaystyle f(x)={\frac {1}{x}}\sin \left({\frac {1}{x^{3}}}\right)} のような函数を積分することができるような、積分法の定義に興味を持っていた。この函数は点 x = 0 に特異点を持ち、かつルベーグ可積分でないが、それでも 0 を含む十分小さい区間 [−ε, δ] を除いて積分を計算し、その後 ε, δ → 0 とするのは自然に思われる。 一般論を形成するためにダンジョワは可能な全ての種類の特異点に対する超限帰納法を用いたが、そのことで定義は極めて込み入ったものになってしまった。これに代わる別の定義を与えたのはルジン（英語版）（絶対連続性（英語版）の概念の一種を用いた）およびペロン（英語版）（連続な優函数と劣函数に着目した）であった。ペロン積分とダンジョワ積分が実際には同じものであることが分かるのはしばらくしてからのことである。 後の1957年に、チェコの数学者クルツヴァイル（英語版）は、ゲージ積分と呼ばれるリーマンによる元々の定義ときれいにそっくりな新しい積分の定義を発見し、その理論はヘンストック（英語版）によって研究が進められた。この二人の数学者の大きな貢献に因み、現在ではその積分はヘンストック＝クルツヴァイル積分として広く認知されている。クルツヴァイルの定義の簡潔さから、微分積分学の入門的講義ではリーマン積分の代わりにこちらを用いるべきとする教育者もあるが、傍流である。 ヘンストックによる定義は以下のようなものである。 有界閉区間 [a, b] の点付き分割 P : a = u 0 < u 1 < ⋯ < u n = b , ( ∀ i   :   t i ∈ [ u i − 1 , u i ] ) {\displaystyle P\colon \quad a=u_{0}<u_{1}<\cdots <u_{n}=b,\quad (\forall i\ :\ t_{i}\in [u_{i-1},u_{i}])} とゲージと呼ばれる正値函数 δ: [a, b] → (0, ∞) に対して、点付き分割 P が δ-細 (δ-fine) であるとは、さらに ∀ i   :   t i − δ ( t i ) < u i − 1 ≤ t i ≤ u i < t i + δ ( t i ) {\displaystyle \forall i\ :\ t_{i}{-}\delta (t_{i})<u_{i-1}\leq t_{i}\leq u_{i}<t_{i}{+}\delta (t_{i})} を満たすことである。点付き分割 P と函数 f : [a, b] → R に対して、リーマン和（リーマンのオリジナルに限らず、この形の和分をこう呼ぶ） ∑ P f = ∑ i = 1 n ( u i − u i − 1 ) f ( t i ) {\displaystyle \sum _{P}f=\sum _{i=1}^{n}(u_{i}{-}u_{i-1})f(t_{i})} を定義することができる。与えられた函数 f に対して、 f のヘンストック＝クルツヴァイル積分の値となるべき数 I は、 任意の ε に対して、適当なゲージ δ を選べば、P が δ-細分割である限り必ず | ∑ P f − I | < ε {\displaystyle {\Bigl \vert }\sum _{P}f-I{\Bigr \vert }<\varepsilon } が成り立つ という条件によって定義することができる。このような I が存在するとき、函数 f は [a, b] においてヘンストック＝クルツヴァイル積分可能あるいはゲージ積分可能であるという（紛れの恐れがないときは単に可積分であるという）。 クザンの定理によれば、どのようなゲージ δ に対してもこのような δ-細分割 P は存在する。したがって、この条件は空虚な真（どのようなゲージ δ を選んでも δ-細分割である P が存在しないために上記の条件が真になること）とはなり得ない。リーマン積分はこの文脈で定数ゲージのみを用いた特別の場合として見ることができる。 任意の函数 f: [a, b] → R について、a < c < b とすると、 f が区間 [a, b] 上でヘンストック＝クルツヴァイル積分であることの必要十分条件は、 f が [a, c] および [c, b] の両区間でともにヘンストック＝クルツヴァイル積分可能であることであり、またこのとき区間に対する加法性 ∫ a b f ( x ) d x = ∫ a c f ( x ) d x + ∫ c b f ( x ) d x {\displaystyle \int _{a}^{b}f(x)\,dx=\int _{a}^{c}f(x)\,dx+\int _{c}^{b}f(x)\,dx} が成立する。また、ヘンストック＝クルツヴァイル積分は線型、すなわち α, β を実数とすると f, g が可積分ならば αf + βg も可積分で、 ∫ a b ( α f + β g ) ( x ) d x = α ∫ a b f ( x ) d x + β ∫ a b g ( x ) d x {\displaystyle \int _{a}^{b}(\alpha f+\beta g)(x)\,dx=\alpha \int _{a}^{b}f(x)\,dx+\beta \int _{a}^{b}g(x)\,dx} が成り立つ。 f がリーマン可積分若しくはルベーグ可積分ならば、 f はヘンストック＝クルツヴァイル積分可能であり、 f の積分値はいずれの積分の意味でとっても一致する。重要なヘイクの定理は、 ∫ a b f ( x ) d x = lim c → b − ∫ a c f ( x ) d x {\displaystyle \int _{a}^{b}f(x)\,dx=\lim _{c\to b-}\int _{a}^{c}f(x)\,dx} が等式のいずれかの辺が存在する限り成立すること（およびこれと対称に、下の限界についての上からの極限をとったものも成り立つこと）を述べるものである。これはつまり、函数 f が「広義ヘンストック＝クルツヴァイル可積分」ならば、 f は狭義ヘンストック＝クルツヴァイル可積分であることを意味する。特に、 ∫ 0 1 sin ⁡ ( 1 / x ) x d x {\displaystyle \int _{0}^{1}{\frac {\sin(1/x)}{x}}\,dx} のような広義リーマン積分またはルベーグ積分はそのままヘンストック＝クルツヴァイル積分にもなっているのである。したがって、有限区間上（の非有界函数に対する意味で）の「広義ヘンストック＝クルツヴァイル積分」を考えることには意味がないことが分かるが、しかし ∫ a + ∞ f ( x ) d x := lim b → + ∞ ∫ a b f ( x ) d x {\displaystyle \int _{a}^{+\infty }f(x)\,dx:=\lim _{b\to +\infty }\int _{a}^{b}f(x)\,dx} のような無限区間に対する意味で広義のヘンストック＝クルツヴァイル積分を考えることには意味がある。 かなりの種類の函数については、ヘンストック＝クルツヴァイル積分がルベーグ積分よりも一般（より多くの函数を積分できる）というわけではない。例えば、 f が有界函数ならば、次の条件はどれも同値になる。 f はヘンストック＝クルツヴァイル可積分である。 f はルベーグ可積分である。 f はルベーグ可測である。 一般に、任意のヘンストック＝クルツヴァイル可積分函数はルベーグ可測であり、また f がルベーグ可積分であるための必要十分条件は f および |f| がともにヘンストック＝クルツヴァイル可積分となることである。これは、ヘンストック＝クルツヴァイル積分を、「非絶対可積分」版ルベーグ積分と看做すことができることを意味する。またこれから、ヘンストック＝クルツヴァイル積分が単調収束定理の適当な（函数が非負であることを課さない）変形版を満たすことや、優収斂定理の適当な変形版（函数列 fn に対する支配条件を弱めて、適当な可積分函数 g, h で g ≤ fn ≤ h とできるとしたもの）を持たすことが導かれる。 函数 F が至る所（若しくは可算個の例外を除く至る所）微分可能ならば、導函数 F′ はヘンストック＝クルツヴァイル可積分で、その不定ヘンストック＝クルツヴァイル積分は F に一致する（F′ がルベーグ可積分である必要はないことに注意）。すなわち、任意の可微分函数はその導函数の積分と定数の違いを除いて一致するという微分積分学の第二基本定理 F ( x ) − F ( a ) = ∫ a x F ′ ( t ) d t . {\displaystyle F(x)-F(a)=\int _{a}^{x}F'(t)\,dt.} がより簡潔でより十分な形で得られたことになる。逆に、ルベーグの微分定理はヘンストック＝クルツヴァイル積分に関しても成立する。すなわち、 f が [a, b] 上でヘンストック＝クルツヴァイル可積分で F ( x ) = ∫ a x f ( t ) d t {\displaystyle F(x)=\int _{a}^{x}f(t)\,dt} を満たすならば、[a, b] の殆ど至る所で F′(x) = f(x) が成立する（特に F は殆ど至る所微分可能である）。 ヘンストック＝クルツヴァイル可積分函数全体の成すベクトル空間にはアレクシェヴィチノルム（英語版）が入り、このノルムに関して樽型かつ非完備になる。 興味深いことに、ヘンストック＝クルツヴァイル積分に類似した方法でルベーグ積分を再定義することができ、マクシェイン積分という。まず初めに、ヘンストック＝クルツヴァイル積分における条件である ∀ i   t i − δ ( t i ) < u i − 1 ≤ t i ≤ u i < t i + δ ( t i ) {\displaystyle \forall _{i}\ t_{i}{-}\delta (t_{i})<u_{i-1}\leq t_{i}\leq u_{i}<t_{i}{+}\delta (t_{i})} を δ-細分割 (δ-fine partition) の概念を用いた条件 ∀ i   t i ∈ [ u i − 1 , u i ] ⊂ U δ ( t i ) ( t i ) {\displaystyle \forall _{i}\ t_{i}\in [u_{i-1},u_{i}]\subset U_{\delta (t_{i})}(t_{i})} に置き換える（ここで Uε(a) は a の ε-近傍とする）と、上で与えたものと同値になるが、このように変更したあとは条件 ∀ i   t i ∈ [ u i − 1 , u i ] {\displaystyle \forall _{i}\ t_{i}\in [u_{i-1},u_{i}]} を落とすことができて、マクシェイン積分の定義の条件 ∀ i   [ u i − 1 , u i ] ⊂ U δ ( t i ) ( t i ) {\displaystyle \forall _{i}\ [u_{i-1},u_{i}]\subset U_{\delta (t_{i})}(t_{i})} が得られる（この変更の結果として得られるマクシェイン積分はルベーグ積分と同値になる）。 ^ チェコ語発音: [ˈjarɔslaf ˈkurtsvajl], つづりを英語読みしてカーツウェイルとも。 ^ [dɑ̃ˈʒwa] ^ ポーランド人 Andrzej Alexiewicz（アンドルセイ・アレクシェヴィチ[訳語疑問点]）に由来 Das, A.G. (2008). The Riemann, Lebesgue, and Generalized Riemann Integrals. Narosa Publishers. ISBN 978-8173199332  Swartz, Charles W.; Kurtz, Douglas S. (2004). Theories of Integration: The Integrals of Riemann, Lebesgue, Henstock-Kurzweil, and McShane. Series in Real Analysis. 9. World Scientific Publishing Company. ISBN 978-9812566119  Kurzweil, Jaroslav (2002). Integration Between the Lebesgue Integral and the Henstock-Kurzweil Integral: Its Relation to Locally Convex Vector Spaces. Series in Real Analysis. 8. World Scientific Publishing Company. ISBN 978-9812380463  Bartle, Robert G. (2001). A Modern Theory of Integration. Graduate Studies in Mathematics. 32. American Mathematical Society. ISBN 978-0821808450  Swartz, Charles W. (2001). Introduction to Gauge Integrals. World Scientific Publishing Company. ISBN 978-9810242398  Leader, Solomon (2001). The Kurzweil-Henstock Integral & Its Differentials. Pure and Applied Mathematics Series. CRC. ISBN 978-0824705350  Kurzweil, Jaroslav (2000). Henstock-Kurzweil Integration: Its Relation to Topological Vector Spaces. Series in Real Analysis. 7. World Scientific Publishing Company. ISBN 978-9810242077  Lee, Peng-Yee; Výborný, Rudolf (2000). Integral: An Easy Approach after Kurzweil and Henstock. Australian Mathematical Society Lecture Series. Cambridge University Press. ISBN 978-0521779685  Bartle, Robert G.; Sherbert, Donald R. (1999). Introduction to Real Analysis (3rd ed.). Wiley. ISBN 978-0471321484  Gordon, Russell A. (1994). The integrals of Lebesgue, Denjoy, Perron, and Henstock. Graduate Studies in Mathematics. 4. Providence, RI: American Mathematical Society. ISBN 978-0821838051  Čelidze, V G; Džvaršeǐšvili, A G (1989). The Theory of the Denjoy Integral and Some Applications. Series in Real Analysis. 3. World Scientific Publishing Company. ISBN 978-9810200213  Lee, Peng-Yee (1989). Lanzhou Lectures on Henstock Integration. Series in Real Analysis. 2. World Scientific Publishing Company. ISBN 978-9971508913  Henstock, Ralph (1988). Lectures on the Theory of Integration. Series in Real Analysis. 1. World Scientific Publishing Company. ISBN 978-9971504502  McLeod, Robert M. (1980). The generalized Riemann integral. Carus Mathematical Monographs. 20. Washington, D.C.: Mathematical Association of America. ISBN 978-0883850213  Weisstein, Eric W. "HK Integral". mathworld.wolfram.com (英語). Weisstein, Eric W. "Denjoy Integral". mathworld.wolfram.com (英語). Weisstein, Eric W. "Perron Integral". mathworld.wolfram.com (英語). fundamental theorem of calculus for Kurzweil-Henstock integral - PlanetMath.（英語） The following are additional resources on the web for learning more: http://www.math.vanderbilt.edu/~schectex/ccc/gauge/ http://www.math.vanderbilt.edu/~schectex/ccc/gauge/letter/