コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

「クザンの定理」の版間の差分

出典: フリー百科事典『ウィキペディア(Wikipedia)』
削除された内容 追加された内容
編集の要約なし
註記1:外国語の文を直訳しただけのきしょい文章など述べるくらいなら翻訳しない方が遥かにマシである;いわんや原語の方が意味をとりやすい.
1行目: 1行目:
'''クザンの定理'''({{lang-en-short|Cousin's theorem}})は[[実解析学]]定理であって次を主張す
'''クザンの定理'''({{lang-en-short|Cousin's theorem}})は次のような[[実解析学]]における定理である:


:もし閉領域(現代的な用語でいえば[[閉集合|閉]]かつ[[有界]])の各点に対して有限半径の円(現代的には[[近傍_(数学)|近傍]])が与えられているとき、この領域を有限個の部分領域に分けて、各部分領域がその部分領域内の点を中心とする円の内部に入るようにできる。<ref name="h1">Hildebrandt 1925, p. 29</ref>
:閉領域(現代的な用語でいえば[[閉集合|閉]]かつ[[有界]])の各点に対して半径が有限の円(現代的には[[近傍_(数学)|近傍]])が与えられているとき、この領域を有限個の部分領域に分けて、各部分領域がその部分領域内の点を中心とする与えられた円の内部に入るようにできる。<ref name="h1">Hildebrandt 1925, p. 29</ref>


この結果は[[アンリ・ポアンカレ]]の学生であるピエール・クザンによって1895年に確立・証明されたものである。それは[[コンパクト性]]に関する[[ハイネ・ボレルの被覆定理]]の原型(<math>\mathbb{R}^n</math> のコンパクト部分集合の任意の[[被覆_(数学)|被覆]]に対するそれ)の拡張になっている。しかしながら、クザンはいかなる[[クレジット]]も歓迎しなかった。「クザンの定理」は一般には[[アンリ・ルベーグ]]に帰せられ、「ボレル=ルベーグの定理」と呼び替えられた。ルベーグは1898年にこの結果を思いつき、1903年に彼の学位論文において証明した。<ref name="h1"/>
この結果は[[アンリ・ポアンカレ]]の学生であるピエール・クザンによって1895年に確立・証明されたものである。それは[[コンパクト性]]に関する[[ハイネ・ボレルの被覆定理]]の原型(<math>\mathbb{R}^n</math> のコンパクト部分集合の任意の[[被覆_(数学)|被覆]]に対するそれ)の拡張になっている。しかしながら、クザンはいかなる[[クレジット]]も歓迎しなかった。「クザンの定理」は一般には[[アンリ・ルベーグ]]に帰せられ、「ボレル=ルベーグの定理」と呼び替えられた。ルベーグは1898年にこの結果を思いつき、1903年に彼の学位論文において証明した。<ref name="h1"/>


現在では、これは次のように述べられる
現在では、これは次のように述べられる:
:<math>\mathcal{C}</math> を <math> [a, b] </math> の全被覆とする。つまり、<math> [a, b] </math> の閉部分区間の集まりであって、任意の <math>x\in [a,b]</math> に対して、ある <math>\delta > 0</math> が存在して、<math>\mathcal{C}</math> は <math> [a, b] </math> の部分区間 <math>I</math> で <math>x\in I</math> かつ <math>\mathrm{length}(I) < \delta </math> なるものを全て含む。このとき <math>[a, b]</math> の非重複な分割 <math>\{I_1, I_2, \ldots, I_n\}</math> であって、<math>I_i = [x_{i-1}, x_i] \in \mathcal{C}</math> かつ <math>a=x_0 < x_1 < \cdots < x_n = b</math> なるものが存在する。
:<math>\mathcal{C}</math> を <math> [a, b] </math> の全被覆とする。つまり、<math> [a, b] </math> の閉部分区間の集まりであって、任意の <math>x\in [a,b]</math> に対して、ある <math>\delta > 0</math> が存在して、<math>\mathcal{C}</math> は <math> [a, b] </math> の部分区間 <math>I</math> で <math>x\in I</math> かつ <math>\mathrm{length}(I) < \delta </math> なるものを全て含む。このとき <math>[a, b]</math> の非重複な分割 <math>\{I_1, I_2, \ldots, I_n\}</math> であって、<math>I_i = [x_{i-1}, x_i] \in \mathcal{C}</math> かつ <math>a=x_0 < x_1 < \cdots < x_n = b</math> なるものが存在する。



2019年4月21日 (日) 06:37時点における版

クザンの定理: Cousin's theorem)は次のような実解析学における定理である:

閉領域(現代的な用語でいえばかつ有界)の各点に対して半径が有限の円(現代的には近傍)が与えられているとき、この領域を有限個の部分領域に分けて、各部分領域がその部分領域内の点を中心とする与えられた円の内部に入るようにできる。[1]

この結果はアンリ・ポアンカレの学生であるピエール・クザンによって1895年に確立・証明されたものである。それはコンパクト性に関するハイネ・ボレルの被覆定理の原型( のコンパクト部分集合の任意の被覆に対するそれ)の拡張になっている。しかしながら、クザンはいかなるクレジットも歓迎しなかった。「クザンの定理」は一般にはアンリ・ルベーグに帰せられ、「ボレル=ルベーグの定理」と呼び替えられた。ルベーグは1898年にこの結果を思いつき、1903年に彼の学位論文において証明した。[1]

現在では、これは次のように述べられる:

の全被覆とする。つまり、 の閉部分区間の集まりであって、任意の に対して、ある が存在して、 の部分区間 かつ なるものを全て含む。このとき の非重複な分割 であって、 かつ なるものが存在する。

さらに、「クザンの定理」(という言葉)は主としてヘンストック=クルツヴァイル積分においてのみ用いられ、しばしば Fineness Theorem あるいはクザンの補題と呼ばれる。これは次のように述べられる:

もし 非退化コンパクト区間で、 で定義された任意のゲージならば、 の点付き分割であって -細であるものが存在する。[2]


証明

有界閉区間 の点付き分割とは、次を満たす点列 からなる:

また 上のゲージ とは 上定義された正の実数値を取る関数をいう。点付き分割が -細であるとは、任意の に対して が成り立つことをいう。

いま有界閉区間 とその上のゲージ が与えられたものとする。このとき -細な点付き分割が存在することを示そう。

を中心とし長さ の開区間を と書く。すると の開被覆を成す。ハイネ・ボレルの被覆定理より はコンパクトであるから、先の被覆から有限部分被覆 を取ることができる。ここで は有限である。そこで点列 を次のように再帰的に定義する:

となったら構成を終える。

に対し、 であって、開集合であるから、 のどこかで交わる。そこで かつ となるように選択する。また とおく。すると の点付き分割を成す。また、各 に対して、 ゆえ、 が成り立つ。すなわち -細である。

関連項目

参照

  1. ^ a b Hildebrandt 1925, p. 29
  2. ^ 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)。