距離空間

1 定義と基本性質

距離空間は、要素同士の「遠さ」を数値で表す枠組みである。これにより、幾何学的な直観を一般の集合へ拡張し、収束や連続性を統一的に扱える。解析学では、関数や点列の振る舞いを調べる基礎として用いられる。

1.1 距離の公理

距離は通常、非負性、同一性、対称性、三角不等式の四つを満たす。非負性は距離が負にならないことを示し、同一性は同じ点同士の距離が0であることを表す。三角不等式は、2点間を直接結ぶよりも経由する経路の方が短くならないという性質である。

1.2 距離空間の定義

集合X上の距離dが与えられ、任意の2点に対してd(x,y)が定義されるとき、(X,d)を距離空間という。ここでXは点の集まり、dは点の配置に応じた近さの尺度である。距離が決まると、集合全体に解析的な構造が生まれる。

1.3 基本的な例

距離空間の理解には、具体例が重要である。特に実数直線、ユークリッド空間、離散距離空間は、性質の違いを比較しやすい基本例として頻繁に用いられる。

1.3.1 実数直線

実数全体Rでは、2点x,yの距離を	x-y	で定める。この距離は通常の数直線上の長さと一致する。最も基本的な例であり、収束や連続の概念を学ぶ出発点になる。

1.3.2 ユークリッド空間

R^nでは、2点の距離をユークリッド距離で与える。これは2点間の直線距離に対応し、平面や空間での幾何学的な感覚と一致する。多変数解析や幾何学の標準的な舞台である。

1.3.3 離散距離空間

異なる2点の距離を1、同一点の距離を0とする距離を離散距離という。点が互いに等しく離れているため、収束や連続性の様子が非常に単純になる。一般論を確認する際の対照例として便利である。

1.4 距離から定まる概念

距離が与えられると、近傍の広がりや集合の内部・外部を定義できる。これにより、点の周囲の局所的な構造を言葉でなく形式的に扱えるようになる。

1.4.1 球

中心x、半径rの球とは、xからの距離がr未満の点全体である。球は距離空間における基本的な近傍であり、局所的な議論の中心となる。開球と呼ばれることも多い。

1.4.2 開集合

各点がある球を含むとき、その集合を開集合という。直感的には、境界に触れずに少しずつ動ける点の集まりである。距離空間では、開集合が位相の基本要素となる。

1.4.3 閉集合

補集合が開集合であるとき、その集合を閉集合という。閉集合は極限点を含む性質と深く関係する。開集合と対になる概念として、集合の境界を理解するうえで重要である。

2 距離空間の位相

距離空間では、距離から開集合が定まり、それを通して位相構造が導かれる。したがって、距離は単なる数値ではなく、集合の形や連続的な変化を決める基盤でもある。

2.1 開集合系

距離から得られる開集合全体は、和集合や有限交叉に関して安定である。この性質により、開集合系は位相を構成する。距離空間では、位相的な性質の多くが開集合を通じて表現される。

2.2 収束と極限

距離は、点列がある点にどのように近づくかを精密に記述する。極限の概念は解析学の中心であり、微分や積分の理論にも直接結びつく。

2.2.1 点列の収束

点列(x_n)が点xに収束するとは、nが大きくなるにつれてd(x_n,x)が0に近づくことである。これは任意の精度でxの近くに入ることを意味する。距離空間では、収束を数値で明確に判定できる。

2.2.2 一意性

距離空間では、点列の極限は一意である。もし同じ列が2つの点に収束するなら、それらは一致する。この性質は距離の分離性に由来し、解析の基本的な安定性を保証する。

2.3 連続写像

写像が近い点を近い点へ移すとき、その写像は連続である。距離空間では、連続性が距離を用いて定量的に表現でき、関数の局所的な性質を調べやすい。

2.3.1 距離による連続性

点xの近くで入力を十分小さく変えたとき、出力も小さくしか変わらないなら連続である。これはε-δ論法によって正確に定式化される。距離空間では、この定義が標準的な連続性の基準となる。

2.3.2 一様連続性

一様連続性は、点に依存せず同じ制御条件で連続性が成り立つ性質である。全体を通して変化の度合いが揃っているため、より強い安定性を持つ。コンパクトな集合上では、多くの場合この性質が重要になる。

2.4 近傍と内部

距離空間では、ある点の周囲にどれだけ余裕を持って集合が広がっているかを調べられる。近傍や内部は、局所構造を記述するための基本概念である。

2.4.1 内点

