4.1

Топология пространства R[n]\reals[n]

[28/93%]
Показать
LaTeX
Задача 4.1.1

Пусть SS — подмножество R\mathbb {R}. Пусть CC — множество точек xx из R\mathbb {R}, обладающих тем свойством, что S(xδ,x+δ)S \cap (x-\delta , x+\delta ) несчётно при любом δ>0\delta > 0. Докажите, что SCS \setminus C конечно или счётно.

?
Задача 4.1.2

Пусть ARA \subseteq \mathbb {R} несчётно.

?
(1)

Покажите, что AA имеет хотя бы одну предельную точку.

(2)

Покажите, что AA имеет несчётно много предельных точек.

Задача 4.1.3

Пусть {x(i,j)i,jN}\left\{ x(i,j) \mid i, j \in \mathbb {N}\right\} — дважды индексированное множество в полном метрическом пространстве (X,ρ)(X, \rho ) такое, что

ρ(x(i,j),x(k,))min{max{1i,1k},max{1j,1}}. \rho (x(i,j), x(k,\ell )) \leq \min \left\{ \max \left\{ \frac{1}{i}, \frac{1}{k}\right\} , \max \left\{ \frac{1}{j}, \frac{1}{\ell }\right\} \right\} .

Докажите, что повторные пределы limilimjx(i,j)\lim_{i \to \infty } \lim_{j \to \infty } x(i,j), limjlimix(i,j)\lim_{j \to \infty } \lim_{i \to \infty } x(i,j) существуют и равны.

?
Задача 4.1.4

Пусть T0T_0 — внутренность треугольника в R2\mathbb {R}^{2} с вершинами A,B,CA, B, C. Пусть T1T_1 — внутренность треугольника, вершинами которого служат середины сторон T0T_0, T2T_2 — внутренность треугольника, вершинами которого служат середины сторон T1T_1, и так далее. Опишите множество n=0Tn\cap_{n=0}^{\infty } T_n.

?
Задача 4.1.5

Пусть KK — компактное подмножество Rn\mathbb {R}^{n} и {Bj}\left\{ B_j\right\} — последовательность открытых шаров, покрывающая KK. Докажите, что существует положительное число ε\varepsilon такое, что каждый ε\varepsilon-шар с центром в точке KK содержится в одном из шаров BjB_j.

?
Задача 4.1.6

Докажите или опровергните: множество Q\mathbb {Q} рациональных чисел является пересечением счётного семейства открытых подмножеств R\mathbb {R}.

?
Задача 4.1.7

Пусть XRX \subset \mathbb {R} — непустое связное множество вещественных чисел. Если каждый элемент XX рационален, докажите, что XX содержит только один элемент.

?
Задача 4.1.8

Приведите пример подмножества R\mathbb {R}, имеющего несчётно много компонент связности. Может ли такое подмножество быть открытым? Замкнутым?

?
Задача 4.1.9

Пусть fn:RkRmf_n : \mathbb {R}^{k} \to \mathbb {R}^{m} непрерывны (n=1,2,n = 1, 2, \ldots). Пусть KK — компактное подмножество Rk\mathbb {R}^{k}. Предположим, что fnff_n \to f равномерно на KK. Докажите, что

S=f(K)n=1fn(K) S = f(K) \cup \bigcup _{n=1}^{\infty } f_n(K)

компактно.

?
Задача 4.1.10

Покажите, что отрезок [0,1][0,1] нельзя представить в виде счётного бесконечного дизъюнктного объединения замкнутых подынтервалов [0,1][0,1].

?
Задача 4.1.11

Пусть XX и YY — непустые подмножества метрического пространства MM. Определим

d(X,Y)=inf{d(x,y)xX,yY}. d(X,Y) = \inf \left\{ d(x,y) \mid x \in X, y \in Y\right\} .
?
(1)

Предположим, что XX содержит только одну точку xx, а YY замкнуто. Докажите, что

d(X,Y)=d(x,y) d(X,Y) = d(x,y)

для некоторого yYy \in Y.

(2)

Предположим, что XX компактно, а YY замкнуто. Докажите, что

d(X,Y)=d(x,y) d(X,Y) = d(x,y)

для некоторых xXx \in X, yYy \in Y.

(3)

Покажите на примере, что заключение части 2 может быть неверным, если XX и YY замкнуты, но не компактны.

Задача 4.1.12

Пусть SRnS \subset \mathbb {R}^{n} — несчётное подмножество. Докажите, что существует последовательность различных точек множества SS, сходящаяся к точке множества SS.

?
Задача 4.1.13

Пусть XRnX \subset \mathbb {R}^{n} — замкнутое множество, а rr — фиксированное положительное вещественное число. Пусть Y={yRnxy=r для некоторого xX}Y = \left\{ y \in \mathbb {R}^{n} \mid \left|x-y\right| = r \text{ для некоторого } x \in X\right\}. Покажите, что YY замкнуто.

?
Задача 4.1.14

Покажите, что всякое бесконечное замкнутое подмножество Rn\mathbb {R}^{n} является замыканием некоторого счётного множества.

?
Задача 4.1.15

Пусть {U1,U2,}\left\{ U_1, U_2, \ldots \right\} — покрытие Rn\mathbb {R}^{n} открытыми множествами. Докажите, что существует покрытие {V1,V2,}\left\{ V_1, V_2, \ldots \right\} такое, что

