An extension theorem for separately continuous functions and its application to functional analysis
A space is called connectifiable if it can be densely embedded in a connected Hausdorff space. Let be the following statement: “a perfect -space with no more than clopen subsets is connectifiable if and only if no proper nonempty clopen subset of is feebly compact". In this note we show that neither nor is provable in ZFC.
We prove an extension of the well-known combinatorial-topological lemma of E. Sperner to the case of infinite-dimensional cubes. It is obtained as a corollary to an infinitary extension of the Lebesgue Covering Dimension Theorem.
In the present paper we give a duality between a special type of ideals of subalgebras of containing and -filters of by generalization of the notion -ideal of . We also use it to establish some intersecting properties of prime ideals lying between and . For instance we may mention that such an ideal becomes prime if and only if it contains a prime ideal. Another interesting one is that for such an ideal the residue class ring is totally ordered if and only if it is prime.
A new numerical invariant for the category of compact metric spaces and Lipschitz maps is introduced. This invariant takes a value less than or equal to 1 for compact metric spaces that are Lipschitz isomorphic to ultrametric ones. Furthermore, a theorem is provided which makes it possible to compute this invariant for a large class of spaces. In particular, by utilizing this invariant, it is shown that neither a fat Cantor set nor the set is Lipschitz isomorphic to an ultrametric space.
Given a topological space ⟨X,⟩ ∈ M, an elementary submodel of set theory, we define to be X ∩ M with topology generated by . Suppose is homeomorphic to the irrationals; must ? We have partial results. We also answer a question of Gruenhage by showing that if is homeomorphic to the “Long Cantor Set”, then .