Proximity space

Proximity space

In topology, a proximity space is an axiomatization of notions of "nearness" that hold set-to-set, as opposed to the better known point-to-set notions that characterize topological spaces.

The concept was described by Frigyes Riesz in 1908 and ignored at the time. It was rediscovered and axiomatized by V. A. Efremovi in 1934, but not published until 1951. In the interim, in 1940, A. N. Wallace discovered a version of the same concept.

Definition A proximity space ("X", δ) is a set "X" with a relation δ between subsets of "X" satisfying the following properties:

For all subsets "A", "B" and "C" of "X"
#"A" δ "B" ⇒ "B" δ "A"
#"A" δ "B" ⇒ "A" ≠ ø
#"A"∩"B" ≠ ø ⇒ "A" δ "B"
#"A" δ ("B"∪"C") ⇔ ("A" δ "B" or "A" δ "C")
#(∀"E", "A" δ "E" or "B" δ ("X"−"E")) ⇒ "A" δ "B"If "A" δ "B" we say "A" is near "B" or "A" and "B" are proximal. We say "B" is a proximal or δ-neighborhood of "A", written "A" « "B", if and only if "A" δ "X"−"B" is false.

The main properties of this set neighborhood relation, listed below, provide an alternative axiomatic characterization of proximity spaces.

For all subsets "A", "B", "C", and "D" of "X",
#"X"«"X"
#"A"«"B" ⇒ "A"⊆"B"
#"A"⊆"B"«"C"⊆"D" ⇒ "A"«"D"
#("A"«"B" and "A"«"C") ⇒ "A"«"B"∩"C"
#"A"«"B" ⇒ "X"−"B"«"X"−"A"
#"A"«"B" ⇒ ∃"E", "A"«"E"«"B"

A proximity space is called "separated" if {"x"} δ {"y"} implies "x"="y".

A "proximity" or "proximal map" is one that preserves nearness, that is, given "f":("X",δ)→("X*",δ*), if "A" δ "B" in "X", then "f" ["A"] δ* "f" ["B"] in "X*". Equivalently, a map is proximal if the inverse map preserves proximal neighborhoodness. In the same notation, this means if "C"«*"D" holds in "X*", then "f"−1 ["C"] «"f"−1 ["D"] holds in "X".

Given a proximity space, one can define a topology by letting "A" → {"x" : {"x"} δ "A"} be a Kuratowski closure operator. If the proximity space is separated, the resulting topology is Hausdorff. Proximity maps will be continuous between the induced topologies.

The resulting topology is always completely regular. This can be proven by imitating the usual proofs of Urysohn's lemma, using the last property of proximal neighborhoods to create the infinite increasing chain used in proving the lemma.

Given a compact Hausdorff space, there is a unique proximity whose corresponding topology is the given topology: "A" is near "B" if and only if their closures intersect. More generally, proximities classify the compactifications of a completely regular Hausdorff space.

A uniform space X induces a proximity relation by declaring "A" is near "B" if and only if "A"×"B" has nonempty intersection with every entourage. Uniformly continuous maps will then be proximally continuous.

References

S. A. Naimpally and B. D. Warrack; Proximity Spaces (Cambridge U, 1970).


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Proximity-1 Space Link Protocol — is a short haul delivery protocol designed to establish a two way communications link between a lander and an orbiter, negotiate data rate and communications mode, and reliably deliver data during short orbiter to surface contacts. Developed by… …   Wikipedia

  • proximity — proximity, propinquity are often used almost interchangeably to denote nearness. Proximity, however, commonly implies simple and often temporary nearness in space; it may be used with reference to either persons or things found in the same… …   New Dictionary of Synonyms

  • Proximity effect (superconductivity) — Proximity effect is a term used in the field of superconductivity to describe phenomena that occur when a superconductor (S) is placed in contact with a normal (N) non superconductor. Typically the critical temperature T {c} of the superconductor …   Wikipedia

  • Space exploration — is the use of astronomy and space technology to explore outer space. [cite web | url = http://adc.gsfc.nasa.gov/adc/education/space ex/exploration.html | title = How Space is Explored | publisher = NASA] Physical exploration of space is conducted …   Wikipedia

  • Space weather — is the concept of changing environmental conditions in outer space. It is distinct from the concept of weather within a planetary atmosphere, and deals with phenomena involving ambient plasma, magnetic fields, radiation and other matter in space… …   Wikipedia

  • Proximity search — may refer to: * Proximity search (text) * Proximity search (metric space) …   Wikipedia

  • proximity — ► NOUN ▪ nearness in space, time, or relationship …   English terms dictionary

  • proximity — [präk sim′ə tē] n. [MFr proximité < L proximitas < proximus: see PROXIMATE] the state or quality of being near; nearness in space, time, etc …   English World dictionary

  • Space rendezvous — A space rendezvous is an orbital maneuver during which two spacecraft, one of which is often a space station, arrive at the same orbit and approach to a very close distance (e.g. within visual contact). Rendezvous requires a precise match of the… …   Wikipedia

  • Space Preservation Act — The Space Preservation Act was a series of four bills introduced to the United States House of Representatives designed to preserve the cooperative, peaceful uses of space for the benefit of all humankind. Space Preservation Act of 2005.… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”