X - Сибирский государственный индустриальный университет

реклама
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«Сибирский государственный индустриальный университет»
Кафедра высшей математики
Элементы топологии и функционального анализа
Методические указания для практических занятий
Новокузнецк
2014
УДК 515.1(07)
Э 456
Рецензент
Доктор физико-математических наук,
профессор, зав. кафедрой физики имени
профессора В.М.Финкеля СибГИУ
В.Е.Громов
Э456 Элементы топологии и функционального анализа: метод. указ. /
Сиб. гос. индустр. ун-т; сост.: С.А.Лактионов. – Новокузнецк : Изд.
центр СибГИУ, 2014. – 11 с.
В работе приведены краткие теоретические сведения по теме
«Элементы топологии и функционального анализа», разобраны примеры решения задач и даны задания для самостоятельной работы по
этой теме.
Предназначены для практических занятий по теме «Элементы топологии и функционального анализа» для всех направлений подготовки, включающих изучение дисциплины «Математика».
Печатается по решению Совета
Института фундаментального образования
1. Элементы топологии
1.1. Теоретические сведения
Пусть X – некоторое множество. Рассмотрим набор B его подмножеств, для которого выполняются условия:
(1) объединение любого числа множеств, принадлежащих B ,
также принадлежит B ;
(2) пересечение любого конечного числа множеств, принадлежащих совокупности B , также принадлежит B ;
(3) пустое множество принадлежит B ;
(4) само множество X принадлежит B .
Если условия 1)-4) выполнены, то говорят
а) совокупность подмножеств B есть топологическая структура или топология в множестве X ;
б) множество X вместе с выделенной топологической структурой B , то есть пара (X , B) , называется топологическим пространством;
в) элементы множества X называются точками этого топологического пространства;
г) элементы совокупности B , то есть подмножества X , принадлежащие B , называются открытыми множествами топологического
пространства X , B .
Условия 1)-4), наложенные на совокупность подмножеств B ,
называются аксиомами топологического пространства.
Пример 1. Дискретным топологическим пространством называется
пространство, в котором B является совокупностью всех подмножеств множества X .
Пример 2. Антидискретным топологическим пространством называется пространство, в котором B является совокупностью множества
X и пустого множества .
Пример 3. Вещественная прямая X
– множество всех вещественных чисел, B – совокупность всех интервалов a;b и любых
объединений этих интервалов. Такая топология называется стандартной или канонической на вещественной прямой.
Множество F
X называется замкнутым, если его дополнение X \ F открытое множество, то есть X \ F B .
Из определения замкнутых множеств вытекает, что
1) пересечение любого числа замкнутых множеств замкнуто;
2) объединение любого конечного числа замкнутых множеств
замкнуто;
3) пустое множество и все пространство замкнуты.
Кроме открытых и замкнутых множеств в топологическом пространстве существуют множества, которые и не открытые и не замкнутые.
Например, полуоткрытый интервал 0;1 на вещественной прямой
с канонической топологией не открыт и не замкнут в , так
как и он и его дополнение \ 0;1
не является
;0
1;
открытым интервалом вида a;b или объединением конечного числа
открытых интервалов. Но 0;1 представим как объединение бесконечного числа замкнутых отрезков 0;1
0;1
n 2
1
и как пересеn
1
;1 .
n
n 2
Окрестностью точки топологического пространства называется
любое открытое множество, содержащее эту точку.
Точка b X называется внутренней точкой множества A X ,
если у нее имеется окрестность, принадлежащая A .
Точка b X называется внешней точкой множества A X ,
если у нее имеется окрестность, не пересекающаяся с A .
Точка b X называется граничной точкой множества A X ,
если у нее каждая окрестность пересекается с A и его дополнением.
Границей множества A называется множество всех его граничных точек.
Внутренностью множества A называется наибольшее (по
включению) открытое множество, содержащееся в нем. Обозначается
Int A
чение бесконечного числа открытых интервалов 0;1
Внешностью множества называется наибольшее не пересекающееся с ним открытое множество, то есть Int X \ A .
Замыканием множества A называется наименьшее (по включению) содержащее его замкнутое множество.
Отображение
топологического пространства
f :X
Y
X ; BX
на топологическое пространство Y ; BY
называется непре-
рывным в точке x X , если для любой окрестности V точки
y
f x
Y существует окрестность U точки x X , такая, что
f U
V.
Отображение
топологического пространства
f :X
Y
X ; BX на топологическое пространство Y ; BY называется непре-
рывным, если оно непрерывно в каждой точке.
Отображение f : X
Y называется гомеоморфизмом, если
оно непрерывно и существует обратное отображение f 1 : Y
X,
которое тоже непрерывно.
Два топологических пространства называются гомеоморфными,
если существует гомеоморфизм f : X
Y.
Гомеоморфные отображения фигур – это непрерывные растяжения или сжатия без разрывов. Например, квадрат гомеоморфен кругу,
поверхность куба гомеоморфна сфере. Это означает, что с точки зрения топологии эти фигуры эквивалентны.
1.2. Примеры
Пример 1. Пусть X есть плоскость с заданной на ней декартовой системой координат. Определяет ли топологическую структуру набор
множеств B , состоящих из , X и открытых кругов с центром в
начале координат и всевозможными радиусами?
Решение. Нет, не определяет, так как пересечение двух множеств из
B , не совпадающих с и X не принадлежит B .
Ответ: не определяет.
Пример 2. Пусть X
. Показать, что система подмножеств
0;
B
, X,
a,
|a
0
определяет топологию на X .
Решение. Аксиомы 3 и 4 выполнены. Проверим аксиому 2. Если взять
пересечение конечного числа интервалов вида an ;
, an
0 , то
всегда среди конечного числа чисел an
a
max an ,
которое
n
и
будет
найдется наибольшее
определять
интервал
n
a;
ai ;
, принадлежащий B . Осталось проверить ак-
i 1
сиому 1. Если взять объединение бесконечного числа интервалов вида
an ;
, an
0 , то это объединение является интервалом вида
a;
, где a
inf an .
n
Топологическое пространство
B
, X,
a,
|a
0
X , B , где X
, а
называется стрелкой.
Пример 3. Найти внешность множества M
пространстве X
0;
a,b с топологией T
a
в топологическом
, a , a,b
Решение. Наибольшим, не пересекающимся с M
a открытым
множеством является пустое множество, поэтому оно и является
a .
внешностью множества M
Ответ: пустое множество .
Пример 4. Показать, что пространственные фигуры, заданные на рисунке 1, гомеоморфны между собой.
Рисунок 1 – Фигуры к примеру 4.
Решение. Чтобы показать гомеоморфность этих фигур, нужно представить непрерывное преобразование одной фигуры в другую в виде
растяжений и сжатий без разрывов. Такое преобразование представлено на рисунке 2.
Рисунок 2 – Гомеоморфное преобразование к примеру 4.
1.3. Задачи для самостоятельного решения
1. Пусть X состоит из четырех элементов: X
a, b, c, d . Выясни-
те, какие из следующих трех наборов его подмножеств являются топологическими структурами в X .
а) , X , a , b , a, c , a,b, c , a,b ;
б)
, X , a , b , a,b , b, d ;
в)
, X , a, c, d , b, c, d ;
2. Проверить аксиомы топологии для указанных систем подмножеств
a,b . Указать, какие из этих систем определяют томножестве X
пологическую структуру на X
а)
б)
, a , b , a,b ;
a , a,b ;
в)
, a
г)
, a , b
3. Найти внешность множества M
странстве X
a,b с топологией T
b
.
в топологическом про-
, a , a,b
.
4. Определить границу множества M
b
странстве X
, a , a,b
a,b с топологией T
5. Найти внутренность множества M
странстве X
a,b с топологией T
a
в топологическом про-
в топологическом про-
, a , a,b
6. Найти внутренность множества M
b
странстве X
, a , a,b
a,b с топологией T
.
.
в топологическом про.
7. Какая из фигур является гомеоморфной к тору
а) «кружка с ручкой»;
б) сфера;
в) «крендель»;
г) куб.
Ответы:
1) а) является; б) не является; в) не является;
2) а) определяет; б), в), г) не определяет;
3) множество a ;
4) множество b ;
5) множество a ;
6) пустое множество ;
7) гомеоморфной к тору является «кружка с ручкой».
2. Элементы функционального анализа
2.1. Теоретические сведения
Пусть X произвольное множество. Функция
:X X
R
x R |x
0
называется метрикой (или расстоянием) в множестве X , если выполняются три условия
0 , тогда и только тогда, когда x
1) x, y
y (аксиома
тождества);
y, x для любых x, y X (аксиома симметрии);
2) x, y
3) x, y
x, z
z, y для любых x, y, z X
(аксиома треугольника).
Пара X ,
называется метрическим пространством. Условия
1-3 называются аксиомами метрического пространства.
Примерами метрических пространств являются
1) Множество R вещественных чисел с метрикой
x, y
x y . (Стандартная метрика)
2) Множество R вещественных чисел с метрикой
x, y
arctg x arctg y .
3) Множество R вещественных чисел с метрикой
x y
x, y
.
1 x y
4) Множество Q рациональных чисел с метрикой
x, y
x y .
5) Арифметическое пространство Rn с метрикой
n
x,y
xi
yi
2
.
i 1
6) M – множество матриц. Функция f : M
n
по формуле
M
R , определяемая
n
A, B
| bij
aij | , задает метрику на множе-
i 1j 1
стве матриц.
7) C a;b – множество непрерывных функций на отрезке a;b . Функция
f ,g
max | f t
a t b
g t | задает метрику на этом множестве.
8) C a;b – множество непрерывных функций на отрезке a;b . Функb
ция
f ,g
|f t
a
g t |dt задает метрику на этом множестве.
9) Пусть C a;b – множество непрерывных функций на отрезке a;b .
b
Функция
f ,g
f t
g t
2
dt задает метрику на этом
a
множестве.
Функция x, y называется расстоянием между точками x и y
метрического пространства.
Биективное отображение f метрического пространства X ,
на метрическое пространство Y , r называется изометрией или изометрическим отображением, если для x1, x 2
X
x1, x2
r f x1 , f x 2 .
Изометрия на множестве метрических пространств является отношением эквивалентности
Открытым шаром с центром в точке x 0 и радиусом r называется множество точек x метрического пространства, находящихся от
точки x 0 на расстоянии меньше r .
Открытым множеством в метрическом пространстве называется такое множество каждая точка которого принадлежит этому множеству вместе с некоторым открытым шаром с центром в этой точке.
Задание метрики на множестве определяет на этом множестве
топологию. Открытыми множествами такой топологии являются открытые множества метрического пространства. Такая топология
называется индуцированной топологией.
Наоборот, если с заданной топологией можно связать некоторую
метрику, так, чтобы топология являлась индуцированной, то топологическое пространство называется метризуемым.
Ограниченным множеством называется такое множество, которое можно поместить в некоторый открытый шар с центром в точке
x 0 и радиусом r .
Расстоянием от точки до ограниченного множества называется точная нижняя грань расстояний между этой точкой и точками
данного множества.
Расстоянием между ограниченными множествами называется
точная нижняя грань расстояний между точками одного и точками
другого множества.
2.2. Примеры.
Пример 1. Показать, что для любого множества X функция
0, x
y;
:X X
R :
x, y
1, x
y
является метрикой.
Решение. Выполнение аксиом тождества и симметрии непосредственно следует из задания метрики. Проверим аксиому треугольника
x, y
x, z
z, y .
Если x
y , то слева будет 0 и неравенство выполняется при любых
z . Если x
y , то либо x
z , либо y z , потому слева будет 1, а
справа 1 или 2, то есть неравенство тоже выполняется.
Пример 2. В пространстве R2 определена функция f : R2 R2
R
f x,y
max | x 2
x1 |,| y2
y1 | , где x
x1; y1 , а y
x 2 ; y2 .
Проверить определяет ли эта функция метрику в пространстве R2 .
Решение. Проверим выполнение аксиом метрического пространства
1) Аксиома тождества.
Очевидно, что f x , y
max | x 2 x1 |,| y2 y1 |
0 тогда и
только тогда, когда x1
x 2 и y1 y2 , то есть только в случае, когда
x
y , то есть аксиома тождества выполнена.
2) Аксиома симметрии.
Так как
max | x 2 x1 |,| y2 y1 |
max | x1 x 2 |,| y1 y2 | , то
f x,y
f y , x и аксиома симметрии выполнена.
3) Аксиома треугольника.
Пусть z
x 3 ; y3 . Так как
| x2
x1 | | x 2
x3
x3
x1 | | x 3
| y2
y1 | | y2
y3
y3
y1 | | y3
x1 |
| x2
x1 |
и
y1 |
| y2
y1 | ,
то
max | x 2
x1 |,| y2
y1 |
max | x 3 x1 | | x 2 x1 |,| y3 y1 | | y2 y1 |
max | x 3 x1 |,| y3 y1 |
max | x 2 x1 |,| y2 y1 | .
Аксиома треугольника выполнена.
Ответ: все аксиомы выполнены, следовательно данная функция определяет метрику в R2 .
Пример 3. Найти расстояние между функциями f x
cos x x 2 и
g x
x2
функций,
f ,g
2 пространства всех непрерывных действительных
определенных
max
2
x 2
|f x
на
2 ;2
отрезке
с
метрикой
g x |.
Решение. Подставляем выражения для функций в формулу
f,g
max | cos x x 2 x 2 2 |
max | cos x
2
x 2
2
Так как на отрезке
1 cos x 1, то
f ,g
max | cos x
2
x 2
2 ;2
2|
выполняются
max
2
x 2
x 2
|2
cos x |
2 |.
неравенства
3.
Ответ:
f,g
3.
2.3. Задачи для самостоятельного решения.
1. Каким аксиомам метрического пространства не удовлетворяет
x 2 x1 , где x1, x 2 – действительные числа?
функция f x1, x 2
2. Пусть A1
верить
f A1, A2
x 2, y2 – точки пространства R2 . Прометрики
для
функции
x1, y1 и A2
аксиомы
| x2
x1 |4
| y2
y1 |4 ,
заданной для точек этого пространства.
3. Найти расстояние между матрицами
1
2 4
5
0
2
3
A
7 2
1 0
5 2
n
в метрике
2
1
2
3
3
иB
1
3
4
0
2
1
1
3
0
2
0
1
1
5
n
A, B
| bij
aij | .
i 1j 1
Ответы:
1) эта функция не является отображением на R , поэтому не может
служить метрикой;
2) аксиомы тождества и симметрии выполняются, аксиома треугольника не выполняется. Например, для точек A1 0;0 , A2 0;2 , A3 0;1
по формуле f A1, A2
f A1, A2
4 , f A1, A3
f A1, A2
f A1, A3
4
3)
| x2
x1 |4
1 , f A2, A3
| y2
y1 |4 получаем
1 , но тогда
f A2, A3 ;
4
A, B
| bij
aij |
43 .
i 1j 1
Библиографический список
1. Федорчук В.В., Филиппов В.В. Общая топология. Основные
конструкции: Учебное пособие. М.: ФИЗМАТЛИТ, 2006. –336 с.
2. Виро О.Я., Иванов О.А., Нецветаев Н.Ю., Харламов В.М.
Элементарная топология. М.: 2010. – 441 с.
3. Богачев В. И., Смолянов О. Г. Действительный и функциональный анализ. М.: РХД, 2009. – 724 с.
4. Гуревич А.П., Корнев В.В., Хромов А.П. Сборник задач по
функциональному анализу. Лань, 2012. – 192 с.
Учебное издание
Составитель
Лактионов Сергей Андреевич
Элементы топологии и функционального анализа
Методические указания для практических занятий
Напечатано в полном соответствии с авторским оригиналом
Подписано в печать 03.03.14
Формат бумаги 60 84 1/16. Бумага писчая. Печать офсетная.
Усл.-печ.л.0,72. Уч.-изд. л. 0,81.Тираж 50 экз. Заказ
Сибирский государственный индустриальный университет
654007, г. Новокузнецк, ул. Кирова, 42
Издательский центр СибГИУ
Скачать