У математиці, зокрема топології та диференціальній геометрії головним розшаруванням називається об'єкт який локально виглядає як прямий добуток X × G деякого простору X і групи G. Залежно від ситуації X може бути, наприклад, топологічним простором або диференційовним многовидом, а G відповідно топологічною групою або групою Лі.
Сам прямий добуток є окремим випадком головного розшарування який називається тривіальним головним розшаруванням.
Окрім топології й диференціальної геометрії де вони є одними з найважливіших об'єктів вивчення головні розшарування також широко використовуються в теоретичній фізиці зокрема калібрувальних теоріях.
Формальне визначення
Єдиного стандартного визначення головного розшарування немає. Як і для деяких інших видів розшарувань у математичній літературі існує декілька визначень, що відрізняються декількома моментами. Нижче подано один з поширених варіантів визначення.
Нехай — локально тривіальне розшарування, де , і є топологічними просторами, що називаються загальним простором, базовим простором і шаром відповідно, а — неперервне сюр'єктивне відображення. Нехай також — покриття бази відкритими множинами, і — відповідні їм відображення тривіалізації. Якщо множина є непустою і , то відображення визначене з рівності є автоморфізмом (гомеоморфізмом на себе) простору . Таким чином визначене відображення
Нехай тепер — топологічна група, для якої визначена неперервна дія на просторі . Якщо всі визначені вище автоморфізми визначаються дією якогось елемента групи і відображення є неперервним то таке розшарування називається G-розшаруванням.
G-розшарування називається головним розшаруванням, якщо стандартний шар є гомеоморфним самій групі . Дія групи на всіх шарах визначається дією на локальній тривіалізації, де вона визначається звичайним множенням елементів групи. На загальному просторі теж природно визначається множення. Якщо і , де і існує тривіалізація для якої то .
У випадку гладких структур визначення залишаються такими ж тільки поняття топологічних просторів, неперервних відображень і топологічних груп замінюють диференційовними многовидами, диференційовними відображеннями й групами Лі.
В альтернативних визначеннях часто не вимагається неперервність (диференційовність) відображень . Також вимоги локальної тривіальності замінюються на деякі слабші вимоги.
Властивості
- Однією з найважливіших властивостей головних розшарувань є досить простий критерій тривіальності розшарування, тобто критерій того чи є розшарування гомеоморфним (чи дифеоморфним для категорії гладких многовидів) тривіальному розшаруванню розшарування
- Головне розшарування є тривіальним тоді й тільки тоді коли для нього існує глобальний переріз. Аналогічне твердження не є справедливим для довільного локально тривіального розшарування.
- Більш загально для підмножини в існує локальна тривіалізація тоді і тільки тоді коли для цієї множини існує локальний переріз. Справді при наявності такої тривіалізації можна визначити переріз як
- , де є одиничним елементом групи .
- Навпаки для деякого локального перерізу локальну тривіалізацію можна визначити як: для
- Визначені локальними перерізами локальні тривіалізації є -еквіваріантними, тобто: якщо тривіалізацію
- записати як
- то відображення з шару над в групу задовольняє рівність:
- Якщо тепер — деякий тривіалізаційний атлас і локальні перерізи на множинах визначені як і раніше і перетин двох множин є непустим, то
- де , а відображення визначене як і раніше.
- Якщо є головним -розшаруванням у категорії гладких многовидів, то група Лі діє вільно на і множина орбіт є дифеоморфною до базового простору .
- Навпаки можна дати характеристику гладких головних розшарувань на основі цих властивостей: нехай є гладким многовидом, є групою Лі й визначена дія групи яка є гладкою, вільною і для відображень визначених цією дією прообрази компактних множин є компактними. Тоді:
- (простір орбіт) є гладким многовидом,
- Проєкція є субмерсією,
- є гладким головним розшаруванням.
Приклади
- Найпростішим прикладом головного розшарування є тривіальне розшарування У такому випадку є проєкцією на першу компоненту, усі тривіалізаційні відображення є тотожними відображеннями, а дія групи визначається множенням на дугу компонента.
- Основним прикладом є так зване реперне розшарування або розшарування баз векторних просторів. У цьому випадку кожній точці базового простору присвоюється деяка впорядкований базис векторного простору так, що ці базиси змінюються неперервно зі зміною базисної точки. Структурною групою в цьому випадку є загальна лінійна група.
- Для категорії гладких многовидів найважливіший приклад такої побудови пов'язаний з дотичним розшаруванням. Нехай M — диференційовний многовид, — координатна множина і — відповідні координатні функції. Тоді векторні поля є базисом дотичного розшарування .
- Усі інші базиси на цьому дотичному розшаруванні отримуються як де , а є диференційовним відображенням і дотичні простори в усіх точках множини ідентифікуються через базиси з координатних дотичних векторів. Тоді як тривіальні відображення можна взяти відображення
- Якщо — інша координатна множина і — відповідні координатні функції то перехід між векторними полями і відбувається за допомогою матриця Якобі координатних функцій. Ці матриці гладко залежать від елементів множини
- Множини довільного координатного атласу в цьому випадку будуть множинами тривіалізаційного атласу з визначеними вище відображеннями тривіалізації. Перехідні відображення на загальній лінійній групі тоді будуть рівні множенню справа на відповідні матриці Якобі
- Нехай — довільне локально тривіальне -розшарування з тривілізаційним атласом і відповідними неперервними відображеннями переходу . Тоді з цим розшаруванням природно пов'язане головне розшарування з тим самим базовим простором локальним покриттям і відображеннями , але стандартний шар у ньому замість рівний і локально розшарування має вигляд замість Замість дії групи на просторі розглядається дія групи через звичайне множення в групі. Визначене так розшарування називається асоційованим головним розшаруванням.
- Оскільки головні розшарування є загалом простішими, ніж довільні локально тривіальні розшарування то для вивчення властивостей останніх часто буває корисним вивчення асоційованих головних розшарувань.
Див. також
Література
- Bishop, Richard L.; Crittenden, Richard J. (1964). Geometry of manifolds. New York: Academic Press. ISBN .
- Michor, Peter W. (2008), Topics in Differential Geometry, Graduate Studies in Mathematics, т. Vol. 93, Providence: American Mathematical Society
- Steenrod, N. (1951). The Topology of Fibre Bundles. Princeton: Princeton University Press. ISBN .
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
U matematici zokrema topologiyi ta diferencialnij geometriyi golovnim rozsharuvannyam nazivayetsya ob yekt yakij lokalno viglyadaye yak pryamij dobutok X G deyakogo prostoru X i grupi G Zalezhno vid situaciyi X mozhe buti napriklad topologichnim prostorom abo diferencijovnim mnogovidom a G vidpovidno topologichnoyu grupoyu abo grupoyu Li Sam pryamij dobutok ye okremim vipadkom golovnogo rozsharuvannya yakij nazivayetsya trivialnim golovnim rozsharuvannyam Okrim topologiyi j diferencialnoyi geometriyi de voni ye odnimi z najvazhlivishih ob yektiv vivchennya golovni rozsharuvannya takozh shiroko vikoristovuyutsya v teoretichnij fizici zokrema kalibruvalnih teoriyah Formalne viznachennyaYedinogo standartnogo viznachennya golovnogo rozsharuvannya nemaye Yak i dlya deyakih inshih vidiv rozsharuvan u matematichnij literaturi isnuye dekilka viznachen sho vidriznyayutsya dekilkoma momentami Nizhche podano odin z poshirenih variantiv viznachennya Nehaj E p B F displaystyle left E pi B F right lokalno trivialne rozsharuvannya de E displaystyle E B displaystyle B i F displaystyle F ye topologichnimi prostorami sho nazivayutsya zagalnim prostorom bazovim prostorom i sharom vidpovidno a p E B displaystyle pi colon E to B neperervne syur yektivne vidobrazhennya Nehaj takozh U a displaystyle U alpha pokrittya bazi B displaystyle B vidkritimi mnozhinami i ϕ a p 1 U a U a F displaystyle phi alpha pi 1 U alpha to U alpha times F vidpovidni yim vidobrazhennya trivializaciyi Yaksho mnozhina U a U b displaystyle U alpha cap U beta ye nepustoyu i x U a U b displaystyle x in U alpha cap U beta to vidobrazhennya f a b displaystyle varphi alpha beta viznachene z rivnosti x ϕ a b f ϕ b ϕ a 1 x f f F displaystyle x phi alpha beta f phi beta circ phi alpha 1 x f forall f in F ye avtomorfizmom gomeomorfizmom na sebe prostoru F displaystyle F Takim chinom viznachene vidobrazhennya ϕ a b U a U b A u t F displaystyle phi alpha beta U alpha cap U beta to mathrm Aut F Nehaj teper G displaystyle G topologichna grupa dlya yakoyi viznachena neperervna diya na prostori F displaystyle F Yaksho vsi viznacheni vishe avtomorfizmi ϕ a b x displaystyle phi alpha beta x viznachayutsya diyeyu yakogos elementa grupi G displaystyle G i vidobrazhennya ϕ a b U a U b G displaystyle phi alpha beta U alpha cap U beta to G ye neperervnim to take rozsharuvannya nazivayetsya G rozsharuvannyam G rozsharuvannya nazivayetsya golovnim rozsharuvannyam yaksho standartnij shar F displaystyle F ye gomeomorfnim samij grupi G displaystyle G Diya grupi G displaystyle G na vsih sharah viznachayetsya diyeyu na lokalnij trivializaciyi de vona viznachayetsya zvichajnim mnozhennyam elementiv grupi Na zagalnomu prostori tezh prirodno viznachayetsya mnozhennya Yaksho g G displaystyle g in G i p p 1 U E displaystyle p in pi 1 U subset E de U B displaystyle U subset B i isnuye trivializaciya ϕ p 1 U U F displaystyle phi pi 1 U to U times F dlya yakoyi ϕ p x f displaystyle phi p x f to p g ϕ 1 x f g displaystyle p cdot g phi 1 x f cdot g U vipadku gladkih struktur viznachennya zalishayutsya takimi zh tilki ponyattya topologichnih prostoriv neperervnih vidobrazhen i topologichnih grup zaminyuyut diferencijovnimi mnogovidami diferencijovnimi vidobrazhennyami j grupami Li V alternativnih viznachennyah chasto ne vimagayetsya neperervnist diferencijovnist vidobrazhen f a b displaystyle varphi alpha beta Takozh vimogi lokalnoyi trivialnosti zaminyuyutsya na deyaki slabshi vimogi VlastivostiOdniyeyu z najvazhlivishih vlastivostej golovnih rozsharuvan ye dosit prostij kriterij trivialnosti rozsharuvannya tobto kriterij togo chi ye rozsharuvannya gomeomorfnim chi difeomorfnim dlya kategoriyi gladkih mnogovidiv trivialnomu rozsharuvannyu rozsharuvannya B G displaystyle B times G Golovne rozsharuvannya ye trivialnim todi j tilki todi koli dlya nogo isnuye globalnij pereriz Analogichne tverdzhennya ne ye spravedlivim dlya dovilnogo lokalno trivialnogo rozsharuvannya Bilsh zagalno dlya pidmnozhini U displaystyle U v B displaystyle B isnuye lokalna trivializaciya ϕ p 1 U U G displaystyle phi pi 1 U to U times G todi i tilki todi koli dlya ciyeyi mnozhini isnuye lokalnij pereriz Spravdi pri nayavnosti takoyi trivializaciyi mozhna viznachiti pereriz s U p 1 U displaystyle s U to pi 1 U yaks x ϕ 1 x e displaystyle s x phi 1 x e de e displaystyle e ye odinichnim elementom grupi G displaystyle G dd Navpaki dlya deyakogo lokalnogo pererizu s displaystyle s lokalnu trivializaciyu ϕ displaystyle phi mozhna viznachiti yak ϕ 1 x g s x g displaystyle phi 1 x g s x cdot g dlya x U g G displaystyle x in U g in G Viznacheni lokalnimi pererizami lokalni trivializaciyi ye G displaystyle G ekvivariantnimi tobto yaksho trivializaciyuϕ p 1 U U G displaystyle phi pi 1 U to U times G zapisati yak ϕ p p p f p displaystyle phi p pi p varphi p to vidobrazhennya f P G displaystyle varphi P to G z sharu nad p p displaystyle pi p v grupu G displaystyle G zadovolnyaye rivnist f p g f p g displaystyle varphi p cdot g varphi p cdot g dd Yaksho teper U a ϕ a displaystyle U alpha phi alpha deyakij trivializacijnij atlas i lokalni pererizi na mnozhinah U i displaystyle U i viznacheni yak i ranishe s a x ϕ a 1 x e displaystyle s alpha x phi alpha 1 x e i peretin dvoh mnozhin U a U b displaystyle U alpha cap U beta ye nepustim tos b x s a x ϕ a b x displaystyle s beta x s alpha x cdot phi alpha beta x de x U a U b displaystyle x in U alpha cap U beta a vidobrazhennya f a b displaystyle varphi alpha beta viznachene yak i ranishe dd Yaksho E p B G displaystyle left E pi B G right ye golovnim G displaystyle G rozsharuvannyam u kategoriyi gladkih mnogovidiv to grupa Li G displaystyle G diye vilno na E displaystyle E i mnozhina orbit P G displaystyle P G ye difeomorfnoyu do bazovogo prostoru B displaystyle B Navpaki mozhna dati harakteristiku gladkih golovnih rozsharuvan na osnovi cih vlastivostej nehaj E displaystyle E ye gladkim mnogovidom G displaystyle G ye grupoyu Li j viznachena diya grupi m P G P displaystyle mu P times G to P yaka ye gladkoyu vilnoyu i dlya vidobrazhen viznachenih ciyeyu diyeyu proobrazi kompaktnih mnozhin ye kompaktnimi Todi E G displaystyle E G prostir orbit ye gladkim mnogovidom Proyekciya p E E G displaystyle pi E to E G ye submersiyeyu E p E G G displaystyle left E pi E G G right ye gladkim golovnim rozsharuvannyam PrikladiNajprostishim prikladom golovnogo rozsharuvannya ye trivialne rozsharuvannya B G displaystyle B times G U takomu vipadku p displaystyle pi ye proyekciyeyu na pershu komponentu usi trivializacijni vidobrazhennya ye totozhnimi vidobrazhennyami a diya grupi G displaystyle G viznachayetsya mnozhennyam na dugu komponenta Osnovnim prikladom ye tak zvane reperne rozsharuvannya abo rozsharuvannya baz vektornih prostoriv U comu vipadku kozhnij tochci bazovogo prostoru prisvoyuyetsya deyaka vporyadkovanij bazis vektornogo prostoru tak sho ci bazisi zminyuyutsya neperervno zi zminoyu bazisnoyi tochki Strukturnoyu grupoyu v comu vipadku ye zagalna linijna grupa Dlya kategoriyi gladkih mnogovidiv najvazhlivishij priklad takoyi pobudovi pov yazanij z dotichnim rozsharuvannyam Nehaj M diferencijovnij mnogovid U M displaystyle U subset M koordinatna mnozhina i x 1 x n displaystyle x 1 ldots x n vidpovidni koordinatni funkciyi Todi vektorni polya x 1 x n displaystyle partial over partial x 1 ldots partial over partial x n ye bazisom dotichnogo rozsharuvannya T U displaystyle TU Usi inshi bazisi na comu dotichnomu rozsharuvanni otrimuyutsya yak e i g p x i p displaystyle e i g p left partial over partial x i right p de p M 1 i n displaystyle p in M 1 leqslant i leqslant n a g U G L A displaystyle g U to GL A ye diferencijovnim vidobrazhennyam i dotichni prostori v usih tochkah mnozhini U M displaystyle U subset M identifikuyutsya cherez bazisi z koordinatnih dotichnih vektoriv Todi yak trivialni vidobrazhennya mozhna vzyati vidobrazhennya ϕ p e 1 e n p g p displaystyle phi p e 1 ldots e n p g p Yaksho V M displaystyle V subset M insha koordinatna mnozhina i y 1 y n displaystyle y 1 ldots y n vidpovidni koordinatni funkciyi to perehid mizh vektornimi polyami x 1 x n displaystyle partial over partial x 1 ldots partial over partial x n i y 1 y n displaystyle partial over partial y 1 ldots partial over partial y n vidbuvayetsya za dopomogoyu matricya Yakobi koordinatnih funkcij Ci matrici gladko zalezhat vid elementiv mnozhini U V displaystyle U cap V Mnozhini dovilnogo koordinatnogo atlasu v comu vipadku budut mnozhinami trivializacijnogo atlasu z viznachenimi vishe vidobrazhennyami trivializaciyi Perehidni vidobrazhennya na zagalnij linijnij grupi todi budut rivni mnozhennyu sprava na vidpovidni matrici Yakobi Nehaj E p B F displaystyle left E pi B F right dovilne lokalno trivialne G displaystyle G rozsharuvannya z trivilizacijnim atlasom U a ϕ a displaystyle U alpha phi alpha i vidpovidnimi neperervnimi vidobrazhennyami perehodu ϕ a b U a U b G displaystyle phi alpha beta U alpha cap U beta to G Todi z cim rozsharuvannyam prirodno pov yazane golovne rozsharuvannya E G p B G displaystyle left E G pi B G right z tim samim bazovim prostorom B displaystyle B lokalnim pokrittyam U a displaystyle U alpha i vidobrazhennyami ϕ a b U a U b G displaystyle phi alpha beta U alpha cap U beta to G ale standartnij shar u nomu zamist F displaystyle F rivnij G displaystyle G i lokalno rozsharuvannya maye viglyad U G displaystyle U times G zamist U F displaystyle U times F Zamist diyi grupi G displaystyle G na prostori F displaystyle F rozglyadayetsya diya grupi G displaystyle G cherez zvichajne mnozhennya v grupi Viznachene tak rozsharuvannya nazivayetsya asocijovanim golovnim rozsharuvannyam Oskilki golovni rozsharuvannya ye zagalom prostishimi nizh dovilni lokalno trivialni rozsharuvannya to dlya vivchennya vlastivostej ostannih chasto buvaye korisnim vivchennya asocijovanih golovnih rozsharuvan Div takozhVektorne rozsharuvannya Zv yaznist na golovnih rozsharuvannyah Lokalno trivialne rozsharuvannyaLiteraturaBishop Richard L Crittenden Richard J 1964 Geometry of manifolds New York Academic Press ISBN 978 0 8218 2923 3 Michor Peter W 2008 Topics in Differential Geometry Graduate Studies in Mathematics t Vol 93 Providence American Mathematical Society Steenrod N 1951 The Topology of Fibre Bundles Princeton Princeton University Press ISBN 0 691 00548 6