解析的階層との関連
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/12/10 02:09 UTC 版)
ベール空間の部分集合がなす相対化された解析的階層と、ベール空間の部分集合がなす射影階層との間には密接な関連がある。 ベール空間の全ての Σ n 1 {\displaystyle {\boldsymbol {\Sigma }}_{n}^{1}} 部分集合が Σ n 1 {\displaystyle \Sigma _{n}^{1}} であるわけではないが、ある自然数集合 A についての Σ n 1 , A {\displaystyle \Sigma _{n}^{1,A}} 集合にはなる。 Π n 1 {\displaystyle {\boldsymbol {\Pi }}_{n}^{1}} 集合についても同様のことが言える。この関係は effective descriptive set theory において重要である。 同様の関係はカントール空間の部分集合間、さらに一般化して effective Polish space の部分集合間にも言える。
※この「解析的階層との関連」の解説は、「射影集合」の解説の一部です。
「解析的階層との関連」を含む「射影集合」の記事については、「射影集合」の概要を参照ください。
- 解析的階層との関連のページへのリンク