ブルバキ位相 vol.1

ブルバキの位相の和訳、vol.1 につき、

ZF  -  {正則性公理}

でどれだけ定式化できるかの検証が終了しました。

例えば，準コンパクト一様空間から一様空間への連続写像が

一様連続になるとか、一様空間の分離完備化などは、

ZF  -  {正則性公理}

の下で定式化可能です。

ほかにもさまざまな性質が成り立ちます。