For , the number is negative real, so the proposed identity would force
Continuity on the connected interval makes equal to one fixed odd multiple of there. For , the number is positive real, so must instead equal one fixed even multiple of . These two constants cannot agree, and their one-sided limits at therefore contradict continuity. The fact that removes the phase condition at that one point but does not repair the discontinuity.
Now let and put . This is a continuous path in the unit circle. The exponential map is a covering map, so the path lifting theorem supplies a continuous lift after one value of is chosen. Hence
One can obtain the same lift directly from the allowed special case: by uniform continuity, subdivide so that on each subinterval lies in the right half-plane, choose its continuous local argument there, and add a multiple of to match the preceding endpoint.
If and are two such phases, then
This integer-valued function is continuous and hence constant. Therefore
does not depend on the chosen lift.
For , the phase gives
For , the phase gives
Finally, take
They have the same two endpoints, but and . This endpoint discrepancy records the winding number of the closed path.

Articles by others on the same topic (0)

There are currently no matching articles.