Can a cube of discontinuous function be continuous?

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












14












$begingroup$


Can a cube (meaning $g(x) = f(x)^3 = f(x) cdot f(x) cdot f(x)$) of discontinuous function $f: D to mathbbR$ ($D$ is subset of $mathbbR$) be continuous? I think it can't, since $x^3$ is injective, but I am not able to prove it or find a counterexample.










share|cite|improve this question











$endgroup$







  • 11




    $begingroup$
    The point is not that $x longmapsto x^3$ is injective, as much as $x longmapsto x^1/3$ is continuous.
    $endgroup$
    – Mindlack
    Jan 8 at 1:03






  • 3




    $begingroup$
    What is your domain? It matters really quite a lot.
    $endgroup$
    – user3482749
    Jan 8 at 1:04







  • 2




    $begingroup$
    I think the injectivity is very much to the point. $f(x) =sqrt x$ is also continuous on $[0,∞)$ but there are any number of discontinuous functions $g$ on that interval with $g(x)cdot g(x)$ continuous.
    $endgroup$
    – MJD
    Jan 8 at 1:29











  • $begingroup$
    No. But the cube of a non-differentiable function can be differentiable : $|x|^3$
    $endgroup$
    – Eric Duminil
    Jan 8 at 7:53







  • 3




    $begingroup$
    I misspoke: it's the range that matters. If it's $mathbbC$ and your domain is, say, connected, it's false (send some subset of your domain to $1$, and the rest to one of the other cube roots of unity).
    $endgroup$
    – user3482749
    Jan 8 at 15:19















14












$begingroup$


Can a cube (meaning $g(x) = f(x)^3 = f(x) cdot f(x) cdot f(x)$) of discontinuous function $f: D to mathbbR$ ($D$ is subset of $mathbbR$) be continuous? I think it can't, since $x^3$ is injective, but I am not able to prove it or find a counterexample.










share|cite|improve this question











$endgroup$







  • 11




    $begingroup$
    The point is not that $x longmapsto x^3$ is injective, as much as $x longmapsto x^1/3$ is continuous.
    $endgroup$
    – Mindlack
    Jan 8 at 1:03






  • 3




    $begingroup$
    What is your domain? It matters really quite a lot.
    $endgroup$
    – user3482749
    Jan 8 at 1:04







  • 2




    $begingroup$
    I think the injectivity is very much to the point. $f(x) =sqrt x$ is also continuous on $[0,∞)$ but there are any number of discontinuous functions $g$ on that interval with $g(x)cdot g(x)$ continuous.
    $endgroup$
    – MJD
    Jan 8 at 1:29











  • $begingroup$
    No. But the cube of a non-differentiable function can be differentiable : $|x|^3$
    $endgroup$
    – Eric Duminil
    Jan 8 at 7:53







  • 3




    $begingroup$
    I misspoke: it's the range that matters. If it's $mathbbC$ and your domain is, say, connected, it's false (send some subset of your domain to $1$, and the rest to one of the other cube roots of unity).
    $endgroup$
    – user3482749
    Jan 8 at 15:19













14












14








14


1



$begingroup$


Can a cube (meaning $g(x) = f(x)^3 = f(x) cdot f(x) cdot f(x)$) of discontinuous function $f: D to mathbbR$ ($D$ is subset of $mathbbR$) be continuous? I think it can't, since $x^3$ is injective, but I am not able to prove it or find a counterexample.










share|cite|improve this question











$endgroup$




Can a cube (meaning $g(x) = f(x)^3 = f(x) cdot f(x) cdot f(x)$) of discontinuous function $f: D to mathbbR$ ($D$ is subset of $mathbbR$) be continuous? I think it can't, since $x^3$ is injective, but I am not able to prove it or find a counterexample.







continuity






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 8 at 1:07







J. Abraham

















asked Jan 8 at 0:58









J. AbrahamJ. Abraham

528316




528316







  • 11




    $begingroup$
    The point is not that $x longmapsto x^3$ is injective, as much as $x longmapsto x^1/3$ is continuous.
    $endgroup$
    – Mindlack
    Jan 8 at 1:03






  • 3




    $begingroup$
    What is your domain? It matters really quite a lot.
    $endgroup$
    – user3482749
    Jan 8 at 1:04







  • 2




    $begingroup$
    I think the injectivity is very much to the point. $f(x) =sqrt x$ is also continuous on $[0,∞)$ but there are any number of discontinuous functions $g$ on that interval with $g(x)cdot g(x)$ continuous.
    $endgroup$
    – MJD
    Jan 8 at 1:29











  • $begingroup$
    No. But the cube of a non-differentiable function can be differentiable : $|x|^3$
    $endgroup$
    – Eric Duminil
    Jan 8 at 7:53







  • 3




    $begingroup$
    I misspoke: it's the range that matters. If it's $mathbbC$ and your domain is, say, connected, it's false (send some subset of your domain to $1$, and the rest to one of the other cube roots of unity).
    $endgroup$
    – user3482749
    Jan 8 at 15:19












  • 11




    $begingroup$
    The point is not that $x longmapsto x^3$ is injective, as much as $x longmapsto x^1/3$ is continuous.
    $endgroup$
    – Mindlack
    Jan 8 at 1:03






  • 3




    $begingroup$
    What is your domain? It matters really quite a lot.
    $endgroup$
    – user3482749
    Jan 8 at 1:04







  • 2




    $begingroup$
    I think the injectivity is very much to the point. $f(x) =sqrt x$ is also continuous on $[0,∞)$ but there are any number of discontinuous functions $g$ on that interval with $g(x)cdot g(x)$ continuous.
    $endgroup$
    – MJD
    Jan 8 at 1:29











  • $begingroup$
    No. But the cube of a non-differentiable function can be differentiable : $|x|^3$
    $endgroup$
    – Eric Duminil
    Jan 8 at 7:53







  • 3




    $begingroup$
    I misspoke: it's the range that matters. If it's $mathbbC$ and your domain is, say, connected, it's false (send some subset of your domain to $1$, and the rest to one of the other cube roots of unity).
    $endgroup$
    – user3482749
    Jan 8 at 15:19







