Новости    Библиотека    Энциклопедия    Биографии    Карта сайта    Ссылки    О проекте




предыдущая главасодержаниеследующая глава

Теорема Стокса

Формулируя эту теорему, мы будем пользоваться терминологией и обозначениями из п. 9.49.

9.50. Теорема. Если Ψ есть k-цепь класса " в открытом множестве V⊂Rm и если ω есть (k-1)-формa класса ' в V, то

(100)


(В случае k = m = 2 эту теорему называют теоремой Грина. В случае k = m = 1 эта теорема - не что иное, как основная теорема интегрального исчисления.)

Доказательство. Достаточно доказать, что

(101)


для каждого ориентированного k-симплекса Φ класса " в V, так как если доказано (101), а Ψ = ∑ Φi, то из (99) следует, что (100) тоже выполняется.

Зафиксируем такое Φ, и пусть σ - ориентированный прямолинейный k-симплекс в Rk:

(102)


Этот симплекс σ - просто тождественное отображение на Qk; в обозначениях (92) здесь р0 = 0, A = I.

Ввиду того что Φ - класса " в V, существует открытое множество Е⊂Rk, содержащее Qk, и "-отображение Т множества Е в V, такое, что Φ = T(σ). Левая часть равенства (101) равна


согласно теоремам 9.45 и 9.42 (с). Еще раз применяя 9.45, мы видим, что правую часть равенства (101) можно записать в следующем виде:


Таким образом, достаточно доказать, что

(103)


для специального симплекса (102) и произвольной (k-1)-формы класса ' в Е.

Граница симплекса (102) равна


согласно (96). Передвинем элемент 0 в j-м слагаемом этой суммы так, чтобы он оказался между ej-1 и ej+1. Это можно сделать с помощью j-1 транспозиций. Значит,

(104)


где τ0 = [e1, ..., еk] и τj получается из τ0 заменой еj на 0, j = 1, ..., k.

Если k = 1, то из определения ориентированного 0-симплекса вытекает, что в (103) утверждается всего лишь следующее:


для любой непрерывно дифференцируемой функции f на [0, 1]; это утверждение справедливо, согласно основной теореме интегрального исчисления.

Если k>1, то достаточно доказать (103) для

(105)


где a∈'(E), так как (104) показывает, что то же самое будет тогда справедливо и для любой формы αβk-1, а любая (k-1)-форма равна сумме форм вида αβk-1.

Множеством параметров для симплексов τ0, ..., τk служит симплекс Qk-1. Если u = (u1, ..., uk-1)∈Qk-1, а х = (x1, ..., xk) = τ0(u), то

(106)


Если х = τ1(u), то

(107)

x1 = 0, xi = ui-1 для 2≤i≤k.

Если х = τj(u) и 2≤j≤k, то xj = 0. Следовательно, якобиан


равен 1 для τ0 и τ1 и равен нулю для τ2, ..., τk. Таким образом,


Отсюда будет следовать (103) после того, как мы покажем, что

(108)


Левая часть равенства (108) равна

(109)


так как , a σ - тождественное отображение на Qk.

Вычисляя k-кратный интеграл (109) интегрированием по x1, получаем


согласно (106) и (107), что в свою очередь равно правой части равенства (108). Теперь доказательство закончено.

предыдущая главасодержаниеследующая глава




ИНТЕРЕСНО:

Многомерный математический мир… в вашей голове

В школах Великобритании введут китайские учебники математики

Найдено самое длинное простое число Мерсенна, состоящее из 22 миллионов цифр

Как математик помог биологам совершить важное открытие

Математические модели помогут хирургам

Почему в математике чаще преуспевают юноши

Физики-практики откровенно не любят математику

В индийской рукописи нашли первое в истории упоминание ноля

Вавилонская глиняная табличка оказалась древнейшей «тригонометрической таблицей» в мире

Ученые рассказали о важной роли игр с пальцами в обучении детей математике
Пользовательского поиска

© Злыгостев Алексей Сергеевич, статьи, подборка материалов, оформление, разработка ПО 2001-2017
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'MathemLib.ru: Математическая библиотека'
Рейтинг@Mail.ru