Applications of k-covers II

We continue the study of applications of k-covers to some topological constructions, mostly to function spaces and hyperspaces.     

Upper semifinite hyperspaces as unifying tools in normal Hausdorff topology

In this paper we use the upper semifinite topology in hyperspaces to get results in normal Hausdorff topology. The advantage of this point of view is that the upper semifinite topology, although highly non-Hausdorff, is very easy to handle. By this way we treat different topics and relate topological properties on spaces with some topological properties in hyperspaces. This hyperspace is, of course, determined by the base space. We prove here some reciprocals which are not true for the usual Vietoris topology. We also point out that this framework is a very adequate one to construct the ?ech-Stone compactification of a normal space. We also describe compactness in terms of the second countability axiom and of the fixed point property. As a summary we relate non-Hausdorff topology with some facts in the core of normal Hausdorff topology. In some sense, we reinforce the unity of the subject.     

Countably compact hyperspaces and Frolík sums

Let H⁰(X) (H(X)) denote the set of all (nonempty) closed subsets of X endowed with the Vietoris topology. A basic problem concerning H(X) is to characterize those X for which H(X) is countably compact. We conjecture that u-compactness of X for some u∈ω^∗ (or equivalently: all powers of X are countably compact) may be such a characterization. We give some results that point into this direction.We define the property R(κ): for every family of closed subsets of X separated by pairwise disjoint open sets and any family of natural numbers, the product is countably compact, and prove that if H(X) is countably compact for a T₂-space X then X satisfies R(κ) for all κ. A space has R(1) iff all its finite powers are countably compact, so this generalizes a theorem of J. Ginsburg: if X is T₂ and H(X) is countably compact, then so is Xn for all n<ω. We also prove that, for κ<t, if the T₃ space X satisfies a weak form of R(κ), the orbit of every point in X is dense, and X contains κ pairwise disjoint open sets, then Xκ is countably compact. This generalizes the following theorem of J. Cao, T. Nogura, and A. Tomita: if X is T₃, homogeneous, and H(X) is countably compact, then so is Xω.Then we study the Frolík sum (also called “one-point countable-compactification”) of a family . We use the Frolík sum to produce countably compact spaces with additional properties (like first countability) whose hyperspaces are not countably compact. We also prove that any product _∏α<κH⁰(Xα) embeds into .     

GRAPHIC EXTENSIONS OF MAPPINGS

ABSTRACT

Given a mapping f: X → Y and an extension e: X → [Xtilde] of X, the restriction of the projection Π: [Xtilde] X Y → Y to the closure of the graph of f in [Xtilde] X Y is called the graphic extension of f with respect to e. It is shown that this approach is widely applicable to various types of topological extensions of mappings found in the literature and often gives simpler proofs of their existence, properties, and results relating to them.     

On strong cellularity type properties of Lindelöf groups

We prove several facts about cellularity and κ-cellularity of λ-Lindelöf groups generated by their κ-stable subspaces. For example, if a Lindelöf group G is generated by its κ-stable subspace then κ-cellularity (and hence cellularity) of G does not exceed κ. In particular, ω₁-cellularity (and hence cellularity) of a Lindelöf group does not exceed ω₁ if this group is generated by its ω₁-Lindelöf subspace which is a P-space. For any cardinal μ with ω<μ?c a Lindelöf group G is constructed which is separable (and hence has countable cellularity) while ω-cellularity of G is equal to μ.     

A class of extension properties that are not simply generated

