Топология как раздел математики¶

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

¶Предмет и идея

Топология отвлекается от метрических характеристик — длины, площади, углов, кривизны — и рассматривает лишь взаимное расположение и характер связности объектов. Ключевыми понятиями служат непрерывность, окрестность, открытое и замкнутое множество, предел, компактность, связность. Формально топологическое пространство задаётся множеством точек и набором открытых подмножеств, удовлетворяющих аксиомам: пустое множество и всё пространство открыты, объединение любого числа и пересечение конечного числа открытых множеств открыты.

Две фигуры считаются топологически эквивалентными (гомеоморфными), если существует взаимно однозначное и взаимно непрерывное отображение одной в другую. Именно гомеоморфизм формализует интуитивное представление о «деформации без разрывов».

¶История

Истоки топологии восходят к работам Готфрида Лейбница, размышлявшего об «анализе положения», и Леонарда Эйлера. В 1736 году Эйлер решил задачу о кёнигсбергских мостах, показав, что невозможно пройти по всем семи мостам города, не проходя ни по одному дважды. Это рассуждение не зависело от длин и форм, а лишь от схемы соединений, и считается первым результатом топологии.

В XIX веке идеи развивали Карл Фридрих Гаусс, Бернхард Риман, Огюстен Луи Коши. Анри Пуанкаре в конце XIX — начале XX века заложил основы алгебраической топологии, введя фундаментальную группу и понятие гомологии. В XX веке сформировались самостоятельные направления: общая топология (аксиоматика пространств), алгебраическая топология, дифференциальная топология. Значительный вклад внесли российские математики — Павел Александров, Лев Понтрягин, Андрей Тихонов.

¶Основные разделы

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

¶Классификация поверхностей

Для замкнутых поверхностей существует полное описание: любая такая поверхность гомеоморфна либо сфере, либо сфере с определённым числом «ручек» (торических отверстий), либо связной сумме проективных плоскостей. Число ручек называется родом поверхности и служит топологическим инвариантом. Так, сфера имеет род 0, тор — род 1, крендель с двумя отверстиями — род 2.

¶Топологические инварианты

Инвариант — характеристика, не меняющаяся при гомеоморфизме. К ним относятся:

Эйлерова характеристика выпуклого многогранника равна 2, что выражает формула Эйлера: В − Р + Г = 2, где В — число вершин, Р — рёбер, Г — граней.

¶Применение

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

¶Значение и связь с другими науками

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

¶Известные задачи

К числу знаменитых относится гипотеза Пуанкаре: всякое односвязное замкнутое трёхмерное многообразие гомеоморфно трёхмерной сфере. Она была доказана Григорием Перельманом в 2002–2003 годах. Другая классическая тема — теория узлов, изучающая, когда одну замкнутую петлю в пространстве можно непрерывно преобразовать в другую. Также известна проблема четырёх красок, при доказательстве которой применялись топологические соображения.

¶Интересные факты

• Задача о кёнигсбергских мостах положила начало и топологии, и теории графов.
• Лента Мёбиуса имеет только одну сторону и один край.
• Бутылка Клейна — поверхность без различия внутренней и внешней сторон, которую нельзя вложить в трёхмерное пространство без самопересечения.
• С точки зрения топологии человек и спасательный круг различаются числом «дыр».

Источники: учебники по общей топологии, работы по истории математики, энциклопедические издания по математике.