Continuous functions on unit discs can be extended to whole plane












3














Say $B$ and $D$ be closed and open unit discs in 2 dimensional euclidean plane. I have two doubts.




  1. Given continuous function $g : B to mathbb{R}$, there is a continuous function $f : mathbb{R} ^2 to mathbb{R}$ such that $f=g$ on $B$.

  2. Given continuous function $u : D to mathbb{R}$, there is a continuous function $v : mathbb{R} ^2 to mathbb{R}$ such that $ v=u $ on $D$.


I think the first one is doable. What I think is if we define $f$ as $ f(re^{iz}) = r*f(e^{iz})$ outside $B$ and $f=g$ inside $B$, we are done. The same can not be done with the second part. Am I on the right track?






general-topology algebraic-topology continuity metric-spaces







share|cite|improve this question
























  • For the second part think of a function that goes to $infty$ as you get close to the border of the disk
    – Alessandro Codenotti
    19 hours ago










  • You're on the right track. You could also simply let $f(re^{iz})=f(e^{iz})$ for $rgt1$. You could even let $f(re^{iz})=f(e^{iz})/r$. But whatever you do, you need to prove that your extended function is continuous.
    – Barry Cipra
    19 hours ago


















3














Say $B$ and $D$ be closed and open unit discs in 2 dimensional euclidean plane. I have two doubts.




  1. Given continuous function $g : B to mathbb{R}$, there is a continuous function $f : mathbb{R} ^2 to mathbb{R}$ such that $f=g$ on $B$.

  2. Given continuous function $u : D to mathbb{R}$, there is a continuous function $v : mathbb{R} ^2 to mathbb{R}$ such that $ v=u $ on $D$.


I think the first one is doable. What I think is if we define $f$ as $ f(re^{iz}) = r*f(e^{iz})$ outside $B$ and $f=g$ inside $B$, we are done. The same can not be done with the second part. Am I on the right track?






general-topology algebraic-topology continuity metric-spaces







share|cite|improve this question
























  • For the second part think of a function that goes to $infty$ as you get close to the border of the disk
    – Alessandro Codenotti
    19 hours ago










  • You're on the right track. You could also simply let $f(re^{iz})=f(e^{iz})$ for $rgt1$. You could even let $f(re^{iz})=f(e^{iz})/r$. But whatever you do, you need to prove that your extended function is continuous.
    – Barry Cipra
    19 hours ago
















3












3








3







Say $B$ and $D$ be closed and open unit discs in 2 dimensional euclidean plane. I have two doubts.




  1. Given continuous function $g : B to mathbb{R}$, there is a continuous function $f : mathbb{R} ^2 to mathbb{R}$ such that $f=g$ on $B$.

  2. Given continuous function $u : D to mathbb{R}$, there is a continuous function $v : mathbb{R} ^2 to mathbb{R}$ such that $ v=u $ on $D$.


I think the first one is doable. What I think is if we define $f$ as $ f(re^{iz}) = r*f(e^{iz})$ outside $B$ and $f=g$ inside $B$, we are done. The same can not be done with the second part. Am I on the right track?






general-topology algebraic-topology continuity metric-spaces







share|cite|improve this question















Say $B$ and $D$ be closed and open unit discs in 2 dimensional euclidean plane. I have two doubts.




  1. Given continuous function $g : B to mathbb{R}$, there is a continuous function $f : mathbb{R} ^2 to mathbb{R}$ such that $f=g$ on $B$.

  2. Given continuous function $u : D to mathbb{R}$, there is a continuous function $v : mathbb{R} ^2 to mathbb{R}$ such that $ v=u $ on $D$.


I think the first one is doable. What I think is if we define $f$ as $ f(re^{iz}) = r*f(e^{iz})$ outside $B$ and $f=g$ inside $B$, we are done. The same can not be done with the second part. Am I on the right track?






general-topology algebraic-topology continuity metric-spaces




general-topology algebraic-topology continuity metric-spaces






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 19 hours ago









mathcounterexamples.net

24.1k21753




24.1k21753










asked 20 hours ago









ChakSayantan

1426




1426












  • For the second part think of a function that goes to $infty$ as you get close to the border of the disk
    – Alessandro Codenotti
    19 hours ago










  • You're on the right track. You could also simply let $f(re^{iz})=f(e^{iz})$ for $rgt1$. You could even let $f(re^{iz})=f(e^{iz})/r$. But whatever you do, you need to prove that your extended function is continuous.
    – Barry Cipra
    19 hours ago




















  • For the second part think of a function that goes to $infty$ as you get close to the border of the disk
    – Alessandro Codenotti
    19 hours ago










  • You're on the right track. You could also simply let $f(re^{iz})=f(e^{iz})$ for $rgt1$. You could even let $f(re^{iz})=f(e^{iz})/r$. But whatever you do, you need to prove that your extended function is continuous.
    – Barry Cipra
    19 hours ago


















