Глава 2

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

[191/21%]
Показать
LaTeX
§
Задача 2.1.1

Докажите, что множество R\mathbb {R} является метрическим пространством с

d(x,y)=∣y−x∣. d(x, y)=\left|y-x\right| .
?
Задача 2.1.2

Докажите, что множество C[a,b]C[a, b] является метрическим пространством с

d(f,g):=max⁡{∣f(x)−g(x)∣:a≤x≤b}. d(f, g):=\max \left\{ \left|f(x)-g(x)\right|: a \leq x \leq b\right\} .
?
Задача 2.1.3

Докажите, что множество C[a,b]C[a, b] является метрическим пространством с

d(f,g):=∫ab∣f(x)−g(x)∣dx d(f, g):=\int _{a}^{b}\left|f(x)-g(x)\right| d x
?
Задача 2.1.4

Докажите теорему 2.1.6.

Теорема 2.1.6: Евклидова норма обладает следующими свойствами: (a) для любого a∈Rna \in \mathbb {R}^{n}, ∥a∥≥0\left\| a\right\| \geq 0; (b) ∥a∥=0\left\| a\right\| =0 тогда и только тогда, когда a=0a=0; (c) если α∈R\alpha \in \mathbb {R} и a∈Rna \in \mathbb {R}^{n}, ∥αa∥=∣α∣∥a∥\left\| \alpha a\right\| =\left|\alpha \right|\left\| a\right\|; (d) если a,b∈Rna, b \in \mathbb {R}^{n}, ∥a+b∥≤∥a∥+∥b∥\left\| a+b\right\| \leq \left\| a\right\| +\left\| b\right\|.

?
Задача 2.1.5

Докажите теорему 2.1.7.

Теорема 2.1.7: Множество Rn\mathbb {R}^{n} с функцией расстояния d(x,y)=∥y−x∥d(x,y)=\left\| y-x\right\| является метрическим пространством.

?
Задача 2.1.6

Докажите, что R2\mathbb {R}^{2} с расстоянием d((x1,x2),(y1,y2)):=∣x1−y1∣+∣x2−y2∣d\left(\left(x_{1}, x_{2}\right),\left(y_{1}, y_{2}\right)\right):=\left|x_{1}-y_{1}\right|+\left|x_{2}-y_{2}\right| является метрическим пространством.

?
Задача 2.1.7

Докажите, что R2\mathbb {R}^{2} с расстоянием d((x1,x2),(y1,y2)):=max⁡{∣x1−y1∣,∣x2−y2∣}d\left(\left(x_{1}, x_{2}\right),\left(y_{1}, y_{2}\right)\right):=\max \left\{ \left|x_{1}-y_{1}\right|,\left|x_{2}-y_{2}\right|\right\} является метрическим пространством.

?
Задача 2.1.8

Докажите, что множество R\mathbb {R} является метрическим пространством с

d(x,y):=∣x−y∣1+∣x−y∣ d(x, y):=\frac{\left|x-y\right|}{1+\left|x-y\right|}
?
Задача 2.1.9

Докажите, что множество C1[a,b]C^{1}[a, b] дифференцируемых функций на [a,b][a, b] с непрерывными производными является метрическим пространством с d(f,g):=max⁡{∣f(x)−g(x)∣:a≤x≤b}+max⁡{∣f′(x)−g′(x)∣:a≤x≤b}d(f, g):=\max \left\{ \left|f(x)-g(x)\right|: a \leq x \leq b\right\} +\max \left\{ \left|f^{\prime }(x)-g^{\prime }(x)\right|: a \leq x \leq b\right\}.

?
Задача 2.1.10

Докажите, что множество C(−∞,∞)C(-\infty , \infty ) является метрическим пространством с

d(f,g):=∑n=1∞12nmax⁡{∣f(x)−g(x)∣:∣x∣≤n}1+max⁡{∣f(x)−g(x)∣:∣x∣≤n}. d(f, g):=\sum _{n=1}^{\infty } \frac{1}{2^{n}} \frac{\max \left\{ \left|f(x)-g(x)\right|:\left|x\right| \leq n\right\} }{1+\max \left\{ \left|f(x)-g(x)\right|:\left|x\right| \leq n\right\} } .
?
Задача 2.1.11

Определите значения pp, при которых ∣x−y∣p\left|x-y\right|^{p} является метрикой на R\mathbb {R}.

?
Задача 2.1.12

Пусть MM — произвольное непустое множество, и определим d:M→Rd: M \rightarrow \mathbb {R} следующим образом: d(x,y)=0d(x, y)=0 тогда и только тогда, когда x=yx=y, и d(x,y)=1d(x, y)=1 в противном случае. Докажите, что ( M,dM, d ) — метрическое пространство

?
Задача 2.1.13

Пусть cc — множество всех ограниченных последовательностей, и для {an},{bn}∈c\left\{ a_{n}\right\} ,\left\{ b_{n}\right\} \in c пусть d({an},{bn})=sup⁡{∣an−bn∣:n∈N}d\left(\left\{ a_{n}\right\} ,\left\{ b_{n}\right\} \right)=\sup \left\{ \left|a_{n}-b_{n}\right|: n \in \mathbb {N}\right\}. Докажите, что (c,d)(c, d) — метрическое пространство.

?
Задача 2.1.14

Пусть, для 1≤i≤n1 \leq i \leq n, ( Mi,diM_{i}, d_{i} ) — метрические пространства. Пусть M=M1×M2×⋯×MnM= M_{1} \times M_{2} \times \cdots \times M_{n}, и для x=(x1,x2,…,xn),y=(y1,y2,…,yn)∈Mx=\left(x_{1}, x_{2}, \ldots , x_{n}\right), y=\left(y_{1}, y_{2}, \ldots , y_{n}\right) \in M пусть d(x,y)=∑k=1ndk(xk,yk)d(x, y)=\sum_{k=1}^{n} d_{k}\left(x_{k}, y_{k}\right). Докажите, что ( M,dM, d ) — метрическое пространство.

?
Задача 2.1.15

Опишите открытые и замкнутые шары в метрическом пространстве (R2,d)\left(\mathbb {R}^{2}, d\right), где расстояние dd определено как d((x1,x2),(y1,y2)):=(∣x1−y1∣3+∣x2−y2∣3)1/3d\left(\left(x_{1}, x_{2}\right),\left(y_{1}, y_{2}\right)\right):=\left(\left|x_{1}-y_{1}\right|^{3}+\left|x_{2}-y_{2}\right|^{3}\right)^{1 / 3}.

?
Задача 2.1.16

Опишите открытые и замкнутые шары в метрическом пространстве ( C[0,1],dC[0,1], d ), где d(f,g):=sup⁡{∣f(x)−g(x)∣:x∈[0,1]}d(f, g):=\sup \left\{ \left|f(x)-g(x)\right|: x \in [0,1]\right\}.

?
Задача 2.1.17

Пусть u(x)=sin⁡xu(x)=\sin x и v(x)=0v(x)=0, и пусть C[0,2π]C[0,2 \pi ] обозначает метрическое пространство непрерывных функций на [0,2π][0,2 \pi ] с расстоянием d(f,g):=sup⁡{∣f(x)−g(x)∣:x∈[0,2π]}d(f, g):=\sup \left\{ \left|f(x)-g(x)\right|: x \in [0,2 \pi ]\right\}. Приведите пример функции, принадлежащей одновременно B(u,2/3)B(u, 2 / 3) и B(v,2/3)B(v, 2 / 3).

?
Задача 2.1.18

В метрическом пространстве (R,d)(\mathbb {R}, d), где

d(x,y):=∣x−y∣1+∣x−y∣ d(x, y):=\frac{\left|x-y\right|}{1+\left|x-y\right|}

опишите открытые шары B(0,r)B(0, r) для:

?
(a)

r=1/2r=1 / 2;

(b)

r=1r=1.

(См. упражнение 2.1.8.)

Задача 2.1.19

Докажите, что G:={(x,y)∈R2:x2+y2≠1}G:=\left\{ (x, y) \in \mathbb {R}^{2}: x^{2}+y^{2} \neq 1\right\} — открытое множество в R2\mathbb {R}^{2}.

?
Задача 2.1.20

Докажите, что открытый шар в метрическом пространстве является открытым множеством.

?
Задача 2.1.21

Докажите, что следующие условия эквивалентны для множества AA в метрическом пространстве:

?
(a)

AA открыто.

(b)

Каждая точка AA является внутренней точкой.

(c)

AA совпадает со своей внутренностью.

Задача 2.1.22

Докажите, что в метрическом пространстве:

?
(a)

Int⁡(Int⁡A)=Int⁡A\operatorname {Int}(\operatorname {Int} A)=\operatorname {Int} A.

