Separate continuity, joint continuity, the Lindelöf property and p-spaces

In this paper we prove a theorem more general than the following. Suppose that X is ?ech-complete and Y is a closed subset of a product of a separable metric space with a compact Hausdorff space. Then for each separately continuous function there exists a residual set R in X such that f is jointly continuous at each point of R×Y. This confirms the suspicions of S. Mercourakis and S. Negrepontis from 1991.     

Selective screenability in topological groups

We examine the selective screenability property in topological groups. In the metrizable case we also give characterizations of Sc(Onbd,O) and Smirnov-Sc(Onbd,O) in terms of the Haver property and finitary Haver property respectively relative to left-invariant metrics. We prove theorems stating conditions under which Sc(Onbd,O) is preserved by products. Among metrizable groups we characterize the countable dimensional ones by a natural game.     

Convergence preserving mappings on topological groups

It is well known that a mapping is convergence preserving, that is, whenever an infinite series ∑an converges, the series ∑φ(an) converges, if and only if there exists m∈R such that φ(x)=mx in some neighborhood of 0. We explore convergence preserving mappings on Hausdorff topological groups, showing in particular, that if G×G is a Fréchet group, and H has no small subgroups, then a mapping is convergence preserving if and only if there is a neighborhood of the identity in G on which φ is a sequentially continuous homomorphism.     

Minimal pseudocompact group topologies on free abelian groups

A Hausdorff topological group G is minimal if every continuous isomorphism f:G→H between G and a Hausdorff topological group H is open. Significantly strengthening a 1981 result of Stoyanov, we prove the following theorem: For every infinite minimal abelian group G there exists a sequence of cardinals such that

     

Separable subspaces of affine function spaces on convex compact sets

Let K be a compact convex subset of a separated locally convex space (over R) and let Ap(K) denote the space of all continuous real-valued affine mappings defined on K, endowed with the topology of pointwise convergence on the extreme points of K. In this paper we shall examine some topological properties of Ap(K). For example, we shall consider when Ap(K) is monolithic and when separable compact subsets of Ap(K) are metrizable.     

The Baire property in hit-and-miss hypertopologies

Recently, some techniques have been developed for the study of the Baire property in hyperspaces. These techniques have been applied to solve a long-standing open problem of McCoy in 1975 and a recent open problem of Zsilinszky. In this paper, we extend and apply these techniques further to investigate the Baire property of hyperspaces equipped with the general hit-and-miss topology.     

Bounded sets in topological groups and embeddings

We show that the existence of a non-metrizable compact subspace of a topological group G often implies that G contains an uncountable supersequence (a copy of the one-point compactification of an uncountable discrete space). The existence of uncountable supersequences in a topological group has a strong impact on bounded subsets of the group. For example, if a topological group G contains an uncountable supersequence and K is a closed bounded subset of G which does not contain uncountable supersequences, then any subset A of K is bounded in G?(K?A). We also show that every precompact Abelian topological group H can be embedded as a closed subgroup into a precompact Abelian topological group G such that H is bounded in G and all bounded subsets of the quotient group G/H are finite. This complements Ursul's result on closed embeddings of precompact groups to pseudocompact groups.     

Semitopological groups,Bouziad spaces and topological groups

A semitopological group (topological group) is a group endowed with a topology for which multiplication is separately continuous (multiplication is jointly continuous and inversion is continuous). In this paper we use topological games to show that many semitopological groups are in fact topological groups.     

The three space problem in topological groups

We study compact, countably compact, pseudocompact, and functionally bounded sets in extensions of topological groups. A property P is said to be a three space property if, for every topological group G and a closed invariant subgroup N of G, the fact that both groups N and G/N have P implies that G also has P. It is shown that if all compact (countably compact) subsets of the groups N and G/N are metrizable, then G has the same property. However, the result cannot be extended to pseudocompact subsets, a counterexample exists under p=c. Another example shows that extensions of groups do not preserve the classes of realcompact, Dieudonné complete and μ-spaces: one can find a pseudocompact, non-compact Abelian topological group G and an infinite, closed, realcompact subgroup N of G such that G/N is compact and all functionally bounded subsets of N are finite. Several examples given in the article destroy a number of tempting conjectures about extensions of topological groups.     

