クザンの定理(英: Cousin's theorem)は次のような実解析学における定理である:
- 閉領域(現代的な用語でいえば閉かつ有界)の各点に対して半径が有限の円(現代的には近傍)が与えられているとき、この領域を有限個の部分領域に分けて、各部分領域がその部分領域内の点を中心とする与えられた円の内部に入るようにできる。[1]
この結果はアンリ・ポアンカレの学生であるピエール・クザンによって1895年に確立・証明されたものである。それはコンパクト性に関するハイネ・ボレルの被覆定理の原型(
のコンパクト部分集合の任意の被覆に対するそれ)の拡張になっている。「クザンの定理」は一般にはアンリ・ルベーグに帰着でき、「ボレル=ルベーグの定理」と呼び替えられた。ルベーグは1898年にこの結果を思いつき、1903年に彼の学位論文において証明した。[1]
現在では、これは次のように述べられる:
を
の全被覆とする。つまり、
の閉部分区間の集まりであって、任意の
に対して、ある
が存在して、
は
の部分区間
で
かつ
なるものを全て含むとする。そのとき
の非重複な分割
であって、
かつ
なるものが存在する。
さらに、「クザンの定理」(という言葉)は主としてヘンストック=クルツヴァイル積分においてのみ用いられ、しばしば Fineness Theorem あるいはクザンの補題と呼ばれる。これは次のように述べられる:
- もし
が非退化なコンパクト区間で、
が
で定義された任意のゲージならば、
の点付き分割であって
-細であるものが存在する。[2]
証明
有界閉区間
の点付き分割とは、次を満たす点列
と
からなる:
![{\displaystyle a=x_{0}<x_{1}<\cdots <x_{n}=b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86ad8e2583303401ea1f9664e7803433940fc5e1)
![{\displaystyle x_{i}\leq \xi _{i}\leq x_{i+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8dd3a83817819c6b3ea340cddc8f1ef622baec4)
また
上のゲージ
とは
上定義された正の実数値を取る関数をいう。点付き分割が
-細であるとは、任意の
に対して
が成り立つことをいう。
いま有界閉区間
とその上のゲージ
が与えられたものとする。このとき
の
-細な点付き分割が存在することを示そう。
各
を中心とし長さ
の開区間を
と書く。すると
は
の開被覆を成す。ハイネ・ボレルの被覆定理より
はコンパクトであるから、先の被覆から有限部分被覆
を取ることができる。ここで
は有限である。そこで点列
を次のように再帰的に定義する:
![{\displaystyle \xi _{0}=\min J}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4762b6dc762799bb1d0808a1521e2b4d86403c6)
![{\displaystyle \xi _{i+1}=\min\{\xi \in J\mid \xi _{i}<\xi {\text{ and }}\xi _{i}+\delta (\xi _{i})/2\in I_{\xi }\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b1c7b749651f69887299d40e6c019544b82422d)
となったら構成を終える。
各
に対し、
であって、
は開集合であるから、
と
は
のどこかで交わる。そこで
を
かつ
となるように選択する。また
とおく。すると
は
の点付き分割を成す。また、各
に対して、
ゆえ、
が成り立つ。すなわち
は
-細である。
関連項目
参照
- ^ a b Hildebrandt 1925, p. 29
- ^ Bartle 2001, p. 11
参考文献
- Hildebrandt, T. H. (1925). The Borel Theorem and its Generalizations In J. C. Abbott (Ed.), The Chauvenet Papers: A collection of Prize-Winning Expository Papers in Mathematics. Mathematical Association of America.
- Raman, M. J. (1997). Understanding Compactness: A Historical Perspective, Master of Arts Thesis. University of California, Berkeley.
- Bartle, R. G. (2001). A Modern Theory of Integration, Graduate Studies in Mathematics 32, American Mathematical Society.
- 寺澤順『はじめてのルベーグ積分』日本評論社(2009)。