Министерство общего и профессионального образования РФ Ивановский государственный университет Кафедра математического ан...
8 downloads
149 Views
874KB Size
Report
This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
Report copyright / DMCA form
Министерство общего и профессионального образования РФ Ивановский государственный университет Кафедра математического анализа
Предельные переходы и топологии Методические указания для студентов математического факультета
Иваново 2005
СОДЕРЖАНИЕ Введение §1. Секвенциальный предел и секвенциальная топология 1. Секвенциальный предел 2. Секвенциальная топология 3. Урысоновский предел 4. Порядковый секвенциальный предел 5. Порядковая секвенциальная топология 6. Секвенциально непрерывные отображения §2. Сходимости и топологии 1. Направленные множества и направленности 2. Предел направленности в топологическом пространстве 3. Поднаправленности 4. Предел на классе направленностей 5. Топология сходимости 6. Порядковый предел и порядковая топология §3. Равномерные пространства 1. Обратное множество, композиция множеств 2. Аксиомы окрестностей 3. Аксиомы равномерного пространства 4. Фундаментальная система окружений 5. Аддитивная равномерная структура 6. Равномерная топология 7. Равномерно непрерывные отображения 8. Фундаментальные направленности Литература
2
ВВЕДЕНИЕ Основная операция классического математического анализа – операция предельного перехода в различных её вариантах (предел числовой последовательности, предел функции в точке или на бесконечности, предел функции в точке по всей области определения или её части и др.). С предельным переходом связаны основные свойства функций. Идея предельного перехода получила дальнейшее развитие при переходе от функций к отображениям. При работе с отображениями вводятся топологии на области определения и множестве значений отображения, что позволяет говорить о близости точек пространства к фиксированной точке и непрерывности отображения. Однако наличие топологии не позволяет ввести понятие равномерной непрерывности. Здесь нужен переход к равномерным пространствам, что даёт возможность говорить о близости различных точек пространства. Топологии, равномерности не всегда удобно ввести как нечто изначальное. Например, при работе с отображениями, заданными на множествах, несложно ввести предельный переход на классе множеств как нечто изначальное и построить топологию на этой основе. Именно этим путём мы и пойдём, вводя предел сначала секвенциальный, на классе последовательностей, а затем общий, на классе направленностей, и построив соответствующие им топологии. Эти вопросы излагаются в §§1 - 2. В §3 рассматриваются равномерные пространства, и вводится равномерная топология, определяемая исходной равномерностью. Пособие адресовано студентам старших курсов и может быть использовано при чтении курса «Современный анализ» в магистратуре.
3
§1. СЕКВЕНЦИАЛЬНЫЙ ПРЕДЕЛ И СЕКВЕНЦИАЛЬНАЯ ТОПОЛОГИЯ 1. СЕКВЕНЦИАЛЬНЫЙ ПРЕДЕЛ Пусть E - некоторое множество, Φ – класс всех последовательностей элементов множества E, f – некоторое соответствие между Φ и E. Если последовательности ( x n ) сопоставлен элемент a при соответствии f, то запишем x n → a ( f ) . При этом не предполагается, что каждой последовательности сопоставлен некоторый элемент и не предполагается, что соответствие однозначно. Через f ( x n ) обозначим множество всех элементов, соответствующих последовательности ( x n ) при соответствии f. Если последовательности
(xn )
не сопоставлен ни один
элемент, то f ( x n ) = ∅ . Соответствие f понимается как подмножество декартова произведения
Φ × E , т. е. f ( x n ) ⊆ Φ × E . Ясно, что записи x n → a ( f ) , a ∈ f ( x n ) ,
(( xn ), a )∈ f
выражают од-
но и то же. Сопоставив каждой сходящейся числовой последовательности её предел, получим пример такого соответствия. Соответствия, рассматриваемые в дальнейшем, обычно будем обозначать символом
(s ) lim .
При этом будем предполагать, что соответствие (s ) lim удовлетворяет следующим ус-
ловиям, называемым условиями Фреше. 1. При соответствии (s ) lim любой стационарной последовательности ( x n ) (для которой ∃a ∈ E , что ∀n x n = a ) 2. Если при соответствии (s ) lim
( )
ности x nk
x n → a ((s ) lim )
x n → a ((s ) lim ) , то для любой подпоследователь-
x nk → a ((s ) lim ) .
Соответствие между классом Φ последовательностей элементов множества E и множеством E, удовлетворяющее условиям Фреше, называется секвенциальным пределом, а пара
(E , (s ) lim )
секвенциальным пространством. Если x n → a ((s ) lim ) , то говорят, что последова-
тельность ( x n ) секвенциально сходится к a. (s ) lim x n - множество всех элементов, к которым последовательность ( x n ) секвенциально сходится. Задачи. 1. Пусть E=ℝ и Φ – класс всех числовых последовательностей. Каждой сходящейся в обычном смысле последовательности сопоставим число, являющееся её пределом. Доказать, что введённое соответствие – секвенциальный предел. 4
2. Пусть E=ℝk и Φ класс всех последовательностей точек пространства ℝk. Положим x (n ) → a ((s ) lim ) , где
(
)
x (n ) = x1(n ) ,… , x k(n ) , a = (a1 ,… , a k ) , если для любого i , i = 1,… , k ,
x i → a i (n → ∞ ) . Доказать, что введённое соответствие - секвенциальный предел. 3. Доказать, что предельные переходы в метрическом и нормированном пространствах удовлетворяют условиям Фреше. 4. Пусть E – произвольное множество.
Каждой стационарной последовательности
элементов множества E сопоставим элемент, её образующий. Является ли это соответствие секвенциальным пределом? 5. Пусть
( E ,T )
-
топологическое
пространство,
xn ∈ E , n ∈ N .
Положим
x n → a ((T ) lim ) , если для всякой окрестности U a точки a существует такое N , что для любого
n , если n ≥ N , то x n ∈ U a . Доказать, что соответствие (T ) lim удовлетворяет условиям Фреше. Всегда ли топологический предел (T ) lim однозначен? 6. Если топология T хаусдорфово отделима, то (T ) lim однозначен. Доказать. Верно ли обратное?
⎛1⎞ ⎛ 1⎞ 7. Пусть E = [0;1] - единичный отрезок, ( x n ) = ⎜ ⎟ , ( yn ) = ⎜1 − ⎟ . Введём соот⎝ n ⎠ n∈N ⎝ n ⎠ n∈N ветствие f , положив x n → 0( f ) , yn → 1( f ) . Является ли соответствие f секвенциальным пределом? 8. Пусть E = {a , b} . Является ли секвенциальным пределом следующее соответствие
a) a , a ,… , a ,… }
b)
→a ; →b
→a a , a ,… , a ,…} ; →b
b , b ,… , b ,… → b ; →a b , b ,… , b ,…} ; →b
a , b , a , b … , a , b ,…}
→a ? →b
9. Пусть E=ℝ и C конечное или счётное подмножество множества E. Пусть классу T принадлежат все множества вида ℝ\C, где C - произвольное конечное или счётное множество, а также ∅ . Доказать, что T - топология. Какие последовательности сходятся относительно топологии T ? 10. Пусть E – бесконечное множество, T - класс всех множеств вида E\C , где C - конечно или счётно, ∅ ∈ T . Какие последовательности сходятся относительно этой топологии? Может ли эта топология быть хаусдорфово отделимой? 5
11. Пусть E – некоторое множество и T - класс всех его подмножеств. Какие последовательности сходятся относительно топологии T ? Сравнить пределы, определяемые топологиями, рассмотренными в задачах 10) и 11). 12. Пусть E – бесконечное множество, K ⊆ E , K - конечно. Доказать, что класс всех множеств вида E \ K вместе с ∅ - топология на E . Какие последовательности сходятся относительно этой топологии? 13. Доказать, что любое соответствие между классом Φ последовательностей элементов множества E и множеством E можно продолжить до соответствия, удовлетворяющего условиям Фреше, причём существует минимальное продолжение. 14. Продолжить соответствие примера 8б) до секвенциального предела.
2. СЕКВЕНЦИАЛЬНАЯ ТОПОЛОГИЯ Пусть (E , (s ) lim ) - секвенциальное пространство, A ⊆ E , a ∈ E . Введём следующие определения. Точка a называется (s)точкой прикосновения множества A , если существует такая последовательность ( x n ) , где x n ∈ A , n ∈ N , что x n → a ((s ) lim ) . Множество S ( A) всех (s ) точек прикосновения множества A называется (s)замыканием множества A . Заметим, что A ⊆ S ( A) . Множество A называется (s)замкнутым, если A = S ( A) . Множество A называется (s)открытым, если A′ = E \ A - (s)замкнуто. Пусть S - класс всех (s)открытых множеств,
S ′ - класс всех (s)замкнутых множеств.
Теорема 1. Класс S - топология на E .
Доказательство. Докажем, что класс S ′ удовлетворяет следующим условиям: 1)
∅, E ∈ S′ ;
2)
объединение конечного семейства множеств из S ′ входит в S ′ ;
3)
пересечение произвольного семейства множеств из S ′ входит в S ′ . Действительно, из определения (s)замкнутого множества следует, что ∅ , E ∈ S ′ . Пусть a (s)точка прикосновения A1 ∪ A2 . Тогда существует такая последовательность ( x n ) , где
6
x n ∈ A1 ∪ A2 , n ∈ N , что x n → a ((s ) lim ) . Пусть N 1 множество всех тех значений n , при которых x n ∈ A1 , а N 2 - множество всех тех значений n , при которых x n ∈ A2 . Ясно, что N 1 ∪ N 2 = N , т. е. хотя бы одно из этих множеств счётно. Поэтому существует такая
( )
подпоследовательность x nk
последовательности ( x n ) , что для любого k ∈ N
x nk ∈ A1
или для любого k ∈ N xnk ∈ A2 . Тогда точка a будет (s)точкой прикосновения A1 или A2 , а значит, a ∈ A1 или a ∈ A2 , так как A1 и A2 (s)замкнуты.
Следовательно,
a ∈ A1 ∪ A2 . (s)замкнутость любого конечного объединения (s)замкнутых множеств дока-
зывается по индукции.
∩ A ∈ S′ .
Пусть Ai ∈ S ′ , i ∈ I . Докажем, что
i
i∈I
a -(s)точка прикосновения
Пусть
∩A . i
Тогда существует такая последовательность
i∈I
( x n ) , где
xn ∈ ∩ Ai , n ∈ N , что xn → a ((s ) lim ) . Тогда для любого n ∈ N и для любого i ∈ I i∈I
x n ∈ Ai . Следовательно, a -(s)точка прикосновения множества Ai при любом i ∈ I . Так как для любого i ∈ I Ai - (s)замкнуто, то a ∈ Ai , i ∈ I , и a ∈ ∩ Ai . * i∈I
Топология S , введённая на E , называется секвенциальной топологией. Введём понятие топологии, согласованной с пределом. Пусть (E , (s ) lim ) - секвенциальное пространство и (E ,T ) - топологическое пространство. Говорят, что топология T согласована с (s ) lim , если для любой последовательности
( x n ) её (s)сходимость к элементу a
влечёт её сходимость к a относительно топологии T , т. е.
x n → a ((s ) lim ) ⇒ x n → a ((T ) lim ) . Это означает, что
(s ) lim ⊆ (T ) lim . (Если (( x n ), a ) ∈ (s ) lim , то (( x n ), a ) ∈ (T ) lim ). Теорема 2. Секвенциальная топология S согласована с (s ) lim .
Доказательство проведём от противного. Пусть некоторая секвенциальная топология не согласована с (s ) lim . Тогда существует такая последовательность ( x n ) , что x n → a ((s ) lim ) , но
x n ↛ a ((S ) lim ) ,
где
(S ) lim
-
предел,
определяемый
топологией
(S ) .
Поскольку 7
x n ↛ a ((S ) lim ) ,то существует такая окрестность U a ∈ S точки a , что для любого k ∈ N най-
( )
дется такое n ≥ k , что x nk ∉ U a . Тогда существует такая подпоследовательность x nk последовательности
(xn ) ,
что для любого k
x nk ∉ U a .
Следовательно, для любого k ∈ N
x nk ∈ U a′ = E \ U a . Так как U a ∈ S , т. е. U a - (s)открытое множество, то U a′ - (s)замкнуто. Так как по условию xn → a ((s ) lim ) , то x nk → a ((s ) lim ) . Следовательно, a ∈ U a′ . Но a ∈ U a , так как U a - окрестность точки a , и противоречие получено.* Согласованность секвенциальной топологии с секвенциальным пределом означает, что (s ) lim ⊆ (S ) lim . Замечание. Возможно, что (s ) lim ≠ (S ) lim . (См. з.2, п.2). Согласованными с (s ) lim могут оказаться различные топологии. Например, с любым секвенциальным пределом согласована минимальная топология {∅ , E } . Сопоставим секвенциальную топологию с такими топологиями. Теорема 3. Секвенциальная топология S - максимальная топология, согласованная с
(s ) lim . Доказательство. Пусть T - некоторая топология, согласованная с (s ) lim . Докажем, что T ⊆ S . Для этого докажем, что T ′ ⊆ S ′ , где T ′ - класс всех замкнутых множеств относительно топологии T ( S ′ - класс всех (s)замкнутых множеств). Пусть A ∈ T ′ . Докажем, что A ∈ S ′ . Для этого нужно установить, что A = S ( A) . Пусть a - (s)точка прикосновения множества A , т. е. существует такая последовательность ( x n ) , где
x n ∈ A , n ∈ N , что x n → a ((s ) lim ) .
Так как топология T
согласована с
(s ) lim ,
то
x n → a ((T ) lim ) . Так как A ∈ T ′ и x n → a ((T ) lim ) , то a ∈ A . Таким образом, если a - (s)точка прикосновения множества A , то a ∈ A , что и означает, что A = S ( A) и A ∈ S ′ .* Теорема 4. Если (s ) lim - однозначный секвенциальный предел и xn → a ((S ) lim ) , то
( )
существует такая подпоследовательность x nk , что x nk → a ((s ) lim ) . Доказательство. Пусть x n → a ((S ) lim ) . Если при бесконечно многих значениях n x n = a , то рассматриваемая последовательность имеет стационарную подпоследовательность, (s)сходящуюся к a .
8
Если для конечного множества значений n xn = a , то отсекая начало последовательности, можно получить подпоследовательность, все члены которой отличны от a . Предположим, что такая операция произведена, x n → a ((S ) lim ) и для любого n x n ≠ a . Пусть A = {x n /n ∈ N }. Так как x n → a ((S ) lim ) и для любого n x n ≠ a , то A не является замкнутым в топологии S , а следовательно, не является (s)замкнутым. Пусть b - (s)точка прикосновения множества A , причём b ∉ A .
(x ), что nk
(s ) lim
{
Тогда существует такая подпоследовательность
}
x nk → b((s ) lim ) . Пусть B = x nk /k ∈ N ∪ {b}. Множество B (s)замкнуто, так как
однозначен. Так как xn → a ((S ) lim ) , то x nk → a ((S ) lim ) и, следовательно, a ∈ B . Так
как для любого k x nk ≠ a , то b = a . Таким образом, x nk → a ((s ) lim ) .* Задачи. 1. Пусть (E , (s ) lim ) - секвенциальное пространство, определённое в з.4, п.1, S - секвенциальная топология. Какие множества входят в S ? 2. Пусть (S ) lim - секвенциальный предел, определяемый топологией S , рассмотренной в предыдущей задаче. Доказать, что (s ) lim ≠ (S ) lim . 3. Пусть (s ) lim - обычный предел на множестве ℝ действительных чисел. Какова соответствующая ему секвенциальная топология? Сравните её с обычной топологией на ℝ. 4. Пусть T - некоторая топология на E . Можно ли утверждать, что множество F замкнуто тогда и только тогда, когда для любой последовательности ( x n ) , где xn ∈ F , n ∈ N , если x n → a (T ) , то a ∈ F ? 5. Пусть (s ) lim1 и (s ) lim 2 - секвенциальные пределы на множестве E и S1 и S 2 - соответствующие им секвенциальные топологии. Если (s ) lim1 ⊆ (s ) lim 2 , то S 2 ⊆ S1 . Доказать. 6. Пусть T1 и T2 - некоторые топологии на множестве E и lim1 и lim 2 - соответствующие им пределы. Если T1 ⊆ T2 , то lim 2 ⊆ lim1 . Доказать.
9
3. УРЫСОНОВСКИЙ ПРЕДЕЛ Пусть (E , (s ) lim ) - секвенциальное пространство. Секвенциальный предел (s ) lim называется урысоновским, если он обладает следующим свойством. Для всякой последовательности ( x n ) , где x n ∈ E , n ∈ N , если существует такой
( )
элемент a , что для любой подпоследовательности x nk существует её подпоследовательность
(x ), (s)сходящаяся к a , т. е. x nk l
nk l
→ a ((s ) lim ) ,
то xn → a ((s ) lim ) .
Несложно показать, что обычный предел на ℝ является урысоновским. Действительно, пусть числовая последовательность ( x n ) удовлетворяет условию Урысона, т. е. существует та-
( )
кое a∈ℝ,что для любой подпоследовательности x nk
(x ) такая, что nk l
существует её подпоследовательность
x nk → a (l → ∞ ) , однако x n ↛ a (n → ∞ ) . Последнее означает, что существует l
такое ε 〉 0 , что для всякого k найдётся n ≥ k такое, что x n − a ≥ ε . Тогда существует подпос-
( )
ледовательность x nk , для которой при любом k
x nk − a ≥ ε . Такая последовательность не
может содержать подпоследовательность, сходящуюся к a . Теорема 1. Если (s ) lim - однозначный урысоновский секвенциальный предел, то спра-
ведливо равенство (s ) lim = (S ) lim .
( )
Доказательство. Пусть x n → a ((S ) lim ) . Пусть x nk - произвольная подпоследовательность последовательности ( x n ) . Тогда x nk → a ((S ) lim ) . По теореме 4, п.2 существует такая
( )
последовательность x nk , что x nk → a ((s ) lim ) . Таким образом, по отношению к последоваl
l
тельности ( x n ) выполнено условие Урысона, а значит, xn → a ((s ) lim ) и (S ) lim ⊆ (s ) lim . Отсюда и из теоремы 2, п.2 следует доказываемое равенство.* Задачи. 1. Доказать, что предел, определяемый произвольной топологией, урысоновский. 2. Показать, что секвенциальный предел, рассмотренный в з.4, п.1, урысоновским не является. 3. Если (s ) lim урысоновский, но не однозначный, то равенство (s ) lim = (S ) lim может не выполняться. Привести пример.
10
4. ПОРЯДКОВЫЙ СЕКВЕНЦИАЛЬНЫЙ ПРЕДЕЛ НА АЛГЕБРЕ МНОЖЕСТВ Пусть E - произвольное множество и P - класс всех подмножеств множества E . Класс
P вместе с теоретико-множественными операциями объединения, пересечения и дополнения и отношением включения является алгеброй множеств и обозначается символом P (∪ ,∩ ,′ , ⊆ ) . Здесь символ ′ означает переход к дополнению, так A′ = E \ A - дополнение множества A ∈ P .
Пусть ( X n ) - некоторая последовательность множеств из класса P . Введём определения верхнего и нижнего пределов последовательности ( X n ) , положив ∞
lim X n = ∩ ∪ X n , m =1 n ≥ m
∞
lim X n = ∪ ∩ X n . m =1 n≥ m
Замечание. Отметим, что a ∈ lim X n тогда и только тогда, когда a ∈ X n для бесконечно многих значений n ; a ∈ lim X n тогда и только тогда, когда a ∈ X n для всех достаточно больших значений n . Лемма 1. Для любой последовательности ( X n ) lim X n ⊆ lim X n .
Доказательство. Следует из предыдущего замечания.* Лемма 2. Для любой последовательности ( X n ) и для любой её подпоследовательности
(X ) nк
lim X n ⊆ lim X nk ⊆ lim X nk ⊆ lim X n .
Доказательство. Действительно, если a ∈ lim X n , то a ∈ X n для всех достаточно больших значений n . Тогда a ∈ X nk для всех достаточно больших значений k . Следовательно, a ∈ lim X nk и первое включение доказано. Второе включение следует из Леммы 1. Последнее
включение доказывается аналогично первому.* Введём соответствие (os ) lim между классом последовательностей ( X n ) , где X n ∈ P , n ∈ N , и множеством P , положив X n → A(os ) lim , если lim X n = lim X n = A . (Здесь «о» от
английского слова order – порядок). Теорема 1. Соответствие (os ) lim является секвенциальным пределом.
11
Доказательство. Первое условие Фреше следует из определения верхнего и нижнего пределов, второе из леммы 2.* Введённый предел называется порядковым секвенциальным пределом. Таким образом, последовательность ( X n ) порядково секвенциально сходится к A , т. е. X n → A(os ) lim , если lim X n = lim X n = A .
Докажем, что поряковый секвенциальный предел согласован с теоретико множественными операциями и отношением включения. Лемма 3. Для любых последовательностей ( X n ) и (Yn ) , если для любого n ∈ N
X n ⊆ Yn , то lim X n ⊆ lim Yn .
Доказательство. Следует из определений верхнего и нижнего пределов и замечания о них.* Лемма 4. Для любых последовательностей ( X n ) и (Yn ) , где X n ,Yn ∈ P , n ∈ N , lim X n ∪ lim Yn ⊆ lim X n ∪ Yn ⊆ lim X n ∪ Yn = lim X n ∪ lim Yn .
Доказательство.
Так
как
X n ⊆ X n ∪ Yn
и
Yn ⊆ X n ∪ Yn ,
то
по
лемме
3
lim X n ⊆ lim X n ∪ Yn и lim Yn ⊆ lim X n ∪ Yn , и первое включение доказано. Второе включение
следует из Леммы 1. Включение lim X n ∪ lim Yn ⊆ lim X n ∪ Yn также следует из леммы 3. Обратно, пусть a ∈ lim X n ∪ Yn . Тогда a ∈ X n ∪ Yn при бесконечно многих значениях n , а, следовательно,
a ∈ X n при бесконечно многих значениях n или a ∈ Yn при бесконечно многих значениях n .
Тогда a ∈ lim X n или a ∈ lim Yn . В целом a ∈ lim X n ∪ lim Yn и lim X n ∪ Yn ⊆ lim X n ∪ lim Yn , отсюда следует последнее равенство.*
Теорема 2.
Если для любого натурального n
X n ⊆ Yn
и
X n → A(os ) lim
и
Yn → B (os ) lim , то A ⊆ B .
Доказательство. Следует из леммы 3 и определения ((os ) lim ) .* Теорема 2 говорит о согласованности (os ) lim с отношением включения. 12
Теорема 3. Если X n → A(os ) lim и Yn → B (os ) lim , то
а)
X n ∪ Yn → A ∪ B ((os ) lim ) ;
б)
X n ∩ Yn → A ∩ B ((os ) lim ) ;
в)
′ X n → A′ ((os ) lim ) .
Доказательство. Из леммы 4 и равенств lim X n = lim X n = A и lim Yn = lim Yn = B получаем
а)
A ∪ B = lim X n ∪ lim Yn ⊆ lim X n ∪ Yn ⊆ lim X n ∪ Yn = lim X n ∪ lim Yn = A ∪ B .
Следовательно, lim X n ∪ Yn = lim X n ∪ Yn = A ∪ B и X n ∪ Yn → A ∪ B ((os ) lim ) . Так как X n → A((os ) lim ) , то lim X n = lim X n = A , т. е.
в)
∞
∞
∩ ∪ Xn = ∪ ∩ Xn = A .
m =1 n≥ m
m =1 n ≥ m
′ ′ ⎞ ⎞ ⎛ ∞ ⎛ ∞ Тогда ⎜⎜ ∩ ∪ X n ⎟⎟ = ⎜⎜ ∪ ∩ X n ⎟⎟ = A′ . ⎝ m =1 n≥ m ⎠ ⎝ m =1 n≥ m ⎠ ∞
Следовательно,
∪∩X
′ n
m =1 n ≥ m
Так
б)
∞
′ ′ = ∩ ∪ X n = A′ и X n → A′ (os ) lim . m =1 n ≥ m
X n → A((os ) lim )
как
и
Yn → B ((os ) lim ) ,
то
′ X n → A′ ((os ) lim )
и
′ ′ ′ Yn → B′ ((os ) lim ) . Следовательно, X n ∪ Yn → A′ ∪ B′ ((os ) lim ) ,
(
)
′ ′ ⎛⎜ X ′ ∪ Y ′ ⎞⎟ → A′ ∪ B′ ((os ) lim ) и X ∩ Y → A ∩ B ((os ) lim ) .* n n n n ⎝ ⎠
Задачи. 1. Найти (os ) lim X n , если а)
1⎤ ⎡1 Xn = ⎢ ; 2 − ⎥ ; n∈ N ; n⎦ ⎣n
б)
1⎤ ⎡ 1 X n = ⎢− ; 2 + ⎥ ; n ∈ N ; n⎦ ⎣ n
в)
1⎤ ⎡1 Xn = ⎢ ; 2 + ⎥ ; n∈ N . n⎦ ⎣n
2. Найти (os ) lim X n , если а)
⎧ X n = ⎨( x , y ) ∈ R 2 / x + y < ⎩
1⎫ ⎬ , n∈ N ; n⎭ 13
б)
1⎫ ⎧ X n = ⎨( x , y ) ∈ R 2 / x + y ≥ ⎬ , n ∈ N ; n⎭ ⎩
в)
Xn =
{(x , y ) ∈ R
2
}
/ (x − n) + y 2 ≤ 1 , n ∈ N . 2
[
)
3. Найти lim X n и lim X n , если X n = (− 1) ⋅ n; + ∞ . n
4. Доказать, что монотонные последовательности порядково секвенциально сходятся, и найти их пределы. 5. Доказать, что для любых последовательностей ( X n ) и (Yn ) lim X n ∩ lim Yn = lim X n ∩ Yn ⊆ lim X n ∩ Yn ⊆ lim X n ∩ lim Yn .
6. Пусть X n → A (os ) lim и Yn → B (os ) lim . Доказать, что а)
X n \ Yn → A \ B ( (os ) lim ) ;
б)
X n ДYn → AДB ( (os ) lim ) .
7. Доказать, что порядковый секвенциальный предел на алгебре множеств является урысоновским.
5. ПОРЯДКОВАЯ СЕКВЕНЦИАЛЬНАЯ ТОПОЛОГИЯ Поскольку любой секвенциальный предел определяет секвенциальную топологию, то можно рассматривать топологию, определяемую порядковым секвенциальным пределом
(os ) lim .
Эта топология называется порядковой секвенциальной топологией и обозначается Vs .
Теорема 1. Порядковая секвенциальная топология на алгебре множеств хаусдорфово отделима. Доказательство. Пусть E - произвольное множество, (os ) lim и Vs - порядковый секвенциальный предел и порядковая секвенциальная топология на алгебре множеств
P (∪ , ∩ ,′ , ⊆ ) . Пусть A , B ∈ P , A ≠ B . Покажем, что A и B можно отделить непересекающимися открытыми множествами. Так как A ≠ B , то существует точка, входящая в одно из них и не входящая в другое. Пусть a ∈ A и a ∉ B . Рассмотрим множества A = { X ∈ P / a ∈ X } и B = { Y ∈ P / a ∉ X } . Отметим, что A ∪ B = P , A ∩ B = ∅ , A ∈ A , B ∈ B . Докажем, что множества A и B (os)замкнуты. Пусть C - точка прикосновения множества
A , т.
е. существует
такая
последовательность
(X n ) ,
что
Xn ∈A ,
n∈ N ,
X n → C ( (os ) lim ) . Тогда a ∈ X n для любого n ∈ N и a ∈ C . Следовательно, C ∈ A и A 14
(os)замкнуто. Пусть D точка прикосновения множества B , т. е. существует такая последова-
тельность (Yn ) , что Yn ∈ B , n ∈ N , Yn → D((os ) lim ) . Тогда a ∉ Yn при любом n ∈ N и a ∉ D . Следовательно, D ∈ B и B - (os)замкнуто. Так как A и B взаимно дополнительные множества, то A и B (os)открыты. Таким образом, A и B - непересекающиеся окрестности точек A и B .* Задачи. 1. Пусть A = { X ∈ P / X 0 ⊆ X }, где X 0 - конечно. Доказать, что A - (os)замкнуто и (os)открыто. 2. Пусть B = { Y ∈ P / X 0 ∩ X = ∅}, где
X 0 - конечно.
Доказать, что
B -
(os)замкнуто и (os)открыто.
3. Пусть A = { X ∈ P / X 0 ⊆ X }, где X 0 ∈ P .
Доказать, что A
- (os)замкнуто.
Можно ли утверждать, что A - (os)открыто? 4. Пусть B = { Y ∈ P / X 0 ∩ X = ∅}, где X 0 ∈ P . Доказать, что B - (os)замкнуто. Можно ли утверждать, что B - (os)открыто? 5. Является ли класс измеримых по Жордану множеств, содержащихся в E = [0 ;1] , (os)замкнутым?
6. Является ли класс измеримых по Лебегу множеств, содержащихся в E = [0 ;1] , (os)замкнутым?
7. Является ли класс измеримых по Лебегу множеств, содержащихся в E = [0 ;1] , (os)замыканием класса измеримых по Жордану множеств, содержащихся в E ?
8. Доказать, что V s -топология на алгебре множеств является вполне несвязной.
6. СЕКВЕНЦИАЛЬНО НЕПРЕРЫВНЫЕ ОТОБРАЖЕНИЯ Имея секвенциальные предельные переходы, естественно ввести соответствующее определение непрерывности отображения. Пусть (D(s ) lim D ) , (E (s ) lim E ) - секвенциальные пространства, f : D → E отображение множества D в E , x0 ∈ D . Отображение f называется секвенциально непрерывным в точке x0 , если для любой последовательности ( x n ) , где x n ∈ D n ∈ N , если x n → x0 ((s ) lim D ) , то f ( x n ) → f ( x0 )((s ) lim E ) .
15
Отображение f называется секвенциально непрерывным на некотором множестве, если оно секвенциально непрерывно в каждой точке этого множества. Отображение f секвенциально непрерывно, если оно секвенциально непрерывно всюду на области определения. Отображение f называется топологически непрерывным в точке x0 относительно топологий TD и T E , если для любой окрестности U f ( x0 ) точки f ( x0 ) существует такая окрестность V x0 точки x0 , что для любого x , если x ∈V x0 , то f ( x ) ∈ U f ( x0 ) . Хорошо известно, что для функций действительной переменной секвенциальная непрерывность равносильна топологической. Отметим некоторые свойства секвенциально непрерывных отображений. Теорема 1. Если отображение секвенциально непрерывно, то прообраз любого секвенциально замкнутого множества секвенциально замкнут. Доказательство.
Пусть f : D → E - секвенциально непрерывное отображение, A -
(s)замкнутое множество, A ⊆ E , f −1 ( A) - прообраз множества A . Докажем, что множество
f −1 ( A) - (s)замкнуто. Пусть x0 - (s)точка прикосновения множества f −1 ( A) . Тогда найдётся
такая последовательность ( xn ) , где x n ∈ f −1 ( A) , n ∈ N , что x n → x0 ((s ) lim D ) . Так как f - секвенциально непрерывно на D , то f ( x n ) → f ( x0 )((s ) lim E ) . Здесь f ( x n ) ∈ A , n ∈ N . Следовательно, f ( x0 ) - (s)точка прикосновения множества A , а значит, f ( x0 ) ∈ A , так как A (s)замкнуто. Тогда x0 ∈ f −1 ( A) и множество f −1 ( A) - (s)замкнуто.*
Теорема 2. Если отображение секвенциально непрерывно, то прообраз любого секвенциально открытого множества секвенциально открыт. Доказательство. Следует из теоремы 1 переходом к дополнениям.* Теорема 3. Если отображение секвенциально непрерывно, то оно непрерывно относительно секвенциальных топологий. Доказательство. Пусть (D(s ) lim D ) , (E (s ) lim E ) - секвенциальные пространства, и отображение f : D → E секвенциально непрерывно. Докажем, что отображение f непрерывно относительно секвенциальных топологий S D и S E . Как известно, отображение f топологического пространства в топологическое пространство непрерывно тогда и только тогда, когда прообраз любого замкнутого множества замкнут. Пусть множество A замкнуто в топологии 16
S E . Тогда A (s)замкнуто (относительно (s ) lim E ). Тогда прообраз f −1 ( A) множества A
(s)замкнут (относительно (s ) lim D ), так как по условию отображение f секвенциально непре-
рывно. Тогда множество f −1 ( A) замкнуто в топологии S D . Следовательно, по критерию непрерывности отображение f непрерывно.*
Обратное предложение неверно. Приведём пример. Пусть E = D некоторые множества. Определим предел (s ) lim D , полагая, что сходятся все стационарные и почти стационарные последовательности к элементу, образующему такую последовательность, и только они. Положим, что в смысле предела (s ) lim E сходятся только стационарные последовательности. Тогда секвенциальные топологии, соответствующие этим пределам, совпадают, S D = S E .
Пусть
ϕ : D → E - тождественное отображение. Как несложно проверить, отображение ϕ непрерывно относительно топологий S D и S E , но не является секвенциально непрерывным. Выше изначальные предельные переходы были секвенциальными, топологии вводились на их основе. Можно изначально заданными считать топологии на области определения и множестве значений отображения, а предельные переходы определить на этой основе. Далее можно говорить о топологической непрерывности отображения или секвенциальной его непрерывности. Теорема 4. Пусть f : D → E - отображение множества D в множество E , TD и T E топологии на D и E соответственно, (TD ) lim и (TE ) lim - соответствующие им пределы. Если отображение f непрерывно относительно топологий TD и T E , то оно секвенциально непрерывно относительно предельных переходов (TD ) lim и (TE ) lim . Доказательство.
Пусть
x n → x0 ((TD ) lim ) , где
xn ∈ D ,
n∈ N .
Докажем, что
f ( x n ) → f ( x0 )((TE ) lim ) . Пусть U f ( x0 ) - некоторая окрестность точки f ( x0 ) . Тогда в силу не-
прерывности отображения f относительно топологий TD и T E найдётся такая окрестность V x0 , что для любого x ∈V x0
f ( x ) ∈ U f ( x0 ) . Так как x n → x0 ((TD ) lim ) , то по окрестности V x0
найдётся такое N , что для любого n ≥ N
f ( x n ) ∈ U f ( x0 ) , что и означает секвенциальную не-
прерывность отображения f .* Обратное неверно. Приведём пример. Пусть D ( x ) - функция Дирихле, т. е.
17
⎧ 1, если x - рациональное , D (x ) = ⎨ ⎩ 0 , если x - иррациональное.
Введём топологию T
на области определения ℝ, полагая открытым любое множество
ℝ\C, где C - где конечно или счётно. Значения этого отображения также принадлежат ℝ.
Здесь ℝ будем рассматривать с обычной топологией. Отображение D секвенциально непрерывно, так как относительно топологии T сходятся только стационарные и почти стационарные последовательности. Однако оно не будет непрерывным, если x иррационально. Задачи. 1. Показать, что предложения, обратные теоремам 1 и 2, неверны. 2. Пусть (E , (s ) lim ) - секвенциальное пространство и A ⊆ E . Назовём множество A секвенциально компактным, если для любой последовательности ( xn ) , где x n ∈ A , n ∈ N , су-
( )
ществует её подпоследовательность x nk такая, что x nk → a ((s ) lim ) и a ∈ A . Доказать, что секвенциально непрерывный образ секвенциально компактного множества секвенциально компактен. 3. Пусть (E , (s ) lim ) - секвенциальное пространство, S - секвенциальная топология и A ⊆ E . Если A - компактно относительно топологии S и (s ) lim однозначен, то A - секвенци-
ально компактно (относительно (s ) lim ). Доказать. 4. Следует ли из секвенциальной компактности компактность относительно секвенциальной топологии?
§2. СХОДИМОСТИ И ТОПОЛОГИИ 1. НАПРАВЛЕННЫЕ МНОЖЕСТВА И НАПРАВЛЕННОСТИ Пусть I - некоторое множество, на котором определено бинарное отношение ≥ . Отношение ≥ называется направлением на I , если оно обладает следующими свойствами: 1) для любого i ∈I
i ≥ i (рефлексивность);
2) для любых i , j , k ∈I , если i ≥ j и j ≥ k , то i ≥ k (транзитивность); 3) для любых i , j ∈I существует такой элемент k ∈I , что k ≥ i и k ≥ j .
18
Множество вместе с направлением на нём, т. е. пара (I , ≥ ) , называется направленным множеством. Если элементы i , j ∈I связаны отношением i ≥ j , то говорят, что i следует за j . Можно ввести двойственное отношение ≤ , полагая
j ≤ i тогда и только тогда, когда
i ≤ j . Если j ≤ i , то говорят, что j предшествует i .
Примеры. 1. Множество ℕ натуральных чисел с обычным отношением ≥ , т. е. пара (ℕ, ≥ ) - направленное множество. 2. Множество ℝ действительных чисел с обычными отношениями ≥ и ≤ , т. е. пары (ℝ,⋝), (ℝ,⋜) – направленные множества. 3. Пусть a ∈ ℝ, x , y ∈ ℝ. Положим x ≤ y , если ρ ( x , a ) ≤ ρ ( y , a ) , где ρ ( x , a ), ρ ( y , a ) - расстояния от точек x и y до a . Тогда (ℝ,⋜) – направленное множество. 4. Пусть (E ,T ) - топологическое пространство, x0 ∈ E , U - класс всех окрестностей точки x0 , ⊆ - отношение включения. Тогда (U , ⊆ ) - направленное множество. Направленностью называется любое отображение, определённое на направленном множестве. Итак, пусть (I , ≥ ) - направленное множество, E - некоторое множество и x : I → E отображение I в E . Тогда это отображение является направленностью. Направленности обычно будем обозначать символом ( x i )i∈I , где (I , ≥ ) - направленное множество. Примером направленности является последовательность ( x n )n∈N . При выборе направления на ℝ любая функция, определённая на ℝ, становится направленностью. Можно рассматривать и часть D ⊆ ℝ с указанием направления на D . Тогда произвольная функция, определённая на D , - направленность. 2. ПРЕДЕЛ НАПРАВЛЕННОСТИ В ТОПОЛОГИЧЕСКОМ ПРОСТРАНСТВЕ Пусть (E ,T ) - топологическое пространство, (I , ≥ ) - направленное множество, ( x i )i∈I , где x i ∈ E , i ∈I , - направленность.
19
Направленность ( x i )i∈I называется сходящейся к элементу a ∈ E , если для любой окрестности U a элемента a найдётся такое i0 ∈I , что для любого i ≥ i0
x i ∈ U a . Соответствую-
щая запись следующая x i → a ((T ) lim ) . Предел (T ) lim x i - класс всех элементов, к которым направленность ( x i )i∈I сходится. Таким образом, если x i → a ((T ) lim ) , то a ∈ ((T ) lim x i ) . Верно и обратное. Примеры. ⎛1⎞ 1. Пусть ( x n )n∈N = ⎜ ⎟ - данная последовательность, определённая на направленном ⎝ n ⎠ n∈N
множестве (ℕ,⋝), и (ℝ, T ) – множество действительных чисел с обычной топологией на нём. Тогда x n → 0((T ) lim ) . 2. Пусть f ( x ) = arctg x - данная функция со значениями в топологическом пространстве (ℝ, T ), где T - обычная топология на ℝ. Вводя различные направления на области определения ℝ этой функции, получим следующее: а) Относительно направления ≥ на ℝ f (x ) →
π 2
((T ) lim ) .
б) Относительно направления ≤ на ℝ
f (x ) → −
π 2
((T ) lim ) .
в) Относительно направления на ℝ, определённого в примере 3, п. 1, где a = 0 , f ( x ) → 0((T ) lim ) .
3. Пусть (E ,T ) - топологическое пространство, a ∈ E , U a - некоторая окрестность точки a , U = {U a } - класс всех окрестностей точки a . Множество U вместе с отношением включения ⊆ , т. е. (U , ⊆ ) , - направленное множество. Введём отображение ϕ : U → E , поставив в соответствие каждой окрестности U a некоторую точку x ∈ U a . Поскольку (U , ⊆ ) - направленное множество, то отображение
(ϕ (U a ))U ∈U a
- направленность.
Установим, что
ϕ (U a ) → a ((T ) lim ) . Действительно, для любой окрестности U a найдётся такой индекс из множества U , можно взять U a ∈ U , что для любого индекса Va ∈ U , для которого Va ⊆ U a ,
ϕ (Va ) ∈ U a . Последнее следует из определения ϕ , поскольку ϕ (Va ) = x ∈Va ⊆ U a . 20
Рассмотрим определение точки прикосновения множества. Пусть (E ,T ) - топологическое пространство, A ⊆ E . Как известно, точка a ∈ E называется точкой прикосновения множества A , если для любой окрестности U a точки a найдётся точка x ∈ A ∩ U a . Теорема 1. Точка a является точкой прикосновения множества A тогда и только тогда,
когда существует такая направленность ( x i )i∈I , где xi ∈ A , i ∈I , что x i → a ((T ) lim ) . Доказательство. Если a - точка прикосновения множества A , то, сопоставляя каждой окрестности U a точку x ∈ A ∩ U a , получим направленность, сходящуюся к a (см. пример 4 п.1). Обратное очевидно.* Рассмотрим определение непрерывного отображения. Пусть (D ,TD ) и (E ,TE ) - топологические пространства, f : D → E отображение D в E , x0 ∈ D . Как известно, отображение f называется непрерывным в точке x0 , если для любой окрестности U f ( x0 ) точки f ( x0 ) найдётся такая окрестность Vx0 , что любой точки x ∈Vx0 f ( x0 ) ∈ U f ( x0 ) . Теорема 2. Отображение f : D → E непрерывно в точке x0 тогда и только тогда, когда
( xi )i∈I ,
для любой направленности
где
x i ∈ D , i ∈I , если
x i → x0 ((TD ) lim ) , то
f ( x i ) → f ( x0 )((TE ) lim ) . Доказательство. Пусть отображение f непрерывно в точке x0 и пусть ( x i )i∈I некоторая направленность,
сходящаяся
к
точке
x0 ,
т.
е.
x i → x0 ((TD ) lim ) .
Докажем,
что
f ( x i ) → f ( x0 )((TE ) lim ) . Действительно, пусть U f ( x0 ) - некоторая окрестность точки f ( x0 ) . Тогда в силу непрерывности отображения f в точке x0 найдётся такая окрестность Vx0 точки x0 , что для любой точки x ∈Vx0
f ( x0 ) ∈ U f ( x0 ) . Поскольку xi → x0 ((TD ) lim ) , то по окрестно-
сти Vx0 найдётся такой индекс i0 ∈I , что для любого i ≥ i0 x i ∈Vx0 . В целом для произвольной окрестности U f ( x0 ) найдётся такой индекс i0 ∈I , что для любого i ≥ i0 f ( x0 ) ∈ U f ( x0 ) , что и означает, что f ( x i ) → f ( x0 )((TE ) lim ) . Обратное докажем от противного. Пусть отображение f не является непрерывным в точке x0 . Тогда существует такая окрестность U f ( x0 ) точки f ( x0 ) , что для любой окрестности Vx0 точки x0 найдётся такое x ∈Vx0 , что f ( x0 ) ∉ U f ( x0 ) . Пусть U - класс всех окрестностей
21
точки x0 .
Рассмотрим отображение ϕ : U → E , сопоставив окрестности Vx0 ∈ U ту точку
( )
x ∈Vx0 , для которой f ( x ) ∉ U f ( x0 ) . Тогда ϕ Vx0 → x0 ((TD ) lim ) (см. пример 4, п. 1). Однако соответствующая направленность
( f (ϕ (V ))) x0
Vx0 ∈U
не сходится к f ( x0 ) , поскольку все значения
этой направленности находятся вне окрестности U f ( x0 ) .* Задачи. 1. Пусть E - некоторое множество и P - класс всех его подмножеств. Является ли отношение включения ⊆ на P - направлением? 2. Пусть ≥ - отношение порядка на множестве I . Можно ли утверждать, что оно является направлением? 3. Пусть
(I , ≥ )
- направленное множество и J ⊆ I . Можно ли утверждать, что
( J , ≥) - направленное множество? 4. Найти (T ) lim f ( x ) по каждому из направленных множеств (ℝ, ≥ ) и (ℝ, ≤ ), если а) f ( x ) =
x2 +1 ; x
б) f ( x ) = e x ,
а топология на ℝ обычная. 5. Пусть f : ℝ→ℝ, где f ( x ) = x . Существуют ли топологии на ℝ, относительно которых отображение f разрывно? 6. Пусть D : ℝ→ℝ, где D ( x ) - функция Дирихле. Существуют ли топологии на ℝ, относительно которых отображение D непрерывно?
3. ПОДНАПРАВЛЕННОСТИ Пусть (I , ≥ ) и ( J , ≥ ) - некоторые направленные множества, и ( x i )i∈I направленность, определённая на I . Пусть i : J → I - такая направленность, что для любого i0 ∈I найдётся такое j0 ∈ J , что для любого j ≥ j0 i ( j ) ≥ i0 . Направленности, обладающие этим свойством, назовём допустимыми. Множество значений направленности как бы пронизывает множество I в направлении ≥ . Для числовой последовательности (nk )k∈N , где nk ∈ ℕ, k ∈ ℕ, допустимость означает,
22
что для любого n0 ∈ ℕ найдётся такое k0 ∈ ℕ, что для любого k ≥ k0
nk ≥ n0 , т. е.
nk → ∞ (k → ∞ ) . Приведём пример и контрпример. Возьмём направленные множества (ℝ, ≥ ) и (ℕ, ≥ ) и направленность m : ℕ→ℝ, где m (n ) = n , n ∈ ℕ. Ясно, что эта направленность является допустимой. Если же рассмотреть на-
правленность p : ℕ→ℝ, где p(n ) = 1−
1 , n ∈ ℕ, то такая направленность допустимой не будет. n
Введём определение поднаправленности. Пусть ( x i )i∈I - некоторая направленность, определённая на (I , ≥ ) , и ( J , ≥ ) некоторое направленное множество. Направленность ленности
(y )
j j∈ J
называется поднаправленностью направ-
( xi )i∈I , если существует такая направленность i : J
1. для любого j ∈ J
→ I , что
y j = x i ( j ) , т. е. y = x i ;
2. направленность i : J → I допустима. Заметим, что для произвольной последовательности ( x n )n∈N любая её подпоследова-
( )
тельность x nk является поднаправленностью, поскольку nk → +∞ (k → +∞ ) . Однако для последовательности определения подпоследовательности и поднаправленности не эквивалентны. Приведём примеры.
( 1 , 2 , 3 ,… , n ,…) и по( 2 , 1 , 4 , 3 ,… , 2n , 2n − 1…) , которые не являются
Рассмотрим обычную последовательность натуральных чисел следовательности ( 1 , 1 , 2 , 2 ,… , n , n ,… ) и
её подпоследовательностями при обычном определении подпоследовательности, поскольку обычно предполагается, что последовательность номеров (nk ) возрастает. Заметим, что направленности ⎡ k − 1⎤ k +1 p : ℕ→ ℕ, где p(k ) = ⎢ + 1 , k ∈ ℕ, и q : ℕ→ ℕ, где q(k ) = k + (− 1) , k ∈ ℕ, допустимы, ⎥ ⎣ 2 ⎦
поскольку и p (k ) → +∞ (k → +∞ ) и q (k ) → +∞ (k → +∞ ) . Поэтому для направленности m : ℕ→ ℕ, где m (n ) = n , n ∈ ℕ, каждая из композиций m p и m q - поднаправленности,
( 1 , 1 , 2 , 2 ,… , n , n ,… ) ( 2 , 1 , 4 , 3 ,… , 2n , 2n − 1…) - поднаправленности исходной направленности (1,2 ,3,… , n ,…) .
т.
е.
рассмотренные
выше
последовательности
и
23
Более того, пусть ϕ : ℝ+→ ℕ, где ϕ ( x ) = [ x ] + 1 , x ∈ ℝ+ = { x ∈ ℝ / x ≥ 0} , и m : ℕ→ ℕ, где m (n ) = n , n ∈ ℕ. Тогда их композиция p = m ϕ : ℝ+→ ℕ - поднаправлен-
ность направленности m : ℕ→ ℕ, поскольку направленность ϕ - допустима. Взяв допустимую направленность ψ : ℝ+→ ℕ, где ψ ( x ) = 2[ x ] + 1 , x ∈ ℝ+, получим поднаправленность q = m ψ : ℝ+→ ℕ.
Как показывают эти примеры, области определения основной направленности и её поднаправленности могут быть существенно разными. Основной способ выделения поднаправленностей – переход к конфинальной части области определения основной направленности. Пусть (I , ≥ ) - направленное множество, J ⊆ I . Говорят, что множество J конфинально I , если для любого i ∈I найдётся j ∈ J , что j ≥ i . Здесь сохраняется идея пронизывания множества, как угодно далеко во множестве I найдётся элемент, принадлежащий J .
Приведём пример конфинального множества и контрпример. Рассмотрим направленные множества (ℝ,⋝), (ℕ,⋝) и (E , ≥ ) , где E = [0 ;1] . Тогда ℕ конфинально ℝ, а E не конфинально ℝ. Если J конфинально I , тождественное отображение ϕ : J → I , где ϕ ( j ) = j , j ∈ J , является допустимым, а, следовательно, для произвольной направленности x : I → E композиция x ϕ будет её поднаправленностью. Таким образом, любое сужение основной направленности x : I → E на произвольную конфинальную часть J ⊆ I можно рассматривать как поднаправленность исходной направленности. Такое сужение на правильную часть множества ℕ не является подпоследовательностью в обычном понимании, поскольку по определению по-
следовательность определена на множестве всех натуральных чисел. Можно ввести определение частичного предела направленности как элемента, к которому сходится некоторая направленность. Возникает вопрос, как связано множество всех частичных пределов и множество элементов, к которым сходятся поднаправленности, являющиеся сужениями на конфинальные множества? Равны ли эти множества?
24
Задачи. 1. Доказать, что любая поднаправленность сходящейся направленности сходится к тому же элементу. 2. Для направленных множеств (ℝ, ≥ ), (ℝ, ≤ ) указать счётные конфинальные им подмножества. 3. Пусть (I , ≥ ) - направленное множество и J конфинально I . Доказать, что ( J , ≥ ) - направленное множество. 4. Для направленности f ( x ) = sin x , определённой на (ℝ, ≥ ), указать сходящиеся поднаправленности. 5. Можно ли утверждать, что произвольное направленное множество имеет счётное конфинальное ему подмножество? 6. Можно ли утверждать, что произвольная направленность имеет счётную поднаправленность? 7. Если направленное множество (I , ≥ ) разбивается на такие части I1 и I 2 , что I = I1 ∪I 2 , то хотя бы одно из множеств I1 и I 2 конфинально I . Доказать.
8. Пусть (I , ≥ ) - направленное множество, J конфинально I и K конфинально J . Доказать, что K конфинально I .
4. ПРЕДЕЛ НА КЛАССЕ НАПРАВЛЕННОСТЕЙ Предел на классе направленностей можно ввести подобно тому, как был введён секвенциальный предел – предел на классе последовательностей. Пусть E - некоторое множество, ( x i )i∈I - направленность со значениями в множестве
E , Φ - класс всех направленностей со значениями в E , (n ) lim соответствие между классом направленностей Φ и E . То, что направленности ( x i )i∈I соответствует элемент a ∈ E при соответствии (n ) lim , обозначим так: x i → a ((n ) lim ) . (здесь «n» от английского термина net, которому соответствует русский термин направленность.) Говорят, что соответствие (n ) lim удовлетворяет условиям Фреше, если 25
1) для любой стационарной направленности ( x i )i∈I , т. е. такой, что для некоторого a ∈ E и для любого i ∈I
x i = a , xi → a ((n ) lim ) ;
2) для любой направленности ( x i )i∈I и для любой её поднаправленности ( y j ) j∈J , если x i → a ((n ) lim ) , то y j → a ((n ) lim ) .
Соответствие, удовлетворяющее условиям Фреше, называется пределом на классе направленностей или сходимостью на этом классе. Если соответствие
((n ) lim )
удовлетворяет условиям Фреше, то запись x i → a ((n ) lim )
читается так: направленность ( x i )i∈I сходится к a относительно сходимости (n ) lim .
(n) lim xi
- это класс всех элементов, к которым направленность ( x i )i∈I сходится. Этот
класс может состоять из одного элемента или более, а может оказаться пустым. Для любой направленности (n ) lim x i имеет вполне определенный смысл, это некоторое множество, возможно, пустое. Ясно, что записи xi → a ((n ) lim ) ,
(( xi )i∈I , a )∈ (n) lim ,
a ∈ (n ) lim xi равнозначны.
Примеры сходимостей. 1. Пусть E - произвольное множество. Сопоставив каждой стационарной направленности образующей её элемент из множества E , получим сходимость. 2. Пусть (E ,T ) - топологическое пространство. Предел (T ) lim , определяемый топологией T , сходимость. 3. Секвенциальный предел, определённый для E и продолженный на класс всех стационарных направленностей со значениями в E , и поднаправленностей секвенциально сходящихся последовательностей, является сходимостью. 5. ТОПОЛОГИЯ СХОДИМОСТИ Топология, определяемая пределом на классе направленностей, вводится аналогично секвенциальной топологии. Пусть (E , (n ) lim ) - пространство со сходимостью (n ) lim на классе направленностей со значениями в множестве E , A ⊆ E и a ∈ E . Точка a называется (n)точкой прикосновения множества A , если существует такая направленность ( x i )i∈I , где x i ∈ A , i ∈I , что x i → a ((n ) lim ) . 26
Множество n( A) всех (n)точек прикосновения множества A называется (n)замыканием множества A . Отметим, что всегда A ⊆ n( A) . Множество A называется (n)замкнутым, если A = n( A) . Множество A называется (n)открытым, если A′ = E \ A - (n)замкнуто. Пусть N - класс всех (n)открытых множеств. Теорема 1. Класс N - топология на E .
Доказательство. Пусть N ′ - класс всех (n)замкнутых множеств. Тогда очевидно, что ∅, E ∈N ′ .
Пусть множества A1 и A2 (n)замкнуты. Докажем, что A1 ∪ A2 (n)замкнуто. Пусть a (n)точка прикосновения множества A1 ∪ A2 . Тогда существует такая направленность ( x i )i∈I , где x i ∈ A1 ∪ A2 , i ∈I , что x i → a ((n ) lim ) . Пусть I1 - множество всех тех значений i , для которых x i ∈ A1 , I 2 - множество всех тех значений i , для которых x i ∈ A2 . Тогда I1 ∪I 2 = I , а значит, I1 или I 2 конфинально I . Действительно, если I1 не конфинально I , то существует такое i1 ∈I , что для любого i ∈I1 i ≱ i1 , и аналогично, если I 2 не конфинально I , то существует такое i2 ∈I , что для любого i ∈I 2 i ≱ i2 .
Так как I - направленное множество и
i1 , i2 ∈I , то существует такое i0 ∈I , что i0 ≥ i1 и i0 ≥ i2 . Так как I1 ∪ I 2 = I , то i0 ∈I1 или
i0 ∈I 2 , а это противоречит предыдущему. Тогда сужение направленности ( x i )i∈I на конфи-
нальную часть множества I будет поднаправленностью этой направленности. В силу второго условия Фреше эта поднаправленность (n)сходится к a . Следовательно, точка a - (n)точка прикосновения множества A1 или A2 . Значит, a ∈ A1 или a ∈ A2 , так как каждое из этих множеств (n)замкнуто. Следовательно, a ∈ A1 ∪ A2 . Отсюда следует (n)замкнутость любого конечного объединения (n)замкнутых множеств. Пусть ( Ak )k∈K - семейство (n)замкнутых множеств. Докажем, что Пусть точка a - (n)точка прикосновения множества
∩A
k
∩A
k
(n)замкнуто.
k∈K
. Тогда существует такая направ-
k∈K
ленность ( x i )i∈I , что для любого i ∈I
xi ∈
∩A
k
и xi → a ((n ) lim ) . Отсюда следует, что для
k∈K
любого k ∈ K a ∈ Ak , так как Ak (n)замкнуто, и, следовательно, a ∈ ∩ Ak .* k∈K
27
Введённая топология N называется топологией сходимости. Некоторая топология T называется согласованной с пределом (n ) lim , если для всякой направленности ( x i )i∈I из предположения, что x i → a ((n ) lim ) следует, что x i → a ((T ) lim ) . Теорема 2. Топология сходимости N согласована с исходным пределом (n ) lim .
Доказательство. От противного. Пусть xi → a ((n ) lim ) , но xi ↛ a ((N ) lim ) . Тогда существует такая (n)открытая окрестность U a точки a , что для любого i ∈I существует такое j ≥ i , что x j ∉ U a . Пусть J - множество всех значений j ∈I , при которых x j ∉ U a . Тогда по
определению конфинального множества J конфинально I . Следовательно, сужение направленности ( x i )i∈I на множество J - поднаправленность исходной направленности. По второму
условию Фреше поднаправленность (x j ) j∈J (n)сходится к a . При этом для любого i ∈ J
′ ′ x i ∈ U a = E \ U a . Множество U a (n)замкнуто как дополнение (n)открытого множества U a . ′ Следовательно, a ∈ U a .
Но a ∈ U a , поскольку U a - окрестность точки a .
Так как
′ U a ∩ U a = ∅ , то противоречие получено.*
Теорема 3. Топология сходимости N - максимальная топология, согласованная с (n ) lim .
Доказательство. Пусть T - некоторая топология, согласованная с (n ) lim . Докажем, что T ⊆ N . Для этого достаточно доказать, что любое (T ) замкнутое множество (n ) замкнуто.
Пусть множество A
(T ) замкнуто. Пусть a направленность ( x i )i∈I ,
- (n ) точка прикосновения множества A . Тогда
существует такая
что xi ∈ A , i ∈I
и x i → a ((n ) lim ) .
Тогда
x i → a ((T ) lim ) , так как топология T согласована с (n ) lim . Следовательно, a - (T ) точка при-
косновения множества A , а значит, a ∈ A , так как по условию A (T ) замкнуто. Таким образом, любая (n ) точка прикосновения множества A входит в A , т. е. A (n ) замкнуто.*
6. ПОРЯДКОВЫЙ ПРЕДЕЛ И ПОРЯДКОВАЯ ТОПОЛОГИЯ Определения порядкового предела и порядковой топологии на алгебре множеств аналогичны определениям порядкового секвенциального предела и порядковой секвенциальной топологии.
28
Пусть E - некоторое множество, P - класс всех его подмножеств,
( X i )i∈I
- некоторая
направленность со значениями в P , (I , ≥ ) - направленное множество. Введём определения верхнего и нижнего пределов направленности, полагая lim X i = ∩
∪X
i
,
j∈I i ≥ j
lim X i = ∪
∩X
i
.
j∈I i ≥ j
Очевидно, что а) элемент a ∈ lim X i тогда и только тогда, когда для любого j ∈I существует такое
i ≥ j , что a ∈ X i ; б) элемент a ∈ lim X i тогда и только тогда, когда существует такое j ∈I , что для любого i ≥ j
a ∈ Xi .
Заметим, что для любой направленности ( X i )i∈I
lim X i ⊆ lim X i .
Введём соответствие (o ) lim на классе направленностей, полагая X i → A((o ) lim ) , если lim X i = lim X i = A .
Несложно показать, что соответствие (o ) lim удовлетворяет первому условию Фреше. Второе условие Фреше доказывается на основании следующей леммы. Лемма 1. Для любой направленности ( X i )i∈I и для любой её поднаправленности (Y j ) j∈J
lim X i ⊆ lim Y j ⊆ lim Y j ⊆ lim X i .
Доказательство. Пусть a ∈ lim X i . Тогда найдётся такое i0 ∈I , что для любого i ≥ i0 a ∈ X i . Так как (Y j ) j∈J - поднаправленность направленности ( X i )i∈I , то по определению подYj = X i( j) , а
направленности существует такое отображение i : J → I , что для любого j ∈ J для выделенного значения i0 ∈I найдётся такое j0 ∈ J , что для любого j ≥ j0 Тогда для любого j ≥ j0
i ( j ) ≥ i0 .
a ∈ X i ( j ) = Y j . Следовательно, a ∈ lim Y j и lim X i ⊆ lim Y j .
Включение lim Y j ⊆ lim Y j верно для любой направленности, что отмечалось. Пусть a ∈ lim Y j . Докажем, что для любого i0 ∈I найдётся такое i ≥ i0 , что a ∈ X i . Действительно, так как (Y j ) j∈J - поднаправленность направленности ( X i )i∈I , то существует такое отображение i : J → I , что для любого j ∈ J
Y j = X i ( j ) , а для произвольного i0 ∈I най-
29
дётся такое j0 ∈ J , что для любого j ≥ j0
i ( j ) ≥ i0 . Поскольку a ∈ lim Y j , то для любого
j ≥ j0 , что a ∈ Y j . А так как Y j = X i ( j ) и i = i ( j ) ≥ i0 , то и получаем, что
j0 ∈ J найдётся
a ∈ X i , где i ≥ i0 . Следовательно, a ∈ lim X i и последнее включение установлено.*
Как следует из леммы, если lim X i = lim X i = A , то для любой поднаправленности
(Y )
lim Y j = lim Y j = A , т. е. Y j → A((os ) lim ) . Следовательно, соответствие (o ) lim удовле-
j j∈ J
творяет и второму условию Фреше, а значит, является пределом на алгебре множеств. Введённый предел (o ) lim называется порядковым пределом, а определяемая им топология V порядковой топологией. Приведём пример порядково сходящейся направленности. Пусть
( Ax )x∈R
-
+
данная
направленность,
где
1 1⎤ ⎡ Ax = ⎢a − , a + ⎥ ⊆ ℝ, x x⎦ ⎣
x ∈ ℝ+ = {x ∈ ℝ / x > 0} и на ℝ+ выбрано направление ≥ . Тогда lim Ax = lim Ax =
⎡
1
⎡
1⎤
1
1⎤
∩ ∪ ⎢⎣a − x , a + x ⎥⎦ = ∩ ⎢⎣a − t , a + t ⎥⎦ = { a } ,
t ∈R + x ≥ t
t ∈R +
⎡
1
1⎤
∪ ∩ ⎢⎣a − x , a + x ⎥⎦ = ∩ { a } = { a } .
t ∈R +
x≥t
t ∈R +
Следовательно, Ax → { a }((o ) lim ) . (Если на ℝ+ выбрать противоположное
направление
≤ , то получится, что
lim Ax = lim Ax = ℝ.)
Теорема1. Если X i → A ((o ) lim ) , Yi → B ((o ) lim ) и для любого i ∈I
X i ⊆ Yi , то
A⊆ B.
Доказательство. Из определения верхнего и нижнего пределов следует, что для любых направленностей ( X i )i∈I и (Yi )i∈I , если для любого i ∈I
X i ⊆ Yi , то
lim X i ⊆ lim Yi и
lim X i ⊆ lim Yi . А тогда включение A ⊆ B становится очевидным.*
30
Теорема 2. Если X i → A ((o ) lim ) , Yi → B ((o ) lim ) , то
а)
X i ∪ Yi → A ∪ B ((o ) lim );
б)
X i ∩ Yi → A ∩ B ((o ) lim );
в)
′ X i → A′ ((o ) lim ).
Лемма 2. Для любых двух направленностей ( X i )i∈I и (Yi )i∈I lim X i ∪ lim Yi ⊆ lim X i ∪ Yi ⊆ lim X i ∪ Yi = lim X i ∪ lim Yi .
Доказательство. i ∈I
X i ⊆ X i ∪ Yi и Yi ⊆ X i ∪ Yi . Включение lim X i ∪ Yi ⊆ lim X i ∪ Yi справедливо из
общих соображений. i ∈I
Включение lim X i ∪ lim Yi ⊆ lim X i ∪ Yi верно, так как для любого
Включение lim X i ∪ lim Yi ⊆ lim X i ∪ Yi верно, так как для любого
X i ⊆ X i ∪ Yi и Yi ⊆ X i ∪ Yi .
Докажем противоположное включение lim X i ∪ Yi ⊆ lim X i ∪ lim Yi . Пусть a ∈ lim X i ∪ Yi = ∩ j∈I
∪ (X
i
∪ Yi ) .
Тогда для любого j ∈I найдётся такое i ≥ j , что
i≥ j
a ∈ X i ∪ Yi . Пусть J - множество всех тех значений i ∈I , для которых a ∈ X i ∪ Yi . Из оп-
ределения конфинального множества следует, что J конфинально I . Пусть J1 - множество всех i ∈ J , для которых a ∈ X i , а J2 - множество всех i ∈ J , для которых a ∈ Yi . Тогда J1 ∪ J2 = J . Следовательно, J1 или J2 конфинально J . Тогда J1 или J2 конфинально I ,
так как J конфинально I . Если J1 конфинально I , то ( X i )i∈J1 - поднаправленность направленности ( X i )i∈I , причём для любого i ∈ J1
a ∈ X i . Следовательно, a ∈ lim X i . Если
J2 конфинально I , то аналогично a ∈ lim Yi . Таким образом, доказываемое включение уста-
новлено.* Перейдём к доказательству теоремы 2. Если X i → A((o ) lim ) и Yi → B ((o ) lim ) , то применяя лемму, получаем A ∪ B = lim X i ∪ lim Yi ⊆ lim X i ∪ Yi ⊆ lim X i ∪ Yi = lim X i ∪ lim Yi = A ∪ B .
Следовательно, lim X i ∪ Yi = lim X i ∪ Yi = A ∪ B и X i ∪ Yi → A ∪ B ((o ) lim ) . Из определения (o ) сходимости направленности, переходя к дополнениям, легко получа′ ем, что X i → A′ ((o ) lim ) , если X i → A ((o ) lim ) .
31
′ ′ Если X i → A((o ) lim ) и Yi → B ((o ) lim ) , то X i → A′ ((o ) lim ) и Yi → B′ ((o ) lim ) . Тогда ′ ′ X i ∪ Yi → A′ ∪ B′ ((o ) lim ) . Переходя к дополнениям, получаем, что
X i ∩ Yi → A ∩ B ((o ) lim ) .* Теорема 3. Порядковая топология на алгебре множеств хаусдорфово отделима.
Доказательство. Пусть A , B ∈ P , A ≠ B . Пусть точка a ∈ A и a ∉ B . Введём классы
A и B множеств, содержащих точку a и не содержащих точки a соответственно. Заметим, что A и B
(o ) замкнуты,
а следовательно, (o ) открыты, так как A ∪ B = P .
Поскольку
A ∩ B = ∅ и A ∈ A , B ∈ B , то A и B отделимы непересекающимися окрестностями.*
Задачи.
}
1. Пусть X a = { ( x , y ) ∈ ℝ2 / y ≥ ax 2 , где a ∈ ℝ+ = { a ∈ ℝ / a ≥ 0} и (ℝ+, ≥ ). Найти (o ) lim X a . 2. Пусть X a = { ( x , y ) ∈ ℝ2 / xy ≥ a} , где a ∈ ℝ+ = { a ∈ ℝ / a ≥ 0} и (ℝ+, ≤ ). Найти (o ) lim X a . 3. Пусть X α = { ( x , y ) ∈ ℝ2 / y ≥ x
α
}, где α ∈ ℝ
+
= { α ∈ ℝ / α > 0} и (ℝ+, ≥ ).
Найти (o ) lim X α . 4. Доказать согласованность порядкового предела с теоретико-множественными операциями \ и Д . 5. Доказать, что X i → A((o ) lim ) тогда и только тогда, когда X i Д A → ∅ ((o ) lim ) . 6. Пусть X i → A((o ) lim ) . Доказать, что Yi → A((o ) lim ) тогда и только тогда, когда X i ДYi → ∅ ((o ) lim ) .
(Y )
j j∈ J
( X i )i∈I
7. Пусть E - некоторое множество, (I , ≥ ) , ( J , ≥ ) - направленные множества, ( X i )i∈I и - направленности, образованные подмножествами множества E . Пусть направленность мажорирует направленность (Y j ) j∈J , т. е. для любого j ∈ J найдётся такое i0 ∈I , что
для любого i ≥ i0 Y j ⊆ X i . Доказать, что lim Y j ⊆ lim X i .
(Y )
j j∈ J
8. Пусть E - некоторое множество, (I , ≥ ) , ( J , ≥ ) - направленные множества, ( X i )i∈I и - направленности, образованные подмножествами множества E . Пусть направлен-
32
ность ( X i )i∈I минорирует направленность (Y j ) j∈J , т. е. для любого j ∈ J существует такое i0 ∈I , что для любого i ≥ i0 X i ⊆ Y j . Доказать, что lim X i ⊆ lim Y j .
9. Приведите пример (os ) замкнутого множества, не являющегося (o ) замкнутым.
§3. РАВНОМЕРНЫЕ ПРОСТРАНСТВА
1. ОБРАТНОЕ МНОЖЕСТВО, КОМПОЗИЦИЯ МНОЖЕСТВ Пусть E - некоторое множество. В дальнейшем будем рассматривать декартово произведение E × E и его подмножества. Пусть U ⊆ E × E . Каждое такое множество можно рассматривать как соответствие между E и E . Если ( x , y ) ∈ U , то это означает, что x переходит в y при соответствии U , U что можно записать так: x ⎯⎯→ y.
-1
Введём понятие множества, обратного данному. Множество U
называется множест-
вом, обратным множеству U , если оно содержит все те и только те точки ( x , y ) ∈ E × E , для которых ( y , x ) ∈ U . Таким образом, −1
U = {( x , y ) ∈ E × E / ( y , x ) ∈ U } . Например, для множества P = [ a , b ]× [ c , d ], где [ a , b ] , [ c , d
] - числовые отрезки, об-
−1
ратным будет множество P = [ c , d ]× [ a , b ] . Заметим, что для любого множества U
−1 −1
-1
U = U , а следовательно, множества U и U
взаимно обратны. Диагональю декартова произведения E × E называется множество ∆ = { ( x, x ) / x ∈ E } . −1
Множество U называется симметричным (относительно диагонали), если U = U . Заметим, что можно рассматривать операцию
−1
перехода к обратному множеству, по−1
скольку каждому множеству U ⊆ E × E сопоставляется обратное ему множество U . Это унарная операция на классе всех подмножеств множества E × E . Операция
−1
инволютивна. 33
Пусть U ,V ⊆ E × E . Определим композицию U
U
V = { ( x , y ) ∈ E × E / ∃ t ( x , t ) ∈V
V множеств U и V , полагая
, (t , y ) ∈ U
}.
V U Здесь x ⎯⎯→ t ⎯⎯→ y.
Пример. Пусть U = [ a , b ]× [ a , c ] , V = [ a , c ]× [ a , b ] , где [ a , b ] и
[ a , c ] - числовые
V = [ a , c ]× [ a , c ] , поскольку любому x ∈ [ a , c ] соответствует произволь-
отрезки. Тогда U
ное t ∈ [ a , b ] , а значению t ∈ [ a , b ] соответствует произвольное y ∈ [ a , c ] .
V
Аналогично,
U = [ a , b ]× [ a , b ]. 2
3
Введём квадрат U , полагая U = U
2
n −1
n
U . Далее U = U U , …, U = U U , …
}
2
Пример. Пусть U = { ( x , y ) ∈ ℝ2 / x 2 + y 2 ≤ 1 . Тогда U = [ − 1, 1 ]× [ − 1, 1 ] , поскольку произвольному допустимому x соответствует 0 при соответствии U , а 0 переходит в произвольное y ∈ [ − 1, 1 ] . Заметим, что можно рассматривать операцию взятия композиции. Это бинарная операция на классе всех подмножеств множества E × E . Несложно показать, что эта операция ассоциативна. Коммутативной она не является. Задачи. 1. Найти U , если а) U = { ( x , y ) ∈ ℝ2 / x + y ≤ 1 }; -1
}
б) U = { ( x , y ) ∈ ℝ2 / x ≥ y 2 . −1
−1
2. Пусть U ⊆ V . Доказать, что U ⊆ V . 3. Пусть U = { ( x , y ) ∈ ℝ2 / x + y ≤ 1 }. Найти U . 2
}
2
4. Пусть U = { ( x , y ) ∈ ℝ2 / x ≥ y 2 . Найти U . 5. Найти композицию множества U = { ( x , y ) ∈ ℝ2 / x ≥ y 2 6. Пусть U = A × B и V = B × A . Найти U
V иV
(U
7. Доказать, что для любых U ,V , W ⊆ E × E −1
8. Доказать, что для любых V1 и V 2 2
-1
} и ему обратного.
U . V
)
W =U
(V
W ).
-1
V 1 ∩V 2 = V 1 ∩ V 2 . 2
9. Пусть U ⊆ V . Доказать, что U ⊆ V .
34
10. Доказать, что для любого U
−1 2
2 −1
U =U . n
n
11. Пусть U , V ⊆ E × E и U ⊆ V . Доказать, что для любого n ∈ ℕ U ⊆ V . 12. Пусть
V ⊆U
S
S ,U , V ,W ⊆ E × E
и
S ⊆U ,
V ⊆W .
Доказать,
что
W . −1
−1
13. Доказать, что для любого множества A ⊆ E × E , если A ⊆ A , то A = A . 2
14. Привести примеры множеств, удовлетворяющих условию U = U , ∆ ⊆ U . 15. Пусть (A i )i∈I - семейство множеств, где A i ⊆ E , i ∈ I , A i ∩ A j = ∅ , если i ≠ j , ⎛
⎞
⎝ i∈I
⎠
2
U = ⎜⎜ ∪ (A i × A i )⎟⎟ ∪ ∆ . Доказать, что U = U .
2. АКСИОМЫ ОКРЕСТНОСТЕЙ Пусть E - некоторое множество и пусть каждой точке x ∈ E сопоставлен некоторый класс Bx подмножеств множества E , называемых окрестностями точки x , так что выполнены следующие условия.
(V1 )
Для любой окрестности U ∈ Bx и для любого множества V ⊇ U , где V ⊆ E , V ∈ Bx .
(V2 )
Для любых двух окрестностей U ,V ∈ Bx
(V3 )
Для любой окрестности U ∈ Bx x ∈U .
(V4 )
Для любой окрестности W ∈ Bx существует такая окрестность U ∈ Bx , что для любой
точки y ∈U
U ∩V ∈ Bx .
W ∈B y .
Выделенные условия (V1 ) - (V4 ) называются аксиомами окрестностей. Ясно, что класс всех окрестностей, определяемых произвольной топологией, удовлетворяет этим условиям. Верно и обратное. Теорема 1. Для любой системы окрестностей, удовлетворяющей условиям (V1 ) - (V4 ) ,
существует единственная топология, система окрестностей в смысле которой совпадает с исходной. Доказательство. Пусть x ∈ E и W ∈ Bx . Докажем, что существует такое множество
V , что x ∈V ⊆ W , причём V является окрестностью каждой свое точки. Пусть V - мно35
жество всех тех точек y ∈W , для которых W ∈ By . Отметим, что x ∈V , и следовательно,
V ≠ ∅ . Докажем, что V является окрестностью каждой своей точки. Пусть y ∈V . По условию W ∈ By . По аксиоме (V4 ) существует такая окрестность U ∈ By , что для любой точки
W ∈ Bz . Тогда U ⊆ V . Поскольку U ∈ By и U ⊆ V , то V ∈ By .
z ∈U
Итак, для любой точки x ∈ E и для любой её окрестности W существует такое множество U , что x ∈V ⊆ W , причём U
является окрестностью каждой своей точки. Пусть T -
класс всех множеств, каждое из которых является окрестностью любой своей точки. Докажем, что T - топология. Действительно, пустое множество не имеет точки, для которой оно не было бы её окрестностью. Значит, ∅ ∈ T . По аксиоме (V1 )
E - окрестность каждой своей точки. Следова-
тельно, E ∈ T . Пусть (U i )i∈I - семейство множеств класса T . Пусть U = ∪U i . Тогда для любой i∈I
точки x ∈U
найдётся такое U i , что x ∈U i . При этом U i ∈ Bx . Тогда по аксиоме (V1 )
U ∈ Bx . Таким образом, для любого семейства (U i )i∈I , где U i ∈ T , верно, что Пусть U ,V ∈ T . Так как U
(V2 )
иV
∪U
i
∈T .
i∈I
- окрестности каждой своей точки, то по аксиоме
U ∩V - окрестность каждой своей точки. Следовательно, U ∩V ∈ T . Отсюда следует,
что для любого конечного семейства множеств из класса T их пересечение входит в класс T . Итак, введённый класс множеств T - топология на E . Проверим совпадение классов окрестностей в исходном смысле и относительно топологии T .
Пусть x ∈V ∈ Bx .
Тогда по построению существует такое множество U , что
x ∈U ⊆ V , причём U ∈ T . Тогда V
- окрестность точки x относительно топологии T .
Обратно, пусть V - окрестность точки x относительно топологии T . Тогда существует такое множество U ∈ T , что x ∈U ⊆ V . По построению U
- окрестность каждой своей точки, в
частности U ∈ Bx . Тогда по аксиоме (V1 ) V ∈ Bx . Единственность топологии очевидна, поскольку другая топология имела бы другую совокупность открытых множеств, а следовательно, и классов окрестностей.* 3. АКСИОМЫ РАВНОМЕРНОГО ПРОСТРАНСТВА Пусть E - некоторое множество. Непустой класс H
подмножеств декартова произве-
дения E × E называется равномерностью на E , если выполнены следующие условия, называемые аксиомами равномерной структуры. 36
( A1 ) ( A2 ) ( A3 )
Для любого V ∈ H
( A4 )
Для любого V ∈ H
V ∈H .
( A5 )
Для любого V ∈ H
найдётся такое W ∈ H , что W ⊆ V .
Для любого U ∈ H и для любого V ⊇ U , где V ⊆ E × E , V ∈ H . Для любых U ,V ∈ H
U ∩V ∈ H . ∆ ⊆ V , где ∆ = { ( x , x )∈ E × E / x ∈ E } .
−1
2
Множество E вместе с равномерностью H для него (равномерной структурой H ), т. е. пара
(E , H ) , называется равномерным пространством.
Множества U ,V , W ∈ H
на-
зываются окружениями равномерности H (окружениями равномерной структуры). Задачи. 1. Пусть V 2
3
-
окружение
некоторой
равномерности
H .
Доказать,
что
n
V ⊆V ⊆V ⊆ … ⊆V ⊆ …. 2. Пусть W
- окружение некоторой равномерности H . Доказать, что для любого n
n ∈ ℕ найдется такое окружение V ∈ H , что V ⊆ W . −1
2
3. Пусть ∆ ⊆ V и V = V . Можно ли утверждать, что V = V ? 2
4. Пусть ∆ ⊆ V
и V = V . Построить минимальную равномерность, содержащую
5. Пусть (U i )i∈I
- некоторое семейство множеств таких, что для любого i ∈ I
V . ∆ ⊆ U i ⊆ E × E . При каких условиях существует минимальная равномерность, содержащая
все множества данного семейства?
37
4. ФУНДАМЕНТАЛЬНАЯ СИСТЕМА ОКРУЖЕНИЙ Пусть (E , H
) - некоторое равномерное пространство.
Введём понятие фундаменталь-
ной системы окружений – основы равномерности H . Подмножество B ⊆ H
называется фундаментальной системой окружений равномер-
ности H , если для любого окружения V ∈ H
найдётся такое окружение U ∈ B , что
U ⊆V . Отметим, что фундаментальная система окружений B обладает следующими свойствами.
(B1 )
Для любых окружений U , W ∈ B
найдётся такое окружение U ∈ B , что
U ⊆V ∩W .
(B2 )
Для любого V ∈ B
(B3 )
Для любого W ∈ B найдётся такое V ∈ B , что V ⊆ W .
(B4 )
Для любого W ∈ B найдётся такое U ∈ B , что U ⊆ W .
∆ ⊆V . −1
2
Свойства (B1 ) - (B3 ) очевидны. Докажем (B4 ) . Пусть W ∈ B . Тогда найдётся такое 2
окружение V ∈ H , что V ⊆ W .
Далее для окружения V ∈ H 2
2
найдётся окружение
2
U ∈ B такое, что U ⊆ V . Тогда U ⊆ V и U ⊆ W , где U ∈ B . Верно и обратное. Теорема. Всякая система множеств, содержащихся в E × E , удовлетворяющая услови-
ям (B1 ) - (B4 ) , является фундаментальной системой окружений некоторой равномерной структуры. Доказательство. Пусть совокупность множеств B удовлетворяет условиям (B1 ) - (B4 ) . Пусть H - класс всех множеств, содержащихся в E × E , каждое из которых содержит некоторое множество класса B . Докажем, что H - равномерность. Очевидно, что класс H удовлетворяет условиям ( A1 ) - ( A3 ) . Покажем, что класс H
удовлетворяет условию ( A4 ) . Пусть W ∈ H . Тогда найдётся
такое окружение V ∈ B , что V ⊆ W . По аксиоме (B3 ) для окружения V ∈ B найдётся −1
-1
−1
−1
такое окружение U ∈ B , что U ⊆ V . Поскольку V ⊆ W (так как V ⊆ W ), то U ⊆ W , −1
где U ∈ B . Следовательно, W ∈ H
и условие ( A4 ) выполняется. 38
Покажем, что класс H
удовлетворяет условию ( A5 ) . Пусть W ∈ H . Тогда найдётся
такое окружение V ∈ B , что V ⊆ W . 2
По аксиоме (B4 ) найдётся такое U ∈ B , что
2
U ⊆ V . Тогда U ⊆ W , где U ∈ H , (поскольку B ⊆ H ) и условие ( A5 ) выполнено. Следовательно, H - равномерность, причём B - её фундаментальная система окружений.* Задачи. 1. Доказать, что совокупность всех симметричных окружений произвольной равномерности образует фундаментальную систему окружений этой равномерности. 2. Могут ли различные равномерности определять одну и ту же топологию? 3. Для аддитивной равномерной структуры найти а) слабейшую равномерность, определяющую обычную топологию на действительной прямой; б) сильнейшую равномерность, определяющую обычную топологию на действительной прямой. 4. Пусть B - фундаментальная система окружений равномерности H
на E . Дока-
зать, что для любой точки x 0 ∈ E класс сечений V x окружений V ∈ B является фундамен0
тальной системой окрестностей точки x 0 .
5. АДДИТИВНАЯ РАВНОМЕРНАЯ СТРУКТУРА Приведём пример равномерной структуры на ℝ. Рассмотрим класс B всех множеств плоскости ℝ × ℝ, определяемых равенствами U = { ( x , y ) ∈ ℝ × ℝ / x − y < r }, где r - произвольное положительное число, а также класс H всех множеств плоскости ℝ × ℝ, каждое из которых содержит некоторое множество из класса B . Несложно показать, что класс B удовлетворяет условиям (B1 ) - (B4 ) , т. е. является фундаментальной системой окружений, а класс H - равномерность, определяемая этой фундаментальной системой. Эта равномерность на ℝ называется аддитивной равномерной структурой. Задача. Привести пример счётной фундаментальной системы окружений аддитивной равномерной структуры.
39
6. РАВНОМЕРНАЯ ТОПОЛОГИЯ Любая равномерность на E определяет на этом множестве топологию. Пусть (E , H элементом x
) - равномерное пространство, U ∈ H , x ∈ E . Сечением окружения U называется множество V x = {y ∈ E / ( x , y ) ∈V } . Отметим, что y ∈V x тогда и
только тогда, когда ( x , y ) ∈V . Пусть Bx - класс сечений всевозможных окружений V ∈ H
элементом x . Сечение
V x назовём окрестностью элемента x . Таким образом, каждому элементу x ∈ E сопоставляется класс окрестностей Bx . Теорема 1. Существует единственная топология, система окрестностей относительно
которой совпадает с введённой системой окрестностей, определяемых как сечения окружений равномерной структуры. Доказательство. Покажем, что классы множеств Bx удовлетворяют аксиомам окрестностей. Пусть x ∈ E , V ∈ Bx и W x ⊇ V x , где W x ⊆ E , V ∈ H . (Предположения, что W x сечение некоторого окружения не делается.) Введём
окружение
U = V ∪ { ( x , y )∈ E × E / y ∈ W x } .
Тогда
U x = V x ∪ W x = W x , так как W x ⊇ V x . (Здесь используется равенство (V ∪ W
его
)x
сечение
=V x ∪W x ,
где V , W ⊆ E × E .) Так как U ∈ H , то W x = U x ∈ Bx . Таким образом, для любой окрестности V x и для любого содержащего эту окрестность множества W x множество W x входит в класс Bx . Пусть V x , W x ∈ Bx , где V , W ∈ H . Тогда V x ∩ W x = (V ∩ W
) x ∈ Bx . Таким обра-
зом, пересечение любых двух окрестностей точки является окрестностью этой точки. Несложно заметить, что для любой окрестности V x ∈ Bx любой окрестности V диагональ ∆ ⊆ V , а значит, ( x , x ) ∈V
x ∈V x . Действительно, для
и x ∈V x . Таким образом, лю-
бая окрестность из класса Bx содержит точку x . Докажем, что для любой окрестности W x ∈ Bx , где W ∈ H , существует такая окрестность V x ∈ Bx , что для любой точки y ∈V x
( A5 )
W x ∈ By . Итак, пусть W ∈ H . По аксиоме 2
существует такое окружение V ∈ H , что V ⊆ W . Докажем, что для любой точки
y ∈V x
W x ∈ By , для чего установим, что V y ⊆ W x . Действительно, пусть z ∈V y . Тогда 40
( y , z ) ∈V 2
( x , z ) ∈V
.
Так как y ∈V x , то
( x , y ) ∈V
.
Поскольку
( x , y ) ∈V
и
( y , z ) ∈V
, то
⊆ W . Следовательно, z ∈ W x и V y ⊆ W x . Так как, V y ∈ By и V y ⊆ W x , то по ак-
сиоме ( A1 ) W x ∈ By . Таким образом, совокупность всех окрестностей классов Bx удовлетворяет аксиомам окрестностей. Следовательно, существует единственная топология, определяющая ту же самую систему окрестностей (теорема 1, п.2). Эта топология называется равномерной топологией. Вопрос. Всякая ли топология равномерная? Задачи. 1. Доказать, что хаусдорфово отделимая равномерная топология регулярна. 2. Привести пример несравнимых равномерностей на E .
7. РАВНОМЕРНО НЕПРЕРЫВНЫЕ ОТОБРАЖЕНИЯ Пусть (D , H D ) и (E , H E ) - равномерные пространства, и f : D → E - отображение множества D в E . Отображение f : D → E называется равномерно непрерывным на множестве D , если для любого окружения W ∈ H E найдётся такое окружение V ∈ H D , что для любой точки
( x ′ , x ′′) ∈V
точка ( f ( x ′) , f ( x ′′)) ∈ W .
Теорема 1. Если отображение f : D → E равномерно непрерывно на D , то f непре-
рывно в каждой точке множества D относительно равномерных топологий на множествах D и E.
Доказательство. Пусть отображение f : D → E равномерно непрерывно на D и x 0 ∈ D . Докажем, что отображение f непрерывно в точке x 0 . Воспользуемся определением непрерывности отображения в точке. Пусть W f ( x0 ) - некоторая окрестность точки f ( x 0 ) , где W ∈ H E . Здесь W f ( x0 ) - сечение окружения W элементом f ( x 0 ) . Так как отображение f равномерно непрерывно, то для окружения W
( x ′ , x ′′) ∈V окружения V
найдётся такое окружение V , что для любой точки
будет ( f ( x ′) , f ( x ′′)) ∈ W . Рассмотрим окрестность V x0 точки x 0 , взяв сечение элементом
x0 .
Пусть
x ∈V x0 . Тогда
( x 0 , x ) ∈V
, а, следовательно, 41
( f ( x 0 ) , f ( x )) ∈ W
и f ( x 0 ) ∈ W f ( x0 ) , что и означает непрерывность отображения f в точке
x 0 .*
Задача. Доказать, что композиция равномерно непрерывных отображений равномерно непрерывна.
8. ФУНДАМЕНТАЛЬНЫЕ НАПРАВЛЕННОСТИ Пусть (E , H
) - равномерное пространство и ( x i )i∈I
- направленность со значениями в
множестве E , (I , ≥ ) - направленное множество. Направленность
W ∈H
(x
i
( x i )i∈I
называется фундаментальной, если для любого окружения
найдется такое i0 ∈I , что для любых i , j ∈ I , как только i ≥ i 0 и j ≥ i 0 , так
, x j )∈W .
Ясно, что это определение обобщает определение фундаментальной последовательности. Теорема 1. Любая сходящаяся направленность фундаментальна.
Доказательство. Пусть ( x i )i∈I - сходящаяся направленность, x i → a ((T ) lim ) , где T равномерная топология, определяемая равномерностью H . Пусть W ∈ H . По аксиоме
( A5 ) найдется такое окружение V ружение V
2
∈ H , что V ⊆ W . При этом можно предполагать, что ок−1
симметрично, иначе рассмотрим симметричное окружение V ∩V . Так как на-
правленность ( x i )i∈I сходится к точке a , то найдется такое i 0 , что для любого i ≥ i 0 x i ∈V a , где V a - сечение окружения V
элементом a . Тогда, если i ≥ i 0 и j ≥ i 0 , то x i ∈V a и
x j ∈V a . Следовательно, (a , x i ) ∈V
и (a , x j ) ∈V . Так как по предположению окружение
V симметрично, то ( x i , a ) ∈V , а тогда (x i , x j ) ∈V ⊆ W .* 2
Теорема 2. Если фундаментальная направленность имеет поднаправленность, сходя-
щуюся к некоторому элементу, то и исходная направленность сходится к этому элементу.
Доказательство. Пусть направленность ( x i )i∈I фундаментальна и ( y j ) j∈ J ее сходящаяся
поднаправленность, y j → a ((T ) lim ) . Пусть W ∈ H . По аксиоме ( A5 ) найдется такое окру2
жение V , что V ⊆ W . Так как направленность ( x i )i∈I фундаментальна, то по окружению 42
V найдется такое i 0 , что для любых i ′ , i ≥ i 0
( x i′ , x i ) ∈V
. Так как ( y j ) j∈ J - поднаправлен-
ность направленности ( x i )i∈I , то существует такое допустимое отображение ва J в I , что для любого j ∈ J
(i ) j
j∈ J
множест-
y j = x i j . Так как отображение ( i j ) j∈ J допустимо, то для
найденного ранее i 0 найдется такое j1 , что для любого j ≥ j1 i j ≥ i 0 . Так как направленность
(y ) j
j∈ J
сходится к a , то для окрестности V a элемента a , где V a - сечение окружения V эле-
ментом a , найдется такое j 2 , что для любого j ≥ j 2 ное множество, то для найденных
y j ∈V a . Так как
любого i ≥ i 0
j′
) - направлен-
( x i′ , x i ) ∈V
x i ′ = x i j ′ = y j′ , причем j ′ ≥ j 2 , то y j′ ∈V a , а значит, (a , y j′ ) ∈V .
(a , y )∈V
,≥
j1 и j 2 существует такое j 0 , что j 0 ≥ j1 и j 0 ≥ j 2 . Пусть
j ′ ≥ j 0 и i j′ = i ′ . Тогда i ′ ≥ i 0 , а следовательно, для любого i ≥ i 0
( x i′ , x i ) ∈V
(J
.
Поскольку
Тогда из соотношений
и x i ′ = y j′ , следует, что (a , x i ) ∈ W , где i ≥ i 0 . Таким образом, для
x i ∈ W a , что и означает сходимость направленности ( x i )i∈I к a .*
43
ЛИТЕРАТУРА
1. Бурбаки Н. Общая топология. Основные структуры. М.: Наука, 1969. 2. Бурбаки Н. Общая топология. Топологические группы. Числа и связанные с ними группы и пространства. М.: Наука, 1969. 3. Келли Дж. Общая топология. М.: Наука, 1968. 4. Сикорский Р. Булевы алгебры. М.: Мир, 1969. 5. Владимиров Д.А. Булевы алгебры. М.: Наука, 1969. 6. Дьедонне Ж. Основы современного анализа. М.: Мир, 1964. 7. Савельев Л.Я. Лекции по математическому анализу. Приложение «Непрерывные меры». Новосибирск, 1975. 8. Лаврентьев М.М., Савельев Л.Я. Топология операторов и некорректные задачи. Новосибирск, 1999.
44