Compact factors in finally compact products of topological spaces

We present instances of the following phenomenon: if a product of topological spaces satisfies some given compactness property then the factors satisfy a stronger compactness property, except possibly for a small number of factors.The first known result of this kind, a consequence of a theorem by A.H. Stone, asserts that if a product is regular and Lindelöf then all but at most countably many factors are compact. We generalize this result to various forms of final compactness, and extend it to two-cardinal compactness. In addition, our results need no separation axiom.     

Convexity of momentum maps: A topological analysis

The Local-to-Global-Principle used in the proof of convexity theorems for momentum maps has been extracted as a statement of pure topology enriched with a structure of convexity. We extend this principle to not necessarily closed maps f:X→Y where the convexity structure of the target space Y need not be based on a metric. Using a new factorization of f, convexity of the image is proved without local fiber connectedness, and for arbitrary connected spaces X.     

On subgroups of minimal topological groups

A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. The Roelcke uniformity (or lower uniformity) on a topological group is the greatest lower bound of the left and right uniformities. A group is Roelcke-precompact if it is precompact with respect to the Roelcke uniformity. Many naturally arising non-Abelian topological groups are Roelcke-precompact and hence have a natural compactification. We use such compactifications to prove that some groups of isometries are minimal. In particular, if U₁ is the Urysohn universal metric space of diameter 1, the group Iso(U₁) of all self-isometries of U₁ is Roelcke-precompact, topologically simple and minimal. We also show that every topological group is a subgroup of a minimal topologically simple Roelcke-precompact group of the form Iso(M), where M is an appropriate non-separable version of the Urysohn space.     

On extensions of representations for compact Lie groups

Let H be a closed normal subgroup of a compact Lie group G such that G/H is connected. This paper provides a necessary and sufficient condition for every complex representation of H to be extendible to G, and also for every complex G-vector bundle over the homogeneous space G/H to be trivial. In particular, we show that the condition holds when the fundamental group of G/H is torsion free.     

A characterization of the Menger property by means of ultrafilter convergence

We characterize various Menger/Rothberger-related properties, and discuss their behavior with respect to products.     

Universally meager sets, II

We present new characterizations of universally meager sets, shown in [P. Zakrzewski, Universally meager sets, Proc. Amer. Math. Soc. 129 (6) (2001) 1793-1798] to be a category analog of universally null sets. In particular, we address the question of how this class is related to another class of universally meager sets, recently introduced by Todorcevic [S. Todorcevic, Universally meager sets and principles of generic continuity and selection in Banach spaces, Adv. Math. 208 (2007) 274-298].     

Selections and topological convexity

A simple natural proof of van de Vel's selection theorem for topological convex structures is given. The technique developed to achieve this proof allows to give also a direct simple proof of the classical Michael's selection theorem in Fréchet spaces, and the Horvath's selection theorem in metric l.c.-spaces.     

On extremally disconnected topological groups

We introduce the notion of a partially selective ultrafilter and prove that (a) if G is an extremally disconnected topological group and p is a converging nonprincipal ultrafilter on G containing a countable discrete subset, then p is partially selective, and (b) the existence of a nonprincipal partially selective ultrafilter on a countable set implies the existence of a P-point in ω^∗. Thus it is consistent with ZFC that there is no extremally disconnected topological group containing a countable discrete nonclosed subset.     

Countably compact topological group topologies on free Abelian groups from selective ultrafilters

Tkachenko showed in 1990 the existence of a countably compact group topology on the free Abelian group of size c using CH. Koszmider, Tomita and Watson showed in 2000 the existence of a countably compact group topology on the free Abelian group of size c² using a forcing model in which CH holds.Wallace's question from 1955, asks whether every both-sided cancellative countably compact semigroup is a topological group. A counterexample to Wallace's question has been called a Wallace semigroup. In 1996, Robbie and Svetlichny constructed a Wallace semigroup under CH. In the same year, Tomita constructed a Wallace semigroup from MAcountable.In this note, we show that the examples of Tkachenko, Robbie and Svetlichny, and Koszmider, Tomita and Watson can be obtained using a family of selective ultrafilters. As a corollary, the constructions presented here are compatible with the total failure of Martin's Axiom.     

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.     

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