集合Aの点xが内点であるとは、xを中心とするある球がすべてAに含まれることである。内点は集合の「中身」を表す。内点全体の集合が内部である。

2.4.2 境界点

どの球をとっても、その中に集合Aと補集合の両方の点が現れるとき、その点は境界点である。境界点は集合の輪郭を形作る。開集合でも閉集合でも、境界の位置づけは重要である。

3 重要な性質

距離空間の理論では、完備性、コンパクト性、連結性が中心的な役割を担う。これらは空間全体の大域的な構造を示し、解析や幾何の多くの結果を支える。

3.1 完備性

完備性は、空間内で極限を持ちうる列が実際に空間内で収束することを意味する。計算や近似の過程で、極限対象が外へ漏れないことを保証する性質である。

3.1.1 コーシー列

コーシー列とは、十分先の項どうしが互いにいくらでも近くなる列である。収束する列は必ずコーシー列だが、逆は一般には成り立たない。完備性は、この逆向きの成立を特徴づける。

3.1.2 完備化

完備でない距離空間に対し、極限を補って完備な空間へ拡張する操作を完備化という。これにより、元の空間を密に含むより扱いやすい環境を得られる。実数直線は、有理数の完備化として知られる。

3.2 コンパクト性

コンパクト性は、無限に広がる状況でも有限個の情報で制御できることを表す。解析では、有界性や極限の存在と結びつき、強い性質をもたらす。

3.2.1 全有界性

全有界な空間では、任意の精度に対して有限個の球で全体を覆える。これは単なる有界性より強い条件であり、距離空間に特有の重要な概念である。コンパクト性の理解において基礎となる。

3.2.2 列による特徴づけ

距離空間では、コンパクト性を点列の性質で表現できる。任意の点列が収束部分列を持つとき、空間はコンパクトである。この特徴づけは、解析的な議論を簡潔にする。

3.3 連結性

連結性は、空間を2つの互いに分離した部分に切り分けられない性質である。空間の「つながり方」を表し、位相幾何の基本的な話題となる。

3.3.1 弧状連結

任意の2点を連続な道で結べるとき、その空間は弧状連結である。これは連結性より強い条件で、幾何的にはより直観的である。多くの標準的な空間で成り立つ。

3.3.2 分離可能性

可算個の点の集合が空間全体に稠密であるとき、分離可能という。これは連結性とは別の性質だが、距離空間の分類や構成において重要である。解析では、扱える大きさを抑える役割を果たす。

4 関連する構造

距離空間は、ノルム空間や一般の位相空間と密接に結びつく。また、解析学の多くの定理は距離を通じて整理され、応用範囲も広い。

4.1 ノルム空間との関係

ノルム空間では、ベクトルの大きさを測るノルムから距離を導ける。これにより、線形代数と解析が自然に接続される。

4.1.1 ノルムから誘導される距離

ノルム		x		を用いてd(x,y)=		x-y		と定めると、距離が得られる。この距離はベクトル空間の平行移動と相性がよい。多くの関数空間や数列空間で標準的に使われる。

4.1.2 例と反例

すべての距離がノルムから来るわけではない。距離空間には線形構造を持たないものも多く、ノルム空間より広い概念である。反例を知ることで、両者の違いが明確になる。

4.2 位相空間への一般化

距離空間は位相空間の一種であり、距離を直接使わずに位相だけを残した一般化が考えられる。これにより、距離で表せない空間も研究対象に含められる。

4.2.1 距離化可能性

ある位相空間が、何らかの距離によってその位相を再現できるとき、距離化可能であるという。これは位相空間がどの程度「距離的」に記述できるかを問う概念である。距離空間の理論を一般位相へ移す際の鍵になる。

4.2.2 擬距離空間

擬距離空間では、異なる点同士の距離が0になる場合を許す。距離の公理を少し緩めた構造であり、同値類を通じて扱うことが多い。解析や位相の一部では、柔軟な道具として役立つ。

4.3 解析学への応用

距離空間は、関数の近似、収束、存在定理など多様な場面で使われる。特に、無限過程を扱う解析学では、距離による定式化が有効である。

4.3.1 関数列の収束

関数列の収束は、各点での収束だけでなく、一様収束やノルム収束として距離で記述できる。どの意味で近づくかにより、極限関数の性質は大きく変わる。距離空間は、こうした差異を整理する枠組みを与える。

4.3.2 固定点定理

ある写像が自分自身を不動点に写すとき、その点を固定点という。距離空間では、縮小写像に対する固定点定理が代表的である。これは存在と一意性を同時に示す強力な結果として、解析や応用数学で広く利用される。