Let
Remark
This result hasn't been proven, at least so far.
PROOF:
- Fix a homotopy
( ). - Show that the curves
produce the same analytic continuation for a small variation in . - Then use compactness of
. - I think here we are also using some uniform continuity property or something.
- 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
STEP 3: Somehow use compactness of sets of the form
STEP 4: Use containment of the disk chains to finish the result