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 .)
We present a unified treatment of pointfree metrization theorems based on an analysis of special properties of bases. It essentially covers all the facts concerning metrization from Engelking [1] which make pointfree sense. With one exception, where the generalization is shown to be false, all the theorems extend to the general pointfree context.
We give a new metrization theorem on terms of a new structure introduced by the authors in [2] and called fractal structure. As a Corollary we obtain Nagata-Smirnovs and Uryshons metrization Theorems.
We establish a Banach-Steinhaus type theorem for nonlinear functionals of several variables. As an application, we obtain extensions of the recent results of Balcerzak and Wachowicz on some meager subsets of L¹(μ) × L¹(μ) and c₀ × c₀. As another consequence, we get a Banach-Mazurkiewicz type theorem on some residual subset of C[0,1] involving Kharazishvili's notion of Φ-derivative.
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.
Costruiamo uno spazio nontransitivo analogo al piano di Kofner. Mentre gli argomenti usati per la costruzione del piano di Kofner si fondano su riflessioni geometriche, le nostre prove si basano su idee combinatorie.