Топология

Чтобы узнать о других значениях, см. Топология (значения) .

Не путать с топографией или типологией .

Трехмерная модель узла восьмерка . Узел-восьмерка является простым узлом и имеет обозначение Александера-Бриггса 4 ₁ .

Топология (от греческих слов τόπος — «место, расположение» и λόγος — «изучение») — раздел математики, изучающий свойства геометрического объекта , сохраняющиеся при непрерывных деформациях , таких как растяжение , скручивание , смятие и т. д. изгиб; то есть без закрытия отверстий, открытия отверстий, разрыва, склеивания или прохождения через себя.

Топологическое пространство — это множество , наделенное структурой, называемой топологией , которая позволяет определить непрерывную деформацию подпространств и, в более общем смысле, все виды непрерывности . Евклидовы пространства и, в более общем смысле, метрические пространства являются примерами топологических пространств, поскольку любое расстояние или метрика определяют топологию. Деформации, рассматриваемые в топологии, — это гомеоморфизмы и гомотопии . Свойство, инвариантное относительно таких деформаций, является топологическим свойством . Ниже приведены основные примеры топологических свойств: размерность , позволяющая различать линию и поверхность ; компактность , позволяющая различать линию и круг; связность , позволяющая отличить круг от двух непересекающихся кругов.

Идеи, лежащие в основе топологии, восходят к Готфриду Вильгельму Лейбницу , который в 17 веке представил геометрию и анализ . Задача Леонарда Эйлера о семи мостах Кенигсберга и формула многогранника, возможно, являются первыми теоремами в этой области. Термин топология был введен Иоганном Бенедиктом Листингом в 19 веке; хотя идея топологического пространства получила развитие только в первых десятилетиях 20 века.

Мотивация

Ленты Мёбиуса , имеющие только одну поверхность и одно ребро, являются своеобразным объектом, изучаемым в топологии.

Мотивирующая идея топологии заключается в том, что некоторые геометрические задачи зависят не от точной формы задействованных объектов, а скорее от способа их соединения. Например, квадрат и круг имеют много общих свойств: они оба являются одномерными объектами (с топологической точки зрения) и разделяют плоскость на две части: часть внутри и часть снаружи.

В одной из первых работ по топологии Леонард Эйлер продемонстрировал, что невозможно найти маршрут через город Кенигсберг (ныне Калининград ), который пересекал бы каждый из семи его мостов ровно один раз. Этот результат зависел не от длины мостов или от их расстояния друг от друга, а только от свойств связности: какие мосты соединяются с какими островами или берегами рек. Задача «Семь мостов Кенигсберга» привела к возникновению раздела математики, известного как теория графов .

Точно так же теорема алгебраической топологии о волосатом клубке гласит, что «нельзя расчесать волосы на волосатом клубке, не создав при этом челку ». Этот факт немедленно убеждает большинство людей, даже если они не осознают более формального утверждения теоремы, что не существует ненулевого непрерывного касательного векторного поля на сфере . Как и в случае с «Кенигсбергскими мостами» , результат не зависит от формы сферы; это применимо к любой гладкой капле, если в ней нет дырок.

Чтобы справиться с этими проблемами, которые не зависят от точной формы объектов, необходимо четко понимать, от каких именно свойств зависят эти проблемы. Из этой необходимости возникает понятие гомеоморфизма . Невозможность пересечь каждый мост только один раз применима к любому расположению мостов, гомеоморфному мостам в Кенигсберге, а теорема о волосатом шаре применима к любому пространству, гомеоморфному сфере.

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

Гомеоморфизм можно считать самой основной топологической эквивалентностью . Другой — гомотопическая эквивалентность . Это сложнее описать, не вдаваясь в технические подробности, но основная идея состоит в том, что два объекта гомотопически эквивалентны, если они оба являются результатом «сжатия» какого-то более крупного объекта.

История

Задача « Семь мостов Кенигсберга» была решена Эйлером.

См. Также: История аксиом разделения.

Топология как четко определенная математическая дисциплина зародилась в начале двадцатого века, но некоторые отдельные результаты можно проследить несколько столетий назад. Среди них — некоторые вопросы геометрии, исследованные Леонардом Эйлером . Его статья 1736 года о семи мостах Кенигсберга считается одним из первых практических применений топологии. что осознал важность ребер многогранника 14 ноября 1750 года Эйлер написал другу , . Это привело к его формуле многогранника V − E + F = 2 (где V , E и F соответственно указывают количество вершин, ребер и граней многогранника). Некоторые авторитеты считают этот анализ первой теоремой, сигнализирующей о рождении топологии.

