Does there exist a continuous function separating these two sets $A$ and $B$












2












$begingroup$


True or False:




There exists a continuous function $f : mathbb{R}^2 → mathbb{R}
> $such that $f ≡ 1$ on the set ${(x, y) in mathbb{R}^2 : x ^2+y^2
=3/2 }$ and $f ≡ 0$ on the set $B∪{(x, y) in mathbb{R}^2: x^2+y^2 ≥ 2}$ where B is closed unit disk.




I think this is just a stratightforward application of Urysohn's Lemma as metric spaces are normal so by Urysohn's Lemma says that disjoint closed subsets can be separated by continuous function.



I hope I am not missing something. Topology can be weird sometimes!!!



Thanks in advance.






general-topology separation-axioms







share|cite|improve this question











$endgroup$








  • 3




    $begingroup$
    That's true you can use Urysohn's Lemma. You just need to show that these sets are closed and disjoint.
    $endgroup$
    – Yanko
    Jan 11 at 20:26






  • 1




    $begingroup$
    You can use Urysohn's Lemma, yes. It seems kind of like using a nuke to kill ants, though, especially when it's pretty clear how to just write down what $f$ is explicitly.
    $endgroup$
    – user3482749
    Jan 11 at 20:37
















2












$begingroup$


True or False:




There exists a continuous function $f : mathbb{R}^2 → mathbb{R}
> $such that $f ≡ 1$ on the set ${(x, y) in mathbb{R}^2 : x ^2+y^2
=3/2 }$ and $f ≡ 0$ on the set $B∪{(x, y) in mathbb{R}^2: x^2+y^2 ≥ 2}$ where B is closed unit disk.




I think this is just a stratightforward application of Urysohn's Lemma as metric spaces are normal so by Urysohn's Lemma says that disjoint closed subsets can be separated by continuous function.



I hope I am not missing something. Topology can be weird sometimes!!!



Thanks in advance.






general-topology separation-axioms







share|cite|improve this question











$endgroup$








  • 3




    $begingroup$
    That's true you can use Urysohn's Lemma. You just need to show that these sets are closed and disjoint.
    $endgroup$
    – Yanko
    Jan 11 at 20:26






  • 1




    $begingroup$
    You can use Urysohn's Lemma, yes. It seems kind of like using a nuke to kill ants, though, especially when it's pretty clear how to just write down what $f$ is explicitly.
    $endgroup$
    – user3482749
    Jan 11 at 20:37














2












2








2





$begingroup$


True or False:




There exists a continuous function $f : mathbb{R}^2 → mathbb{R}
> $such that $f ≡ 1$ on the set ${(x, y) in mathbb{R}^2 : x ^2+y^2
=3/2 }$ and $f ≡ 0$ on the set $B∪{(x, y) in mathbb{R}^2: x^2+y^2 ≥ 2}$ where B is closed unit disk.




I think this is just a stratightforward application of Urysohn's Lemma as metric spaces are normal so by Urysohn's Lemma says that disjoint closed subsets can be separated by continuous function.



I hope I am not missing something. Topology can be weird sometimes!!!



Thanks in advance.






general-topology separation-axioms







share|cite|improve this question











$endgroup$




True or False:




There exists a continuous function $f : mathbb{R}^2 → mathbb{R}
> $such that $f ≡ 1$ on the set ${(x, y) in mathbb{R}^2 : x ^2+y^2
=3/2 }$ and $f ≡ 0$ on the set $B∪{(x, y) in mathbb{R}^2: x^2+y^2 ≥ 2}$ where B is closed unit disk.




I think this is just a stratightforward application of Urysohn's Lemma as metric spaces are normal so by Urysohn's Lemma says that disjoint closed subsets can be separated by continuous function.



I hope I am not missing something. Topology can be weird sometimes!!!



Thanks in advance.






general-topology separation-axioms




general-topology separation-axioms






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 11 at 20:42









6005

37.1k752127




37.1k752127










asked Jan 11 at 20:25









StammeringMathematicianStammeringMathematician

2,7951324




2,7951324








  • 3




    $begingroup$
    That's true you can use Urysohn's Lemma. You just need to show that these sets are closed and disjoint.
    $endgroup$
    – Yanko
    Jan 11 at 20:26






  • 1




    $begingroup$
    You can use Urysohn's Lemma, yes. It seems kind of like using a nuke to kill ants, though, especially when it's pretty clear how to just write down what $f$ is explicitly.
    $endgroup$
    – user3482749
    Jan 11 at 20:37














  • 3




    $begingroup$
    That's true you can use Urysohn's Lemma. You just need to show that these sets are closed and disjoint.
    $endgroup$
    – Yanko
    Jan 11 at 20:26






  • 1




    $begingroup$
    You can use Urysohn's Lemma, yes. It seems kind of like using a nuke to kill ants, though, especially when it's pretty clear how to just write down what $f$ is explicitly.
    $endgroup$
    – user3482749
    Jan 11 at 20:37








3




3




