Глава 4

Метрические пространства

[48/94%]
Показать
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 ) несчётны.

?
§
Задача 4.2.1

Пусть (X,ρ)(X, \rho ) и (Y,σ)(Y, \sigma ) — метрические пространства. Предположим, что:

  1. f,f1,f2,f, f_1, f_2, \ldots — биективные функции из XX на YY с обратными g,g1,g2,g, g_1, g_2, \ldots

  2. gg равномерно непрерывна

  3. fnff_n \to f равномерно при nn \to \infty. Докажите, что gngg_n \to g равномерно при nn \to \infty.

?
Задача 4.2.2

Пусть E1,E2,E_1, E_2, \ldots — непустые замкнутые подмножества полного метрического пространства (X,d)(X,d) с En+1EnE_{n+1} \subset E_n для всех натуральных nn, и такие, что limndiam(En)=0\lim_{n \to \infty } \operatorname {diam}(E_n) = 0, где diam(E)\operatorname {diam}(E) определяется как

sup{d(x,y)x,yE}. \sup \left\{ d(x,y) \mid x, y \in E\right\} .

Докажите, что n=1En\bigcap_{n=1}^{\infty } E_n \neq \emptyset.

?
Задача 4.2.3

Пусть AA — подмножество компактного метрического пространства (X,d)(X,d). Предположим, что для всякой непрерывной функции f:XRf : X \to \mathbb {R} ограничение ff на AA достигает максимума на AA. Докажите, что AA компактно.

?
Задача 4.2.4

Пусть XX — метрическое пространство и (xn)(x_n) — сходящаяся последовательность в XX с пределом x0x_0. Докажите, что множество C={x0,x1,x2,}C = \left\{ x_0, x_1, x_2, \ldots \right\} компактно.

?
Задача 4.2.5

Докажите, что всякое компактное метрическое пространство имеет счётное плотное подмножество.

?
Задача 4.2.6

Пусть XX — компактное метрическое пространство и f:XXf : X \to X — изометрия. Покажите, что f(X)=Xf(X) = X.

?
Задача 4.2.7

Пусть MM — метрическое пространство с метрикой dd. Пусть CC — непустое замкнутое подмножество MM. Определим f:MRf : M \to \mathbb {R} по формуле

f(x)=inf{d(x,y)yC}. f(x) = \inf \left\{ d(x,y) \mid y \in C\right\} .

Покажите, что ff непрерывна и что f(x)=0f(x) = 0 тогда и только тогда, когда xCx \in C.

?
Задача 4.2.8

Пусть C1/3C^{1/3} — множество вещественнозначных функций ff на замкнутом интервале [0,1][0,1], таких что

?
(1)

f(0)=0f(0) = 0;

(2)

f\left\| f\right\| конечна, где по определению

f=sup{f(x)f(y)xy1/3xy}. \left\| f\right\| = \sup \left\{ \frac{\left|f(x) - f(y)\right|}{\left|x-y\right|^{1/3}} \mid x \neq y\right\} .

Проверьте, что \left\| \cdot \right\| является нормой на пространстве C1/3C^{1/3}, и докажите, что C1/3C^{1/3} полно относительно этой нормы.

Задача 4.2.9

Пусть {fn}n=1\left\{ f_n\right\}_{n=1}^{\infty } — равномерно ограниченная равностепенно непрерывная последовательность вещественнозначных функций на компактном метрическом пространстве (X,d)(X,d). Определим функции gn:XRg_n : X \to \mathbb {R} при nNn \in \mathbb {N} формулой

gn(x)=max{f1(x),,fn(x)}. g_n(x) = \max \left\{ f_1(x), \ldots , f_n(x)\right\} .

Докажите, что последовательность {gn}n=1\left\{ g_n\right\}_{n=1}^{\infty } сходится равномерно.

?
Задача 4.2.10

Пусть F\mathcal{F} — равномерно ограниченное, равностепенно непрерывное семейство вещественнозначных функций на метрическом пространстве (X,d)(X,d). Докажите, что функция

g(x)=sup{f(x)fF} g(x) = \sup \left\{ f(x) \mid f \in \mathcal{F}\right\}

непрерывна.

