記述集合論
数理論理学において記述集合論(descriptive set theory)はよい振る舞いを持つポーランド空間(例えば実数直線)の部分集合の研究である。集合論の主要な研究分野のひとつであるのと同様に、関数解析、エルゴード理論、作用素環、群作用、数理論理学など、他の分野への応用を持つ。
記述集合論はポーランド空間とそのボレル集合の研究とともに始まった。
ポーランド空間は第二可算公理を満たす位相空間で完備距離化可能なものをいう。同じことだが、それは可分な完備距離空間で距離を忘却したものである。ポーランド空間の例としては次のものが含まれる:実数直線 \mathbb{R}, ベール空間 \mathcal{N}, カントール空間 \mathcal{C}, ヒルベルト立方体 I^{\mathbb{N}
ポーランド空間のクラスはいくつかの普遍性の性質を持つ。これは特定の制限された形のポーランド空間を考えても一般性を失わないことを示す。
任意のポーランド空間はヒルベルト立方体の部分 G_{\delta} 集合に同相であり、逆にヒルベルト立方体の部分 G_{\delta} 集合はポーランド空間である。
任意のポーランド空間はベール空間の連続像である。実際には任意のポーランド空間はベール空間の閉部分集合で定義されたある連続全単射の像である。同様に、任意のコンパクトなベール空間はカントール空間の連続像である。
これらの普遍性の性質と、ベール空間 \mathcal{N} が \mathcal{N}^\omega  と同相であるという便利な性質により、記述集合論における多くの結果はベール空間において証明される。
位相空間 X のボレル集合のクラスは X の開集合を含む最小のσ加法族である。その意味するところは X のボレル集合は次を満たす最小の集まりということである:
X の任意の開集合はボレル集合である;
もし A がボレル集合ならば補集合 X \setminus A もそうである。すなわちボレル集合のクラスは補集合で閉じている。
もし A_n がボレル集合の可算列ならば、和集合 \bigcup_{n \in \mathbb{N} A_n はボレル集合である。すなわちボレル集合のクラスは可算和で閉じている。
これに関する基本的な結果は任意の非可算な2つのポーランド空間 X と Y はボレル同型であることを示す。すなわち X から Y への全単射で、ボレル集合の逆像はボレルであり、ボレル集合の順像はボレルであるようなものが存在する。これはポーランド空間の形をベール空間とカントール空間に制限して考えることの追加の正当性を与える。というのも他のどのポーランド空間も
ボレル集合のレベルでこれらの空間に同型だからである。
ポーランド空間のボレル集合はボレル階層に分類される。これは開集合から始めて可算和と補集合をいくつ適用して得られるかに基づく。この分類は可算順序数によって階層付けられる。任意のゼロでない可算順序数 \alpha に対して \mathbf{\Sigma}^0_\alpha,, \mathbf{\Pi}^0_\alpha, \mathbf{\Delta}^0_\alpha なるクラスが次のように定義される。ここで各々は太字(boldface)で書かれ、細字(lightface)のものは別に定義される。
集合が \mathbf{\Sigma}^0_1 とはそれが開集合であることをいう。
集合が \mathbf{\Pi}^0_\alpha であるのは、その補集合が \mathbf{\Sigma}^0_\alpha のとき、かつそのときに限る。
集合 A が \mathbf{\Sigma}^0_\delta\ (\delta >1) であるのは、可算列 A_i で各 A_i が \mathbf{\Pi}^0_{\lambda_i}\ (\lambda_i < \delta) であり A = \bigcup_{i \in \mathbb{N} A_i となるものが存在するとき、かつそのときに限る。
集合が \mathbf{\Delta}^0_\alpha であるのは、それが \mathbf{\Sigma}^0_\alpha かつ \mathbf{\Pi}^0_\alpha であるとき、かつそのときに限る。
これに関する定理は任意の \mathbf{\Sigma}^0_\alpha または \mathbf{\Pi}^0_\alpha 集合は \mathbf{\Delta}^0_{\alpha+1} であることを示し、また任意の \mathbf{\Delta}^0_\beta 集合は \mathbf{\Delta}^0_\alpha (\alpha > \beta) であることを示す。すなわちこの階層は次のような構造を持つ。ここで矢印は包含を示す。
\begin{matrix}
& & \mathbf{\Sigma}^0_1 & & & & \mathbf{\Sigma}^0_2 & & \cdots \\
& \nearrow & & \searrow & & \nearrow \\
\mathbf{\Delta}^0_1 & & & & \mathbf{\Delta}^0_2 & & & & \cdots \\
& \searrow & & \nearrow & & \searrow \\
& & \mathbf{\Pi}^0_1 & & & & \mathbf{\Pi}^0_2 & & \cdots
\end{matrix}\begin{matrix}
& &  \mathbf{\Sigma}^0_\alpha & & & \cdots \\
& \nearrow & & \searrow \\
\quad \mathbf{\Delta}^0_\alpha &  & & & \mathbf{\Delta}^0_{\alpha + 1} & \cdots \\
& \searrow & & \nearrow \\
& & \mathbf{\Pi}^0_\alpha & & & \cdots
\end{matrix}
古典記述集合論はボレル集合の正則性の性質の研究を含む。例えばポーランド空間のボレル集合はベールの性質と完全集合性質を持つ。現代記述集合論はそれらの結果のポーランド空間の他の部分集合のクラスへの一般化(または一般化できない場合)の方法の研究を含む。
ボレル集合のちょうど上の複雑性として解析集合と補解析集合がある。ポーランド空間 X の部分集合が解析であるとは、それがあるポーランド空間のボレル部分集合の連続像であるときにいう。いかなるボレル集合の連続逆像もボレルであるが、解析集合はボレルとは限らない。集合が補解析とはそれの補集合が解析集合であることをいう。これに関する基本的な結果は、解析かつ補解析な集合はボレル集合とちょうど一致するというものである(ススリンの定理)。
記述集合論の多くの問題は究極的には順序数と基数に関する集合論的な性質に依存している。すなわち連続体仮説、巨大基数公理、構成可能性の公理などの集合論のoptionalな公理に依存する。この現象はとりわけ射影集合に対して顕著である。これらはポーランド空間 X 上の射影階層を通して定義される:
集合が \mathbf{\Sigma}^1_1 とはそれが解析集合であることをいう。
集合が \mathbf{\Pi}^1_1 とはそれが補解析集合であることをいう。
集合 A が \mathbf{\Sigma}^1_{n+1} とは、ある X \times X の \mathbf{\Pi}^1_n 集合 B に対して A が B の第1座標への射影であることをいう。
集合 A が \mathbf{\Pi}^1_{n+1} とは、ある X \times X の \mathbf{\Sigma}^1_n 集合 B に対して A が B の第1座標への射影であることをいう。
集合が \mathbf{\Delta}^1_{n} とはそれが \mathbf{\Pi}^1_n かつ \mathbf{\Sigma}^1_n であることをいう。
ボレル集合におけると同様に、任意の n について、任意の \mathbf{\Delta}^1_n 集合は \mathbf{\Delta}^1_{n+1} である。
構成可能性の公理 V=L のもとでベールの性質や完全集合性質を持たない射影集合の存在が示される。しかしながら、射影集合の決定性もとで、全ての射影集合は完全集合性質とベールの性質を持つことが示される。これはZFCはボレル集合の決定性を証明できるが、射影集合についてはそうでないことに関係している。
もっと一般に、ポーランド空間 X の部分集合の集まりはWadge次数として知られる同値類に分類される。これは射影階層を一般化する。これらの次数はWadge階層に並べられる。決定性公理はポーランド空間上のWadge階層が整礎で長さΘの射影階層の延長であることを含意する。
記述集合論における最近の研究領域ではボレル同値関係が研究されている。ポーランド空間 X のボレル同値関係は X \times X のボレル部分集合で X の同値関係となっているようなものをいう。
エフェクティブ記述集合論の領域は記述集合論の手法と一般再帰理論の手法(とりわけ超算術的階層)とを結合させる。とくに古典記述集合論の階層の細字版(エフェクティブ版)に焦点が当てられる。したがって超算術的階層はボレル階層の、また解析的階層は射影階層のエフェクティブ版として研究される。これらの研究はクリプキ-プラテク集合論や二階算術などの弱い集合論に関係する。