11




11




$begingroup$
The point is not that $x longmapsto x^3$ is injective, as much as $x longmapsto x^1/3$ is continuous.
$endgroup$
– Mindlack
Jan 8 at 1:03




$begingroup$
The point is not that $x longmapsto x^3$ is injective, as much as $x longmapsto x^1/3$ is continuous.
$endgroup$
– Mindlack
Jan 8 at 1:03




3




3




$begingroup$
What is your domain? It matters really quite a lot.
$endgroup$
– user3482749
Jan 8 at 1:04





$begingroup$
What is your domain? It matters really quite a lot.
$endgroup$
– user3482749
Jan 8 at 1:04





2




2




$begingroup$
I think the injectivity is very much to the point. $f(x) =sqrt x$ is also continuous on $[0,∞)$ but there are any number of discontinuous functions $g$ on that interval with $g(x)cdot g(x)$ continuous.
$endgroup$
– MJD
Jan 8 at 1:29





$begingroup$
I think the injectivity is very much to the point. $f(x) =sqrt x$ is also continuous on $[0,∞)$ but there are any number of discontinuous functions $g$ on that interval with $g(x)cdot g(x)$ continuous.
$endgroup$
– MJD
Jan 8 at 1:29













$begingroup$
No. But the cube of a non-differentiable function can be differentiable : $|x|^3$
$endgroup$
– Eric Duminil
Jan 8 at 7:53





$begingroup$
No. But the cube of a non-differentiable function can be differentiable : $|x|^3$
$endgroup$
– Eric Duminil
Jan 8 at 7:53





3




3




$begingroup$
I misspoke: it's the range that matters. If it's $mathbbC$ and your domain is, say, connected, it's false (send some subset of your domain to $1$, and the rest to one of the other cube roots of unity).
$endgroup$
– user3482749
Jan 8 at 15:19




$begingroup$
I misspoke: it's the range that matters. If it's $mathbbC$ and your domain is, say, connected, it's false (send some subset of your domain to $1$, and the rest to one of the other cube roots of unity).
$endgroup$
– user3482749
Jan 8 at 15:19










2 Answers
2






active

oldest

votes


















17












$begingroup$

If a function $f(x)$ is continuous, then its cube root $g(x) = f(x)^1/3$ is also continuous.



So the contrapositive is also true, which is:



If a function $g(x)$ is not continuous, then its cube $f(x) = g(x)^3$ is not continuous either.



(Strictly speaking, the contrapositive is actually "if the cube root $f(x)^1/3$ of a function $f(x)$ is not continuous, then the function $f(x)$ is not continuous either". But this is equivalent.)






share|cite|improve this answer









