Ultra-\(\mathfrak m\)-separability (Q2268658): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.topol.2009.11.009 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2118479430 / rank | |||
Normal rank |
Revision as of 19:08, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ultra-\(\mathfrak m\)-separability |
scientific article |
Statements
Ultra-\(\mathfrak m\)-separability (English)
0 references
8 March 2010
0 references
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.
0 references
Katětov maps
0 references
collinearity property
0 references