On a covering group theorem and its applications.
Let (G,τ) be a Hausdorff Abelian topological group. It is called an s-group (resp. a bs-group) if there is a set S of sequences in G such that τ is the finest Hausdorff (resp. precompact) group topology on G in which every sequence of S converges to zero. Characterizations of Abelian s- and bs-groups are given. If (G,τ) is a maximally almost periodic (MAP) Abelian s-group, then its Pontryagin dual group is a dense -closed subgroup of the compact group , where is the group G with the discrete...
A well known theorem of W.W. Comfort and K.A. Ross, stating that every pseudocompact group is -embedded in its Weil completion [5] (which is a compact group), is extended to some new classes of topological groups, and the proofs are very transparent, short and elementary (the key role in the proofs belongs to Lemmas 1.1 and 4.1). In particular, we introduce a new notion of canonical uniform tightness of a topological group and prove that every -dense subspace of a topological group , such...
We continue the study of topological properties of the group Homeo(X) of all homeomorphisms of a Cantor set X with respect to the uniform topology τ, which was started by Bezuglyi, Dooley, Kwiatkowski and Medynets. We prove that the set of periodic homeomorphisms is τ-dense in Homeo(X) and deduce from this result that the topological group (Homeo(X),τ) has the Rokhlin property, i.e., there exists a homeomorphism whose conjugacy class is τ-dense in Homeo(X). We also show that for any homeomorphism...
Let be an Abelian topological group. A subgroup of is characterized if there is a sequence in the dual group of such that . We reduce the study of characterized subgroups of to the study of characterized subgroups of compact metrizable Abelian groups. Let be the group of all -valued null sequences and be the uniform topology on . If is compact we prove that is a characterized subgroup of if and only if , where and is a finite Abelian group. For every compact Abelian...
Let G be a locally compact group, and let U be its unitary representation on a Hilbert space H. Endow the space ℒ(H) of bounded linear operators on H with the weak operator topology. We prove that if U is a measurable map from G to ℒ(H) then it is continuous. This result was known before for separable H. We also prove that the following statement is consistent with ZFC: every measurable homomorphism from a locally compact group into any topological group is continuous.
We prove that it is independent of ZFC whether every Hausdorff countable space of weight less than has a dense regular subspace. Examples are given of countable Hausdorff spaces of weight which do not have dense Urysohn subspaces. We also construct an example of a countable Urysohn space, which has no dense completely Hausdorff subspace. On the other hand, we establish that every Hausdorff space of -weight less than has a dense completely Hausdorff (and hence Urysohn) subspace. We show that...
The convolution of ultrafilters of closed subsets of a normal topological group is considered as a substitute of the extension onto of the group operation. We find a subclass of ultrafilters for which this extension is well-defined and give some examples of pathologies. Next, for a given locally compact group and its dense subgroup , we construct subsets of β algebraically isomorphic to . Finally, we check whether the natural mapping from β onto β is a homomorphism with respect to the extension...
We will show that under for each there exists a group whose -th power is countably compact but whose -th power is not countably compact. In particular, for each there exists and a group whose -th power is countably compact but the -st power is not countably compact.
We investigate hereditarily normal topological groups and their subspaces. We prove that every compact subspace of a hereditarily normal topological group is metrizable. To prove this statement we first show that a hereditarily normal topological group with a non-trivial convergent sequence has -diagonal. This implies, in particular, that every countably compact subspace of a hereditarily normal topological group with a non-trivial convergent sequence is metrizable. Another corollary is that under...
Let be a commutative Hausdorff locally solid lattice group. In this paper we prove the following: (1) If has the (iii)-property, then its completion is an order-complete locally solid lattice group. (2) If is order-complete and has the Fatou property, then the order intervals of are -complete. (3) If has the Fatou property, then is order-dense in and has the Fatou property. (4) The order-bound topology on any commutative lattice group is the finest locally solid topology on...
It is proved that every uncountable -bounded group and every homogeneous space containing a convergent sequence are resolvable. We find some conditions for a topological group topology to be irresolvable and maximal.
The main purpose of this paper is to show that any localic group is complete in its two-sided uniformity, settling a problem open since work began in this area a decade ago. In addition, a number of other results are established, providing in particular a new functor from topological to localic groups and an alternative characterization of -groups.
For a topological property P, we say that a space X is star Pif for every open cover Uof the space X there exists Y ⊂ X such that St(Y,U) = X and Y has P. We consider star countable and star Lindelöf spaces establishing, among other things, that there exists first countable pseudocompact spaces which are not star Lindelöf. We also describe some classes of spaces in which star countability is equivalent to countable extent and show that a star countable space with a dense σ-compact subspace can have...
Minimal Hausdorff (Baire) group topologies of certain groups of transformations naturally occurring in analysis are studied. The results obtained are subsequently applied to show that, e.g., the homeomorphism groups of the rational and of the irrational numbers carry no Polish group topology. In answer to a question of A. S. Kechris it is shown that the group of Borel automorphisms of ℝ cannot be a Polish group either.