For the second part think of a function that goes to $infty$ as you get close to the border of the disk
– Alessandro Codenotti
19 hours ago




For the second part think of a function that goes to $infty$ as you get close to the border of the disk
– Alessandro Codenotti
19 hours ago












You're on the right track. You could also simply let $f(re^{iz})=f(e^{iz})$ for $rgt1$. You could even let $f(re^{iz})=f(e^{iz})/r$. But whatever you do, you need to prove that your extended function is continuous.
– Barry Cipra
19 hours ago






You're on the right track. You could also simply let $f(re^{iz})=f(e^{iz})$ for $rgt1$. You could even let $f(re^{iz})=f(e^{iz})/r$. But whatever you do, you need to prove that your extended function is continuous.
– Barry Cipra
19 hours ago












4 Answers
4






active

oldest

votes


















5















  1. Is indeed true.


  2. Is false. Consider $u : (x,y) mapsto frac{1}{1-sqrt{x^2+y^2}}$. $u$ cannot be extended to a continuous function on $mathbb R^2$ as it is unbounded on $D$.







share|cite|improve this answer





























    3














    As for the first one, you are correct. If $B$ is closed, then $f:Bto mathbb{R}$ being continuous determines the boundary behavior of $f|_{partial D}$. Indeed, radially extending as you propose should work fine.



    As for the second part, your doubts are well-founded. While the function may be tame on the interior of the domain, it may not extend continuously to the boundary. Take for instance



    $$ f(x)=sinleft(frac{1}{x-1}right)$$
    defined on $[0,1)$. It is quite tame, away from $x=1$, but has an oscillating discontinuity at $1$. Now, define
    $$g(x,y)=sinleft(frac{1}{sqrt{x^2+y^2}-1}right)$$
    on $D$. This function cannot be extended continuously to any point in $partial D$, let alone to $mathbb{R}^2$.






    share|cite|improve this answer





























      3














      Your approach is good. A concrete example for the second part is $f(z)=frac{1}{|z|-1}$ which tends to $infty$ as $z$ tends to 1 and thus cannot be extended to the unit disk, let alone the whole plane






      share|cite|improve this answer



















      • 1




        f is a map from R² to R. So f(z) can't be what you said. But f(z) = 1/(|z|-1) would work. Thanks.
        – ChakSayantan
        19 hours ago










      • Good point @ChakSayantan I will update my answer
        – Sorin Tirc
        19 hours ago



















      2














      Though it may be a bit advanced, the Tietze extension theorem covers the case of $B$. Your method works just as well, but this would sort of be an assurance that it's possible.



      For the open disc, it's easy to find an unbounded continuous function which obviously can't be extended.






      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',
        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%2f3052260%2fcontinuous-functions-on-unit-discs-can-be-extended-to-whole-plane%23new-answer', 'question_page');
        }
        );

        Post as a guest















        Required, but never shown

























        4 Answers
        4






        active

        oldest

        votes








        4 Answers
        4






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes









        5















        1. Is indeed true.


        2. Is false. Consider $u : (x,y) mapsto frac{1}{1-sqrt{x^2+y^2}}$. $u$ cannot be extended to a continuous function on $mathbb R^2$ as it is unbounded on $D$.







        share|cite|improve this answer


























          5















          1. Is indeed true.


          2. Is false. Consider $u : (x,y) mapsto frac{1}{1-sqrt{x^2+y^2}}$. $u$ cannot be extended to a continuous function on $mathbb R^2$ as it is unbounded on $D$.







          share|cite|improve this answer
























            5












            5








            5







            1. Is indeed true.


            2. Is false. Consider $u : (x,y) mapsto frac{1}{1-sqrt{x^2+y^2}}$. $u$ cannot be extended to a continuous function on $mathbb R^2$ as it is unbounded on $D$.







            share|cite|improve this answer













            1. Is indeed true.


            2. Is false. Consider $u : (x,y) mapsto frac{1}{1-sqrt{x^2+y^2}}$. $u$ cannot be extended to a continuous function on $mathbb R^2$ as it is unbounded on $D$.








            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered 19 hours ago









            mathcounterexamples.net

            24.1k21753




            24.1k21753























                3














                As for the first one, you are correct. If $B$ is closed, then $f:Bto mathbb{R}$ being continuous determines the boundary behavior of $f|_{partial D}$. Indeed, radially extending as you propose should work fine.



                As for the second part, your doubts are well-founded. While the function may be tame on the interior of the domain, it may not extend continuously to the boundary. Take for instance



                $$ f(x)=sinleft(frac{1}{x-1}right)$$
                defined on $[0,1)$. It is quite tame, away from $x=1$, but has an oscillating discontinuity at $1$. Now, define
                $$g(x,y)=sinleft(frac{1}{sqrt{x^2+y^2}-1}right)$$
                on $D$. This function cannot be extended continuously to any point in $partial D$, let alone to $mathbb{R}^2$.






                share|cite|improve this answer


























                  3














                  As for the first one, you are correct. If $B$ is closed, then $f:Bto mathbb{R}$ being continuous determines the boundary behavior of $f|_{partial D}$. Indeed, radially extending as you propose should work fine.



                  As for the second part, your doubts are well-founded. While the function may be tame on the interior of the domain, it may not extend continuously to the boundary. Take for instance



                  $$ f(x)=sinleft(frac{1}{x-1}right)$$
                  defined on $[0,1)$. It is quite tame, away from $x=1$, but has an oscillating discontinuity at $1$. Now, define
                  $$g(x,y)=sinleft(frac{1}{sqrt{x^2+y^2}-1}right)$$
                  on $D$. This function cannot be extended continuously to any point in $partial D$, let alone to $mathbb{R}^2$.






                  share|cite|improve this answer
























                    3












                    3








                    3






                    As for the first one, you are correct. If $B$ is closed, then $f:Bto mathbb{R}$ being continuous determines the boundary behavior of $f|_{partial D}$. Indeed, radially extending as you propose should work fine.



                    As for the second part, your doubts are well-founded. While the function may be tame on the interior of the domain, it may not extend continuously to the boundary. Take for instance



                    $$ f(x)=sinleft(frac{1}{x-1}right)$$
                    defined on $[0,1)$. It is quite tame, away from $x=1$, but has an oscillating discontinuity at $1$. Now, define
                    $$g(x,y)=sinleft(frac{1}{sqrt{x^2+y^2}-1}right)$$
                    on $D$. This function cannot be extended continuously to any point in $partial D$, let alone to $mathbb{R}^2$.






                    share|cite|improve this answer












                    As for the first one, you are correct. If $B$ is closed, then $f:Bto mathbb{R}$ being continuous determines the boundary behavior of $f|_{partial D}$. Indeed, radially extending as you propose should work fine.



                    As for the second part, your doubts are well-founded. While the function may be tame on the interior of the domain, it may not extend continuously to the boundary. Take for instance



                    $$ f(x)=sinleft(frac{1}{x-1}right)$$
                    defined on $[0,1)$. It is quite tame, away from $x=1$, but has an oscillating discontinuity at $1$. Now, define
                    $$g(x,y)=sinleft(frac{1}{sqrt{x^2+y^2}-1}right)$$
                    on $D$. This function cannot be extended continuously to any point in $partial D$, let alone to $mathbb{R}^2$.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered 19 hours ago









                    Antonios-Alexandros Robotis

                    9,12541640




                    9,12541640























                        3














                        Your approach is good. A concrete example for the second part is $f(z)=frac{1}{|z|-1}$ which tends to $infty$ as $z$ tends to 1 and thus cannot be extended to the unit disk, let alone the whole plane






                        share|cite|improve this answer



















                        • 1




                          f is a map from R² to R. So f(z) can't be what you said. But f(z) = 1/(|z|-1) would work. Thanks.
                          – ChakSayantan
                          19 hours ago










                        • Good point @ChakSayantan I will update my answer
                          – Sorin Tirc
                          19 hours ago
















                        3














                        Your approach is good. A concrete example for the second part is $f(z)=frac{1}{|z|-1}$ which tends to $infty$ as $z$ tends to 1 and thus cannot be extended to the unit disk, let alone the whole plane






                        share|cite|improve this answer



















                        • 1




                          f is a map from R² to R. So f(z) can't be what you said. But f(z) = 1/(|z|-1) would work. Thanks.
                          – ChakSayantan
                          19 hours ago










                        • Good point @ChakSayantan I will update my answer
                          – Sorin Tirc
                          19 hours ago














                        3












                        3








                        3






                        Your approach is good. A concrete example for the second part is $f(z)=frac{1}{|z|-1}$ which tends to $infty$ as $z$ tends to 1 and thus cannot be extended to the unit disk, let alone the whole plane






                        share|cite|improve this answer














                        Your approach is good. A concrete example for the second part is $f(z)=frac{1}{|z|-1}$ which tends to $infty$ as $z$ tends to 1 and thus cannot be extended to the unit disk, let alone the whole plane







                        share|cite|improve this answer














                        share|cite|improve this answer



                        share|cite|improve this answer








                        edited 19 hours ago

























                        answered 19 hours ago









                        Sorin Tirc

                        1,07511




                        1,07511








                        • 1




                          f is a map from R² to R. So f(z) can't be what you said. But f(z) = 1/(|z|-1) would work. Thanks.
                          – ChakSayantan
                          19 hours ago










                        • Good point @ChakSayantan I will update my answer
                          – Sorin Tirc
                          19 hours ago














                        • 1




                          f is a map from R² to R. So f(z) can't be what you said. But f(z) = 1/(|z|-1) would work. Thanks.
                          – ChakSayantan
                          19 hours ago










                        • Good point @ChakSayantan I will update my answer
                          – Sorin Tirc
                          19 hours ago








                        1




                        1




                        f is a map from R² to R. So f(z) can't be what you said. But f(z) = 1/(|z|-1) would work. Thanks.
                        – ChakSayantan
                        19 hours ago




                        f is a map from R² to R. So f(z) can't be what you said. But f(z) = 1/(|z|-1) would work. Thanks.
                        – ChakSayantan
                        19 hours ago












                        Good point @ChakSayantan I will update my answer
                        – Sorin Tirc
                        19 hours ago




                        Good point @ChakSayantan I will update my answer
                        – Sorin Tirc
                        19 hours ago











                        2














                        Though it may be a bit advanced, the Tietze extension theorem covers the case of $B$. Your method works just as well, but this would sort of be an assurance that it's possible.



                        For the open disc, it's easy to find an unbounded continuous function which obviously can't be extended.






                        share|cite|improve this answer


























                          2














                          Though it may be a bit advanced, the Tietze extension theorem covers the case of $B$. Your method works just as well, but this would sort of be an assurance that it's possible.



                          For the open disc, it's easy to find an unbounded continuous function which obviously can't be extended.






                          share|cite|improve this answer
























                            2












                            2








                            2






                            Though it may be a bit advanced, the Tietze extension theorem covers the case of $B$. Your method works just as well, but this would sort of be an assurance that it's possible.



                            For the open disc, it's easy to find an unbounded continuous function which obviously can't be extended.






                            share|cite|improve this answer












                            Though it may be a bit advanced, the Tietze extension theorem covers the case of $B$. Your method works just as well, but this would sort of be an assurance that it's possible.



                            For the open disc, it's easy to find an unbounded continuous function which obviously can't be extended.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered 19 hours ago









                            Matt Samuel

                            36.9k63465




                            36.9k63465






























                                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%2f3052260%2fcontinuous-functions-on-unit-discs-can-be-extended-to-whole-plane%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

                                What visual should I use to simply compare current year value vs last year in Power BI desktop

                                Image
                                0 I have column SubToBind that shows current year ratio and column PY SubToBind which shows previous year ratio. How can I simply create a card that would be displaying them both in a nice way? Something like that: I cannot achieve that with regular card, I also tried Card with States by OKViz but also unable to see both values. In KPI visual - I dont like the word "Goal", it will confuse end users. Are there any cards or other visuals that would do the job? Thanks powerbi dax powerbi-embedded share | improve this question edited Jun 11 '18 at 20:11 Oleg ...
                                Read more

                                How to ignore python UserWarning in pytest?

                                Image
                                up vote 1 down vote favorite I am using openpyxl for parsing .xlsm files, and pytest for testing. When I open a file, I get the: OpenPyxl -> UserWarning: Data Validation extension is not supported and will be removed That is not really a problem bcs. program works and I can't change the .xlsm file to fix that. But... When I run pytest with something like: def test_wrong_file_format(): assert check_excel(open_excel('file.xlsm')) == True I will get the warning i mentioned altought check_excel(open_excel('file.xlsm')) returns True and the test should suceed... Is there a nice way to tell the pytest that "It's not a bug it's a feature" and tests should pass even when they get this warning? Is there other way than using something like: with pytest.warns(UserWarning): ...
                                Read more

                                Alexandru Averescu

                                Image
                                Alexandre Averescu Alexandru Averescu Naissance 3 avril 1859 Babele, Ismail  (ro) près de Izmaïl (principauté de Moldavie) Décès 2 octobre 1938 (à 79 ans) [ 1 ] Bucarest Origine   Roumanie Arme cavalerie Grade Maréchal Années de service 1901-1917 Commandement chef d'état-major général 2 e  armée 3 e  armée Groupe d'armée sud armée du Danube Conflits Guerre russo-turque de 1877-1878 Deuxième guerre balkanique Première Guerre mondiale Faits d'armes Bataille de Turtucaia/Tutrakan Bataille de Mărăști Distinctions Autres fonctions 3 fois président du Conseil des ministres ministre des Affaires étrangères ministre sans portefeuille conseiller de la Couronne modifier   Alexandre Averescu (en roumain : Alexandru Averescu .mw-parser-output .prononciation>a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/8/8a/Loudspeaker.svg/11px-Loudspeaker.svg.png")center ...
                                Read more