В диференційній геометрії поняття зв'язності використовується для введення поняття паралельного перенесення, кривини і інших. Першочергово воно виникло для дотичних розшарувань диференційовних многовидів і згодом було узагальнено на інші типові об'єкти, зокрема головні розшарування особливо важливим прикладом яких для диференціальної геометрії є так звані реперні розшарування елементами яких є базиси відповідних дотичних просторів диференційовного многовиду.
Означення
Нехай є головним розшаруванням зі структурною групою . Для даної групи відповідно визначена права дія на розшаруванні
- .
Нехай, як звичайно, також позначає алгебру Лі групи .
Для дана дія визначає ін'єктивне лінійне відображення Елементи простору , що є образами при цьому відображенні називаються вертикальними векторами. Фактор-простір по підпростору вертикальних векторів є ізоморфним до . Зокрема відображення утворюють точну послідовність
Фактично задання зв'язності полягає у виборі доповнень в до підпростору вертикальних векторів. Ці доповнення визначаються як ядра деякої -значної 1-форми на розшаруванні, що для вертикальних векторів є оберненою до відображень
Формально зв'язністю називається -значна 1-форма , для якої виконуються умови:
- для всіх .
і
- для всіх .
де позначає множення справа на елемент , — обмеження диференційної форми в точці , — приєднане представлення групи Лі
Підпростір векторів, що належать ядру називається простором горизонтальних векторів. Якщо позначити його як , то справедливою є рівність
- для всіх
Дану рівність є еквівалентною першій умові означення зв'язності.
Властивості і приклади
На будь-якому тривіальному головному розшаруванню існує зв'язність яку задає класична Форма Маурера — Картана, якщо її значення визначати на другому аргументі добутку.
Будь-яка опукла комбінація форм, що задають зв'язності теж є зв'язністю. Як наслідок з цієї і попередньої властивості на довільному головному розшаруванні над паракомпактним гладким многовидом можна ввести зв'язність. Для цього потрібно ввести зв'язності породжені формами Маурера — Картана на локально скінченному покритті локально тривіальними відкритими підмножинами і застосувати відповідне розбиття одиниці.
Нехай і — два диференційовні головні розшарування зі структурною групою і також і — диференційовні відображення для яких Тоді для довільної зв'язності на диференційна форма є зв'язністю на
Кривина
Формою кривини для зв'язності називається 2-форма:
В формулі вище використані позначення
- де справа позначає дужки Лі векторних полів
і зовнішня похідна :
Якщо форма кривини всюди рівна нулю, то зв'язність називається плоскою. На розшаруванні можна ввести плоску зв'язність тоді і тільки тоді коли існує покриття бази відкритими множинами для яких є тривіальними розшаруваннями і функції переходу є константами.
Форма кривини є горизонтальною, тобто якщо хоча б один з її аргументів є вертикальним вектором, то в цій точці вона приймає нульове значення. Також форма кривини є -еквіваріантною, тобто
Рівність Б'янкі
Зовнішня похідна форми кривини рівна
- .
Паралельне перенесення
Для довільної гладкої кривої і точки існує єдина крива для якої і окрім того дотичний вектор до є горизонтальним вектором у відповідній точці кривої.
Для довільної гладкої кривої можна визначити відображення
Відображення , називається паралельним перенесенням вздовж кривої .
Для довільної точки введені відображення визначають групу голономій як підкрупу групи дифеоморфізмів простору щодо паралельних перенесень вздовж замкнутих кривих з початком і кінцем в цій точці. А саме якщо гладка крива для якої і то визначена як вище крива для якої визначає відображення . Дане відображення є автоморфізмом простору Група автоморфізмів для всіх таких кривих називається групою голономій.
Див. також
Посилання
- Manifold Atlas [ 13 червня 2017 у Wayback Machine.]
Література
- Dupont, Johan L. (1978), Curvature and Characteristic Classes, Lecture Notes in Mathematics, Springer-Verlag, ISBN
- Kobayashi, Shoshichi (1957), Theory of Connections, Ann. Mat. Pura Appl., 43: 119—194, doi:10.1007/BF02411907
- Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of Differential Geometry, т. Vol. 1 (вид. New), Wiley Interscience, ISBN
- Kolář, Ivan; Michor, Peter; Slovák, Jan (1993), (PDF), Springer-Verlag, архів оригіналу (PDF) за 30 березня 2017, процитовано 16 березня 2017
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
V diferencijnij geometriyi ponyattya zv yaznosti vikoristovuyetsya dlya vvedennya ponyattya paralelnogo perenesennya krivini i inshih Pershochergovo vono viniklo dlya dotichnih rozsharuvan diferencijovnih mnogovidiv i zgodom bulo uzagalneno na inshi tipovi ob yekti zokrema golovni rozsharuvannya osoblivo vazhlivim prikladom yakih dlya diferencialnoyi geometriyi ye tak zvani reperni rozsharuvannya elementami yakih ye bazisi vidpovidnih dotichnih prostoriv diferencijovnogo mnogovidu OznachennyaNehaj p P M displaystyle pi colon P rightarrow M ye golovnim rozsharuvannyam zi strukturnoyu grupoyu G displaystyle G Dlya danoyi grupi vidpovidno viznachena prava diya na rozsharuvanni R P G P displaystyle R colon P times G rightarrow P Nehaj yak zvichajno takozh g displaystyle mathfrak g poznachaye algebru Li grupi G displaystyle G Dlya p P displaystyle p in P dana diya viznachaye in yektivne linijne vidobrazhennya R p g T p P displaystyle R p mathfrak g to T p P Elementi prostoru T p P displaystyle T p P sho ye obrazami pri comu vidobrazhenni nazivayutsya vertikalnimi vektorami Faktor prostir T p P displaystyle T p P po pidprostoru vertikalnih vektoriv ye izomorfnim do T p p M displaystyle T pi p M Zokrema vidobrazhennya utvoryuyut tochnu poslidovnist 0 g R p T p P p T p p M 0 displaystyle 0 to mathfrak g xrightarrow R p T p P xrightarrow pi T pi p M to 0 Faktichno zadannya zv yaznosti polyagaye u vibori dopovnen v T p P displaystyle T p P do pidprostoru vertikalnih vektoriv Ci dopovnennya viznachayutsya yak yadra deyakoyi g displaystyle mathfrak g znachnoyi 1 formi na rozsharuvanni sho dlya vertikalnih vektoriv ye obernenoyu do vidobrazhen R p displaystyle R p Formalno zv yaznistyu nazivayetsya g displaystyle mathfrak g znachna 1 forma w W 1 P g displaystyle omega in Omega 1 P mathfrak g dlya yakoyi vikonuyutsya umovi R g w Ad g 1 w displaystyle R g omega operatorname Ad g 1 circ omega dlya vsih g G displaystyle g in G i w p R p X X displaystyle omega p circ R p X X dlya vsih X g displaystyle X in mathfrak g de R g P P displaystyle R g P rightarrow P poznachaye mnozhennya sprava na element g G displaystyle g in G w p displaystyle omega p obmezhennya diferencijnoyi formi v tochci p P displaystyle p in P Ad G G L g displaystyle operatorname Ad G rightarrow GL mathfrak g priyednane predstavlennya grupi Li Ad g X d d t g exp t X g 1 t 0 displaystyle operatorname Ad g X frac d dt g exp tX g 1 bigl t 0 Pidprostir vektoriv sho nalezhat yadru w p displaystyle omega p nazivayetsya prostorom gorizontalnih vektoriv Yaksho poznachiti jogo yak H p displaystyle H p to spravedlivoyu ye rivnist R p H p H p g displaystyle R p H p H pg dlya vsih p P g G displaystyle p in P g in G Danu rivnist ye ekvivalentnoyu pershij umovi oznachennya zv yaznosti Vlastivosti i prikladiNa bud yakomu trivialnomu golovnomu rozsharuvannyu M G displaystyle M times G isnuye zv yaznist yaku zadaye klasichna Forma Maurera Kartana yaksho yiyi znachennya viznachati na drugomu argumenti dobutku Bud yaka opukla kombinaciya form sho zadayut zv yaznosti tezh ye zv yaznistyu Yak naslidok z ciyeyi i poperednoyi vlastivosti na dovilnomu golovnomu rozsharuvanni nad parakompaktnim gladkim mnogovidom mozhna vvesti zv yaznist Dlya cogo potribno vvesti zv yaznosti porodzheni formami Maurera Kartana na lokalno skinchennomu pokritti lokalno trivialnimi vidkritimi pidmnozhinami i zastosuvati vidpovidne rozbittya odinici Nehaj p P M displaystyle pi colon P rightarrow M i p Q N displaystyle bar pi colon Q rightarrow N dva diferencijovni golovni rozsharuvannya zi strukturnoyu grupoyu G displaystyle G i takozh f P Q displaystyle varphi colon P rightarrow Q i ps M N displaystyle psi colon M rightarrow N diferencijovni vidobrazhennya dlya yakih p f ps p displaystyle bar pi circ varphi psi circ pi Todi dlya dovilnoyi zv yaznosti w displaystyle omega na Q displaystyle Q diferencijna forma f w displaystyle varphi omega ye zv yaznistyu na P displaystyle P KrivinaFormoyu krivini dlya zv yaznosti w displaystyle omega nazivayetsya 2 forma W d w 1 2 w w displaystyle Omega d omega tfrac 1 2 omega wedge omega V formuli vishe vikoristani poznachennya w h v 1 v 2 w v 1 h v 2 w v 2 h v 1 displaystyle omega wedge eta v 1 v 2 omega v 1 eta v 2 omega v 2 eta v 1 de sprava displaystyle cdot cdot poznachaye duzhki Li vektornih poliv i zovnishnya pohidna d w displaystyle d omega d w X Y X w Y Y w X w X Y displaystyle d omega X Y X omega Y Y omega X omega X Y Yaksho forma krivini vsyudi rivna nulyu to zv yaznist nazivayetsya ploskoyu Na rozsharuvanni p P M displaystyle pi colon P rightarrow M mozhna vvesti plosku zv yaznist todi i tilki todi koli isnuye pokrittya U a displaystyle U alpha bazi M displaystyle M vidkritimi mnozhinami dlya yakih p 1 U a displaystyle pi 1 U alpha ye trivialnimi rozsharuvannyami i funkciyi perehodu g a b U a U b G displaystyle g alpha beta U alpha cap U beta to G ye konstantami Forma krivini ye gorizontalnoyu tobto yaksho hocha b odin z yiyi argumentiv ye vertikalnim vektorom to v cij tochci vona prijmaye nulove znachennya Takozh forma krivini ye G displaystyle G ekvivariantnoyu tobto R g W Ad g 1 W displaystyle R g Omega operatorname Ad g 1 circ Omega Rivnist B yanki Zovnishnya pohidna formi krivini rivna d W W w displaystyle d Omega left Omega omega right Paralelne perenesennyaDlya dovilnoyi gladkoyi krivoyi g 0 1 M displaystyle gamma left 0 1 right rightarrow M i tochki x p 1 g 0 displaystyle x in pi 1 gamma 0 isnuye yedina kriva g 0 1 P displaystyle tilde gamma left 0 1 right rightarrow P dlya yakoyi g x 0 x displaystyle tilde gamma x 0 x p g x g displaystyle pi tilde gamma x gamma i okrim togo dotichnij vektor do g displaystyle tilde gamma ye gorizontalnim vektorom u vidpovidnij tochci krivoyi Dlya dovilnoyi gladkoyi krivoyi g 0 1 M displaystyle gamma left 0 1 right rightarrow M mozhna viznachiti vidobrazhennya P g x g x 1 x p 1 g 0 displaystyle P gamma x tilde gamma x 1 x in pi 1 gamma 0 Vidobrazhennya P g p 1 g 0 p 1 g 1 displaystyle P gamma pi 1 gamma 0 rightarrow pi 1 gamma 1 nazivayetsya paralelnim perenesennyam vzdovzh krivoyi g displaystyle gamma Dlya dovilnoyi tochki p P displaystyle p in P vvedeni vidobrazhennya viznachayut grupu golonomij yak pidkrupu grupi difeomorfizmiv prostoru F p p 1 p displaystyle F p pi 1 p shodo paralelnih perenesen vzdovzh zamknutih krivih z pochatkom i kincem v cij tochci A same yaksho g 0 1 P displaystyle gamma left 0 1 right rightarrow P gladka kriva dlya yakoyi g 0 g 1 p displaystyle gamma 0 gamma 1 p i x F p displaystyle x in F p to viznachena yak vishe kriva g displaystyle tilde gamma dlya yakoyi g 0 x displaystyle tilde gamma 0 x viznachaye vidobrazhennya f g x g 1 displaystyle f gamma x tilde gamma 1 Dane vidobrazhennya ye avtomorfizmom prostoru F p displaystyle F p Grupa avtomorfizmiv f g displaystyle f gamma dlya vsih takih krivih g displaystyle gamma nazivayetsya grupoyu golonomij Div takozhAfinna zv yaznist Golovne rozsharuvannya Zv yaznist na vektornih rozsharuvannyah Forma Maurera KartanaPosilannyaManifold Atlas 13 chervnya 2017 u Wayback Machine LiteraturaDupont Johan L 1978 Curvature and Characteristic Classes Lecture Notes in Mathematics Springer Verlag ISBN 3 540 08663 3 Kobayashi Shoshichi 1957 Theory of Connections Ann Mat Pura Appl 43 119 194 doi 10 1007 BF02411907 Kobayashi Shoshichi Nomizu Katsumi 1996 Foundations of Differential Geometry t Vol 1 vid New Wiley Interscience ISBN 0 471 15733 3 Kolar Ivan Michor Peter Slovak Jan 1993 PDF Springer Verlag arhiv originalu PDF za 30 bereznya 2017 procitovano 16 bereznya 2017