幾何

• 2021.01.31

層でない前層の例：拡張が存在しない場合と一意でない場合

        数学では張り合わせによって数学的対象を構成することがよくあります。多様体はその典型的な例です。層は、張り合わせによる構成をとにかく一般化した概念であるといえます。層の定義するのに、まず前層が定義されますが、これらの差は...

続きを読む

• 2021.01.31

【ハコ閉の法則】ハウスドルフ空間上のコンパクト部分集合は閉集合である

        「ハウスドルフ空間上のコンパクト部分集合は閉集合である」という事実を、それぞれの頭文字をとってハコ閉の法則と呼ぶようです。これを証明しようと思います。その前に、ハウスドルフ空間とコンパクト集合の定義のおさらいをします。...

続きを読む

• 2021.01.20

ブローアップと特異点解消(実平面版)

        ブローアップは複素幾何学や代数幾何学で良く用いられる操作です。分かってしまえば案外簡単なのですが、何をしようとしているかわからないと混乱しがちなので、もっとも簡単な実平面の場合の解説をします。実多様体論では使われること...

続きを読む

• 2021.01.11

次元の異なるユークリッド空間は同相か？

        $\mathbb{R}^n$ と $\mathbb{R}^m$ は、 $n \neq m$のとき同相ではありません。これを証明します。 $n < m$ とします。$n = 0$ のときは明らかなので、$n ...

続きを読む