幾何

【情報幾何学】m測地線は確率モデルと独立に定まらないのか

統計学の問題設定は、基本的に次のようなものです。データ $x_1, x_2, \dots, x_d$ が与えられています。それらは $X$ ($=\mathbb{R}^n$ であることが多い) 上のデ...

続きを読む

可微分多様体 $M$ には接ベクトル束 $\pi : TM \to M$ が自然に定義される。接ベクトル空間は多様体の次元と同じ次元のベクトル空間なので、異なる2点 $p, q \in M$ の接ベクトル空間 $T_p...

続きを読む

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

続きを読む

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

続きを読む

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

続きを読む

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

続きを読む