Головною ідеєю топології є суцільність, тобто неперервність. Уявіть собі суцільний шматок тіста або пластиліну у формі кулі, який можна деформувати у певну множину фігур - наприклад, у повнотілі фігурки тварин (ведмедя, зайця чи іншої тварини). Порушуючи суцільність, наприклад, проколюючи цей суцільний шматок (роблячи у ньому отвір), ми отримуємо іншу форму, яка визначає множину інших фігур - серед них, наприклад, бублик або кружка.
Тобто фігура є частиною більш загального явища - форми, яку можна деформовувати. У топології замість слова форма застосовують словосполучення топологічний простір, а під деформаціями розуміють взаємно однозначні відрображення топологічних просторів. Якщо два топологічні простори можна деформувати один в одного, то вони називаються гомеоморфними. При цьому кажуть, що топологічні простори є однакового топологічного типу, якщо вони гомеоморфні.
Краще розуміння поняття суцільності дає кінематичне задання лінії, поверхні та об'ємної фігури. Множина послідовних положень точки утворює лінію. Тобто, торкаючись ручкою паперу, ми утворюємо точку. При цьому потрібно зауважити, що точка не має конкретних розмірів чи структури, однак вважається геометричним об'єктом. Якщо, не відриваючи ручки від паперу, перемістити цю точку з однієї частини паперу до іншої, утвориться неперервна лінія (пряма чи крива), що складається з послідовних положень цієї точки. Таким самим чином множина послідовних положень лінії утворює поверхню. А множина послідовних положень поверхні утворює об'ємну фігуру. Такі множини називаються неперервними. Якщо розглянути окремі два положення точки на шляху її руху, то незалежно від того, наскільки ці положення точки близькі один до одного, завжди буде існувати ще одне положення точки між ними. Тобто, на якому масштабі б ми не розглядали лінію, вона не буде мати розривів - буде повністю складатися із точок у будь-якому місці на ній. Варто відзначити, що у топології з точки не можна отримати лінію чи іншу фігуру (оскільки вони складаються з множини точок), однак у зворотному напрямку можна стиснути лінію чи іншу фігуру у точку - таке стиснення називається стягуванням топологічного простору в точку.
Поняття неперервності базується на ряді аксіом, що виражають неперервність лінії. Однією з таких аксіом є аксіома Дедекінда, яка полягає у наступному: якщо усі точки відрізка прямої розбити на два класи - та , кожний з яких не пустий, і таким чином, що:
кожна точка відрізка належить лише одному класу, тобто точка належить першому класові, а точка належить другому класові,
кожна точка першого класу, відмінна від точки лежить на лінії між точкою та довільною точкою другого класу;
якщо кожна точка другого класу, відмінна від лежить між точкою першого класу та точкою то існує точка причому лише одна, яка належить відрізку де та - довільні точки першого та другого класів відповідно. Точка може належати як до так і до
Топологічна структура на множині - це система підмножин, виділених у яка задовільняє аксіомам топології (або аксіомам відкритих множин):
будь-які об'єднання цих підмножин належать до
скінченні перетини цих підмножин належать до
сама множина та підмножина належать до
Підмножини які входять до системи підмножин називаються відкритими множинами. Підмножини називають також картами, а систему яка складається з цих карт та пустої множини називають атласом. Атлас складається із окремих карт, які описують окремі області топологічного простору. Наприклад, якщо під топологічним простором розуміти поверхню Землі, то слова карта та атлас набувають своїх звичних значень.
Доповнення відкритих множин називаються замкнутими множинами. Система замкнутих множин задовільняє двоїстим аксіомам: скінченні об'єдннання й будь-які перетини замкнутих множин, а також та є замкнутими множинами.
Множина, наділена топологічною стуктурою, називається топологічним простором, а її елементи - точками. Топологічний простір позначається Часто символ не вживають і пишуть просто
Відкрита множина називається околом своїх точок, а також кожної підмножини, яка належить до неї.
Топологічна структура більша від структури (), якщо у міститься більше відкритих множин, ніж у Однак дві топології на множині можуть бути непорівнюваними, якщо структури не мають спільних відкритих множин. Таким чином, множина структур є частково впорядкованою.
Дві топологічні структури та на множині співпадають, якщо відкриті множини однієї структури є відкритими множинами й у іншій структурі. Іншими словами, кожний окіл з однієї структури містить окіл з іншої структури. У цьому випадку відкрита множина однієї структури є об'єднанням відкритих множин іншої.
Аксіоми відокремлюваності. (Аксіома Гаусдорфа). Для кожної пари різних точок існують такі непересічні відкриті множини та (), що
Якщо у топологічному просторі існують невідокремлювані пари точок (у такої пари усі околи точок є спільними), то виникає відношення еквівалентності: точки у одному класі еквівалентності попарно невідокремлювані одна від одної, і кожна відкрита множина складається із цілих класів.
(Аксіома Колмогорова). У кожній парі точок хоча б одна точка має околи, що не містять іншу точку. У просторі виникає часткова впорядкованість, якщо окіл точки містить точку (тобто якщо кожний окіл є околом ). Іншими словами, якщо у множині є ієрархія, яка є транзитивною ("керівник керівника також є моїм керівником"), то у цій множині виникає топологія, якщо відкритою вважати множину, у якій кожна точка міститься разом із її підлеглими.
Індукована топологія. Кожна підмножина наділена індукованою топологічною структурою: відкритими підмножинами у відносно цієї структури вважаються перетини відкритих підмножин При цьому говорять, що відкрита відносно Підмножина із індукованою структурою називається підпростором топологічного простору Таким чином, будь-яка підмножина топологічного простору може розглядатися як топологічний простір, якщо в якості відкритих підмножин множини прийняти перетини де - відкриті множини простору
Внутрішністю підпростору у називється максимальна відкрита підмножина простору що міститься у зокрема, це множина (можливо ) усіх точок, які містяться у із своїми околами. Іноді вживають запис для позначення підпростору топологічного простору Точки, які належать до називаються внутрішніми.
Зовнішністю підпростору називється максимальна відкрита множина, яка не перетинається із зокрема, зовнішність є доповненням внутрішності, зовнішністю є множина усіх точок, які мають окіли, які не перетинаються із Таким чином, Точки, які належать до називаються зовнішніми.
Доповнення до об'єднання внутрішності та зовнішності називається границею підпростору Границя - множина усіх точок, кожний окіл яких перетинається одночасно із внутрішністю та зовнішністю Точки, які належать до границі називаються граничними.
Замиканням підпростору називається - множина усіх точок околи яких перетинаються із Замикання підпростору є доповненням до його зовнішності (у якому кожна точка має окіл, який не перетинається із ); відповідно, підпростір замкнутий.
Таким чином, якщо підпростір відкритий, то Так само, підпростір замнутий у якщо Зокрема, замикання самого замикання є замкнутим ().
З аксіом загальної топології можна вивести деякі наслідки алгебри множин. У загальній топології об'єктом дослідження є непуста множина яка називається простором, елементи якої є точками. Кожній підмножині множини відповідає множина яка називається замиканням множини що також належить множині Простір є топологічним, якщо для нього справджуються наступні аксіоми:
1) ;
2) ;
3) ;
4)
Ці аксіоми справджуються, наприклад, якщо є множиною точок площини, а операція замикання полягає у прикладанні до усіх граничних точок цієї множини, таких точок що довільне коло із центром у містить принаймні одну точку множини
З даних аксіом можна вивести за допомогою законів алгебри множин різні властивості операції замикання. Зокрема, маємо Справді. Для кожної є відним а за третьою аксіомою
Далі, Справді, з того, що за першою аксіомою отримуємо а звідси та, таким чином,
Розгляньмо імплікацію Включення є еквівалентним рівності звідки за першою аксіомою отримаємо відповідно,
Далі, розгляньмо Справді, оскільки та то та Перемножимо ці включення за врахування закону ідемпотентності.
Якщо та то Справді, згідно до третьої аксіоми, а Тому Множина, що співпадає із своїм замиканням, називається замкнутою. Силогізм у цьому абзаці означає, що добуток двох замкнутих множин є замкнутим, а формула - що сума двох замнутих множин є замкнутою.
Множина називається доповненням множини Відкриті множини мають таку характеристичну властивість: якщо точка міститься у відкритій множині то існує коло із центром у точці яке повністю міститься у Множина називається внутрішністю множини
Розгляньмо З третьої аксіоми отримуємо звідки отримуємо
або
З того, що слідує, що Це твердження можна посилити наступним чином: Справді, з визначення слідує, що та
Нехай - відображення топологічного простору до топологічного простору Відображення називається неперервним у точці якщо будь-якому околу точки відповідає деяка область точки така, що Відображення називається неперервним, якщо воно є неперервним у кожній своїй області визначення
Таким чином, відображення є неперервним лише тоді, коли прообраз при цьому відображенні будь-якої відкритої множини з представляє собою відкриту множину з Якщо відображення є неперервним та - відкрита множина з то множина є окілом будь-якої точки що задовільняє умові тобто є окілом будь-якої точки, яка до нього входить, та, відповідно, відкритою множиною. Навпаки, якщо для будь-якої відкритої множини (де ) простору множина простору є відкритою, то відображення є неперервним у точці
Відображення є замкнутим, якщо образ будь-якої замкнутої множини за відображення є замнутим (за аналогією до визначення відкритих відображень). Неперервне відображення може бути
ні відкритим, ні замкнутим одночасно;
відкритим, але не замкнутим;
замкнутим, але не відкритим;
відкритим і замкнутим одночасно.
Відкрите відображення іноді називається також внутрішнім.
Розгляньмо взаємно однозначне й неперервне відображення, яке не є гомеоморфізмом. Нехай - цілі числа із дискретною топологією, а - раціональні числа на відрізку із топологією, індукованою вкладенням Топологія на не є дискретною, тому не усі множини є відкритими. Відтак простори та не гомеоморфні. У той же час множини та є зліченними, відтак існує взаємно неперервне однозначне відображення оскільки - дискретний простір (найслабша топологія за аксіоми Колмогорова).
Нехай - довільна відкрита множина у Для кожного диференційовуваного відображення визначені його частинні похідні та диференціал де - простір усіх лінійних відображень Диференціал виражається через частинні похідні за наступною формулою: для та
Розгляньмо довільні множини та Відображення називається відображенням класу якщо існують такі відкриті множини та та таке відображення що і для будь-якого усі частинні похідні існують і є неперервними на Композиція відображень та класу є також й відображенням класу
Відображення класу називається дифеоморфізмом класу якщо існує зворотне відображення яке також є відображенням класу
Для будь-яких відображень й класу справедлива наступна формула (правило диференціювання складної функції).
Система підмножин множини називається її покриттям (кажуть, що покриває ), якщо (об'єднання цих множин співпадає із ). Якщо чисельність елементів покриття є скінченним або зліченним, то говорять, що покриття відповідно скінченне або зліченне. Якщо елементи покриття відкриті або відповідно замкнуті підпростори простору то покриття називається відповідно відкритим чи замкнутим.
Покриття називається вписаним у покриття якщо кожний елемент міститься у деякому елементі з Нехай дана підмножина a - набір відкритих підмножин. Говорять, що є покриттям підмножини якщо Якщо з вилучити яку-небудь кількість відкритих множин і воно залишиться покриттям, то одержане покриття називається підпокриттям. У будь-яке відкрите покриття можна вписати покриття елементами бази.
Покриття простору називається фундаментальним, якщо підмножина лише тоді відкрита, коли її перетин із кожним елементом покриття є відкритим (у індукованій топології). Відтак будь-яке відкрите покриття є фундаментальним.
Покриття простору називається локально скінченним, якщо довільна точка має окіл який перетинається лише із скінченним числом елементів покриття . Локально скінченне покриття замкнутими множинами є фундаментальним. Наприклад, покриття множини множини точок у точками не є фундаментальним, однак покриття відрізка усіма зліченими підмножинами є фундаментальним.
Значення покриттів полягає у тому, що топологія усього простору може бути влаштована доволі складно, а локально її легше вивчати. Зробити це іноді дозволяє відповідне покриття. Ця ідея систематично використовується при вивченні спеціального класу топологічних просторів, які називаються многовидами.
Картою топологічного простору називається пара де - відкрита підмножина простору a - гомеоморфізм множини на відкриту підмножину де - верній напівпростір простору тобто множина усіх точок для яких
Атласом класу топологічного простору називається така система (сім'я) карт цього простору, що:
простір є об'єднанням відкритих множин для яких
для будь-яких відображення є відображенням класу (це відображення є дифеоморфізмом класу зворотним до якого є відображення ).
Два атласи та класу є еквівалентними, якщо їх об'єднання знову є атласом класу
Атлас класу називається максимальним, якщо він не міститься у жодному більшому атласі класу Відношення еквівалентності атласів рефлексивне, симетричне й транзитивне, відтак кожний атлас міститься у декотрому єдиному максимальному атласі. Два атласи лише у тому випадку є еквівалентними, якщо вони містяться у одному і тому самому масимальному атласі.
Многовидом класу називається пара, яка складається з декотрого гаусдорфового простору та декотрого максимального атласу класу на Атласи (класу ), які містяться у цьому максимальному атласі, називаються атласами многовиду, а їх карти - картами многовиду. Зрозуміло, що кожний атлас многовиду однозначно визначає цей многовид.
Кожна відкрита підмножина многовиду класу сама є многовидом класу Карти цього підмноговиду мають вигляд де - довільна карта многовиду Такий многовид називається відкритим підмноговидом многовиду
Наприклад, простори та є многовидами. Їхні максимальні атласи складаються з однієї карти - тотожного відображення у випадку простору та відображення виду у випадку
Краємо многовиду називається підпростір простору який складається з усіх точок які мають ту властивість, що для декотрої карти із Край у свою чергу, сам є многовидом із картами виду де - довільна карта многовиду
Якщо многовид має розмірність то його край (якщо ) має розмірність У випадку, коли то многовид називають многовидом без краю.
Множина гладких перетворень многовиду називається групою, якщо:
разом із будь-якими двома перетвореннями композиція належить (символ означає, що першим застосовується перетворення а потім );
разом із будь-яким зворотне перетворення ;
У групі міститься ідемпотент (тотожне перетворення).
Гладка функція (або неперервно-диференційовна функція) - це функція, що має неперервну похідну на всій області визначення. Група називається групою Лі, якщо має гладку структуру та якщо наведені у переліку перетворення є гладкими.
Область - множина, яка містить кожну точку разом із своїм околом; дві точки цієї множини можна сполучити ламаною лінією, яка складається з точок цієї множини. Аналітична функція, відмінна від сталої, здійснює деформування кожної області у область.
Дифеоморфізм - взаємно однозначне і неперервно диференційовне відображення гладкого многовиду у гладкий многовид , обернене відображення до якого теж є неперервно диференційовним. Якщо для та існує дифеоморфізм, то говорять, що й дифеоморфні та пишуть Дифеоморфними можуть бути лише многовиди однакової розмірності.
Нехай — топологічний простір та — його підпростір. Неперервне відображення називається ретракцією, якщо звуження функції на множину є тотожним відображенням на , тобто для усіх
Нехай рівняння містить параметрів, значення яких є комплексними числами. Поставимо їм у відповідність -вимірний простір Кожній точці буде відповідати коренів рівняння Сукупність таких точок називають критичним многовидом, яким відповідає хоча б один корінь рівняння Рівняння критичного многовиду можна одержати, якщо прирівняти нулю дійсну й уявну частини виразу дискримінанту Критичний многовид буде мати розмірність
Позначмо через корені рівняння й розгляньмо форму
де - нові змінні, а підстановки пробігають групу Галуа рівняння. Щоб перевірити, чи належить дана точка критичному многовидові, який визначається співвідношеннями необхідно до виразу форми покласти Одержана форма повинна прийняти значення
Критичний многовид , у свою чергу, вищі критичні многовиди, у точках яких кратними є більше число коренів, а ці, у свою чергу, містять ще більш високі критичні многовиди тощо. Таким чином, маємо ланцюг Якщо рівнянню відповідає хоча б один ланцюг критичних многовидів, який складається з ланок, то резольвента цього рівняння не може містити менше параметрів.
Перш ніж сформулювати цю теорему, розгляньмо подоміжні визначення. Множина називається щільною у інтервалі якщо вона має непустий перетин із кожним підінтервалом з Відповідно, множина називається ніде не щільною, якщо вона не є щільною у жодному інтервалі, тобто якщо кожний інтервал містить підінтервал, який цілком належить доповненню (у цій множині "багато дірок"). Таким чином, множина ніде не щільна лише тоді,
коли її доповнення містить щільну відкриту множину, або
коли - замикання множини не має жодної внутрішньої точки.
Будь-яка підмножина ніде не щільної множини є ніде не щільною. Об'єднання двох (або будь-якого скінченного числа) ніде не щільних множин є ніде не щільним. Зокрема, якщо та є ніде не щільними, то для кожного інтервалу знайдуться інтервали та Відповідно, в силу чого об'єднання ніде не щільне.
Замикання ніде не щільної множини ніде не щільне, оскільки будь-який відкритий інтервал, що міститься у міститься також й у
Доповненя будь-якої множини першої категорії на прямій є щільним. Наприклад, нехай - об'єднання ніде не щільних множин. Для довільного інтервалу розгляньмо відрізок Нехай є відрізком, що належить різниці тощо. Відтак є непустою підмножиною множини відповідно щільне. В якості послідовності можна уявити зліченну множину відрізків із раціональними кінцями, визначити а потім для обрати в якості член вказаної послідовності, який міститься у Таким чином, жодний інтервал у не є множиною першої категорії. Перетин будь-якої послідовності відкритих множин є щільною множиною, що очевидно, оскільки в основі цих міркувань лежить теорема Кантора.
Множина називається:
ніде не щільною у якщо топологічний простір фіксований, просто ніде не щільною, якщо будь-яка пуста відкрита множина містить таку непусту відкриту підмножину що ;
худою у (множиною першої категорії), якщо вона припускає представлення у вигляді зліченного об'єднання ніде не щільних (у даному просторі ) множин ;
кохудою у якщо її доповнення худе;
щільною (усюди щільною), якщо будь-яка непуста відкрита множина містить принаймні одну точку множини
Теоремою Бореля називається теорема про скінченне покриття. Вона полягає у тому, що якщо нескінченна система відрізків покриває відрізок то кожна точка відрізка лежить всередині принаймні одного з відрізків системи При цьому з системи можна виділити скінченну систему відрізків яка також покриває
Позначмо довжину інтервала через Множина називається множиною міри нуль, якщо для будь-якого існує така послідовність інтервалів що та Таким чином, кожна точка є множиною міри нуль та будь-яка підмножина такої множини є також множиною міри нуль. Будь-яке зліченне об'єднання множин міри нуль є також множиною міри нуль.
Якщо скінченна (або нескінченна) послідовність інтервалів покриває інтервал то сума інтервалів Запевнимося у цьому, розглянувши відрізок й вважаючи, що - відкриті інтервали. Нехай є першим у послідовності таких інтервалів, який містить точку Якщо то позначмо через перший з інтервалів послідовності, який містить точку Якщо то нехай є першим інтервалом, що містить точку Цей процес вибору повинен припинитися за деякого У протилежному випадку зростаюча послідовність збігалася б до деякої границі та при цьому точка належала би до (за якого-небудь значення ). Тоді у початковій послідовності інтервалові повинні були б передувати усі обрані інтервали (окрім, можливо, кінцевого числа з них, а саме ті, для яких ). Це є неможливим, оскільки серед цих інтервалів немає співпадаючих. Отримуємо
Зі сказаного слідує, що жодний інтервал не може бути множиною міри нуль. Згідно до теореми Кантора, жодний інтервал дійсних чисел не є зліченною множиною (множиною, яку можна поставити у взаємно однозначну відповідність із множиною натуральних чисел ).
Набір відкритих підмножин топологічного простору називається передбазою для топології на якщо будь-яку відкриту множину можна одержати (можливо, нескінченним) об'єднанням скінченних перетинів відкритих підмножин, що належать Набір називається базою, якщо будь-яку відкриту множину можна одержати як об'єднання підмножин, що містяться у
Нехай - топологічний простір, а - довільна точка. База околів точки - це такий набір зліченних околів точки що будь-який окіл містить який-небудь окіл з Для кожної точки кожного перетину двох елементів з існує елемент такий, що За визначенням топології, перетин двох відкритих множин повинен бути відкритим. Але якщо для двох елементів та існує точка для якої немає елемента бази такого, що то не віднайдеться відкрита підмножина, яка містить точку та міститься у Це означає, що перетин не буде відкритою множиною. Варто зауважити, що топологія не визначається одними об'єднаннями.
У топології на є зліченна база, якщо існує база топології, що складається із зліченного набору підмножин. На можна накласти дві умови зліченності.
1. Якщо у кожної точки віднайдеться зліченна база околів, то говорять, що у справджується перша аксіома зліченності.
2. Якщо у віднайдеться зліченна база відкритих множин, то говорять, що для справджується друга аксіома зліченності (або що - простір із зліченною базою).
Підпростір топологічного простору називається ніде не щільним, якщо у кожній відкритій множині у міститься відкрита підмножина, яка не перетинається із іншими словами, (чи ). Таким чином, відкрита підмножина є усюди щільною лише у випадку, коли додаткова замкнута підмножина ніде не щільна. Відкрита множина, що не перетинається із не перетинається й з
Топологічний простір називається сепарабельним, якщо має зліченну усюди щільну підмножину. Зокрема, простір, для якого справджується друга аксіома зліченності, є сепарабельним. Іншими словами, якщо у топологічному просторі можна віднайти щільну множину, то говорять, що простір є сепарабельним. Наприклад, множина точок із усіма раціональними координатами є зліченною та щільною.
Диз'юнктивна система - це система множин, які попарно неперетинаються. У сепарабельному просторі ди'юнктивна система відкритих множин є не більш ніж зліченною.
Базою топології на є система підмножин така, що будь-яка відкрита пімножина одержується як набір елементів цієї системи. Запис позначає множину усіх підмножин у і називається булеаном. Відповідно, передбазою на є система відкритих підмножин така, що усеможливі їх скінченні об'єднання утворюють базу топології. Таким чином, система множин для якої є передбазою деякої топології на Базою деякої топології на є система множин яка є замкнутою відносно скінченних перетинів та задовільняє умові Замкнутість відносно скінченних перетинів означає, що для будь-якої скінченної системи перетин належить
Розгляньмо із топологією, заданою базою відкритих підмножин виду де та є відкритими. Одержаний таким чином топологічний простір називається декартовим добутком просторів та Пригадаймо, що гаусдорфовий топологічний простір - це такий простір, що будь-які дві його точки мають околи, які не перетинаються між собою. Добуток гаусдорфових топологічних просторів є гаусдорфовим топологічним простором. Справді, нехай та є двома різними точками у просторі Тоді або або Нехай вірним є перше. Тоді візмемо непересічні околи та точок ; у цьому випадку множини та містять та й не перетинаються.
Відображення (тобто ) називається діагональним вкладенням, а його образ - діагоналлю .
Нехай на задані дві топології та Говорять, що топологія є слабшою від топології а - сильнішою від топології якщо тотожне відображення є неперервним. Деколи більш слабкою називається топологія, яка називається сильнішою. Чим слабкіша топологія, тим більше збіжних послідовностей, менше неперервних функцій й менше відкритих множин. Топологія добутку є найслабшою топологією.
Нехай - функція, значеннями якої є підмножини множини а область визначення - множина Декартовий добуток - це множиа таких функцій із областю визначення що для кожного тобто де
Якщо то замість записують Елементами цього декартового добутку будуть такі послідовності що для усіх
Якщо усі співмножники є рівними між собою, то Тут є множиною значень Множина називається декартовим степенем множини
Визначмо проекцію для множини на тобто Зрозуміло, що для кожного
Якщо то декартові добутки та не співпадають, оскільки перший має в якості елементаів послідовності довжини а другий - впорядковані пари. Відмінність між цими двома добутками не є суттєвою, оскільки кожній впорядкованій парі можна поставити в взаємно однозначну відповідність послідовність
Якщо для декотрого то Справді, якщо то тобто
Нехай тепер для кожного є топологічним простором. Через позначмо замикання у просторі множини Таким чином, є такою функцією, що для кожного
Нехай - скінченна підмножина множини а - відкрита множина у просторі для кожного Околом, який визначається множиною й відкритими підмножинами називається підмножина декартового добутку
Добуток двох околів або пустий, або є також околом. Справді, якщо окіл визначається скінченною множиною й відкритими множинами де а окіл визначається скінченною множиною й відкритими множинами де то
Множина або пуста, або є околом, який визначається скінченною множиною та відкритими множинами
Метричні простори були винайдені Морісом Фреше у 1906 році для вивчення топологічних просторів функцій.
Метричним простором називається множина із визначеною на ній такой функцією що:
для будь-яких точок справджується нерівність причому рівність має місце лише тоді, коли ;
(симетричність);
для будь-яких виконується нерівність (нерівність трикутника).
Функція, що задовільняє цим умовам, називається метрикою, а дійсне число називається відстанню між точками та
Нехай - множина усіх невід'ємних дійсних чисел. Нехай та - метричні простори, а є функцією, що задовільняє наступним умовам:
невиродженість, ;
субадитивність, ;
монотонність, якщо та
У цьому випадку кажуть, що функція задає метрику на (де та ).
є симетричною й невиродженою (невиродженість ). Нерівність трикутника можна вивести наступним чином:
де та Перша нерівність слідує з монотонності, а друга - із субадитивності.
Розгляньмо функцію Ця функція монотонна, субадитивна й невироджена, а тому задає метрику на добутку метричних просторів. Така метрика називається метрикою добутку. Добуток є ізометричним
Метричний простір є групою. Нехай - вільна група, а - множина породжуючиї її елементів. Кожний елемент групи є представним (багатьма способами) у вигляді слова виду де та Ціле число називається довжиною слова (пусте слово має довжину і відповідає одиниці групи). Для визначмо величину яка дорівнює довжині найкоротшого слова, яке представляє елемент
Функція задає на метрику. За визначенням функція є невід'ємною та, крім того, лише у випадку, коли слово представне пустим словом, тобто звідки
Симетричність відстані слідує з тотожності Справді, якщо є словом мінімальної довжини, яке представляє елемент то тому
Нерівність трикутника слідує із тотожності виконаної для довільного слова Справді, якщо та - слова мінімальної довжини, які представляють елементи та то слово представляє елемент тому
Мова топологічних просторів є зручною для обговорення неперервних функцій (власне, для цього вони і були винайдені). До топології можна підходити або з аксіоматичної точки зору, або з точки зору геометричної інтуїції (визначаючи топологію на просторі посередництвом задання класу збіжних послідовностей, а неперервні відображення - як відображення, які зберігають границі). Другий підхід містить декотрі труднощі теоретико-множинного характеру - якщо у просторі немає зліченної бази, то доводиться використовувати цілком впорядковані незліченні послідовності.
Завдяки першій аксіомі зліченності, у метричному просторі можна визначити поняття границі послідовності. Нехай - топологічний простір, Говорять, що у точці має місце перша аксіома зліченності, якщо у цієї точки є зліченна (або скінченна) сім'я відкритих околів які скадають базу відкритих околів даної точки. Це означає, що для будь-якого відкритого околу точки знайдеться такий окіл що
Сенс першої аксіоми зліченності полягає у тому, що якщо послідовність збігається до за то у довільноу просторі визначення границі необхідно перевіряти для будь-якого відкритого околу точки ; якщо у цій точці справджується перша аксіома зліченності, то визначення границі необхідно перевірити лише для базисних околів.
З першоъ аксіоми зліченності слідує друга аксіома зліченності. Зокрема, нехай - зліченна база відкритих множин топологічного простору а - довільна точка. Розгляньмо ті елементи бази які містять точку Отримаємо набір який є не більш ніж зліченним. Побудований таким чином набір - це зліченна база відкритих околів точки Справді, розгляньмо довільний окіл точки Оскільки то існує такий номер що та За визначенням послідовності маємо
Система підмножин називається центрованою, якщо перетин будь-якого скінченного числа множин з є непустим, Топологічний простір називається компактним, якщо кожна центрована система його замкнутих підмножин має непустий перетин. Це означає, що топологічний простір є компактним лише у випдку, коли кожна система відкритих множин, об'єднання яких складає містить скінченну підсистему, об'єднання множин якої також дорівнює
Теорема Тихонова. Якщо для кожного простір є компактним, то простір також компактний.
Якщо - центрована система підмножин простору то існує максимальна центрована система яка містить тобто така, що кожна система підмножин простору відмінна від та яка містить містить скінченну підсистему, яка має пустий перетин.
Розгляньмо дві властивості центрованих максимальних множин.
1. Якщо та то Справі, у протилежному випадку система, одержана з включенням до неї не була б центрованою та, це знажить, що вона містила б скінченну підсистему із пустим перетином. Зрозуміло, що перетин повинен належати цій підсистемі, а звідси слідує, що існує така скінченна підсистема що що суперечить центрованості системи
2. Якщо та для кожного то Справді, у протилежному випадку система не була б центрованою, відповідно існувала б така скінченна підсистема що В силу першої властивості добуток належить системі не дивлячись на те, що для кожного
Нехай тепер - центрована система замкнутих підмножин простору Через позначмо деяку центровану максимальну систему підмножин простору що містить Для доведення теореми досатньо встановити, що
Розгляньмо довільну підмножину та - її проекцію на Вважаймо Система складається із замкнутих підмножин простору Якщо множини де належить до причому то оскільки система центрована. Звідси слідує, що і тим паче Відповідно, система центрована. Оскільки усі є компактними, то За аксіомою вибору існує така функція що для кожного
Функція належить перетинові Запевнимося у цьому, розглянувши множину та окіл який містить Для цього необхідно дійти до того, що Нехай визначається як скінченна множина та відкриті множини де Зрозуміло, що для Вважаючи одержуємо
Якщо - довільна множина з то відповідно, Відтак існує такий елемент що для декотрої функції та, відповідно, Таким чином, для будь-якої
З огляду на другу властивість, звідси отримуємо а згідно до першої властивості тобто звідки Таким чином, довільний окіл, що містить має спільні елементи із та, відповідно,
Розгляньмо топологічний простір Підмножина називається відкрито-замкнутою, якщо вона є одночасно відкритою та замкнутою. Простір називається зв'язним, якщо будь-яка його відкрито-замкнута підмножина - це або пуста множина або сама множина Підмножина називається зв'язною, якщо вона зв'язна у індукованій топології.
Розбиттям топологічного простору на підмножини називається представлення у вигляді об'єднання де підмножини попарно непересічні та непусті. Топологічний простір є зв'язним у тому випадку, якщо його не можна розбити на дві відкритих підмножини.
Областю називається відкрита зв'язна множина. Пригадаймо, що множина є відкритою, якщо кожна її точка має окіл який цілком належить множині тобто Таким чином, відкрита множина є зв'язною, якщо кожні її дві точки та можна з'єднати неперервною кривою, яка складається з точок множини Точка називається точкою накопичення, якщо у будь-якому її околі міститься принаймні одна точка множини З цього слідує, що у будь-якому околі точки міститься нескінченне число точок множини
Наприклад, граничничними точками множини внутрішніх точок кола на площині є усі внутрішні точки кола та усі точки кола, які обмежують коло.
Область називається однозв'язною, якщо її границя складається з однієї замкнутої кривої. Область називається -зв'язною, якщо її границя складається з замкнутих кривих (або точок). На наступному малюнку зображені одно-, двох-, та трьохзв'язні області.
За допомогою розрізу -зв'язна область може бути перетворена на однозв'язну.
Розгляньмо у просторі усі звязні замкнуті підмножини Їх об'єднання є замкнутим та зв'язним. Приналежніть двох точок та до однієї зв'язної підмножини виявляється відношенням еквівалентності а простір розбивається на диз'юнктивне об'єднання замкнутих зв'язних підмножин, які називаються компонентами зв'язності. Компонентами дискретного простору (наділеного аксіомою відокремлюваності Колмогорова) є точки. Компонентами множини раціональних або іраціональних чисел на прямій також є точки. Простори, компоненти яких є точками, називається цілком незв'язними. У просторі наприклад, такими є зліченні множини (алгебричні числа) або множина точок, у яких усі координати є іраціональними.
Компактний простір є цілком незв'язним лише у випадку, коли він нульвимірний. Справді, нехай цілком не зв'язний топологічний простір, а - довільна відкрита підмножина, яка містить точку Для кожної існує відкрита та замкнута множина яка містить та не містить Але за умовою є компактною (оскільки простір є компактним); відповідно, повинна міститися у декотрому скінченному об'єднанні Його доповнення буде околом точки яка має границею пусту множину Існування такого доповнення означає, в силу визначення, що простір є нульвимірним.
Інтервал - це множина усіх чисел між двома даними та кінцями із можливим включенням до одного чи обох кінців, причому можливо, що та Можливо також, що тобто точки вважаються інтервалами. Інтервали - це зв'язні підмножини на числовій прямій
Шлях в топологічному просторі — це безперервне відображення з одиничного відрізка до тобто Початковою точкою шляху є , а кінцевою точкою - . Зауважимо, що шлях — це не просто підмножина (гомеоморфна ), де яка "виглядає як" крива, шлях також включає параметризацію. Відтак шлях називається також параметризованою кривою.
Простір називається лінійно зв'язним, якщо дві довільні його точки та сполучені шляхом (тобто та є кінцями відрізку ).