On Countable-Dimensional Spaces with the Menger Property, Rational Dimension and a Question of S. D. Iliadis

 This paper deals with the class of spaces which are countable unions of zero-dimensional sets and with the larger class of Haver’s C-spaces. All spaces are assumed to be separable and metrizable. We are concerned with various aspects of universality of these classes when they are combined with the covering analogue for σ-compactness defined by Menger and the rational dimension introduced by Menger and N?beling. A solution of a problem of S. D. Iliadis [16] concerning universal spaces for rational dimension will result. Received 11 September 1998; in revised form 12 January 1999     

Certain classes of weakly infinite-dimensional spaces and topological games

In [V.V. Fedorchuk, Questions on weakly infinite-dimensional spaces, in: E.M. Pearl (Ed.), Open Problems in Topology II, Elsevier, Amsterdam, 2007, pp. 637-645; V.V. Fedorchuk, Weakly infinite-dimensional spaces, Russian Math. Surveys 42 (2) (2007) 1-52] classes w-m-C of weakly infinite-dimensional spaces, 2?m?∞, were introduced. We prove that all of them coincide with the class wid of all weakly infinite-dimensional spaces in the Alexandroff sense. We show also that transfinite dimensions dimwm, introduced in [V.V. Fedorchuk, Questions on weakly infinite-dimensional spaces, in: E.M. Pearl (Ed.), Open Problems in Topology II, Elsevier, Amsterdam, 2007, pp. 637-645; V.V. Fedorchuk, Weakly infinite-dimensional spaces, Russian Math. Surveys 42 (2) (2007) 1-52], coincide with dimension dimw2=dim, where dim is the transfinite dimension invented by Borst [P. Borst, Classification of weakly infinite-dimensional spaces. I. A transfinite extension of the covering dimension, Fund. Math. 130 (1) (1988) 1-25]. Some topological games which are related to countable-dimensional spaces, to C-spaces, and some other subclasses of weakly infinite-dimensional spaces are discussed.     

Multivalued generalized nonlinear contractive maps and fixed points

We introduce some notions of generalized nonlinear contractive maps and prove some fixed point results for such maps. Consequently, several known fixed point results are either improved or generalized including the corresponding recent fixed point results of Ciric [L.B. Ciric, Multivalued nonlinear contraction mappings, Nonlinear Anal. 71 (2009) 2716-2723], Klim and Wardowski [D. Klim, D. Wardowski, Fixed point theorems for set-valued contractions in complete metric spaces, J. Math. Anal. Appl. 334 (2007) 132-139], Feng and Liu [Y. Feng, S. Liu, Fixed point theorems for multivalued contractive mappings and multivalued Caristi type mappings, J. Math. Anal. Appl. 317 (2006) 103-112] and Mizoguchi and Takahashi [N. Mizoguchi, W. Takahashi, Fixed point theorems for multivalued mappings on complete metric spaces, J. Math. Anal. Appl. 141 (1989) 177-188].     

Asymmetry and bicompletion of approach spaces

We develop a bicompletion theory for the category Ap₀ of T₀ approach spaces in the sense of Lowen [R. Lowen, Approach Spaces: The Missing Link in the Topology-Uniformity-Metric Triad, Oxford University Press, Oxford, 1997], which extends the completion theory obtained in [R. Lowen, K. Robeys., Completions of products of metric spaces, Quart. J. Math. Oxford 43 (1991) 319-338] for the subcategory of Hausdorff uniform approach spaces. Moreover, we prove it to be firmly epireflective (in the sense of [G.C.L. Brümmer, E. Giuli, A categorical concept of completion of objects, Comment. Math. Univ. Carolin. 33 (1992) 131-147]) with respect to a certain morphism class of dense embeddings.     

Brush spaces and the fixed point property

We introduce the notions of a brush space and a weak brush space. Each of these spaces has a compact connected core with attached connected fibers and may be either compact or non-compact. Many spaces, both in the Hausdorff non-metrizable setting and in the metric setting, have realizations as (weak) brush spaces. We show that these spaces have the fixed point property if and only if subspaces with core and finitely many fibers have the fixed point property. This result generalizes the fixed point result for generalized Alexandroff/Urysohn Squares in Hagopian and Marsh (2010) [4]. We also look at some familiar examples, with and without the fixed point property, from Bing (1969) [1], Connell (1959) [3], Knill (1967) [7] and note the brush space structures related to these examples.     

