kazz の数学旅行記

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

2022-09-01から1ヶ月間の記事一覧

ブルバキ多様体の定式化の一般化.

ここ 5 年くらい取り組んでいた, ブルバキ多様体の定式化の一般化が終了しました. スカラー体 K が離散でない可換付値体の場合, そして, 1 ≦ r ≦ ω に対する C^r 級の場合についての精密な定式化です. research gate に掲載している pdf で, スキャナーで読…

博士論文要約版

私の博士論文の要約版を公開しました。 こちらです。 あと、博士論文の付録がこちらです。

微分多様体の基礎 2 〜解析関数の基礎〜

ミスプリを訂正しました。 p.41 の 1 行目です。 こちらです。

今日までの数学 2022/9/18

今日の時点で, ブルバキ多様体の,『多様体の向き』の 10.2.5 まで終了しています. 微分多様体の基礎 8 の pdf を見ながら勉強しています. 多様体の向きの勉強が終わったら, いよいよ, 僕の専門の homotopy theory に戻ります.

微分多様体の基礎 6 〜バナッハ多様体の基礎 II 〜

ここ数ヶ月、定式化を整理していた、ブルバキ多様体。リー群の基本のところを含めて、一段落しました。 資料はこちら。 他にも、微分多様体の基礎 3, 4 (僕のノートをスキャナーで読み込んだやつです) も, 微分多様体の基礎 2, 6 (LaTeX 版) との重複部分を…

数理論理学入門

ファイルを更新しました。 こちらになります。 今回の更新は、ミスプリの訂正です。 保存拡大の定理 (p.107) の場所です。