4

Линейные операторы и линейные функционалы

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

Пусть (X,∥.∥1)\left(X,\left\| .\right\|_{1}\right) и (Y,∥.∥2)\left(Y,\left\| .\right\|_{2}\right) — нормированные пространства, и T∈B(X,Y)T \in \mathcal{B}(X, Y). Определим ∥T∥\left\| T\right\| как

∥T∥:=inf⁡x∈X{M:∥Tx∥2≤M∥x∥1}. \left\| T\right\| : = \inf _{x \in X}\left\{ M:\left\| T x\right\| _{2} \leq M\left\| x\right\| _{1}\right\} .
?
(a)

Покажите, что

∥T∥=sup⁡∥x∥1=1∥Tx∥2=sup⁡∥x∥1≤1∥Tx∥2=sup⁡x∈X,x≠0∥Tx∥2∥x∥1. \left\| T\right\| = \sup _{\left\| x\right\| _{1} = 1}\left\| T x\right\| _{2} = \sup _{\left\| x\right\| _{1} \leq 1}\left\| T x\right\| _{2} = \sup _{x \in X, x \neq 0} \frac{\left\| T x\right\| _{2}}{\left\| x\right\| _{1}}.
(b)

Покажите, что

∥T∥=sup⁡∥x∥1<1∥Tx∥2. \left\| T\right\| = \sup _{\left\| x\right\| _{1} < 1}\left\| T x\right\| _{2}.
Задача 46

Пусть H=ℓ2H = \ell^{2} — хорошо известное гильбертово пространство. Рассмотрим левый сдвиг, определённый как

L:ℓ2→ℓ2,x=(x1,x2,x3,…)↦Lx=(x2,x3,…). L: \ell ^{2} \rightarrow \ell ^{2}, \quad x = \left(x_{1}, x_{2}, x_{3}, \ldots \right) \mapsto L x = \left(x_{2}, x_{3}, \ldots \right).
?
(a)

Покажите, что LL — линейный ограниченный оператор. Найдите ∥L∥\left\| L\right\|.

(b)

Определите правый сдвиг и ответьте на тот же вопрос, что и в пункте (a).

Задача 47

Пусть X=C[0,1]X = C[0,1] с max-нормой (равномерной нормой). Определим интегральный оператор

K:X→X определяемый как Kf(x)=∫0xf(y)dy. K: X \rightarrow X \quad \text{ определяемый как } \quad K f(x) = \int _{0}^{x} f(y) d y.

Покажите, что KK ограничен. Найдите ∥K∥\left\| K\right\|.

?
Задача 48

Пусть X=L2[0,1]X = L^{2}[0,1] с нормой ∥.∥2\left\| .\right\|_{2}. Определим интегральный оператор

A:X→X определяемый как Af(x)=∫0xf(y)dy A: X \rightarrow X \quad \text{ определяемый как } \quad A f(x) = \int _{0}^{x} f(y) d y

Покажите, что AA ограничен. Найдите ∥A∥\left\| A\right\|.

?
Задача 49

Пусть a,ba, b — вещественные числа такие, что a<ba < b. Рассмотрим гильбертово пространство L2[a,b]L^{2}[a, b] над R\mathbb {R} и оператор T:L2[a,b]→RT: L^{2}[a, b] \rightarrow \mathbb {R}, определённый как

Tf=∫abf(x)dx,f∈L2[a,b] T f = \int _{a}^{b} f(x) d x, \quad f \in L^{2}[a, b]
?
(a)

Покажите, что TT ограничен. Вычислите ∥T∥\left\| T\right\|.

(b)

Согласно теореме Рисса, существует функция g∈L2[a,b]g \in L^{2}[a, b] такая, что

Tf=⟨f,g⟩ для всех f∈L2[a,b] T f = \langle f, g\rangle \text{ для всех } f \in L^{2}[a, b]

Найдите такую функцию gg и проверьте, что ∥g∥L2=∥T∥\left\| g\right\|_{L^{2}} = \left\| T\right\|.

Задача 50

