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

An extension of the dual complexity space and an application to Computer Science

In 1999, Romaguera and Schellekens introduced the theory of dual complexity spaces as a part of the development of a mathematical (topological) foundation for the complexity analysis of programs and algorithms [S. Romaguera, M.P. Schellekens, Quasi-metric properties of complexity spaces, Topology Appl. 98 (1999) 311-322]. In this work we extend the theory of dual complexity spaces to the case that the complexity functions are valued on an ordered normed monoid. We show that the complexity space of an ordered normed monoid inherits the ordered normed structure. Moreover, the order structure allows us to prove some topological and quasi-metric properties of the new dual complexity spaces. In particular, we show that these complexity spaces are, under certain conditions, Hausdorff and satisfy a kind of completeness. Finally, we develop a connection of our new approach with Interval Analysis.     

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.     

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 compactness in right bounded asymmetric normed spaces

We characterize the finite dimensional asymmetric normed spaces which are right bounded and the relation of this property with the natural compactness properties of the unit ball, such as compactness and strong compactness. In contrast with some results found in the existing literature, we show that not all right bounded asymmetric norms have compact closed balls. We also prove that there are finite dimensional asymmetric normed spaces that satisfy that the closed unit ball is compact, but not strongly compact, closing in this way an open question on the topology of finite dimensional asymmetric normed spaces. In the positive direction, we will prove that a finite dimensional asymmetric normed space is strongly locally compact if and only if it is right bounded.     

On a core concept of Arhangel'ski?

Arhangel'ski? [A.V. Arhangel'ski?, Locally compact spaces of countable core and Alexandroff compactification, Topology Appl. 154 (2007) 625-634] has introduced a weakening of σ-compactness: having a countable core, for locally compact spaces, and asked when it is equivalent to σ-compactness. We settle several problems related to that paper.     

The Goldstine Theorem for asymmetric normed linear spaces

It is well known that if (X,q) is an asymmetric normed linear space, then the function qs defined on X by qs(x)=max{q(x),q(−x)}, is a norm on the linear space X. However, the lack of symmetry in the definition of the asymmetric norm q yields an algebraic asymmetry in the dual space of (X,q). This fact establishes a significant difference with the standard results on duality that hold in the case of locally convex spaces. In this paper we study some aspects of a reflexivity theory in the setting of asymmetric normed linear spaces. In particular, we obtain a version of the Goldstine Theorem to these spaces which is applied to prove, among other results, a characterization of reflexive asymmetric normed linear spaces.     

The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras

The probability measures on compact Hausdorff spaces K form a compact convex subset PK of the space of measures with the vague topology. Every continuous map of compact Hausdorff spaces induces a continuous affine map extending f. Together with the canonical embedding associating to every point its Dirac measure and the barycentric map β associating to every probability measure on PK its barycenter, we obtain a monad (P,ε,β). The Eilenberg-Moore algebras of this monad have been characterised to be the compact convex sets embeddable in locally convex topological vector spaces by Swirszcz [T. Swirszcz, Monadic functors and convexity, Bul. Acad. Polon. Sci. Sér. Sci. Math. Astron. Phys. 22 (1974) 39-42].We generalise this result to compact ordered spaces in the sense of Nachbin [L. Nachbin, Topology and Order, Von Nostrand, Princeton, NJ, 1965. Translated from the 1950 monograph “Topologia e Ordem” (in Portugese). Reprinted by Robert E. Kreiger Publishing Co., Huntington, NY, 1967]. The probability measures form again a compact ordered space when endowed with the stochastic order. The maps ε and β are shown to preserve the stochastic orders. Thus, we obtain a monad over the category of compact ordered spaces and order preserving continuous maps. The algebras of this monad are shown to be the compact convex ordered sets embeddable in locally convex ordered topological vector spaces.This result can be seen as a step towards the characterisation of the algebras of the monad of probability measures on the category of stably compact spaces (see [G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, D.S. Scott, Continuous Lattices and Domains, Encyclopedia Math. Appl., vol. 93, Cambridge University Press, 2003, Section VI-6]).     

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.     

Strong paracompactness and multi-selections

We characterize strong paracompactness in terms of usco multi-selections for closed-valued lower semi-continuous mappings into completely metrizable spaces, thus generalizing recent results obtained by Choban, Mihaylova and Nedev [M. Choban, E. Mihaylova, S. Nedev, On selections and classes of spaces, Topology Appl. 155 (2008) 797-804]. Related results and applications are achieved as well.     

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

Classes of sequences of real numbers, games and selection properties

This is a continuation of our investigation of classes of sequences of positive real numbers satisfying some selection principles as well as having certain game-theoretic properties. We improve main results from [D. Djur?i?, Lj.D.R. Ko?inac, M.R. ?i?ovi?, Some properties of rapidly varying sequences, J. Math. Anal. Appl. 327 (2007) 1297-1306] and [D. Djur?i?, Lj.D.R. Ko?inac, M.R. ?i?ovi?, Rapidly varying sequences and rapid convergence, Topology Appl. (2008), doi: 10.1016/j.topol.2007.05.026, in press].     

On open ultrafilters and maximal points

