完全有界空間
定義 1
距離空間 と が与えられたとする。
- 全ての に対して を満たす有限集合 を の**-ネット**と言う。
- 全ての に対して、 の-ネット が存在するなら、 は完全有界と言う。
説明
完全有界空間は、一般にプリコンパクト空間とも呼ばれる。
-ネット
をネットと言うのは、条件 を考慮した時、非常に直感的である。式を言葉に訳して考えると、与えられた空間 で任意の点を取っても、 に引っかかるということだ。全ての点が許容誤差 の内側で引っかかるなら、これをネットと呼ぶのはかなり妥当である。
完全有界
全ての に対して、有限カバーだけを考えても をカバーできるということは、 が本当に小さくて扱いやすいという意味である。ある空間が完全有界であるということは、これを有限に分割して考えることができ、同時に距離空間であるから、その一つ一つも想像しやすい条件を備えているということである。
が -ネットになる条件 で既視感を感じるなら、自分が位相数学とかなり仲がいいと思ってもいい。この条件は、ある空間が可分空間であるかを判定する方法でもほぼ同じ形で現れる。実際に、密度性との概念上の違いは、有限か無限かの違いである。無限集合に対して条件を満たすより、有限集合に対して条件を満たす方が難しく、次の定理も当然成立する。
定理
証明
1
■
2
■
Munkres. (2000). Topology(2nd Edition): p275. ↩︎