Let $\text{P}$ be a closed-hereditary topological property preserved by products. Call a space $\text{P}$-regular if it is homeomorphic to a subspace of a product of spaces with $\text{P}$. Suppose that each $\text{P}$-regular space possesses a $\text{P}$-regular compactification. It is well-known that each $\text{P}$-regular space X is densely embedded in a unique space γ_scPX with $\text{P}$ such that if f: X → Y is continuous and Y has $\text{P}$, then f extends continuously to γ_scPX. Call $\text{P}$-pseudocompact if γ_scPX is compact.Associated with $\text{P}$ is another topological property $\text{P}$^#, possessing all the properties hypothesized for $\text{P}$ above, defined as follows: a $\text{P}$-regular space X has $\text{P}$^# if each $\text{P}$-pseudocompact closed subspace of X is compact. It is known that the $\text{P}$-pseudocompact spaces coincide with the $\text{P}$^#-pseudocompact spaces, and that $\text{P}$^# is the largest closed-hereditary, productive property for which this is the case. In this paper we prove that if $\text{P}$ is not the property of being compact and $\text{P}$-regular, then $\text{P}$^# is not simply generated; in other words, there does not exist a space E such that the spaces with $\text{P}$^# are precisely those spaces homeomorphic to closed subspaces of powers of E.     

Spaces of continuous functions over a Ψ-space

The Lindelöf property of the space of continuous real-valued continuous functions is studied. A consistent example of an uncountable Ψ-like space is constructed for which the space of continuous real-valued functions with the pointwise convergence topology is Lindelöf.     

On τ–covers using ideals and some of its consequences

In this paper we primarily introduce an ideal version of τ -covers studied in [18, 19]. We establish the inter-relationships between ?-τ -covers and ?-γ, ?-large [3, 5] and κ-covers[2, 7]. We also make some investigations involving the splittability and preservation properties. Our results extend the earlier results proved in [18, 19, 2, 7] and present a more general version with respect to ideals.     

On one-point connectifications

In the first part of this note we explore the relationship between connectibility and cohesiveness, including showing that the concepts do not coincide in the class of totally disconnected spaces. We introduce the concept of strong cohesion which fits between cohesion and connectibility. Several examples demonstrate the sharpness of the obtained results. In the second part of this note we investigate when certain one-point connectifications have the fixed point property. In particular, we prove this property for the canonical one-point connectification of Erd?s space. This result was claimed earlier in the literature but was withdrawn recently.     

WALLMAN REMAINDERS OF REGULAR SPACES

ABSTRACT

This paper shows that the only Hausdorff spaces which can occur as Wallman remainders of Regular spaces are themselves completely regular. This is in contrast to the previously known result that any T1 space can occur as a Wallman remainder.     

Multistage n-dimensional universal spaces and extensions

Let Iτ be the Tychonoff cube of weight τ?ω with a fixed point, στ and Στ be the correspondent σ- and Σ-products in Iτ and στ⊂(Σστ=ω(στ))⊂Στ. Then for any n∈{0,1,2,…}, there exists a compactum Unτ⊂Iτ of dimension n such that for any Z⊂Iτ of dimension?n, there exists a topological embedding of Z in Unτ that maps the intersections of Z with στ, Σστ and Στ to the intersections , and of Unτ with στ, Σστ and Στ, respectively; , and are n-dimensional and is σ-compact, is a Lindelöf Σ-space and is a sequentially compact normal Fréchet-Urysohn space. This theorem (on multistage universal spaces of given dimension and weight) implies multistage extension theorems (in particular, theorems on Corson and Eberlein compactifications) for Tychonoff spaces.     

Approximations of relations by continuous functions

Let X be a Tychonoff space, C(X) be the space of all continuous real-valued functions defined on X and CL(X×R) be the hyperspace of all nonempty closed subsets of X×R. We prove the following result. Let X be a countably paracompact normal space. The following are equivalent: (a) dimX=0; (b) the closure of C(X) in CL(X×R) with the Vietoris topology consists of all F∈CL(X×R) such that F(x)≠∅ for every x∈X and F maps isolated points into singletons; (c) each usco map which maps isolated points into singletons can be approximated by continuous functions in CL(X×R) with the locally finite topology. From the mentioned result we can also obtain the answer to Problem 5.5 in [L'. Holá, R.A. McCoy, Relations approximated by continuous functions, Proc. Amer. Math. Soc. 133 (2005) 2173-2182] and to Question 5.5 in [R.A. McCoy, Comparison of hyperspace and function space topologies, Quad. Mat. 3 (1998) 243-258] in the realm of normal, countably paracompact, strongly zero-dimensional spaces. Generalizations of some results from [L'. Holá, R.A. McCoy, Relations approximated by continuous functions, Proc. Amer. Math. Soc. 133 (2005) 2173-2182] are also given.     

