An infraconsonant nonconsonant completely regular space

Let R denote the real numbers. We construct in ZFC a countable space X such that X has exactly one non-isolated point, X is infraconsonant, and X is not consonant. We conclude that X is a completely regular space such that Isbell topology on C(X,R) is a group topology that coincides with the natural (finest splitting) topology on C(X,R), but the Isbell and compact-open topologies on C(X,R) do not coincide. The example answers two open problems in the literature.     

When is the Isbell topology a group topology?

Conditions on a topological space X under which the space C(X,R) of continuous real-valued maps with the Isbell topology κ is a topological group (topological vector space) are investigated. It is proved that the addition is jointly continuous at the zero function in Cκ(X,R) if and only if X is infraconsonant. This property is (formally) weaker than consonance, which implies that the Isbell and the compact-open topologies coincide. It is shown the translations are continuous in Cκ(X,R) if and only if the Isbell topology coincides with the fine Isbell topology. It is proved that these topologies coincide if X is prime (that is, with at most one non-isolated point), but do not even for some sums of two consonant prime spaces.     

Coincidence of the Isbell and fine Isbell topologies

Let C(X,Y) be the set of all continuous functions from a topological space X into a topological space Y. We find conditions on X that make the Isbell and fine Isbell topologies on C(X,Y) equal for all Y. For zero-dimensional spaces X, we show there is a space Z such that the coincidence of the Isbell and fine Isbell topologies on C(X,Z) implies the coincidence on C(X,Y) for all Y. We then consider the question of when the Isbell and fine Isbell topologies coincide on the set of continuous real-valued functions. Our results are similar to results established for consonant spaces.     

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.     

On the compact-open and admissible topologies

It is known (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, Function space topologies, in: Open Problems in Topology 2, Elsevier, 2007, pp. 15-23]) that 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 (which in general is not admissible). The following, interesting in our opinion, problem is arised: when a given splitting topology (for example, the compact-open topology, the Isbell topology, and the greatest splitting topology) is the intersection of k admissible topologies, where k is a finite number. Of course, in this case this splitting topology will be the greatest splitting.In the case, where a given splitting topology is admissible the above number k is equal to one. For example, if Y is a locally compact Hausdorff space, then k=1 for the compact-open topology (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]). Also, if Y is a corecompact space, then k=1 for the Isbell topology (see [P. Lambrinos, B.K. Papadopoulos, The (strong) Isbell topology and (weakly) continuous lattices, in: Continuous Lattices and Applications, in: Lect. Notes Pure Appl. Math., vol. 101, Marcel Dekker, New York, 1984, pp. 191-211; F. Schwarz, S. Weck, Scott topology, Isbell topology, and continuous convergence, in: Lect. Notes Pure Appl. Math., vol. 101, Marcel Dekker, New York, 1984, pp. 251-271]).In [R. Arens, J. Dugundji, Topologies for function spaces, Pacific J. Math. 1 (1951) 5-31] a non-locally compact completely regular space Y is constructed such that the compact-open topology on C(Y,S), where S is the Sierpinski space, coincides with the greatest splitting topology (which is not admissible). This fact is proved by the construction of two admissible topologies on C(Y,S) whose intersection is the compact-open topology, that is k=2.In the present paper improving the method of [R. Arens, J. Dugundji, Topologies for function spaces, Pacific J. Math. 1 (1951) 5-31] we construct some other non-locally compact spaces Y such that the compact-open topology on C(Y,S) is the intersection of two admissible topologies. Also, we give some concrete problems concerning the above arised general problem.     

A selective bitopological version of the Reznichenko property in function spaces

For a Tychonoff space X we consider the compact-open and the topology of pointwise convergence on the set of all continuous real-valued functions, define a selective version of the Reznichenko property connecting the two topologies and characterize it dually via a suitable covering property of the space X.     

On the compact open and finest splitting topologies

