Group-valued continuous functions with the topology of pointwise convergence

Let G be a topological group with the identity element e. Given a space X, we denote by Cp(X,G) the group of all continuous functions from X to G endowed with the topology of pointwise convergence, and we say that X is: (a) G-regular if, for each closed set F⊆X and every point x∈X?F, there exist f∈Cp(X,G) and g∈G?{e} such that f(x)=g and f(F)⊆{e}; (b) G^?-regular provided that there exists g∈G?{e} such that, for each closed set F⊆X and every point x∈X?F, one can find f∈Cp(X,G) with f(x)=g and f(F)⊆{e}. Spaces X and Y are G-equivalent provided that the topological groups Cp(X,G) and Cp(Y,G) are topologically isomorphic.We investigate which topological properties are preserved by G-equivalence, with a special emphasis being placed on characterizing topological properties of X in terms of those of Cp(X,G). Since R-equivalence coincides with l-equivalence, this line of research “includes” major topics of the classical Cp-theory of Arhangel'ski? as a particular case (when G=R).We introduce a new class of TAP groups that contains all groups having no small subgroups (NSS groups). We prove that: (i) for a given NSS group G, a G-regular space X is pseudocompact if and only if Cp(X,G) is TAP, and (ii) for a metrizable NSS group G, a G^?-regular space X is compact if and only if Cp(X,G) is a TAP group of countable tightness. In particular, a Tychonoff space X is pseudocompact (compact) if and only if Cp(X,R) is a TAP group (of countable tightness). Demonstrating the limits of the result in (i), we give an example of a precompact TAP group G and a G-regular countably compact space X such that Cp(X,G) is not TAP.We show that Tychonoff spaces X and Y are T-equivalent if and only if their free precompact Abelian groups are topologically isomorphic, where T stays for the quotient group R/Z. As a corollary, we obtain that T-equivalence implies G-equivalence for every Abelian precompact group G. We establish that T-equivalence preserves the following topological properties: compactness, pseudocompactness, σ-compactness, the property of being a Lindelöf Σ-space, the property of being a compact metrizable space, the (finite) number of connected components, connectedness, total disconnectedness. An example of R-equivalent (that is, l-equivalent) spaces that are not T-equivalent is constructed.     

Characterizing continuous functions on compact spaces

We consider the following problem: given a set X and a function , does there exist a compact Hausdorff topology on X which makes T continuous? We characterize such functions in terms of their orbit structure. Given the generality of the problem, the characterization turns out to be surprisingly simple and elegant. Amongst other results, we also characterize homeomorphisms on compact metric spaces.     

Local connectedness and extension of uniformly continuous functions

A metric space X is straight if for each finite cover of X by closed sets, and for each real valued function f on X, if f is uniformly continuous on each set of the cover, then f is uniformly continuous on the whole of X. The straight spaces have been studied in [A. Berarducci, D. Dikranjan, J. Pelant, An additivity theorem for uniformly continuous functions, Topology and its Applications 146-147 (2005) 339-352], which contains characterization of the straight spaces within the class of the locally connected spaces (they are the uniformly locally connected ones) and the class of the totally disconnected spaces (they coincide with the totally disconnected Atsuji spaces). We show that the completion of a straight space is straight and we characterize the dense straight subspaces of a straight space. In order to clarify further the relation between straightness and the level of local connectedness of the space we introduce two more intermediate properties between straightness and uniform local connectedness and we give various examples to distinguish them. One of these properties coincides with straightness for complete spaces and provides in this way a useful characterization of complete straight spaces in terms of the behaviour of the quasi-components of the space.     

Lebesgue and co-Lebesgue di-uniform texture spaces

The author introduces the notions of Lebesgue di-uniformity and co Lebesgue di-uniformity and investigates the relationship between a Lebesgue quasi uniformity on X and the corresponding Lebesgue di-uniformity on the discrete texture (X,P(X)). Finally a notion of a dual dicovering Lebesgue quasi di-uniform texture space is introduced and several properties are discussed.     

Compact factors in finally compact products of topological spaces

We present instances of the following phenomenon: if a product of topological spaces satisfies some given compactness property then the factors satisfy a stronger compactness property, except possibly for a small number of factors.The first known result of this kind, a consequence of a theorem by A.H. Stone, asserts that if a product is regular and Lindelöf then all but at most countably many factors are compact. We generalize this result to various forms of final compactness, and extend it to two-cardinal compactness. In addition, our results need no separation axiom.     

Cosheaves and connectedness in formal topology

The localic definitions of cosheaves, connectedness and local connectedness are transferred from impredicative topos theory to predicative formal topology. A formal topology is locally connected (has base of connected opens) iff it has a cosheaf π₀ together with certain additional structure and properties that constrain π₀ to be the connected components cosheaf. In the inductively generated case, complete spreads (in the sense of Bunge and Funk) corresponding to cosheaves are defined as formal topologies. Maps between the complete spreads are equivalent to homomorphisms between the cosheaves. A cosheaf is the connected components cosheaf for a locally connected formal topology iff its complete spread is a homeomorphism, and in this case it is a terminal cosheaf.A new, geometric proof is given of the topos-theoretic result that a cosheaf is a connected components cosheaf iff it is a “strongly terminal” point of the symmetric topos, in the sense that it is terminal amongst all the generalized points of the symmetric topos. It is conjectured that a study of sites as “formal toposes” would allow such geometric proofs to be incorporated into predicative mathematics.     

Products of straight spaces

