|
記述集合論において、ポーランド空間 の部分集合が 解析集合 であるとは、それがあるポーランド空間の連続像であることをいう。この概念を最初に定義したのはルジンとその指導下にあったススリンである。, == 定義 == 解析集合の定義にはいくつか同値なものがある。 ポーランド空間の部分空間 ''A'' について、以下の条件は全て同値である: *''A'' が解析集合である。 *''A'' が空集合であるか、またはベール空間 ωω の連続像である。 *''A'' があるポーランド空間におけるボレル集合の連続像である。 *あるポーランド空間 と ボレル集合 があって、 が の射影であること; すなわち、 : 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「解析集合」の詳細全文を読む スポンサード リンク
|