位相空間論①講義~0から定期テスト対策まで~

位相空間論は、数学の中でも特に深淵な領域に位置しており、点、集合、連続性の概念を扱うことで、さまざまな数学的問題の理解を深める手助けをします。この理論は、単なる抽象概念に留まらず、解析学や幾何学、さらには物理学においても重要な役割を果たしています。この記事では、位相空間論の基本的な知識から、歴史的背景、教材の紹介、さらには解析や応用分野にまで幅広く掘り下げていきます。特に、初心者の方がこの領域に興味を持つきっかけを提供できるように、分かりやすく解説することを心掛けていますので、気軽に読み進めてください。 まずは位相空間論の基本的な定義や前提知識を確認し、その後に様々な具体例や著名な数学者との関わりについて考察します。加えて、学習方法や教材についてのアドバイスも提供しますので、位相空間論を学ぶ上での参考にしていただければ幸いです。それでは、学問の深淵な世界への第一歩を踏み出していきましょう！

このページで取り扱う内容

高校までの数学では、「距離」といえば一般に絶対値によって与えられるものでした。しかし、位相空間論では「距離」という概念をより抽象的に定式化します。これにより、これまでユークリッド空間で定義されてきた数列や関数の極限、さらには連続性といった概念を、より一般の空間へと拡張して扱うことができるようになります。このページではその準備としての距離関数や距離空間、開集合の定義を行います。

準備

距離空間における数列、関数の極限を定義するために距離関数や開集合について定義していきます。

距離関数

これまで実数上では、2点 \(x,y\) の距離を$$|x-y|$$で表してきた。この式に注目すると、距離とは2点を入力すると非負の実数を返す「対応（写像）」であることが分かる。そこで、距離を一般の集合上で定義するために、次のような写像を考える。集合 \(X\) に対して$$d:X\times X\rightarrow \mathbf{R} $$この写像 \(d\) が私たちの直観的な距離の性質を満たすとき、 \(d\) を距離関数と呼ぶ。

距離関数の定義

集合 \(X\) 上の写像$$d:X\times X\rightarrow \mathbf{R} $$が、任意の \(x,y\in X\) に対して次の条件を満たすとき、$d$ を 距離関数 という。

(1) 非負性

$$d(x,y) \ge 0$$

(2) 同一性

$$d(x,y)=0 \iff x=y$$

(3) 対称性

$$d(x,y)=d(y,x)$$

(4) 三角不等式

$$d(x,z) \le d(x,y) + d(y,z)$$

距離空間

距離関数 $d$ が定まった組\((X,d)\)を距離空間という。

開球

距離空間 \((X,d)\) を考える。
点 \( x \in X \) と正の実数 \( r > 0 \) に対して、次の集合を定める：

$$
B(x,r)=\{x, y \in X \mid d(x,y) < r \}
$$

これを、中心 \( x \)、半径 \( r \) の開球という。

直感的には、「点 \( x \) から距離(関数の値) \( r \) 未満の点全体」の集まりである。
\(\mathbf{R}^2\) においては、これは円の内部に対応する。

距離空間における開集合、閉集合

距離空間 \((X,d)\) において、部分集合 \(U \subset X\) が開集合であるとは、

任意の \(x \in U\) に対して、ある \(r > 0\) が存在して

$$
B(x,r) \subset U
$$

となることである。部分集合 \(F\) が閉集合であるとは、\(F\) の補集合 \(X-F\) が開集合となることである。

部分距離空間

部分距離空間の定義

距離空間 \((X, d)\) を考える。
\(A \subset X\) を \(X\) の部分集合とする。

このとき、写像
$$
d_A : A \times A \to \mathbb{R}
$$
を
$$
d_A(x,y) = d(x,y) \quad (x,y \in A)
$$
によって定める。

このとき、$(A, d_A)$ は距離空間となり、
これを $(X,d)$ の部分距離空間という。

部分距離空間の性質

距離空間 \((X,d)\) とその部分距離空間 \((A,d_A)\) を考える。
ただし \(A\subset X\) とする。

このとき、\(U \subset A\) が \((A,d_A)\) において開集合であることと、
ある \(X\) の開集合 \(V \subset X\) が存在して
$$
U = A \cap V
$$
と書けることは同値である。

すなわち、部分距離空間における開集合は、
もとの空間の開集合との共通部分としてちょうど特徴づけられる。

距離空間における閉包、内部

内部の定義

距離空間 \( (X,d) \) を考える。部分集合 \( A \subset X \) に対して、
点 \( x \in A \) が 内点 であるとは、

ある \( r > 0 \) が存在して$$
B(x,r) \subset A
$$となることである。集合 \( A \) のすべての内点からなる集合を\( A \) の 内部 といい、\(
A^\circ
\)と表す。

---

閉包の定義

距離空間 \( (X,d) \) において、
点 \( x \in X \) が集合 \( A \subset X \) の 閉包 であるとは、

任意の \( r > 0 \) に対して$$
B(x,r) \cap A \neq \emptyset
$$が成り立つことである。
すべての閉包点からなる集合を
\( A \) の 閉包 といい、\(
\overline{A}
\)と表す。

以上でこのページは終わります。この内容の演習をしたいという方は、https://sugakuzyouzu.com/%e4%bd%8d%e7%9b%b8%e7%a9%ba%e9%96%93%e8%ab%96%e2%91%a0%e6%bc%94%e7%bf%920%e3%81%8b%e3%82%89%e5%ae%9a%e6%9c%9f%e3%83%86%e3%82%b9%e3%83%88%e5%af%be%e7%ad%96%e3%81%be%e3%81%a7/

で問題を紹介しているので是非解いてみてください！