A topological proof of the Nullhomotopical Cauchy Integral Formula from the Circle Cauchy Integral Formula
Clash Royale CLAN TAG#URR8PPP
up vote
2
down vote
favorite
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
add a comment |Â
up vote
2
down vote
favorite
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
add a comment |Â
up vote
2
down vote
favorite
up vote
2
down vote
favorite
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
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
complex-analysis algebraic-topology
asked Sep 10 at 21:02
M.G.
566415
566415
add a comment |Â
add a comment |Â
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password