Commentationes Mathematicae Universitatis Carolinae
In a Tychonoff space , the point is called a -point if every real-valued continuous function on can be extended continuously to . Every point in an extremally disconnected space is a -point. A classic example is the space consisting of the countable ordinals together with . The point is known to be a -point as well as a -point. We supply a characterization of -points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space is a -point....
Commentationes Mathematicae Universitatis Carolinae
We show that prohibiting a combinatorial tree in the Priestley duals determines an axiomatizable class of distributive lattices. On the other hand, prohibiting -crowns with does not. Given what is known about the diamond, this is another strong indication that this fact characterizes combinatorial trees. We also discuss varieties of 2-Heyting algebras in this context.
We provide examples of nonseparable compact spaces with the property that any continuous image which is homeomorphic to a finite product of spaces has a maximal prescribed number of nonseparable factors.
Commentationes Mathematicae Universitatis Carolinae
For a space , we denote by , and the hyperspaces of non-empty closed, compact, and subsets of cardinality of , respectively, with their Vietoris topology. For spaces and , is the space of continuous functions from to with its pointwise convergence topology. We analyze in this article when , and have continuous selections for a space of the form , where is zero-dimensional and is a strongly zero-dimensional metrizable space. We prove that is weakly orderable if and...
For a transfinite cardinal κ and i ∈ 0,1,2 let be the class of all linearly ordered spaces X of size κ such that X is totally disconnected when i = 0, the topology of X is generated by a dense linear ordering of X when i = 1, and X is compact when i = 2. Thus every space in ℒ₁(κ) ∩ ℒ₂(κ) is connected and hence ℒ₁(κ) ∩ ℒ₂(κ) = ∅ if , and ℒ₀(κ) ∩ ℒ₁(κ) ∩ ℒ₂(κ) = ∅ for arbitrary κ. All spaces in ℒ₁(ℵ₀) are homeomorphic, while ℒ₂(ℵ₀) contains precisely ℵ₁ spaces up to homeomorphism. The class ℒ₁(κ)...