2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему
 
 Что такое эта гомотопическая эквивалентность?
Сообщение28.10.2014, 21:31 


29/08/13
282
Никак не поддаётся пониманию, что это такое по сути своей, гомотопическая эквивалентность топологических пространств? Гомеоморфизм - биекция, сохраняющая структуру топологии, диффеоморфизм - ещё в нагрузку сохраняет гладкую структуру, но гомотопическая эквивалентность выглядит гораздо более сложным понятием - интуитивно это что-то вроде совпадения структуры дырявости, но её описывают гомотопические группы, а это нечто другое.

Можно считать, что это некоторая "содеформируемость", мол их можно так "отдеформировать по себе", то есть взять на них отображения в себя, гомотопные тождественным, что результаты деформаций будут завязаны друг с другом, будучи выражаемыми в виде композиций в разных порядках 2х отображений друг в друга. Но такое понимание нельзя счесть удовлетворительным - оно туманно и даже в простых ситуациях само по себе, оно не позволяет решать никакие задачи. Может, Вы подскажете, как можно это именно понять, что бы это для Вас ни значило?

 Профиль  
                  
 
 Re: Что такое эта гомотопическая эквивалентность?
Сообщение28.10.2014, 22:59 
Заслуженный участник
Аватара пользователя


30/01/06
72407
VanD в сообщении #923905 писал(а):
интуитивно это что-то вроде совпадения структуры дырявости, но её описывают гомотопические группы, а это нечто другое.

А разве другое?

 Профиль  
                  
 
 Re: Что такое эта гомотопическая эквивалентность?
Сообщение28.10.2014, 23:15 


29/08/13
282
Другое.
Совпадение структур дырявости - попарная изоморфность всевозможных соответствующих гомотопических групп - это при выполнении некоторого требования называется слабой гомотопической эквивалентностью, если я не путаю, но это не то же самое.

 Профиль  
                  
 
 Re: Что такое эта гомотопическая эквивалентность?
Сообщение29.10.2014, 19:23 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
На мой взгляд, у гомотопической эквивалентности нет простого, наивного понимания, описываемого в интуитивно понятных терминах. Можно сказать так: у гомотопически эквивалентных топологических пространств совпадают все их алгебраические характеристики, которые вычисляются с помощью "гомотопической техники", а проще сказать не удастся.

 Профиль  
                  
 
 Re: Что такое эта гомотопическая эквивалентность?
Сообщение29.10.2014, 19:46 
Заслуженный участник
Аватара пользователя


08/11/11
5940
Разницу между гомотопической эквивалентностью и гомеоморфизмом можно представить себе как то, что при гомотопической эквивалентности разрешено не только деформировать пространство, но и сплющивать/стягивать толстые куски, не меняя и не закрывая дырок. В частности, кольцо $\{z\in \mathbb C\colon 1\le |z|\le 2\}$ гомотопически эквивалентно окружности. Если $X$ -- топологическое пространство, то оно гомотопически эквивалентно $X\times [0,1]$. И т. п.

 Профиль  
                  
 
 Re: Что такое эта гомотопическая эквивалентность?
Сообщение29.10.2014, 20:19 
Заслуженный участник


25/02/11
1786
Мб есть какое-нибудь простое описание на языке теории категорий?

 Профиль  
                  
 
 Re: Что такое эта гомотопическая эквивалентность?
Сообщение29.10.2014, 21:23 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Vince Diesel в сообщении #924221 писал(а):
Мб есть какое-нибудь простое описание на языке теории категорий?
Конечно, тогда все станет понятно даже домохозяйке! Как в "Сибирском цирюльнике":"Он русский. Это многое объясняет."

 Профиль  
                  
 
 Re: Что такое эта гомотопическая эквивалентность?
Сообщение29.10.2014, 22:16 
Заслуженный участник
Аватара пользователя


30/01/06
72407
g______d
Ваш пример пока не выходит за рамки "совпадения структуры дырявости".

 Профиль  
                  
 
 Re: Что такое эта гомотопическая эквивалентность?
Сообщение29.10.2014, 22:44 
Заслуженный участник
Аватара пользователя


08/11/11
5940
Munin в сообщении #924266 писал(а):
Ваш пример пока не выходит за рамки "совпадения структуры дырявости".


Теорема Уайтхеда говорит о том, что, при достаточно общих предположениях, если отображение индуцирует изоморфизмы всех гомотопических групп, то оно является гомотопической эквивалентностью. Поэтому пример, вылезающий за рамки, построить не так просто.

 Профиль  
                  
 
 Re: Что такое эта гомотопическая эквивалентность?
Сообщение29.10.2014, 23:09 
Заслуженный участник
Аватара пользователя


30/01/06
72407
Меня устраивает, устроит ли ТС?

 Профиль  
                  
 
 Re: Что такое эта гомотопическая эквивалентность?
Сообщение29.10.2014, 23:51 


29/08/13
282
Насколько я помню (поправьте пожалуйста, если ошибаюсь), эта теорема не совсем то, что нужно. Она гарантирует совпадение понятий, если все изоморфизмы реализуются одним непрерывным отображением. Такое отображение называется слабой гомотопической эквивалентностью, но даже для слабо гомотопически эквивалентных топологических пространств, как ни странно с точки зрения терминологии, слабая гомотопическая эквивалентность есть не всегда. То есть, группы-то могут быть попарно изоморфны - "структуры дырявости" уже из-за этого совпадают, но отображения, реализующего все изоморфизмы разом, нет и тогда слабо гомотопически эквивалентные пространства могут оказаться не гомотопически эквивалентными, несмотря на одинаковость "структур дырявости".

 Профиль  
                  
 
 Re: Что такое эта гомотопическая эквивалентность?
Сообщение30.10.2014, 00:02 
Заслуженный участник
Аватара пользователя


08/11/11
5940
VanD в сообщении #924292 писал(а):
То есть, группы-то могут быть попарно изоморфны - "структуры дырявости" уже из-за этого совпадают, но отображения, реализующего все изоморфизмы разом, нет и тогда слабо гомотопически эквивалентные пространства могут оказаться не гомотопически эквивалентными, несмотря на одинаковость "структур дырявости".


Все правильно. Я говорил только о том, что пример не так просто найти, но в википедии есть.

-- Ср, 29 окт 2014 14:04:52 --

VanD в сообщении #923905 писал(а):
Может, Вы подскажете, как можно это именно понять, что бы это для Вас ни значило?


Я не знаю, как это понимают настоящие топологи. Но для решения задач часто достаточно про несколько конкретных видов действий знать, что они являются эквивалентностями, а потом их комбинировать в разных сочетаниях.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 12 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group