Букет просторів — топологічний простір, який інтуїтивно можна отримати склеюванням декількох топологічних просторів по одній точці в кожному просторі. Букети просторів часто використовуються в алгебричній топології для обчислень фундаментальних груп і груп гомологій.
Означення
Букет двох просторів і із виділеними точками і можна визначити як фактор-простір диз'юнктного об'єднання і
де позначає мінімальне відношення еквівалентності таке, що . У цьому відношенні всі класи еквівалентності складаються з однієї точки за винятком одного, до якого належать дві точки .
Подібним чином визначається букет довільної множини просторів із виділеними точками
де позначає мінімальне відношення еквівалентності таке, що для всіх і . Як і вище, для цього відношення всі класи еквівалентності складаються з однієї точки за винятком одного, до якого належать всі виділені точки .
Букет загалом залежить від вибору виділених точок і природним чином є простором з виділеною точкою.
Опис через категорії
Букет можна розуміти як кодобуток в категорії топологічних просторів з виділеною точкою. Крім того, букет можна розглядати як схеми X < {•} > Y в категорії топологічних просторів, де {•} позначає простір з однієї точки.
Приклади
- Букет двох кіл з виділеними точками є гомеоморфним «вісімці» (див. рисунок).
- Букет з двох сфер (розмірності 2) зображений на нижньому рисунку.
- В теорії гомотопій важливою конструкцією є ідентифікація точок, що лежать на деякому екваторі n-сфери . Отриманий при цьому простір є букетом двох сфер :
Властивості
- Як бінарна операція, побудова букета є асоціативною і комутативною (з точністю до ізоморфізму).
- Якщо відмічені точки допускають однозв'язні околи, то фундаментальна група букета ізоморфна вільному добутку фундаментальних груп і . Це твердження випливає з теореми Зейферта — ван Кампена.
- Нехай X є букетом двох просторів K і L з виділеними точками p і q і до того ж виділені точки є деформаційними ретрактами для деяких своїх околів U ⊂ K і V ⊂ L. Остання властивість означає, що наприклад відображення є гомотоптим сталому відображенню, що для всіх елементів U приймає значення p і подібно для L і q. При цих припущеннях справедливою є рівність для редукованих гомологічних груп:
- Зокрема для прикладів розглянутих вище:
- Подібне співвідношення є справедливим і для відносних гомологічних груп:
Див. також
Література
- Dold, Albrecht (1980). Lectures on algebraic topology. Т. 200 (вид. 2nd). Berlin, New York: Springer-Verlag. ISBN . MR 0606196.
- Vick, James W. (1994), , Graduate Texts in Mathematics, т. 145, Springer, ISBN , архів оригіналу за 10 серпня 2020, процитовано 27 квітня 2017
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Buket prostoriv topologichnij prostir yakij intuyitivno mozhna otrimati skleyuvannyam dekilkoh topologichnih prostoriv po odnij tochci v kozhnomu prostori Buketi prostoriv chasto vikoristovuyutsya v algebrichnij topologiyi dlya obchislen fundamentalnih grup i grup gomologij OznachennyaBuket X 1 X 2 displaystyle X 1 vee X 2 dvoh prostoriv X 1 displaystyle X 1 i X 2 displaystyle X 2 iz vidilenimi tochkami x 1 X 1 displaystyle x 1 in X 1 i x 2 X 2 displaystyle x 2 in X 2 mozhna viznachiti yak faktor prostir diz yunktnogo ob yednannya X 1 displaystyle X 1 i X 2 displaystyle X 2 X 1 X 2 X 1 X 2 displaystyle X 1 vee X 2 X 1 amalg X 2 sim de displaystyle sim poznachaye minimalne vidnoshennya ekvivalentnosti take sho x 1 x 2 displaystyle x 1 sim x 2 U comu vidnoshenni vsi klasi ekvivalentnosti skladayutsya z odniyeyi tochki za vinyatkom odnogo do yakogo nalezhat dvi tochki x 1 x 2 displaystyle x 1 x 2 Podibnim chinom viznachayetsya buket dovilnoyi mnozhini prostoriv iz vidilenimi tochkami X a x a a A displaystyle X alpha x alpha alpha in mathcal A a X a a X a displaystyle bigvee alpha X alpha coprod alpha X alpha sim de displaystyle sim poznachaye minimalne vidnoshennya ekvivalentnosti take sho x a x b displaystyle x alpha sim x beta dlya vsih a displaystyle alpha i b displaystyle beta Yak i vishe dlya cogo vidnoshennya vsi klasi ekvivalentnosti skladayutsya z odniyeyi tochki za vinyatkom odnogo do yakogo nalezhat vsi vidileni tochki x a displaystyle x alpha Buket zagalom zalezhit vid viboru vidilenih tochok i prirodnim chinom ye prostorom z vidilenoyu tochkoyu Opis cherez kategoriyiBuket mozhna rozumiti yak kodobutok v kategoriyi topologichnih prostoriv z vidilenoyu tochkoyu Krim togo buket mozhna rozglyadati yak shemi X lt gt Y v kategoriyi topologichnih prostoriv de poznachaye prostir z odniyeyi tochki PrikladiBuket dvoh kil z vidilenimi tochkami Buket dvoh kil z vidilenimi tochkami ye gomeomorfnim visimci div risunok Buket z dvoh sfer rozmirnosti 2 zobrazhenij na nizhnomu risunku V teoriyi gomotopij vazhlivoyu konstrukciyeyu ye identifikaciya tochok sho lezhat na deyakomu ekvatori n sferi S n displaystyle S n Otrimanij pri comu prostir ye buketom dvoh sfer S n displaystyle S n S n S n S n displaystyle S n sim S n vee S n VlastivostiYak binarna operaciya pobudova buketa ye asociativnoyu i komutativnoyu z tochnistyu do izomorfizmu Yaksho vidmicheni tochki dopuskayut odnozv yazni okoli to fundamentalna grupa buketa X 1 X 2 displaystyle X 1 vee X 2 izomorfna vilnomu dobutku fundamentalnih grup X 1 displaystyle X 1 i X 2 displaystyle X 2 Ce tverdzhennya viplivaye z teoremi Zejferta van Kampena Nehaj X ye buketom dvoh prostoriv K i L z vidilenimi tochkami p i q i do togo zh vidileni tochki ye deformacijnimi retraktami dlya deyakih svoyih okoliv U K i V L Ostannya vlastivist oznachaye sho napriklad vidobrazhennya Id U Id U x x x U displaystyle operatorname Id U operatorname Id U x x forall x in U ye gomotoptim stalomu vidobrazhennyu sho dlya vsih elementiv U prijmaye znachennya p i podibno dlya L i q Pri cih pripushennyah spravedlivoyu ye rivnist dlya redukovanih gomologichnih grup H n K L H n K H n L displaystyle tilde H n K vee L cong tilde H n K oplus tilde H n L Zokrema dlya prikladiv rozglyanutih vishe H n S 1 S 1 Z Z n 1 0 if n 1 displaystyle tilde H n left S 1 vee S 1 right cong left begin matrix mathbb Z oplus mathbb Z amp n 1 0 amp mbox if n neq 1 end matrix right H n S 2 S 2 Z Z n 2 0 if n 2 displaystyle tilde H n left S 2 vee S 2 right cong left begin matrix mathbb Z oplus mathbb Z amp n 2 0 amp mbox if n neq 2 end matrix right Podibne spivvidnoshennya ye spravedlivim i dlya vidnosnih gomologichnih grup H n K L p q H n K p H n L q displaystyle H n K vee L p q cong H n K p oplus H n L q Div takozhSmesh dobutokLiteraturaDold Albrecht 1980 Lectures on algebraic topology T 200 vid 2nd Berlin New York Springer Verlag ISBN 978 3 540 10369 1 MR 0606196 Vick James W 1994 Graduate Texts in Mathematics t 145 Springer ISBN 9780387941264 arhiv originalu za 10 serpnya 2020 procitovano 27 kvitnya 2017