Weaker forms of the Menger property in bitopological spaces

Abstract

In this paper we continue previous investigations on the weaker forms of the Menger property in bitopological spaces. We introduce weakly Menger property and study some topological properties of almost and weakly Menger bitopological spaces. We also consider the almost Hurewicz spaces in a bitopological context.     

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.     

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.     

Selection principles in hyperspaces with generalized Vietoris topologies

We continue investigations of ?ech closure spaces and their hyperspaces started in [M. Mrševi?, M. Jeli?, Selection principles and hyperspace topologies in closure spaces, J. Korean Math. Soc. 43 (2006) 1099-1114] and [M. Mrševi?, M. Jeli?, Selection principles, γ-sets and αi-properties in ?ech closure spaces, Topology Appl., in press], focusing on generalized upper and lower Vietoris topologies.     

Game approach to universally Kuratowski-Ulam spaces

We consider a version of the open-open game, indicating its connections with universally Kuratowski-Ulam spaces. From [P. Daniels, K. Kunen, H. Zhou, On the open-open game, Fund. Math. 145 (3) (1994) 205-220] and [D. Fremlin, T. Natkaniec, I. Rec?aw, Universally Kuratowski-Ulam spaces, Fund. Math. 165 (3) (2000) 239-247] topological arguments are extracted to show that: Every I-favorable space is universally Kuratowski-Ulam, Theorem 8; If a compact space Y is I-favorable, then the hyperspaceexp(Y)with the Vietoris topology is I-favorable, and hence universally Kuratowski-Ulam, Theorems 6 and 9. Notions of uK-U and uK-U^∗ spaces are compared.     

Compact and precompact sets in asymmetric locally convex spaces

The aim of the present paper is to study precompactness and compactness within the framework of asymmetric locally convex spaces, defined and studied by the author in [S. Cobza?, Asymmetric locally convex spaces, Int. J. Math. Math. Sci. 2005 (16) (2005) 2585-2608]. The obtained results extend some results on compactness in asymmetric normed spaces proved by [L.M. García-Raffi, Compactness and finite dimension in asymmetric normed linear spaces, Topology Appl. 153 (2005) 844-853], and [C. Alegre, I. Ferrando, L.M. García-Raffi, E.A. Sánchez-Pérez, Compactness in asymmetric normed spaces, Topology Appl. 155 (6) (2008) 527-539].     

D-spaces, aD-spaces and finite unions

