A topological proof of the Nullhomotopical Cauchy Integral Formula from the Circle Cauchy Integral Formula

Multi tool use
Multi tool use

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











up vote
2
down vote

favorite
1












I believe there should be a simple topological proof of the Nullhomotopical Cauchy Integral Formula based only on the Cauchy Integral Formula over a Circle, but I can't quite finish the argument and would appreciate some help. (Hopefully I am on the right track.)



Nullhomotopical Cauchy Integral Formula: Let $UsubseteqmathbbC$ be an open and path-connected subset, let $z_0in U$, and let $gammasubseteq U$ be some, say, smooth loop such that $z_0notingamma$ and $gammasimeqrmpt.$ in $U$, where by abuse of notation $gamma$ stands for both the curve and its support.
If $f:UtomathbbC$ is a holomorphic function, then:
$$
f(z_0)operatornameind(gamma,z_0) = frac12pi ioint_gammafracf(z)z-z_0mathrmdz
$$
Attempted proof: I know that, being holomorphic, the 1-form
$$
omega:=fracf(z)z-z_0mathrmdz
$$
is $mathrmd$-closed, hence (its integral is) homotopy-invariant.
Since $gammasubseteq Usetminusz_0$ and $[gamma]=0$ in $pi_1(U)$, I believe that $[gamma]$ should induce a well-defined class $[gamma]'$ in $pi_1(Dsetminusz_0)$, where $D$ is a sufficiently small open disk around $z_0$ contained in $U$, but I don't quite see how to finish this line of reasoning rigorously, assuming it actually makes sense. Any help would be appreciated!










share|cite|improve this question

























    up vote
    2
    down vote

    favorite
    1












    I believe there should be a simple topological proof of the Nullhomotopical Cauchy Integral Formula based only on the Cauchy Integral Formula over a Circle, but I can't quite finish the argument and would appreciate some help. (Hopefully I am on the right track.)



    Nullhomotopical Cauchy Integral Formula: Let $UsubseteqmathbbC$ be an open and path-connected subset, let $z_0in U$, and let $gammasubseteq U$ be some, say, smooth loop such that $z_0notingamma$ and $gammasimeqrmpt.$ in $U$, where by abuse of notation $gamma$ stands for both the curve and its support.
    If $f:UtomathbbC$ is a holomorphic function, then:
    $$
    f(z_0)operatornameind(gamma,z_0) = frac12pi ioint_gammafracf(z)z-z_0mathrmdz
    $$
    Attempted proof: I know that, being holomorphic, the 1-form
    $$
    omega:=fracf(z)z-z_0mathrmdz
    $$
    is $mathrmd$-closed, hence (its integral is) homotopy-invariant.
    Since $gammasubseteq Usetminusz_0$ and $[gamma]=0$ in $pi_1(U)$, I believe that $[gamma]$ should induce a well-defined class $[gamma]'$ in $pi_1(Dsetminusz_0)$, where $D$ is a sufficiently small open disk around $z_0$ contained in $U$, but I don't quite see how to finish this line of reasoning rigorously, assuming it actually makes sense. Any help would be appreciated!










    share|cite|improve this question























      up vote
      2
      down vote

      favorite
      1









      up vote
      2
      down vote

      favorite
      1






      1





      I believe there should be a simple topological proof of the Nullhomotopical Cauchy Integral Formula based only on the Cauchy Integral Formula over a Circle, but I can't quite finish the argument and would appreciate some help. (Hopefully I am on the right track.)



      Nullhomotopical Cauchy Integral Formula: Let $UsubseteqmathbbC$ be an open and path-connected subset, let $z_0in U$, and let $gammasubseteq U$ be some, say, smooth loop such that $z_0notingamma$ and $gammasimeqrmpt.$ in $U$, where by abuse of notation $gamma$ stands for both the curve and its support.
      If $f:UtomathbbC$ is a holomorphic function, then:
      $$
      f(z_0)operatornameind(gamma,z_0) = frac12pi ioint_gammafracf(z)z-z_0mathrmdz
      $$
      Attempted proof: I know that, being holomorphic, the 1-form
      $$
      omega:=fracf(z)z-z_0mathrmdz
      $$
      is $mathrmd$-closed, hence (its integral is) homotopy-invariant.
      Since $gammasubseteq Usetminusz_0$ and $[gamma]=0$ in $pi_1(U)$, I believe that $[gamma]$ should induce a well-defined class $[gamma]'$ in $pi_1(Dsetminusz_0)$, where $D$ is a sufficiently small open disk around $z_0$ contained in $U$, but I don't quite see how to finish this line of reasoning rigorously, assuming it actually makes sense. Any help would be appreciated!










      share|cite|improve this question













      I believe there should be a simple topological proof of the Nullhomotopical Cauchy Integral Formula based only on the Cauchy Integral Formula over a Circle, but I can't quite finish the argument and would appreciate some help. (Hopefully I am on the right track.)



      Nullhomotopical Cauchy Integral Formula: Let $UsubseteqmathbbC$ be an open and path-connected subset, let $z_0in U$, and let $gammasubseteq U$ be some, say, smooth loop such that $z_0notingamma$ and $gammasimeqrmpt.$ in $U$, where by abuse of notation $gamma$ stands for both the curve and its support.
      If $f:UtomathbbC$ is a holomorphic function, then:
      $$
      f(z_0)operatornameind(gamma,z_0) = frac12pi ioint_gammafracf(z)z-z_0mathrmdz
      $$
      Attempted proof: I know that, being holomorphic, the 1-form
      $$
      omega:=fracf(z)z-z_0mathrmdz
      $$
      is $mathrmd$-closed, hence (its integral is) homotopy-invariant.
      Since $gammasubseteq Usetminusz_0$ and $[gamma]=0$ in $pi_1(U)$, I believe that $[gamma]$ should induce a well-defined class $[gamma]'$ in $pi_1(Dsetminusz_0)$, where $D$ is a sufficiently small open disk around $z_0$ contained in $U$, but I don't quite see how to finish this line of reasoning rigorously, assuming it actually makes sense. Any help would be appreciated!







      complex-analysis algebraic-topology






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Sep 10 at 21:02









      M.G.

      566415




      566415

























          active

          oldest

          votes











          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: false,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          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%2f2912358%2fa-topological-proof-of-the-nullhomotopical-cauchy-integral-formula-from-the-circ%23new-answer', 'question_page');

          );

          Post as a guest



































          active

          oldest

          votes













          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes















           

          draft saved


          draft discarded















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2912358%2fa-topological-proof-of-the-nullhomotopical-cauchy-integral-formula-from-the-circ%23new-answer', 'question_page');

          );

          Post as a guest













































































          ZgW4XLd7ZRRdgeI 04COCZdXLML6W G3bgDLDISf81klKTVVa
          9aiu J b9fNiKI3RoQPKm3oFQoP 8CkkohzEjW 1VmIPKoVVhM6ueQim

          這個網誌中的熱門文章

          How to combine Bézier curves to a surface?

          Propositional logic and tautologies

          Distribution of Stopped Wiener Process with Stochastic Volatility