Some upper bounds for density of function spaces

Let Cα(X,Y) be the set of all continuous functions from X to Y endowed with the set-open topology where α is a hereditarily closed, compact network on X which is closed under finite unions. We proved that the density of the space Cα(X,Y) is at most iw(X)⋅d(Y) where iw(X) denotes the i-weight of the Tychonoff space X, and d(Y) denotes the density of the space Y when Y is an equiconnected space with equiconnecting function Ψ, and Y has a base consists of Ψ-convex subsets of Y. We also prove that the equiconnectedness of the space Y cannot be replaced with pathwise connectedness of Y. In fact, it is shown that for each infinite cardinal κ, there is a pathwise connected space Y such that π-weight of Y is κ, but Souslin number of the space Ck([0,1],Y) is κ².     

Lelek maps and n-dimensional maps from compacta to polyhedra

For a natural number m?0, a map from a compactum X to a metric space Y is an m-dimensional Lelek map if the union of all non-trivial continua contained in the fibers of f is of dimension ?m. In [M. Levin, Certain finite-dimensional maps and their application to hyperspaces, Israel J. Math. 105 (1998) 257-262], Levin proved that in the space C(X,I) of all maps of an n-dimensional compactum X to the unit interval I=[0,1], almost all maps are (n−1)-dimensional Lelek maps. Moreover, he showed that in the space C(X,Ik) of all maps of an n-dimensional compactum X to the k-dimensional cube Ik (k?1), almost all maps are (n−k)-dimensional Lelek maps. In this paper, we generalize Levin's result. For any (separable) metric space Y, we define the piecewise embedding dimension ped(Y) of Y and we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a complete metric ANR Y, almost all maps are (n−k)-dimensional Lelek maps, where k=ped(Y). As a corollary, we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a Peano curve Y, almost all maps are (n−1)-dimensional Lelek maps and in the space C(X,M) of all maps of an n-dimensional compactum X to a k-dimensional Menger manifold M, almost all maps are (n−k)-dimensional Lelek maps. It is known that k-dimensional Lelek maps are k-dimensional maps for k?0.     

Spaces of maps into topological group with the Whitney topology

Let X be a locally compact Polish space and G a non-discrete Polish ANR group. By C(X,G), we denote the topological group of all continuous maps endowed with the Whitney (graph) topology and by Cc(X,G) the subgroup consisting of all maps with compact support. It is known that if X is compact and non-discrete then the space C(X,G) is an l₂-manifold. In this article we show that if X is non-compact and not end-discrete then Cc(X,G) is an (R^∞×l₂)-manifold, and moreover the pair (C(X,G),Cc(X,G)) is locally homeomorphic to the pair of the box and the small box powers of l₂.     

A note on realizing homomorphisms of category algebras

The complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a complete matrix space X to the category algebra $\text{C}$(Y) of a Baire topological space Y are characterized as those σ-homomorphisms which are induced by continuous maps from dense G₈-subsets of Y into X. This result is used to deduce a series of related results in topology and measure theory (some of which are well-known). Finally a similar result for the complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a compact Hausdorff space X tothe category algebra $\text{C}$(Y) of a Baire topological space Y is proved.     

Topological-algebraic properties of function spaces with set-open topologies

For a Tychonoff space X, we denote by Cλ(X) the space of all real-valued continuous functions on X with set-open topology. In this paper, we study the topological-algebraic properties of Cλ(X). Our main results state that (1) Cλ(X) is a topological vector space (a topological group) iff λ is a family of C-compact sets and Cλ(X)=Cλ^′(X), where λ^′ consists of all C-compact subsets of every set of λ. In particular, if Cλ(X) is a topological group, then the set-open topology coincides with the topology of uniform convergence on a family λ; (2) a topological group Cλ(X) is ω-narrow iff λ is a family of metrizable compact subsets of X.     

On the density of the space of continuous and uniformly continuous functions

