∑КОЛЛОК.
Тренажёр по матанализу
ТЕМА 45 / 55 · ПУНКТ 46 10–15 минут

Топологическое пространство

Сначала пойми идею. Затем попробуй рассказать доказательство своими словами и закрепи результат задачей.

Что означают буквы и значки12 обозначений

Здесь — обозначения, которые встретятся в этой теме. Точный смысл буквы уточняй по формуле рядом с ней.

xx
Произвольный элемент множества или число, с которым работаем.
rr
Радиус шара или окрестности.
EE
Множество вещественных чисел, которое изучаем.
FF
Замкнутое множество: оно содержит все свои предельные точки.
UU
Универсальное множество: все объекты, среди которых берём дополнение.
XX
Множество исходных элементов; для функции — её область определения.
R\R
Множество вещественных чисел: все точки числовой прямой.
τ\tau
Топология: семейство всех открытых множеств пространства.
∈\in
«Принадлежит»: элемент находится в указанном множестве.
⊆\subseteq
«Содержится»: каждый элемент первого множества лежит и во втором.
∖\setminus
Разность: элементы первого множества, которых нет во втором.
∅\varnothing
Пустое множество: в нём нет ни одного элемента.
ШАГ 01

Разбираемся в теме

  • Топология τ\tau на XX — набор открытых подмножеств, который содержит ∅\varnothing и XX, замкнут относительно произвольных объединений и конечных пересечений.
  • Пара (X,τ)(X,\tau) — топологическое пространство.
  • Множество FF замкнуто, если X∖FX\setminus F открыто.
  • Точка xx внутренняя для EE, если существует открытое UU с x∈U⊆Ex\in U\subseteq E.
  • Граничная — если каждая её окрестность встречает и EE, и X∖EX\setminus E.

Обычная топология R\R состоит из объединений открытых интервалов.

В дискретной топологии открыто любое подмножество.

РАЗБЕРИ ПО РИСУНКУ

Пересечение открытых множеств остаётся открытым

xUVBmin(r₁,r₂)(x) ⊂ U ∩ V
У точки x есть маленькие окрестности внутри U и V. Берём меньший из двух радиусов.
ДЛЯ УСТНОГО ОТВЕТА

Доказательство

  1. Почему пересечение двух открытых множеств открыто в метрическом пространстве?
  2. Для точки xx из пересечения найдутся радиусы r1,r2>0r_1,r_2>0, чьи шары лежат в каждом множестве.
  3. Шар радиуса min⁡(r1,r2)\min(r_1,r_2) лежит в пересечении.
Понял идею?Проверь себя на задаче или устном вопросе.