(b)

Если A⊂BA \subset B, то Int⁡A⊂Int⁡B\operatorname {Int} A \subset \operatorname {Int} B.

(c)

Int⁡(A∩B)=Int⁡A∩Int⁡B\operatorname {Int}(A \cap B)=\operatorname {Int} A \cap \operatorname {Int} B.

(d)

Int⁡(⋂i∈IAi)⊂⋂i∈IInt⁡Ai\operatorname {Int}\left(\bigcap_{i \in I} A_{i}\right) \subset \bigcap_{i \in I} \operatorname {Int} A_{i}.

(e)

Приведите пример, показывающий, что включение в (d) может быть строгим.

(f)

Int⁡A∪Int⁡B⊂Int⁡(A∪B)\operatorname {Int} A \cup \operatorname {Int} B \subset \operatorname {Int}(A \cup B).

(g)

Приведите пример, показывающий, что включение в (f) может быть строгим.

Задача 2.1.23

Докажите, что внутренность интервала [a,b)[a, b) есть открытый интервал (a,b)(a, b).

?
Задача 2.1.24

Докажите, что множество Q\mathbb {Q} имеет пустую внутренность.

?
Задача 2.1.25

Пусть ( M,dM, d ) — метрическое пространство. Докажите, что:

?
(a)

Пустое множество и всё пространство MM являются открытыми множествами.

(b)

Если {Gi}i∈I\left\{ G_{i}\right\}_{i \in I} — произвольное семейство открытых множеств, то их объединение — открытое множество.

(c)

Если {Gi}i=1n\left\{ G_{i}\right\}_{i=1}^{n} — конечное семейство открытых множеств, то их пересечение — открытое множество.

Задача 2.1.26

Пусть A,BA, B — подмножества R\mathbb {R}. Докажите, что Int⁡(A×B)=Int⁡A×Int⁡B\operatorname {Int}(A \times B)=\operatorname {Int} A \times \operatorname {Int} B.

?
Задача 2.1.27

Пусть ( M,dM, d ) — метрическое пространство. Докажите, что:

?
(a)

Пустое множество и всё пространство MM являются замкнутыми множествами.

(b)

Если {Fi}i∈I\left\{ F_{i}\right\}_{i \in I} — произвольное семейство замкнутых множеств, то их пересечение — замкнутое множество.

(c)

Если {Fi}i=1n\left\{ F_{i}\right\}_{i=1}^{n} — произвольное семейство замкнутых множеств, то их объединение — замкнутое множество.

Задача 2.1.28

Докажите, что множество всех рациональных чисел между 2\sqrt{2} и π\pi является замкнутым множеством в метрическом пространстве Q\mathbb {Q} с расстоянием d(x,y)=∣x−y∣d(x, y)=\left|x-y\right|.

?
Задача 2.1.29

Докажите, что замкнутый шар в метрическом пространстве является замкнутым множеством.

?
Задача 2.1.30

Докажите, что в метрическом пространстве ( M,dM, d ), если a∈Ma \in M и r>0r>0, то множество {x:d(x,a)=r}\left\{ x: d(x, a)=r\right\} замкнуто.

?
Задача 2.1.31

Приведите пример двух замкнутых множеств A,BA, B, таких что A∩B=∅A \cap B=\varnothing, но dist⁡(A,B)=0\operatorname {dist}(A, B)=0.

?
Задача 2.1.32

Докажите, что множество иррациональных чисел является множеством типа GδG_{\delta }.

?
Задача 2.1.33

Докажите, что замыкание интервала [a,b)[a, b) есть замкнутый интервал [a,b][a, b].

?
Задача 2.1.34

Докажите, что замыкание множества Q\mathbb {Q} есть R\mathbb {R}.

?
Задача 2.1.35

Докажите, что в метрическом пространстве:

?
(a)

(Aˉ)‾=Aˉ\overline{(\bar{A})}=\bar{A}.

(b)

Если A⊂BA \subset B, то Aˉ⊂Bˉ\bar{A} \subset \bar{B}.

(c)

A∪B‾=Aˉ∪Bˉ\overline{A \cup B}=\bar{A} \cup \bar{B}.

(d)

⋃i∈IAi‾⊂⋃i∈IAi‾\bigcup_{i \in I} \overline{A_{i}} \subset \overline{\bigcup_{i \in I} A_{i}}.

(e)

Приведите пример, показывающий, что включение в (d) может быть строгим.

(f)

⋂i∈IAi‾⊂⋂i∈IAi‾\overline{\bigcap_{i \in I} A_{i}} \subset \bigcap_{i \in I} \overline{A_{i}}.

(g)

Приведите пример, показывающий, что включение в (f) может быть строгим.

Задача 2.1.36

Докажите, что следующие условия эквивалентны для множества AA в метрическом пространстве:

?
(a)

AA замкнуто.

(b)

AA содержит все свои предельные точки.

(c)

AA совпадает со своим замыканием.

Задача 2.1.37

Докажите, что замыкание множества AA равно пересечению всех замкнутых множеств, содержащих AA.

?
Задача 2.1.38

Докажите, что в метрическом пространстве:

?
(a)

(Aˉ)C=Int⁡(AC)(\bar{A})^{C}=\operatorname {Int}\left(A^{C}\right).

(b)

(Int⁡A)C=AC‾(\operatorname {Int} A)^{C}=\overline{A^{C}}.

Задача 2.1.39

Докажите или опровергните: в метрическом пространстве ( M,dM, d ) замыкание открытого шара B(c,r)B(c, r) есть замкнутый шар B[c,r]B[c, r].

?
Задача 2.1.40

Докажите, что граница интервала [a,b)[a, b) есть множество {a,b}\left\{ a, b\right\}.

?
Задача 2.1.41

Докажите, что граница Q\mathbb {Q} есть множество R\mathbb {R}.

?
Задача 2.1.42

Докажите, что граница любого множества замкнута.

?
Задача 2.1.43

Докажите, что точка xx в метрическом пространстве принадлежит ∂A\partial A тогда и только тогда, когда каждый шар B(x,r)B(x, r) имеет непустое пересечение как с AA, так и с ACA^{C}.

?
Задача 2.1.44

Докажите, что множество замкнуто тогда и только тогда, когда оно содержит свою границу.

?
Задача 2.1.45

Докажите, что внутренность границы замкнутого множества есть пустое множество.

?
Задача 2.1.46

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

?
§
Задача 2.2.1

Докажите, что в метрическом пространстве каждая сходящаяся последовательность является последовательностью Коши.

?
Задача 2.2.2

Докажите, что если последовательность {xn}n=1∞\left\{ x_{n}\right\}_{n=1}^{\infty } не сходится к xx, то найдётся открытый шар B(x,r)B(x, r), не содержащий ни одного члена последовательности.

?
Задача 2.2.3

Пусть GG — открытое множество в Rn\mathbb {R}^{n}, пусть x0∈Rnx_{0} \in \mathbb {R}^{n}, и пусть {xn}\left\{ x_{n}\right\} — последовательность в Rn\mathbb {R}^{n}, сходящаяся к x0x_{0}. Докажите, что G+x0⊂lim inf⁡(G+xn)G+x_{0} \subset \liminf \left(G+x_{n}\right).

?
Задача 2.2.4

Пусть FF — замкнутое множество в Rn\mathbb {R}^{n}, пусть x0∈Rnx_{0} \in \mathbb {R}^{n}, и пусть {xn}\left\{ x_{n}\right\} — последовательность в Rn\mathbb {R}^{n}, сходящаяся к x0x_{0}. Докажите, что F+x0⊃lim sup⁡(F+xn)F+x_{0} \supset \limsup \left(F+x_{n}\right).

?
Задача 2.2.5

Пусть AA — множество в метрическом пространстве MM, и пусть aa — предельная точка AA. Докажите, что найдётся последовательность {an}⊂A\left\{ a_{n}\right\} \subset A, сходящаяся к aa.

?
Задача 2.2.6

Пусть ( M,dM, d ) — метрическое пространство, и пусть lim⁡xn=x,lim⁡yn=y\lim x_{n}=x, \lim y_{n}=y. Докажите, что lim⁡d(xn,yn)=d(x,y)\lim d\left(x_{n}, y_{n}\right)=d(x, y).

?
Задача 2.2.7

В упражнениях 2.2.7-2.2.9, {aij}i,j=1∞\left\{ a_{i j}\right\}_{i, j=1}^{\infty } — последовательность неотрицательных действительных чисел.

Докажите, что ∑i=1∞∑j=1∞aij=∑j=1∞∑i=1∞aij\sum_{i=1}^{\infty } \sum_{j=1}^{\infty } a_{i j}=\sum_{j=1}^{\infty } \sum_{i=1}^{\infty } a_{i j}.

