今日までの数学: 2022/5/22

今日の時点で,

[1] ブルバキリー群: リー等質空間のところまで. (C^r 級の代わりに C^r_i 級で成り立つかどうかの検証をしていました.)

[2] ブルバキ積分: 作用素の積分. (原著ではスカラー体が R の場合の定式化だが,

複素係数の場合にも成り立つかどうかの検証をしていました.)