Пусть X,YX, Y — нормированные пространства и T∈B(X,Y)T \in \mathcal{B}(X, Y). Рассмотрим следующее утверждение:

T является изометрией ⇔∥T∥=1.  T \text{ является изометрией } \Leftrightarrow \left\| T\right\| = 1 \text{. }

Согласны ли вы с ним? Почему?

?
Задача 51

Определим T:C[0,1]→C[0,1]T: C[0,1] \rightarrow C[0,1] как

(Tx)(t)=t∫0tx(s)ds (T x)(t) = t \int _{0}^{t} x(s) d s
?
(a)

Докажите, что TT — ограниченный линейный оператор. Вычислите ∥T∥\left\| T\right\|.

(b)

Докажите, что обратный оператор T−1:Image⁡(T)→C[0,1]T^{-1}: \operatorname {Image}(T) \rightarrow C[0,1] существует, но не ограничен.

Задача 53

Пусть 1<p<∞1 < p < \infty и qq — сопряжённый показатель. Для f∈Lp(0,∞)f \in L^{p}(0, \infty ) положим

(Tf)(x)=1x∫0xf(t)dt=∫01f(tx)dt (T f)(x) = \frac{1}{x} \int _{0}^{x} f(t) d t = \int _{0}^{1} f(t x) d t

Покажите, что

?
(a)

TfT f корректно определена на (0,∞)(0, \infty ) и TfT f непрерывна по xx.

(b)

Tf∈Lp(0,∞)T f \in L^{p}(0, \infty ).

(c)

TT — ограниченный линейный оператор из Lp(0,∞)L^{p}(0, \infty ) в себя. Вычислите его норму. (Указание: используйте fn=x−1/pχ{1≤x≤n}f_{n} = x^{-1 / p} \chi_{\left\{ 1 \leq x \leq n\right\} }.)

Задача 54

Пусть (cj)j=1∞\left(c_{j}\right)_{j = 1}^{\infty } — последовательность комплексных чисел. Определим оператор DD на ℓ2\ell^{2} как

Dx=(c1x1,c2x2,…) для x=(x1,x2,…)∈ℓ2. D x = \left(c_{1} x_{1}, c_{2} x_{2}, \ldots \right) \text{ для } x = \left(x_{1}, x_{2}, \ldots \right) \in \ell ^{2}.

Докажите, что DD ограничен тогда и только тогда, когда (cj)j=1∞\left(c_{j}\right)_{j = 1}^{\infty } ограничена, и в этом случае ∥D∥=sup⁡j∣cj∣\left\| D\right\| = \sup_{j}\left|c_{j}\right|.

?
Задача 55

Докажите, что B(F,Y)\mathcal{B}(\mathbb {F}, Y) не является банаховым пространством, если YY не полно. Указание: возьмите фундаментальную последовательность (yn)\left(y_{n}\right) в YY, которая не сходится, и рассмотрите последовательность операторов (Bn)(B_{n}), определённую как:

Bnλ:=λyn;λ∈F. B_{n} \lambda : = \lambda y_{n} ; \quad \lambda \in \mathbb {F}.
?
Задача 56

Пусть T1,T2,…T_{1}, T_{2}, \ldots — следующие ограниченные линейные операторы ℓ1→ℓ∞\ell^{1} \rightarrow \ell^{\infty }:

T1(x1,x2,x3,…)=(x1,x1,x1,x1,…)T2(x1,x2,x3,…)=(x1,x2,x2,x2,…)T3(x1,x2,x3,…)=(x1,x2,x3,x3,…)… и т.д.  \begin{aligned} & T_{1}\left(x_{1}, x_{2}, x_{3}, \ldots \right) = \left(x_{1}, x_{1}, x_{1}, x_{1}, \ldots \right) \\ & T_{2}\left(x_{1}, x_{2}, x_{3}, \ldots \right) = \left(x_{1}, x_{2}, x_{2}, x_{2}, \ldots \right) \\ & T_{3}\left(x_{1}, x_{2}, x_{3}, \ldots \right) = \left(x_{1}, x_{2}, x_{3}, x_{3}, \ldots \right) \ldots \text{ и т.д. } \end{aligned}

