Что изучает наука топология
ТОПОЛОГИЯ
Полезное
Смотреть что такое «ТОПОЛОГИЯ» в других словарях:
топология — топология … Орфографический словарь-справочник
топология — Физическое или логическое распределение узлов сети. Физическая топология определяет физические связи (каналы) между узлами. Логическая топология описывает возможные соединения между сетевыми узлами. В локальных сетях наиболее распространены три… … Справочник технического переводчика
ТОПОЛОГИЯ — в широком смысле область математики, изучающая топологич. свойства разл. матем. и физ. объектов. Интуитивно, к топологич. относятся качественные, устойчивые свойства, не меняющиеся при деформациях. Матем. формализация идеи о топологич. свойствах… … Физическая энциклопедия
ТОПОЛОГИЯ — ТОПОЛОГИЯ, раздел математики, изучающий свойства геометрических фигур, остающиеся неизменными при любой деформации сдавливании, растягивании, скручивании (но без разрывов и склеиваний). Чашка с ручкой топологически эквивалентна бублику; куб,… … Научно-технический энциклопедический словарь
ТОПОЛОГИЯ — ТОПОЛОГИЯ, топологии, мн. нет, жен. (от греч. topos место и logos учение) (мат.). Часть геометрии, исследующая качественные свойства фигур (т.е. не зависящие от таких понятий, как длина, величина углов, прямолинейность и т.п.). Толковый словарь… … Толковый словарь Ушакова
топология — сущ., кол во синонимов: 1 • математика (29) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
Топология — Topology раздел математики, изучающий свойства геометрических фигур, которые не изменяются при деформациях, происходящих без разрывов. Словарь бизнес терминов. Академик.ру. 2001 … Словарь бизнес-терминов
топология ИС — — [Я.Н.Лугинский, М.С.Фези Жилинская, Ю.С.Кабиров. Англо русский словарь по электротехнике и электроэнергетике, Москва, 1999 г.] Тематики электротехника, основные понятия EN integrated circuit layout … Справочник технического переводчика
Топология — Не следует путать с топографией. У этого термина существуют и другие значения, см. Топология (значения). Лента Мёбиуса поверхно … Википедия
ТОПОЛОГИЯ
ТОПОЛОГИЯ, раздел математики, занимающийся изучением свойств фигур (или пространств), которые сохраняются при непрерывных деформациях, таких, например, как растяжение, сжатие или изгибание. Непрерывная деформация – это деформация фигуры, при которой не происходит разрывов (т.е. нарушения целостности фигуры) или склеиваний (т.е. отождествления ее точек). Такие геометрические свойства связаны с положением, а не с формой или величиной фигуры. В отличие от евклидовой и римановой геометрий, геометрии Лобачевского и других геометрий, занимающихся измерением длин и углов, топология имеет неметрический и качественный характер. Раньше она носила названия «анализ ситус» (анализ положения), а также «теория точечных множеств». В научно-популярной литературе топологию часто называют «геометрией на резиновом листе», поскольку ее наглядно можно представлять себе как геометрию фигур, нарисованных на идеально упругих резиновых листах, которые подвергаются растяжению, сжатию или изгибанию. Топология – один из новейших разделов математики.
История.
В 1640 французский философ и математик Р.Декарт (1596–1650) нашел инвариантное соотношение между числом вершин, ребер и граней простых многогранников. Это соотношение Декарт выразил формулой V – E + F = 2, где V – число вершин, E – число ребер и F – число граней. В 1752 швейцарский математик Л.Эйлер (1707–1783) дал строгое доказательство этой формулы. Еще один вклад Эйлера в развитие топологии – это решение знаменитой задачи о кёнигсбергских мостах. Речь шла об острове на реке Прегель в Кёнигсберге (в том месте, где река разделяется на два рукава – Старый и Новый Прегель) и семи мостах, соединяющих остров с берегами. Задача состояла в том, чтобы выяснить, можно ли обойти все семь мостов по непрерывному маршруту, побывав на каждом только один раз и вернувшись в исходную точку. Эйлер заменил участки суши точками, а мосты – линиями. Полученную конфигурацию Эйлер назвал графом, точки – его вершинами, а линии – ребрами. Вершины он разделил на четные и нечетные в зависимости от того, четное или нечетное число ребер выходит из вершины. Эйлер показал, что все ребра графа можно обойти ровна по одному разу по непрерывному замкнутому маршруту, лишь если граф содержит только четные вершины. Так как граф в задаче о кёнигсбергских мостах содержит только нечетные вершины, мосты невозможно обойти по непрерывному маршруту, побывав на каждом ровно по одному разу и вернувшись к началу маршрута.
Предложенное Эйлером решение задачи о кенигсбергских мостах зависит только от взаимного расположения мостов. Оно положило формальное начало топологии как разделу математики. К.Гаусс (1777–1855) создал теорию узлов, которой позднее занимались И.Листинг (1808–1882), П.Тэйт (1831–1901) и Дж.Александер. В 1840 А.Мёбиус (1790–1868) сформулировал так называемую проблему четырех красок, которую впоследствии исследовали О.де Морган (1806–1871) и А.Кэли (1821–1895). Первым систематическим трудом по топологии были Предварительные исследования по топологии Листинга (1874).
Основателями современной топологии являются Г.Кантор (1845–1918), А.Пуанкаре (1854–1912) и Л.Брауэр (1881–1966).
Разделы топологии.
Топологию можно подразделить на три области: 1) комбинаторную топологию, изучающую геометрические формы посредством их разбиения на простейшие фигуры, регулярным образом примыкающие друг к другу; 2) алгебраическую топологию, занимающуюся изучением алгебраических структур, связанных с топологическими пространствами, с упором на теорию групп; 3) теоретико-множественную топологию, изучающую множества как скопления точек (в отличие от комбинаторных методов, представляющих объект как объединение более простых объектов) и описывающую множества в терминах таких топологических свойств, как открытость, замкнутость, связность и т.д. Разумеется, такое деление топологии на области в чем-то произвольно; многие топологи предпочитают выделять в ней другие разделы.
Некоторые основные понятия.
Топологическое пространство состоит из множества точек S и набора S подмножеств множества S, удовлетворяющего следующим аксиомам:
(1) все множество S и пустое множество принадлежат набору S;
(2) объединение любой совокупности множеств из S есть множество из S;
(3) пересечение любого конечного числа множеств из S есть множество из S.
Множества, входящие в набор S, называются открытыми множествами, а сам этот набор – топологией в S. См. МНОЖЕСТВ ТЕОРИЯ.
Топологическое преобразование, или гомеоморфизм, одной геометрической фигуры S на другую, Sў, – это отображение (p ® pў) точек p из S в точки pў из Sў, удовлетворяющее следующим условиям: 1) устанавливаемое им соответствие между точками из S и Sў взаимно однозначно, т.е. каждой точке p из S соответствует только одна точка pў из Sў и в каждую точку pў отображается только одна точка p; 2) отображение взаимно непрерывно (непрерывно в обе стороны), т.е. если заданы две точки p, q из S и точка p движется так, что расстояние между ней и точкой q стремится к нулю, то расстояние между соответствующими точками pў, qў из Sў также стремится к нулю, и наоборот.
Геометрические фигуры, переходящие одна в другую при топологических преобразованиях, называются гомеоморфными. Окружность и граница квадрата гомеоморфны, так как их можно перевести друг в друга топологическим преобразованием (т.е. изгибанием и растяжением без разрывов и склеиваний, например, растяжением границы квадрата на описанную вокруг него окружность). Сфера и поверхность куба также гомеоморфны. Чтобы доказать гомеоморфность фигур, достаточно указать соответствующее преобразование, но тот факт, что для каких-то фигур найти преобразование нам не удается, не доказывает, что эти фигуры не гомеоморфны. Здесь помогают топологические свойства.
Топологическим свойством (или топологическим инвариантом) геометрических фигур называется свойство, которым вместе с данной фигурой обладает также любая фигура, в которую она переходит при топологическом преобразовании.
Любое открытое связное множество, содержащее по крайней мере одну точку, называется областью.
Область, в которой любую замкнутую простую (т.е. гомеоморфную окружности) кривую можно стянуть в точку, оставаясь все время в этой области, называется односвязной, а соответствующее свойство области – односвязностью. Если же некоторую замкнутую простую кривую этой области нельзя стянуть в точку, оставаясь все время в этой области, то область называется многосвязной, а соответствующее свойство области – многосвязностью. Представьте себе две круговые области, или диски, одну без дыр, а другую с дырами. Первая область односвязна, вторая многосвязна. Односвязность и многосвязность – топологические свойства. Область с дырой не может перейти при гомеоморфизме в область без дыр. Интересно отметить, что если в многосвязном диске провести по разрезу от каждой из дыр до края диска, то он станет односвязным.
Максимальное число замкнутых простых непересекающихся кривых, по которым можно разрезать замкнутую поверхность, не разделяя ее на отдельные части, называется родом поверхности. Род – топологический инвариант поверхности. Можно доказать, что род сферы равен нулю, род тора (поверхности «бублика») – единице, род кренделя (тора с двумя дырками) – двум, род поверхности с p дырами равен p. Отсюда следует, что ни поверхность куба, ни сфера не гомеоморфны тору.
Среди топологических инвариантов поверхности можно также отметить число сторон и число краев. Диск имеет 2 стороны, 1 край и род 0. Тор имеет 2 стороны, не имеет краев, а его род равен 1.
Введенные выше понятия позволяют уточнить определение топологии: топологией называется раздел математики, изучающий свойства, которые сохраняются при гомеоморфизмах.
Важные проблемы и результаты.
Теорема Жордана о замкнутой кривой.
Если на поверхности проведена простая замкнутая кривая, то существует ли какое-либо свойство кривой, которое сохраняется при деформации поверхности? Существование такого свойства вытекает из следующей теоремы: простая замкнутая кривая на плоскости делит плоскость на две области, внутреннюю и внешнюю. Эта кажущаяся тривиальной теорема очевидна для кривых простого вида, например, для окружности; однако для сложных замкнутых ломаных дело обстоит иначе. Теорема была впервые сформулирована и доказана К.Жорданом (1838–1922); однако доказательство Жордана оказалось ошибочным. Удовлетворительное доказательство было предложено О.Вебленом (1880–1960) в 1905.
Теорема Брауэра о неподвижной точке.
Пусть D – замкнутая область, состоящая из окружности и ее внутренности. Теорема Брауэра утверждает, что для любого непрерывного преобразования, переводящего каждую точку области D в точку этой же области, существует некоторая точка, которая остается неподвижной при этом преобразовании. (Преобразование не предполагается взаимно однозначным.) Теорема Брауэра о неподвижной точке представляет особый интерес потому, что она, по-видимому, является, наиболее часто используемой в других разделах математики топологической теоремой.
Проблема четырех красок.
Проблема заключается в следующем: можно ли любую карту раскрасить в четыре цвета так, чтобы любые две страны, имеющие общую границу, были раскрашены в различные цвета? Проблема четырех красок топологическая, так как ни форма стран, ни конфигурация границ не имеют значения.
Гипотеза о том, что четырех красок достаточно для соответствующей раскраски любой карты, была впервые высказана в 1852. Опыт показал, что четырех красок действительно достаточно, но строгого математического доказательства не удавалось получить на протяжении более ста лет. И только в 1976 К.Аппель и В.Хакен из Иллинойского университета, затратив более 1000 часов компьютерного времени, добились успеха.
Односторонние поверхности.
Простейшей односторонней поверхностью является лист Мёбиуса, названный так в честь А.Мёбиуса, открывшего его необычайные топологические свойства в 1858. Пусть ABCD (рис. 2,а) – прямоугольная полоска бумаги. Если склеить точку A с точкой B, а точку C с точкой D (рис. 2,б), то получится кольцо с внутренней поверхностью, наружной поверхностью и двумя краями. Одну сторону кольца (рис. 2,б) можно окрасить. Окрашенная поверхность будет ограничена краями кольца. Жук может совершить «кругосветное путешествие» по кольцу, оставаясь либо на окрашенной, либо на неокрашенной поверхности. Но если полоску перед склеиванием концов перекрутить на полоборота и склеить точку A с точкой C, а B с D, то получится лист Мёбиуса (рис. 2,в). У этой фигуры есть только одна поверхность и один край. Любая попытка окрасить только одну сторону листа Мёбиуса обречена на неудачу, так как у листа Мёбиуса всего одна сторона. Жук, ползущий по середине листа Мёбиуса (не пересекая края), вернется в исходную точку в положении «вверх ногами». При разрезании листа Мёбиуса по средней линии он не распадается на две части.
Узел можно представлять себе как запутанный кусок тонкой веревки с соединенными концами, расположенный в пространстве. Простейший пример – из куска веревки сделать петлю, пропустить один из ее концов сквозь петлю и соединить концы. В результате мы получим замкнутую кривую, которая остается топологически той же самой, как бы ее ни растягивать или скручивать, не разрывая и не склеивая при этом отдельные точки. Проблема классификации узлов по системе топологических инвариантов пока не решена.
Ху Сы-цзян. Теория гомотопий. М., 1964
Куратовский А. Топология, тт. 1–2. М., 1966, 1969
Спеньер Э. Алгебраическая топология. М., 1971
Александров П.С. Введение в теорию множеств и общую топологию. М., 1977
Келли Дж. Общая топология. М., 1981
Введение в топологию (для чайников и гуманитариев)
Не помню, когда я впервые узнал про топологию, но меня эта наука сразу заинтересовала. Чайник превращается в бублик, сфера выворачивается наизнанку. Многие слышали про это. Но у тех, кто хочет углубиться в эту тему на более серьёзном уровне, часто возникают трудности. Особенно это относится к освоению самых начальных понятий, которые по своей сути очень абстрактны. Более того, многие источники, как будто специально стремятся запутать читателя. Скажем русская вики даёт весьма туманную формулировку того, чем занимается топология. Там говорится, что это наука изучающая топологические пространства. В статье про топологические пространства читатель может узнать, что топологические пространства — это пространства снабжённые топологией. Такие объяснения в стиле лемовских сепулек не очень проясняют суть предмета. Я попробую далее изложить основные базовые понятия в более ясной форме. В моей заметке не будет превращающихся чайников и бубликов, но будут сделаны первые шаги, которые позволят в конце концов научиться этой магии.
Впрочем, так как я не математик, а стопроцентный гуманитарий, то вполне возможно, что написанное ниже — враньё! Ну, или по крайней мере часть.
Впервые я написал эту заметку, как начало цикла статей о топологии, для своих гуманитарных друзей, но никто из них читать ее не стал. Исправленную и расширенную версию я решил выложить на хабр. Мне показалось, что здесь существует определенный интерес к этой теме и статей как раз такого рода еще не было. Заранее благодарен за все комментарии об ошибках и неточностях. Предупреждаю, что я использую много картинок.
Начнем с краткого повторения теории множеств. Думаю, большинство читателей хорошо с ней знакомы, но тем не менее напомню основы.
Итак, считается, что определения у множества нет и, что мы интуитивно понимаем, что это такое. Кантор говорил так: «Под «множеством» мы понимаем соединение в некое целое M определённых хорошо различимых предметов m нашего созерцания или нашего мышления (которые будут называться «элементами» множества M)». Конечно, это просто иносказательное описание, а не математическое определение.
Теория множеств известна (прошу простить за каламбур) множеством удивительных парадоксов. Например. С ней также связан кризис математики в начале XX-го века.
Теория множеств существует в нескольких вариантах, таких как ZFC или NBG и других. Вариантом теории являетсятеория типов, которая весьма важна для программистов. Наконец, некоторые математики предлагает вместо теории множеств в качестве фундамента математики использовать теорию категорий, о которой много написано на Хабре. Теория типов и теория множеств описывают математические объекты как бы «изнутри», а теория категорий не интересуется их внутренним строением, а только как они взаимодействуют, т.е. даёт их «внешнюю» характеристику.
Для нас важны только самые начальные основы теории множеств.
Множества бывают конечными.
Бывают бесконечными. Например, множество целых чисел, которое обозначается буквой ℤ (или просто Z, если у вас на клавиатуре нет фигурных букв).
Наконец, есть пустое множество. Оно ровно одно во всей Вселенной. Имеется простое доказательство этого факта, но я не буду его здесь приводить.
Если множество бесконечно, оно бывает счетным. Счетные — те множества, элементы которых можно перенумеровать натуральными числами. Само множество натуральных чисел, как вы догадались, тоже счетно. А вот как можно пронумеровать целые числа.
С рациональными числами сложнее, но и они поддаются нумерации. Этот способ называется диагональным процессом и выглядит, как на картинке внизу.
Обобщением понятия размера для множеств является мощность. Мощность конечных множеств равна числу их элементов. Мощность бесконечных множеств обозначается еврейской буквой алеф с индексом. Самая маленькая бесконечная мощность—это мощность ℵ0. Она равна мощности счетных множеств. Как видим, таким образом, натуральных чисел, так же много, как и целых или рациональных. Странно, но факт. Следующая — мощность континуума. Она обозначается маленькой готической буквой с. Это мощность множества вещественных чисел ℝ, например. Существует гипотеза о том, что мощность континуума равна мощности ℵ1. Т.е., что это следующая после мощности счетных множеств мощность, и нет никакой промежуточной мощности между счетными множествами и континуумом.
Над множествами можно проводить различные операции и получать новые множества.
1. Множества можно объединять.
2. Множества можно «вычитать». Эта операция называется дополнением.
3. Можно искать пересечение множеств.
Собственно это все о множествах, что нужно знать для целей этой заметки. Теперь мы можем приступить к самой топологии.
Топология — это наука, которая изучает множества с определенной структурой. Эта структура также называется топологией.
Пусть у нас есть некоторое непустое множество S.
Пусть же у этого множества будет некоторая структура, которая описывается с помощью множества, которое мы назовем Т. Т представляет собой множество подмножеств множества S такое, что:
1. Само S и ∅ принадлежат T.
2. Любое объединение произвольных семейств элементов T принадлежит T.
3. Пересечение произвольного конечного семейства элементов T принадлежит T.
Если эти три пункта выполняются, то наша структура является топологией T на множестве S. Элементы множества T называются открытыми множествами на S в топологии T. Дополнением к открытым множествам являются замкнутые множества. Важно отметить, что если множество открыто, это еще не означает, что оно не замкнуто и наоборот. Кроме того в данном множестве относительно некоторой топологии могут быть подмножества, которые не являются ни открытыми, ни замкнутыми.
Приведем пример. Пусть у нас есть множество, состоящее из трех цветных треугольников.
Самая простая топология на нем называется антидискретной топологией. Вот она.
Эту топологию, также называют топологией слипшихся точек. Она состоит из самого множества и из пустого множества. Это действительно удовлетворяет аксиомам топологии.
На одном множестве можно задать несколько топологий. Вот еще одна очень примитивная топология, которая бывает. Она называется дискретной. Это топология, которая состоит из всех подмножеств данного множества.
А вот еще топология. Она задана на множестве из 7 разноцветных звезд S, которые я обозначил буквами. Убедитесь, что это топология. Я в этом не уверен, вдруг я пропустил, какое-то объединение или пересечение. На этой картинке должно быть само множество S, пустое множество, пересечения и объединения всех остальных элементов топологии также должны быть на картинке.
Пара из топологии и множества на котором она задана называется топологическим пространством.
Если в множестве много точек (не говоря уже о том, что их может быть бесконечно много ), то перечислить все открытые множества может быть проблематично. Например, для дискретной топологии на множестве из трех элементов, надо составить список из 8 множеств. А для 4-элементного множества дискретная топология будет насчитывать уже 16, для 5 — 32, для 6 —64 и так далее. Для того, чтобы не перечислять все открытые множества используется как бы сокращенная запись — выписываются те элементы, объединения которых могут дать, все открытые множества. Это называется базой топологии. Например, для дискретной топологии пространства из трех треугольников — это будут три треугольника взятые в отдельности, потому, что объединяя их, можно получить все остальные открытые множества в данной топологии. Говорят, что база генерирует топологию. Множества, элементы которого генерируют базу, называют предбазой.
Ниже пример базы для дискретной топологии на множестве из пяти звезд. Как видите, в данном случае база состоит всего из пяти элементов, в то время как в топологии целых 32 подмножества. Согласитесь, использовать базу для описания топологии — гораздо удобнее.
Для чего нужны открытые множества? В каком-то смысле они дают представление о «близости» между точками и о различии между ними. Если точки принадлежат двум разным открытым множествам или если одна точка находится в открытом множестве, в котором не находится вторая, то они топологически различаются. В антидискретной топологии все точки в этом смысле неразличимы, они как бы слиплись. Наоборот, в дискретной топологии все точки имеют различие.
С понятием открытого множества неразрывно связано понятие окрестности. Некоторые авторы дают определение топологии не через открытые множества, а через окрестности. Окрестность точки p — это множество, которое содержит открытый шар с центром в этой точке. Например, на рисунке ниже показаны окрестности и не окрестности точек. Множество S1 является окрестностью точки p, а множество S2 нет.
Связь между открытым множеством и октестностью можно сформулировать так. Открытое множество — такое множество, каждый элемент которого имеет некоторую окрестность, лежащую в данном множестве. Или наоборот можно сказать, что множество открыто, если оно является окрестностью любой своей точки.
Все это самые базовые понятия топологии. Отсюда еще не ясно как выворачивать сферы наизнанку. Возможно в будущем, я смогу добраться и до такого рода тем (если сам разберусь).
UPD. Из-за неаккуратности моей речи, возникло некоторое недоумение относительно мощностей множеств. Я несколько исправил свой текст и здесь хочу дать пояснение. Кантор, создавая свою теорию множеств, ввел понятие мощности, которое позволяло сравнивать бесконечные множества. Кантор установил, что мощности счетных множеств (например, рациональных чисел) и континуума (например, вещественных чисел) различны. Он предположил, что мощность континуума является следующей после мощности счетных множеств т.е. равна алеф-один. Кантор пытался доказать эту гипотезу, но безуспешно. Позже стало ясно, что эту гипотезу нельзя ни опровергнуть, ни доказать.