In [M.H. Escardo, J. Lawson, A. Simpson, Comparing cartesian closed categories of (core) compactly generated spaces, Topology Appl. 143 (2004) 105-145] it is shown that in the set C(Nω,N) of all continuous maps of Nω into N, where N is an infinitely countable discrete topological space, the compact-open topology is not the finest splitting topology. Since Nω is consonant (see [S. Dolecki, G.H. Greco, A. Lechicki, When do the upper Kuratowski topology (homeomorphically, Scott topology) and the co-compact topology coincide? Trans. Amer. Math. Soc. 347 (1995) 2869-2884]) the Isbell topology on C(Nω,N) also is not the finest splitting topology. This result is generalized in the present paper proving that it is true also for spaces having the so-called Specific Extension Property. The following spaces have the Specific Extension Property: (a) infinitely countable free unions of non-empty spaces, (b) non-compact Lindelöf zero-dimensional spaces, and (c) metric locally convex linear spaces. In particular, we prove that on the set of all real-valued functions on the (separable infinite dimensional) Hilbert space the compact-open topology does not coincide with the finest splitting topology.     

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.     

Group topologies coarser than the Isbell topology

The Isbell, compact-open and point-open topologies on the set C(X,R) of continuous real-valued maps can be represented as the dual topologies with respect to some collections α(X) of compact families of open subsets of a topological space X. Those α(X) for which addition is jointly continuous at the zero function in Cα(X,R) are characterized, and sufficient conditions for translations to be continuous are found. As a result, collections α(X) for which Cα(X,R) is a topological vector space are defined canonically. The Isbell topology coincides with this vector space topology if and only if X is infraconsonant. Examples based on measure theoretic methods, that Cα(X,R) can be strictly finer than the compact-open topology, are given. To our knowledge, this is the first example of a splitting group topology strictly finer than the compact-open topology.     

The compact-open topology: A new perspective

This paper studies the compact-open topology on the set KC(X) of all real-valued functions defined on a Tychonoff space, which are continuous on compact subsets of X. In addition to metrizability, separability and second countability of this topology on KC(X), various kinds of topological properties of this topology are studied in detail. Actually the motivation for studying the compact-open topology on KC(X) lies in the attempt of having a simpler proof for the characterization of a completeness property of the compact-open topology on C(X), the set of all real-valued continuous functions on X.     

More on remainders close to metrizable spaces

This article is a natural continuation of [A.V. Arhangel'skii, Remainders in compactifications and generalized metrizability properties, Topology Appl. 150 (2005) 79-90]. As in [A.V. Arhangel'skii, Remainders in compactifications and generalized metrizability properties, Topology Appl. 150 (2005) 79-90], we consider the following general question: when does a Tychonoff space X have a Hausdorff compactification with a remainder belonging to a given class of spaces? A famous classical result in this direction is the well known theorem of M. Henriksen and J. Isbell [M. Henriksen, J.R. Isbell, Some properties of compactifications, Duke Math. J. 25 (1958) 83-106].It is shown that if a non-locally compact topological group G has a compactification bG such that the remainder Y=bG?G has a Gδ-diagonal, then both G and Y are separable and metrizable spaces (Theorem 5). Several corollaries are derived from this result, in particular, this one: If a compact Hausdorff space X is first countable at least at one point, and X can be represented as the union of two complementary dense subspaces Y and Z, each of which is homeomorphic to a topological group (not necessarily the same), then X is separable and metrizable (Theorem 12). It is observed that Theorem 5 does not extend to arbitrary paratopological groups. We also establish that if a topological group G has a remainder with a point-countable base, then either G is locally compact, or G is separable and metrizable.     

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.     

Covering by discrete and closed discrete sets

Say that a cardinal number κ is small relative to the space X if κ<Δ(X), where Δ(X) is the least cardinality of a non-empty open set in X. We prove that no Baire metric space can be covered by a small number of discrete sets, and give some generalizations. We show a ZFC example of a regular Baire σ-space and a consistent example of a normal Baire Moore space which can be covered by a small number of discrete sets. We finish with some remarks on linearly ordered spaces.     

Compact spaces generated by retractions

