Начальный курс топологии. Учебнометодическое пособие Редактор И. Н. Никитина
Скачать 4 Mb.
|
§ 4. БАЗИС. АКСИОМЫ ОТДЕЛИМОСТИ Определение 1. Пусть (Х, Ф) – топологическое пространство, и пусть G* =G - некоторое семейство открытых множеств в этом пространстве. Если любое открытое множество в (Х, Ф) представимо в виде объединения некоторых множеств G* , то G* называется базисом топологического пространства (Х, Ф) или базой. Теорема 1. Для того, чтобы семейство G* =G было базисом топологического пространства (Х, Ф) необходимо и достаточно, чтобы для любой точки Х и любой её окрестности Ua существовало множество G G* такое, что G и G Ua . Доказательство. Необходимость. Пусть дана точка Х и её окрестность Ua, G* =G - базис. Так как Ua Ф, то согласно определения базиса Ua = . Так как Ua, то найдется G , что G Ua . Достаточность. Пусть множество С . Тогда для любой точки С найдётся такое множество G G*, что G С С = G . Теорема доказана. Теорема 2. Для того, чтобы семейство подмножеств G* = G было базисом некоторого топологического пространства Х необходимо и достаточно, чтобы для любых двух элементов U, V G* и каждой точки х U V существовал такой элемент W G*, что х W и W U V. При этом G* и G = X. Доказательство. 1. Пусть G* – база. Тогда, так как U V – открытое множество, то согласно теореме 1 существует W такое, что W G* и х W U V. 2. Докажем обратное утверждение. Пусть G* - семейство с выделенными нами специальными свойствами. В – семейство всевозможных объединений элементов из G*. Покажем, что В – топология. Ясно, что объединение любой совокупности элементов из В является объединением элементов из G*, а, следовательно, принадлежит В. Пересечение любых двух элементов U и V из В также принадлежит В. Действительно, если х0 U V , то существует U G* и V G* такие, что U U, V V и х0 U V . Тогда по условию существует W G*, для которого х0 W U V U V. Но, тогда U V = В. Кроме того, Х = G В . Итак, В – топология, а G* её базис. Теорема доказана. Из предыдущих теорем следует, что не всякое семейство G* может служить базой топологии. Возникает вопрос: можно ли по произвольному семейству Gi множеств определить некоторую топологию? Эта топология должна быть определена на множестве Х, являющимся объединением всех элементов Gi, каждый элемент из Gi должен быть открыт в этой топологии. Кроме того, возникает вопрос: существует ли наименьшая топология на Х, содержащая Gi? На этот вопрос отвечает следующая теорема. Теорема 3. Пусть G* = Gi - произвольное непустое семейство множеств. Тогда семейство всевозможных конечных пересечений элементов из G* образует базу некоторой топологии на множестве Х = Gi. Доказательство. Обозначим В – семейство всевозможных конечных пересечений элементов из G*. Тогда пересечение любых двух элементов из В снова является элементом В. В силу теоремы 2 получим, что В – база некоторой топологии. Теорема доказана. У пространств, топология которых обладает счетной базой, есть много хороших свойств. Примеры. 1. В любом топологическом пространстве (Х, Ф) множество Ф – база (очевидно). 2. (R, ), –топология, заданная метрикой. G* = , всевозможные интервалы – база. 3. (Х. Ф) дискретная топология. G* = } {х| х Х – база. Аксиома отделимости Наличие хороших свойств пространства зависит от возможности отделить одну точку от другой с помощью окрестностей этих точек. Поэтому, обычно, рассматривают такие топологические пространства, которые удовлетворяют дополнительным условиям, например, так называемым аксиомам отделимости. Аксиома Хаусдорфа Для любых двух различных точек пространства существуют их непересекающиеся окрестности. Топологические пространства, в которых выполняется аксиома Хаусдорфа, называют хаусдорфовыми пространствами. Нетрудно доказать, что любое подпространство хаусдорфова пространства, содержащее не менее двух различных точек, также является хаусдорфовым пространством. В любом топологическом пространстве можно рассмотреть сходящуюся последовательность точек. Однако, понятие предела удобно лишь там, где сходящаяся последовательность имеет единственный предел. Оказывается, аксиома 2 является необходимым и достаточным условием единственности предела сходящейся последовательности. Пусть в топологическом пространстве (Х, Ф) дана последовательность точек х1, х2, …, хn, … точка х0 называется пределом этой последовательности, если для любой окрестности Ux0 точки х0 найдётся такой номер n0, что для всех n n0 точки хn Ux0 . При этом последовательность точек хn называется сходящейся к точке х0 . Теорема 2. В хаусдорфовом пространстве (Х, Ф) сходящаяся последовательность точек хn имеет единственный предел. Доказательство. Допустим, что последовательность точек хn имеет два различных предела х0 и у0 . В хаусдорфовом пространстве (Х, Ф) две различные точки имеют непересекающиеся окрестности U и V. По определению предела все члены последовательности точек хn , начиная с некоторого номера, должны лежать в U и в V, что невозможно, так как U V = . Полученное противоречие доказывает теорему. Пример 1. В силу теоремы 2 § 1 любое топологическое пространство, топология которого порождена метрикой, является хаусдорфовым пространством. Пример 2. Двуточечное топологическое пространство Х = , Ф = {, Х, } не является хаусдорфовым пространством. Действительно, рассмотрим точки и . Для них нет непересекающихся окрестностей, так как окрестностью точки является сама точка или все Х, а окрестностью точки будет только Х. Очевидно, Х = и предложение доказано. Пример 3. Рассмотрим концентрическое топологическое пространство (Х, Фк). Докажем, что оно не является хаусдорфовым пространством. Действительно, выберем произвольно две различные точки А и В. Любые окрестности этих точек будут открытыми шарами с центом в точке О. Следовательно, любые окрестности точек А и В пересекаются. Хаусдорфовым пространством является любое дискретное топологическое пространство, содержащее, по крайней мере, две различные точки. Действительно, любые две различные точки имеют непересекающиеся окрестности, так как этими окрестностями являются сами эти точки. § 5. КОМПАКТНОСТЬ ТОПОЛОГИЧЕСКИХ ПРОСТРАНСТВ. СВЯЗНОСТЬ ТОПОЛОГИЧЕСКИХ ПРОСТРАНСТВ Определение 1. Пусть (Х, Ф) - топологическое пространство и множество Н Х. Семейство U = А открытых множеств А называется открытым покрытием множества Н, если Н . Подпокрытие покрытия U – это такое подсемейство семейства U , которое само является покрытием для Н. Определение 2. Топологическое пространство Х называется компактным или компактом, если из любого его открытого покрытия можно выбрать конечное подпокрытие. Определение 3. Множество М в топологическом пространстве Х называется компактным, если оно является компактным топологическим пространством относительно индуцированной топологии (как подпространство). Пользоваться этим определением компактности множества не очень удобно, так как оно требует построения в множестве с индуцированной топологией. Следующая теорема дает нам возможность обходиться без этих дополнительных построений. Теорема 1. Для того, чтобы множество М в топологическом пространстве Х было компактно, необходимо и достаточно, чтобы из любого открытого покрытия множества М в Х можно было выделить конечное подпокрытие. Доказательство. Необходимость. Пусть М – компактно в (Х, Ф). Возьмём любое его покрытие m = G, где G Ф. Тогда m = G M, G m будет открытым покрытием М в смысле индуцированной топологии. Выбирая из m конечное подпокрытие, получаем из соответствующих ему множеств в m искомое конечное подпокрытие. Достаточность. Пусть m = G - произвольное открытое покрытие множества М. Тогда m = G M также является открытым покрытием в смысле индуцированной топологии. По условию из m можно выбрать конечное подпокрытие для М, а последнее даёт подпокрытие для М из m. Из определения компактности множества следует, что М – компактно. Теорема 2. Если топологическое пространство (Х, Ф) компактно, а множество F X – замкнуто, то F – компактно. Доказательство. Пусть U – произвольное открытое покрытие F. Добавим к U открытое множество (Х \ F). Тогда система U, (X \ F) - открытое покрытие Х. Так как Х – компактно, то из полученного выше покрытия выбираем конечное покрытие Х. Обозначим его U1. Если U1 содержит X \ F, то удалив из U1 множество X \ F, получим покрытие, причём конечное, для F. Если U1 не содержит X \ F, то U1 и является конечным покрытием F. В силу теоремы 1 множество F – компактно. Теорема доказана. Теорема 3. В хаусдорфовом пространстве (Х, Ф) у любых двух компактных непересекающихся множеств имеются непересекающиеся окрестности. Доказательство. Пусть А , В - непересекающиеся компактные множества пространства (Х,Ф). Рассмотрим случай, когда В – точка. Тогда фиксируем для каждой точки х А и точки В непересекающиеся окрестности Ux и Vx, соответственно. Выделяем из полученного покрытия множества А окрестностями U x конечное покрытие и оставляем соответствующие им окрестности для точки В: Тогда множества и будут непересекающимися окрестностями множества А и точки В. В общем случае мы рассматриваем для каждой точки х В непересекающиеся окрестности множества А – U x и точки х – V x и выделяем из полученного покрытия множества В окрестностями V x конечное покрытие . Множества и будут непересекающимися окрестностями множеств А и В. Теорема 4. Компактное подмножество М хаусдорфова пространства (Х, Ф) замкнуто. Доказательство. Действительно, в силу теореме 3 любая точка, не принадлежащая компактному множеству, обладает окрестностью, не пересекающейся с этим множеством, то есть всякая точка не принадлежащая компактному множеству в хаусдорфовом пространстве является для него внешней. Следовательно, М содержит все свои внутренние и граничные точки, то есть М – замкнуто. Теорема 5. Подмножество в пространстве R3 компактно в том и только том случае, если оно ограничено и замкнуто. Доказательство. М – ограниченное подмножество R3, то есть оно лежит внутри некоторого шара или куба. Пусть М – компактно и х0 М, U (x0, r n) – шары концентрические с центром в точке х0 и радиусом r n Так как U(x0, r n), r n покрытие для М, то можно выбрать конечное подпокрытие, то есть конечную последовательность r1, r2,…, r k и тогда М U (x0, r k), то есть М – ограниченное. Так как R3 – хаусдорфово пространство, то согласно теореме 4 М – замкнутое множество. 2) Докажем достаточность. По теореме 2 достаточно показать, что кубы пространства R3 –компактны. Куб пространства R3 очевидным образом делится на 23 кубов вдвое меньших размеров, и если некоторое покрытие W исходного куба открытыми множествами пространства R3 не содержит конечного подпокрытия, то тем же свойством оно будет обладать и как покрытие одного из меньших кубов. Повторяя это рассуждение, мы построим убывающую последовательность кубов Q1, Q2,… ,каждый из которых вдвое больших размеров следующего и ни один из которых не покрывается конечным набором множеств из W. Однако, общая точка этих кубов покрывается некоторым множеством из W, а с ней покрываются этим множеством и кубы Q n c достаточно большим n. Полученное противоречие доказывает нашу теорему. Пример 1. Доказать, что в евклидовом пространстве с естественной топологией (Е3, Ф ) множество Н состоящее из конечного числа точек компактно. Доказательство. Пусть Н = { х1, х2, …, хn } и { G}А - произвольное открытое покрытие множества Н. По определению покрытия каждая точка хi принадлежит хотя бы одному из множеств G. Обозначим G1 одно из множеств множества { G}А содержащее х1. Затем обозначим G2 одно из множеств множества { G}А содержащее х2 и так далее, для точки хn обозначим Gn одно из множеств множества { G}А содержащее хn. Получили конечный набор открытых множеств G1, G2, …, Gn являющийся покрытием множества Н. Согласно теореме 1 множество Н будет компактным множеством. Пример 2. Доказать, что топологическое пространство (Н, Фд ), где Н бесконечное множество с дискретной топологией, не компактно. Доказательство. Для данного топологического пространства можно рассмотреть конкретное открытое покрытие самими точками этого пространства. Но тогда из этого покрытия нельзя выбросить даже одного открытого множества, так как соответствующая точка будет не покрыта. Поэтому из рассматриваемого открытого покрытия нельзя выбрать конечного подпокрытия. Поэтому топологическое пространство (Н, Фд ) не компактно. Пример 3. Пусть (Х, Фк) концентрическое топологическое пространство (см. |