In this paper, we prove that if a space X is the union of a finite family of strong Σ-spaces, then X is a D-space. This gives a positive answer to a question posed by Arhangel'skii in [A.V. Arhangel'skii, D-spaces and finite unions, Proc. Amer. Math. Soc. 132 (2004) 2163-2170]. We also obtain results on aD-spaces and finite unions. These results improve the correspond results in [A.V. Arhangel'skii, R.Z. Buzyakova, Addition theorems and D-spaces, Comment. Math. Univ. Carolin. 43 (2002) 653-663] and [Liang-Xue Peng, The D-property of some Lindelöf spaces and related conclusions, Topology Appl. 154 (2007) 469-475].     

Proper forcing axiom and selective separability

We continue the study of Selectively Separable (SS) and, a game-theoretic strengthening, strategically selectively separable spaces (SS⁺) (see Barman, Dow (2011) [1]). The motivation for studying SS⁺ is that it is a property possessed by all separable subsets of Cp(X) for each σ-compact space X. We prove that the winning strategy for countable SS⁺ spaces can be chosen to be Markov. We introduce the notion of being compactlike for a collection of open sets in a topological space and with the help of this notion we prove that there are two countable SS⁺ spaces such that the union fails to be SS⁺, which contrasts the known result about SS spaces. We also prove that the product of two countable SS⁺ spaces is again countable SS⁺. One of the main results in this paper is that the proper forcing axiom, PFA, implies that the product of two countable Fréchet spaces is SS, a statement that was shown in Barman, Dow (2011) [1] to consistently fail. An auxiliary result is that it is consistent with the negation of CH that all separable Fréchet spaces have π-weight at most ω₁.     

Plain ditopological texture spaces

Using the characterization of plain textures in terms of posets given by Mustafa Demirci (M. Demirci, Textures and C-spaces, Fuzzy Sets and Systems 158 (11) (2007) 1237-1245), the authors consider the important class of plain ditopological texture spaces and give several new results.     

Weakly continuously Urysohn spaces

We study weakly continuously Urysohn spaces, which were introduced in [P.L. Zenor, Continuously extending partial functions, Proc. Amer. Math. Soc. 135 (1) (2007) 305-312]. We show that every weakly continuously Urysohn wΔ-space has a base of countable order, that separable weakly continuously Urysohn spaces are submetrizable, hence continuously Urysohn, that monotonically normal weakly continuously Urysohn spaces are hereditarily paracompact, and that no linear extension of any uncountable subspace of the Sorgenfrey line is weakly continuously Urysohn. These results generalize various results in the literature concerning continuously Urysohn spaces.     

Some new rich subspaces of C. Applications

In this paper, we are interested in a class of subspaces of C, introduced by Bourgain [Studia Math. 77 (1984) 245-253]. Wojtaszczyk called them rich in his monograph [Banach Spaces for Analysts, Cambridge Univ. Press, 1991]. We give some new examples of such spaces: this allows us to recover previous results of Godefroy-Saab and Kysliakov on spaces with reflexive annihilator in a very simple way. We construct some other examples of rich spaces, hence having property (V) of Pe?czyński and Dunford-Pettis property. We also recover the results due to Bourgain and Saccone saying that spaces of uniformly convergent Fourier series share these properties, by only using the main result of [Studia Math. 77 (1984) 245-253] and some very elementary arguments. We generalize too these results.     

Some generalizations of Fedorchuk duality theorem—I

Generalizing duality theorem of V.V. Fedorchuk [V.V. Fedorchuk, Boolean δ-algebras and quasi-open mappings, Sibirsk. Mat. Zh. 14 (5) (1973) 1088-1099; English translation: Siberian Math. J. 14 (1973) 759-767 (1974)], we prove Stone-type duality theorems for the following four categories: the objects of all of them are the locally compact Hausdorff spaces, and their morphisms are, respectively, the continuous skeletal maps, the quasi-open perfect maps, the open maps, the open perfect maps. In particular, a Stone-type duality theorem for the category of compact Hausdorff spaces and open maps is obtained. Some equivalence theorems for these four categories are stated as well; two of them generalize the Fedorchuk equivalence theorem [V.V. Fedorchuk, Boolean δ-algebras and quasi-open mappings, Sibirsk. Mat. Zh. 14 (5) (1973) 1088-1099; English translation: Siberian Math. J. 14 (1973) 759-767 (1974)].     

Completely normal frames and real-valued functions

Up to now point-free insertion results have been obtained only for semicontinuous real functions. Notably, there is now available a setting for dealing with arbitrary, not necessarily (semi-)continuous, point-free real functions, due to Gutiérrez García, Kubiak and Picado, that gives point-free topology the freedom to deal with general real functions only available before to point-set topology. As a first example of the usefulness of that setting, we apply it to characterize completely normal frames in terms of an insertion result for general real functions. This characterization extends a well-known classical result of T. Kubiak about completely normal spaces. In addition, characterizations of completely normal frames that extend results of H. Simmons for topological spaces are presented. In particular, it follows that complete normality is a lattice-invariant property of spaces, correcting an erroneous conclusion in [Y.-M. Wong, Lattice-invariant properties of topological spaces, Proc. Amer. Math. Soc. 26 (1970) 206-208].     

REAL COMPACTIFICATIONS THROUGH ZERO-SET SPACES

Abstract

The Alexandroff (= zero-set) spaces were introduced in [l] as the “completely normal spaces”, and have been studied in a number of more recent papers. In this paper we unify the theory of Wallman realcompactifications via the Alexandroff bases and introduce the realcompactfine Alexandroff spaces as particularly relevant to their investigation. These latter spaces are defined analogously to the A-c uniform spaces which are based on a construction of A.W. Hager [25].     

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.