解析集合とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 解析集合の意味・解説 

解析集合

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/25 16:04 UTC 版)

記述集合論において、ポーランド空間 の部分集合が 解析集合(Analytic set) であるとは、それがあるポーランド空間の連続像であることをいう。この概念を最初に定義したのはルジンとその指導下にあったススリンである。Luzin (1917), Souslin (1917)

定義

解析集合の定義にはいくつか同値なものがある。 ポーランド空間の部分空間 A について、以下の条件は全て同値である:

  • A が解析集合である。
  • A が空集合であるか、またはベール空間 ωω の連続像である。
  • A があるポーランド空間におけるボレル集合の連続像である。
  • あるポーランド空間 ボレル集合 があって、 の射影であること; すなわち、

性質

ポーランド空間において、解析集合全体による集合族は可算和、可算交叉、連続像、連続写像の逆像について閉じている。 解析集合の補集合が解析集合であるとは限らない。ススリンは、補集合が解析集合であるような解析集合はボレル集合であることを証明した。(逆に、全てのボレル集合は解析集合であり、ボレル集合は補集合を取る操作について閉じている。)ルジンは交わらない二つの解析集合はボレル集合で分離できることを証明した: すなわち、片方の解析集合を包含し、かつもう片方の解析集合と交わらないボレル集合がとれる。

解析集合はルベーグ可測であり (universally measurable でもある) かつ ベールの性質を持ち、またperfect set propertyを持つ。

射影階層

解析集合は射影階層の言葉を用いて 集合とも呼ばれる。この太文字は単なる装飾でなく、解析的階層における通常字体の とは異なるものであることを表している。解析集合の補集合の族は で表される。共通部分 はボレル集合族に他ならない。

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「解析集合」の関連用語

解析集合のお隣キーワード
検索ランキング

   

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



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

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

©2025 GRAS Group, Inc.RSS