Дальнейший вклад внесли Огюстен-Луи Коши , Людвиг Шлефли , Иоганн Бенедикт Листинг , Бернхард Риман и Энрико Бетти . Листинг ввел термин «Топология» в «Vorstudien zur Topologie» , написанном на его родном немецком языке, в 1847 году, использовав это слово в течение десяти лет в переписке, прежде чем оно впервые появилось в печати. Английская форма «топология» была использована в 1883 году в некрологе Листинга в журнале Nature, чтобы отличить «качественную геометрию от обычной геометрии, в которой в основном рассматриваются количественные отношения».

Их работу исправил, консолидировал и значительно расширил Анри Пуанкаре . В 1895 году он опубликовал свою новаторскую статью «Анализ положения» , в которой ввел понятия, ныне известные как гомотопия и гомология , которые сейчас считаются частью алгебраической топологии .

Топологические характеристики замкнутых 2-многообразий

Коллектор	Эйлер в	Ориентируемость	Числа Бетти			Коэффициент кручения (1-разм.)
			б 0	б 1	б 2
Сфера	2	Регулируемый	1	0	1	никто
Тор	0	Регулируемый	1	2	1	никто
2-дырчатый тор	−2	Регулируемый	1	4	1	никто
g -дырчатый тор ( род g )	2-2 г	Регулируемый	1	2 г	1	никто
Проекционная плоскость	1	Неориентируемый	1	0	0	2
бутылка Клейна	0	Неориентируемый	1	1	0	2
Сфера с c перемычками ( c > 0 )	2 - с	Неориентируемый	1	с - 1	0	2
2-Коллектор с G отверстиями и c перекрестные заглушки ( c > 0 )	2 - (2 г + с )	Неориентируемый	1	(2 г + с ) - 1	0	2

Объединив работы по функциональным пространствам Георга Кантора , Вито Вольтерры , Чезаре Арзела , Жака Адамара , Джулио Асколи и других, Морис Фреше ввел метрическое пространство в 1906 году. Метрическое пространство теперь считается частным случаем общего топологического пространства, при этом любое данное топологическое пространство потенциально дает начало множеству различных метрических пространств. В 1914 году Феликс Хаусдорф ввёл термин «топологическое пространство» и дал определение тому, что сейчас называется пространством Хаусдорфа . В настоящее время топологическое пространство представляет собой небольшое обобщение пространств Хаусдорфа, данное в 1922 году Казимежем Куратовским .

Современная топология во многом зависит от идей теории множеств, разработанных Георгом Кантором во второй половине XIX века. Помимо установления основных идей теории множеств, Кантор рассматривал множества точек в евклидовом пространстве как часть своего исследования рядов Фурье . Для дальнейшего развития см. топологию набора точек и алгебраическую топологию .

2022 года Премия Абеля была присуждена Деннису Салливану «за его новаторский вклад в топологию в ее самом широком смысле, и в частности ее алгебраические, геометрические и динамические аспекты».

Концепции

Топологии на множествах

Основная статья: Топологическое пространство

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

Формально, пусть X — множество, τ — семейство подмножеств X. а Тогда τ называется топологией на X, если:

1. И пустое множество, и X являются элементами τ .
2. Любое объединение элементов τ является элементом τ .
3. Любое пересечение конечного числа элементов τ является элементом τ .

Если τ — топология на X , то пара ( X , τ ) называется топологическим пространством. Обозначение X _τ может использоваться для обозначения множества X, наделенного конкретной топологией τ . По определению каждая топология является π -системой .

Члены τ называются открытыми множествами в X . Подмножество X называется замкнутым, если его дополнение находится в τ (т. е. его дополнение открыто). Подмножество X может быть открытым, закрытым, обоими (закрыто -открытое множество ) или ни одним из них. Пустое множество и сам X всегда одновременно закрыты и открыты. Открытое подмножество X содержащее точку x, называется окрестностью x , .

Непрерывные функции и гомеоморфизмы

Непрерывная деформация (разновидность гомеоморфизма) кружки в пончик (тор) и коровы (без дырок) в сферу.

