Ця стаття містить правописні, лексичні, граматичні, стилістичні або інші мовні помилки, які треба виправити. (серпень 2015) |
Теорема Вітни про вкладення — затвердження дифференціальної топології, згідно якому довільно гладке -вимірне багатообразність з лічильною базою допускає гладке вкладення в -вимірний євклідів простір. Установлено Хасслером Уитни в 1938 году.
Наведений результат є оптимальним, коли — ступінь двійки: тоді -вимірний проєктивний простір неможливо вкласти в -вимірний евклідів простір.
Схема доказу
Випадки і встановлюються напряму. Для доказу випадку , використовується факт, що гладке відображення загального положення є імерсією з кінцевою кількістю точок трансверсального самоперетину.
Позбутися від цих точок самоперетину можна, кілька разів застосувавши трюк Вітні. Він складається з наступного. Візьмемо точки самоперетин відображення маючи різні знаки. Візьмемо крапки , для яких і . З'єднаємо та гладкою кривою . З'єднаємо і гладкою кривою . Тоді є замкнута крива в . Далі побудуємо відображення з границею . Загалом, є вкладенням та (якраз тут використовується те, що ). Тоді можна ізотопувати у маленькій околиці диска ак, щоб ця пара точок самоперетину зникла. В останнє твердження легко повірити, представивши картинку для (В якій властивості диска виявилися виконані випадково, а не за загальним положенням).
Наведемо малюнок іншого способу позбавитися точок самоперетину відображення загального положення . Він ґрунтується на важливій ідеї поглинання. (Іноді це застосування цієї іншої ідеї помилково називають трюком Вітні.) Візьмемо точку самоперетину відображення . Візьмемо крапки , для яких . З'єднаємо і гладкою кривою . Тоді є замкнута крива в . Далі побудуємо відображення з кордоном . Загалом, є вкладенням та (якраз тут використовується те, що m⩾3). Тепер можна ізотопувати у маленькій околиці диска так, щоб ця точка самоперетину зникла.
Варіації та Узагальнення
Нехай є гладке m-вимірне різноманіття, де :
- Якщо m не є ступенем двійки, тоді існує вкладення в .
- може бути занурене в .
- Більше того може бути занурене в , де є число одиниць у двійковому представлені числа .
- Останній результат є оптимальним: для будь-якого можна можна побудувати m-вимірне різноманіття (наприклад добуток речових проективних просторів), яке неможливо занурити в .
- Більше того може бути занурене в , де є число одиниць у двійковому представлені числа .
- Теорема Мостоу — Паласа даёт эквиваринтный вариант теоремы Уитни о вложении.
Література
- В. В. Прасолов, Элементы теории гомологий, 22.1
- Skopenkov, A. (2008), Embedding and knotting of manifolds in Euclidean spaces, in: Surveys in Contemporary Mathematics, Ed. N. Young and Y. Choi, London Math. Soc. Lect. Notes., 347 (2): 248—342
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Cya stattya mistit pravopisni leksichni gramatichni stilistichni abo inshi movni pomilki yaki treba vipraviti Vi mozhete dopomogti vdoskonaliti cyu stattyu pogodivshi yiyi iz chinnimi movnimi standartami serpen 2015 Teorema Vitni pro vkladennya zatverdzhennya differencialnoyi topologiyi zgidno yakomu dovilno gladke m displaystyle m vimirne bagatoobraznist z lichilnoyu bazoyu dopuskaye gladke vkladennya v m displaystyle m vimirnij yevklidiv prostir Ustanovleno Hasslerom Uitni v 1938 godu Navedenij rezultat ye optimalnim koli m displaystyle m stupin dvijki todi m displaystyle m vimirnij proyektivnij prostir nemozhlivo vklasti v 2 m 1 displaystyle 2m 1 vimirnij evklidiv prostir Shema dokazuVipadki m 1 displaystyle m 1 i m 2 displaystyle m 2 vstanovlyuyutsya napryamu Dlya dokazu vipadku m 3 displaystyle m geqslant 3 vikoristovuyetsya fakt sho gladke vidobrazhennya zagalnogo polozhennya f M R 2 m displaystyle f colon M to mathbb R 2m ye imersiyeyu z kincevoyu kilkistyu tochok transversalnogo samoperetinu Pozbutisya vid cih tochok samoperetinu mozhna kilka raziv zastosuvavshi tryuk Vitni Vin skladayetsya z nastupnogo Vizmemo tochki p q R 2 m displaystyle p q in mathbb R 2m samoperetin vidobrazhennya f displaystyle f mayuchi rizni znaki Vizmemo krapki x p y p x q y q M displaystyle x p y p x q y q in M dlya yakih f x p f y p p displaystyle f x p f y p p i f x q f y q q displaystyle f x q f y q q Z yednayemo x p displaystyle x p ta x q displaystyle x q gladkoyu krivoyu x M displaystyle x subset M Z yednayemo y p displaystyle y p i y q displaystyle y q gladkoyu krivoyu y M displaystyle y subset M Todi f x y displaystyle f x cup y ye zamknuta kriva v R 2 m displaystyle mathbb R 2m Dali pobuduyemo vidobrazhennya h D 2 R 2 m displaystyle h colon D 2 to mathbb R 2m z graniceyu h D 2 f x y displaystyle h partial D 2 f x cup y Zagalom h displaystyle h ye vkladennyam ta h D 2 f M h D 2 displaystyle h D 2 cap f M h partial D 2 yakraz tut vikoristovuyetsya te sho m 3 displaystyle m geqslant 3 Todi mozhna izotopuvati f displaystyle f u malenkij okolici diska h D 2 displaystyle h D 2 ak shob cya para tochok samoperetinu znikla V ostannye tverdzhennya legko poviriti predstavivshi kartinku dlya m 1 displaystyle m 1 V yakij vlastivosti diska viyavilisya vikonani vipadkovo a ne za zagalnim polozhennyam Navedemo malyunok inshogo sposobu pozbavitisya tochok samoperetinu vidobrazhennya zagalnogo polozhennya f M R 2 m displaystyle f colon M to mathbb R 2m Vin gruntuyetsya na vazhlivij ideyi poglinannya Inodi ce zastosuvannya ciyeyi inshoyi ideyi pomilkovo nazivayut tryukom Vitni Vizmemo tochku p R 2 m displaystyle p in mathbb R 2m samoperetinu vidobrazhennya f displaystyle f Vizmemo krapki x y M displaystyle x y in M dlya yakih f x f y p displaystyle f x f y p Z yednayemo x displaystyle x i y displaystyle y gladkoyu krivoyu l M displaystyle l subset M Todi f l displaystyle f l ye zamknuta kriva v R 2 m displaystyle mathbb R 2m Dali pobuduyemo vidobrazhennya h D 2 R 2 m displaystyle h colon D 2 to mathbb R 2m z kordonom h D 2 f l displaystyle h partial D 2 f l Zagalom h displaystyle h ye vkladennyam ta h D 2 f M h D 2 displaystyle h D 2 cap f M h partial D 2 yakraz tut vikoristovuyetsya te sho m 3 Teper mozhna izotopuvati f displaystyle f u malenkij okolici diska h D 2 displaystyle h D 2 tak shob cya tochka samoperetinu znikla Variaciyi ta UzagalnennyaNehaj M displaystyle M ye gladke m vimirne riznomanittya de m gt 1 displaystyle m gt 1 Yaksho m ne ye stupenem dvijki todi isnuye vkladennya M displaystyle M v R 2 m 1 displaystyle mathbb R 2m 1 M displaystyle M mozhe buti zanurene v R 2 m 1 displaystyle mathbb R 2m 1 Bilshe togo M displaystyle M mozhe buti zanurene v R 2 m a displaystyle mathbb R 2m a de a displaystyle a ye chislo odinic u dvijkovomu predstavleni chisla m displaystyle m Ostannij rezultat ye optimalnim dlya bud yakogo m displaystyle m mozhna mozhna pobuduvati m vimirne riznomanittya napriklad dobutok rechovih proektivnih prostoriv yake nemozhlivo zanuriti v R 2 m a 1 displaystyle mathbb R 2m a 1 Teorema Mostou Palasa dayot ekvivarintnyj variant teoremy Uitni o vlozhenii LiteraturaV V Prasolov Elementy teorii gomologij 22 1 Skopenkov A 2008 Embedding and knotting of manifolds in Euclidean spaces in Surveys in Contemporary Mathematics Ed N Young and Y Choi London Math Soc Lect Notes 347 2 248 342