For X a metrizable space and (Y,ρ) a metric space, with Y pathwise connected, we compute the density of (C(X,(Y,ρ)),σ)—the space of all continuous functions from X to (Y,ρ), endowed with the supremum metric σ. Also, for (X,d) a metric space and (Y,‖⋅‖) a normed space, we compute the density of (UC((X,d),(Y,ρ)),σ) (the space of all uniformly continuous functions from (X,d) to (Y,ρ), where ρ is the metric induced on Y by ‖⋅‖). We also prove that the latter result extends only partially to the case where (Y,ρ) is an arbitrary pathwise connected metric space.To carry such an investigation out, the notions of generalized compact and generalized totally bounded metric space, introduced by the author and A. Barbati in a former paper, turn out to play a crucial rôle. Moreover, we show that the first-mentioned concept provides a precise characterization of those metrizable spaces which attain their extent.     

A generalisation of the functional approach to compactness

A topological space X is compact iff the projection π:X×Y→Y is closed for any space Y. Taking this as a definition and then asking that π maps α-closed subspaces of X×Y onto β-closed subspaces of Y, for different closures α and β, extends the notion of compactness to include also examples of “asymmetric compactness” pursued in the article.Categorical closure operators and a so-called “functional approach to general topology” are employed to define and prove fundamental properties of compact objects and proper maps in this generalised setting.     

Vietoris topology on partial maps with compact domains

The space PK of partial maps with compact domains (identified with their graphs) forms a subspace of the hyperspace of nonempty compact subsets of a product space endowed with the Vietoris topology. Various completeness properties of PK, including ?ech-completeness, sieve completeness, strong Choquetness, and (hereditary) Baireness, are investigated. Some new results on the hyperspace K(X) of compact subsets of a Hausdorff X with the Vietoris topology are obtained; in particular, it is shown that there is a strongly Choquet X, with 1st category K(X).     

On order structure of the set of one-point Tychonoff extensions of a locally compact space

If a Tychonoff space X is dense in a Tychonoff space Y, then Y is called a Tychonoff extension of X. Two Tychonoff extensions Y₁ and Y₂ of X are said to be equivalent, if there exists a homeomorphism which keeps X pointwise fixed. This defines an equivalence relation on the class of all Tychonoff extensions of X. We identify those extensions of X which belong to the same equivalence classes. For two Tychonoff extensions Y₁ and Y₂ of X, we write Y₂?Y₁, if there exists a continuous function which keeps X pointwise fixed. This is a partial order on the set of all (equivalence classes of) Tychonoff extensions of X. If a Tychonoff extension Y of X is such that Y\X is a singleton, then Y is called a one-point extension of X. Let T(X) denote the set of all one-point extensions of X. Our purpose is to study the order structure of the partially ordered set (T(X),?). For a locally compact space X, we define an order-anti-isomorphism from T(X) onto the set of all nonempty closed subsets of βX\X. We consider various sets of one-point extensions, including the set of all one-point locally compact extensions of X, the set of all one-point Lindelöf extensions of X, the set of all one-point pseudocompact extensions of X, and the set of all one-point ?ech-complete extensions of X, among others. We study how these sets of one-point extensions are related, and investigate the relation between their order structure, and the topology of subspaces of βX\X. We find some lower bounds for cardinalities of some of these sets of one-point extensions, and in a concluding section, we show how some of our results may be applied to obtain relations between the order structure of certain subfamilies of ideals of C^∗(X), partially ordered with inclusion, and the topology of subspaces of βX\X. We leave some problems open.     

Automatic continuity of biseparating homomorphisms defined between groups of continuous functions

Let C(X,T) be the group of continuous functions of a compact Hausdorff space X to the unit circle of the complex plane T with the pointwise multiplication as the composition law. We investigate how the structure of C(X,T) determines the topology of X. In particular, which group isomorphisms H between the groups C(X,T) and C(Y,T) imply the existence of a continuous map h of Y into X such that H is canonically represented by h. Among other results, it is proved that C(X,T) determines X module a biseparating group isomorphism and, when X is first countable, the automatic continuity and representation as Banach-Stone maps for biseparating group isomorphisms is also obtained.     

Range universal spaces