Докажите, что последовательность (Tn)(T_{n}) сильно операторно сходится. Также докажите, что (Tn)\left(T_{n}\right) не сходится равномерно операторно.

?
Задача 57

Пусть H1H_{1} и H2H_{2} — два гильбертовых пространства. Пусть {a1,…,an}\left\{ a_{1}, \ldots , a_{n}\right\} — ортонормированная система в H1H_{1}, а {b1,…,n}\left\{ b_{1}, \ldots , n\right\} — ортонормированная система в H2H_{2}, и λ1,…,λn∈K\lambda_{1}, \ldots , \lambda_{n} \in \mathbb {K}. Рассмотрим оператор

U:H1→H2 определённый формулой U(x)=∑i=1λibi⟨x,ai⟩. U: H_{1} \rightarrow H_{2} \quad \text{ определённый формулой } \quad U(x) = \sum _{i = 1} \lambda _{i} b_{i} \left\langle x, a_{i} \right\rangle .

Вычислите ∥U∥\left\| U\right\|.

?
Задача 58
?
(a)

Пусть XX — гильбертово пространство. Пусть a,b∈Ha, b \in H — два ненулевых ортогональных элемента. Рассмотрим оператор

U:H→H,U(x)=a⟨x,b⟩+b⟨x,a⟩. U: H \rightarrow H, \quad U(x) = a\langle x, b\rangle +b\langle x, a\rangle .

Вычислите ∥U∥\left\| U\right\|.

(b)

Рассмотрим оператор T:L2[0,π]→L2[0,π]T: L^{2}[0, \pi ] \rightarrow L^{2}[0, \pi ], определённый формулой

(Tf)(x)=sin⁡x∫0πf(t)cos⁡tdt+cos⁡x∫0πf(t)sin⁡tdt (T f)(x) = \sin x \int _{0}^{\pi } f(t) \cos t d t+\cos x \int _{0}^{\pi } f(t) \sin t d t

Вычислите ∥T∥\left\| T\right\|.

Задача 59
?
(a)

Пусть HH — гильбертово пространство и {e1,e2}⊂H\left\{ e_{1}, e_{2}\right\} \subset H — ортонормированная система. Пусть

A=[abcd] A = \left[\begin{smallmatrix} a & b \\ c & d \end{smallmatrix}\right]

— скалярная квадратная матрица. Рассмотрим операторы U,V:H→HU, V: H \rightarrow H, определённые формулой

U(x)=a⟨x,e1⟩e1+b⟨x,e2⟩e2V(x)=c⟨x,e1⟩e1+d⟨x,e2⟩e2 \begin{aligned} & U(x) = a \left\langle x, e_{1} \right\rangle e_{1}+b \left\langle x, e_{2} \right\rangle e_{2} \\ & V(x) = c \left\langle x, e_{1} \right\rangle e_{1}+d \left\langle x, e_{2} \right\rangle e_{2} \end{aligned}

Докажите, что

∥U+V∥2+∥U−V∥2=2(∥U∥2+∥V∥2) \left\| U+V\right\| ^{2}+\left\| U-V\right\| ^{2} = 2\left(\left\| U\right\| ^{2}+\left\| V\right\| ^{2}\right)

тогда и только тогда, когда

(max⁡{∣a+c∣,∣b+d∣})2+(max⁡{∣a−c∣,∣b−d∣})2=2(max⁡{∣a∣,∣b∣}2+max⁡{∣c∣,∣d∣}2). (\max \left\{ \left|a+c\right|,\left|b+d\right|\right\} )^{2}+(\max \left\{ \left|a-c\right|,\left|b-d\right|\right\} )^{2} = 2\left(\max \left\{ \left|a\right|,\left|b\right|\right\} ^{2}+\max \left\{ \left|c\right|,\left|d\right|\right\} ^{2}\right).
(b)

Докажите, что если dim⁡H≥2\operatorname {dim} H \geq 2, то B(H)\mathcal{B}(H) не является гильбертовым пространством

Задача 60

