Subgroups of Compact groups are exactly the totally bounded groups.

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












If $G$ is a compact topological group, then how can we prove that subgroups of $G$ are exactly the totally bounded groups.



$textbfNote$: We call a topological group $G$, totally bounded or precompact if $G$ can be covered by finitely many translates of any neighbourhood of identity.










share|cite|improve this question























  • Are you asking whether all subgroups of a compact group are totally bounded?
    – José Carlos Santos
    Sep 3 at 11:23










  • @JoséCarlosSantos As I interpret the question, he wants to show that all of the subgroups of all compact groups are totally bounded, and that every totally bounded group is a subgroup of some compact group. Basically, a group is totally bounded if and only if it is a subgroup of a compact group.
    – Theo Bendit
    Sep 3 at 11:27







  • 1




    @TheoBendit That makes sense. Thank you.
    – José Carlos Santos
    Sep 3 at 11:27










  • If Theo Bendit's interpretation is correct: Every subspace of a totally bounded space is totally bounded, so subgroups of compact groups are totally bounded. The completion of a totally bounded space is compact, and since the completion of a topological group is a topological group, the completion of a totally bounded group is a compact group.
    – Daniel Fischer♦
    Sep 3 at 12:42










  • @DanielFischer as the notion of totally boundedness differs here, compact groups need not be totally bounded groups.
    – Sumit Mittal
    Sep 3 at 18:47














up vote
1
down vote

favorite












If $G$ is a compact topological group, then how can we prove that subgroups of $G$ are exactly the totally bounded groups.



$textbfNote$: We call a topological group $G$, totally bounded or precompact if $G$ can be covered by finitely many translates of any neighbourhood of identity.










share|cite|improve this question























  • Are you asking whether all subgroups of a compact group are totally bounded?
    – José Carlos Santos
    Sep 3 at 11:23










  • @JoséCarlosSantos As I interpret the question, he wants to show that all of the subgroups of all compact groups are totally bounded, and that every totally bounded group is a subgroup of some compact group. Basically, a group is totally bounded if and only if it is a subgroup of a compact group.
    – Theo Bendit
    Sep 3 at 11:27







  • 1




    @TheoBendit That makes sense. Thank you.
    – José Carlos Santos
    Sep 3 at 11:27










  • If Theo Bendit's interpretation is correct: Every subspace of a totally bounded space is totally bounded, so subgroups of compact groups are totally bounded. The completion of a totally bounded space is compact, and since the completion of a topological group is a topological group, the completion of a totally bounded group is a compact group.
    – Daniel Fischer♦
    Sep 3 at 12:42










  • @DanielFischer as the notion of totally boundedness differs here, compact groups need not be totally bounded groups.
    – Sumit Mittal
    Sep 3 at 18:47












up vote
1
down vote

favorite









up vote
1
down vote

favorite











If $G$ is a compact topological group, then how can we prove that subgroups of $G$ are exactly the totally bounded groups.



$textbfNote$: We call a topological group $G$, totally bounded or precompact if $G$ can be covered by finitely many translates of any neighbourhood of identity.










share|cite|improve this question















If $G$ is a compact topological group, then how can we prove that subgroups of $G$ are exactly the totally bounded groups.



$textbfNote$: We call a topological group $G$, totally bounded or precompact if $G$ can be covered by finitely many translates of any neighbourhood of identity.







compactness topological-groups






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Sep 3 at 11:25









Javi

2,2081725




2,2081725










asked Sep 3 at 10:54









Sumit Mittal

15312