?
Задача 2.2.8

В упражнениях 2.2.7-2.2.9, {aij}i,j=1∞\left\{ a_{i j}\right\}_{i, j=1}^{\infty } — последовательность неотрицательных действительных чисел.

Докажите, что sup⁡i=1∞sup⁡j=1∞aij=sup⁡j=1∞sup⁡i=1∞aij\sup_{i=1}^{\infty } \sup_{j=1}^{\infty } a_{i j}=\sup_{j=1}^{\infty } \sup_{i=1}^{\infty } a_{i j}.

?
Задача 2.2.9

В упражнениях 2.2.7-2.2.9, {aij}i,j=1∞\left\{ a_{i j}\right\}_{i, j=1}^{\infty } — последовательность неотрицательных действительных чисел.

Докажите, что sup⁡i=1∞∑j=1∞aij≤∑j=1∞sup⁡i=1∞aij\sup_{i=1}^{\infty } \sum_{j=1}^{\infty } a_{i j} \leq \sum_{j=1}^{\infty } \sup_{i=1}^{\infty } a_{i j}. Приведите пример, показывающий, что неравенство может быть строгим.

?
Задача 2.2.10

Пусть F⊂RF \subset \mathbb {R} — замкнутое множество, содержащееся в дизъюнктном объединении интервалов (a,b)(a, b) и (c,d)(c, d). Докажите, что F∩(a,b)F \cap (a, b) — замкнутое множество.

?
Задача 2.2.11

Пусть A,BA, B — замкнутые подмножества R\mathbb {R}. Докажите, что A×BA \times B — замкнутое подмножество R2\mathbb {R}^{2}.

?
Задача 2.2.12

Докажите, что в метрическом пространстве каждое замкнутое множество является множеством типа GδG_{\delta }, а каждое открытое множество — множеством типа FσF_{\sigma }.

?
Задача 2.2.13

Докажите, что метрическое пространство ([0,1],d)([0,1], d), где d(x,y)=∣x−y∣d(x, y)=\left|x-y\right|, полно.

?
Задача 2.2.14

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

?
Задача 2.2.15

Докажите, что метрическое пространство (Q,d)(\mathbb {Q}, d), где d(x,y)=∣x−y∣d(x, y)=\left|x-y\right|, не является полным.

?
Задача 2.2.16

Докажите, что множество всех многочленов на [0,1][0,1] с метрикой d(p,q):=max⁡{∣p(x)−q(x)∣:0≤x≤1}d(p, q):= \max \left\{ \left|p(x)-q(x)\right|: 0 \leq x \leq 1\right\} не является полным метрическим пространством.

?
Задача 2.2.17

Докажите, что множество C[0,1]C[0,1] с метрикой

d(f,g):=∫01∣f(x)−g(x)∣dx d(f, g):=\int _{0}^{1}\left|f(x)-g(x)\right| d x

не является полным.

?
Задача 2.2.18

Докажите, что если подпространство метрического пространства полно, то оно замкнуто.

?
Задача 2.2.19

Приведите пример метрического пространства ( M,dM, d ) и замкнутого множества A⊂MA \subset M, которое не является полным.

?
Задача 2.2.20

Пусть {xn}\left\{ x_{n}\right\} — сходящаяся последовательность в метрическом пространстве. Докажите, что каждая подпоследовательность {xn}\left\{ x_{n}\right\} сходится к тому же пределу.

?
Задача 2.2.21

Пусть {xn}\left\{ x_{n}\right\} — последовательность в метрическом пространстве, и предположим, что каждая из трёх её подпоследовательностей {x2n},{x2n+1}\left\{ x_{2 n}\right\} ,\left\{ x_{2 n+1}\right\}, и {x3n}\left\{ x_{3 n}\right\} сходится. Докажите, что {xn}\left\{ x_{n}\right\} — сходящаяся последовательность.

?
Задача 2.2.22

Пусть {xn}\left\{ x_{n}\right\} — последовательность в метрическом пространстве, и предположим, что каждая из её бесконечно многих подпоследовательностей {xsn}\left\{ x_{s n}\right\}, где s=2,3,…s=2,3, \ldots, сходится. Докажите или опровергните: {xn}\left\{ x_{n}\right\} — сходящаяся последовательность.

?
Задача 2.2.23

Пусть {xn}\left\{ x_{n}\right\} — последовательность в метрическом пространстве ( M,dM, d ), пусть x∈Mx \in M, и предположим, что каждая подпоследовательность {xnk}⊂{xn}\left\{ x_{n_{k}}\right\} \subset \left\{ x_{n}\right\} имеет дальнейшую подпоследовательность {yn}\left\{ y_{n}\right\}, сходящуюся к xx. Докажите, что {xn}\left\{ x_{n}\right\} сходится к xx.

?
Задача 2.2.24

Пусть ( X,dX, d ) — метрическое пространство, не являющееся полным, и пусть {xn}\left\{ x_{n}\right\} — последовательность Коши в XX, не являющаяся сходящейся. Докажите, что множество E={xn}E=\left\{ x_{n}\right\} замкнуто.

?
Задача 2.2.25

В упражнениях 2.2.25-2.2.28 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в ( 0,1 ).

xn=1/nx_{n}=1 / n.

?
Задача 2.2.26

В упражнениях 2.2.25-2.2.28 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в ( 0,1 ).

1,0,1/2,0,1/3,0,1/4,0,…1,0,1 / 2,0,1 / 3,0,1 / 4,0, \ldots.

?
Задача 2.2.27

В упражнениях 2.2.25-2.2.28 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в ( 0,1 ).

xn=en/n!x_{n}=e^{n} / n!.

?
Задача 2.2.28

В упражнениях 2.2.25-2.2.28 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в ( 0,1 ).

1,1,1/4,1/4,1/9,1/9,1/16,1/16,…1,1,1 / 4,1 / 4,1 / 9,1 / 9,1 / 16,1 / 16, \ldots.

?
Задача 2.2.29

В упражнениях 2.2.29-2.2.32 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в метрическом пространстве C[0,1]C[0,1] (см. упражнение 2.1.2).

fn(x)=xnf_{n}(x)=x^{n}

?
Задача 2.2.30

В упражнениях 2.2.29-2.2.32 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в метрическом пространстве C[0,1]C[0,1] (см. упражнение 2.1.2).

fn(x)=xn/nf_{n}(x)=x^{n} / n

?
Задача 2.2.31

В упражнениях 2.2.29-2.2.32 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в метрическом пространстве C[0,1]C[0,1] (см. упражнение 2.1.2).

fn(x)=xn/nf_{n}(x)=x^{n} / \sqrt{n}

?
Задача 2.2.32

В упражнениях 2.2.29-2.2.32 определите, какая из следующих последовательностей является (a) последовательностью Коши, (b) быстро сходящейся по Коши последовательностью в метрическом пространстве C[0,1]C[0,1] (см. упражнение 2.1.2).

fn(x)=sin⁡nxf_{n}(x)=\sin n x

?
Задача 2.2.33

Докажите теорему 2.2.23.

Теорема 2.2.23: Метрическое пространство полно тогда и только тогда, когда каждая быстро сходящаяся по Коши последовательность сходится. (Последовательность (xn)n=1∞\left(x_{n}\right)_{n=1}^{\infty } в метрическом пространстве (M,d)(M,d) называется быстро сходящейся по Коши, если существует сходящийся ряд положительных чисел ∑k=1∞εk\sum_{k=1}^{\infty } \varepsilon_{k}, такой что d(xk+1,xk)≤εk2d(x_{k+1}, x_{k}) \leq \varepsilon_{k}^{2} для всех kk.)

?
§
Задача 2.3.1

Докажите, что последовательность Коши в метрическом пространстве ограничена.

?
Задача 2.3.2

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

?
Задача 2.3.3

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

?
Задача 2.3.4

Докажите, что замыкание вполне ограниченного множества в метрическом пространстве вполне ограничено.

?
Задача 2.3.5

Докажите, что метрическое пространство ( M,dM, d ) вполне ограничено тогда и только тогда, когда каждая последовательность в MM имеет подпоследовательность Коши.

?
Задача 2.3.6

Докажите, что замыкание ограниченного множества в метрическом пространстве ограничено.

?
Задача 2.3.7

Докажите, что компактное множество в метрическом пространстве замкнуто.

?
Задача 2.3.8

Докажите, что замкнутое подмножество компактного метрического пространства компактно.

?
Задача 2.3.9

Докажите, что метрическое пространство ( M,dM, d ) компактно тогда и только тогда, когда каждое бесконечное подмножество MM имеет предельную точку в MM.

?
Задача 2.3.10

Докажите, что подмножество полного метрического пространства MM компактно тогда и только тогда, когда оно вполне ограничено и замкнуто.

