クザンの定理とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > クザンの定理の意味・解説 

クザンの定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/30 08:08 UTC 版)

クザンの定理: 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)。



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「クザンの定理」の関連用語

クザンの定理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



クザンの定理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのクザンの定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS