Measure theoretic zero sets in infinite dimensional spaces and differentiability of Lipschitz mappings
We prove a general theorem about preservation of the covering dimension by certain covariant functors that implies, among others, the following concrete results.
Let be an uncountable regular cardinal and a topological group. We prove the following statements: (1) If is homeomorphic to a closed subspace of , is Abelian, and the order of every non-neutral element of is greater than then embeds in as a closed subspace. (2) If is Abelian, algebraically generated by , and the order of every element does not exceed then is not embeddable in . (3) There exists an Abelian topological group such that is homeomorphic to a closed subspace...
We show that there exists an Abelian topological group such that the operations in cannot be extended to the Dieudonné completion of the space in such a way that becomes a topological subgroup of the topological group . This provides a complete answer to a question of V.G. Pestov and M.G. Tkačenko, dating back to 1985. We also identify new large classes of topological groups for which such an extension is possible. The technique developed also allows to find many new solutions to the...
The natural quotient map q from the space of based loops in the Hawaiian earring onto the fundamental group provides a naturally occuring example of a quotient map such that q × q fails to be a quotient map. With the quotient topology, this example shows π₁(X,p) can fail to be a topological group if X is locally path connected.
We study retracts of coset spaces. We prove that in certain spaces the set of points that are contained in a component of dimension less than or equal to n, is a closed set. Using our techniques we are able to provide new examples of homogeneous spaces that are not coset spaces. We provide an example of a compact homogeneous space which is not a coset space. We further provide an example of a compact metrizable space which is a retract of a homogeneous compact space, but which is not a retract of...
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...