In this work we expand upon the theory of open ultrafilters in the setting of regular spaces. In [E. van Douwen, Remote points, Dissertationes Math. (Rozprawy Mat.) 188 (1981) 1-45], van Douwen showed that if X is a non-feebly compact Tychonoff space with a countable π-base, then βX has a remote point. We develop a related result for the class of regular spaces which shows that in a non-feebly compact regular space X with a countable π-base, there exists a free open ultrafilter on X that is also a regular filter.Of central importance is a result of Mooney [D.D. Mooney, H-bounded sets, Topology Proc. 18 (1993) 195-207] that characterizes open ultrafilters as open filters that are saturated and disjoint-prime. Smirnov [J.M. Smirnov, Some relations on the theory of dimensions, Mat. Sb. 29 (1951) 157-172] showed that maximal completely regular filters are disjoint prime, from which it was concluded that βX is a perfect extension for a Tychonoff space X. We extend this result, and other results of Skljarenko [E.G. Skljarenko, Some questions in the theory of bicompactifications, Amer. Math. Soc. Transl. Ser. 2 58 (1966) 216-266], by showing that a maximal regular filter on any Hausdorff space is disjoint prime.Open ultrafilters are integral to the study of maximal points and lower topologies in the partial order of Hausdorff topologies on a fixed set. We show that a maximal point in a Hausdorff space cannot have a neighborhood base of feebly compact neighborhoods. One corollary is that no locally countably compact Hausdorff topology is a lower topology, which was shown previously under the additional assumption of countable tightness by Alas and Wilson [O. Alas, R. Wilson, Which topologies can have immediate successors in the lattice of T₁-topologies? Appl. Gen. Topol. 5 (2004) 231-242]. Another is that a maximal point in a feebly compact space is not a regular point. This generalizes results of both Carlson [N. Carlson, Lower upper topologies in the Hausdorff partial order on a fixed set, Topology Appl. 154 (2007) 619-624] and Costantini [C. Costantini, On some questions about posets of topologies on a fixed set, Topology Proc. 32 (2008) 187-225].     

A strong characterization on the ΩEP-property

In this paper a result of A. Illanes and J.J. Charatonik obtained in [J.J. Charatonik, A. Illanes, Mappings on dendrites, Topology Appl. 144 (2004) 109-132, Corollary 5.14] is extended, by showing that a locally connected continuum X has the nonwandering-eventually-periodic property. (ΩEP-property) iff X is a dendrite that does not contain a homeomorphic copy of the null-comb. Also using “An engine breaking the ΩEP-property” constructed by P. Pyrih et al. in [P. Pyrih, J. Hladký, J. Novák, M. Sterzik, M. Tancer, An engine breaking the ΩEP-property, Topology Appl. 153 (2006) 3621-3626] the results obtained in [J.J. Charatonik, A. Illanes, Mappings on dendrites, Topology Appl. 144 (2004) 109-132; H. Méndez-Lango, On the ΩEP-property, Topology Appl. 154 (2007) 2561-2568] and [P. Pyrih, J. Hladký, J. Novák, M. Sterzik, M. Tancer, An engine breaking the ΩEP-property, Topology Appl. 153 (2006) 3621-3626] are extended, by proving that every nonlocally connected continuum X that contains a nondegenerate arc A and a point p∈A such that X is not connected in kleinen at p does not have the ΩEP-property. Answering Question 1 of [P. Pyrih, J. Hladký, J. Novák, M. Sterzik, M. Tancer, An engine breaking the ΩEP-property, Topology Appl. 153 (2006) 3621-3626]. Finally an uncountable family of non-locally connected continua containing arcs with the ΩEP-property is shown.     

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

Universal elements in some classes of mappings and classes of G-spaces

In the present paper it is proved the existence of topologically universal elements in some classes of mappings and classes of G-spaces generalizing some results from [S.D. Iliadis, Universal Spaces and Mappings, North-Holland Math. Stud., vol. 198, Elsevier, 2005] and [S.D. Iliadis, Universal Borel mappings and Borel actions of groups, Topology Appl., in press, doi:10.1016/j.topol.2007.05.029].     

A note on monotone covering properties

In this note, we show that a monotonically normal space that is monotonically countably metacompact (monotonically meta-Lindelöf) must be hereditarily paracompact. This answers a question of H.R. Bennett, K.P. Hart and D.J. Lutzer. We also show that any compact monotonically meta-Lindelöf T₂-space is first countable. In the last part of the note, we point out that there is a gap in Proposition 3.8 which appears in [H.R. Bennett, K.P. Hart, D.J. Lutzer, A note on monotonically metacompact spaces, Topology Appl. 157 (2) (2010) 456-465]. We finally give a detailed proof of how to overcome the gap.     

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.     

Thin and thick sets in locally convex spaces

We introduce in this work some normed space notions such as norming, thin and thick sets in general locally convex spaces. We also study some effects of thick sets on the uniform boundedness-like principles in locally convex spaces such as “weak*-bounded sets are strong*-bounded if and only if the space is a Banach–Mackey space”. It is proved that these principles occur under some weaker conditions by means of thick sets. Further, we show that the thickness is a duality invariant, that is, all compatible topologies for some locally convex space have the same thick sets.