Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Proximity_space> ?p ?o }
Showing triples 1 to 48 of
48
with 100 triples per page.
- Proximity_space abstract "In topology, a proximity space, also called a nearness 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 (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, δ) 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 δ BProximity 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 we say A is near B or A and B are proximal; otherwise we say A and B are apart. We say B is a proximal or δ-neighborhood of A, written A « B, if and only if A and X−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, 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.".
- Proximity_space wikiPageID "1536920".
- Proximity_space wikiPageLength "4914".
- Proximity_space wikiPageOutDegree "13".
- Proximity_space wikiPageRevisionID "616821806".
- Proximity_space wikiPageWikiLink Binary_relation.
- Proximity_space wikiPageWikiLink Cambridge_University_Press.
- Proximity_space wikiPageWikiLink Category:Closure_operators.
- Proximity_space wikiPageWikiLink Compactification_(mathematics).
- Proximity_space wikiPageWikiLink Hausdorff_space.
- Proximity_space wikiPageWikiLink Kuratowski_closure_axioms.
- Proximity_space wikiPageWikiLink Topological_space.
- Proximity_space wikiPageWikiLink Topology.
- Proximity_space wikiPageWikiLink Tychonoff_space.
- Proximity_space wikiPageWikiLink Uniform_continuity.
- Proximity_space wikiPageWikiLink Uniform_space.
- Proximity_space wikiPageWikiLink Urysohns_lemma.
- Proximity_space wikiPageWikiLink Vadim_Arsenyevich_Yefremovich.
- Proximity_space wikiPageWikiLinkText "Proximity space".
- Proximity_space wikiPageWikiLinkText "proximity space".
- Proximity_space authorlink "A. D. Wallace".
- Proximity_space authorlink "Frigyes Riesz".
- Proximity_space first "A. D.".
- Proximity_space first "Frigyes".
- Proximity_space id "Proximity_space".
- Proximity_space last "Riesz".
- Proximity_space last "Wallace".
- Proximity_space title "Proximity space".
- Proximity_space wikiPageUsesTemplate Template:Citation.
- Proximity_space wikiPageUsesTemplate Template:Cite_book.
- Proximity_space wikiPageUsesTemplate Template:Cite_paper.
- Proximity_space wikiPageUsesTemplate Template:Citeseerx.
- Proximity_space wikiPageUsesTemplate Template:Eom.
- Proximity_space wikiPageUsesTemplate Template:Expert-subject.
- Proximity_space wikiPageUsesTemplate Template:Harvs.
- Proximity_space wikiPageUsesTemplate Template:Reflist.
- Proximity_space year "1909".
- Proximity_space year "1941".
- Proximity_space subject Category:Closure_operators.
- Proximity_space hypernym Axiomatization.
- Proximity_space type Theory.
- Proximity_space comment "In topology, a proximity space, also called a nearness 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 (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.".
- Proximity_space label "Proximity space".
- Proximity_space sameAs Q7252877.
- Proximity_space sameAs m.058tzx.
- Proximity_space sameAs Q7252877.
- Proximity_space wasDerivedFrom Proximity_space?oldid=616821806.
- Proximity_space isPrimaryTopicOf Proximity_space.