24. Теорема Коши для многосвязных областей
Разобьем кривую
на куски и построим ломаную из отрезков
, как показано на рисунке. Порядок следования точек на ломаной определяется значением в них параметра, который параметризует кривую. Если при
существует предел длины ломаной, то длина
определяется, как этот предел, а сама кривая называется Спрямляемой. В обобщенной теореме Коши достаточна только спрямляемость границы области
.
Теорема: Пусть ,
. Если
аналитична в
и непрерывна вплоть до границы, то
.
Доказательство: Докажем, используя метод математической индукции по . Для
верна обобщенная теорема Коши из параграфа 23.
Пусть для некоторого теорема верна.
Докажем для .
Разделим область кривыми
и
на две области, как показано на рисунке справа.
(черта означает замыкание множества).
является
-связной областью и для нее в силу предположения индукции теорема верна. Отсюда получаем:
Первый интеграл равен нулю по предположению индукции, а второй в силу обобщенной теоремы Коши для односвязной области . Первое равенство имеет место в силу того, что интегралы по
и
при сложении взаимоуничтожаются.
Теорема доказана.
< Предыдущая | Следующая > |
---|