?
(1)

VjUjV_j \subset U_j для каждого jj;

(2)

каждое компактное подмножество Rn\mathbb {R}^{n} не пересекается со всеми, кроме конечного числа, множествами VjV_j.

Задача 4.1.16

Стандартная теорема утверждает, что непрерывная вещественнозначная функция на компактном множестве ограничена. Докажите обратное: если KK — подмножество Rn\mathbb {R}^{n} и всякая непрерывная вещественнозначная функция на KK ограничена, то KK компактно.

?
Задача 4.1.17

Пусть ARnA \subset \mathbb {R}^{n} компактно, xAx \in A; пусть (xi)(x_i) — последовательность в AA такая, что всякая сходящаяся подпоследовательность (xi)(x_i) сходится к xx.

?
(1)

Докажите, что вся последовательность (xi)(x_i) сходится.

(2)

Приведите пример, показывающий, что если AA не компактно, то результат из пункта 1 не обязательно верен.

Задача 4.1.18

Пусть XRnX \subset \mathbb {R}^{n} компактно и f:XRf : X \to \mathbb {R} непрерывна. Дано ε>0\varepsilon > 0, покажите, что существует MM такое, что для всех x,yXx, y \in X

f(x)f(y)Mxy+ε. \left|f(x) - f(y)\right| \leq M \left|x-y\right| + \varepsilon .
?
Задача 4.1.19

Пусть {Sα}\left\{ S_{\alpha }\right\} — семейство связных подмножеств R2\mathbb {R}^{2}, каждое из которых содержит начало координат. Докажите, что αSα\cup_{\alpha } S_{\alpha } связно.

?
Задача 4.1.20

Рассмотрим следующие свойства функции f:RnRf : \mathbb {R}^{n} \to \mathbb {R}:

  1. ff непрерывна.

  2. График функции ff связен в Rn×R\mathbb {R}^{n} \times \mathbb {R}. Докажите или опровергните импликации 121 \Rightarrow 2, 212 \Rightarrow 1.

?
Задача 4.1.21

Пусть UU — непустое собственное открытое подмножество Rn\mathbb {R}^{n}. Постройте функцию f:RnRf : \mathbb {R}^{n} \to \mathbb {R}, разрывную в каждой точке UU и непрерывную в каждой точке RnU\mathbb {R}^{n} \setminus U.

?
Задача 4.1.22

Докажите или приведите контрпример: всякое связное, локально линейно связное множество в Rn\mathbb {R}^{n} является линейно связным.

?
Задача 4.1.23

Множество вещественных симметричных матриц 3×33 \times 3 является вещественным конечномерным векторным пространством, изоморфным R6\mathbb {R}^{6}. Покажите, что подмножество таких матриц сигнатуры (2,1)(2,1) является открытым связным подпространством в обычной топологии на R6\mathbb {R}^{6}.

?
Задача 4.1.24

Пусть Mn×nM_{n \times n} — векторное пространство вещественных матриц n×nn \times n, отождествлённое с Rn2\mathbb {R}^{n^2}. Пусть XMn×nX \subset M_{n \times n} — компактное множество. Пусть SCS \subset \mathbb {C} — множество всех чисел, являющихся собственными значениями хотя бы одного элемента XX. Докажите, что SS компактно.

?
Задача 4.1.25

Пусть SO(3)SO(3) обозначает группу ортогональных преобразований R3\mathbb {R}^{3} с определителем 11. Пусть QSO(3)Q \subset SO(3) — подмножество симметричных преобразований I\neq I. Пусть P2P^2 обозначает пространство прямых, проходящих через начало координат в R3\mathbb {R}^{3}.

?
(1)

Покажите, что P2P^2 и SO(3)SO(3) являются компактными метрическими пространствами (в их обычных топологиях).

(2)

Покажите, что P2P^2 и QQ гомеоморфны.

Задача 4.1.26

Пусть mm и nn — положительные целые числа, m<nm < n. Пусть Mm×nM_{m \times n} — пространство линейных отображений Rm\mathbb {R}^{m} в Rn\mathbb {R}^{n} (рассматриваемых как матрицы n×mn \times m), и пусть LL — множество отображений в Mm×nM_{m \times n} ранга mm.

?
(1)

Покажите, что LL — открытое подмножество Mm×nM_{m \times n}.

(2)

Покажите, что существует непрерывная функция T:LMm×nT : L \to M_{m \times n} такая, что T(A)A=ImT(A)A = I_m для всех AA, где ImI_m — тождественное отображение на Rm\mathbb {R}^{m}.

Задача 4.1.27

Пусть Mn×nM_{n \times n} — пространство вещественных матриц n×nn \times n. Рассмотрим его как метрическое пространство с функцией расстояния

d(A,B)=i,j=1naijbij(A=(aij),B=(bij)). d(A,B) = \sum _{i,j=1}^{n} \left|a_{ij} - b_{ij}\right| \quad (A = (a_{ij}), B = (b_{ij})).

Докажите, что множество нильпотентных матриц в Mn×nM_{n \times n} является замкнутым множеством.

?
Задача 4.1.28

Пусть SS — несчётное подмножество R\mathbb {R}. Докажите, что существует вещественное число tt такое, что оба множества S(,t)S \cap (-\infty , t) и S(t,)S \cap (t, \infty ) несчётны.

?