Непрерывная трансформация может превратить кофейную кружку в пончик.
Керамическая модель Кинана Крейна и Генри Сегермана .

Основные статьи: Непрерывная функция и гомеоморфизм

Функция если или отображение одного топологического пространства в другое называется непрерывной, прообраз любого открытого множества открыт. Если функция отображает действительные числа в действительные числа (оба пространства со стандартной топологией), то это определение непрерывности эквивалентно определению непрерывности в исчислении . Если непрерывная функция взаимно однозначна и на , и если обратная функция также непрерывна, то функция называется гомеоморфизмом, а область определения функции называется гомеоморфной области значений. Другими словами, функция имеет естественное расширение топологии. Если два пространства гомеоморфны, они имеют одинаковые топологические свойства и считаются топологически одинаковыми. Куб и сфера гомеоморфны, как и чашка кофе и пончик. Однако сфера не гомеоморфна бублику.

Коллекторы

Основная статья: Коллектор

Хотя топологические пространства могут быть чрезвычайно разнообразными и экзотическими, многие области топологии сосредоточены на более знакомом классе пространств, известных как многообразия. Многообразие — это топологическое пространство, напоминающее евклидово пространство вблизи каждой точки. Точнее, каждая точка n -мерного многообразия имеет окрестность , гомеоморфную евклидову пространству размерности n . Линии и окружности , но не восьмерки , являются одномерными многообразиями. Двумерные многообразия также называются поверхностями , хотя не все поверхности являются многообразиями. Примеры включают плоскость , сферу и тор, которые могут быть реализованы без самопересечения в трех измерениях, а также бутылку Клейна и реальную проективную плоскость , которые не могут (то есть все их реализации представляют собой поверхности, не являющиеся многообразиями) .

Темы

Общая топология

Основная статья: Общая топология

Общая топология — это раздел топологии, изучающий основные теоретико-множественные определения и конструкции, используемые в топологии. Это основа большинства других разделов топологии, включая дифференциальную топологию, геометрическую топологию и алгебраическую топологию. Другое название общей топологии — топология множества точек.

Основной объект исследования — топологические пространства , представляющие собой множества, снабженные топологией , то есть семейством подмножеств , называемых открытыми множествами , замкнутым относительно конечных пересечений и (конечных или бесконечных) объединений . Фундаментальные понятия топологии, такие как непрерывность , компактность и связность , можно определить в терминах открытых множеств. Интуитивно понятно, что непрерывные функции переводят близлежащие точки в соседние точки. Компактные множества — это те, которые могут быть покрыты конечным числом множеств сколь угодно малого размера. Связные множества — это множества, которые нельзя разделить на две части, находящиеся далеко друг от друга. Слова «рядом» , «сколь угодно маленькие» и «далеко друг от друга» можно уточнить с помощью открытых наборов. В одном пространстве можно определить несколько топологий. Изменение топологии заключается в изменении набора открытых множеств. Это меняет, какие функции являются непрерывными, а какие подмножества компактными или связными.

Метрические пространства — важный класс топологических пространств, где расстояние между любыми двумя точками определяется функцией, называемой метрикой . В метрическом пространстве открытое множество представляет собой объединение открытых дисков, где открытый диск радиуса r с центром в точке x представляет собой набор всех точек, расстояние до которых до x меньше r . Многие общие пространства представляют собой топологические пространства, топология которых может быть определена с помощью метрики. Это случай вещественной прямой , комплексной плоскости , вещественных и комплексных векторных пространств и евклидовых пространств . Наличие метрики упрощает многие доказательства.

Алгебраическая топология

Основная статья: Алгебраическая топология

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

Наиболее важными из этих инвариантов являются гомотопические группы , гомологии и когомологии .

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

Дифференциальная топология

Основная статья: Дифференциальная топология

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

Более конкретно, дифференциальная топология рассматривает свойства и структуры, для определения которых требуется только гладкая структура на многообразии. Гладкие многообразия «мягче», чем многообразия с дополнительными геометрическими структурами, которые могут служить препятствиями для определенных типов эквивалентностей и деформаций , существующих в дифференциальной топологии. Например, объем и риманова кривизна являются инвариантами, которые позволяют различать разные геометрические структуры на одном и том же гладком многообразии - то есть можно плавно «сгладить» определенные многообразия, но для этого может потребоваться искажение пространства и влияние на кривизну или объем.

