近接空間

テンプレート:参照方法 トポロジーにおいて近接空間（テンプレート:Lang-en-short、a.k.a. nearness space）は集合と集合の間の「近さ」の概念を公理化したものである。これは位相空間を特徴付ける、よく知られた点と集合の間の近さの概念と対照的である。

この概念は、テンプレート:Harvsで述べられているが、当時は無視されていた。1934年にV. A. Efremovičによって無限小空間（infinitesimal space）の名で再発見・公理化されたが、これは1951年まで出版されなかった。その間に、テンプレート:Harvsは分離空間（separation space）の名前で同じ概念の或るバージョンを見出した。

定義

近接空間 $(X,\delta )$ は集合 $X$ に次の性質を持つ $X$ の部分集合間の関係 $\mathit{\delta }$ を備えたものである：

$X$ の全ての部分集合 $A,B,C$ に対して

1. $A\mathit{\delta }B⟹B\mathit{\delta }A$
2. $A\mathit{\delta }B⟹A\ne \varnothing$
3. $A\cap B\ne \varnothing ⟹A\mathit{\delta }B$
4. $A\mathit{\delta }(B\cup C)⟺A\mathit{\delta }B$ または $A\mathit{\delta }C$
5. $(\mathrm{\forall }E,A\mathit{\delta }E$ または $B\mathit{\delta }(X\setminus E)$) $⟹A\mathit{\delta }B.$

最初の公理を除いた近接性は擬近接性（quasi-proximity）と呼ばれる。（ただし公理2と4は対称的な形で述べ直されなければならない。）

$A\mathit{\delta }B$ のとき $A$ は $B$ に近い、あるいは $A$ と $B$ は近接していると言われる。そうでないときには、$A$ と $B$ は離れていると言われる。$B$ が $A$ の近接あるいは $\mathit{\delta }$-近傍である（$A\ll B$ と書かれる）とは、$A$ と $X\setminus B$ が離れていることをいう。

この集合近傍関係の主要な性質を以下に列挙した。これは近接空間の別の公理的な特徴付けを与える。

$X$ の全ての部分集合 $A,B,C,D$ に対して

1. $X\ll X$
2. $A\ll B⟹A\subseteq B$
3. $A\subseteq B\ll C\subseteq D⟹A\ll D$
4. $(A\ll B$ かつ $A\ll C$) $⟹A\ll B\cap C$
5. $A\ll B⟹X\setminus B\ll X\setminus A$
6. $A\ll B⟹\mathrm{\exists }E,A\ll E\ll B.$

近接空間が分離的（separated）とは、$\{x\}\mathit{\delta }\{y\}$ が $x=y$ を含意することをいう。

近接写像

近接写像（proximal map）とは近さを保つ写像である。つまり、$f:(X,\mathit{\delta })\to (X^{\ast },{\mathit{\delta }}^{\ast })$ が与えられたときに、$X$ において $A\mathit{\delta }B$ ならば、$X^{\ast }$ において $f(A){\mathit{\delta }}^{\ast }f(B)$ が成り立つということである。同値であるが、写像が近接（proximal）とは、逆像が近接近傍性を保つことをいう。同じ表記のもとで、これは $C{\ll }^{\ast }D$ が $X^{\ast }$ で成り立つなら、$f^{-1}(C)\ll f^{-1}(D)$ が $X$ で成り立つことを意味する。

他の位相的構造との関係

近接空間が与えられると、そこから $A\mapsto \{x\mid \{x\}\mathit{\delta }A\}$ をテンプレート:仮リンクとすることで位相を定義できる。もし近接空間が分離的なら、こうして得られた位相はハウスドルフである。近接写像は誘導位相の間の連続写像となる。

このようにして得られた位相は常に完全正則である。ウリゾーンの補題の通常の証明を模倣することによって証明される。補題の証明に用いる（集合の）無限増加列を構成する際、近接近傍の最後の性質が用いられる。

コンパクトハウスドルフ空間が与えられると、対応する位相がちょうど所与の位相と一致するような近接性が一意的に存在する：$A$ が $B$ に近いのは、それらの閉包が一致するとき、かつそのときに限られる。より一般には、近接性は完全正則ハウスドルフ空間のコンパクト化を分類する。

一様空間 $X$ は次のようにして近接関係を誘導する：$A$ が $B$ に近いのは、$A\times B$ がどの近縁とも空でない交わりを持つとき、かつそのときに限る。一様連続写像はこのとき近接写像となる。

参考文献

• テンプレート:Citation
• テンプレート:Cite book
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Cite paper

外部リンク

• テンプレート:SpringerEOM