位相空間論は、数学の中でも特に深淵な領域に位置しており、点、集合、連続性の概念を扱うことで、さまざまな数学的問題の理解を深める手助けをします。この理論は、単なる抽象概念に留まらず、解析学や幾何学、さらには物理学においても重要な役割を果たしています。この記事では、位相空間論の基本的な知識から、歴史的背景、教材の紹介、さらには解析や応用分野にまで幅広く掘り下げていきます。特に、初心者の方がこの領域に興味を持つきっかけを提供できるように、分かりやすく解説することを心掛けていますので、気軽に読み進めてください。 まずは位相空間論の基本的な定義や前提知識を確認し、その後に様々な具体例や著名な数学者との関わりについて考察します。加えて、学習方法や教材についてのアドバイスも提供しますので、位相空間論を学ぶ上での参考にしていただければ幸いです。それでは、学問の深淵な世界への第一歩を踏み出していきましょう！
- このページで取り扱う内容
- 問題
- (1)以下の距離関数 \(d:\mathbf{R}\times \mathbf{R}\rightarrow \mathbf{R}\) が \(\mathbf{R}\) 上の距離であるか応えよ。
- (2)\((X, d_X)\) を距離空間とする。\(a \in X\) および \(\varepsilon > 0\) に対し、$$B_X(a, \varepsilon) = \{ x \in X \mid d_X(x, a) < \varepsilon \}$$は \(X\) の開集合であることを示せ。
- (3)\((X, d_X)\) を距離空間、\((Y, d_Y)\) をその部分距離空間とする。\(Y\) の部分集合 \(F\) に対し、\(F\) が \(Y\) の閉集合であることと、ある \(X\) の閉集合\(\tilde{F}\) が存在して\(F = Y \cap \tilde{F}\)となることとが同値であることを示せ。
- (4)以下の命題が真なら証明し、偽なら反例を挙げよ。
- 問題
このページで取り扱う内容
このページでは、「位相空間論①講義」（https://sugakuzyouzu.com/hello-world/#toc12）で抗議した範囲の問題の紹介とその解説を行っていきます。解説が分からない、間違っていると思った方は、下のフォームから遠慮なく連絡ください。
問題
(1)以下の距離関数 \(d:\mathbf{R}\times \mathbf{R}\rightarrow \mathbf{R}\) が \(\mathbf{R}\) 上の距離であるか応えよ。
- ①\(d(x,y)=|x-y|\)
- ②\(d(x,y)=\begin{cases} 0 & (x=y)\\ 1& (x\neq y) \end{cases}\)
- ③\(d(x,y)=(x-y)^2\)
解説
①は距離(証明略) ②非負性、同一性、対称性は自明。三角不等式について考える。
(i) \(x=z\) の時 \(d(x,z)=0,d(x,y)+d(y,z)\ge 0\) より成立。
(ii) \(x\neq z\) の時 \(d(x,z)=1\) であり、\(x\neq y\) または \(z\neq y\) が成立。よって \(d(x,y)+d(z,y)\le 1\) となるため成立。
以上より距離である。
③非負性、同一性、対称性は自明。三角不等式について考える。
$$
|x-z|^2 \le |x-y|^2 + |y-z|^2
$$
が成り立つことかを考える。
しかしこれは一般には成立しない。実際に$$
x=0,\quad y=1,\quad z=2
$$とすると、$$
d(x,z)=|0-2|^2=4
$$一方で$$
d(x,y)+d(y,z)=|0-1|^2+|1-2|^2=1+1=2
$$となる。したがって\(
4 \le 2
\)は成り立たない。よって距離ではない。
(2)\((X, d_X)\) を距離空間とする。\(a \in X\) および \(\varepsilon > 0\) に対し、$$B_X(a, \varepsilon) = \{ x \in X \mid d_X(x, a) < \varepsilon \}$$は \(X\) の開集合であることを示せ。
解説
【証明】
任意に \(x \in B_X(a,\varepsilon)\)をとると
\(
d_X(x,a) < \varepsilon
\)
である。
ここで
$$
\delta := \varepsilon – d_X(x,a) > 0
$$
とおく。
任意の \(y \in B_X(x,\delta)\) に対して，
三角不等式より
$$
d_X(y,a)
\le d_X(y,x) + d_X(x,a)
< \delta + d_X(x,a)
= \varepsilon
$$
となる。
したがって
$$
B_X(x,\delta) \subset B_X(a,\varepsilon)
$$
が成り立つ。
よって各点 \(x \in B_X(a,\varepsilon)\) は
\(B_X(a,\varepsilon)\) に含まれる開球をもつので，
\(B_X(a,\varepsilon)\) は開集合である。
(3)\((X, d_X)\) を距離空間、\((Y, d_Y)\) をその部分距離空間とする。\(Y\) の部分集合 \(F\) に対し、\(F\) が \(Y\) の閉集合であることと、ある \(X\) の閉集合\(\tilde{F}\) が存在して\(F = Y \cap \tilde{F}\)となることとが同値であることを示せ。
解説
\((X,d_X)\) を距離空間、\((Y,d_Y)\) をその部分距離空間とする。
すなわち \(Y \subset X\) であり、
任意の \(y,y’ \in Y\) に対して
\( d_Y(y,y’) = d_X(y,y’) \) が成り立つとする。
\(F \subset Y\) とする。
(⇒)
\(F\) が \(Y\) において閉集合であると仮定する。
このとき \(Y -F\) は \(Y\) において開集合である。
部分距離空間の開集合の性質より、
ある \(X\) の開集合 \(U \subset X\) が存在して
$$
Y – F = Y \cap U
$$
と書ける。
両辺を \(Y\) で補集合をとると
$$
F = Y – (Y \cap U)
$$
である。
ここで集合の恒等式
$$
Y – (Y \cap U) = Y \cap (X – U)
$$
より
$$
F = Y \cap (X – U)
$$
となる。
\(U\) は \(X\) の開集合であるから\( X – U \) は \(X\) の閉集合である。
\(\tilde{F} := X – U\) とおけば
$$
F = Y \cap \tilde{F}
$$
となる。
(⇐)
ある \(X\) の閉集合 \(\tilde{F}\) が存在して
$$
F = Y \cap \tilde{F}
$$
と書けるとする。
\(\tilde{F}\) は \(X\) において閉集合であるから
\( X – \tilde{F} \) は \(X\) において開集合である。
すると
$$Y – F
Y – (Y \cap \tilde{F})
Y \cap (X – \tilde{F})
$$
となる。
\(X – \tilde{F}\) は \(X\) の開集合であるから、部分距離空間の開集合の性質より
\( Y \cap (X- \tilde{F}) \) は \(Y\) の開集合である。
したがって \(Y – F\) は \(Y\) の開集合であり、
よって \(F\) は \(Y\) の閉集合である。
以上より同値が示された。
(4)以下の命題が真なら証明し、偽なら反例を挙げよ。
① 全ての \(A_\lambda\) が開集合ならば
$$
\bigcup_{\lambda \in \Lambda} A_\lambda
$$
も開集合である。
② 全ての \(A_\lambda\) が開集合ならば
$$
\bigcap_{\lambda \in \Lambda} A_\lambda
$$
も開集合である。
③ 全ての \(A_\lambda\) が閉集合ならば
$$
\bigcap_{\lambda \in \Lambda} A_\lambda
$$
も閉集合である。
④ 全ての \(A_\lambda\) が閉集合ならば
$$
\bigcup_{\lambda \in \Lambda} A_\lambda
$$
も閉集合である。
解説
①
任意の \(\lambda \in \Lambda\) に対して \(A_\lambda\) が開集合であるとする。
\(x \in \bigcup_{\lambda \in \Lambda} A_\lambda\) とすれば、
ある \(\lambda_0 \in \Lambda\) が存在して
$$
x \in A_{\lambda_0}
$$
である。
\(A_{\lambda_0}\) は開集合であるから、ある \(\varepsilon > 0\) が存在して
$$
B(x,\varepsilon) \subset A_{\lambda_0}
$$
となる。
したがって
$$
B(x,\varepsilon) \subset \bigcup_{\lambda \in \Lambda} A_\lambda
$$
である。
よって
$$
\bigcup_{\lambda \in \Lambda} A_\lambda
$$
は開集合である。
②
有限個の場合は開集合であるが、
一般の無限個の共通部分は必ずしも開集合とは限らない。
例えば \(\mathbb{R}\) において
$$
A_n = \left(-\frac{1}{n}, \frac{1}{n}\right)
$$
とすると、各 \(A_n\) は開集合であるが
$$
\bigcap_{n=1}^\infty A_n = {0}
$$
となり、これは開集合ではない。
③
任意の \(\lambda \in \Lambda\) に対して \(A_\lambda\) が閉集合であるとする。
このとき
$$
X – A_\lambda
$$
は開集合である。
①より
$$
\bigcup_{\lambda \in \Lambda} (X – A_\lambda)
$$
は開集合である。
ド・モルガンの法則
$$X – \bigcap_{\lambda \in \Lambda} A_\lambda
\bigcup_{\lambda \in \Lambda} (X – A_\lambda)
$$
より\(
\bigcap_{\lambda \in \Lambda} A_\lambda
\)は閉集合である。
④
有限個の場合は閉集合であるが、
一般の無限個の和集合は必ずしも閉集合とは限らない。
例えば \(\mathbb{R}\) において
$$
A_n = \left[0,1-\frac{1}{n}\right]
$$
とすると、各 \(A_n\) は閉集合であるが
$$
\bigcup_{n=1}^\infty A_n = [0,1)
$$
となり、これは閉集合ではない。
コメント