2022-08-11 今日までの数学 2022/8/11 日記 今日の時点で, ブルバキリー群 vol.2, リー群芽のところまで終了しました. 随分前に C^r_i 級多様体 (i = 0, 1 or 2, 0 ≦ r ≦ ω) の概念を定式化したので, ブルバキ多様体とかリー群の定式化を C^r_i 級の場合にどれだけ可能かを検証しています.
