近接空間のソースを表示

{{参照方法|date=2018年12月}}
[[トポロジー]]において'''近接空間'''（{{lang-en-short|proximity space}}、a.k.a. nearness space）は集合と集合の間の「近さ」の概念を公理化したものである。これは[[位相空間]]を特徴付ける、よく知られた点と集合の間の近さの概念と対照的である。

この概念は、{{harvs|txt|authorlink=Frigyes Riesz|first=Frigyes |last=Riesz|year= 1909}}で述べられているが、当時は無視されていた。1934年に[[Vadim Arsenyevich Efremovich|V. A. Efremovič]]によって'''無限小空間'''（infinitesimal space）の名で再発見・公理化されたが、これは1951年まで出版されなかった。その間に、{{harvs|txt|first=A. D. |last=Wallace|authorlink=A. D. Wallace|year=1941}}は'''分離空間'''（separation space）の名前で同じ概念の或るバージョンを見出した。

==定義==
近接空間 <math>(X,\delta)</math> は集合 <math>X</math> に次の性質を持つ <math>X</math> の部分集合間の[[関係_(数学)|関係]] <math>\boldsymbol \delta</math> を備えたものである：

<math>X</math> の全ての部分集合 <math>A, B, C</math> に対して
# <math>A {\boldsymbol\delta} B \implies B {\boldsymbol\delta} A</math>
# <math>A {\boldsymbol\delta} B \implies A \neq \varnothing</math>
# <math>A \cap B \neq \varnothing \implies A {\boldsymbol\delta} B</math>
# <math>A {\boldsymbol\delta} (B \cup C) \iff A {\boldsymbol\delta} B</math> または <math>A {\boldsymbol\delta} C</math>
# <math>(\forall E,\ A {\boldsymbol\delta} E</math> または <math>B {\boldsymbol\delta} (X \setminus E)</math>) <math>\implies A {\boldsymbol\delta} B.</math>
最初の公理を除いた近接性は'''擬近接性'''（quasi-proximity）と呼ばれる。（ただし公理2と4は対称的な形で述べ直されなければならない。）

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

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

<math>X</math> の全ての部分集合 <math>A, B, C, D</math> に対して
# <math>X \ll X</math>
# <math>A \ll B \implies A \subseteq B</math>
# <math>A \subseteq B \ll C \subseteq D \implies A \ll D</math>
# <math>(A \ll B</math> かつ <math>A \ll C</math>) <math>\implies A \ll B \cap C</math>
# <math>A \ll B \implies X \setminus B \ll X \setminus A</math>
# <math>A \ll B \implies \exists E,\ A \ll E \ll B.</math>

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

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

==他の位相的構造との関係==
近接空間が与えられると、そこから <math>A \mapsto \{ x \mid \{x\}{\boldsymbol\delta} A \}</math> を{{仮リンク|クラトフスキーの閉包作用素|en|Kuratowski_closure_axioms}}とすることで位相を定義できる。もし近接空間が分離的なら、こうして得られた位相は[[ハウスドルフ空間|ハウスドルフ]]である。近接写像は誘導位相の間の連続写像となる。

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

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

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

== 参考文献 ==
*{{citation|MR=0040748 |last=Efremovič|first= V. A.
|title=Infinitesimal spaces|language=Russian 
|journal=Doklady Akademii Nauk SSSR (N.S.) |volume=76|year=1951|pages= 341–343}} 
* {{cite book | title = Proximity Spaces |year= 1970 |zbl= 0206.24601 |last1= Naimpally |first1= Somashekhar A. | last2=Warrack | first2=Brian D. | series=Cambridge Tracts in Mathematics and Mathematical Physics | volume=59 | publisher=[[Cambridge University Press]] | location=Cambridge | isbn=0-521-07935-7 }}
*{{citation|last=Riesz|first= F.
|title=Stetigkeit und abstrakte Mengenlehre| JFM= 40.0098.07
|journal=Rom. 4. Math. Kongr. 2|pages= 18–24 |year=1909}}
*{{citation|MR=0004756 
|last=Wallace|first= A. D.
|title=Separation spaces 
|journal=Ann. of Math. |series= 2|volume= 42|year=1941|pages= 687–697|doi=10.2307/1969257}} 
* {{cite paper | citeseerx = 10.1.1.15.1415 |title=A Constructive Theory of Point-Set Nearness |first1 = Luminita | last1 = Vita | first2 = Douglas | last2 = Bridges }}

==外部リンク==
* {{SpringerEOM|title=Proximity space|urlname=Proximity_space}}

{{デフォルトソート:きんせつくうかん}}
[[Category:閉包作用素]]
[[Category:数学に関する記事]]