ボレル階層のソースを表示

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

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

== ボレル集合 ==
{{main|ボレル集合}}

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

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

== 太字のボレル階層 ==

空間''X''における'''ボレル階層'''または'''太字のボレル階層'''は0以上の可算順序数 <math>\alpha</math> についてのクラス <math>\mathbf{\Sigma}^0_\alpha</math>, <math>\mathbf{\Pi}^0_\alpha</math>, <math>\mathbf{\Delta}^0_\alpha</math> からなる。

これらのクラスはそれぞれ''X''の部分集合からなり、以下のルールで帰納的に定義される：
* 集合が <math>\mathbf{\Sigma}^0_1</math> に属することはそれが開集合であることと同値である。
* 集合が <math>\mathbf{\Pi}^0_\alpha</math> に属することは、その補集合が <math>\mathbf{\Sigma}^0_\alpha</math> に属することと同値である。
* 集合 <math>A</math> が <math>\mathbf{\Sigma}^0_\alpha</math>（<math>\alpha > 1</math>）に属することは、ある集合列 <math>A_1,A_2,\ldots</math> について各 <math>A_i</math> が <math>\mathbf{\Pi}^0_{\alpha_i}</math>（<math>\alpha_i < \alpha</math>）に属していて <math> A = \bigcup A_i</math> となることと同値である。
* 集合が <math>\mathbf{\Delta}^0_\alpha</math> に属することは、<math>\mathbf{\Sigma}^0_\alpha</math> と <math>\mathbf{\Pi}^0_\alpha</math> の両方に属することと同値である。

この階層を考える動機は、ボレル集合が補集合と可算和を用いて開集合から構成される方法に倣うためである。
ボレル集合が'''有限ランク'''を持つとは、それがある有限順序数<math>\alpha</math>に対する<math>\mathbf{\Sigma}^0_\alpha</math>に属することである; そうでなければ'''無限ランク'''を持つという。

一般の位相空間で成り立つわけではないが、もし <math>\mathbf{\Sigma}^0_1 \subseteq \mathbf{\Sigma}^0_2</math> であれば、そのボレル階層では次の性質が成立することが示せる: 
* 全ての ''&alpha;'' について、<math>\mathbf{\Sigma}^0_\alpha \cup \mathbf{\Pi}^0_\alpha \subseteq \mathbf{\Delta}^0_{\alpha+1}</math> である。したがって、一度 <math>\mathbf{\Sigma}^0_\alpha</math> か <math>\mathbf{\Pi}^0_\alpha</math> に属した集合は、その ''&alpha;'' より大きい順序数に対応する全ての階層にも属する。
* <math>\bigcup_{\alpha < \omega_1} \mathbf{\Sigma}^0_\alpha = \bigcup_{\alpha < \omega_1} \mathbf{\Pi}^0_\alpha = \bigcup_{\alpha < \omega_1} \mathbf{\Delta}^0_\alpha</math>. そして、この和に集合が属することは、それがボレルであることと同値である。
* <math>X</math> が不可算なポーランド空間である場合、全ての <math>\alpha < \omega_1</math> において <math>\mathbf{\Sigma}^0_\alpha</math> は <math>\mathbf{\Pi}^0_\alpha</math> に部分集合として含まれてはいないことが示せる。したがって、この階層は潰れない。

=== 低ランクのボレル集合 ===

古典的な記述集合論において、低ランクのボレル階層は別の名前でも知られている。
* <math>\mathbf{\Sigma}^0_1</math> 集合は開集合である. <math>\mathbf{\Pi}^0_1</math> 集合は閉集合である。
* <math>\mathbf{\Sigma}^0_2</math> 集合は閉集合の可算和であるが、これは[[Fσ集合|F<sub>&sigma;</sub> 集合]]と呼ばれている。<math>\mathbf{\Pi}^0_2</math> 集合はその双対クラスであり、開集合の可算交叉で書ける。これらの集合は[[Gδ集合|G<sub>&delta;</sub> 集合]]と呼ばれている。

== 細字の階層 ==

'''細字のボレル階層''' ('''実効的ボレル階層'''とも呼ばれる<ref name="Hinman78">P. G. Hinman, *Recursion-Theoretic Hierarchies*. Perspectives in Mathematical Logic, Springer-Verlag (1978). ISBN 3-540-07904-1.</ref><sup>pp.163--164</sup>) は太字のボレル階層の実効的バージョンである。これは[[実効的記述集合論]]や[[再帰理論]]において重要である。細字のボレル階層は[[実効ポーランド空間]]の部分集合の[[算術的階層]]を拡張したものであり、[[超算術的階層]]と密接な関係がある。