We study compact spaces which are obtained from metric compacta by iterating the operation of inverse limit of continuous sequences of retractions. This class, denoted by R, has been introduced in [M. Burke, W. Kubi?, S. Todor?evi?, Kadec norms on spaces of continuous functions, http://arxiv.org/abs/math.FA/0312013]. Allowing continuous images in the definition of class R, one obtains a strictly larger class, which we denote by RC. We show that every space in class RC is either Corson compact or else contains a copy of the ordinal segment ω₁+1. This improves a result of Kalenda from [O. Kalenda, Embedding of the ordinal segment [0,ω₁] into continuous images of Valdivia compacta, Comment. Math. Univ. Carolin. 40 (4) (1999) 777-783], where the same was proved for the class of continuous images of Valdivia compacta. We prove that spaces in class R do not contain cutting P-points (see the definition below), which provides a tool for finding spaces in RC?R. Finally, we study linearly ordered spaces in class RC. We prove that scattered linearly ordered compacta belong to RC and we characterize those ones which belong to R. We show that there are only 5 types (up to order isomorphism) of connected linearly ordered spaces in class R and all of them are Valdivia compact. Finally, we find a universal pre-image for the class of all linearly ordered Valdivia compacta.     

Compact holomorphic mappings on Banach spaces and the approximation property

Let $\text{H}$(E) be the space of complex valued holomorphic functions on a complex Banach space E. The approximation property for $\text{H}$(E), endowed with various natural locally convex topologies, is studied. For example, $\text{H}$(E) with the compact-open topology has the approximation property if and only if E has the approximation property. In order to characterize when $\text{H}$(E) has the approximation property for topologies other than the compact-open, the notion of a compact holomorphic map between Banach spaces in introduced and studied.     

Infinite distributive laws versus local connectedness and compactness properties

Various local connectedness and compactness properties of topological spaces are characterized by higher degrees of distributivity for their lattices of open (or closed) sets, and conversely. For example, those topological spaces for which not only the lattice of open sets but also that of closed sets is a frame, are described by the existence of web neighborhood bases, where webs are certain specific path-connected sets. Such spaces are called web spaces. The even better linked wide web spaces are characterized by F-distributivity of their topologies, and the worldwide web spaces (or C-spaces) by complete distributivity of their topologies. Similarly, strongly locally connected spaces and locally hypercompact spaces are characterized by suitable infinite distributive laws. The web space concepts are also viewed as natural extensions of spaces that are semilattices with respect to the specialization order and have continuous (unary, binary or infinitary) semilattice operations.     

On function spaces topologies in the setting of ?ech closure spaces

We consider different types of topologies on the set of functions between two ?ech closure spaces and investigate some of their properties.     

Domain representability and the Choquet game in Moore and BCO-spaces

In this paper we investigate the role of domain representability and Scott-domain representability in the class of Moore spaces and the larger class of spaces with a base of countable order. We show, for example, that in a Moore space, the following are equivalent: domain representability; subcompactness; the existence of a winning strategy for player α (= the nonempty player) in the strong Choquet game Ch(X); the existence of a stationary winning strategy for player α in Ch(X); and Rudin completeness. We note that a metacompact ?ech-complete Moore space described by Tall is not Scott-domain representable and also give an example of ?ech-complete separable Moore space that is not co-compact and hence not Scott-domain representable. We conclude with a list of open questions.     

SMOOTHNESS PROPERTIES OF REAL-VALUED FUNCTIONS BASED ON THEIR OSCILLATION

Abstract

We consider the following two selection principles for topological spaces:

Principle 1: For each sequence of dense subsets, there is a sequence of points from the space, the n-th point coming from the n-th dense set, such that this set of points is dense in the space;

Principle 2: For each sequence of dense subsets, there is a sequence of finite sets, the n-th a subset of the n-th dense set, such that the union of these finite sets is dense in the space.

We show that for separable metric space X one of these principles holds for the space C_p (X) of realvalued continuous functions equipped with the pointwise convergence topology if, and only if, a corresponding principle holds for a special family of open covers of X. An example is given to show that these equivalences do not hold in general for Tychonoff spaces. It is further shown that these two principles give characterizations for two popular cardinal numbers, and that these two principles are intimately related to an infinite game that was studied by Berner and Juhász.     

Thin-type dense sets and related properties

We build on Gruenhage, Natkaniec, and Piotrowski?s study of thin, very thin, and slim dense sets in products, and the related notions of (NC) and (GC) which they introduced. We find examples of separable spaces X such that X² has a thin or slim dense set but no countable one. We characterize ordered spaces that satisfy (GC) and (NC), and we give an example of a separable space which satisfies (GC) but not witnessed by a collection of finite sets. We show that the question of when the topological sum of two countable strongly irresolvable spaces satisfies (NC) is related to the Rudin-Keisler order on βω. We also introduce and study the concepts of <κ-thin and superslim dense sets.