If is continuous and closed, choose a continuous lift such that
Then . This agrees with the contour-integral definition when the path is piecewise smooth.
On a locally path-connected space, on each path component choose a value of a complex logarithm of at a base point. Continue it along paths using local logarithms. Independence of the path is exactly vanishing of the winding number of a continuous closed path for all loops. This constructs a continuous function with . The implication from a logarithm to zero winding requires no local connectivity. For applications to arbitrary planar compact sets, apply the criterion on polygonal neighborhoods rather than assuming the compact set is locally path-connected.

Articles by others on the same topic (0)

There are currently no matching articles.