Continuous logarithm lifting criterion
ID: continuous-logarithm-lifting-criterion
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.
New to topics? Read the docs here!