細字のボレル階層は任意の実効ポーランド空間上で定義できる。これは、[[チャーチ・クリーネ順序数]] <math>\omega^{\mathrm{CK}}_1</math> 未満の0でない可算順序数 <math>\alpha</math> についてのクラス <math>\Sigma^0_\alpha</math>, <math>\Pi^0_\alpha</math>, <math>\Delta^0_\alpha</math>から構成される。各クラスは空間の部分集合からなる。これらのクラス、およびクラスの要素に対する'''コード''は帰納的に以下のように定義される:<ref>D. Martin, [https://www.jstor.org/stable/1971035 Borel Determinacy], Annals of Mathematics vol. 102, pp.363--371 (1975)</ref>
* 集合が <math>\Sigma^0_1</math> であることは、それが'''実効的開集合'''であることと同値である。すなわち、開集合であって基本開集合の列の[[帰納的可算]]な和になっていることである。そのような集合のコードはペア ''(0,e)'' であり、ここで ''e'' は基本開集合列を列挙するプログラムのインデックスである。
* 集合が <math>\Pi^0_\alpha</math> であることは、その補集合が <math>\Sigma^0_\alpha</math> であることと同値である。このような集合のコードはペア ''(1,c)'' であり、ここで ''c'' は補集合のコードである。
* 集合が <math>\Sigma^0_{\alpha}</math> であることは、ある[[帰納的可算]]な列が存在して、それが列 <math>A_1,A_2,\ldots</math>（ただし、各 <math>A_i</math> は <math>\Pi^0_{\alpha_i}</math> 集合で、<math>\alpha_i < \alpha</math>）の各要素のコードからなる列であって、<math>A = \bigcup A_i</math> となっていること。<math>\Sigma^0_\alpha</math> 集合のコードはペア ''(2,e)'' であり、ここで ''e'' は列 <math>A_i</math> のコードを列挙するプログラムのインデックスである。

細字のボレル集合のコードは、より小さなランクの集合からその集合を復元する方法に関する完全な情報を与える。
これは、そのような実効性が要求されない太字の階層とは対照的である。各細字のボレル集合は、無限に多くの異なるコードを持つ。
他のコード体系を用いることも可能である。採用可能なコード体系の重要な点は、そのコードが実効的開集合、既出のコードで表現された集合の補集合、コード列の計算可能な枚挙を実効的に区別しなければならないということである。

各<math>\alpha < \omega^{\mathrm{CK}}_1</math>において、<math>\Sigma^0_\alpha \setminus \Pi^0_{\alpha}</math>に属する集合が存在し、この階層は潰れない。ただし、<math>\omega^{\mathrm{CK}}_1</math>まで到達すると新しい集合は付加されない。

スペクターとクリーネによる有名な定理で、集合が細字のボレル階層にあることと[[解析的階層]]の <math>\Delta^1_1</math> にあることとが同値であることが知られている。これらの集合は'''超算術的集合'''とも呼ばれる。加えて、自然数<math>n>0</math>について実効的ボレル階層の <math>\Sigma^0_n</math>, <math>\Pi^0_n</math> と[[算術的階層]]の <math>\Sigma^0_n</math>, <math>\Pi^0_n</math> は同じ名称であるが、実際等しいものである。<ref name="Hinman78" /><sup>p.168</sup>

細字のボレル集合''A''のコードは、ノードがコードでラベル付けされた木を帰納的に定義するために使用できる。木の根は''A''のコードでラベル付けされる。あるノードが''(1,c)''という形のコードでラベル付けされている場合、そのノードはコードが''c''である子ノードを持つ。あるノードが ''(2,e)'' という形式のコードでラベル付けされている場合、そのノードはプログラムによってインデックス ''e'' で列挙された各コードに対して1つの子を持つ。ノードが''(0,e)''という形のコードでラベル付けされている場合、そのノードは子を持たない。このツリーは、''A''がどのように小さなランクの集合から構築されるかを説明している。''A''の構成に使われる順序数によって、この木が無限パスを持たないことが保証される。なぜなら、この木を通る無限パスは''2''から始まるコードを無限に含まなければならず、順序数の無限減少列を与えるからである。
逆に、<math>\omega^{<\omega}\,</math>の任意の部分木が一貫した方法でノードがコードでラベル付けされ、木が無限パスを持たない場合、木の根のコードは細字ボレル集合のコードである。この集合のランクは、木の[[クリーネ・ブラウワー式順序]]における順序型で抑えられる。木は算術的に定義可能なので、このランクは<math>\omega^{\mathrm{CK}}_1</math>より小さくなければならない。これは細字階層の定義におけるチャーチ・クリーネ順序数の起源である。

==他の階層との関係==

{{pointclasses}}

==参考文献==
{{reflist}}

* [[Alexander S. Kechris|Kechris, Alexander]].  ''Classical Descriptive Set Theory''.  Graduate Texts in Mathematics v. 156, Springer-Verlag, 1995.  {{ISBN|3-540-94374-9}}.
* [[Thomas Jech|Jech, Thomas]].  ''Set Theory'', 3rd edition.  Springer, 2003. {{ISBN|3-540-44085-2}}.

== 関連項目 ==
* [[Wadge hierarchy]]
* [[Large countable ordinal|Veblen hierarchy]]

{{DEFAULTSORT:ほれるかいそう}}
[[Category:記述集合論]]
[[Category:数理論理学的階層]]
[[Category:数学に関する記事]]