$begingroup$
That's true you can use Urysohn's Lemma. You just need to show that these sets are closed and disjoint.
$endgroup$
– Yanko
Jan 11 at 20:26




$begingroup$
That's true you can use Urysohn's Lemma. You just need to show that these sets are closed and disjoint.
$endgroup$
– Yanko
Jan 11 at 20:26




1




1




$begingroup$
You can use Urysohn's Lemma, yes. It seems kind of like using a nuke to kill ants, though, especially when it's pretty clear how to just write down what $f$ is explicitly.
$endgroup$
– user3482749
Jan 11 at 20:37




$begingroup$
You can use Urysohn's Lemma, yes. It seems kind of like using a nuke to kill ants, though, especially when it's pretty clear how to just write down what $f$ is explicitly.
$endgroup$
– user3482749
Jan 11 at 20:37










1 Answer
1






active

oldest

votes


















3












$begingroup$


I think this is just a straightforward application of Urysohn's Lemma as metric spaces are normal so by Urysohn's Lemma says that disjoint closed subsets can be separated by continuous function.




Right. As you say and as Yanko agrees, you can use Urysohn's Lemma; then it just remains to show the sets are closed and disjoint.



In case you don't like Ursyohn's Lemma -- or just for fun -- we can define the continuous function ourselves. It doesn't turn out to be so hard in this particular case. Define $f: mathbb{R}^2 to mathbb{R}$ by
$$
f(x,y) = 2(2 - x^2 - y^2).
$$



Now, this is a polynomial, so it's continuous. And on the set $A$, $f(x,y) = 2(2 - tfrac32) = 2 cdot tfrac12 = 1$. And on the set $B$, $f(x,y) = 2(2 - 2) = 0$.



If $f$ has to be positive, you can instead make $f(x,y) = max(0, 2(2-x^2 - y^2))$.




Topology can be weird sometimes!!!




I agree :)






share|cite|improve this answer









