Результати пошуку
Перейти до навігації
Перейти до пошуку
Збіги в назвах сторінок
- ...ного топологічного простору. Розшарування відіграють важливу роль у теорії гомотопій, підобласті алгебричної топології. Грубо кажучи, розшарування є парою прост [[Категорія:Теорія гомотопій]] ...24 КБ (1271 слово) - 09:56, 1 вересня 2024
Збіги в текстах сторінок
- ...ваючої гомотопії <math>G_t</math> то називається '''[[Розшарування (теорія гомотопій)|розшаруванням Гуревича]]'''. [[Категорія:Теорія гомотопій]] ...2 КБ (88 слів) - 07:37, 25 вересня 2024
- ...енні одиничного елемента рівність може бути лише з точністю до [[Гомотопія|гомотопій]]. У теорії гомотопій переважно вимагається лише щоб відображення μ(''e'', ''x'') і μ(''x'', ''e' ...16 КБ (564 слова) - 16:51, 2 вересня 2024
- ...а топологія|алгебричній топології]], що пов'язує [[Гомотопічні групи|групи гомотопій]] і [[Сингулярні гомології|гомологій]] за допомогою відображення, що назива ...'гомоморфізмом Гуревича''' і відображає ''n''-ну [[Гомотопічні групи|група гомотопій]] у ''n''-ну [[Гомологія (математика)|групу гомологій]] (із цілочисловими к ...9 КБ (716 слів) - 13:01, 31 серпня 2024
- ...''X'' і ''Y'' породжує [[ізоморфізм]]и на всіх [[Гомотопічні групи|групах гомотопій]], то ''f'' є [[Гомотопія|гомотопною еквівалентністю]]. Теорему довів у 194 де π<sub>''n''</sub>(''X'',''x'') позначає ''n''-ну групу гомотопій простору ''X'' із виділеною точкою ''x''. (Для ''n'' = 0, π<sub>0</sub>(''X ...16 КБ (967 слів) - 10:03, 24 серпня 2024
- Букет можна розуміти як [[кодобуток]] в [[теорія категорій|категорії]] [[Топологічний простір|топологічних просторів]] з вид * В теорії гомотопій важливою конструкцією є ідентифікація точок, що лежать на деякому екваторі ...7 КБ (349 слів) - 16:08, 28 жовтня 2022
- ...пунктованих просторах|en|Pointed space}}, які важливі в [[Гомотопія|теорії гомотопій]]. Якщо ''X'' є топологічним простором з виділеною точкою ''x''<sub>0</sub> ...[Алгебрична топологія|алгебраїчної топології]], званої [[Гомотопія|теорією гомотопій]]. [[Гомотопія]] шляхів робить точним поняття неперервної деформації шляху ...12 КБ (477 слів) - 09:51, 11 березня 2024
- Таким чином одержується [[Функтор (математика)|функтор]] на [[Теорія категорій|категорії]] топологічних просторів із виділеною точкою.<ref>Tammo ...р|H-простором]] із оберненими елементами (в сенсі гомотопії), то на класах гомотопій <math>\left [\Sigma(X,x_0), (Y,y_0)\right ]</math> і <math>[(X,x_0), \Omeg ...11 КБ (592 слова) - 22:02, 21 жовтня 2023
- ...омотопій||Homotopy theory}}. Цей клас просторів ширший і має деякі кращі [[теорія категорій|категоріальні]] властивості, ніж [[Симпліційний комплекс|симпліці ...ьки тоді коли воно породжує ізоморфізми на усіх [[Гомотопічні групи|групах гомотопій]]. ...18 КБ (656 слів) - 18:25, 21 червня 2024
- ...існують категорії, що не конкретизуються; наприклад, категорія [[Гомотопія|гомотопій]] топологічних просторів неконкретизовна, тобто не допускає строгого функто ...відправляє об'єкт <math>b</math> категорії <math>C</math> у множину всіх [[Теорія категорій|стрілок]] <math>f : a \rightarrow b</math> (для всіляких об'єктів ...7 КБ (244 слова) - 19:07, 11 березня 2023
- особливо у {{нп|Теорія гомотопій|теорії гомотопій||Homotopy theory}}, ...9 КБ (552 слова) - 17:06, 3 травня 2023
- [[Категорія:Теорія гомотопій]] ...6 КБ (177 слів) - 11:13, 4 вересня 2022
- ...кий «стискає» або «обрізає» тип до пропозиційної секвенції у [[Гомотопічна теорія типів|гомотопічній теорії типів]]. Позначається подвійною вертикальною риск ...м допрацювання аргументу для унікального існування <math>b:B</math> як у [[Теорія типів|теорії типів]]. У теорії множин ця проблема вирішується застосуванням ...7 КБ (449 слів) - 13:28, 2 квітня 2022
- * ''S'' є [[функтор]]ом із [[теорія категорій|категорії]] топологічних просторів у себе. [[Категорія:Теорія гомотопій]] ...7 КБ (321 слово) - 04:23, 16 квітня 2024
- [[Категорія:Теорія гомотопій]] ...7 КБ (259 слів) - 18:23, 21 червня 2024
- ...ічною теорією симпліційних множин — об'єктів, по суті, чисто алгебраїчних. Теорія симпліційних множин, з одного боку, має велике методологічне значення, істо ...[[Категорія множин|категорії множин]], або, еквівалентно, як [[передпучок (теорія категорій)|передпучок]] [[симпліційна категорія|симпліційної категорії]] в ...19 КБ (1073 слова) - 21:42, 6 серпня 2022
- ...th> позначає добуток (послідовний обхід кривих), <math>[f_1]</math> — клас гомотопій кривої із фіксованими кінцевими точками, а <math>\bar f_1 </math> — обернен ...ом у точці <math>p</math> і <math>[g] \in \pi_1 (X, p) </math> — її клас гомотопій який є елементом фундаментальної групи. Сюр'єктивність у твердженні теореми ...35 КБ (2178 слів) - 09:49, 8 грудня 2023
- ...ного топологічного простору. Розшарування відіграють важливу роль у теорії гомотопій, підобласті алгебричної топології. Грубо кажучи, розшарування є парою прост [[Категорія:Теорія гомотопій]] ...24 КБ (1271 слово) - 09:56, 1 вересня 2024
- ...и у цій категорії можна відтворити майже всю стандартну [[Гомотопія|теорію гомотопій]], що пояснює значення симпліційної категорії і симпліційних об'єктів в [[А [[Категорія:Теорія категорій]] ...13 КБ (861 слово) - 21:43, 6 серпня 2022
- [[Категорія:Теорія гомотопій]] ...14 КБ (947 слів) - 21:34, 8 грудня 2024
- ...гомотопно інваріантних топологічних просторів. Природні зв'язки з теорією гомотопій роблять сингулярну теорію незамінною в [[гомотопія|гомотопній топології]]. ...16 КБ (797 слів) - 12:16, 11 січня 2024