Hausdorff compactifications and lebesgue sets

Let X be a completely regular Hausdorff space and let H be a subset of C¹(X) which separates points and closed sets. By embedding X into a cube whose factors are indexed by H, a Hausdorff compactification e_HX of X is obtained. Given two subsets F and G of C¹(X) which separate points from closed sets, in the present paper we obtain a necessary and sufficient condition for the equivalence of e_FX and e_GX. The condition is expressed in terms of the space X and the sets F and G alone, herewith solving a question raised by Chandler.     

An extension theorem for D-normal spaces

A second countable developable T₁-space $\text{D}$₁ is defined which has the following properties: (1) $\text{D}$₁ is an absolute extensor for the class of perfect spaces. (2) $\text{D}$₁^?₀ is a universal space for second countable developable T₁-spaces.     

Productively Lindelöf and indestructibly Lindelöf spaces

There has recently been considerable interest in productively Lindelöf spaces, i.e. spaces such that their product with every Lindelöf space is Lindelöf. See e.g. , , , , ,  and , and work in progress by Brendle and Raghavan. Here we make several related remarks about such spaces. Indestructible Lindelöf spaces, i.e. spaces that remain Lindelöf in every countably closed forcing extension, were introduced in [28]. Their connection with topological games and selection principles was explored in [27]. We find further connections here.     

Ohio completeness and products

In [A.V. Arhangel'ski?, Remainders in compactifications and generalized metrizability properties, Topology Appl. 150 (2005) 79-90], Arhangel'ski? introduced the notion of Ohio completeness and proved it to be a useful concept in his study of remainders of compactifications and generalized metrizability properties. We will investigate the behavior of Ohio completeness with respect to closed subspaces and products. We will prove among other things that if an uncountable product is Ohio complete, then all but countably many factors are compact. As a consequence, Rκ is not Ohio complete, for every uncountable cardinal number κ.     

Lawson compactness on function spaces of domains

In this paper it is proved that for a Lawson compact algebraic dcpo D and a bifinite domain L with smallest element, the function space [D→L] is algebraic and Lawson compact.     

Function spaces from core compact coherent spaces to continuous B-domains

It is proved in this paper that for a continuous B-domain L, the function space [X→L] is continuous for each core compact and coherent space X. Further, applications are given. It is proved that:

(1)

the function space from the unit interval to any bifinite domain which is not an L-domain is not Lawson compact;

(2)

the Isbell and Scott topologies on [X→L] agree for each continuous B-domain L and core compact coherent space X.

     

Remarks on ω-domination of discrete subspaces

Abstract

Given a space X, we will say that a class of subsets of X is dominated by a class ? if for any A ∈ , there exists a B ∈ ? such that A ? . In particular, all (closed) discrete subsets of X are countably dominated (which we frequently abbreviate as ω-dominated) if, for any (closed) discrete set D ? X, there exists a countable set B ? X such that D ? . In this paper, we investigate the topological properties of spaces in which (closed) discrete subspaces are dominated either by countable subsets or by Lindelöf subspaces.     

Essential extensions of Hausdorff spaces

In the category Haus of Hausdorff spaces the only injectives are the one-point spaces. Even though every Hausdorff spaceX has a maximal essential extension,X fails to have an injective hull, providedX has more than one point. A non-empty Hausdorff space has a proper essential extension if and only ifX is locally H-closed but not H-closed. In this case,X has (up to isomorphism) precisely one proper essential extension: the Obreanu-Porter extension (being simultaneously its maximal essential extension and its minimal H-closed extension). Completely parallel results hold for the categories SReg, Reg, and Tych of semi-regular, regular, and completely regular spaces respectively. In particular, the Alexandroff compactifications of locally compact, non-compact Hausdorff spaces are characterized categorically as the proper essential extensions of non-empty spaces in Tych (resp. Reg).Dedicated to my friend Nico Pumplün on his sixtieth birthday