Komplex analys -- varför vill vi visa att A_r går mot noll?
Hej!
Jag håller på att lära mig beviset för en variant av Cauchys integralformel som jag formulerar nedan:
Låt holomorf på en öppen mängd sådan att . Då gäller för alla att
Beviset jag följer bifogas nedan. Det jag inte förstår i beviset är påståendet om att då innebär att . Cauchys sats säger ju att två integraler är lika över tillräckligt trevliga områden och om dessa är homotopa inom området. Två cirklar och för kommer såklart alltid att vara homotopa inom . Men jag förstår inte vad Cauchys sats har med gränsvärden att göra. Gränsvärdet då ger ju inte en integral över en relevant kurva; kurvan som definieras av "" ligger ju inte ens i !

Oj, nu tror jag att poletten trillade ned.
Eftersom är en konstant funktion (Cauchys sats), och en konstant funktion har sig själv som gränsvärde i alla punkter där gränsvärdet existerar (punkten måste inte ingå i domänen till ), så kan vi använda gränsvärdet som ett sätt att bestämma vilken konstant den är lika med?
Ännu en fråga om bevset: för att tillämpa Cauchys sats kräver vi väl att den aktuella mängden är en region, inte enbart en öppen mängd? Under hypotesen som satsen bevisas under är ju enbart öppen...