Talk:Fundamental Theorem of Contour Integration
I'm sorry, I may be half-remembering something that I only half-learned, but does this result apply only when the function in question is holomorphic, i.e. satisfies the Cauchy-Riemann Equations? Just being continuous may not be enough (btw the link for "continuous function" goes to a disambiguation page).
The whole point here is that when a function is holomorphic (or whatever, I may have got that wrong, may be "analytical" is the word I need, I haven't checked), the value of the integral is independent of the path taken by the contour. If it is *not* analytical, then this is not the case.
Sorry, but it seems to me there's a lot of work that still needs to be done in order to get to where we want to go. I may of course be completely wrong, and the terminology of complex analysis has so completely changed in the last 8 years that I can't recognise it any more. If this is the case, then apologies. --prime mover (talk) 08:38, 3 May 2013 (UTC)
- The function is holomorphic: since $F'(z) = f(z)$ for all $z \in D$ it follows that $F$ is analytic in $D$ and therefore so is $F' = f$. The essential statement here is that if $f$ has an antiderivative, the integral depends only on the endpoints. --Linus44 (talk) 09:29, 3 May 2013 (UTC)