解析集合と補解析集合
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 10:23 UTC 版)
ボレル集合のちょうど上の複雑性として解析集合と補解析集合がある。ポーランド空間 X {\displaystyle X} の部分集合が解析であるとは、それがあるポーランド空間のボレル部分集合の連続像であるときにいう。いかなるボレル集合の連続逆像もボレルであるが、解析集合はボレルとは限らない。集合が補解析とはそれの補集合が解析集合であることをいう。これに関する基本的な結果は、解析かつ補解析な集合はボレル集合とちょうど一致するというものである（ススリンの定理）。
※この「解析集合と補解析集合」の解説は、「記述集合論」の解説の一部です。
「解析集合と補解析集合」を含む「記述集合論」の記事については、「記述集合論」の概要を参照ください。
ウィキペディア小見出し辞書の「解析集合と補解析集合」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 解析集合と補解析集合のページへのリンク
