1.4

Компактность

[7/100%]
Показать
LaTeX
Задача 1.4.1

Множество AA метрического пространства называется ограниченным, если оно содержится в некотором шаре B(x,r)B(x, r). Покажите, что подмножество метрического пространства, являющееся компактным, обязательно ограничено.

?
Задача 1.4.2

Покажите, что конечное объединение компактных множеств компактно.

?
Задача 1.4.3

Определите, являются ли следующие подмножества R\mathbb {R} компактными:

?
(a)

A={1/n:n∈N}A = \left\{ 1/n : n \in \mathbb {N}\right\};

(b)

B={0}∪AB = \left\{ 0\right\} \cup A;

(c)

(0,1](0, 1].

Задача 1.4.4

Топологическое пространство XX называется хаусдорфовым, если для любых x,y∈Xx, y \in X найдутся непересекающиеся открытые множества Ux,UyU_x, U_y с x∈Uxx \in U_x, y∈Uyy \in U_y.

Покажите, что в хаусдорфовом пространстве компактные множества замкнуты.

?
Примечание.
?

В общем топологическом пространстве множество UU открыто, если для любого x∈Ux \in U найдётся открытое множество U(x)U(x) с x∈U(x)⊂Ux \in U(x) \subset U; в этом случае UU можно записать как объединение множеств U(x)U(x) по всем точкам xx множества UU, а объединение открытых множеств открыто. Используя этот критерий открытости множества, доказательство из метрического случая можно видоизменить для доказательства утверждения.

Задача 1.4.5

Рассмотрим функцию f:[0,1)→S1f : [0, 1) \to S^1, заданную формулой f(x)=(cos⁡2πx,sin⁡2πx)f(x) = (\cos 2\pi x, \sin 2\pi x).

Покажите, что ff является биекцией, непрерывной, но не являющейся гомеоморфизмом.

?
Примечание.
?

Рассмотрите открытое множество (0,12)⊂[0,1)(0, \tfrac {1}{2}) \subset [0, 1) и его образ.

Задача 1.4.6

Аналогично определению точной верхней грани определяется понятие точной нижней грани. Дайте определение точной нижней грани для множества A⊂RA \subset \mathbb {R} и, используя свойство точной верхней грани, покажите, что множество, ограниченное снизу, обязательно имеет точную нижнюю грань.

?
Задача 1.4.7

Приведите пример замкнутого ограниченного подмножества AA метрического пространства XX, не являющегося компактным.

?
Примечание.
?

Рассмотрите само метрическое пространство XX как ограниченное некомпактное подмножество R\mathbb {R}, положив A=XA = X.