An example of function that is not constant but its derivative is 0











up vote
0
down vote

favorite












Let $U subset R^{n}$ be and open set. Let $f:U to R^n$ be a differentiable function.



I wonder if there is such a function that is not constant but with $Df=0$ at every point. (The derivative is 0).










share|cite|improve this question




















  • 3




    Well, if $U$ is not connected you could define a function to be 1 on one of the connected components and 0 on the others. But if $U$ is connected that implies $f$ is constant; and in general, $f$ has to be locally constant.
    – Daniel Schepler
    yesterday















up vote
0
down vote

favorite












Let $U subset R^{n}$ be and open set. Let $f:U to R^n$ be a differentiable function.



I wonder if there is such a function that is not constant but with $Df=0$ at every point. (The derivative is 0).










share|cite|improve this question




















  • 3




    Well, if $U$ is not connected you could define a function to be 1 on one of the connected components and 0 on the others. But if $U$ is connected that implies $f$ is constant; and in general, $f$ has to be locally constant.
    – Daniel Schepler
    yesterday













up vote
0
down vote

favorite









up vote
0
down vote

favorite











Let $U subset R^{n}$ be and open set. Let $f:U to R^n$ be a differentiable function.



I wonder if there is such a function that is not constant but with $Df=0$ at every point. (The derivative is 0).










share|cite|improve this question















Let $U subset R^{n}$ be and open set. Let $f:U to R^n$ be a differentiable function.



I wonder if there is such a function that is not constant but with $Df=0$ at every point. (The derivative is 0).







calculus real-analysis multivariable-calculus






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited yesterday









Rob Arthan

28.4k42865




28.4k42865










asked yesterday









Gabi G

1687




1687








  • 3




    Well, if $U$ is not connected you could define a function to be 1 on one of the connected components and 0 on the others. But if $U$ is connected that implies $f$ is constant; and in general, $f$ has to be locally constant.
    – Daniel Schepler
    yesterday














  • 3




    Well, if $U$ is not connected you could define a function to be 1 on one of the connected components and 0 on the others. But if $U$ is connected that implies $f$ is constant; and in general, $f$ has to be locally constant.
    – Daniel Schepler
    yesterday








3




3




Well, if $U$ is not connected you could define a function to be 1 on one of the connected components and 0 on the others. But if $U$ is connected that implies $f$ is constant; and in general, $f$ has to be locally constant.
– Daniel Schepler
yesterday




Well, if $U$ is not connected you could define a function to be 1 on one of the connected components and 0 on the others. But if $U$ is connected that implies $f$ is constant; and in general, $f$ has to be locally constant.
– Daniel Schepler
yesterday










2 Answers
2






active

oldest

votes

















up vote
2
down vote



accepted










Consider $f$ defined on $mathrm{U} = mathbf{R}^2 setminus{(x,0) : xin mathbf{R}}.$ Here $mathrm{U}$ is the plane minus the $x$-axis. Define $f = (0,0)$ on the upper part of $mathrm{U}$ and $f = (-1,0)$ on the lower part.






