28.02.2013 Views

Math 411: Honours Complex Variables - University of Alberta

Math 411: Honours Complex Variables - University of Alberta

Math 411: Honours Complex Variables - University of Alberta

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

104 CHAPTER 15. ANALYTIC CONTINUATION ALONG A CURVE<br />

Since fj is an antiderivative <strong>of</strong> g on Dj for j = 1,2,3, we obtain<br />

�<br />

γz 1 ,z 2<br />

It follows that<br />

g = f1(z2)−f1(z1),<br />

�<br />

c = f3(z1)−f1(z1)<br />

γz 2 ,z 3<br />

g = f2(z3)−f2(z2),<br />

and<br />

�<br />

γz 3 ,z 1<br />

= f3(z1)−f3(z3)+f2(z3)−f2(z2)+f1(z2)−f1(z1)<br />

� � �<br />

= g + g + g<br />

�<br />

=<br />

γz 3 ,z 1<br />

�<br />

1<br />

=<br />

∂D ζ dζ<br />

= 2πi.<br />

z3<br />

γz 2 ,z 3<br />

γz 1 ,z 2 ⊕γz 2 ,z 3 ⊕γz 3 ,z 1<br />

g<br />

D2<br />

D3<br />

y<br />

γz 1 ,z 2<br />

z2<br />

z1<br />

D1<br />

g = f3(z1)−f3(z3).<br />

Definition. A function elementis a pair (D,f), where D ⊂ C is open and connected,<br />

and f : D → C is a holomorphic function. For a given function element (D,f) and<br />

x

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!