Геометрическая топология

Основная статья: Геометрическая топология

Геометрическая топология — это раздел топологии, который в основном фокусируется на многообразиях низкой размерности (то есть пространствах размерностей 2, 3 и 4) и их взаимодействии с геометрией, но также включает в себя некоторую топологию более высокой размерности. Некоторыми примерами тем геометрической топологии являются ориентируемость , разложение с помощью ручки , локальная плоскостность , смятие, а также плоская и многомерная теорема Шенфлиса .

В многомерной топологии характеристические классы являются базовым инвариантом, а теория хирургии — ключевой теорией.

Низкоразмерная топология является строго геометрической, что отражено в теореме об униформизации в двух измерениях: каждая поверхность допускает постоянную метрику кривизны; геометрически он имеет одну из трех возможных геометрий: положительную кривизну / сферическую, нулевую кривизну / плоскую и отрицательную кривизну / гиперболическую - и гипотезу геометризации (теперь теорема) в трех измерениях - каждое трехмерное многообразие можно разрезать на части, каждое из которых который имеет одну из восьми возможных геометрий.

Двумерную топологию можно изучать как комплексную геометрию с одной переменной ( римановы поверхности представляют собой комплексные кривые) – по теореме униформизации каждый конформный класс эквивалентен метрик единственному комплексному, а четырехмерную топологию можно изучать с точки зрения взгляд на сложную геометрию с двумя переменными (комплексные поверхности), хотя не каждое 4-многообразие допускает сложную структуру.

Обобщения

Иногда приходится использовать инструменты топологии, но «набор точек» недоступен. Вместо этого в бессмысленной топологии считается решетка открытых множеств. основным понятием теории в то время как топологии Гротендика представляют собой структуры, определенные в произвольных категориях , которые позволяют определять пучки в этих категориях, а вместе с тем и определять общие теории когомологий.

Приложения

Биология

Топология использовалась для изучения различных биологических систем, включая молекулы и наноструктуры (например, мембранные объекты). В частности, топология цепей и теория узлов широко применялись для классификации и сравнения топологии свернутых белков и нуклеиновых кислот. Топология цепей классифицирует свернутые молекулярные цепи на основе попарного расположения их внутрицепных контактов и пересечений цепей. Теория узлов , раздел топологии, используется в биологии для изучения воздействия определенных ферментов на ДНК. Эти ферменты разрезают, скручивают и повторно соединяют ДНК, вызывая образование узлов с наблюдаемыми эффектами, такими как замедление электрофореза .

Информатика

Топологический анализ данных использует методы алгебраической топологии для определения крупномасштабной структуры набора (например, определения того, является ли облако точек сферическим или тороидальным ). Основной метод, используемый при топологическом анализе данных, заключается в следующем:

1. Замените набор точек данных семейством симплициальных комплексов , индексированных параметром близости.
2. Анализируйте эти топологические комплексы с помощью алгебраической топологии, в частности, с помощью теории постоянных гомологии .
3. Закодируйте постоянную гомологию набора данных в форме параметризованной версии числа Бетти , которая называется штрих-кодом.

Некоторые разделы семантики языков программирования , такие как теория предметной области , формализуются с помощью топологии. В этом контексте Стив Викерс , опираясь на работы Самсона Абрамски и Майкла Б. Смита , характеризует топологические пространства как булевы алгебры или алгебры Гейтинга над открытыми множествами, которые характеризуются как полуразрешимые (эквивалентно, конечно наблюдаемые) свойства.

Физика

Топология имеет отношение к физике в таких областях, как физика конденсированного состояния , квантовая теория поля и физическая космология .

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

Топологическая квантовая теория поля (или топологическая теория поля или TQFT) — это квантовая теория поля, которая вычисляет топологические инварианты .

Хотя TQFT были изобретены физиками, они также представляют математический интерес, поскольку связаны, среди прочего, с теорией узлов , теорией четырехмногообразий в алгебраической топологии и теорией пространств модулей в алгебраической геометрии. Дональдсон , Джонс , Виттен и Концевич получили медали Филдса за работы, связанные с топологической теорией поля.

Топологическая классификация многообразий Калаби – Яу имеет важные последствия в теории струн , поскольку разные многообразия могут поддерживать разные типы струн.

В космологии топология может использоваться для описания общей формы Вселенной . Эта область исследований широко известна как топология пространства-времени .

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

