uniform proximity is a proximity
In this entry, we want to show that a uniform proximity is, as expected, a proximity.
First, the following equivalent characterizations of a uniform proximity is useful:
Lemma 1.
Let be a uniform space with uniformity , and are subsets of . Denote the image of under :
The following are equivalent:
- 1.
for all
- 2.
for all
- 3.
for all
If we define iff the pair satisfy any one of the above conditions for all , we call the uniform proximity.
Proof.
() Suppose . Then . Since is reflexive, , or . This means .
() For any , we can find such that . So , where is the diagonal relation (since is reflexive). Set . By assumption, there is (and hence as well). This means for some and . Since is symmetric
, , so that . This means that . As a result, .
() If , then there is such that , or .∎
We want to prove the following:
Proposition 1.
The binary relation on defined by
is a proximity on .
Proof.
We verify each of the axioms of a proximity relation:
- 1.
if , then :
pick , then since the diagonal relation for all .
- 2.
if , then and :
If , then for every , since no is empty, there is such that , or and .
- 3.
(symmetry) if , then :
If , then there is for every , so , which implies , or .
- 4.
iff or :
Since ,
iff iff - 5.
implies the existence of with and , where means .
First note that is symmetric because is. By assumption, there is such that (second equivalent characterization of uniform proximity from lemma above). Set . Then . By the third equivalent condition of uniform proximity, . Likewise, , so , or .
This shows that is a proximity on .∎