4172

大学数学をやってました。

[4172 @prove4172]

証明もLaTeXにしてみた。帰納法…神

[4172 @prove4172]

対角化不可能お祈り判定法

[4172 @prove4172]

アルゴリズムが証明になるのはGram-Schmidtの直交化法によるQR分解みたい

[4172 @prove4172]

佐藤基本群と被覆空間（基本群まで）。閉曲面の分類という縦軸（？）があって面白かった。1,2章に前提知識がまとめられているのも助かった。
印象に残っているのはやっぱりSeifert-van Kampenの定理の証明で、簡単なものを載せてくれているらしいのだが、それでも難しかった。また復習したいなあ

[4172 @prove4172]

桂代数学Ｉ。行間は特にないと思う。
入門レベルの群論の証明ってSylowの定理以外そんなに面白くなさそうだな…って思ってたからサラッと抜けられそうな本として選んだけど、本当にサラッと抜けられて感謝。でもSylowの定理は証明しろー！証明ないのかよ！
あっ環論は多項式環まわりが面白かったです

[4172 @prove4172]

内田集合位相。僕は怠惰なので章末問題とか解かないんだけど、この本は文章中に問題を差し込んでくるのでついつい解いてしまった。
証明の一部を問題に回しているという意味で行間はあるけど、解答とヒントもあるし証明の見通しもよくなってていい構成だと思う｡
完備距離空間からのラストスパート…神

[4172 @prove4172]

@kiboumikke ありがとうございます！

[4172 @prove4172]

特に書くこともないので使った数学書のレビューでもしていきます。
まずは杉浦解析Ｉ。行間が狭くて読みやすかった。初等関数を整級数で定義するのとか極限の定義が|x-a|<δなところとか好き。
でも量が多い！斎藤線形・桂代数学Ｉを終える間に積分法も終わらないのは驚きましたよ杉浦先生。コスパ最強

[4172 @prove4172]

斎藤線形（緑）。やや行間を感じた。列交換を許す掃き出し法とか単因子論とか僕は好きです。一方で表現行列や対角化は記述があっさりし過ぎのような…？
『一般的に方法を説明すると非常に煩雑になるので，以下のいくつかの例から方法を体得されたい』→（多分）体得しましたよ斎藤先生…！

[4172 @prove4172]

@TunTunde こんな感じです
https://t.co/GhcOVdXCT1

[4172 @prove4172]

@uchii_phy 一枚目がコードで、二枚目が出力結果です。
ALTにコードを分けて貼りました。
各コマンドの意味はお手数ですが、検索すれば出てくるので調べて下さい。

あと、デザインはコクヨルーズリーフの丸ぱくりなので、仮にこのテンプレートを使われる場合は、変なことには使わないで下さい～お願いします

[4172 @prove4172]

noteを作って半直積のpdfを置いときました。あとはJordan標準形のpdfだけ作って本分に戻ります

[4172 @prove4172]

久しぶりの微積分、でも多分これが最後

[4172 @prove4172]

半直積生活15日目（最終日）。位数4172の群
自分の名前でもやってみた。自信ないけど

[4172 @prove4172]

半直積生活14日目。位数p^3の群（奇素数）
半直積「くそっ位数8の群は半直積で分類できない」
Q_8「なめるなっ」
群の表示「あとは俺に任せろ」
半直積「でもpが奇素数なら位数p^3の群も分類できるでやんす」
Q_8・群の表示「「えっ」」

[4172 @prove4172]

半直積生活13日目。位数p^2qの群まとめ
半直積さん鬼つええ！このまま位数p^3の群もブッ分類していこうぜ！

Q_8「え？」

[4172 @prove4172]

半直積生活12日目。位数p^2qの群（p>q後半）
(q+9)/2←音も形も紛らわしい

[4172 @prove4172]

半直積生活11日目。位数p^2qの群（p>q前半）
Jordan標準形を勉強しといてよかったー
Frobenius標準形も勉強しとけばよかった－

[4172 @prove4172]

半直積生活10日目。位数2p^2の群
対角化を勉強しといてよかったー

[4172 @prove4172]

半直積生活9日目。位数p^2qの群（p<q）
位数12の時より簡単なような…

[4172 @prove4172]

半直積生活8日目。位数12の群
半直積なら見通しがいい。巡回群以外の有名群は知りません

[4172 @prove4172]

半直積生活7日目。位数pqrの群まとめ
半直積さん鬼つええ！このまま位数p^2qの群もブッ分類していこうぜ！