$endgroup$




















    38












    $begingroup$

    Since $phi : mathbbR to mathbbR, phi(x) = x^3$, is a homeomorphism, you see that $f$ is continuous iff $phi circ f$ is continuous.






    share|cite|improve this answer











    $endgroup$








    • 9




      $begingroup$
      To lower the level of this answer, note that $phi^-1(x) = sqrt[3] x$ is also a continuous map ("homeomorphism" means a continuous, invertible map whose inverse is also continuous). So if $phicirc f$ is continuous, so is $f = phi^-1circ phi circ f$.
      $endgroup$
      – Paul Sinclair
      Jan 8 at 18:09










    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%2f3065701%2fcan-a-cube-of-discontinuous-function-be-continuous%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









    17












    $begingroup$

    If a function $f(x)$ is continuous, then its cube root $g(x) = f(x)^1/3$ is also continuous.



    So the contrapositive is also true, which is:



    If a function $g(x)$ is not continuous, then its cube $f(x) = g(x)^3$ is not continuous either.



    (Strictly speaking, the contrapositive is actually "if the cube root $f(x)^1/3$ of a function $f(x)$ is not continuous, then the function $f(x)$ is not continuous either". But this is equivalent.)






    share|cite|improve this answer









    $endgroup$

















      17












      $begingroup$

      If a function $f(x)$ is continuous, then its cube root $g(x) = f(x)^1/3$ is also continuous.



      So the contrapositive is also true, which is:



      If a function $g(x)$ is not continuous, then its cube $f(x) = g(x)^3$ is not continuous either.



      (Strictly speaking, the contrapositive is actually "if the cube root $f(x)^1/3$ of a function $f(x)$ is not continuous, then the function $f(x)$ is not continuous either". But this is equivalent.)






      share|cite|improve this answer









      $endgroup$















        17












        17








        17





        $begingroup$

        If a function $f(x)$ is continuous, then its cube root $g(x) = f(x)^1/3$ is also continuous.



        So the contrapositive is also true, which is:



        If a function $g(x)$ is not continuous, then its cube $f(x) = g(x)^3$ is not continuous either.



        (Strictly speaking, the contrapositive is actually "if the cube root $f(x)^1/3$ of a function $f(x)$ is not continuous, then the function $f(x)$ is not continuous either". But this is equivalent.)






        share|cite|improve this answer









        $endgroup$



        If a function $f(x)$ is continuous, then its cube root $g(x) = f(x)^1/3$ is also continuous.



        So the contrapositive is also true, which is:



        If a function $g(x)$ is not continuous, then its cube $f(x) = g(x)^3$ is not continuous either.



        (Strictly speaking, the contrapositive is actually "if the cube root $f(x)^1/3$ of a function $f(x)$ is not continuous, then the function $f(x)$ is not continuous either". But this is equivalent.)







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 8 at 5:51









        Tanner SwettTanner Swett

        4,2241639




        4,2241639





















            38












            $begingroup$

            Since $phi : mathbbR to mathbbR, phi(x) = x^3$, is a homeomorphism, you see that $f$ is continuous iff $phi circ f$ is continuous.






            share|cite|improve this answer











            $endgroup$








            • 9




              $begingroup$
              To lower the level of this answer, note that $phi^-1(x) = sqrt[3] x$ is also a continuous map ("homeomorphism" means a continuous, invertible map whose inverse is also continuous). So if $phicirc f$ is continuous, so is $f = phi^-1circ phi circ f$.
              $endgroup$
              – Paul Sinclair
              Jan 8 at 18:09















            38












            $begingroup$

            Since $phi : mathbbR to mathbbR, phi(x) = x^3$, is a homeomorphism, you see that $f$ is continuous iff $phi circ f$ is continuous.






            share|cite|improve this answer











            $endgroup$








            • 9




              $begingroup$
              To lower the level of this answer, note that $phi^-1(x) = sqrt[3] x$ is also a continuous map ("homeomorphism" means a continuous, invertible map whose inverse is also continuous). So if $phicirc f$ is continuous, so is $f = phi^-1circ phi circ f$.
              $endgroup$
              – Paul Sinclair
              Jan 8 at 18:09













            38












            38








            38





            $begingroup$

            Since $phi : mathbbR to mathbbR, phi(x) = x^3$, is a homeomorphism, you see that $f$ is continuous iff $phi circ f$ is continuous.






            share|cite|improve this answer











            $endgroup$



            Since $phi : mathbbR to mathbbR, phi(x) = x^3$, is a homeomorphism, you see that $f$ is continuous iff $phi circ f$ is continuous.







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited Jan 8 at 1:19

























            answered Jan 8 at 1:05









            Paul FrostPaul Frost

            10.1k3933




            10.1k3933







            • 9




              $begingroup$
              To lower the level of this answer, note that $phi^-1(x) = sqrt[3] x$ is also a continuous map ("homeomorphism" means a continuous, invertible map whose inverse is also continuous). So if $phicirc f$ is continuous, so is $f = phi^-1circ phi circ f$.
              $endgroup$
              – Paul Sinclair
              Jan 8 at 18:09












            • 9




              $begingroup$
              To lower the level of this answer, note that $phi^-1(x) = sqrt[3] x$ is also a continuous map ("homeomorphism" means a continuous, invertible map whose inverse is also continuous). So if $phicirc f$ is continuous, so is $f = phi^-1circ phi circ f$.
              $endgroup$
              – Paul Sinclair
              Jan 8 at 18:09







            9




            9




            $begingroup$
            To lower the level of this answer, note that $phi^-1(x) = sqrt[3] x$ is also a continuous map ("homeomorphism" means a continuous, invertible map whose inverse is also continuous). So if $phicirc f$ is continuous, so is $f = phi^-1circ phi circ f$.
            $endgroup$
            – Paul Sinclair
            Jan 8 at 18:09




            $begingroup$
            To lower the level of this answer, note that $phi^-1(x) = sqrt[3] x$ is also a continuous map ("homeomorphism" means a continuous, invertible map whose inverse is also continuous). So if $phicirc f$ is continuous, so is $f = phi^-1circ phi circ f$.
            $endgroup$
            – Paul Sinclair
            Jan 8 at 18:09

















            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%2f3065701%2fcan-a-cube-of-discontinuous-function-be-continuous%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

            How to check contact read email or not when send email to Individual?

            Displaying single band from multi-band raster using QGIS

            How many registers does an x86_64 CPU actually have?