mitsukura.bsky.social
育児たる思い。幸せになりたい。楽して生きていたい。たまに数学
👤 Joined on 07 May 2023
Followers
Following
Total Posts
@mitsukura.bsky.socialコンパクト空間の連続像がコンパクトという命題で数論I(補題6.90)では値域がHausdorffであることが課されていてこれが何故かというとコンパクトの定義にHausdorffであることが含まれているからということに今更気がつきました Hausdorffを課さない定義を採用していると(例えば開被覆による定義でこれを被覆コンパクトと呼ぶと)被覆コンパクトの連続像は被覆コンパクトですがHausdorffの連続像はHausdorffとは限らないため上記命題のコンパクトは被覆コンパクトだと成り立ちますがHausdorffを定義に含めると値域をHausdorffにしないと成り立たないことがわかります…
Show Postグラフの岩澤理論は基礎となる有限グラフを雑に言ってp^n倍に拡張したもの(派生グラフ)を被覆射によって繫げたZp-塔グラフについて考察するものでした。因子群を使うなど全体的に幾何っぽい構成(あんまり勉強してないので詳しくはないですが)なのでそこから着想を得たのだと考えられます…岩澤類数公式や木田の公式の類似もありまして証明も似た感じで行われます。 以上勉強した感想でした
Show Post