?
Задача 2.3.11

В метрическом пространстве (Q,d)(\mathbb {Q}, d), где d(x,y)=∣x−y∣d(x, y)=\left|x-y\right|, определите все подпространства, которые являются:

?
(a)

полными.

(b)

компактными.

Задача 2.3.12

Докажите или опровергните: множество N\mathbb {N} является компактным подмножеством ( R,d\mathbb {R}, d ), где d(x,y)=∣x−y∣d(x, y)=\left|x-y\right|.

?
Задача 2.3.13

Пусть ( M,dM, d ) — полное метрическое пространство. Докажите, что множество A⊂MA \subset M вполне ограничено тогда и только тогда, когда Aˉ\bar{A} компактно.

?
Задача 2.3.14

Пусть ( M,dM, d ) — метрическое пространство всех ограниченных последовательностей с метрикой d(a,b)=sup⁡{∣an−bn∣:n∈N}d(a, b)=\sup \left\{ \left|a_{n}-b_{n}\right|: n \in \mathbb {N}\right\}, где a={an}a=\left\{ a_{n}\right\} и b={bn}b=\left\{ b_{n}\right\}. (См. упражнение 2.1.13.) Пусть BB — замкнутый шар радиуса 1 с центром в нулевой последовательности (0,0,…)(0,0, \ldots ). Докажите, что BB ограничен и замкнут, но не является секвенциально компактным.

?
Задача 2.3.15

Пусть ( M,dM, d ) — метрическое пространство, и пусть A⊂MA \subset M — множество, такое что A∩KA \cap K компактно для каждого компактного множества K⊂MK \subset M. Докажите, что AA замкнуто в MM.

?
Задача 2.3.16

Пусть ( M,dM, d ) — метрическое пространство. Докажите, что расстояние между замкнутым множеством и компактным множеством, которые не пересекаются, не может быть равно 0. Приведите пример, показывающий, что это неверно, если оба множества лишь замкнуты.

?
Задача 2.3.17

Пусть K1,K2K_{1}, K_{2} — непересекающиеся компактные подмножества метрического пространства ( M,dM, d ). Докажите, что существуют непересекающиеся открытые множества G1,G2G_{1}, G_{2}, такие что K1⊂G1K_{1} \subset G_{1} и K2⊂G2K_{2} \subset G_{2}.

?
Задача 2.3.18

Докажите, что метрическое пространство MM компактно тогда и только тогда, когда каждое семейство замкнутых подмножеств MM с свойством конечных пересечений (то есть каждое конечное подсемейство имеет непустое пересечение) имеет непустое пересечение.

?
Задача 2.3.19

Докажите, что метрическое пространство MM компактно тогда и только тогда, когда каждая убывающая последовательность непустых замкнутых множеств в MM имеет непустое пересечение.

?
Задача 2.3.20

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

?
Задача 2.3.21

Пусть MM — компактное метрическое пространство, и пусть {Gn}n=1∞\left\{ G_{n}\right\}_{n=1}^{\infty } — возрастающая последовательность открытых подмножеств MM, такая что M=∪n=1∞GnM=\cup_{n=1}^{\infty } G_{n}. Докажите, что M=GkM=G_{k} для некоторого k∈Nk \in \mathbb {N}.

?
Задача 2.3.22

Пусть {Mi}i=1n\left\{ M_{i}\right\}_{i=1}^{n} — компактные метрические пространства. Докажите, что M:=M1×M2×⋯×MnM:=M_{1} \times M_{2} \times \cdots \times M_{n} является компактным метрическим пространством относительно метрики dd, как в упражнении 2.1.14.

?
Задача 2.3.23

Определите, является ли C[0,1]C[0,1] секвенциально компактным.

?
Задача 2.3.24

Определите, является ли метрическое пространство ( M,dM, d ) секвенциально компактным, где d(x,y)=0d(x, y)=0, если x=yx=y, и d(x,y)=1d(x, y)=1, если x≠yx \neq y.

?
Задача 2.3.25

Определите, является ли метрическое пространство ( R,d\mathbb {R}, d ) секвенциально компактным, где

d(x,y):=∣x−y∣1+∣x−y∣ d(x, y):=\frac{\left|x-y\right|}{1+\left|x-y\right|}
?
Задача 2.3.26

Определите, является ли метрическое пространство ( C[0,1],dC[0,1], d ) секвенциально компактным, где

d(f,g):=∫01∣f(x)−g(x)∣dx d(f, g):=\int _{0}^{1}\left|f(x)-g(x)\right| d x
?
Задача 2.3.27

Определите, является ли метрическое пространство (C(−∞,∞),d)(C(-\infty , \infty ), d) секвенциально компактным, где

d(f,g):=∑n=1∞12nmax⁡{∣f(x)−g(x)∣:∣x∣≤n}1+max⁡{∣f(x)−g(x)∣:∣x∣≤n} d(f, g):=\sum _{n=1}^{\infty } \frac{1}{2^{n}} \frac{\max \left\{ \left|f(x)-g(x)\right|:\left|x\right| \leq n\right\} }{1+\max \left\{ \left|f(x)-g(x)\right|:\left|x\right| \leq n\right\} }
?
Задача 2.3.28

Докажите теорему 2.3.18.

Теорема 2.3.18: Пусть (M,d)(M,d) — компактное метрическое пространство, и пусть f:M→Rf: M \rightarrow \mathbb {R} непрерывна. Тогда ff ограничена и достигает своих экстремальных значений на MM.

?
Задача 2.3.29

Пусть ( M,dM, d ) — метрическое пространство, и пусть f,g:M→Rf, g: M \rightarrow \mathbb {R} непрерывны. Докажите, что max⁡{f,g}\max \left\{ f, g\right\} и min⁡{f,g}\min \left\{ f, g\right\} непрерывны.

?
Задача 2.3.30

Пусть f:R→Rf: \mathbb {R} \rightarrow \mathbb {R}, пусть x0∈Rx_{0} \in \mathbb {R}, и предположим, что для каждого интервала (a,b)(a, b), содержащего x0x_{0}, функция ff неограничена на ( a,ba, b ). Докажите, что ff не является непрерывной в x0x_{0}.

?
Задача 2.3.31

Пусть ( M,dM, d ) — метрическое пространство, пусть f:M→Rf: M \rightarrow \mathbb {R} непрерывна, и пусть E⊂ME \subset M. Докажите, что sup⁡{∣f(x)∣:x∈E}=sup⁡{∣f(x)∣:x∈Eˉ}\sup \left\{ \left|f(x)\right|: x \in E\right\} =\sup \left\{ \left|f(x)\right|: x \in \bar{E}\right\}.

?
Задача 2.3.32

Пусть f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} — строго возрастающая непрерывная функция. Докажите, что f−1f^{-1} непрерывна.

?
Задача 2.3.33

Пусть ( M,dM, d ) — метрическое пространство, пусть f,g:M→Rf, g: M \rightarrow \mathbb {R} непрерывны, и пусть α∈R\alpha \in \mathbb {R}. Докажите, что αf,f+g\alpha f, f+g и fgf g непрерывны. Более того, если g(x)≠0g(x) \neq 0 на MM, докажите, что f/gf / g непрерывна.

?
Задача 2.3.34

Пусть ff — вещественнозначная функция на метрическом пространстве XX. Покажите, что множество точек, в которых ff непрерывна, является пересечением счётного семейства открытых множеств. Заключите, что не существует вещественнозначной функции на R\mathbb {R}, непрерывной только в рациональных точках.

?
Задача 2.3.35

Пусть ( M,dM, d ) — метрическое пространство и KK — компактное подмножество MM. Предположим, что функция f:K→Rf: K \rightarrow \mathbb {R} непрерывна. Докажите, что f(K)f(K) — компактное подмножество R\mathbb {R}.

?
Задача 2.3.36

Пусть ( M,dM, d ) — метрическое пространство и A⊂MA \subset M. Предположим, что функции f,g:M→Rf, g: M \rightarrow \mathbb {R} непрерывны и f(x)=g(x)f(x)=g(x) при x∈Ax \in A. Докажите, что f(x)=g(x)f(x)=g(x) для всех x∈Aˉx \in \bar{A}.

?
Задача 2.3.37

Пусть ( M,dM, d ) — метрическое пространство, пусть A⊂MA \subset M, и пусть h(x)=d(x,A)=inf⁡{d(x,a):a∈A}h(x)=d(x, A)= \inf \left\{ d(x, a): a \in A\right\}. Докажите, что dd — непрерывная функция на MM.

?
Задача 2.3.38

