ここ一週間くらい, ブルバキ積分 vol.3 で, ベクトル値測度の理論で, スカラー体が R と C の場合の比較をしていました. T を局所コンパクトハウスドルフ空間, F をハウスドルフ複素局所凸空間, K_C(T) を T 上のコンパクト台の複素数値連続関数の全体に, ブ…

以前, こちらの記事で話題にした件ですが, やはり反例がありました. ブルバキ数学原論 積分 vol.3, p.34, 系 4 の statement で, F を可算型ノルム空間, m を F の強双対 F'_β の中に値を取る T 上の測度とし, F'_β の標準ノルムに関して上有界とする時, m …

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