Сопряжённое пространство к ℓ1\ell^{1} — это ℓ∞\ell^{\infty }, то есть (ℓ1)∗=ℓ∞\left(\ell^{1}\right)^{*} = \ell^{\infty }.

?
Задача 61

Сопряжённое пространство к ℓp\ell^{p} — это ℓq\ell^{q}, то есть (ℓp)∗=ℓq\left(\ell^{p}\right)^{*} = \ell^{q}, здесь 1<p<∞1 < p < \infty и 1p+1q=1\frac{1}{p}+\frac{1}{q} = 1.

?
Задача 62

Сопряжённое пространство к c0c_{0} — это ℓ1\ell^{1}, то есть (c0)∗=ℓ1\left(c_{0}\right)^{*} = \ell^{1}.

?
Задача 63

Пусть XX — нормированное пространство, а f,gf, g — ненулевые линейные функционалы на XX. Покажите, что

ker⁡(f)=ker⁡(g)⟺f=cg для некоторого ненулевого скаляра c. \operatorname {ker}(f) = \operatorname {ker}(g) \Longleftrightarrow f = c g \quad \text{ для некоторого ненулевого скаляра } c.
?
Задача 64

Пусть XX — нормированное пространство, а ff — ненулевой линейный функционал на XX. Покажите, что ff непрерывен тогда и только тогда, когда ker⁡(f)\operatorname {ker}(f) замкнуто.

?
Задача 65

Пусть ZZ — подпространство нормированного пространства XX, и y∈Xy \in X. Пусть d=d(y,Z)d = d(y, Z). Докажите, что существует Λ∈X∗\Lambda \in X^{*} такой, что ∥Λ∥≤1,Λ(y)=d\left\| \Lambda \right\| \leq 1, \Lambda (y) = d и Λ(z)=0\Lambda (z) = 0 для всех z∈Zz \in Z.

?
Задача 66

Пусть XX — нормированное пространство, а (xn)\left(x_{n}\right) — последовательность в XX. Положим V:=Span⁡{x1,x2,…}V: = \operatorname {Span}\left\{ x_{1}, x_{2}, \ldots \right\}. Пусть WW — множество всех непрерывных f∈X∗f \in X^{*} таких, что f(xn)=0,∀n∈Nf\left(x_{n}\right) = 0, \forall n \in \mathbb {N}. Докажите, что

Vˉ={x∈X:f(x)=0,∀f∈W}. \bar{V} = \left\{ x \in X: f(x) = 0, \forall f \in W\right\} .
?
Задача 67

Пусть XX — нормированное пространство и {x1,…,xn}⊂X\left\{ x_{1}, \ldots , x_{n}\right\} \subset X — линейно независимая система. Докажите, что для любых α1,…,αn∈K\alpha_{1}, \ldots , \alpha_{n} \in \mathbb {K} существует x∗∈X∗x^{*} \in X^{*} такой, что

x∗(xi)=αi,∀i∈{1,…,n} x^{*}\left(x_{i}\right) = \alpha _{i}, \forall i \in \left\{ 1, \ldots , n\right\}
?
Задача 68

Пусть XX — нормированное пространство и Y⊂XY \subset X — линейное подпространство. Для x0∈X\Yx_{0} \in X \backslash Y определим

f:Span⁡{Y,x0}→K,f(y+λx0)=λ,∀y∈Y,∀λ∈K. f: \operatorname {Span}\left\{ Y, x_{0}\right\} \rightarrow \mathbb {K}, f\left(y+\lambda x_{0}\right) = \lambda , \forall y \in Y, \forall \lambda \in \mathbb {K}.
?
(a)

Докажите, что ff корректно определён и линеен.

(b)

Докажите, что ff непрерывен тогда и только тогда, когда x0∉Yˉx_{0} \notin \bar{Y}.

(c)

Докажите, что Yˉ=⋂{ker⁡x∗:x∗∈X∗,Y⊂ker⁡x∗}\bar{Y} = \bigcap \left\{ \operatorname {ker} x^{*}: x^{*} \in X^{*}, Y \subset \operatorname {ker} x^{*}\right\}.