S. Ivanov, S. Nedev, J. Pelant

S. Ivanov, S. Nedev, J. Pelant
On proximities generated by countable families of entourages

Comment.Math.Univ.Carolinae 45,3 (2004) 535-541.

Abstract:It is shown that any proximity that is generated by a countable family of entourages is sequential. Metrization theorems for proximities are derived.

Keywords: proximity, metrizable proximity
AMS Subject Classification: 54E05

PDF

S. Ivanov, S. Nedev, J. Pelant On proximities generated by countable families of entourages

S. Ivanov, S. Nedev, J. Pelant
On proximities generated by countable families of entourages