Пусть ( M,dM, d ) — метрическое пространство и пусть AA и BB — непересекающиеся замкнутые подмножества MM. Докажите, что существует непрерывная вещественнозначная функция ff на MM такая, что 0≤f(x)≤10 \leq f(x) \leq 1 для всех x∈Mx \in M, f(x)=0f(x)=0 на AA, и f(x)=1f(x)=1 на BB.

?
Задача 2.3.39

Пусть {fn}\left\{ f_{n}\right\} — последовательность непрерывных функций, сходящаяся к ff равномерно на [a,b][a, b], и пусть {xn}\left\{ x_{n}\right\} — последовательность в [a,b][a, b], сходящаяся к xx. Докажите, что {fn(xn)}\left\{ f_{n}\left(x_{n}\right)\right\} сходится к f(x)f(x).

?
Задача 2.3.40

Докажите теорему 2.3.17.

Теорема 2.3.17: Пусть (M,d)(M,d) — метрическое пространство. Всякое равномерно непрерывное отображение f:M1→M2f: M_{1} \rightarrow M_{2} непрерывно. Если, кроме того, M1M_{1} компактно, то всякое непрерывное отображение f:M1→M2f: M_{1} \rightarrow M_{2} равномерно непрерывно.

?
Задача 2.3.41

Определите, является ли функция FF из примера 2.3.12 равномерно непрерывной на C[0,1]C[0,1].

Пример 2.3.12: Пусть a∈[0,1]a \in [0,1]. Функция F:C[0,1]→RF: C[0,1] \rightarrow \mathbb {R}, определённая как F(f)=f(a)F(f) = f(a), непрерывна на метрическом пространстве C[0,1]C[0,1].

?
Задача 2.3.42

Определите, является ли функция FF из примера 2.3.12 непрерывной на ( C[0,1],dC[0,1], d ) с dd, определённой как в упражнении 2.1.3, а именно

d(f,g)=∫01∣f(x)−g(x)∣dx d(f, g)=\int _{0}^{1}\left|f(x)-g(x)\right| d x

Является ли она равномерно непрерывной?

?
Задача 2.3.43

Пусть ( M,dM, d ) — метрическое пространство и {xn}⊂A⊂M\left\{ x_{n}\right\} \subset A \subset M — фундаментальная последовательность. Предположим, что функция f:M→Rf: M \rightarrow \mathbb {R} равномерно непрерывна на AA. Докажите, что {f(xn)}\left\{ f\left(x_{n}\right)\right\} — фундаментальная последовательность в R\mathbb {R}. Что если предположить, что ff лишь непрерывна?

?
Задача 2.3.44

Пусть ( M,dM, d ) — метрическое пространство и пусть f:M→Rf: M \rightarrow \mathbb {R}. Докажите, что следующие утверждения равносильны:

?
(a)

Функция полунепрерывна сверху в каждой точке MM.

(b)

Все множества {x∈M:f(x)<y}\left\{ x \in M: f(x)<y\right\} с y∈Ry \in \mathbb {R} открыты в MM.

(c)

Все множества {x∈M:f(x)≥y}\left\{ x \in M: f(x) \geq y\right\} с y∈Ry \in \mathbb {R} замкнуты в MM.

Задача 2.3.45

Докажите, что функция f=χ(0,1]f=\chi_{(0,1]} полунепрерывна сверху в каждой точке, кроме x=0x=0, и полунепрерывна снизу в каждой точке, кроме x=1x=1.

?
Задача 2.3.46

Пусть ( M,dM, d ) — метрическое пространство. Предположим, что для каждого ε>0\varepsilon >0 существует δ>0\delta >0, метрическое пространство ( W,ρW, \rho ), и отображение Φ:M→W\Phi : M \rightarrow W такие, что Φ(M)\Phi (M) вполне ограничено, и всякий раз, когда x,y∈Mx, y \in M таковы, что ρ(Φ(x),Φ(y))<δ\rho (\Phi (x), \Phi (y))<\delta, то d(x,y)<εd(x, y)<\varepsilon. Докажите, что MM вполне ограничено.

?
Задача 2.3.47

Докажите теорему Банаха о неподвижной точке (теорема 2.3.21).

Теорема 2.3.21 (теорема Банаха о неподвижной точке): Сжимающее отображение метрического пространства имеет ровно одну неподвижную точку, то есть точку xx такую, что f(x)=xf(x)=x.

?
§
Задача 2.4.1

Пусть ( M,dM, d ) — метрическое пространство, A⊂M,f,g:M→RA \subset M, f, g: M \rightarrow \mathbb {R}, и пусть aa — предельная точка AA. Также пусть α\alpha — вещественное число. Если lim⁡x→af(x)\lim_{x \rightarrow a} f(x) и lim⁡x→ag(x)\lim_{x \rightarrow a} g(x) оба существуют, докажите, что

?
(a)

lim⁡x→a(αf(x))=αlim⁡x→af(x);\lim_{x \rightarrow a}(\alpha f(x))=\alpha \lim_{x \rightarrow a} f(x) ;

(b)

lim⁡x→a(f(x)+g(x))=lim⁡x→af(x)+lim⁡x→ag(x)\lim_{x \rightarrow a}(f(x)+g(x))=\lim_{x \rightarrow a} f(x)+\lim_{x \rightarrow a} g(x);

(c)

lim⁡x→a(f(x)g(x))=(lim⁡x→af(x))(lim⁡x→ag(x))\lim_{x \rightarrow a}(f(x) g(x))=\left(\lim_{x \rightarrow a} f(x)\right)\left(\lim_{x \rightarrow a} g(x)\right);

(d)

lim⁡x→a(f(x)/g(x))=lim⁡x→af(x)/lim⁡x→ag(x)\lim_{x \rightarrow a}(f(x) / g(x))=\lim_{x \rightarrow a} f(x) / \lim_{x \rightarrow a} g(x), с дополнительным предположением, что lim⁡x→ag(x)≠0\lim_{x \rightarrow a} g(x) \neq 0.

Задача 2.4.2

Пусть ( M,dM, d ) — метрическое пространство, A⊂MA \subset M, и f,g:M→Rf, g: M \rightarrow \mathbb {R} удовлетворяют f(x)<g(x)f(x)<g(x) для всех x∈Ax \in A. Если aa — предельная точка AA и если lim⁡x→af(x)\lim_{x \rightarrow a} f(x) и lim⁡x→ag(x)\lim_{x \rightarrow a} g(x) оба существуют, докажите, что lim⁡x→af(x)≤lim⁡x→ag(x)\lim_{x \rightarrow a} f(x) \leq \lim_{x \rightarrow a} g(x).

?
Задача 2.4.3

Пусть F:C[0,1]→RF: C[0,1] \rightarrow \mathbb {R} определена как F(f)=f(0)F(f)=f(0), и пусть g(x)=x2g(x)=x^{2}. Найдите lim⁡f→gF(f)\lim_{f \rightarrow g} F(f).

?
Задача 2.4.4

Пусть dd — метрика на C[0,1]C[0,1], определённая как

d(f,g)=∫01∣f(x)−g(x)∣dx d(f, g)=\int _{0}^{1}\left|f(x)-g(x)\right| d x

(см. упражнение 2.1.3). Пусть F:C[0,1]→RF: C[0,1] \rightarrow \mathbb {R} определена как F(f)=f(0)F(f)=f(0), и пусть g(x)=x2g(x)=x^{2}. Найдите lim⁡f→gF(f)\lim_{f \rightarrow g} F(f).

?
Задача 2.4.5

Пусть dd — метрика на R\mathbb {R}, определённая как

d(x,y):=∣x−y∣1+∣x−y∣ d(x, y):=\frac{\left|x-y\right|}{1+\left|x-y\right|}

(см. упражнение 2.1.8), и пусть ρ\rho обозначает обычное расстояние на R\mathbb {R}, ρ(x,y)=∣x−y∣\rho (x, y)=\left|x-y\right|. Пусть f:(R,d)→(R,ρ)f:(\mathbb {R}, d) \rightarrow (\mathbb {R}, \rho ) определена как f(x)=x2f(x)=x^{2}. Найдите lim⁡x→2f(x)\lim_{x \rightarrow 2} f(x).

?
Задача 2.4.6

Докажите теорему 2.4.5.

Теорема 2.4.5: Пусть (an)n=1∞\left(a_{n}\right)_{n=1}^{\infty } — последовательность вещественных чисел. Тогда

lim sup⁡an=inf⁡k≥1sup⁡n≥kanиlim inf⁡an=sup⁡k≥1inf⁡n≥kan. \limsup a_{n} = \inf _{k \geq 1} \sup _{n \geq k} a_{n} \quad \text{и} \quad \liminf a_{n} = \sup _{k \geq 1} \inf _{n \geq k} a_{n}.
?
Задача 2.4.7

