Perfect set propertyとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Perfect set propertyの意味・解説 

Perfect set property

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/02/17 14:15 UTC 版)

記述集合論においてポーランド空間部分集合perfect set property を持つとは、それが可算であるか、空でない完全集合を部分集合として持つことである (Kechris 1995, p. 150)。

perfect set property は日本語では完全集合の性質と呼ばれることがあるが、完全集合そのものの性質を指す語ではないため、注意が必要である。

ポーランド空間において空でない完全集合は連続体濃度を持つ。実数全体の集合はポーランド空間である。よって、実数空間において完全集合は連続体仮説(実数の非可算集合は必ず連続体濃度を持つ)の反例にはなりえない。

カントール–ベンディクソンの定理はポーランド空間 X閉集合は perfect set property を持つことを主張する。より強く、X の閉集合は可算集合と完全集合の非交和に一意的に分解されることも証明されている。特に、非可算なポーランド空間は perfect set property を持っていて、可算な開集合と完全集合の非交和に分解される。

選択公理は perfect set property を持たない実数集合の存在を導く、例としてベルンシュタイン集合がある。しかしながら、ソロヴェイのモデルにおいては、ZFが成り立ち、完全な選択公理は成り立たず従属選択公理が成り立ち、そして全ての実数集合が perfect set property を持つ。よって、perfect set property を持たない実数集合の構成には(従属選択公理よりも強い)選択公理が必要である。

全ての解析集合は perfect set property を持つ。十分に大きい巨大基数が存在するとき、射影集合は全て perfect set property を持つ。

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  
  •  Perfect set propertyのページへのリンク

辞書ショートカット

すべての辞書の索引

「Perfect set property」の関連用語

Perfect set propertyのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Perfect set propertyのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのPerfect set property (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS