Сандракова Дифферентсиалные формы на гладкикх многообразиякх 2014
.pdfМИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ
НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ЯДЕРНЫЙ УНИВЕРСИТЕТ «МИФИ»
Е.В. Сандракова, Е.В. Сумин
ДИФФЕРЕНЦИАЛЬНЫЕ ФОРМЫ НА ГЛАДКИХ МНОГООБРАЗИЯХ
Рекомендовано к изданию УМО «Ядерные физика и технологии»
Москва 2014
УДК 512.64(075) ББК 22.143я7 С 18
Сандракова Е.В., Сумин Е.В. Дифференциальные формы на гладких мно-
гообразиях: учебное пособие. М.: НИЯУ МИФИ, 2014. – 140 с.
Предлагаемое учебное пособие посвящено дифференциальным формам на гладких многообразиях. Рассмотрены алгебра форм, гладкие многообразия, интегрирование дифференциальных форм на гладких многообразиях, гомологии и когомологии гладких многообразий, основные понятия теории гомотопий и расслоение топологического пространства.
В учебном пособии приведены разбор и решение задач и примеров. Даны задачи и упражнения для самостоятельного решения.
Пособие написано на основе лекций, которые читались в Высшем физическом колледже НИЯУ МИФИ, и адресовано студентам этого колледжа, а также рекомендуется магистрам, научным сотрудникам и преподавателям НИЯУ МИФИ.
Работа выполнена при содействии ФЦП «Интеграция высшей школы и фундаментальной науки».
Подготовлено в рамках Программы создания и развития НИЯУ МИФИ.
Рецензент канд. физ.-мат. наук, доц. НИЯУМИФИ А.П. Карташев
ISBN 978-5-7262-2005-5 |
© Национальный исследовательский |
|
ядерный университет «МИФИ», 2014 |
Г л а в а 1
АЛГЕБРА ФОРМ
§ 1. Сопряженные линейные пространства. Двойные (взаимные) базисы
Пусть X и X * – два линейных пространства над одним и тем же полем R (или С).
Определение 1.1. Говорят, что на прямом произведении X * × X задана свертка, если каждой упорядоченной паре элементов F и x,
F X * , x X поставлено в соответствие действительное число, обозначаемое (F, x) так, что выполнены следующие условия:
1) линейность по первому аргументу:
F , F X * |
x X α , α |
2 |
R |
|||
1 |
2 |
|
1 |
|
|
|
(α1F1 + α2 F2 , x) = α1 (F1 , x) + α2 (F2 , x); |
||||||
2) линейность по второму аргументу: |
|
|
|
|
||
F X * x , x X β , β |
2 |
R |
||||
|
1 |
2 |
1 |
|
(F, β1 x1 +β2 x2 ) = β1 (F, x1 ) +β2 (F, x2 );
3) невырожденность по первому аргументу: если для некоторого F X * для любого x X (F, x) = 0 , то F = θ* – нулевой элемент
X * ;
4) невырожденность по второму аргументу: если для некоторого x X для любого F X * (F, x) = 0 , то x = θ – нулевой элемент пространства X.
Определение 1.2. Пусть X, X * – два линейных пространства над полем R.
3
Пространства X и X * называются сопряженными друг другу,
если на прямом произведении X * × X задана свертка. Отношение сопряженности линейных пространств взаимно.
Пусть теперь X и X * – два конечномерных линейных пространства над полем R, имеющих одну и ту же размерность n.
Пусть в X фиксирован базис e , ..., e |
|
, в X * |
– базис e1 , ..., en . То- |
||
|
1 |
n |
|
|
|
гда x X x = x1e +... + xne = x j e |
j |
(суммирование осуществля- |
|||
1 |
n |
|
|
|
ется по одинаковым индексам)
F X * F = F e1 |
+... + F en = F ei . |
|
1 |
n |
i |
Получаем выражение для свертки |
|
|
(F, x) = (Fi ei , x j ej )= Fi x j (ei , ej ); |
||
(F, x) = Fi x j |
(ei , ej ); |
(1.1) |
F, ei , i = 1, 2, …, n из X * , Fi R ; x, ej , j = 1, 2, …, n из X, x j R .
Из равенства (1.1) видно, что свертка будет определена, если зададим матрицу сверток базисных элементов, т.е. матрицу чисел
(ei , ej ), i, j = 1, 2, …, n. Для выполнения условий 3 и 4 определения свертки необходимо и достаточно, чтобы эта матрица была невырожденной: det (ei , ej )≠ 0 . Из сказанного видно, что для каждого
линейного пространства X можно построить бесконечно много сопряженных ему линейных пространств (точнее, по-разному сопряженных пространств).
Базисы e , ..., e |
в X и e1 , ..., en |
в X * можно выбрать так, чтобы |
||
1 |
n |
|
|
|
матрица (ei , ej ) |
оказалась единичной. |
|
||
Утверждение 1.1. Пусть X, X * |
– два линейных конечномерных |
|||
пространства над полем R и на |
X * × X |
задана свертка (F, x) , |
||
F X * , x X |
и пусть в X * выбран произвольный базис e1 , ..., en . |
|||
Тогда в X существует единственный базис |
e1 , ..., en взаимный (или |
двойственный) базису e1 , ..., en , т.е. (ei , ej )= δij – символ Кронекера.
4
Аналогично, пусть в X задан произвольный базис e1 , ..., en . Тогда в X * существует единственный базис e1 , ..., en взаимный базису e1 , ..., en . Для доказательства этого утверждения нам потребуется следующая лемма.
Лемма 1.1. Для любого набора чисел α1, ..., αn из R существует единственный элемент u X , такой, что (ei , u) =αi , i = 1, 2, …, n, где e1 , ..., en – базис в X * .
Доказательство леммы 1.1. Пусть в X выбран какой-нибудь базис e1 , ..., en и u – произвольный элемент из X. Тогда u = u j ej – раз-
ложение u по базису e1 , ..., en .
Рассмотрим свертки (ei , u) = u j (ei , ej ), i = 1, 2, …, n. Положим u j (ei , ej )= αi . Задача нахождения элемента u свелась к решению, вообще говоря, неоднородной системы линейных уравнений с невырожденной матрицей (ei , ej ). А такая система имеет единствен-
ное решение.
Доказательство утверждения 1.1. Пусть X и X * – сопряжен-
ные линейные пространства.
1. Пусть e1 , ..., en – произвольный базис в X * . Для нахождения взаимного базиса e1 , ..., en в X достаточно в качестве наборов чисел α1, ..., αn брать последовательно наборы
1, 0, …, 0 e1 ; 0, 1, …, 0 e2 ; 0, 0, …, 1 en
из равенств (ei , ej )= δij , i , j = 1, 2, …, n вытекает линейная незави-
симость e1 , ..., en .
2. Аналогично, фиксируя базис e1 , ..., en , в X находится единственный базис e1 , ..., en в X * . Напомним определение взаимного или двойственного базиса сопряженных пространств X и X * .
5
Определение 1.3. Пусть X * – сопряженное пространство линейному пространству X.
Базисы e1 , ..., en в X * и e1 , ..., en в X называются двойственными (или взаимными, или дуальными), если (ei , ej )= δij , i, j = 1, 2, …, n.
§2. Линейные и полилинейные формы
2.1.Линейные формы
Пусть X – линейное пространство над полем R размерности n и пусть F: X → R , заданная равенством:
x′, x′′ X α, β R F (αx′+βx′′) = αF (x′) +βF (x′′) ,
т.е. F(x) – вещественнозначная линейная функция аргумента
x X .
Определение 1.4. Любую вещественнозначную линейную функцию F: X → R назовем 1-формой на X, где X – линейное n- мерное пространство.
Рассмотрим FX ={F; F : X → R} – множество всех 1-форм на X. Относительно стандартных операций сложения функций и умножения функций на числа из R множество FX является линейным
пространством над полем R. Обозначим его через X *
F , F X * |
λ, μ R x X |
||
1 |
2 |
|
|
(λF1 + μF2 )(x) = λF1 (x) + μF2 (x) . |
|||
Нулевым элементом |
θ* |
в |
X * служит линейная функция, прини- |
мающая на каждом x X |
значение 0: |
||
|
x X θ* (x) = 0 . |
||
Утверждение 1.2. |
Размерность линейного пространства X * |
всех 1-форм на X, где X – линейное n-мерное пространство над полем R, равна n, т.е. dim X * = n .
Доказательство. Фиксируем произвольный базис e1 , ..., en в X. Тогда
x X x = x j ej .
6
Рассмотрим в X * 1-формы e1 (x), ..., en (x) , такие, что ei (ej ) = δij , ej X , j = 1, 2, …, n, i = 1, 2, …, n. Из задания 1-форм следует, что
они образуют линейно независимую совокупность в X * . Покажем теперь, что любая 1-форма F X * линейно выражает-
ся через формы e1 (x), ..., en (x) . F определяется однозначно, в силу своей линейности, значениями на базисных элементах e1 , ..., en пространства X.
Пусть F = F (e ) R . Тогда x X , |
x = x j e |
j |
|
||
i |
i |
|
|
|
|
F(x) = F(x1e +... + xne ) = (в силу линейности) |
|||||
|
1 |
n |
|
|
|
=F(x1e1 ) +... + F(xnen ) = x1F(e1 ) +... + xn F(en ) = x1F1 +... + xn Fn ,
атак как ei (ej ) = δij , то
F1 = F(e1 ) = F1e1 (e1 ) ; …;
Fn = F(en ) = Fnen (en ) .
Следовательно, F(x) = F (x j ej )= Fi x j ei (ej ) = F1 x1 +... + Fn xn . Откуда
и следует, что e1 (x), ..., en (x) |
образуют базис на X * и dim X * = n . |
||
Определим |
теперь |
свертку |
на X * × X следующим образом: |
F X * |
x X |
положим (F, x) = F(x) . Таким образом, линей- |
ное n-мерное пространство линейных функций на X или 1-форм на X является сопряженным пространством линейному n-мерному пространству X.
И базисы e , ..., e |
в X и e1 (x), ..., en (x) в X * , где ei (e |
j |
) = δi , |
i, |
|
1 |
n |
|
j |
|
|
j = 1, 2, …, n являются двойственными. |
|
|
|
||
Пусть теперь произвольный x X разложен по базису e1 , ..., en |
|||||
в X, e1 , ..., en – двойственный базис в X * |
|
|
|
||
|
|
x = x j ej . |
|
|
|
Тогда ei (x) = ei (x j ej |
)= x j ei (ej ) = xi – i-я координата элемента x |
в |
|||
базисе e1 , ..., en |
в X. |
|
|
|
|
7
Подведем итог сказанному.
Координатная запись 1-форм e1 (x), ..., en (x) в X * при употреблении взаимного базиса в X оказывается наиболее простой, все коэффициенты формы ei (x) равны нулю, кроме одного, который занимает i-е место и он равен единице. Вместе с тем можно сказать,
что координаты любого элемента x X |
в базисе e1 , ..., en суть зна- |
||||
чения на этом элементе форм взаимного базиса в X * . |
|||||
Это выражается равенством: |
|
|
|||
x = x j e |
j |
= e j (x)e |
j |
= e1 (x)e +... + en (x)e . |
|
|
|
1 |
n |
2.2. Полилинейные формы
Пусть X – линейное пространство над полем R размерности n. Рассмотрим его k-кратное прямое произведение на себя
X k = X × X ×...× X (k раз).
По определению пространства X k его элементами являются упорядоченные наборы элементов из X, взятые в числе k, т.е.
(x1, ..., xk ) X k , если xi X , i = 1, 2, …, k.
Определение 1.5. Вещественной полилинейной формой называ-
ется отображение Fk : X k → R линейное по каждому аргументу, т.е.
F k = F k (x , ..., x ) , |
x X , i = 1, 2, …, k; |
|
1 |
k |
i |
i , i = 1, 2, …, k α, β R xi′, xi′′ X xi X
F k (x1, x2 , ..., xi−1, αxi′ +βxi′′, xi+1 , ..., xk ) = =αF k (x1, ..., xi−1, xi′, xi+1, ..., xk ) + +βFk (x1, ..., xi−1, xi′′, xi+1 , ..., xk ) .
Теорема 1.1. Пусть X – линейное n-мерное пространство над полем R, e1 , ..., en – базис в X и Fk : X k → R . Тогда существует на-
бор чисел {ai1...ik }, ai1...ik R , 1 ≤ ij ≤ n , таких, что
8
(x1, ..., xk ) X k F k (x1, ..., x2 ) = ai1...ik x1i1 ...xkik ,
где xijj – координаты xj в базисе e1, ..., en в X.
Доказательство. Пусть e1, ..., en базис в
X x1 = x1i1 ei1 , ..., xk = xkik eik
и пусть F k (x , ..., x ) : X k |
|
→ R – произвольная полилинейная фор- |
|||||||||||||||||
|
1 |
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ма на X. Рассмотрим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
F k (x , ..., x ) = F k (xi1 e , ..., xik e ) = |
|
|
|
|
|
|||||||||||
|
|
|
|
|
1 |
|
|
k |
|
|
1 i |
|
k |
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
k |
|
|
|
|
|
|
|
= xi1 |
...xik F k (e , ..., e |
) = a |
|
xi1 |
...xik . |
|
|
|
|
|
|||||||
|
|
|
|
1 |
k |
|
|
i |
|
i |
i |
...i 1 |
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
k |
1 |
|
k |
|
|
|
|
|
|
Положили a |
...i |
= Fk |
(e , ..., e |
) – значение формы Fk |
на базис- |
||||||||||||||
|
|
i |
|
|
|
i |
i |
|
|
|
|
|
|
|
|
|
|
||
|
|
1 |
k |
|
|
|
1 |
k |
|
|
|
|
|
|
|
|
|
|
|
ных векторах пространства X. |
|
|
|
|
|
|
|
|
|
|
|
||||||||
Можно считать, что при выборе базиса в X полилинейная форма |
|||||||||||||||||||
отождествляется с набором чисел {ai1...ik }. |
|
|
|
|
|
|
|
||||||||||||
Пусть |
теперь |
|
в |
X |
|
выбран |
другой |
базис |
e1, ..., en |
и |
|||||||||
ai1...ik = F k (ei1 , ..., eik ). Пусть ej = cijei , j = 1, 2, …, n. Находим тен- |
|||||||||||||||||||
зорный закон преобразования числовых наборов ai |
...i |
, ai |
...i |
, отве- |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
k |
1 |
k |
|
|
чающих одной и той же форме Fk : |
|
|
|
|
|
|
|
|
|
||||||||||
a j1... jk |
= F |
k |
(ej1 , ..., ejk |
|
)= F |
k |
i1 |
|
|
ik |
|
|
i1 |
ik |
|
|
|||
|
|
|
(cj ei1 , ..., c jk eik |
)= ai1...ik cj1 ...cjk . |
|
||||||||||||||
Если в X * |
подобрать взаимный базис e1, ..., en базису e , ..., e |
из |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
n |
|
|
X, ei (ej ) = δij , i, j =1, …, n, то |
|
|
|
|
|
|
|
|
|
|
|
||||||||
F k (x , ..., x ) = a |
|
xi1 |
... xik |
= a |
|
ei1 (x )... eik (x ) , |
|
|
|
||||||||||
|
1 |
|
|
k |
i |
|
...i 1 |
|
k |
i ...i |
|
1 |
|
k |
|
|
|
||
|
|
|
|
|
|
1 |
k |
|
|
1 |
k |
|
|
|
|
|
|
|
так как
ei1 (x1) = ei1 (x1j1 ej1 )= x1j1 ei1 (ej1 ) = x1i1 ; …;
eik (xk ) = eik (xkjk ejk )= xkjk eik (ejk )= xkik .
9
Можно было вначале выбрать базис в X * , |
т.е. взять упорядочен- |
||||||||||||
ный набор линейно независимых линейных форм |
e1(x), ..., en (x) , |
||||||||||||
ei : X → R , а затем подобрать в X взаимный ему базис e , ..., e . |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
n |
Итак, полилинейная форма F k : |
|
X k → R при выборе одного из |
|||||||||||
базисов в X или в |
X * |
однозначно определяется набором чисел |
|||||||||||
{ai1...ik }. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Рассмотрим |
фиксированное |
|
число |
k |
|
и множество |
|||||||
FXk ={F k : X k → R} – |
множество |
всех |
полилинейных |
форм |
|||||||||
F k (x , ..., x ) , |
x X . Введем в F |
k |
естественные операции сло- |
||||||||||
1 |
k |
i |
|
|
|
|
|
X |
|
|
|
|
|
жения форм и умножения на число из R: |
|
|
|
|
|||||||||
|
|
F k , F k F |
k |
(x , ..., x ) X k |
|
|
|||||||
|
|
1 |
2 |
|
X |
|
|
1 |
k |
|
|
|
|
|
(F k + F k )(x , ..., x ) = F k (x , ..., x ) + F k |
(x , ..., x ) , |
|
||||||||||
|
1 |
2 |
1 |
k |
|
1 |
1 |
k |
2 |
1 |
k |
|
|
|
F k F k |
λ R |
|
(x , ..., x ) X k , |
|
||||||||
|
|
|
|
|
|
|
|
|
1 |
k |
|
|
|
|
|
(λF k )(x , ..., x ) = λF k (x , ..., x ) . |
|
|
|||||||||
|
|
|
|
1 |
|
k |
|
|
1 |
k |
|
|
|
Относительно этих операций FXk |
является линейным пространст- |
||||||||||||
вом над полем R. |
|
|
|
|
|
|
|
|
FXk |
|
|
||
Определение 1.6. Линейное пространство |
полилинейных |
форм на X называется k-кратным тензорным произведением сопряженного линейному пространству X линейного пространства X * на себя. Обозначать его будем F k =FXk = X * ... X * .
Определение 1.7. Полилинейные формы как элементы линейно-
го пространства F k называются ковариантными тензорами валентности k в X.
Определение 1.8. Линейные формы как элементы пространства
F 1 = X * называются одновалентными тензорами или ковалентными векторами или ковекторами.
Обозначим действительную ось R через F 0 и назовем действительные числа тензорами нулевой валентности.
Если мы поменяем местами линейные пространства X и X * , то получим контравариантные тензоры валентности k, как полили-
10