10.7

Пространство C(X)C(X)

[31/19%]
Показать
LaTeX
Задача 10.7.1

Докажите, что ∥f∥:=max⁡{∣f(x)∣:x∈X}\left\| f\right\| :=\max \left\{ \left|f(x)\right|: x \in X\right\} задаёт норму на C(X)C(X), если XX — компактное метрическое пространство.

?
Задача 10.7.2

Пусть XX — компактное метрическое пространство. Докажите, что C(X)C(X) полно в топологии, индуцированной нормой.

В упражнениях 10.7.3-10.7.10 определите, является ли семейство функций F={fn:n∈N}\mathcal{F}= \left\{ f_{n}: n \in \mathbb {N}\right\} равностепенно непрерывным на XX.

?
Задача 10.7.3

fn(x)=x2x2+(1−nx)2,X=[0,1]f_{n}(x)=\frac{x^{2}}{x^{2}+(1-n x)^{2}}, X=[0,1].

?
Задача 10.7.4

fn(x)=x2+1n,X=Rf_{n}(x)=x^{2}+\frac{1}{n}, X=\mathbb {R}.

?
Задача 10.7.5

fn(x)=arctan⁡(nx),X=[0,1]f_{n}(x)=\arctan (n x), X=[0,1].

?
Задача 10.7.6

fn(x)=sin⁡nxn2,X=Rf_{n}(x)=\frac{\sin n x}{n^{2}}, X=\mathbb {R}.

?
Задача 10.7.7

fn(x)=n2x(1−x2)n,X=[0,1]f_{n}(x)=n^{2} x\left(1-x^{2}\right)^{n}, X=[0,1].

?
Задача 10.7.8

fn(x)=x+1nx,X=[1,2]f_{n}(x)=x+\frac{1}{n x}, X=[1,2].

?
Задача 10.7.9

fn(x)=xn,X=[0,1/2]f_{n}(x)=x^{n}, X=[0,1 / 2].

?
Задача 10.7.10

fn(x)=nx1+n3x2,X=[0,1]f_{n}(x)=\frac{n x}{1+n^{3} x^{2}}, X=[0,1].

?
Задача 10.7.11

Определите, является ли семейство функций F={∫0xf(t)dt:f∈C[0,1],∥f∥max ≤1}\mathcal{F}=\left\{ \int_{0}^{x} f(t) d t: f \in C[0,1],\left\| f\right\|_{\text{max }} \leq 1\right\} равностепенно непрерывным на [ 0,1 ].

?
Задача 10.7.12

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

?
Задача 10.7.13

Пусть F\mathcal{F} — семейство непрерывных функций на [0,1][0,1], обладающее тем свойством, что существует M>0M>0 такое, что ∣f(x)∣≤M\left|f(x)\right| \leq M для всех f∈Ff \in \mathcal{F} и всех x∈[0,1]x \in [0,1]. Пусть

F∗={g∈C[0,1]:g(x)=f(0)+∫0xf(t)dt,f∈F} \mathcal{F}^{*}=\left\{ g \in C[0,1]: g(x)=f(0)+\int _{0}^{x} f(t) d t, f \in \mathcal{F}\right\}
?
(a)

Докажите, что замыкание F∗\mathcal{F}^{*} является компактным подмножеством C[0,1]C[0,1].

(b)

Приведите пример, показывающий, что F∗\mathcal{F}^{*} не обязано быть замкнутым, даже если F\mathcal{F} замкнуто.

Задача 10.7.14

Пусть F\mathcal{F} — семейство функций в C1[0,1]C^{1}[0,1], пусть M>0M>0, и предположим, что ∣f′(x)∣≤M\left|f^{\prime }(x)\right| \leq M для всех f∈Ff \in \mathcal{F} и всех x∈[0,1]x \in [0,1]. Докажите, что F\mathcal{F} равностепенно непрерывно.

?
Задача 10.7.15

Пусть F\mathcal{F} — семейство функций в C1[0,1]C^{1}[0,1], пусть x0∈[0,1]x_{0} \in [0,1], пусть M>0M>0, и предположим, что ∣f′(x0)∣≤M\left|f^{\prime }\left(x_{0}\right)\right| \leq M для всех f∈Ff \in \mathcal{F}. Докажите или опровергните: F\mathcal{F} равностепенно непрерывно в точке x0x_{0}.

?
Задача 10.7.16

Семейство F\mathcal{F} вещественнозначных функций на метрическом пространстве XX называется равномерно равностепенно непрерывным, если

∀ε>0∃δ>0∀f∈F∀x,y∈Xd(x,y)<δ⇒∣f(x)−f(y)∣<ε. \forall \varepsilon >0 \quad \exists \delta >0 \quad \forall f \in \mathcal{F} \quad \forall x, y \in X \quad d(x, y)<\delta \Rightarrow \left|f(x)-f(y)\right|<\varepsilon .

Докажите, что если XX компактно, то всякое равностепенно непрерывное семейство непрерывных функций равномерно равностепенно непрерывно.

?
Задача 10.7.17

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

?
Задача 10.7.18

Пусть XX — метрическое пространство, а {fn}\left\{ f_{n}\right\} — последовательность в C(X)C(X), равномерно сходящаяся на XX. Докажите, что {fn}\left\{ f_{n}\right\} равностепенно непрерывна.

?
Задача 10.7.19

Пусть {fn}\left\{ f_{n}\right\} — последовательность в C[a,b]C[a, b]. Обязана ли {fn}\left\{ f_{n}\right\} иметь равномерно сходящуюся подпоследовательность, если:

?
(a)

{fn}\left\{ f_{n}\right\} равностепенно непрерывна?

(b)

{fn}\left\{ f_{n}\right\} равномерно ограничена?

