|
数理論理学において記述集合論()はよい振る舞いを持つポーランド空間(例えば数直線)の部分集合の研究である。集合論の主要な研究分野のひとつであるのと同様に、関数解析、エルゴード理論、作用素環、群作用、数理論理学など、他の分野への応用を持つ。 == ポーランド空間 == 記述集合論はポーランド空間とそのボレル集合の研究とともに始まった。 ポーランド空間は第二可算公理を満たす位相空間で完備距離化可能なものをいう。同じことだが、それは可分な完備距離空間で計量を忘却したものである。ポーランド空間の例としては次のものが含まれる:数直線 , ベール空間 , カントール空間 , ヒルベルト立方体 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「記述集合論」の詳細全文を読む スポンサード リンク
|