A metric space X is straight if for each finite cover of X by closed sets, and for each real valued function f on X, if f is uniformly continuous on each set of the cover, then f is uniformly continuous on the whole of X. A locally connected space is straight iff it is uniformly locally connected (ULC). It is easily seen that ULC spaces are stable under finite products. On the other hand the product of two straight spaces is not necessarily straight. We prove that the product X×Y of two metric spaces is straight if and only if both X and Y are straight and one of the following conditions holds:

(a)

both X and Y are precompact;

(b)

both X and Y are locally connected;

(c)

one of the spaces is both precompact and locally connected.

In particular, when X satisfies (c), the product X×Z is straight for every straight space Z.Finally, we characterize when infinite products of metric spaces are ULC and we completely solve the problem of straightness of infinite products of ULC spaces.     

The β-space property in monotonically normal spaces and GO-spaces

In this paper we examine the role of the β-space property (equivalently of the MCM-property) in generalized ordered (GO-)spaces and, more generally, in monotonically normal spaces. We show that a GO-space is metrizable iff it is a β-space with a Gδ-diagonal and iff it is a quasi-developable β-space. That last assertion is a corollary of a general theorem that any β-space with a σ-point-finite base must be developable. We use a theorem of Balogh and Rudin to show that any monotonically normal space that is hereditarily monotonically countably metacompact (equivalently, hereditarily a β-space) must be hereditarily paracompact, and that any generalized ordered space that is perfect and hereditarily a β-space must be metrizable. We include an appendix on non-Archimedean spaces in which we prove various results announced without proof by Nyikos.     

A classification of CO spaces which are continuous images of compact ordered spaces

A topological space X is called a CO space, if every closed subset of X is homeomorphic to some clopen subset of X. Every ordinal with its order topology is a CO space. This work gives a complete classification of CO spaces which are continuous images of compact ordered spaces.     

Realcompactness in maximal and submaximal spaces

We study realcompactness in the classes of submaximal and maximal spaces. It is shown that a normal submaximal space of cardinality less than the first measurable is realcompact. ZFC examples of submaximal not realcompact and maximal not realcompact spaces are constructed. These examples answer questions posed in [O.T. Alas, M. Sanchis, M.G. Tka?enko, V.V. Tkachuk, R.G. Wilson, Irresolvable and submaximal spaces: homogeneity versus σ-discreteness and new ZFC examples, Topology Appl. 107 (3) (2000) 259-273] and generalize some results from [D.P. Baturov, On perfectly normal dense subspaces of products, Topology Appl. 154 (2) (2007) 374-383].     

On some questions about KC and related spaces

Answering questions raised by O.T. Alas and R.G. Wilson, or by these two authors together with M.G. Tkachenko and V.V. Tkachuk, we show that every minimal SC space must be sequentially compact, and we produce the following examples:

-

a KC space which cannot be embedded in any compact KC space;

-

a countable KC space which does not admit any coarser compact KC topology;

-

a minimal Hausdorff space which is not a k-space.

We also give an example of a compact KC space such that every nonempty open subset of it is dense, even if, as pointed out to us by the referee, a completely different construction carried out by E.K. van Douwen in 1993 leads to a space with the same properties.     

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.     

The Namioka property of KC-functions and Kempisty spaces

A topological space Y is called a Kempisty space if for any Baire space X every function , which is quasi-continuous in the first variable and continuous in the second variable has the Namioka property. Properties of compact Kempisty spaces are studied in this paper. In particular, it is shown that any Valdivia compact is a Kempisty space and the Cartesian product of an arbitrary family of compact Kempisty spaces is a Kempisty space.     

Distance to spaces of continuous functions

We link here distances between iterated limits, oscillations, and distances to spaces of continuous functions. For a compact space K, a uniformly bounded set H of the space of real-valued continuous functions C(K), and ε?0, we say that H ε-interchanges limits with K, if the inequality

     

Maps and f-normal spaces

It has long been known that hyper-real maps preserve realcompactness. In this paper we show that hyper-real maps preserve nearly realcompactness as well. We will also introduce the concepts of ε-perfect maps and f-normal spaces and explore them in a way that mirrors Rayburn's 1978 study of δ-perfect maps and h-normal spaces.     

Statistical convergence in topology

We introduce and investigate statistical convergence in topological and uniform spaces and show how this convergence can be applied to selection principles theory, function spaces and hyperspaces.     

Minimal KC spaces are compact

We show that every KC space (X,τ), such that τ is minimal among the KC topologies on X, must be compact (not necessarily T₂). This solves a long-standing question, first raised by R. Larson in 1973.     

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 semilocally simply connected spaces

The purpose of this paper is: (i) to construct a space which is semilocally simply connected in the sense of Spanier even though its Spanier group is non-trivial; (ii) to propose a modification of the notion of a Spanier group so that via the modified Spanier group semilocal simple connectivity can be characterized; and (iii) to point out that with just a slightly modified definition of semilocal simple connectivity which is sometimes also used in literature, the classical Spanier group gives the correct characterization within the general class of path-connected topological spaces.While the condition “semilocally simply connected” plays a crucial role in classical covering theory, in generalized covering theory one needs to consider the condition “homotopically Hausdorff” instead. The paper also discusses which implications hold between all of the abovementioned conditions and, via the modified Spanier groups, it also unveils the weakest so far known algebraic characterization for the existence of generalized covering spaces as introduced by Fischer and Zastrow. For most of the implications, the paper also proves the non-reversibility by providing the corresponding examples. Some of them rely on spaces that are newly constructed in this paper.