Ultra-\(\mathfrak m\)-separability (Q2268658)

A Katětov map on a metric space \((X,d)\) is any function \(f:X\rightarrow \mathbb{R}_+\) such that \(| f(x)-f(y)| \leq d(x,y)\leq f(x)+f(y)\) for each \(x,y\in X.\) The Katětov hull of \(X\) is the space \(E(X)\) of all Katětov maps on \(X,\) equipped with the metric induced by the supremum norm. A metric space \(X\) is said to be ultra-\(\mathfrak m\)-separable if the weight of its Katětov hull \(E(X)\) is not greater than \(\mathfrak m\). The author proves that the collection of all nonempty ultra-\(\mathfrak m\)-separable subsets of \(X\) is an ideal closed under taking limits of its members with respect to the Hausdorff distance. It follows that if \((K,d_K)\) is precompact and \((X,d_X)\) is ultra-\(\mathfrak m\)-separable, then \((K\times X,D)\) is ultra-\(\mathfrak m\)-separable as well, where \(D\) is any metric on \(K\times X\) such that \(D((u,x),(u,y))=d_X(x,y)\) and \(D((u,x),(v,x))=d_K(u,v)\) for any \(u,v\in K\) and \(x,y\in X.\) Finally the author characterizes bounded ultra-\(\mathfrak m\)-separable spaces with the help of their metrically discrete subsets.