Дифференциальная геометрия

Дифференциальная геометрия

Полугруппой наз. множество объектов, если для его элементов определена замкнутая ассоциативная бинарная операция.

Группой наз. множество объектов, если для его элементов определена замкнутая ассоциативная бинарная операция и существует единица.

Кольцо - множество объектов с двумя бинарными операциями, являющееся группой по одной из операций, и полугруппой по второй операции, причем для элементов кольца справедлив закон ассоциативности и дистрибутивности.

Поле – кольцо с единицей, содержащее элементы отличные от нуля, для каждого из которых определен обратный элемент по “умножению” (являющееся группой по умножению).

Линейным векторным пр-вом над кольцом наз. множество объектов называемых векторами с определенными операциями векторного сложения и умножения вектора на скаляр, такими, что это множество является группой по векторному сложению и справедливы законы ассоциативности и дистрибутивности для умножения на скаляр.

Алгеброй нам кольцом скаляров с единицей наз. множество объектов с определенными над ними тремя операциями сложения, умножения и умножения на элементы из кольца скаляров, что оно является кольцом по первым двум операциям и линейным векторным пр-вом над кольцом скаляров.

Факторгруппой называется множество объектов, являющиеся собой классами эквивалентности некоторой заданной группы G по подгруппе Н, каждый из которых получается последовательным сложением элементов из группы G с заданным элементом из подгруппы Н. Факторгруппа обозначается G/H.

Отображением одного множества в другое наз. набор правил сопоставляющих каждому объекту из первого множества объект из второго множества, называемого образом отображения.

Мономорфизмом называется отображение, устанавливающее взаимно однозначное соответствие между образом и прообразом.

Эпиморфизмом называется такое отображение, что для каждой точки образа существует элемент из прообраза, который в него перешел.

Система координат есть отображение некоторого пространства в числовые последовательности фиксированной длины, называемые координатами.

Дифференциалом отображения из множества с системой координат u, v во множество с системой координат x, y наз. отображение касательных пр-в V_>u> в V_>v>, задаваемое матрицей D(x, y)/D(u, v).

Рангом квадратной матрицы порядка n наз. число ее линейно независимых строк.

Ранг наз. максимальным, если он совпадает с порядком матрицы.

Метрическим пр-вом наз. такое множество объектов, называемых точками, что для каждой упорядоченной пары точек этого множества определено неотрицательное действительное число, удовлетворяющее правилом треугольника и называемое расстоянием или метрикой.

Окрестностью радиуса R точки метрического пространства наз. множество точек, расстояние от которых до заданной точки не превышает радиуса.

Предельной точкой множества в метрическом пространстве наз. такая точка, что в любой сколь угодно малой окрестности этой точки найдется, по крайней мере, одна точка из этого множества кроме ее самой.

Открытым наз. такое множество, что для каждой его точки существует окрестность, целиком лежащая в этом множестве.

Замкнутым множеством наз. такое множество, дополнение к которому открыто.

Компактным наз. ограниченное замкнутое множество.

Связанным наз. множество, которое нельзя представить в виде непересекающихся множеств, таких, что одно множество не содержит предельную точку другого.

Областью наз. открытое связанное множество.

n-мерным мн-зием наз. метрическое пр-во M, если каждая точка Р которого содержится в окрестности U из M, гомеоморфной некоторой области евклидова пространства Rⁿ размерности n.

Атлас карт - система открытых множеств {U_>i>} покрывающих мн-зие М.

Непрерывным в точке а отображением  топологического пространства С в С’ наз. такое отображение , что для каждой окрестности U’ точки (a) в С’ существует такая окрестность точки a в С, образ которой содержится в U’.

Непрерывным отображением наз. отображение, непрерывное в каждой точке.

Гладким отображением наз. непрерывное отображение.

Гомеоморфизмом наз. непрерывное взаимно однозначное отображение, имеющее обратное отображение.

Координатный гомеоморфизм – отображение карты атласа М в соответствующую область V из Rⁿ.

