ボレル階層
出典: フリー百科事典『ウィキペディア(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}}}
※この「ボレル階層」の解説は、「記述集合論」の解説の一部です。
「ボレル階層」を含む「記述集合論」の記事については、「記述集合論」の概要を参照ください。
- ボレル階層のページへのリンク