Let f:C0C be holomorphic, with c0C0 the center of the disk. Let γ1,γ2:[t0,t1]U be a continuous path which starts at c0 and end at the same point zU. Suppose f can be analytically continued along both γ1 and γ2. Then the results coincide if 1;; γ1γ2(they are homotopic)

Remark

This result hasn't been proven, at least so far.

PROOF:

  1. Fix a homotopy H:γ1γ2 (H:[t0,t1]×[0,1]U).
  2. Show that the curves H(t,s) produce the same analytic continuation for a small variation in s.
  3. Then use compactness of [0,1].
  4. I think here we are also using some uniform continuity property or something.
  5. Choose disks of the new chain to be contained in the disks of the original chain

STEP 1: Cover path with epsilon neighborhoods, and respective disks containing this neighborhood.

STEP 2: Choose a H(t,s) such that it is contained in the epsilon neighborhood of H(t,s0). (Here we choose a delta)

STEP 3: Somehow use compactness of sets of the form {s0}×[t0,t1].

STEP 4: Use containment of the disk chains to finish the result

Powered by Forestry.md