yu8 · Nov 4, 2026 · 10:39 AM UTC

類体論の基礎はすべて終わったと言ったが、嘘だイデアル類群の有限性の証明が残っていた

557

yu8 · Nov 5, 2026 · 10:02 AM UTC

これでイデアル類群の有限性はミンコフスキーのノルム評価に帰着するミンコフスキーのと冠しているが、つまりミンコフスキーの定理の系ということらしい

yu8 · Nov 5, 2026 · 10:08 AM UTC

肝心のミンコフスキーの定理だが、格子点に付随する何らかの行列式と体積の関係のようで、全く興味がわかないというか全く素養のない分野に紛れ込んでしまった凸ってなんだ？

yu8 · Nov 4, 2026 · 9:10 AM UTC

1と0.999...が同じであるか否かに関わらず1は確定している √2も直角三角形の斜辺として確定しているから1.4142...と展開する必要がない πも円周率として確定しており、わざわざ3.14...と小数展開する必要はないなぜ無限小数で表したがるのか？

8,203

yu8 · Nov 5, 2026 · 7:13 AM UTC

つまり、 1→1 2→1.4 3→1.41 4→1.414 ... という写像f:N→Qと、集合{(x,f(x))|x∈N}を同一視しようというのだが、この操作と無限集合の同一視が個人的に昔から気持ち悪いこの集合は操作が終らないと得られないのだから

yu8 · Nov 5, 2026 · 9:41 AM UTC

あり得ないほど見られてるこういうのってもっと荒れるんじゃないの？