2021-04-11 今日の数学 2021/4/11 日記 今日の数学 [ブルバキ多様体] 部分多様体と準部分多様体の定義. [ブルバキ位相線型空間] 凸集合と凸函数. [集合論] 合併と積に関する分配法則.