必要なのは一点集合の閉集合性でした。 T1分離公理からただちに導ける。 うりぞーんは単に完全正則性の証明を間に挟むために必要。

選択公理についていくつか思うことがある。これは数学の初心者である僕が言っているだけで、実際のところどうなっているのかはまったく知らないよ、と逃げの手を打っておこう。 無限集合を扱うようになって、よく選択公理を使う証明を見かけるようになったの…