Диффеоморфизмом  наз. гомеоморфизм являющийся гладким отображением, такой, что обратное отображение тоже является гладким.

Локальной системой координат наз. система координат в области V евклидова пространства Rⁿ, где V – образ некоторой карты мн-зия M.

Функциям перехода от координат {} к {}называются функции, преобразующие одну в другую части двух карт на месте их пересечения = .

Гладким мн-зием наз. мн-зие, если на некотором его атласе функции перехода от координат {}к {}непрерывно дифференцируемы для любой пары карт.

Погружением наз. такое гладкое отображение из одного мн-зия в другое, что во втором мн-зии выделяется некая подобласть, для которой имеет место взаимно однозначное соответствие с точками исходного мн-зия.

Вложением наз. такое погружение, если образом погружения является замкнутое множество.

Подмн-зием наз. образ мн-зия при вложении.

Ориентируемым мн-зием наз. такое мн-зие, для которого существует атлас, где все матрицы перехода из одной карты в другую имеют положительный якобиан.

Разбиением единицы , подчиненному покрытию U_>> для многообразия M называется такая система действительнозначных функций _>>, что sup_>> достигается на U_>>_> >, сумма _>>(x)=1 на M.

Теорема. Пусть X – произвольное подпр-во Rⁿ и U_>> - его покрытие. Тогда существует Разбиением единицы , подчиненному покрытию U_>>

Касательным пр-вом в точке a мн-зия М наз. совокупность касательных векторов кривых, проходящих через эту точку.

Производной функции  по направлению V (¹,…, ⁿ) в точке А называется число . Производная по направлению линейна, удовл. правилу Лейбница.

Лемма. Пусть функция  равна нулю в окр-ти т. A и {} – набор формальных операция, ставящих функции в соотв. Нек-рое число и удовл. пр-лу Лейбница. Тогда (A)=0.

Лемма. (Const)=0.

Лемма Адамара. Пусть  - дифференцируема в окр-ти т. A тогда для т. B из окр-ти А справедливо соотношение : (B)=(A)+(-).

Теорема. Сопоставление касательному вектору в т. A производной по направлению этого вектора V_>A>{} – изоморфизм.

Гладким расслоением называется составной объект, состоящий из пр-ва расслоения (гладкое мн-зие Е), базы расслоения (гладкое мн-зие М), проекции расслоения (гладкое отображение из пространства расслоения в базу, дифференциал которого имеет максимальный ранг), слоя (гладкое мн-зие F), структурной группа G гладких преобразований слоя F.

Структура расслоения задается набором диффеоморфизмов, которые каждому прямому произведению слоя F на некоторую область из базы ставят в соответствие прообраз этой области на расслоении а так же функциями перехода между прямыми произведениями слоя F и областями базы, где эти области пересекаются, причем функции склейки для слоя являются элементами структурной группы G гладких преобразований слоя F.

Касательным расслоением гладкого мн-я M наз. объединение всех касательных пространств мн-зия.

Теорема. Размерность касательного расслоение n-мерного гладкого мн-я M – 2n.

Теорема. Пусть  гладкое сюръективное отображение с компактными прообразами точек, N  связное и все точки f регулярны. Тогда f  расслоение. (В частности, все прообразы  одинаковые многообразия).

Векторное поле определено на мн-зии, если каждой точке мн-зия сопоставлен некоторый вектор, координаты которого меняются непрерывно от точки к точке. Векторные поля образуют бесконечномерное пр-во.

Теорема. На Mⁿ(U_>А>) существуют такие гладкие кривые x¹(t),…, xⁿ(t), что касательные вектора к ним образуют касательно пр-во в точке А.

Коммутатором (Производной Ли)векторных полей  и  в системе координат x¹,…,xⁿ наз. векторное такое поле [, ], что [,]ⁱ =- i=1,…,n. Коммутатор – гладкое векторное поле, обладающее св-вами антикоммутативности ([u,v]=-[v,u]), дистрибутивности и линейности в т.ч. [gv,hw]=gh[v,w] .

Неособой точкой векторного поля v(x), наз. точка, в некоторой окрестности которой векторное поле непрерывно и не обращается в нуль.

Особой точкой векторного поля v(x), наз. точка, в некоторой окрестности которой нарушаются хотя бы одно из двух условий:1).в некоторой окрестности точки векторное поле непрерывно и 2) векторное поле не обращается в нуль в этой точке.

Невырожденной наз. такая особая точка векторного поля, что детерминант в этой точке отличен от нуля, где ⁱ - координаты векторного поля  в системе координат (x¹,…, xⁿ).

Индексом особой точки векторного поля v(x), наз. знак детерминанта , где ⁱ - координаты векторного поля  в системе координат (x¹,…, xⁿ).

Базисным наз. такое векторное поле на мн-зии, что вектора, соответствующие ему на карте в каждой точке можно дополнить до базиса на этой карте.

Голономными называются такие векторные поля v и w, что [v,w]=0.

Теорема. Пусть a_>1>,…,a_>n> – голономные л.н.з. поля, тогда локально они являются базисными.

Правильной для отображения  из мн-зия M_>1> в M_>2> наз. точка из исходного мн-зия M_>1>, такая, что матрица Якоби в этой точке имеет максимальный ранг.

Регулярной точкой отображения из мн-зия M_>1> в M_>2> наз. такая точка из мн-зия M_>2>, что все точки из ее прообраза – правильные.

Степенью отображения в регулярной точке, прообраз которой состоит из конечного числа точек, наз. сумма знаков детерминантов отображений из прообразов регулярной точки в эту точку.

Числом вращения векторного поля в особой точке Р наз. степень отображения векторного поля на кривой, окружающей особую точку в единичную окружность по формуле _>> ( ¹,…, ⁿ)=, где  - векторное поле на мн-зии. Оно совпадает с индексом особой точки.

Сопряженным к пр-ву векторов V называют пр-во V^* линейных вектор-функций, называемых ковекторами. Матрицей перехода от одной системы координат К другой является матрица, обратная к якобиану.

Гладкой гомотопией отображения  из M в N наз. такое отображение цилиндра, полученного как результат прямого произведения гладкого мн-зия N на отрезок [0, 1], в гладкое мн-зие М, такое, что отображение точки (x,0) совпадает с (x).

Гомотопией или процессом гомотопии называются все множество гладких гомотопий.

Гомотопными называются отображения _>t>(x), такие, что существует такая гомотопия, что оба отображения содержатся в ней.

Гомотопически эквивалентными называют такие два многообразия, что существуют гладкие отображения, переводящие одно в другое и наоборот, что их композиции гомотопны соответствующим тождественным отображениям.

Тензором типа (p, q) ранга p+q наз. полилинейная ф-я от p векторов и q ковекторов. У него n^p+q координат =T(e_>1>,…,e_>p>,E¹,…,E^q).

Тензором типа (p, q) ранга p+q наз. объект, задаваемый в каждой система координат набором чисел, преобразующихся при замене систем координат (x)(x’) по закону:

= .

Тензором типа (p, q) ранга p+q наз. полилинейный функционал, заданный на мн-ии, аргументы к-го являются векторные поля.

Теорема. Эти определения тензора эквивалентны.

Теорема. Значение тензора на p векторах и q ковекторах инвариантно относительно системы координат.

Сложение тензоров: =_>1>+_>2>.

Умножение Тензоров. =.

Свертка Тензора.

Симметрирование. .

Альтернирование. .

Симметричным (Кососимметричным) называется такой тензор , что = (=(-1)^).

Теорема. _>alt> – кососимметричный. _>sym >– симметричный. ()_>alt>=(-1)^ .

()_>sym>=_>sym>. Если  - симметричный, что =_>sym>.

Теорема. Пр-во кососимметричных тензоров типа (p,0) имеет размерность 0, если p>n и 1 иначе.

Операцией опускания индексов наз. операция, ставящая в соответствие тензору тензор =, где a_>ij>_> >- невырожденное тензорное поле типа (0, 2) _> >(то есть  A^-1 (a^ij)).

Теорема. Симметричность инвариантна относительно замены координат.

.

Символами Кристоффеля наз. функция или в коорд. .

Теорема. .

Тензором Ковариантного дифференцирования  или связностью наз. тензор:

= + _> >- .

Тензор кручения наз. тензор, задаваемый в каждой системе координат равенством:

Симметричной наз. связность , тензор кручения которой равен нулю. линейна и удовлетворяет правилу Лейбница.

Теорема. Связность симметрична титт, когда .

Согласованной с Римановой связностью на мн-ии M называется такая Метрика G, что G=0 всюду на мн-ии.

Теорема. На римановом мн-ии существует единственная риманова связность, согласованная с метрикой.

Тензором кривизны Римана данной связности  наз. следующий тензор:

=.

Теорема. Пусть задано многообразие M и пусть тензор кривизны R на этом многообразии отличен от нуля во всех точках, тогда на многообразии M нельзя ввести локально-евклидовы координаты, т.е. такие, в которых матрица g_>ij> постоянна.

Теорема. На двумерном Римановом мн-ии R=2K, где K – гауссова кривизна, а R =g^kl.

R(X,Y)Z=_>x>_>y>(z)- _>y>_>x>(z)- _>[x,y]>(z).

Кривизной по двумерному направлению X,Y называется число R()=(R(X,Y)X,Y), где X, Y – заданные векторные поля.

Теорема. Пусть M – двумерное риманово многообразие и K(P) – гауссова кривизна, тогда R()=K(P).

Коммутатором ковариантного дифференцирования тензора наз. тензор [_>k,>_>l>](Tⁱ)=T^q, где [_>k, >_>l>] =(_>k>_>l > - _>l>_>k>), и T=(Tⁱ) – тензорное поле на заданном мн-зии.

Кососимметричным тензорным полем наз. такое тензорное поле , что его компоненты меняют знак при транспонировании любых двух соседних индексов одного типа.

Дивергенцией векторного поля по определению называют тензор

Div(Tⁱ)=.

Внешним умножением кососимметричных тензоров _>1> и _>2>_> >называется тензор _>1>^_>2>=(_>1>_>2>)_>alt>. Оно линейно, антикоммутативно.

Св-во. Пусть _>1> и _>2 >кососимметричные тензоры типа (p,0) и (q,0), тогда _>2>^_>1>=(-1)^pq_>1>^_>2>.

Алгеброй дифференциальных форм (Mⁿ) наз. алгебра, представителями которой являются линейные комбинации ^(k)= и комбинации где _> >– кососимметричное тензорное поле ранга q и индексы j1…jq упорядоченные в порядке возрастания.

Внешними дифференциальными формами называются элементы алгебры дифференциальных форм ^(k). Они инвариантны относительно замены координат т.е.

.

Теорема. Многообразие ориентируемо титт, когда на нем задана диф. форма w, отличная от нуля во всех точках мн-я.

Теорема. Размерность дифференциальных форм степени k равна .

Rot():=; Div( ):=.

Градиентом внешней формы  наз. внешняя д.ф. d, компоненты которой в локальной системе координат (x¹,…,xⁿ) имеют вид:

=. Grad():=.

Градиент внешней формы линеен и обладает следующими свойствами:

1) d(_>1>_>2>)=d_>1>_>2>+_>1> d_>2>.

d(d)=0.

Замкнутой внешней дифференциальной формой наз. внешняя д.ф. с нулевым градиентом.

Точной внешней дифференциальной формой наз. внешняя д.ф. , если ее можно представить в виде градиента некоторой дифференциальной формы.

Носителем дифференциальной формы наз. Замыкание множества, на котором дифференциальная форма отлична от нуля.

Сосредоточенной , относительно заданной точки, дифференциальной формой наз. такая д.ф., что она отлична от нуля в достаточно малой окрестности заданной точки.

Ограничением дифференциальной формы по отношению к мн-зию М наз. такая д.ф. над подмн-зием К мн-зия М, что она тождественно равна исходной дифференциальной форме на подмн-зии К и нулю вне его.

Продолжением дифференциальной формы по отношению к подмн-зию К мн-зия М, наз. такая д.ф. над мн-зием М что она тождественно равна исходной дифференциальной форме на подмн-зии К.

Теорема. Пусть  - отображение из мн-я M в мн-е N, пусть ^* - отображение диф. форм из M в N, тогда

.

d^*(w)= ^*(dw).

Сл-е. Замкнутость и точность диф. форм - инвариант.

Интегралом диф. формы w по карте D ориентируемого мн-ия M называется выражение , где _>x> ровно знаку ориентации карты D.

Утверждение. Для интегрируемой ф-ии  найдется такая диф. форма w=_>x>(x), где _>x> ровно знаку ориентации карты D, а G – метрика, что их интегралы равны.

Формула Стокса. Для ориентируемого многообразия с краем M и диф. формы w .

Группой когомологий де Рама наз. фактор - пр-во замкнутых внешних дифференциальных форм степени k по подпространству точных форм размерности k мн-зия M и обозначается через H^k(M) или (M) если носителем дифференциальной формы является компакт. Всякая точная форма является замкнутой, так как d(d ‘) = dd()=0.

Кольцо всех замкнутых внешних дифференциальных форм произвольной степени мн-я M обозначается через H^*(M).

Обратным образом *() внешней дифференциальной формы  на M_>2> наз. такая внешняя д.ф. на мн-зии M_>1>, задаваемое формулой: *(_>1>,…,_>k>)=(d(_>1>),…,d(_>k>)), где _>1>,…,_>k>_> >принадлежат касательному пространству точки Р из M_>2> и являются образами отображения , где  - гладкое отображение мн-зий .

Теорема. Группы когомологий де Рама гомотопных мн-й изоморфны.

Производной вдоль кривой  наз. выражение: _>> =^k_>k>(), где

(t) – поле скоростей с координатами {^k} в некоторой системе координат и  - аффинная связность на Mⁿ, задаваемая в системе координат набором частных дифференцирований _>k>.

Уравнением параллельного переноса наз. уравнение

=0.

Геодезической в данной связности  наз. гладкая кривая на мн-зии Mⁿ c аффинной связностью , если _> >()=0, где _> > - векторное поле скоростей траектории (t).

Теорема. Геодезическая в данной связности  задается уравнением =0.

Теорема. Геодезическими линиями римановой связности на сфере со стандартной метрикой являются все центральные плоские сечения сферы и только они.

Теорема. Геодезическими линиями римановой связности на псевдосфере в модели Пуанкаре со стандартной метрикой являются все дуги окружностей выходящих на абсолют под прямым углом и только они.

Теорема. Локально существует единственная геодезическая кривая, проходящая через заданную точку.

Лагранжианом называют функцию , зависящую от трех групп переменных 1n, 1n, 1ik.

Стационарной для функционала J называется такая ф-я , что по любому направлению  .

Системой функциональных уравнений Эйлера называется система .

Теорема. Функция  является экстремальной для функционала J титт, когда она удовлетворяет системе ф. ур-й Эйлера.

Теорема. Пусть дана кривая  и функционал . Тогда экстремалями функционала E являются геодезические траектории (t), параметризованные параметром, пропорциональным натуральному.

Теорема. Функция  является экстремальной для функционала J титт, когда она удовлетворяет системе ф. ур-й Эйлера.

Теорема. Пусть дана кривая  и функционал . Тогда экстремалями функционала L являются траектории получающиеся из геодезических путем гладких замен параметров на них.

Список литературы

Для подготовки данной применялись материалы сети Интернет из общего доступа