In topology, a proximity space, also called a nearness space, is an axiomatization of the intuitive notion of "nearness" that applies set-to-set, as opposed to the better-known point-to-set notion that characterizes topological spaces. The concept was described by Frigyes Riesz (1909) but ignored at the time. It was rediscovered and axiomatized by V. A. Efremovič in 1934 under the name of infinitesimal space, but not published until 1951. In the interim, A. D. Wallace (1941) discovered a version of the same concept under the name of separation space.
Definition A proximity space ( X , δ ) {\displaystyle (X,\delta )} is a set X {\displaystyle X} with a relation δ {\displaystyle \delta } between subsets of X {\displaystyle X} satisfying the following properties: For all subsets A , B , C ⊆ X {\displaystyle A,B,C\subseteq X}
A δ B {\displaystyle A\;\delta \;B} implies B δ A {\displaystyle B\;\delta \;A}
A δ B {\displaystyle A\;\delta \;B} implies A ≠ ∅ {\displaystyle A\neq \varnothing }
A ∩ B ≠ ∅ {\displaystyle A\cap B\neq \varnothing } implies A δ B {\displaystyle A\;\delta \;B}
A δ ( B ∪ C ) {\displaystyle A\;\delta \;(B\cup C)} if and only if ( A δ B {\displaystyle A\;\delta \;B} or A δ C {\displaystyle A\;\delta \;C} ) (For all E , {\displaystyle E,} A δ E {\displaystyle A\;\delta \;E} or B δ ( X ∖ E ) {\displaystyle B\;\delta \;(X\setminus E)} ) implies A δ B {\displaystyle A\;\delta \;B}
Proximity without the first axiom is called quasi-proximity (but then Axioms 2 and 4 must be stated in a two-sided fashion). If A δ B {\displaystyle A\;\delta \;B} we say A {\displaystyle A} is near B {\displaystyle B} or A {\displaystyle A} and B {\displaystyle B} are proximal; otherwise we say A {\displaystyle A} and B {\displaystyle B} are apart. We say B {\displaystyle B} is a proximal- or δ {\displaystyle \delta } -neighborhood of A , {\displaystyle A,} written A ≪ B , {\displaystyle A\ll B,} if and only if A {\displaystyle A} and X ∖ B {\displaystyle X\setminus B} are apart. The main properties of this set neighborhood relation, listed below, provide an alternative axiomatic characterization of proximity spaces. For all subsets A , B , C , D ⊆ X {\displaystyle A,B,C,D\subseteq X}
X ≪ X {\displaystyle X\ll X}
A ≪ B {\displaystyle A\ll B} implies A ⊆ B {\displaystyle A\subseteq B}
A ⊆ B ≪ C ⊆ D {\displaystyle A\subseteq B\ll C\subseteq D} implies A ≪ D {\displaystyle A\ll D}
( A ≪ B {\displaystyle A\ll B} and A ≪ C {\displaystyle A\ll C} ) implies A ≪ B ∩ C {\displaystyle A\ll B\cap C}
A ≪ B {\displaystyle A\ll B} implies X ∖ B ≪ X ∖ A {\displaystyle X\setminus B\ll X\setminus A}
A ≪ B {\displaystyle A\ll B} implies that there exists some E {\displaystyle E} such that A ≪ E ≪ B . {\displaystyle A\ll E\ll B.}
A proximity space is called separated if { x } δ { y } {\displaystyle \{x\}\;\delta \;\{y\}} implies x = y . {\displaystyle x=y.}
… excerpt ends here. Continue reading the full article.
