A metric space (X,d) is monotone if there is a linear order < on X and a constant c such that d(x,y) ≤ cd(x,z) for all x < y < z in X, and σ-monotone if it is a countable union of monotone subspaces. A planar set homeomorphic to the Cantor set that is not σ-monotone is constructed and investigated. It follows that there is a metric on a Cantor set that is not σ-monotone. This answers a question raised by the second author.
We construct a completely regular ordered space such that is an -space, the topology of is metrizable and the bitopological space is pairwise regular, but not pairwise completely regular. (Here denotes the upper topology and the lower topology of .)
It is independent of the usual (ZFC) axioms of set theory whether every collectionwise Hausdorff tree is either metrizable or has an uncountable chain. We show that even if we add “or has an Aronszajn subtree,” the statement remains ZFC-independent. This is done by constructing a tree as in the title, using the set-theoretic hypothesis , which holds in Gödel’s Constructible Universe.
-continuous posets are common generalizations of continuous posets, completely distributive lattices, and unique factorization posets. Though the algebraic properties of -continuous posets had been studied by several authors, the topological properties are rather unknown. In this short note an intrinsic topology on a -continuous poset is defined and its properties are explored.