Closure operators in topological groups related to von Neumann's kernel

We study a family of idempotent categorical closure operators in the category of topological Abelian groups (and continuous homomorphisms) related to the von Neumann's kernel. The prominent role is played by the idempotent closure operator g also related to questions from Diophantine approximations and ergodic theory.     

On a class of pseudocompact spaces derived from ring epimorphisms

A Tychonoff space X is RG if the embedding of C(X)→C(Xδ) is an epimorphism of rings. Compact RG-spaces are known and easily described. We study the pseudocompact RG-spaces. These must be scattered of finite Cantor Bendixon degree but need not be locally compact. However, under strong hypotheses, (countable compactness, or small cardinality) these spaces must, indeed, be compact. The main theorems shows, how to construct a suitable maximal almost disjoint family, and apply it to obtain examples of RG-spaces that are almost compact, locally compact, non-compact, almost-P, and of Cantor Bendixon degree 2. More complicated examples of pseudocompact non-compact RG-spaces ensue.     

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.     

The enriched Vietoris monad on representable spaces

Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes the filter monad, cocomplete ordered set translates to continuous lattice, distributivity means disconnectedness, and so on. Curiously, the dual(?) notion of completeness does not behave as the mirror image of the one of cocompleteness; and in this paper we have a closer look at complete spaces. In particular, we construct the “up-set monad” on representable spaces (in the sense of L. Nachbin for topological spaces, respectively C. Hermida for multicategories); we show that this monad is of Kock–Zöberlein type; we introduce and study a notion of weighted limit similar to the classical notion for enriched categories; and we describe the Kleisli category of our “up-set monad”. We emphasise that these generic categorical notions and results can be indeed connected to more “classical” topology: for topological spaces, the “up-set monad” becomes the lower Vietoris monad, and the statement “X   is totally cocomplete if and only if X^op$X^{\mathrm{op}}$ is totally complete” specialises to O. Wyler's characterisation of the algebras of the Vietoris monad on compact Hausdorff spaces as precisely the continuous lattices.     

Homotopy Conley index for discrete multivalued dynamical systems

We define an index of Conley type for a certain class of upper semicontinuous multivalued dynamical systems. We use the Szymczak functor and apply techniques introduced by Reineck, Mrozek and Srzednicki for the index over the base. Moreover we introduce the notion of the homotopy partial functor for the usc maps. We show that the index possesses Wa?ewski and homotopy properties. We also give four examples that exhibit the benefits of our index over the cohomological index defined by Mrozek and Kaczyński.     

CLP-compactness for topological spaces and groups

We study CLP-compact spaces (every cover consisting of clopen sets has a finite subcover) and CLP-compact topological groups. In particular, we extend a theorem on CLP-compactness of products from [J. Steprāns, A. Šostak, Restricted compactness properties and their preservation under products, Topology Appl. 101 (3) (2000) 213-229] and we offer various criteria for CLP-compactness for spaces and topological groups, that work particularly well for precompact groups. This allows us to show that arbitrary products of CLP-compact pseudocompact groups are CLP-compact. For every natural n we construct:

(i)

a totally disconnected, n-dimensional, pseudocompact CLP-compact group; and

(ii)

a hereditarily disconnected, n-dimensional, totally minimal, CLP-compact group that can be chosen to be either separable metrizable or pseudocompact (a Hausdorff group G is totally minimal when all continuous surjective homomorphisms G→H, with a Hausdorff group H, are open).

     

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.     

A note on monotonically metacompact spaces

We show that any metacompact Moore space is monotonically metacompact and use that result to characterize monotone metacompactness in certain generalized ordered (GO) spaces. We show, for example, that a generalized ordered space with a σ-closed-discrete dense subset is metrizable if and only if it is monotonically (countably) metacompact, that a monotonically (countably) metacompact GO-space is hereditarily paracompact, and that a locally countably compact GO-space is metrizable if and only if it is monotonically (countably) metacompact. We give an example of a non-metrizable LOTS that is monotonically metacompact, thereby answering a question posed by S.G. Popvassilev. We also give consistent examples showing that if there is a Souslin line, then there is one Souslin line that is monotonically countable metacompact, and another Souslin line that is not monotonically countably metacompact.     

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.     