Пусть ( M,dM, d ) — метрическое пространство, пусть f:M→Rf: M \rightarrow \mathbb {R}, и пусть a∈Ma \in M. Докажите, что lim sup⁡x→af(x)\limsup_{x \rightarrow a} f(x) и lim inf⁡x→af(x)\liminf_{x \rightarrow a} f(x) всегда существуют либо как конечные числа, либо как ±∞\pm \infty.

?
Задача 2.4.8

Пусть {an}\left\{ a_{n}\right\} — последовательность вещественных чисел. Докажите, что lim⁡sup⁡an\lim \sup a_{n} равен lim sup⁡x→0f(x)\limsup_{x \rightarrow 0} f(x), где функция f:{1,1/2,1/3,…}→Rf:\left\{ 1,1 / 2,1 / 3, \ldots \right\} \rightarrow \mathbb {R} определена как f(1/n)=anf(1 / n)=a_{n}.

?
Задача 2.4.9

Докажите, что lim⁡x→af(x)\lim_{x \rightarrow a} f(x) существует тогда и только тогда, когда оба верхних предела и оба нижних предела (слева и справа) все равны между собой.

?
Задача 2.4.10

Если ff определена на [−c,c][-c, c] и x0∈(−c,c)x_{0} \in (-c, c), докажите следующее:

?
(a)

lim sup⁡sup⁡x→x0+(−f(x))=−lim inf⁡x→x0+f(x),lim sup⁡x→x0−(−f(x))=−lim inf⁡x→x0−f(x)\limsup \sup_{x \rightarrow x_{0}+}(-f(x))=-\liminf_{x \rightarrow x_{0}+} f(x), \limsup_{x \rightarrow x_{0}-}(-f(x))= -\liminf_{x \rightarrow x_{0}-} f(x).

(b)

lim sup⁡x→x0+(f(−x))=lim sup⁡x→−x0−f(x),lim inf⁡x→x0+(f(−x))=lim inf⁡x→−x0−f(x)\limsup_{x \rightarrow x_{0}+}(f(-x))=\limsup_{x \rightarrow -x_{0}-} f(x), \liminf_{x \rightarrow x_{0}+}(f(-x))= \liminf_{x \rightarrow -x_{0}-} f(x).

(c)

lim sup⁡sup⁡x→x0−(f(−x))=lim sup⁡x→−x0+f(x),lim inf⁡x→x0−(f(−x))=lim inf⁡x→−x0+f(x)\limsup \sup_{x \rightarrow x_{0}-}(f(-x))=\limsup_{x \rightarrow -x_{0}+} f(x), \liminf_{x \rightarrow x_{0}-}(f(-x))= \liminf_{x \rightarrow -x_{0}+} f(x).

Задача 2.4.11

Пусть ( M,dM, d ) — метрическое пространство, пусть f:M→Rf: M \rightarrow \mathbb {R}, и пусть g:M→Rg: M \rightarrow \mathbb {R} определена как g(x)=lim sup⁡t→xf(t)g(x)=\limsup_{t \rightarrow x} f(t). Докажите, что gg полунепрерывна сверху.

?
Задача 2.4.12

Пусть {An}\left\{ A_{n}\right\} — произвольное семейство подмножеств множества XX. Докажите, что

lim sup⁡An={x∈X:lim sup⁡χAn(x)=1}. \limsup A_{n}=\left\{ x \in X: \limsup \chi _{A_{n}}(x)=1\right\} .
?
Задача 2.4.13

Пусть ( M,dM, d ) — метрическое пространство и для каждого n∈Nn \in \mathbb {N} пусть fn:M→[0,+∞]f_{n}: M \rightarrow [0,+\infty ]. Докажите, что

sup⁡{∑k=1∞fk(xk):{xk}⊂M}=∑k=1∞sup⁡{fk(x):x∈M}. \sup \left\{ \sum _{k=1}^{\infty } f_{k}\left(x_{k}\right):\left\{ x_{k}\right\} \subset M\right\} =\sum _{k=1}^{\infty } \sup \left\{ f_{k}(x): x \in M\right\} .
?
Задача 2.4.14

Пусть ff и gg — вещественнозначные функции на интервале (a−η,a+η)(a-\eta , a+\eta ). Докажите, что

lim inf⁡x→af(x)+lim inf⁡x→ag(x)≤lim inf⁡x→a(f(x)+g(x))≤lim inf⁡x→af(x)+lim sup⁡x→ag(x)≤lim sup⁡x→a(f(x)+g(x))≤lim sup⁡x→af(x)+lim sup⁡x→ag(x) \begin{aligned} \liminf _{x \rightarrow a} f(x)+ & \liminf _{x \rightarrow a} g(x) \leq \liminf _{x \rightarrow a}(f(x)+g(x)) \leq \liminf _{x \rightarrow a} f(x)+\limsup _{x \rightarrow a} g(x) \\ & \leq \limsup _{x \rightarrow a}(f(x)+g(x)) \leq \limsup _{x \rightarrow a} f(x)+\limsup _{x \rightarrow a} g(x) \end{aligned}
?
Задача 2.4.15

Пусть ff и gg — строго положительные функции на интервале (a−η,a+η)(a-\eta , a+\eta ), и предположим, что lim inf⁡x→af(x)\liminf_{x \rightarrow a} f(x) и lim sup⁡x→af(x)\limsup_{x \rightarrow a} f(x) существуют и не равны 0. Докажите, что:

?
(a)

lim sup⁡x→a1f(x)=1lim inf⁡x→af(x)\limsup_{x \rightarrow a} \frac{1}{f(x)}=\frac{1}{\liminf_{x \rightarrow a} f(x)}.

(b)

lim inf⁡x→a1f(x)=1lim sup⁡x→af(x)\liminf_{x \rightarrow a} \frac{1}{f(x)}=\frac{1}{\limsup_{x \rightarrow a} f(x)}.

Задача 2.4.16

Пусть ff и gg — неотрицательные функции на интервале ( a−η,a+η)a-\eta , a+ \eta ), и предположим, что lim inf⁡x→af(x),lim sup⁡x→af(x),lim inf⁡x→ag(x)\liminf_{x \rightarrow a} f(x), \limsup_{x \rightarrow a} f(x), \liminf_{x \rightarrow a} g(x) и lim sup⁡x→ag(x)\limsup_{x \rightarrow a} g(x) существуют и не равны 0. Докажите, что

lim inf⁡x→af(x)⋅lim inf⁡x→ag(x)≤lim inf⁡x→a(f(x)⋅g(x))≤lim inf⁡x→af(x)⋅lim sup⁡x→ag(x)≤lim sup⁡x→a(f(x)⋅g(x))≤lim sup⁡x→af(x)⋅lim sup⁡x→ag(x) \begin{aligned} \liminf _{x \rightarrow a} f(x) \cdot \liminf _{x \rightarrow a} g(x) & \leq \liminf _{x \rightarrow a}(f(x) \cdot g(x)) \leq \liminf _{x \rightarrow a} f(x) \cdot \limsup _{x \rightarrow a} g(x) \\ & \leq \limsup _{x \rightarrow a}(f(x) \cdot g(x)) \leq \limsup _{x \rightarrow a} f(x) \cdot \limsup _{x \rightarrow a} g(x) \end{aligned}
?
Задача 2.4.17

Пусть ff и gg — неотрицательные функции на интервале ( a−η,a+ηa-\eta , a+\eta ), и предположим, что lim⁡x→af(x)\lim_{x \rightarrow a} f(x) существует. Докажите, что:

?
(a)

lim sup⁡sup⁡x→a(f(x)+g(x))=lim⁡x→af(x)+lim sup⁡x→ag(x)\limsup \sup_{x \rightarrow a}(f(x)+g(x))=\lim_{x \rightarrow a} f(x)+\limsup_{x \rightarrow a} g(x).

(b)

lim inf⁡x→a(f(x)+g(x))=lim⁡x→af(x)+lim inf⁡x→ag(x)\liminf_{x \rightarrow a}(f(x)+g(x))=\lim_{x \rightarrow a} f(x)+\liminf_{x \rightarrow a} g(x).

(c)

lim sup⁡x→a(f(x)⋅g(x))=lim⁡x→af(x)⋅lim sup⁡x→ag(x)\limsup_{x \rightarrow a}(f(x) \cdot g(x))=\lim_{x \rightarrow a} f(x) \cdot \limsup_{x \rightarrow a} g(x).

(d)

lim inf⁡x→a(f(x)⋅g(x))=lim⁡x→af(x)⋅lim inf⁡x→ag(x)\liminf_{x \rightarrow a}(f(x) \cdot g(x))=\lim_{x \rightarrow a} f(x) \cdot \liminf_{x \rightarrow a} g(x).

Задача 2.4.18

