У меня возник еще один вопрос: почему говорят о продолжении не функций, а ростков функций вдоль кривых. Скорее всего - это эквивалентные понятия. Эквивалентные функции определяют один и тот же росток.
Да, аналитическое продолжение вдоль кривой зависит только от ростка, а не от конкретного представителя.
-- Вс, 06 апр 2014 02:19:20 --Если я правильно поняла, то здесь можно определить множество представителей, если выделить отдельную ветвь функции.
Нужно аккуратнее. В случае с корнем ветвь уже зафиксирована, поскольку зафиксировано значение в единице. Проблема в том, что функция
![$\sqrt{z}$ $\sqrt{z}$](https://dxdy-02.korotkov.co.uk/f/9/0/b/90bf3e73a5fbc0a890ec6c528905b36782.png)
определена не на комплексной плоскости, а на римановой поверхности корня (2 экземпляра комплексной плоскости без нуля, склеенные по разрезу). Если мы рассматриваем представители ростка функции на римановой поверхности, то они все будут сужениями одной и той же функции. Если мы хотим, чтобы функция жила на комплексной плоскости, то разные выборы разреза будут соответствовать разным отождествлениям куска римановой поверхности с подмножествами комплексной плоскости. Т. е. функция на римановой поверхности одна и та же, но мы ее по-разному запихиваем на плоскость, поэтому получаются разные представители. А целиком она на плоскость, как было сказано выше, не помещается.
-- Вс, 06 апр 2014 02:22:23 --Упражнение: вот я привел 2 неэквивалентных представителя ростка функции
![$\sqrt{z}$ $\sqrt{z}$](https://dxdy-02.korotkov.co.uk/f/9/0/b/90bf3e73a5fbc0a890ec6c528905b36782.png)
с
![$\sqrt{1}=1$ $\sqrt{1}=1$](https://dxdy-01.korotkov.co.uk/f/4/9/9/499dc306fa6430dd79c43c7fb5462c7c82.png)
(корни с разными разрезами). Если их сузить на пересечение областей определения, получатся 2 разные аналитические функции, совпадающие в окрестности единицы. Почему не возникает противоречия с принципом аналитического продолжения?