Geometric topological completions with universal final lifts

In this paper necessary and sufficient conditions are given on a concrete category over a category B so that it can be densely embedded (over B) into a geometric topological category E that admits certain universal final lifts. These conditions, as well as the class of universal final lifts, depend upon an a priori given full subcategory Δ of B. For example, E may have, depending upon Δ and B, universal coproducts or quotients or colimits. For appropriate Δ's, if B is cartesian closed then so is E.     

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.     

Some remarks on interior operators and the functional property

In this paper functoriality of the notion of categorical interior operator is discussed and as a related topic, the property of ?-modal interior operator is introduced.     

Injective spaces via adjunction

The work of the present author and his coauthors over the past years gives evidence that it may be useful to regard each topological space as a kind of enriched category, by interpreting the convergence relation x→x between ultrafilters and points of a topological space X as arrows in X. Naturally, this point of view opens the door to the use of concepts and ideas from enriched Category Theory for the investigation of topological spaces. Topological theories introduced by the author provide a convenient general setting for appropriately transferring these concepts and ideas to the world of topological spaces and some other geometric objects such as approach spaces. Using tools like adjunction and the Yoneda lemma, we show that the cocomplete spaces are precisely the injective spaces, and they are algebras for a suitable monad on . This way we obtain enriched versions of known results about injective topological spaces and continuous lattices.     

Projective versions of selection principles

All spaces are assumed to be Tychonoff. A space X is called projectively P (where P is a topological property) if every continuous second countable image of X is P. Characterizations of projectively Menger spaces X in terms of continuous mappings , of Menger base property with respect to separable pseudometrics and a selection principle restricted to countable covers by cozero sets are given. If all finite powers of X are projectively Menger, then all countable subspaces of Cp(X) have countable fan tightness. The class of projectively Menger spaces contains all Menger spaces as well as all σ-pseudocompact spaces, and all spaces of cardinality less than d. Projective versions of Hurewicz, Rothberger and other selection principles satisfy properties similar to the properties of projectively Menger spaces, as well as some specific properties. Thus, X is projectively Hurewicz iff Cp(X) has the Monotonic Sequence Selection Property in the sense of Scheepers; βX is Rothberger iff X is pseudocompact and projectively Rothberger. Embeddability of the countable fan space Vω into Cp(X) or Cp(X,2) is characterized in terms of projective properties of X.     

A generalisation of the functional approach to compactness

A topological space X is compact iff the projection π:X×Y→Y is closed for any space Y. Taking this as a definition and then asking that π maps α-closed subspaces of X×Y onto β-closed subspaces of Y, for different closures α and β, extends the notion of compactness to include also examples of “asymmetric compactness” pursued in the article.Categorical closure operators and a so-called “functional approach to general topology” are employed to define and prove fundamental properties of compact objects and proper maps in this generalised setting.     

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.     

Zig-zag chains and metric equivalences between ultrametric spaces

We study the classification of ultrametric spaces based on their small scale geometry (uniform homeomorphism), large scale geometry (coarse equivalence) and both (bi-uniform equivalences). Using a combinatoric approach we consider every ultrametric space as the end space of a chain and prove that all these equivalences can be characterized by the existence of a common zig-zag chain.     

Multiepireflective subcategories

Y. Diers has defined multireflective subcategories as a generalization of reflective subcategories. In this paper, the related concepts of multiepireflective and monomultireflective subcategories are defined and investigated. It is proved that, for categories with appropriate (E,M) factorization structures, every multireflection can be expressed as the composition of an epireflection followed by a multiepireflection. Characterizations of multi-E-reflective subcategories are also given for categories with (E,M)-factorization structures. Finally, a list of subcategories of Top which are: multireflective in Top, multiepireflective in Top₂ and {initial-monosources}-multireflective in CRog T₂ is given.