19/08/16 11:49:01.70 pUzim9A1.net
>>85
つづき
命題
位相空間がカントール空間となるための必要十分条件は、それが空でない完全（英語版）かつ完備な完全不連結距離化可能空間となることである。
この定理は（ブール代数に対するストーン表現定理を通じて）任意の二つのカントール代数（可算かつアトムを持たないブール代数）は同型であるという事実に同値である。
(引用終り)
以上
19/08/16 11:49:01.70 pUzim9A1.net
>>85
つづき
命題
位相空間がカントール空間となるための必要十分条件は、それが空でない完全（英語版）かつ完備な完全不連結距離化可能空間となることである。
この定理は（ブール代数に対するストーン表現定理を通じて）任意の二つのカントール代数（可算かつアトムを持たないブール代数）は同型であるという事実に同値である。
(引用終り)
以上