24. Теорема Коши для многосвязных областей
Разобьем кривую
на куски и построим ломаную из отрезков
, как показано на рисунке. Порядок следования точек на ломаной определяется значением в них параметра, который параметризует кривую. Если при
существует предел длины ломаной, то длина
определяется, как этот предел, а сама кривая называется Спрямляемой. В обобщенной теореме Коши достаточна только спрямляемость границы области
.
Теорема: Пусть
,
. Если
аналитична в
и непрерывна вплоть до границы, то
.


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