Задача 10.7.20

Для 1≤p<∞1 \leq p<\infty семейство S⊂ℓp\mathcal{S} \subset \ell^{p} называется равносуммируемым, если

∀ε>0∃n∈N∀{xk}∈S∑k=n∞∣xk∣p<ε \forall \varepsilon >0 \quad \exists n \in \mathbb {N} \quad \forall \left\{ x_{k}\right\} \in \mathcal{S} \quad \sum _{k=n}^{\infty }\left|x_{k}\right|^{p}<\varepsilon

Докажите, что S\mathcal{S} компактно тогда и только тогда, когда оно замкнуто, ограничено и равносуммируемо.

?
Задача 10.7.21

Пусть {cn}\left\{ c_{n}\right\} — последовательность неотрицательных чисел в ℓ2\ell^{2}, и пусть S\mathcal{S} — подмножество ℓ2\ell^{2}, состоящее из тех {xn}∈ℓ2\left\{ x_{n}\right\} \in \ell^{2}, которые удовлетворяют условию ∣xn∣≤cn\left|x_{n}\right| \leq c_{n} для всех n∈Nn \in \mathbb {N}. Докажите, что S\mathcal{S} равносуммируемо.

?
Задача 10.7.22

Пусть {fn}⊂C(X)\left\{ f_{n}\right\} \subset C(X), и предположим, что lim⁡nfn(x)=f(x)\lim_{n} f_{n}(x)=f(x) для всех x∈Xx \in X. Докажите, что существует всюду плотное подмножество DD пространства XX такое, что {fn}\left\{ f_{n}\right\} равностепенно непрерывна на DD, а ff непрерывна на DD.

?
Задача 10.7.23

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

Теорема 10.7.10 (теорема Арцела́--Асколи): Пусть XX — компактное метрическое пространство и F⊂C(X)\mathcal{F} \subset C(X). Тогда F\mathcal{F} компактно тогда и только тогда, когда оно замкнуто, равномерно ограничено и равностепенно непрерывно.

?
Задача 10.7.24

Пусть {an}\left\{ a_{n}\right\} — последовательность вещественных чисел в [1,2][1,2], и пусть последовательность {fn}⊂C[0,1]\left\{ f_{n}\right\} \subset C[0,1] определена формулой

fn(x)=1ansin⁡(anx)+cos⁡(x+an). f_{n}(x)=\frac{1}{a_{n}} \sin \left(a_{n} x\right)+\cos \left(x+a_{n}\right) .

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

?
Задача 10.7.25

Пусть KK — непрерывная функция на [0,1]×[0,1][0,1] \times [0,1], и пусть {fn}\left\{ f_{n}\right\} — ограниченная последовательность в C[0,1]C[0,1]; определим

gn(x)=∫01K(x,y)fn(y)dy g_{n}(x)=\int _{0}^{1} K(x, y) f_{n}(y) d y

Докажите, что {gn}\left\{ g_{n}\right\} — последовательность в C[0,1]C[0,1], имеющая сходящуюся подпоследовательность.

?
Задача 10.7.26

Пусть f∈L1(0,1)f \in L^{1}\left(0,1\right), пусть {En}\left\{ E_{n}\right\} — измеримые подмножества [0,1][0,1], и пусть

gn(x)=∫0xχEn(t)f(t)dt g_{n}(x)=\int _{0}^{x} \chi _{E_{n}}(t) f(t) d t

Докажите, что {gn}\left\{ g_{n}\right\} имеет подпоследовательность, равномерно сходящуюся к непрерывной функции на [0,1][0,1].

?
Задача 10.7.27

Пусть {fn}\left\{ f_{n}\right\} — равностепенно непрерывная, равномерно ограниченная последовательность вещественнозначных функций на R\mathbb {R}. Докажите, что существует подпоследовательность {fnk}\left\{ f_{n_{k}}\right\}, поточечно сходящаяся на R\mathbb {R} к непрерывной функции ff на R\mathbb {R}, причём сходимость равномерна на ограниченных подмножествах R\mathbb {R}.

?
Задача 10.7.28

Пусть XX — компактное метрическое пространство. Докажите, что C(X)C(X) сепарабельно.

?
Задача 10.7.29

Пусть μ\mu — знакопеременная борелевская мера на [0,1][0,1] такая, что

∫011x+tdμ(t)=0 \int _{0}^{1} \frac{1}{x+t} d \mu (t)=0

для всех x>1x>1. Покажите, что μ=0\mu =0.

?
Задача 10.7.30

Пусть g:R→[0,+∞)g: \mathbb {R} \rightarrow [0,+\infty ), и предположим, что для f∈C1[0,1]f \in C^{1}[0,1]

I(f):=12∫01(f′(x)+g(x))dx I(f):=\frac{1}{2} \int _{0}^{1}\left(f^{\prime }(x)+g(x)\right) d x

Наконец, пусть F={f∈C1[0,1]:∥f∥≤1}\mathcal{F}=\left\{ f \in C^{1}[0,1]:\left\| f\right\| \leq 1\right\}. Докажите, что существует функция h∈Fh \in \mathcal{F}, минимизирующая I(f)I(f), т.е. I(h)=inf⁡{I(f):f∈F}I(h)=\inf \left\{ I(f): f \in \mathcal{F}\right\}.

?
Задача 10.7.31

Докажите, что семейство конечных сумм вида ∑i=1ngi(x)hi(y)\sum_{i=1}^{n} g_{i}(x) h_{i}(y), где n∈N,gi∈C[0,1]n \in \mathbb {N}, g_{i} \in C[0,1] и hi∈C[0,1]h_{i} \in C[0,1], всюду плотно в C([0,1]×[0,1])C([0,1] \times [0,1]).

?