位相空間論は、数学の中でも特に深淵な領域に位置しており、点、集合、連続性の概念を扱うことで、さまざまな数学的問題の理解を深める手助けをします。この理論は、単なる抽象概念に留まらず、解析学や幾何学、さらには物理学においても重要な役割を果たしています。この記事では、位相空間論の基本的な知識を掘り下げていきます。特に、初心者の方がこの領域に興味を持つきっかけを提供できるように、分かりやすく解説することを心掛けていますので、気軽に読み進めてください。それでは、学問の深淵な世界への第一歩を踏み出していきましょう！
このページで取り扱う内容
このページでは、距離空間における点列の収束について解説します。
前回説明したように距離空間では、点どうしの「近さ」は 距離関数 によって測られます。つまり、「どれだけ近いか」は数値として与えられます。点列の収束とは、この距離関数を使って「点列の各項が、ある一点にどんどん近づいていくこと」を正確に表現したものです。それについて数学的に厳密に説明していきます。
距離空間における点列の収束の定義
距離空間 \((X,d)\) を考える。 点列 \(\{x_n\}_{n=1}^{\infty}\) が点 \(a\in X\) に収束するとは
距離 \(d(x_n,a)\)が\(0\) に近づくことを意味する。これを厳密に書くと以下のようになる。
$$\forall \epsilon >0,\exists N \in\mathbf{N} \\ n\ge N\Rightarrow d(x_n,a) <\epsilon $$
これは、どんな \(\epsilon\) を取っても、上手に自然数 \(N\)を取れば、 \(N\)以上の自然数 \(n\)に対して \(x_n\) は \(a\) との距離が \(\epsilon\) になるということである。
点列の収束についての同値な命題
上の命題は以下の命題と同値である。(証明は（リンク）で記載)
任意の \(a\) を含む開集合 \(U\) に対して、ある自然数 \(N\) が存在して$$n>N\Rightarrow x_n\in U$$
これは、直感的に言えば、「どんな“開いた囲い”で \(a\) を包んでも、点列は最後にはその囲いの中に落ち着く」ことを意味する。
点列の収束と閉集合の関係
距離空間 \((X,d)\) の部分閉集合 \(F\subset X\) について考える。この時以下は同値である。
- \(F\) は \(X\) の部分閉集合である。
- 任意の点列 \(\{x_n\}\in F\) が \(a\in X\) に収束する時 \(a\in F\) となる。
これはつまり \(F\) が閉集合 \(\iff\) \(F\) は全ての \(X\) の収束列の極限を含む
ことを意味する。
まとめ
\(\epsilon-N\)論法は位相空間論では、距離関数や開集合を用いて以上のように書くことが出来ます。
このように、距離空間では距離、収束、開集合、閉集合が互いに強く結ばれておりそれぞれは別の概念ではなく同じ構造を異なる視点から見たものとなっています。これより、次は距離空間の特殊なケースであるコーシー列、完備性といった深い話題へと進む準備が整ったこととなります。
コメント