Let $(X,\rho )$, $(Y,\sigma )$ be metric spaces and $f:X\to Y$ an injective mapping. We put ${\parallel f\parallel }_{Lip}=sup\{\sigma (f\left(x\right),f\left(y\right))/\rho (x,y)$; $x,y\in X$, $x\ne y\}$, and $dist\left(f\right)={\parallel f\parallel }_{Lip}.{\parallel f^{-1}\parallel }_{Lip}$ (the distortion of the mapping $f$). Some Ramsey-type questions for mappings of finite metric spaces with bounded distortion are studied; e.g., the following theorem is proved: Let $X$ be a finite metric space, and let $\epsilon >0$, $K$ be given numbers. Then there exists a finite metric space $Y$, such that for every mapping $f:Y\to Z$ ($Z$ arbitrary metric space) with $dist\left(f\right)<K$ one can find a mapping $g:X\to Y$, such that both the mappings $g$ and ${f|}_{g\left(X\right)}$ have distortion at...

Let E₀ be the Vitali equivalence relation and E₃ the product of countably many copies of E₀. Two new dichotomy theorems for Borel equivalence relations are proved. First, for any Borel equivalence relation E that is (Borel) reducible to E₃, either E is reducible to E₀ or else E₃ is reducible to E. Second, if E is a Borel equivalence relation induced by a Borel action of a closed subgroup of the infinite symmetric group that admits an invariant metric, then either E is reducible to a countable...

Let X be a set with a symmetric kernel d (not necessarily a distance). The space (X,d) is said to have the weak (resp. strong) covering property of degree ≤ m [briefly prf(m) (resp. prF(m))], if, for each family B of closed balls of (X,d) with radii in a decreasing sequence (resp. with bounded radii), there is a subfamily, covering the center of each element of B, and of order ≤ m (resp. splitting into m disjoint families). Since Besicovitch, covering properties are known to be the main tool for...

We give a characterization of a paracompact $\Sigma$-space to have a $G_{\delta }$-diagonal in terms of three rectangular covers of $X^2\setminus \Delta$. Moreover, we show that a local property and a global property of a space $X$ are given by the orthocompactness of $(X\times \beta X)\setminus \Delta$.

Let S(X) denote the set of all closed subsets of a topological space X, and C(X) the set of all continuous mappings f:X → X. A family 𝓐 ⊆ S(X) is called reflexive if there exists ℱ ⊆ C(X) such that 𝓐 = {A ∈ S(X): f(A) ⊆ A for every f ∈ ℱ}. We investigate conditions ensuring that a family of closed subsets is reflexive.

∗ This work was partially supported by the National Foundation for Scientific Researches at the Bulgarian Ministry of Education and Science under contract no. MM-427/94.In this paper the notion of SR-proximity is introduced and in virtue of it some new proximity-type descriptions of the ordered sets of all (up to equivalence) regular, resp. completely regular, resp. locally compact extensions of a topological space are obtained. New proofs of the Smirnov Compactification Theorem [31] and of the...

The notions of Lipschitz and bilipschitz mappings provide classes of mappings connected to the geometry of metric spaces in certain ways. A notion between these two is given by regular mappings (reviewed in Section 1), in which some non-bilipschitz behavior is allowed, but with limitations on this, and in a quantitative way. In this paper we look at a class of mappings called (s, t)-regular mappings. These mappings are the same as ordinary regular mappings when s = t, but otherwise they behave somewhat...