6
$\begingroup$

Let $\: \langle G,\cdot,\mathcal{T}\hspace{0.01 in} \rangle \:$ be a $\big($$\text{T}_0$$\big)$ topological group. $\;\;$ Let $H$ be a closed normal subgroup of $G$.

Set $\;\; \mathbf{G} \: = \: \langle G,\cdot,\mathcal{T}\hspace{0.01 in} \rangle \;\;$, $\;\;$ and assume that $\mathbf{G}$ is complete with respect to the two-sided uniformity.

Does it follow that $\: \mathbf{G}/H \:$ is complete? $\;\;$ (with respect to its two-sided uniformity)

If no, what if one also assumes that $\mathbf{G}$ is abelian?

  • 0
    With $e$ as the identity element, the two-sided uniformity is the uniform structure for which $\{\{\langle x,y\rangle : \{x^{-1}\cdot y,x\cdot y^{-1}\}\subseteq U\} : e\in U\in \mathcal{T}\hspace{0.01 in}\}$ is a fundamental system of entourages. $\:$2012-09-11

1 Answers 1

9

No.

In the positive direction, Bourbaki proves in Topologie Générale, Chapitre IX, §9, Proposition 4 the following:

Let $G$ be a metrizable topological group. If $H$ is a closed normal subgroup then $G/H$ is metrizable. If $G$ is complete (in one of the one-sided uniformities) then so is $G/H$.

This entails a positive answer for metrizable abelian groups, as the left, right and two-sided uniformities coincide.

On the other hand, in Espaces Vectoriels Topologiques, Chapitre IV, §4, Exercices 9 et 10, they give among many other things a (somewhat involved) construction of a complete topological vector space whose quotient by a closed subspace is not complete. The linear structure is of no importance for the topological/uniform considerations, so this applies to topological abelian groups as well.

Worse, still: Susanne Dierolf proved in Über Quotienten vollständiger topologischer Vektorräume, Manuscripta Mathematica 17, Nr 1 (1975), 73–77 that every topological vector space arises as a quotient of a complete and Hausdorff topological vector space.

  • 2
    Since the quotient of two topological groups is Hausdorff if and only if the subgroup is closed, Dierolf's result yields a number of negative answers to seemingly reasonable conjectures, in particular a quotient of a complete topological vector space by a closed subspace need not even be sequentially complete. Local convexity doesn't help either as was shown earlier by Dierolf.2012-09-11