# Talk:Proximity space

From Encyclopedia of Mathematics

Revision as of 07:27, 7 November 2016 by Richard Pinch (talk | contribs) (→Correct/correction: found one occurrence)

## Correct/correction

I can find no trace of these terms in the literature. Are they perhaps mistranslated? Richard Pinch (talk) 21:01, 6 November 2016 (CET)

- Why? Try this:
- General Topology and Its Relations to Modern Analysis and Algebra 2: Proceedings of the Second Prague Topological Symposium, 1966
- Z. Frolík, M. Katětov, V. Pták, Academic Press, 12 May 2014.
- On page 333:
- The origins of the theory of proximity spaces can be found in the papers of Riesz [6], [18], Wallace [33] and, of Efremovic [8] ... A sufficiently elaborated theory of proximity spaces has appeared in the papers [23], [24], [25], [26].

- Also our ref [a1]:
- S. A. Naimpally and B.D.Warrack, "Proximity Spaces", 1970, Series: Cambridge Tracts in Mathematics (No. 59).

- Boris Tsirelson (talk) 21:52, 6 November 2016 (CET)

- I'm quite well acquainted wth the term
*proximity space*. I can find no trace of the terms**correct space**or**correction space**on Zentralblatt or (in this context) on Google Books. Richard Pinch (talk) 21:58, 6 November 2016 (CET)

- I'm quite well acquainted wth the term

- Ah... I just did not note these terms in the article. Boris Tsirelson (talk) 06:46, 7 November 2016 (CET)

- Here is a Russian version of our article: БЛИЗОСТИ ПРОСТРАНСТВО. There, "correct" is "правильное", and "correction" is "поправление" (the latter being rather clumsy, I feel so; "correction" sounds better). Now I wonder, whether English translations occur somewhere. Boris Tsirelson (talk) 07:15, 7 November 2016 (CET)

- As an update, I have now found this Correct spaces. Sov. Math., Dokl. 8, 254-258 (1967) translation from Dokl. Akad. Nauk SSSR 172, 1254-1257 (1967). So I suppose the term does exist. Richard Pinch (talk) 08:27, 7 November 2016 (CET)

**How to Cite This Entry:**

Proximity space.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Proximity_space&oldid=39682