Пусть ( M,dM, d ) — метрическое пространство, A⊂MA \subset M, и f:M→Rf: M \rightarrow \mathbb {R}. Если aa — предельная точка AA, докажите, что:

?
(a)

Если y<inf⁡W(f,a)y<\inf W(f, a), то существует δ>0\delta >0 такое, что f(x)>yf(x)>y всякий раз, когда 0<d(x,a)<δ,x∈A0<d(x, a)<\delta , x \in A.

(b)

Если y>inf⁡W(f,a)y>\inf W(f, a), то для каждого δ>0\delta >0 найдётся x∈Ax \in A с 0<d(x,a)<δ0<d(x, a)<\delta, такое, что f(x)<yf(x)<y.

Задача 2.4.19

Докажите следствие 2.4.9.

Следствие 2.4.9: Пусть (M,d)(M,d) — метрическое пространство, пусть f:M→Rf: M \rightarrow \mathbb {R}, и пусть A⊂MA \subset M. Если aa — предельная точка AA, то

lim sup⁡x→af(x)=sup⁡W(f,a), \limsup _{x \rightarrow a} f(x) = \sup W(f, a),

где W(f,a)={w:∃(an)⊂A∖{a},lim⁡an=a,lim⁡f(an)=w}W(f, a) = \left\{ w : \exists \left(a_{n}\right) \subset A \setminus \left\{ a\right\} , \lim a_{n} = a, \lim f(a_{n}) = w\right\} — множество всех частичных пределов ff вдоль последовательностей в A∖{a}A \setminus \left\{ a\right\}, сходящихся к aa.

?
Задача 2.4.20

Пусть ( M,dM, d ) — метрическое пространство, пусть f:M→Rf: M \rightarrow \mathbb {R}, и пусть A⊂MA \subset M. Если aa — предельная точка AA, докажите, что

lim inf⁡x→af(x)=inf⁡W(f,a). \liminf _{x \rightarrow a} f(x)=\inf W(f, a) .
?
Задача 2.4.21

Пусть a∈Ra \in \mathbb {R} и f:(a,+∞)→Rf:(a,+\infty ) \rightarrow \mathbb {R}. Докажите, что предел lim⁡x→+∞f(x)\lim_{x \rightarrow +\infty } f(x) существует тогда и только тогда, когда lim sup⁡x→+∞f(x)=lim inf⁡x→+∞f(x)\limsup_{x \rightarrow +\infty } f(x)=\liminf_{x \rightarrow +\infty } f(x), и в этом случае они все равны между собой.

?
Задача 2.4.22

Пусть f:R→Rf: \mathbb {R} \rightarrow \mathbb {R}. Докажите, что

?
(a)

lim sup⁡sup⁡x→+∞(−f(x))=−lim inf⁡x→+∞f(x),lim sup⁡x→+∞(−f(x))=−lim inf⁡x→+∞f(x)\limsup \sup_{x \rightarrow +\infty }(-f(x))=-\liminf_{x \rightarrow +\infty } f(x), \limsup_{x \rightarrow +\infty }(-f(x))= -\liminf_{x \rightarrow +\infty } f(x).

(b)

lim sup⁡x→+∞(f(−x))=lim sup⁡x→−∞f(x),lim inf⁡x→+∞(f(−x))=lim inf⁡x→−∞f(x)\limsup_{x \rightarrow +\infty }(f(-x))=\limsup_{x \rightarrow -\infty } f(x), \liminf_{x \rightarrow +\infty }(f(-x))= \liminf_{x \rightarrow -\infty } f(x).

Задача 2.4.23

Пусть a∈Ra \in \mathbb {R} и f:(a,+∞)→Rf:(a,+\infty ) \rightarrow \mathbb {R}. Докажите, что lim sup⁡x→+∞f(x)=L\limsup_{x \rightarrow +\infty } f(x)=L тогда и только тогда, когда для любой последовательности {an}\left\{ a_{n}\right\}, сходящейся к +∞+\infty, lim sup⁡x→+∞f(an)=L\limsup_{x \rightarrow +\infty } f\left(a_{n}\right)=L.

?
Задача 2.4.24

Пусть f:(a,+∞)→Rf:(a,+\infty ) \rightarrow \mathbb {R}. Докажите, что

lim sup⁡x→∞f(x)=sup⁡W(f,∞) и lim inf⁡x→∞f(x)=inf⁡W(f,∞) \limsup _{x \rightarrow \infty } f(x)=\sup W(f, \infty ) \quad \text{ и } \quad \liminf _{x \rightarrow \infty } f(x)=\inf W(f, \infty )
?
Задача 2.4.25

Докажите теорему 2.4.20.