share|cite|improve this answer




























    up vote
    1
    down vote













    Let $U = (0,1)cup (2,3)$ and $f: U rightarrow mathbb{R}$ and $f(x) = 0$ for $x in (0,1)$ and $f(x) = 1$ for $x in (2,3)$. For open and connected sets $U$, $Df equiv 0$ implies that $f$ is constant (I can provide a proof if you want).






    share|cite|improve this answer





















    • Thanks Nicolas!
      – Gabi G
      yesterday






    • 1




      About the case where $U$ is connected and open, can I prove it with the multi variable version of the Newton Leibniz fundamental thorem?
      – Gabi G
      yesterday










    • If $U$ is connected and open and $x, y in U$, you can compose a diferentiable path from $x$ to $y$ with each of the coordinate projections of $Bbb{R}^n$ onto $Bbb{R}$ and then deduce the result from the case when $n = 1$ (where it follows from the mean value theorem).
      – Rob Arthan
      yesterday












    • Could you explain what are the coordinate projections? And how can you use this theorem from a multi dimensional domain?
      – Gabi G
      yesterday











    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%2f3007022%2fan-example-of-function-that-is-not-constant-but-its-derivative-is-0%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










    Consider $f$ defined on $mathrm{U} = mathbf{R}^2 setminus{(x,0) : xin mathbf{R}}.$ Here $mathrm{U}$ is the plane minus the $x$-axis. Define $f = (0,0)$ on the upper part of $mathrm{U}$ and $f = (-1,0)$ on the lower part.






    share|cite|improve this answer

























      up vote
      2
      down vote



      accepted










      Consider $f$ defined on $mathrm{U} = mathbf{R}^2 setminus{(x,0) : xin mathbf{R}}.$ Here $mathrm{U}$ is the plane minus the $x$-axis. Define $f = (0,0)$ on the upper part of $mathrm{U}$ and $f = (-1,0)$ on the lower part.






      share|cite|improve this answer























        up vote
        2
        down vote



        accepted







        up vote
        2
        down vote



        accepted






        Consider $f$ defined on $mathrm{U} = mathbf{R}^2 setminus{(x,0) : xin mathbf{R}}.$ Here $mathrm{U}$ is the plane minus the $x$-axis. Define $f = (0,0)$ on the upper part of $mathrm{U}$ and $f = (-1,0)$ on the lower part.






        share|cite|improve this answer












        Consider $f$ defined on $mathrm{U} = mathbf{R}^2 setminus{(x,0) : xin mathbf{R}}.$ Here $mathrm{U}$ is the plane minus the $x$-axis. Define $f = (0,0)$ on the upper part of $mathrm{U}$ and $f = (-1,0)$ on the lower part.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered yesterday









        Will M.

        1,949213




        1,949213






















            up vote
            1
            down vote













            Let $U = (0,1)cup (2,3)$ and $f: U rightarrow mathbb{R}$ and $f(x) = 0$ for $x in (0,1)$ and $f(x) = 1$ for $x in (2,3)$. For open and connected sets $U$, $Df equiv 0$ implies that $f$ is constant (I can provide a proof if you want).






            share|cite|improve this answer





















            • Thanks Nicolas!
              – Gabi G
              yesterday






            • 1




              About the case where $U$ is connected and open, can I prove it with the multi variable version of the Newton Leibniz fundamental thorem?
              – Gabi G
              yesterday










            • If $U$ is connected and open and $x, y in U$, you can compose a diferentiable path from $x$ to $y$ with each of the coordinate projections of $Bbb{R}^n$ onto $Bbb{R}$ and then deduce the result from the case when $n = 1$ (where it follows from the mean value theorem).
              – Rob Arthan
              yesterday












            • Could you explain what are the coordinate projections? And how can you use this theorem from a multi dimensional domain?
              – Gabi G
              yesterday















            up vote
            1
            down vote













            Let $U = (0,1)cup (2,3)$ and $f: U rightarrow mathbb{R}$ and $f(x) = 0$ for $x in (0,1)$ and $f(x) = 1$ for $x in (2,3)$. For open and connected sets $U$, $Df equiv 0$ implies that $f$ is constant (I can provide a proof if you want).






            share|cite|improve this answer





















            • Thanks Nicolas!
              – Gabi G
              yesterday






            • 1




              About the case where $U$ is connected and open, can I prove it with the multi variable version of the Newton Leibniz fundamental thorem?
              – Gabi G
              yesterday










            • If $U$ is connected and open and $x, y in U$, you can compose a diferentiable path from $x$ to $y$ with each of the coordinate projections of $Bbb{R}^n$ onto $Bbb{R}$ and then deduce the result from the case when $n = 1$ (where it follows from the mean value theorem).
              – Rob Arthan
              yesterday












            • Could you explain what are the coordinate projections? And how can you use this theorem from a multi dimensional domain?
              – Gabi G
              yesterday













            up vote
            1
            down vote










            up vote
            1
            down vote









            Let $U = (0,1)cup (2,3)$ and $f: U rightarrow mathbb{R}$ and $f(x) = 0$ for $x in (0,1)$ and $f(x) = 1$ for $x in (2,3)$. For open and connected sets $U$, $Df equiv 0$ implies that $f$ is constant (I can provide a proof if you want).






            share|cite|improve this answer












            Let $U = (0,1)cup (2,3)$ and $f: U rightarrow mathbb{R}$ and $f(x) = 0$ for $x in (0,1)$ and $f(x) = 1$ for $x in (2,3)$. For open and connected sets $U$, $Df equiv 0$ implies that $f$ is constant (I can provide a proof if you want).







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered yesterday









            Nicolas

            315




            315












            • Thanks Nicolas!
              – Gabi G
              yesterday






            • 1




              About the case where $U$ is connected and open, can I prove it with the multi variable version of the Newton Leibniz fundamental thorem?
              – Gabi G
              yesterday










            • If $U$ is connected and open and $x, y in U$, you can compose a diferentiable path from $x$ to $y$ with each of the coordinate projections of $Bbb{R}^n$ onto $Bbb{R}$ and then deduce the result from the case when $n = 1$ (where it follows from the mean value theorem).
              – Rob Arthan
              yesterday












            • Could you explain what are the coordinate projections? And how can you use this theorem from a multi dimensional domain?
              – Gabi G
              yesterday


















            • Thanks Nicolas!
              – Gabi G
              yesterday






            • 1




              About the case where $U$ is connected and open, can I prove it with the multi variable version of the Newton Leibniz fundamental thorem?
              – Gabi G
              yesterday










            • If $U$ is connected and open and $x, y in U$, you can compose a diferentiable path from $x$ to $y$ with each of the coordinate projections of $Bbb{R}^n$ onto $Bbb{R}$ and then deduce the result from the case when $n = 1$ (where it follows from the mean value theorem).
              – Rob Arthan
              yesterday












            • Could you explain what are the coordinate projections? And how can you use this theorem from a multi dimensional domain?
              – Gabi G
              yesterday
















            Thanks Nicolas!
            – Gabi G
            yesterday




            Thanks Nicolas!
            – Gabi G
            yesterday




            1




            1




            About the case where $U$ is connected and open, can I prove it with the multi variable version of the Newton Leibniz fundamental thorem?
            – Gabi G
            yesterday




            About the case where $U$ is connected and open, can I prove it with the multi variable version of the Newton Leibniz fundamental thorem?
            – Gabi G
            yesterday












            If $U$ is connected and open and $x, y in U$, you can compose a diferentiable path from $x$ to $y$ with each of the coordinate projections of $Bbb{R}^n$ onto $Bbb{R}$ and then deduce the result from the case when $n = 1$ (where it follows from the mean value theorem).
            – Rob Arthan
            yesterday






            If $U$ is connected and open and $x, y in U$, you can compose a diferentiable path from $x$ to $y$ with each of the coordinate projections of $Bbb{R}^n$ onto $Bbb{R}$ and then deduce the result from the case when $n = 1$ (where it follows from the mean value theorem).
            – Rob Arthan
            yesterday














            Could you explain what are the coordinate projections? And how can you use this theorem from a multi dimensional domain?
            – Gabi G
            yesterday




            Could you explain what are the coordinate projections? And how can you use this theorem from a multi dimensional domain?
            – Gabi G
            yesterday


















             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3007022%2fan-example-of-function-that-is-not-constant-but-its-derivative-is-0%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

            Berounka

            Sphinx de Gizeh

            Different font size/position of beamer's navigation symbols template's content depending on regular/plain...