今日の数学 2021/6/27

今日の数学は

[ブルバキ多様体] principal G-bundle の断面

[ブルバキ位相線型空間] マッキーの位相が初めの位相と同じになる条件,

弱化位相の性質.