Теорема 2.4.20: Пусть ff — дифференцируемая функция на множестве E⊂RE \subset \mathbb {R}. Тогда ff липшицева с константой K=sup⁡{∣f′(x)∣:x∈E}K = \sup \left\{ \left|f'(x)\right| : x \in E\right\} тогда и только тогда, когда она имеет ограниченную производную.

?
Задача 2.4.26

Предположим, что ff — вещественнозначная липшицева функция на (a,b)(a, b). Докажите, что ff равномерно непрерывна на (a,b)(a, b).

?
Задача 2.4.27

Пусть ( M,dM, d ) — метрическое пространство и x0∈Mx_{0} \in M. Пусть f:M→Rf: M \rightarrow \mathbb {R} определена как f(x)=d(x,x0)f(x)=d\left(x, x_{0}\right). Докажите, что ff равномерно непрерывна.

?
Задача 2.4.28

Приведите пример функции, которая непрерывна, но не равномерно непрерывна. Приведите пример функции, которая равномерно непрерывна, но не липшицева.

?
Задача 2.4.29

Приведите пример функции, липшицевой на множестве EE, но не дифференцируемой в точке x∈Ex \in E.

?
Задача 2.4.30

Пусть ff — вещественнозначная функция, определённая на множестве A⊂R2A \subset \mathbb {R}^{2}, такая, что она является непрерывной функцией от xx (при фиксированном yy), и пусть ff удовлетворяет условию Липшица по yy, т.е. предположим, что существует M>0M>0 такое, что

∣f(x,y1)−f(x,y2)∣≤M∣y1−y2∣ \left|f\left(x, y_{1}\right)-f\left(x, y_{2}\right)\right| \leq M\left|y_{1}-y_{2}\right|

для всех (x,y1),(x,y2)∈A\left(x, y_{1}\right),\left(x, y_{2}\right) \in A. Докажите, что ff непрерывна на AA.

?
Задача 2.4.31

Пусть d(x,y)=∣x−y∣d(x, y)=\sqrt{\left|x-y\right|}, пусть ρ(x,y)=∣x−y∣\rho (x, y)=\left|x-y\right|, и рассмотрим ff : ([0,1],d)→([0,1],ρ)([0,1], d) \rightarrow ([0,1], \rho ), определённую как f(x)=xαf(x)=x^{\alpha }. Определите, при каких значениях α>0\alpha >0 функция ff липшицева.

?
Задача 2.4.32

Пусть (C[0,1],d)(C[0,1], d) — метрическое пространство с d(f,g)=sup⁡{∣f(x)−g(x)∣:x∈[0,1]}d(f, g)=\sup \left\{ \left|f(x)-g(x)\right|: x \in [0,1]\right\}, и пусть F:C[0,1]→C[0,1]F: C[0,1] \rightarrow C[0,1] определена как F(f)=f2F(f)=f^{2}. Определите, является ли FF липшицевой.

?
Задача 2.4.33

Пусть ( C[0,1],dC[0,1], d ) — метрическое пространство с d(f,g)=sup⁡{∣f(x)−g(x)∣:x∈[0,1]}d(f, g)=\sup \left\{ \left|f(x)-g(x)\right|: x \in [0,1]\right\}, и пусть F:C[0,1]→C[0,1]F: C[0,1] \rightarrow C[0,1] определена как F(f)=sin⁡fF(f)=\sin f. Определите, является ли FF липшицевой.

?
Задача 2.4.34

Пусть d:R→Rd: \mathbb {R} \rightarrow \mathbb {R} определена как d(x,y)=1d(x, y)=1, если x≠yx \neq y, и d(x,y)=0d(x, y)=0, если x=yx=y, пусть ρ(x,y)=∣x−y∣\rho (x, y)=\left|x-y\right|, и рассмотрим f:(R,d)→(R,ρ)f:(\mathbb {R}, d) \rightarrow (\mathbb {R}, \rho ), определённую как f(x)=x2f(x)=x^{2}. Определите, равномерно ли непрерывна ff. Является ли она липшицевой?

?
§
Задача 2.5.1

Пусть ( M,dM, d ) — метрическое пространство и A,B,C⊂MA, B, C \subset M. Докажите, что если AA плотно в BB и BB плотно в CC, то AA плотно в CC.

?
Задача 2.5.2

Пусть ( M,dM, d ) — метрическое пространство и A⊂MA \subset M. Докажите, что AA плотно в MM тогда и только тогда, когда внутренность ACA^{C} пуста.

?
Задача 2.5.3

Пусть ( M,dM, d ) — метрическое пространство, пусть A,BA, B — плотные подмножества MM, и предположим, что AA открыто.

?
(a)

Докажите, что: A∩BA \cap B плотно в MM.

(b)

Приведите пример, показывающий, что (a) неверно, если отбросить предположение об открытости AA.

Задача 2.5.4

Пусть ( M,dM, d ) — полное метрическое пространство и {Gn}n=1∞\left\{ G_{n}\right\}_{n=1}^{\infty } — открытые плотные подмножества XX. Докажите, что пересечение ∩n=1∞Gn\cap_{n=1}^{\infty } G_{n} плотно в MM.

?
Задача 2.5.5

Пусть GG — открытое плотное множество в метрическом пространстве MM, и пусть NN — множество с пустой внутренностью. Докажите, что G\NG \backslash N плотно в MM

?
Задача 2.5.6

Пусть A\mathcal{A} — семейство всех нигде не плотных подмножеств метрического пространства (M,d)(M, d). Докажите, что:

?
(a)

Если A∈AA \in \mathcal{A}, то Aˉ∈A\bar{A} \in \mathcal{A}.

(b)

Если {Ak}k=1n⊂A\left\{ A_{k}\right\}_{k=1}^{n} \subset \mathcal{A}, то ∪k=1nAk∈A\cup_{k=1}^{n} A_{k} \in \mathcal{A}.

(c)

Если A∈AA \in \mathcal{A} и B⊂AB \subset A, то B∈AB \in \mathcal{A}.

(d)

Приведите пример, показывающий, что A\mathcal{A} не замкнуто относительно счётных объединений.

Задача 2.5.7

Пусть AA — замкнутое подмножество метрического пространства ( M,dM, d ). Докажите, что граница AA нигде не плотна. Что если AA — открытое множество?

?
Задача 2.5.8

Пусть AA — плотное подмножество метрического пространства. Докажите или опровергните: множество ACA^{C} нигде не плотно.

?
Задача 2.5.9

Докажите, что график y=xy=x нигде не плотен в R2\mathbb {R}^{2}.

?
Задача 2.5.10

Докажите, что множество является границей некоторого открытого множества тогда и только тогда, когда оно замкнуто и нигде не плотно.

?
Задача 2.5.11

Пусть AA — замкнутое подмножество метрического пространства такое, что каждая точка AA является предельной точкой как AA, так и ACA^{C}. Докажите, что AA нигде не плотно.

?
Задача 2.5.12

Докажите, что множество AA в метрическом пространстве нигде не плотно тогда и только тогда, когда для каждого открытого множества GG найдётся открытое множество G1⊂GG_{1} \subset G такое, что G1∩A=∅G_{1} \cap A=\varnothing.

?
Задача 2.5.13

Пусть EE — подмножество полного метрического пространства MM, и предположим, что и EE, и ECE^{C} плотны. Докажите, что не более чем одно из них является объединением счётного семейства замкнутых множеств. Заключите, что множество рациональных чисел в [0,1][0,1] не является пересечением счётного семейства открытых множеств.

?
Задача 2.5.14

Пусть MM — полное метрическое пространство без изолированных точек, и пусть {Fn}\left\{ F_{n}\right\} — счётное семейство замкнутых, нигде не плотных множеств. Докажите, что (∪n=1∞Fn)C\left(\cup_{n=1}^{\infty } F_{n}\right)^{C} плотно в MM и несчётно.

?
Задача 2.5.15

Пусть ( M,dM, d ) — полное метрическое пространство без изолированных точек. Докажите, что MM несчётно. Заключите, что множество всех вещественных чисел несчётно.

?
Задача 2.5.16

Докажите, что множество рациональных чисел не является множеством типа GδG_{\delta }.

?
Задача 2.5.17

Пусть ( M,dM, d ) — метрическое пространство. Докажите, что оно второй категории тогда и только тогда, когда, всякий раз, когда M=∪n=1∞FnM=\cup_{n=1}^{\infty } F_{n}, где каждое FnF_{n} замкнуто, хотя бы одно из множеств FkF_{k} содержит открытый шар.

?
Задача 2.5.18

Докажите, что если подмножество метрического пространства второй категории, то оно обязательно несчётно. Заключите, что интервал [0,1][0,1] несчётен.

?
Задача 2.5.19

Докажите, что в полном метрическом пространстве множество первой категории тогда и только тогда, когда его дополнение содержит плотное множество типа GδG_{\delta }.

?
Задача 2.5.20

Докажите, что если A⊂RA \subset \mathbb {R} — множество первой категории, то AC+AC=RA^{C}+A^{C}=\mathbb {R}, где AC+AC={x+y:x∈AC,y∈AC}A^{C}+A^{C}=\left\{ x+y: x \in A^{C}, y \in A^{C}\right\}.

?
Задача 2.5.21

Приведите пример метрического пространства, которое второй категории, но не полно.

?
Задача 2.5.22

Пусть ( M,dM, d ) — сепарабельное метрическое пространство и EE — ограниченное подмножество MM. Докажите, что (E,d∣E)(E, d \mid E) сепарабельно.

?
Задача 2.5.23

Докажите, что каждое вполне ограниченное метрическое пространство сепарабельно.

?
Задача 2.5.24

Докажите, что компактное метрическое пространство сепарабельно.

?
Задача 2.5.25

Если PP — бесконечно дифференцируемая функция такая, что для каждого xx найдётся nn с P(n)(x)=0P^{(n)}(x)=0, докажите, что PP — многочлен. (Заметим, что nn зависит от xx.)

?
Задача 2.5.26

Предположим, что f:[0,+∞)→[0,+∞)f:[0,+\infty ) \rightarrow [0,+\infty ) — непрерывная функция со следующим свойством: для всех x∈[0,+∞)x \in [0,+\infty ) последовательность f(x),f(2x),f(3x),…f(x), f(2 x), f(3 x), \ldots стремится к 0. Докажите, что lim⁡t→∞f(t)=0\lim_{t \rightarrow \infty } f(t)=0.

?
Задача 2.5.27

Пусть {fn}\left\{ f_{n}\right\} — последовательность вещественнозначных функций на [0,1][0,1], определённая как f0=f∈C[0,1]f_{0}=f \in C[0,1], а fnf_{n} — первообразная fn−1f_{n-1}. Предположим, что для каждого x∈[0,1]x \in [0,1] найдётся n∈Nn \in \mathbb {N}, для которого fn(x)=0f_{n}(x)=0. Докажите, что f=0f=0.

?
Задача 2.5.28

Пусть ( M,dM, d ) — метрическое пространство, пусть {fn}\left\{ f_{n}\right\} — последовательность непрерывных вещественнозначных функций на MM, и предположим, что существует множество A⊂MA \subset M второй категории такое, что sup⁡{∣fn(x)∣:n∈N}\sup \left\{ \left|f_{n}(x)\right|: n \in \mathbb {N}\right\} конечен для каждого x∈Ax \in A. Докажите, что существуют шар B(x0,r)B\left(x_{0}, r\right) и K>0K>0 такие, что ∣fn(x)∣≤K\left|f_{n}(x)\right| \leq K для всех n∈Nn \in \mathbb {N} и всех x∈B(x0,r)x \in B\left(x_{0}, r\right).

?
Задача 2.5.29

Пусть ( M,dM, d ) — метрическое пространство и пусть GG — открытое подмножество MM. Докажите, что GG второй категории в себе.

?
Задача 2.5.30

Пусть ( M,dM, d ) — метрическое пространство и пусть GG — подмножество MM типа GδG_{\delta }. Докажите, что GG второй категории в себе.

?
Задача 2.5.31

Пусть {fn}⊂C[0,1]\left\{ f_{n}\right\} \subset C[0,1] сходится к вещественнозначной функции ff для всех x∈[0,1]x \in [0,1]. Докажите, что для каждого ε>0\varepsilon >0 найдётся плотное подмножество Dε⊂[0,1]D_{\varepsilon } \subset [0,1] такое, что если x∈Dεx \in D_{\varepsilon }, то найдётся открытый интервал II, содержащий xx, и положительное целое число NxN_{x} такие, что для всех n>Nxn>N_{x}, sup⁡{∣fn(y)−f(y)∣:y∈I}≤ε\sup \left\{ \left|f_{n}(y)-f(y)\right|: y \in I\right\} \leq \varepsilon.

?