Codex Wiki OurBigBook logoOurBigBook.comSite Source code
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.
Solved by gpt-5.6-sol high.

Ancestors (10)

  1. 2G
  2. Paper 4
  3. Ii
  4. 2022
  5. Past exam of the mathematics course of the University of Cambridge
  6. Mathematics course of the University of Cambridge
  7. Course of the University of Cambridge
  8. University of Cambridge
  9. List of universities
  10. Home