We characterize those topological spaces Y for which the Isbell and finest splitting topologies on the set C(X,Y) of all continuous functions from X into Y coincide for all topological spaces X. We also consider the same question for the coincidence of the restriction of the finest splitting topology on the upper semicontinuous set-valued functions to C(X,Y) and the finest splitting topology on C(X,Y). In the first case, the spaces in question are, after identifying points that are in each others closures, subsets of the two point Sierpiński space, which gives a converse and generalization of a result of S. Dolecki, G.H. Greco, and A. Lechicki. In the second case, the spaces in question are, after identifying points that are in each others closures, order bases for bounded complete continuous DCPOs with the Scott topology.     

Moscow spaces and selection theory

A well-known result on Moscow spaces states that every Gδ-dense subset of a Moscow space X is C-embedded in X. We present here the selection version of this result and also (by means of two different approaches) we use selection theory to characterize the open bounded subsets of a uniform space (X,U) in the case when its completion is a Moscow space.     

Whitney preserving maps on finite graphs

For a Whitney preserving map f:X→G we show the following: (a) If X is arcwise connected and G is a graph which is not a simple closed curve, then f is a homeomorphism; (b) If X is locally connected and G is a simple closed curve, then X is homeomorphic to either the unit interval [0,1], or the unit circle S¹. As a consequence of these results, we characterize all Whitney preserving maps between finite graphs. We also show that every hereditarily weakly confluent Whitney preserving map between locally connected continua is a homeomorphism.     

Integral extensions on rings of continuous functions

Let π:X→Y be a surjective continuous map between Tychonoff spaces. The map π induces, by composition, an injective morphism C(Y)→C(X) between the corresponding rings of real-valued continuous functions, and this morphism allows us to consider C(Y) as a subring of C(X). This paper deals with finiteness properties of the ring extension C(Y)⊆C(X) in relation to topological properties of the map π:X→Y. The main result says that, for X a compact subset of Rn, the extension C(Y)⊆C(X) is integral if and only if X decomposes into a finite union of closed subsets such that π is injective on each one of them.     

A non-separable Christensen's theorem and set tri-quotient maps

For every space X let K(X) be the set of all compact subsets of X. Christensen [J.P.R. Christensen, Necessary and sufficient conditions for measurability of certain sets of closed subsets, Math. Ann. 200 (1973) 189-193] proved that if X,Y are separable metrizable spaces and F:K(X)→K(Y) is a monotone map such that any L∈K(Y) is covered by F(K) for some K∈K(X), then Y is complete provided X is complete. It is well known [J. Baars, J. de Groot, J. Pelant, Function spaces of completely metrizable space, Trans. Amer. Math. Soc. 340 (1993) 871-879] that this result is not true for non-separable spaces. In this paper we discuss some additional properties of F which guarantee the validity of Christensen's result for more general spaces.     

Local compactness and Hewitt realcompactifications of products II

We generalize and refine results from the author's paper [18]. For a completely regular Hausdorff space X, υX denotes the Hewitt realcompactification of X. It is proved that if υ(X×Y)=υX×υY for any metacompact subparacompact (or m-paracompact) space Y, then X is locally compact. A P(n)-space is a space in which every intersection of less than n open sets is open. A characterization of those spaces X such that υ (X×Y = υX×υY for any (metacompact) P(n)-space Y is also obtained.     

On the greatest splitting topology

