4
$\begingroup$

During some exercises I came upon the following questions that I cannot answer myself. Given a topological group $G$ we can build the completion using cauchy sequences and denote this completion by $\bar{G}$. This is again a topological group. Let $\phi : G \rightarrow \bar{G}$ be the usual map sending each element of $G$ to the equivalence class of the constant sequence. I know (not hard to show) that $\phi$ is injective if and only if $G$ is hausdorff. My questions are as follows: (EDIT: Assuming $G$ is abelian and satisfies the first axiom of countability)

If $G$ is hausdorff, is $\bar{G}$ hausdorff? Or is $\bar{G}$ automatically hausdorff? (Elements that cannot be seperated in $G$ are mapped to the same equivalence class)

When is $\bar{G}$ isomorphic to $\bar{\bar{G}}$ and how can I show that?

I'd also appreciate it, if someone could point me to some good literature.

Best regards

$\endgroup$
  • 1
    $\begingroup$ You probably want your group to be first-countable, otherwise the completion is not defined in terms of Cauchy sequences. For a very general treatment I suggest Bourbaki, General Topology, Chap. III, §3. $\endgroup$ – abx Dec 3 '13 at 14:59
  • 1
    $\begingroup$ I'm afraid there's an issue: there is a left-completion and a right completion (the left is completing with respect to nets s.t. $g_i^{-1}g_j\to 1$); in case they do not coincide the left completion is not a topological group. $\endgroup$ – YCor Dec 3 '13 at 16:01
  • $\begingroup$ @Yves Doesn't that coincide in the abelian case? (I forgot to mention abelian above) $\endgroup$ – Horstenson Dec 3 '13 at 16:42
  • $\begingroup$ @abx Thanks for the heads up, I'll edit and look it up $\endgroup$ – Horstenson Dec 3 '13 at 16:43
  • $\begingroup$ @Hortenson: of course yes, in the abelian case, but this is a huge restriction. $\endgroup$ – YCor Dec 3 '13 at 17:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.