?
Задача 4.2.11

Пусть XX и YY — метрические пространства, а ff — непрерывное отображение XX в YY. Пусть K1,K2,K_1, K_2, \ldots — непустые компактные подмножества XX такие, что Kn+1KnK_{n+1} \subset K_n для всех nn, и пусть K=KnK = \bigcap K_n. Докажите, что f(K)=f(Kn)f(K) = \bigcap f(K_n).

?
Задача 4.2.12

Пусть (X1,d1)(X_1, d_1) и (X2,d2)(X_2, d_2) — метрические пространства, а f:X1X2f : X_1 \to X_2 — непрерывное сюръективное отображение такое, что d1(p,q)d2(f(p),f(q))d_1(p,q) \leq d_2(f(p), f(q)) для любой пары точек p,qp, q из X1X_1.

?
(1)

Если X1X_1 полно, обязано ли X2X_2 быть полным? Приведите доказательство или контрпример.

(2)

Если X2X_2 полно, обязано ли X1X_1 быть полным? Приведите доказательство или контрпример.

§
Задача 4.3.1

Точная карта Калифорнии разложена на столе в Эванс-Холле, в Беркли. Докажите, что на карте есть ровно одна точка, лежащая непосредственно над точкой, которую она изображает.

?
Задача 4.3.2

Определим последовательность положительных чисел следующим образом. Пусть x0>0x_0 > 0 — произвольное положительное число, и пусть xn+1=(1+xn)1x_{n+1} = (1+x_n)^{-1}. Докажите, что эта последовательность сходится, и найдите её предел.

?
Задача 4.3.3

Пусть f:RRf : \mathbb {R} \to \mathbb {R} монотонно возрастает (возможно, разрывна). Предположим, что 0<f(0)0 < f(0) и f(100)<100f(100) < 100. Докажите, что f(x)=xf(x) = x для некоторого xx.

?
Задача 4.3.4

Пусть KK — непустое компактное множество в метрическом пространстве с функцией расстояния dd. Предположим, что φ:KK\varphi : K \to K удовлетворяет

d(φ(x),φ(y))<d(x,y) d(\varphi (x), \varphi (y)) < d(x,y)

для всех xyx \neq y из KK. Покажите, что существует ровно одна точка xKx \in K такая, что x=φ(x)x = \varphi (x).

?
Задача 4.3.5

Пусть KK — непрерывная функция на единичном квадрате 0x,y10 \leq x, y \leq 1, удовлетворяющая K(x,y)<1\left|K(x,y)\right| < 1 для всех xx и yy. Покажите, что существует непрерывная функция f(x)f(x) на [0,1][0,1], для которой

f(x)+01K(x,y)f(y)dy=ex2. f(x) + \int _0^1 K(x,y) f(y) \, dy = e^{x^2}.

Может ли существовать более одной такой функции ff?

?
Задача 4.3.6

Пусть gg — непрерывная вещественнозначная функция на [0,1][0,1]. Докажите, что существует непрерывная вещественнозначная функция ff на [0,1][0,1], удовлетворяющая уравнению

f(x)0xf(xt)et2dt=g(x). f(x) - \int _0^x f(x-t) e^{-t^2} \, dt = g(x).
?
Задача 4.3.7

Покажите, что существует единственная непрерывная вещественнозначная функция f:[0,1]Rf : [0,1] \to \mathbb {R} такая, что

f(x)=sinx+01f(y)ex+y+1dy. f(x) = \sin x + \int _0^1 \frac{f(y)}{e^{x+y+1}} \, dy.
?
Задача 4.3.8

Пусть (M,d)(M,d) — непустое полное метрическое пространство. Пусть SS отображает MM в MM, и обозначим через S2S^2 композицию SSS \circ S; то есть S2(x)=S(S(x))S^2(x) = S(S(x)). Предположим, что S2S^2 является строгим сжатием; то есть найдётся константа λ<1\lambda < 1 такая, что для всех точек x,yMx, y \in M, d(S2(x),S2(y))λd(x,y)d(S^2(x), S^2(y)) \leq \lambda d(x,y). Покажите, что SS имеет единственную неподвижную точку в MM.

?