Определение. Путь в
:
.
Определение. Два пути
и
называются эквивалентными, если существует гомеоморфизм
такой, что:
Определение. Кривая в
это класс эквивалентных путей (геометрический образ отрезка с выбранным направлением).
Определение.
кривая,
. Интегралом по кривой
от функции
называется следующий предел (если он существует):
Утверждение. (корректность определения)
Если для пути
существует предел
, то он существует и для любого другого эквивалентного пути
, и эти пределы совпадают.
Доказательство. Интегральная сумма для первого пути равна
.
Интегральная сумма для второго пути равна
.
По определению эквивалентных путей
гомеоморфизм
. Перепишем вторую интегральную сумму:
Определение.
Теорема. (без доказательства)
Если
спрямляема (то есть
),
, то
1)
, где
это
в противоположном направлении
2)
3)
(если эти оба интеграла существуют)
4)
Доказательство.
5) если
спрямляема, то
Доказательство.
6) если
гладкая кривая (
), то
(R символизирует, что интеграл римановский).
Доказательство. Запишем интегральные суммы для левого и для правого интегралов:
К функциям
и
применим теорему Лагранжа:
В силу условия,что
, при достаточно малых
выражение в квадратных скобках будет меньше любого положительного
, поэтому при достаточно малых
:
Так как
может быть сколь угодно малым, то при
получаем:
7)
на
,
спрямляемая, тогда
Доказательство.
при
(по критерию равномерной сходимости), значит,
при
, то есть,
Пример.
, где a начало
, b конец
.
Пример.
спрямляема, с началом a и концом b.
С другой стороны,
Значит,
Пример.
Параметризуем окружность:
По шестому свойству: