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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Теорема. Пусть X тАУ произвольное подпр-во Rnи Ua - его покрытие. Тогда существует Разбиением единицы , подчиненному покрытию Ua

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

Производной функции Вж по направлению V (x1,тАж, xn) в точке А называется число . Производная по направлению линейна, удовл. правилу Лейбница.

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

Лемма. В¶(Const)=0.

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

Теорема. Сопоставление касательному векторуВа в т. A производной по направлению этого вектора VAВо{В¶} тАУ изоморфизм.

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

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

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

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

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

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

Теорема. На Mn(UА) существуют такие гладкие кривые x1(t),тАж, xn(t), что касательные вектора к ним образуют касательно пр-во в точке А.

Коммутатором (Производной Ли)векторных полей x и h в системе координат x1,тАж,xnВа наз. векторное такое поле [x, h], чтоВаВа [x,h]i =-i=1,тАж,. Коммутатор тАУ гладкое векторное поле, обладающее св-вами антикоммутативности ([u,v]=-[v,u]),Ва дистрибутивности и линейности в т.ч. [gv,hw]=gh[v,w] .

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

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

Невырожденной наз. такая особая точка векторного поля, что детерминант Вав этой точке отличен от нуля, где xiВа- координаты векторного поляx в системе координат (x1,тАж, xn).

Индексом особой точки векторного поля v(x), наз. знак детерминанта , где xi - координаты векторного поля x в системе координат (x1,тАж, xn).

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

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

Теорема. Пусть a1,тАж,an тАУ голономные л.н.з. поля, тогда локально они являются базисными.

Правильной для отображенияВа Вж из мн-зия M1 в M2 наз. точка из исходного мн-зия M1, такая, что матрица Якоби в этой точке имеет максимальный ранг.

Регулярной точкой отображения из мн-зия M1 в M2 наз. такая точка из мн-зия M2,Ва что все точки из ее прообраза тАУ правильные.

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

Числом вращения векторного поля в особой точке Р наз. степень отображения векторного поля на кривой, окружающей особую точку в единичную окружность по формуле Вжx(x 1,тАж,x n)=,Ва где x - векторное поле на мн-зии. Оно совпадает с индексом особой точки.

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

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

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

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

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

Тензором типа (p, q) ранга p+q наз. полилинейная ф-я от p векторов и q ковекторов. У него np+q координат =T(e1,тАж,ep,E1,тАж,Eq).

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

=.

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

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

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

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

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

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

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

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

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

Теорема. jalt тАУ кососимметричный. jsym тАУ симметричный. (j)alt=(-1)sj.

(j)sym=jsym. Еслиj - симметричный, чтоj=jsym.

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

Операцией опускания индексов наз. операция, ставящая в соответствие тензоруВаВаВаВаВаВаВаВаВаВаВа ВаВатензор =, где aij- невырожденное тензорное поле типа (0, 2) (то есть $ A-1(aij)).

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

.

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

Теорема. .

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

Ñ= Ва+ - .

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

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

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

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

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

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

=.

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

Теорема. На двумерном Римановом мн-ии R=2K, где K тАУ гауссова кривизна, а R =gkl.

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](Ti)=Tq, где [Ñk, Ñl] =(ÑkÑl Ва- ÑlÑk), иВаВа T=(Ti) тАУ тензорное поле на заданном мн-зии.

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

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

Div(Ti)=.

Внешним умножениемВа кососимметричных тензоров j1иj2называется тензорВа j1^j2=(j1Äj2)alt. Оно линейно, антикоммутативно.

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

Алгеброй дифференциальных форм Ù(Mn) наз. алгебра, представителями которой являются линейные комбинации w(k)=Ваи комбинации где тАУ кососимметричное тензорное поле ранга q и индексы j1тАжjq упорядоченные в порядке возрастания.Ва

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

.

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

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

Rot(Вж):=; Div(Вж ):=.

Градиентом внешней формыw наз. внешняя д.ф. dw, компоненты которой в локальной системе координат (x1,тАж,xn) имеют вид:

=. Grad(Вж):=.

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

1) d(w1Ùw2)=dw1Ùw2+w1Ùdw2.

d(dw)=0.

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

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

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

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

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

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

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

.

dy*(w)= y*(dw).

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

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

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

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

Группой когомологий де Рама наз. фактор - пр-во замкнутых внешних дифференциальных форм степени k по подпространству точных форм размерности k мн-зия M и обозначается через Hk(M) или (M) если носителем дифференциальной формы является компакт. Всякая точная форма является замкнутой, так какВаВаВа d(dw тАШ) = dd(w¢)=0.

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

Обратным образом Вж*(w) внешней дифференциальной формы w на M2наз. такая внешняя д.ф. на мн-зии M1, задаваемое формулой: Вж*(x1,тАж,xk)=w(dВж(x1),тАж,dВж(xk)), где x1,тАж,xkпринадлежат касательному пространству точки Р из M2Ваи являются образамиВа отображения Вж, где Вж - гладкое отображение мн-зий .

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

Производной вдоль кривой g наз. выражение: Ñg=xkÑk(), где

g(t) тАУ поле скоростей с координатами {xk} в некоторой системе координат и Ñ - аффинная связность на Mn, задаваемая в системе координат набором частных дифференцирований Ñk.

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

=0.

Геодезической в данной связности Ñ наз. гладкая кривая на мн-зии Mn c аффинной связностью Ñ, еслиВа (g)=0, где Ва- векторное поле скоростей траектории g(t).

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

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

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

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

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

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

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

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

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

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

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

Вместе с этим смотрят:


"Инкарнация" кватернионов


* Алгебры и их применение


*-Алгебры и их применение


10 способов решения квадратных уравнений


Bilet