It is well known that (see, for example, [H. Render, Nonstandard topology on function spaces with applications to hyperspaces, Trans. Amer. Math. Soc. 336 (1) (1993) 101-119; M. Escardo, J. Lawson, A. Simpson, Comparing cartesian closed categories of (core) compactly generated spaces, Topology Appl. 143 (2004) 105-145; D.N. Georgiou, S.D. Iliadis, F. Mynard, in: Elliott Pearl (Ed.), Function Space Topologies, Open Problems in Topology, vol. 2, Elsevier, 2007, pp. 15-22]) the intersection of all admissible topologies on the set C(Y,Z) of all continuous maps of an arbitrary space Y into an arbitrary space Z, is always the greatest splitting topology. However, this intersection maybe not admissible. In the case, where Y is a locally compact Hausdorff space the compact-open topology on the set C(Y,Z) is splitting and admissible (see [R.H. Fox, On topologies for function spaces, Bull. Amer. Math. Soc. 51 (1945) 429-432; R. Arens, A topology for spaces of transformations, Ann. of Math. 47 (1946) 480-495; R. Arens, J. Dugundji, Topologies for function spaces, Pacific J. Math. 1 (1951) 5-31]), which means that the intersection of all admissible topologies on C(Y,Z) is admissible. In [R. Arens, J. Dugundji, Topologies for function spaces, Pacific J. Math. 1 (1951) 5-31] an example of a non-locally compact Hausdorff space Y is given having the same property for the case, where Z=[0,1], that is on the set C(Y,[0,1]) the compact-open topology is splitting and admissible. This space Y is the set [0,1] with a topology τ, whose semi-regular reduction coincides with the usual topology on [0,1]. Also, in [R. Arens, J. Dugundji, Topologies for function spaces, Pacific J. Math. 1 (1951) 5-31, Theorem 5.3] another example of a non-locally compact space Y is given such that the compact-open topology on the set C(Y,[0,1]) is distinct from the greatest splitting topology.In this paper first we construct non-locally compact Hausdorff spaces Y such that the intersection of all admissible topologies on the set C(Y,Z), where Z is an arbitrary regular space, is admissible. Furthermore, for a Hausdorff splitting topology t on C(Y,Z) we find sufficient conditions in order that t to be distinct from the greatest splitting topology. Using this result, we construct some concrete non-locally compact spaces Y such that the compact-open topology on C(Y,Z), where Z is a Hausdorff space, is distinct from the greatest splitting topology. Finally, we give some open problems.     

More stratifiable function spaces

If X is a compact-covering image of a closed subspace of product of a σ-compact Polish space and a compact space, then Ck(X,M), the space of continuous maps of X into M with the compact-open topology, is stratifiable for any metric space M.If X is σ-compact Polish, K is compact and M metric then every point of Ck(X×K,M) has a closure-preserving local base, and hence this function space is M₁.     

Various types of local connectedness in n-fold hyperspaces

Let X be a continuum. The n-fold hyperspace Cn(X), n<∞, is the space of all nonempty compact subsets of X with the Hausdorff metric. Four types of local connectivity at points of Cn(X) are investigated: connected im kleinen, locally connected, arcwise connected im kleinen and locally arcwise connected. Characterizations, as well as necessary or sufficient conditions, are obtained for Cn(X) to have one or another of the local connectivity properties at a given point. Several results involve the property of Kelley or C^*-smoothness. Some new results are obtained for C(X), the space of subcontinua of X. A class of continua X is given for which Cn(X) is connected im kleinen only at subcontinua of X and for which any two such subcontinua must intersect.     

The partially ordered set of one-point extensions

A space Y is called an extension of a space X if Y contains X as a dense subspace. Two extensions of X are said to be equivalent if there is a homeomorphism between them which fixes X point-wise. For two (equivalence classes of) extensions Y and Y^′ of X let Y?Y^′ if there is a continuous function of Y^′ into Y which fixes X point-wise. An extension Y of X is called a one-point extension of X if Y?X is a singleton. Let P be a topological property. An extension Y of X is called a P-extension of X if it has P.One-point P-extensions comprise the subject matter of this article. Here P is subject to some mild requirements. We define an anti-order-isomorphism between the set of one-point Tychonoff extensions of a (Tychonoff) space X (partially ordered by ?) and the set of compact non-empty subsets of its outgrowth βX?X (partially ordered by ⊆). This enables us to study the order-structure of various sets of one-point extensions of the space X by relating them to the topologies of certain subspaces of its outgrowth. We conclude the article with the following conjecture. For a Tychonoff spaces X denote by U(X) the set of all zero-sets of βX which miss X.

Conjecture. For locally compact spaces X and Y the partially ordered sets(U(X),⊆)and(U(Y),⊆)are order-isomorphic if and only if the spacesclβX(βX?υX)andclβY(βY?υY)are homeomorphic.