Робототехника

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

Игры и головоломки

Головоломки на распутывание основаны на топологических аспектах форм и компонентов головоломки.

Волокно искусство

Чтобы создать непрерывное соединение частей в модульной конструкции, необходимо создать непрерывный путь в порядке, который окружает каждую часть и пересекает каждое ребро только один раз. Этот процесс является применением пути Эйлера .

Ресурсы и исследования

Основные журналы

• Geometry & Topology — журнал математических исследований, посвященный геометрии и топологии и их приложениям, издаваемый издательством Mathematical Sciences Publishers .
• Журнал топологии — научный журнал , в котором публикуются высококачественные и значимые статьи по топологии, геометрии и смежным областям математики.

Основные книги

• Манкрес, Джеймс Р. (2000). Топология (2-е изд.). Река Аппер-Седл, Нью-Джерси: Прентис-Холл. ISBN   978-0-13-181629-9
• Уиллард, Стивен (2016). Общая топология . Дуврские книги по математике. Минеола, Нью-Йорк: Публикации Дувра. ISBN   978-0-486-43479-7
• Армстронг, Массачусетс (1983). Базовая топология . Тексты для бакалавриата по математике. Нью-Йорк: Springer-Verlag. ISBN   978-0-387-90839-7

См. также

• Характеристики категории топологических пространств.
• Эквивариантная топология
• Список тем алгебраической топологии
• Список примеров общей топологии
• Список общих тем по топологии
• Список тем геометрической топологии
• Список тем топологии
• Публикации по топологии
• топоизомер
• Глоссарий топологии
• Топологическая теория Галуа
• Топологическая геометрия
• Топологический порядок

Ссылки

Библиография

• Александров, П.С. (1969) [1956]. «Глава XVIII Топология». В Александрове А.Д.; Колмогоров А.Н.; Лаврентьев М.А. (ред.). Математика / Ее содержание, методы и значение (2-е изд.). Массачусетский технологический институт Пресс.
• Крум, Фред Х. (1989). Принципы топологии . Издательство Колледжа Сондерса. ISBN  978-0-03-029804-2 .
• Ричесон, Д. (2008). Жемчужина Эйлера: формула многогранника и рождение топологии . Издательство Принстонского университета.

Дальнейшее чтение

• Рышард Энгелькинг , Общая топология , Хелдерманн Верлаг, Серия сигм в чистой математике, декабрь 1989 г., ISBN   3-88538-006-4 .
• Бурбаки ; Элементы математики: общая топология , Аддисон-Уэсли (1966).
• Брайтенбергер, Э. (2006). «Листинг Иоганна Бенедикта». В Джеймсе, И.М. (ред.). История топологии . Северная Голландия. ISBN  978-0-444-82375-5 .
• Келли, Джон Л. (1975). Общая топология . Спрингер-Верлаг . ISBN  978-0-387-90125-1 .
• Браун, Рональд (2006). Топология и группоиды . Книжный всплеск. ISBN  978-1-4196-2722-4 . (Дает хорошо мотивированное геометрическое описание общей топологии и показывает использование группоидов при обсуждении теоремы Ван Кампена , накрывающих пространств и пространств орбит .)
• Вацлав Серпинский , Общая топология , Dover Publications, 2000, ISBN   0-486-41148-6
• Пиковер, Клиффорд А. (2006). Лента Мёбиуса: чудесная группа доктора Августа Мёбиуса в области математики, игр, литературы, искусства, технологий и космологии . Пресс Громовой Пасты. ISBN  978-1-56025-826-1 . (Обеспечивает популярное введение в топологию и геометрию)
• Джеминьяни, Майкл К. (1990) [1967]. Элементарная топология (2-е изд.). Dover Publications Inc. ISBN  978-0-486-66522-1 .

Внешние ссылки

• «Топология общая» . Энциклопедия математики . ЭМС Пресс . 2001 [1994].
• Элементарная топология: первый курс Виро, Иванов, Нецветаев, Харламов.
• Топология в Керли
• Топологический зоопарк Центра геометрии .
• Атлас топологии
• Конспект лекций курса топологии Эйслинг МакКласки и Брайан Макмастер, Атлас топологии.
• Глоссарий топологии
• Москва 1935: Топология движется в сторону Америки , исторический очерк Хасслера Уитни .