Теорема о гомотопической инвариантности аналитического продолжения — утверждение комплексного анализа о совпадении результатов аналитического продолжения канонического элемента вдоль гомотопных путей.
Формально, если φ 0 ( t ) : [ 0 ; 1 ] → C {displaystyle varphi _{0}(t):[0;1] o mathbb {C} } и φ 1 ( t ) : [ 0 ; 1 ] → C {displaystyle varphi _{1}(t):[0;1] o mathbb {C} } — жордановы кривые с общими концами, ξ ( t , q ) : [ 0 ; 1 ] × [ 0 ; 1 ] → C {displaystyle xi (t,q):[0;1] imes [0;1] o mathbb {C} } — их гомотопия, и канонический элемент P {displaystyle P} аналитически продолжается вдоль любой кривой из ξ ( t , q ) {displaystyle xi (t,q)} , то результат аналитического продолжения элемента вдоль каждой из кривой совпадает.