Uniformly distributed sequences of positive integers in Baire's space
We prove that each analytic set in ℝⁿ contains a universally null set of the same Hausdorff dimension and that each metric space contains a universally null set of Hausdorff dimension no less than the topological dimension of the space. Similar results also hold for universally meager sets. An essential part of the construction involves an analysis of Lipschitz-like mappings of separable metric spaces onto Cantor cubes and self-similar sets.
We introduce the notions of Kuratowski-Ulam pairs of topological spaces and universally Kuratowski-Ulam space. A pair (X,Y) of topological spaces is called a Kuratowski-Ulam pair if the Kuratowski-Ulam Theorem holds in X× Y. A space Y is called a universally Kuratowski-Ulam (uK-U) space if (X,Y) is a Kuratowski-Ulam pair for every space X. Obviously, every meager in itself space is uK-U. Moreover, it is known that every space with a countable π-basis is uK-U. We prove the following: ...
2000 Mathematics Subject Classification: 06A06, 54E15An ordered pair X(R) = ( X, R ) consisting of a nonvoid set X and a nonvoid family R of binary relations on X is called a relator space. Relator spaces are straightforward generalizations not only of uniform spaces, but also of ordered sets. Therefore, in a relator space we can naturally define not only some topological notions, but also some order theoretic ones. It turns out that these two, apparently quite different, types of notions are closely...
The aim of the paper is to prove that the bounded and unbounded Urysohn universal spaces have unique (up to isometric isomorphism) structures of metric groups of exponent 2. An algebraic-geometric characterization of Boolean Urysohn spaces (i.e. metric groups of exponent 2 which are metrically Urysohn spaces) is given.