Existence of Primitives Theorem
Let be a domain
Let be a continuous functionIf for any closed path in has then
Proof
Fix
For any define
where with and
Need to show that is independent of the choice of
Suppose are two paths with and then
Let so is closed so using Properties of integrals along pathsHence
Need to show that is differentiable with
Fix and such thatLet any path with and
Let straight line path from to be given byIf then concatenation of with is a path from to so
However for then
as is continuous at
Hence is differentiable at with derivative