15312











  • Are you asking whether all subgroups of a compact group are totally bounded?
    – José Carlos Santos
    Sep 3 at 11:23










  • @JoséCarlosSantos As I interpret the question, he wants to show that all of the subgroups of all compact groups are totally bounded, and that every totally bounded group is a subgroup of some compact group. Basically, a group is totally bounded if and only if it is a subgroup of a compact group.
    – Theo Bendit
    Sep 3 at 11:27







  • 1




    @TheoBendit That makes sense. Thank you.
    – José Carlos Santos
    Sep 3 at 11:27










  • If Theo Bendit's interpretation is correct: Every subspace of a totally bounded space is totally bounded, so subgroups of compact groups are totally bounded. The completion of a totally bounded space is compact, and since the completion of a topological group is a topological group, the completion of a totally bounded group is a compact group.
    – Daniel Fischer♦
    Sep 3 at 12:42










  • @DanielFischer as the notion of totally boundedness differs here, compact groups need not be totally bounded groups.
    – Sumit Mittal
    Sep 3 at 18:47
















  • Are you asking whether all subgroups of a compact group are totally bounded?
    – José Carlos Santos
    Sep 3 at 11:23










  • @JoséCarlosSantos As I interpret the question, he wants to show that all of the subgroups of all compact groups are totally bounded, and that every totally bounded group is a subgroup of some compact group. Basically, a group is totally bounded if and only if it is a subgroup of a compact group.
    – Theo Bendit
    Sep 3 at 11:27







  • 1




    @TheoBendit That makes sense. Thank you.
    – José Carlos Santos
    Sep 3 at 11:27










  • If Theo Bendit's interpretation is correct: Every subspace of a totally bounded space is totally bounded, so subgroups of compact groups are totally bounded. The completion of a totally bounded space is compact, and since the completion of a topological group is a topological group, the completion of a totally bounded group is a compact group.
    – Daniel Fischer♦
    Sep 3 at 12:42










  • @DanielFischer as the notion of totally boundedness differs here, compact groups need not be totally bounded groups.
    – Sumit Mittal
    Sep 3 at 18:47















Are you asking whether all subgroups of a compact group are totally bounded?
– José Carlos Santos
Sep 3 at 11:23




Are you asking whether all subgroups of a compact group are totally bounded?
– José Carlos Santos
Sep 3 at 11:23












@JoséCarlosSantos As I interpret the question, he wants to show that all of the subgroups of all compact groups are totally bounded, and that every totally bounded group is a subgroup of some compact group. Basically, a group is totally bounded if and only if it is a subgroup of a compact group.
– Theo Bendit
Sep 3 at 11:27





@JoséCarlosSantos As I interpret the question, he wants to show that all of the subgroups of all compact groups are totally bounded, and that every totally bounded group is a subgroup of some compact group. Basically, a group is totally bounded if and only if it is a subgroup of a compact group.
– Theo Bendit
Sep 3 at 11:27





1




1




@TheoBendit That makes sense. Thank you.
– José Carlos Santos
Sep 3 at 11:27




@TheoBendit That makes sense. Thank you.
– José Carlos Santos
Sep 3 at 11:27












If Theo Bendit's interpretation is correct: Every subspace of a totally bounded space is totally bounded, so subgroups of compact groups are totally bounded. The completion of a totally bounded space is compact, and since the completion of a topological group is a topological group, the completion of a totally bounded group is a compact group.
– Daniel Fischer♦
Sep 3 at 12:42




If Theo Bendit's interpretation is correct: Every subspace of a totally bounded space is totally bounded, so subgroups of compact groups are totally bounded. The completion of a totally bounded space is compact, and since the completion of a topological group is a topological group, the completion of a totally bounded group is a compact group.
– Daniel Fischer♦
Sep 3 at 12:42












@DanielFischer as the notion of totally boundedness differs here, compact groups need not be totally bounded groups.
– Sumit Mittal
Sep 3 at 18:47




@DanielFischer as the notion of totally boundedness differs here, compact groups need not be totally bounded groups.
– Sumit Mittal
Sep 3 at 18:47















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2903758%2fsubgroups-of-compact-groups-are-exactly-the-totally-bounded-groups%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2903758%2fsubgroups-of-compact-groups-are-exactly-the-totally-bounded-groups%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Mutual Information Always Non-negative

Why am i infinitely getting the same tweet with the Twitter Search API?