Let A be a closed discrete set inside a compact set K. Show that A is finite.











up vote
1
down vote

favorite












Clearly, A must be compact also, so I'm assuming this proof requires the use of all 3 factors - closed, discrete & compact - but I'm not quite sure how to actually use these in a proper proof.
Any help/hints/explanation would be greatly appreciated!










share|cite|improve this question






















  • Try proving "A discrete compact space is finite".
    – Daniel Fischer
    Dec 3 '16 at 14:30










  • @DanielFischer Do you need closed? See my answer.
    – Jack Bauer
    Nov 15 at 13:21















up vote
1
down vote

favorite












Clearly, A must be compact also, so I'm assuming this proof requires the use of all 3 factors - closed, discrete & compact - but I'm not quite sure how to actually use these in a proper proof.
Any help/hints/explanation would be greatly appreciated!










share|cite|improve this question






















  • Try proving "A discrete compact space is finite".
    – Daniel Fischer
    Dec 3 '16 at 14:30










  • @DanielFischer Do you need closed? See my answer.
    – Jack Bauer
    Nov 15 at 13:21













up vote
1
down vote

favorite









up vote
1
down vote

favorite











Clearly, A must be compact also, so I'm assuming this proof requires the use of all 3 factors - closed, discrete & compact - but I'm not quite sure how to actually use these in a proper proof.
Any help/hints/explanation would be greatly appreciated!










share|cite|improve this question













Clearly, A must be compact also, so I'm assuming this proof requires the use of all 3 factors - closed, discrete & compact - but I'm not quite sure how to actually use these in a proper proof.
Any help/hints/explanation would be greatly appreciated!







complex-analysis discrete-mathematics metric-spaces compactness






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Dec 3 '16 at 14:27









Le Coq

104




104












  • Try proving "A discrete compact space is finite".
    – Daniel Fischer
    Dec 3 '16 at 14:30










  • @DanielFischer Do you need closed? See my answer.
    – Jack Bauer
    Nov 15 at 13:21


















  • Try proving "A discrete compact space is finite".
    – Daniel Fischer
    Dec 3 '16 at 14:30










  • @DanielFischer Do you need closed? See my answer.
    – Jack Bauer
    Nov 15 at 13:21
















Try proving "A discrete compact space is finite".
– Daniel Fischer
Dec 3 '16 at 14:30




Try proving "A discrete compact space is finite".
– Daniel Fischer
Dec 3 '16 at 14:30












@DanielFischer Do you need closed? See my answer.
– Jack Bauer
Nov 15 at 13:21




@DanielFischer Do you need closed? See my answer.
– Jack Bauer
Nov 15 at 13:21










2 Answers
2






active

oldest

votes

















up vote
2
down vote



accepted










We know (or can prove) that a closed subset of a compact set is compact. Therefore, $A$ is compact. We are also given that $A$ is discrete, which means that, for each $x in A$, we can find a neighborhood $N_x$ of $x$ such that $N_x cap A = {x}$.



Notice that ${N_x }_{x in X}$ is an open cover of $A$...






share|cite|improve this answer























  • ahhhh yea I see! thank you
    – Le Coq
    Dec 3 '16 at 15:02










  • KajHansen Do you need closed? See my answer.
    – Jack Bauer
    Nov 15 at 13:22


















up vote
0
down vote













If $A$ is infinite, then $A$ has a limit point because $K$ is limit point compact. I did not make use of $A$ being closed.






share|cite|improve this answer





















    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: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    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%2f2041808%2flet-a-be-a-closed-discrete-set-inside-a-compact-set-k-show-that-a-is-finite%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    2
    down vote



    accepted










    We know (or can prove) that a closed subset of a compact set is compact. Therefore, $A$ is compact. We are also given that $A$ is discrete, which means that, for each $x in A$, we can find a neighborhood $N_x$ of $x$ such that $N_x cap A = {x}$.



    Notice that ${N_x }_{x in X}$ is an open cover of $A$...






    share|cite|improve this answer























    • ahhhh yea I see! thank you
      – Le Coq
      Dec 3 '16 at 15:02










    • KajHansen Do you need closed? See my answer.
      – Jack Bauer
      Nov 15 at 13:22















    up vote
    2
    down vote



    accepted










    We know (or can prove) that a closed subset of a compact set is compact. Therefore, $A$ is compact. We are also given that $A$ is discrete, which means that, for each $x in A$, we can find a neighborhood $N_x$ of $x$ such that $N_x cap A = {x}$.



    Notice that ${N_x }_{x in X}$ is an open cover of $A$...






    share|cite|improve this answer























    • ahhhh yea I see! thank you
      – Le Coq
      Dec 3 '16 at 15:02










    • KajHansen Do you need closed? See my answer.
      – Jack Bauer
      Nov 15 at 13:22













    up vote
    2
    down vote



    accepted







    up vote
    2
    down vote



    accepted






    We know (or can prove) that a closed subset of a compact set is compact. Therefore, $A$ is compact. We are also given that $A$ is discrete, which means that, for each $x in A$, we can find a neighborhood $N_x$ of $x$ such that $N_x cap A = {x}$.



    Notice that ${N_x }_{x in X}$ is an open cover of $A$...






    share|cite|improve this answer














    We know (or can prove) that a closed subset of a compact set is compact. Therefore, $A$ is compact. We are also given that $A$ is discrete, which means that, for each $x in A$, we can find a neighborhood $N_x$ of $x$ such that $N_x cap A = {x}$.



    Notice that ${N_x }_{x in X}$ is an open cover of $A$...







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited Dec 4 '16 at 1:30

























    answered Dec 3 '16 at 14:56









    Kaj Hansen

    27.2k43779




    27.2k43779












    • ahhhh yea I see! thank you
      – Le Coq
      Dec 3 '16 at 15:02










    • KajHansen Do you need closed? See my answer.
      – Jack Bauer
      Nov 15 at 13:22


















    • ahhhh yea I see! thank you
      – Le Coq
      Dec 3 '16 at 15:02










    • KajHansen Do you need closed? See my answer.
      – Jack Bauer
      Nov 15 at 13:22
















    ahhhh yea I see! thank you
    – Le Coq
    Dec 3 '16 at 15:02




    ahhhh yea I see! thank you
    – Le Coq
    Dec 3 '16 at 15:02












    KajHansen Do you need closed? See my answer.
    – Jack Bauer
    Nov 15 at 13:22




    KajHansen Do you need closed? See my answer.
    – Jack Bauer
    Nov 15 at 13:22










    up vote
    0
    down vote













    If $A$ is infinite, then $A$ has a limit point because $K$ is limit point compact. I did not make use of $A$ being closed.






    share|cite|improve this answer

























      up vote
      0
      down vote













      If $A$ is infinite, then $A$ has a limit point because $K$ is limit point compact. I did not make use of $A$ being closed.






      share|cite|improve this answer























        up vote
        0
        down vote










        up vote
        0
        down vote









        If $A$ is infinite, then $A$ has a limit point because $K$ is limit point compact. I did not make use of $A$ being closed.






        share|cite|improve this answer












        If $A$ is infinite, then $A$ has a limit point because $K$ is limit point compact. I did not make use of $A$ being closed.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 15 at 11:29









        Jack Bauer

        1,2461531




        1,2461531






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2041808%2flet-a-be-a-closed-discrete-set-inside-a-compact-set-k-show-that-a-is-finite%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

            ComboBox Display Member on multiple fields

            Is it possible to collect Nectar points via Trainline?