ボレル階層とは? わかりやすく解説

ボレル階層

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/28 18:36 UTC 版)

数理論理学において、ボレル階層(ボレルかいそう、英語: Borel hierarchy)はポーランド空間の開集合によって生成されるボレル代数の階層化である; この代数の要素はボレル集合と呼ばれる。各ボレル集合にはランクと呼ばれる一意的な可算順序数が割り当てられる。ボレル階層は記述集合論において特に注目されている。

ボレル階層の一般的な使用法の1つは、ランクに関する超限帰納法を使用してボレル集合に関する事実を証明することである。小さい有限なランクの集合の性質は測度論解析学で重要である。

ボレル集合

任意の位相空間においてのボレル代数とは、全ての開集合を含んでいて可算和と補集合を取る操作について閉じている最小の集合族である。ボレル代数は可算交叉についても閉じている。

ボレル代数が正しく定義されていることの短い証明は、空間の冪集合全体が補集合と可算和のもとで閉じていること、したがって、ボレル代数は全ての開集合を含んでいてかつこれらで閉じた性質を持つような集合族全ての共通部分であることを示すことによって進行する。 この証明は、集合がボレルであるかどうかを決定する簡単な手続きを与えるものではない。ボレル階層を考える動機は、ボレル集合のより明確な特徴づけを与えることである。

太字のボレル階層

空間Xにおけるボレル階層または太字のボレル階層は0以上の可算順序数


ボレル階層

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/14 10:23 UTC 版)

記述集合論」の記事における「ボレル階層」の解説

ポーランド空間ボレル集合はボレル階層に分類される。これは開集合から始めて可算和と補集合をいくつ適用して得られるかに基づく。この分類は可算順序数によって階層付けられる任意のゼロでない可算順序数 α {\displaystyle \alpha } に対して Σ α 0 , {\displaystyle \mathbf {\Sigma } _{\alpha }^{0},} , Π α 0 {\displaystyle \mathbf {\Pi } _{\alpha }^{0}} , Δ α 0 {\displaystyle \mathbf {\Delta } _{\alpha }^{0}} なるクラス次のように定義される。ここで各々太字boldface)で書かれ細字(lightface)のものは別に定義される集合が Σ 1 0 {\displaystyle \mathbf {\Sigma } _{1}^{0}} とはそれが開集合であることをいう。 集合が Π α 0 {\displaystyle \mathbf {\Pi } _{\alpha }^{0}} であるのは、その補集合が Σ α 0 {\displaystyle \mathbf {\Sigma } _{\alpha }^{0}} のとき、かつそのときに限る集合 A {\displaystyle A} が Σ δ 0   ( δ > 1 ) {\displaystyle \mathbf {\Sigma } _{\delta }^{0}\ (\delta >1)} であるのは、可算A i {\displaystyle A_{i}} で各 A i {\displaystyle A_{i}} が Π λ i 0   ( λ i < δ ) {\displaystyle \mathbf {\Pi } _{\lambda _{i}}^{0}\ (\lambda _{i}<\delta )} であり A = ⋃ i ∈ N A i {\displaystyle A=\bigcup _{i\in \mathbb {N} }A_{i}} となるものが存在するとき、かつそのときに限る。 集合が Δ α 0 {\displaystyle \mathbf {\Delta } _{\alpha }^{0}} であるのは、それが Σ α 0 {\displaystyle \mathbf {\Sigma } _{\alpha }^{0}} かつ Π α 0 {\displaystyle \mathbf {\Pi } _{\alpha }^{0}} であるとき、かつそのときに限る。 これに関する定理は任意の Σ α 0 {\displaystyle \mathbf {\Sigma } _{\alpha }^{0}} または Π α 0 {\displaystyle \mathbf {\Pi } _{\alpha }^{0}} 集合は Δ α + 1 0 {\displaystyle \mathbf {\Delta } _{\alpha +1}^{0}} であることを示し、また任意の Δ β 0 {\displaystyle \mathbf {\Delta } _{\beta }^{0}} 集合は Δ α 0 ( α > β ) {\displaystyle \mathbf {\Delta } _{\alpha }^{0}(\alpha >\beta )} であることを示す。すなわちこの階層次のような構造を持つ。ここで矢印包含を示す。 Σ 1 0 Σ 2 0 ⋯ ↗ ↘ ↗ Δ 1 0 Δ 2 0 ⋯ ↘ ↗ ↘ Π 1 0 Π 2 0 ⋯ Σ α 0 ⋯ ↗ ↘ Δ α 0 Δ α + 1 0 ⋯ ↘ ↗ Π α 0 ⋯ {\displaystyle {\begin{matrix}&&\mathbf {\Sigma } _{1}^{0}&&&&\mathbf {\Sigma } _{2}^{0}&&\cdots \\&\nearrow &&\searrow &&\nearrow \\\mathbf {\Delta } _{1}^{0}&&&&\mathbf {\Delta } _{2}^{0}&&&&\cdots \\&\searrow &&\nearrow &&\searrow \\&&\mathbf {\Pi } _{1}^{0}&&&&\mathbf {\Pi } _{2}^{0}&&\cdots \end{matrix}}{\begin{matrix}&&\mathbf {\Sigma } _{\alpha }^{0}&&&\cdots \\&\nearrow &&\searrow \\\quad \mathbf {\Delta } _{\alpha }^{0}&&&&\mathbf {\Delta } _{\alpha +1}^{0}&\cdots \\&\searrow &&\nearrow \\&&\mathbf {\Pi } _{\alpha }^{0}&&&\cdots \end{matrix}}}

※この「ボレル階層」の解説は、「記述集合論」の解説の一部です。
「ボレル階層」を含む「記述集合論」の記事については、「記述集合論」の概要を参照ください。

ウィキペディア小見出し辞書の「ボレル階層」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


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

辞書ショートカット

すべての辞書の索引

「ボレル階層」の関連用語

ボレル階層のお隣キーワード
検索ランキング

   

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



ボレル階層のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのボレル階層 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの記述集合論 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS