kazz の数学旅行記

数学の話題を中心に, 日々の知的活動の旅路を紹介します.

2020-05-16から1日間の記事一覧

ブルバキ多様体の補足ノート Chapter 1, 2

微分多様体の基礎 1 ファイルを更新しました. ブルバキ多様体の第1, 2章の完全な証明がついています. (第1, 2章の定式化は, これで完了です.) 第1, 2章のレベルならば, 私でも完全な証明をつけられますが, 第 3章以降は, そうは行かなくなるでしょう.