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.     

Monotone generalized contractions in partially ordered probabilistic metric spaces

In this paper, a concept of monotone generalized contraction in partially ordered probabilistic metric spaces is introduced and some fixed and common fixed point theorems are proved. Presented theorems extend the results in partially ordered metric spaces of Nieto and Rodriguez-Lopez [Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations, Order 22 (2005) 223-239; Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations, Acta Math. Sin. (Engl. Ser.) 23 (2007) 2205-2212], Ran and Reurings [A fixed point theorem in partially ordered sets and some applications to matrix equations, Proc. Amer. Math. Soc. 132 (2004) 1435-1443] to a more general class of contractive type mappings in partially ordered probabilistic metric spaces and include several recent developments.     

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].     

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.     

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)].     

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.     

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].     

When is a Volterra space Baire?

In this paper, we study the problem when a Volterra space is Baire. It is shown that every stratifiable Volterra space is Baire. This answers affirmatively a question of Gruenhage and Lutzer in [G. Gruenhage, D. Lutzer, Baire and Volterra spaces, Proc. Amer. Math. Soc. 128 (2000) 3115-3124]. Further, it is established that a locally convex topological vector space is Volterra if and only if it is Baire; and the weak topology of a topological vector space fails to be Baire if the dual of the space contains an infinite linearly independent pointwise bounded subset.     

Nonlinear versions of a vector maximal principle

Some nonlinear extensions of the vector maximality statement established by Goepfert et al. [A. Goepfert, C. Tammer, C. Z?linescu, On the vectorial Ekeland’s variational principle and minimal points in product spaces, Nonlinear Anal. 39 (2000) 909-922] are given. Basic instruments for these are the Brezis-Browder ordering principle [H. Brezis, F.E. Browder, A general principle on ordered sets in nonlinear functional analysis, Adv. Math. 21 (1976) 355-364] and its logical equivalent in Turinici [M. Turinici, Variational principles on semi-metric structures, Libertas Math. 20 (2000) 161-171].     

Comparing weak versions of separability

Our aim is to investigate spaces with σ-discrete and meager dense sets, as well as selective versions of these properties. We construct numerous examples to point out the differences between these classes while answering questions of Tkachuk [22], Hutchison [13] and the authors of [7].     

An alternative definition of coarse structures

Roe [J. Roe, Lectures on Coarse Geometry, University Lecture Series, vol. 31, Amer. Math. Soc., Providence, RI, 2003] introduced coarse structures for arbitrary sets X by considering subsets of X×X. In this paper we introduce large scale structures on X via the notion of uniformly bounded families and we show their equivalence to coarse structures on X. That way all basic concepts of large scale geometry (asymptotic dimension, slowly oscillating functions, Higson compactification) have natural definitions and basic results from metric geometry carry over to coarse geometry.     

Bornologies and metrically generated theories

Bornologies axiomatize an abstract notion of bounded sets and are introduced as collections of subsets satisfying a number of consistency properties. Bornological spaces form a topological construct, the morphisms of which are those functions which preserve bounded sets. A typical example is a bornology generated by a metric, i.e. the collection of all bounded sets for that metric. In a recent paper [E. Colebunders, R. Lowen, Metrically generated theories, Proc. Amer. Math. Soc. 133 (2005) 1547-1556] the authors noted that many examples are known of natural functors describing the transition from categories of metric spaces to the “metrizable” objects in some given topological construct such that, in some natural way, the metrizable objects generate the whole construct. These constructs can be axiomatically described and are called metrically generated. The construct of bornological spaces is not metrically generated, but an important large subconstruct is. We also encounter other important examples of metrically generated constructs, the constructs of Lipschitz spaces, of uniform spaces and of completely regular spaces. In this paper, the unified setting of metrically generated theories is used to study the functorial relationship between these constructs and the one of bornological 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.     

Collectionwise Hausdorff versus collectionwise normal with respect to compact sets

Collectionwise normal (CWN) and collectionwise Hausdorff (CWH) spaces have played an increasingly important role in topology since the introduction of these concepts by R.H. Bing in 1951 [3]. It has remained an open and frequently raised question as to whether CWH T₃-spaces are CWN with respect to compact sets. Recently, a counterexample requiring the existence of measurable cardinals and having little additional topological structure was constructed by W.G. Fleissner and the author. In this paper, the author gives a simple example in ZFC of a CWH, first countable, perfect T₃-space that is not CWN with respect to compact, metrizable sets, and, under Martin's Axiom, such an example that is also a Moore space. In addition, the author considers the analogous question for strongly collectionwise Hausdorff (SCWH) T₃-spaces and characterizes the existence of SCWH T₃-spaces that are not CWN with respect to compact sets in set-theoretic and box product formulations. The constructions utilized throughout the paper are of a general nature and several apparently new set-theoretic techniques for interchanging ‘points’ and ‘sets’ are introduced.     

On countable-to-one maps

In this paper, it is proved that a space with a point-countable base is an open, countable-to-one image of a metric space, and a quotient, countable-to-one image of a metric space is characterized by a point-countable ℵ₀-weak base. Examples are provided in order to answer negatively questions posed by Gruenhage et al. [G. Gruenhage, E. Michael, Y. Tanaka, Spaces determined by point-countable covers, Pacific J. Math. 113 (1984) 303-332] and Tanaka [Y. Tanaka, Closed maps and symmetric spaces, Questions Answers Gen. Topology 11 (1993) 215-233].     

Some remarks concerning C-spaces

We comment on the definition of C-spaces in [D.F. Addis, J.H. Gresham, A class of infinite-dimensional spaces. Part I: Dimension theory and Alexandroff's Problem, Fund. Math. 101 (1978) 195-205] and [W.E. Haver, A covering property for metric spaces, in: Topology Conference at Virginia Polytechnic Institute 1973, in: Lecture Notes in Math., vol. 375, 1974, pp. 108-113]. Furthermore we introduce two types of ‘finite’ C-spaces one of which gives an internal characterization of all spaces having a metrizable compactification satisfying property C. We also introduce a transfinite dimension function for those finite C-spaces. Several questions arise that are related to Alexandrov's problem.     

Topological entropy of maps on regular curves

In [G.T. Seidler, The topological entropy of homeomorphisms on one-dimensional continua, Proc. Amer. Math. Soc. 108 (1990) 1025-1030], G.T. Seidler proved that the topological entropy of every homeomorphism on a regular curve is zero. Also, in [H. Kato, Topological entropy of monotone maps and confluent maps on regular curves, Topology Proc. 28 (2) (2004) 587-593] the topological entropy of confluent maps on regular curves was investigated. In particular, it was proved that the topological entropy of every monotone map on any regular curve is zero. In this paper, furthermore we investigate the topological entropy of more general maps on regular curves. We evaluate the topological entropy of maps f on regular curves X in terms of the growth of the number of components of f−n(y) (y∈X).     

Existence and uniqueness of best proximity points in geodesic metric spaces

A mapping T:A∪B→A∪B such that T(A)⊆B and T(B)⊆A is called a cyclic mapping. A best proximity point x for such a mapping T is a point such that d(x,Tx)= dist(A,B). In this work we provide different existence and uniqueness results of best proximity points in both Banach and geodesic metric spaces. We improve and extend some results on this recent theory and give an affirmative partial answer to a recently posed question by Eldred and Veeramani in [A.A. Eldred, P. Veeramani Existence and convergence of best proximity points, J. Math. Anal. Appl. 323 (2) (2006) 1001-1006].     

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.