$endgroup$














    Your Answer








    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',
    autoActivateHeartbeat: false,
    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%2f3070315%2fdoes-there-exist-a-continuous-function-separating-these-two-sets-a-and-b%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    3












    $begingroup$


    I think this is just a straightforward application of Urysohn's Lemma as metric spaces are normal so by Urysohn's Lemma says that disjoint closed subsets can be separated by continuous function.




    Right. As you say and as Yanko agrees, you can use Urysohn's Lemma; then it just remains to show the sets are closed and disjoint.



    In case you don't like Ursyohn's Lemma -- or just for fun -- we can define the continuous function ourselves. It doesn't turn out to be so hard in this particular case. Define $f: mathbb{R}^2 to mathbb{R}$ by
    $$
    f(x,y) = 2(2 - x^2 - y^2).
    $$



    Now, this is a polynomial, so it's continuous. And on the set $A$, $f(x,y) = 2(2 - tfrac32) = 2 cdot tfrac12 = 1$. And on the set $B$, $f(x,y) = 2(2 - 2) = 0$.



    If $f$ has to be positive, you can instead make $f(x,y) = max(0, 2(2-x^2 - y^2))$.




    Topology can be weird sometimes!!!




    I agree :)






    share|cite|improve this answer









    $endgroup$


















      3












      $begingroup$


      I think this is just a straightforward application of Urysohn's Lemma as metric spaces are normal so by Urysohn's Lemma says that disjoint closed subsets can be separated by continuous function.




      Right. As you say and as Yanko agrees, you can use Urysohn's Lemma; then it just remains to show the sets are closed and disjoint.



      In case you don't like Ursyohn's Lemma -- or just for fun -- we can define the continuous function ourselves. It doesn't turn out to be so hard in this particular case. Define $f: mathbb{R}^2 to mathbb{R}$ by
      $$
      f(x,y) = 2(2 - x^2 - y^2).
      $$



      Now, this is a polynomial, so it's continuous. And on the set $A$, $f(x,y) = 2(2 - tfrac32) = 2 cdot tfrac12 = 1$. And on the set $B$, $f(x,y) = 2(2 - 2) = 0$.



      If $f$ has to be positive, you can instead make $f(x,y) = max(0, 2(2-x^2 - y^2))$.




      Topology can be weird sometimes!!!




      I agree :)






      share|cite|improve this answer









      $endgroup$
















        3












        3








        3





        $begingroup$


        I think this is just a straightforward application of Urysohn's Lemma as metric spaces are normal so by Urysohn's Lemma says that disjoint closed subsets can be separated by continuous function.




        Right. As you say and as Yanko agrees, you can use Urysohn's Lemma; then it just remains to show the sets are closed and disjoint.



        In case you don't like Ursyohn's Lemma -- or just for fun -- we can define the continuous function ourselves. It doesn't turn out to be so hard in this particular case. Define $f: mathbb{R}^2 to mathbb{R}$ by
        $$
        f(x,y) = 2(2 - x^2 - y^2).
        $$



        Now, this is a polynomial, so it's continuous. And on the set $A$, $f(x,y) = 2(2 - tfrac32) = 2 cdot tfrac12 = 1$. And on the set $B$, $f(x,y) = 2(2 - 2) = 0$.



        If $f$ has to be positive, you can instead make $f(x,y) = max(0, 2(2-x^2 - y^2))$.




        Topology can be weird sometimes!!!




        I agree :)






        share|cite|improve this answer









        $endgroup$




        I think this is just a straightforward application of Urysohn's Lemma as metric spaces are normal so by Urysohn's Lemma says that disjoint closed subsets can be separated by continuous function.




        Right. As you say and as Yanko agrees, you can use Urysohn's Lemma; then it just remains to show the sets are closed and disjoint.



        In case you don't like Ursyohn's Lemma -- or just for fun -- we can define the continuous function ourselves. It doesn't turn out to be so hard in this particular case. Define $f: mathbb{R}^2 to mathbb{R}$ by
        $$
        f(x,y) = 2(2 - x^2 - y^2).
        $$



        Now, this is a polynomial, so it's continuous. And on the set $A$, $f(x,y) = 2(2 - tfrac32) = 2 cdot tfrac12 = 1$. And on the set $B$, $f(x,y) = 2(2 - 2) = 0$.



        If $f$ has to be positive, you can instead make $f(x,y) = max(0, 2(2-x^2 - y^2))$.




        Topology can be weird sometimes!!!




        I agree :)







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 11 at 20:41









        60056005

        37.1k752127




        37.1k752127






























            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.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3070315%2fdoes-there-exist-a-continuous-function-separating-these-two-sets-a-and-b%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

            Cabo Verde

            Image
              Nota: Cabo-verdiano redireciona para este artigo. Para a língua falada em Cabo Verde, veja crioulo cabo-verdiano. Para outros significados, veja Cabo Verde (desambiguação). Coordenadas: 14° 55' N 23° 31' O Cabo Verde República de Cabo Verde Bandeira Brasão de Armas Lema: Unidade, Trabalho, Progresso Hino nacional: Cântico da Liberdade Gentílico: cabo-verdiano [ 1 ] Capital Praia 14° 55' N 23° 31' O Cidade mais populosa Praia Língua oficial Português Governo República unitária semipresidencialista [ 2 ]  - Presidente Jorge Carlos Fonseca  - Primeiro-ministro Ulisses Correia e Silva História    - Descoberta 1460   - Independência 00 • de Portugal 5 de Julho de 1975   - Multipartidarismo 13 de Janeiro de 1990  Área    - Total 4 033 km² (146.º)  - Água (%) 0,08 População    - Estimativa para 2017 560 899 [ 3 ] hab. (173.º)
            Read more

            Karlovacs län

            Image
            .mw-parser-output table.ambox{margin:0 10%;border-collapse:collapse;background:#fbfbfb;border:1px solid #aaa;border-left:10px solid #608ec2}.mw-parser-output table.ambox th.ambox-text,.mw-parser-output table.ambox td.ambox-text{padding:.25em .5em;width:100%}.mw-parser-output table.ambox td.ambox-image{padding:2px 0 2px .5em;text-align:center;vertical-align:middle}.mw-parser-output table.ambox td.ambox-imageright{padding:2px 4px 2px 0;text-align:center;vertical-align:middle}.mw-parser-output table.ambox-notice{border-left:10px solid #608ec2}.mw-parser-output table.ambox-delete,.mw-parser-output table.ambox-serious{border-left:10px solid #b22222}.mw-parser-output table.ambox-content{border-left:10px solid #f28500}.mw-parser-output table.ambox-style{border-left:10px solid #f4c430}.mw-parser-output table.ambox-merge{border-left:10px solid #9932cc}.mw-parser-output table.ambox-protection{border-left:10px solid #bba}.mw-parser-output .ambox+.ambox,.mw-parser-output .topbox+.ambox,.mw-pars
            Read more

            Gyllenstierna

            Image
            .mw-parser-output .infobox{border:1px solid #aaa;background-color:#f9f9f9;color:black;margin:.5em 0 .5em 1em;padding:.2em;float:right;clear:right;width:22em;text-align:left;font-size:88%;line-height:1.6em}.mw-parser-output .infobox td,.mw-parser-output .infobox th{vertical-align:top;padding:0 .2em}.mw-parser-output .infobox caption{font-size:larger}.mw-parser-output .infobox.bordered{border-collapse:collapse}.mw-parser-output .infobox.bordered td,.mw-parser-output .infobox.bordered th{border:1px solid #aaa}.mw-parser-output .infobox.bordered .borderless td,.mw-parser-output .infobox.bordered .borderless th{border:0}.mw-parser-output .infobox-showbutton .mw-collapsible-text{color:inherit}.mw-parser-output .infobox.bordered .mergedtoprow td,.mw-parser-output .infobox.bordered .mergedtoprow th{border:0;border-top:1px solid #aaa;border-right:1px solid #aaa}.mw-parser-output .infobox.bordered .mergedrow td,.mw-parser-output .infobox.bordered .mergedrow th{border:0;border-right:1px solid
            Read more