Глава 6

Линейные операторы

[100/46%]
Показать
LaTeX
§
Задача 6.1

Пусть XX и YY — нормированные пространства, TL(X,Y)T \in \mathcal{L}(X, Y). Доказать что следующие условия эквивалентны:

  1. TT непрерывен в каждой точке пространства XX;

  2. TT непрерывен в нуле;

  3. TT ограничен;

  4. TT равномерно непрерывен на XX (см. определение 1.22).

?
Задача 6.2

Пусть A:C[0,1]C[0,1]A: C[0,1] \rightarrow C[0,1] — положительный линейный оператор, т.е. (Ax)(t)0(A x)(t) \geqslant 0 для всякой неотрицательной функции xC[0,1]x \in C[0,1] и всякого t[0,1]t \in [0,1]. Доказать, что AA непрерывен и A=A(x0(t)1)\left\| A\right\| = \left\| A\left(x_{0}(t) \equiv 1\right)\right\|. (Ср. с задачей 5.54.)

?
Задача 6.3

Доказать, что в гильбертовом пространстве HH норму произвольного ограниченного оператора TB(H)T \in \mathcal{B}(H) можно найти по формуле T=supx=y=1(Tx,y)\left\| T\right\| = \sup_{\left\| x\right\| = \left\| y\right\| = 1}\left|(T x, y)\right|.

?
Задача 6.4

Пусть XX и YY — линейные пространства, X1=(X,X1)X_{1} = \left(X,\left\| \cdot \right\|_{X_{1}}\right), X2=(X,X2),Y1=(Y,Y1)X_{2} = \left(X,\left\| \cdot \right\|_{X_{2}}\right), Y_{1} = \left(Y,\left\| \cdot \right\|_{Y_{1}}\right), а Y2=(Y,Y2)Y_{2} = \left(Y,\left\| \cdot \right\|_{Y_{2}}\right), причём X1X2\left\| \cdot \right\|_{X_{1}} \sim \left\| \cdot \right\|_{X_{2}}, а Y1Y2\left\| \cdot \right\|_{Y_{1}} \sim \left\| \cdot \right\|_{Y_{2}}. Доказать, что

B(X1,Y1)=B(X1,Y2)=B(X2,Y1)=B(X2,Y2) \mathcal{B}\left(X_{1}, Y_{1}\right) = \mathcal{B}\left(X_{1}, Y_{2}\right) = \mathcal{B}\left(X_{2}, Y_{1}\right) = \mathcal{B}\left(X_{2}, Y_{2}\right)

Что можно утверждать, если X1X2\left\| \cdot \right\|_{X_{1}} \prec \left\| \cdot \right\|_{X_{2}}, а Y1Y2\left\| \cdot \right\|_{Y_{1}} \prec \left\| \cdot \right\|_{Y_{2}}? \downarrow

?
Задача 6.5

Пусть XX и YY — банаховы пространства, X0X_{0} — всюду плотное в XX подпространство и AB(X0,Y)A \in \mathcal{B}\left(X_{0}, Y\right). Доказать, что существует единственный линейный ограниченный оператор A~B(X,Y)\tilde{A} \in B(X, Y), совпадающий с оператором AA на X0X_{0}. Доказать, что A~B(X,Y)=AB(X0,Y)\left\| \tilde{A}\right\|_{\mathcal{B}(X, Y)} = \left\| A\right\|_{\mathcal{B}\left(X_{0}, Y\right)}.

?
Задача 6.6

Доказать ограниченность и найти норму следующих операторов вложения:

?
(а)

J:c0cJ: c_{0} \rightarrow c;

(б)

J:clJ: c \rightarrow l_{\infty };

(в)

J:lplq,1p<qJ: l_{p} \rightarrow l_{q}, 1 \leqslant p < q \leqslant \infty;

(г)

J:C[0,1]L[0,1]J: C[0,1] \rightarrow L_{\infty }[0,1];

(д)

J:Lp[0,1]Lq[0,1],1q<pJ: L_{p}[0,1] \rightarrow L_{q}[0,1], 1 \leqslant q < p \leqslant \infty;

(е)

J:C1[0,1]C[0,1]J: C^{1}[0,1] \rightarrow C[0,1];1

Footnotes

  1. В пространстве C1[0,1]C^{1}[0,1] рассмотреть четыре эквивалентные нормы: x1=maxt[0,1]x(t)+maxt[0,1]x(t),x2=max{maxt[0,1]x(t),maxt[0,1]x(t)},x3=x(0)+maxt[0,1]x(t),x4=max{x(0),maxt[0,1]x(t)}\left\| x\right\|_{1} = \max_{t \in [0,1]}|x(t)|+\max_{t \in [0,1]}\left|x^{\prime }(t)\right|,\left\| x\right\|_{2} = \max \left\{ \max_{t \in [0,1]}|x(t)|, \max_{t \in [0,1]}\left|x^{\prime }(t)\right|\right\} ,\left\| x\right\|_{3} = |x(0)| + \max_{t \in [0,1]}\left|x^{\prime }(t)\right|,\left\| x\right\|_{4} = \max \left\{ |x(0)|, \max_{t \in [0,1]}\left|x^{\prime }(t)\right|\right\}.

(ж)
  • J:W21[0,1]C[0,1]J: W_{2}^{1}[0,1] \rightarrow C[0,1];
(з)

J:W21[0,1]L2[0,1]J: W_{2}^{1}[0,1] \rightarrow L_{2}[0,1];

(и)

J:(C1[0,1],2)(C1[0,1],1)J:\left(C^{1}[0,1],\left\| \cdot \right\|_{2}\right) \rightarrow \left(C^{1}[0,1],\left\| \cdot \right\|_{1}\right).

Задача 6.7

Пусть XX и YY — нормированные пространства, AB(X,Y)A \in \mathcal{B}(X, Y). Доказать, что KerA\operatorname {Ker} A — замкнутое подпространство пространства XX. Привести пример, показывающий, что ImA\operatorname {Im} A не обязан быть замкнутым подпространством в YY.

?
Задача 6.8

Доказать, что линейный оператор PP в нормированном пространстве XX является оператором проектирования тогда и только тогда, когда P2=PP^{2} = P.

?
Задача 6.9

Пусть XX — нормированное пространство, X0X_{0} и X1X_{1} — линейные подпространства в нём, причём XX является линейной прямой суммой X0X_{0} и X1X_{1}. Пусть PP — оператор проектирования на X0X_{0} вдоль X1X_{1}. Доказать, что оператор PP ограничен тогда и только тогда, когда прямая сумма X0X_{0} и X1X_{1} является топологической прямой суммой (см. определение 2.21). Доказать, что если хотя бы одно из подпространств X0X_{0} или X1X_{1} конечномерно, то PP ограничен.

?
Задача 6.10

В пространстве C[1,1]C[-1,1] рассмотрим оператор

(Px)(t)=12(x(t)+x(t)) (P x)(t) = \frac{1}{2}(x(t)+x(-t))

Доказать, что этот оператор — ограниченный проектор. Найти его образ, ядро и норму.

?
Задача 6.11

Пусть линейное подпространство X0X_{0} в нормированном пространстве XX дополняемо. Доказать, что тогда само подпространство X0X_{0} и дополняющее его подпространство X1X_{1} замкнуты.

?
Задача 6.12

Существует ли в пространстве C[0,1]C[0,1] ограниченный оператор проектирования

?
(а)

на подпространство Pn[0,1]\mathcal{P}_{n}[0,1];

(б)

на подпространство P[0,1]\mathcal{P}[0,1]?

Задача 6.13

Пусть X0X_{0} — конечномерное подпространство в нормированном пространстве XX. Доказать, что X0X_{0} дополняемо.

?
Задача 6.14

Пусть X0X_{0} — замкнутое подпространство конечной коразмерности в нормированном пространстве XX. Доказать, что X0X_{0} дополняемо.

?
Задача 6.15

Пусть XX и YY — нормированные пространства. Доказать, что оператор AB(X,Y)A \in \mathcal{B}(X, Y) является оператором конечного ранга тогда и только тогда, когда он допускает следующее представление: Ax=k=1nfk(x)ykA x = \sum_{k = 1}^{n} f_{k}(x) y_{k}, где fkXf_{k} \in X^{*}, а ykYy_{k} \in Y. Доказать, что если XX и YY гильбертовы пространства, то оператор AB(X,Y)A \in \mathcal{B}(X, Y) является оператором конечного ранга тогда и только тогда, когда он допускает представление Ax=k=1nsk(x,ψk)φkA x = \sum_{k = 1}^{n} s_{k}\left(x, \psi_{k}\right) \varphi_{k}, где {ψk}1n\left\{ \psi_{k}\right\}_{1}^{n} — ортонормированная система в X,{φk}1nX,\left\{ \varphi_{k}\right\}_{1}^{n} — ортонормированная система в YY, а skCs_{k} \in \mathbb {C} (ср. с задачей 12.79).

?
Задача 6.16

Найти норму, образ и ядро оператора AB(X,Y),Ax=f(x)yA \in \mathcal{B}(X, Y), A x = f(x) y, где fXf \in X^{*} — фиксированный ненулевой функционал, а yYy \in Y — фиксированный ненулевой вектор.

?
Задача 6.17

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

?
(а)

AB(c),A(x1,x2,)=(y1,y2,)A \in \mathcal{B}(c), A\left(x_{1}, x_{2}, \ldots \right) = \left(y_{1}, y_{2}, \ldots \right), где yn=1nk=1xkk2y_{n} = \frac{1}{n} \sum_{k = 1}^{\infty } \frac{x_{k}}{k^{2}};

(б)

AB(C[0,π]),(Ax)(t)=0πsin(t+s)x(s)dsA \in \mathcal{B}(C[0, \pi ]),(A x)(t) = \int_{0}^{\pi } \sin (t+s) x(s) d s;

(в)

AB(L2[0,1]),(Ax)(t)=01(1+s+t+2st+2t2+2s2)x(s)dsA \in \mathcal{B}\left(L_{2}[0,1]\right),(A x)(t) = \int_{0}^{1}\left(1+s+t+2 s t+2 t^{2}+2 s^{2}\right) x(s) d s. Найти их образ и ядро. Оценить норму.

Задача 6.18

Найти точное значение нормы оператора AA из примера 6.2.

?
Задача 6.19

Доказать, что оператор A(x1,x2,)=(λ1x1,λ2x2,)A\left(x_{1}, x_{2}, \ldots \right) = \left(\lambda_{1} x_{1}, \lambda_{2} x_{2}, \ldots \right) ограничен в пространстве VV тогда и только тогда, когда {λn}1l\left\{ \lambda_{n}\right\}_{1}^{\infty } \in l_{\infty }. Найти его норму и ядро в каждом из пространств в зависимости от последовательности {λn}1\left\{ \lambda_{n}\right\}_{1}^{\infty }.

?
(а)

V=lp,p[1,)V = l_{p}, p \in [1, \infty );

(б)

V=c0V = c_{0};

(в)

V=lV = l_{\infty }

Задача 6.20

Найти норму оператора

AB(L2[π,π]),(Ax)(t)=ππnZ2nein(ts)x(s)ds A \in \mathcal{B}\left(L_{2}[-\pi , \pi ]\right), \quad (A x)(t) = \int _{-\pi }^{\pi } \sum _{n \in \mathbb {Z}} 2^{-\left|n\right|} e^{i n(t-s)} x(s) d s
?
Задача 6.21

Доказать, что оператор из задачи 6.19 сюръективен в каждом из пространств а)-в) тогда и только тогда, когда infn1λn>0\inf_{n \geqslant 1}\left|\lambda_{n}\right| > 0. В случаях

?
(а)

и

(б)

доказать, что его образ всюду плотен в соответствующем пространстве тогда и только тогда, когда все числа λn\lambda_{n} отличны от нуля. В случае

(в)

доказать, что его образ всюду плотен в соответствующем пространстве тогда и только тогда, когда infn1λn>0\inf_{n \geqslant 1}\left|\lambda_{n}\right| > 0.

Задача 6.22

Доказать, что оператор из задачи 6.19 является оператором проектирования в каждом из пространств а)-в) тогда и только тогда, когда λn{0,1}\lambda_{n} \in \left\{ 0,1\right\} для любого nNn \in \mathbb {N}.

?
Задача 6.23

Доказать, что операторы правого и левого сдвига

Tr:(x1,x2,)(0,x1,x2,),Tl(x1,x2,)(x2,x3,) T_{r}:\left(x_{1}, x_{2}, \ldots \right) \mapsto \left(0, x_{1}, x_{2}, \ldots \right), \quad T_{l}\left(x_{1}, x_{2}, \ldots \right) \mapsto \left(x_{2}, x_{3}, \ldots \right)

ограничены в пространствах lp,p[1,]l_{p}, p \in [1, \infty ], с и c0c_{0}. Найти норму, образ и ядро этих операторов в каждом из пространств.

?
Задача 6.24

Доказать, что оператор умножения на непрерывную функцию a(t)a(t) ограничен в пространстве

?
(а)

L[0,1]L_{\infty }[0,1];

(б)

C[0,1]C[0,1]. Найти его норму и ядро в каждом из пространств. При каких условиях на aa оператор AA инъективен?

Задача 6.25

Доказать, что оператор умножения на измеримую функцию a(t)a(t) ограничен в пространствах Lp[0,1],p[1,]L_{p}[0,1], p \in [1, \infty ], тогда и только тогда, когда aL[0,1]a \in L_{\infty }[0,1]. Найти его норму и ядро в каждом из пространств.

?
Задача 6.26

Пусть AA — оператор умножения на непрерывную функцию a(t)a(t), действующий в пространстве C[0,1]C[0,1]. Доказать, что если функция aa не обращается в ноль на отрезке [0,1][0,1], то оператор AA сюръективен, а если aa имеет нули, то оператор AA не сюръективен и, более того, замыкание его образа не совпадает с пространством C[0,1]C[0,1].

?
Задача 6.27

Пусть AA — оператор умножения на функцию aL[0,1]a \in L_{\infty }[0,1], действующий в пространстве Lp[0,1]L_{p}[0,1], где p[1,)p \in [1, \infty ). Доказать, что если essinft[0,1]a(t)>0\underset {t \in [0,1]}{\operatorname {ess} \inf }\left|a(t)\right| > 0, то оператор AA сюръективен. 1 Доказать, что если essinft[0,1]a(t)=0\underset {t \in [0,1]}{\operatorname {ess} \inf }\left|a(t)\right| = 0, но μ({t[0,1]:a(t)=0})=0\mu (\left\{ t \in [0,1]: a(t) = 0\right\} ) = 0, то оператор AA не сюръективен, но его образ всюду плотен в Lp[0,1]L_{p}[0,1]. Доказать, что если μ({t[0,1]:a(t)=0})>0\mu (\left\{ t \in [0,1]: a(t) = 0\right\} ) > 0, то ImALp[0,1]\overline{\operatorname {Im} A} \neq L_{p}[0,1].

Footnotes

  1. Здесь essinft[0,1]f(t):=esssupt[0,1](f(t))\underset {t \in [0,1]}{\operatorname {ess} \inf } f(t) : = - \underset {t \in [0,1]}{\operatorname {ess} \sup }(-f(t))

?
Задача 6.28

Пусть оператор умножения на независимую переменную (Ax)(t)=tx(t)(A x)(t) = t x(t) действует в пространстве

?
(а)

C[0,1]C[0,1];

(б)

Lp[0,1],p[1,]L_{p}[0,1], p \in [1, \infty ];

(в)
  • W21[0,1]W_{2}^{1}[0,1].

Найти норму и ядро этого оператора. Выяснить, сюръективен ли оператор и совпадает ли замыкание образа со всем пространством. \downarrow

Задача 6.29

Доказать, что оператор интегрирования (Ax)(t)=0tx(s)ds(A x)(t) = \int_{0}^{t} x(s) d s ограничен

?
(а)

в Cn[0,1],n=0,1,2,C^{n}[0,1], n = 0,1,2, \ldots;

(б)

в Lp[0,1],p[1,];L_{p}[0,1], p \in [1, \infty ] ;

(в)

как оператор из Cn[0,1]C^{n}[0,1] в Cn+1[0,1],n=0,1,C^{n+1}[0,1], n = 0,1, \ldots

Найти его образ и ядро в каждом из пространств. Найти его норму (в пунктах а) и в) считать, что пространство Cn[0,1]C^{n}[0,1] снабжено нормой x1=k=0nx(k)C[0,1]\left\| x\right\|_{1} = \sum_{k = 0}^{n}\left\| x^{(k)}\right\|_{C[0,1]}, а в пункте б) ограничиться случаем p=1p = 1). Доказать, что (Anx)(t)=0t(ts)n1(n1)!x(s)ds,n=1,2,3,\left(A^{n} x\right)(t) = \int_{0}^{t} \frac{(t-s)^{n-1}}{(n-1)!} x(s) d s, n = 1,2,3, \ldots

Задача 6.30

Доказать, что оператор дифференцирования Ax=xA x = x^{\prime } ограничен как оператор

?
(а)

из Cn[0,1]C^{n}[0,1] в Cn1[0,1],n=1,2,;C^{n-1}[0,1], n = 1,2, \ldots ;

(б)

из W21[0,1]W_{2}^{1}[0,1] в L2[0,1]L_{2}[0,1].

Найти его образ, ядро и норму (в пункте а) считать, что пространство Cn[0,1]C^{n}[0,1] снабжено нормой x1=k=0nx(k)C[0,1]\left\| x\right\|_{1} = \sum_{k = 0}^{n}\left\| x^{(k)}\right\|_{C[0,1]}).

Задача 6.31

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

Footnotes

  1. Т. е. функции f:CCf: \mathbb {C} \rightarrow \mathbb {C}, голоморфные во всей комплексной плоскости.

?
Задача 6.32

Доказать, что оператор (AKx)(t)=abK(t,s)x(s)ds\left(A_{K} x\right)(t) = \int_{a}^{b} K(t, s) x(s) d s, K(t,s)C([a,b]2)K(t, s) \in C\left([a, b]^{2}\right), ограничен

?
(а)

в C[a,b]C[a, b];

(б)

в L1[a,b]L_{1}[a, b];

(в)

как оператор из L1[a,b]L_{1}[a, b] в C[a,b]C[a, b]. Найти его норму.

Задача 6.33

Рассмотрим интегральный оператор Харди

(Ax)(t)=1t0tx(s)ds (A x)(t) = \frac{1}{t} \int _{0}^{t} x(s) d s
?
(а)

Доказать, что этот оператор ограничен в пространстве Lp[0,1]L_{p}[0,1] при p(1,)p \in (1, \infty ) и не ограничен в L1[0,1]L_{1}[0,1].

(б)
  • Доказать, что для каждого p(1,)AB(Lp[0,1])=pp1p \in (1, \infty )\left\| A\right\|_{\mathcal{B}\left(L_{p}[0,1]\right)} = \frac{p}{p-1}.
(в)

Доказать, что оператор AA переводит непрерывные функции в непрерывные и AB(C[0,1])=1\left\| A\right\|_{\mathcal{B}(C[0,1])} = 1 (при этом полагаем (Ax)(0):=x(0)(A x)(0): = x(0)).

Задача 6.34

При каких вещественных rr оператор Харди (6.4) ограничен в пространстве L2[0,1]L_{2}[0,1]?

?
Задача 6.35

При каких вещественных rr оператор Римана-Лиувилля (6.3) ограничен в пространстве L2[0,1]L_{2}[0,1]?

?
Задача 6.36

Пусть функция K(t,s)K(t, s), определенная при t,s[0,+)t, s \in [0,+\infty ), неотрицательна и однородна со степенью однородности -1 (т.е. K(λt,λs)=λ1K(t,s)K(\lambda t, \lambda s) = \lambda^{-1} K(t, s) для любого λ>0\lambda > 0). Пусть p>1,1/p+1/q=1p > 1,1 / p+1 / q = 1 и

0K(t,1)t1/pdt=0K(1,s)s1/qds=:k< \int _{0}^{\infty } K(t, 1) t^{-1 / p} d t = \int _{0}^{\infty } K(1, s) s^{-1 / q} d s = : k < \infty

Доказать, что интегральный оператор A:x(t)0K(t,s)x(s)dsA: x(t) \mapsto \int_{0}^{\infty } K(t, s) x(s) d s ограничен в пространстве Lp[0,)L_{p}[0, \infty ) и Ak\left\| A\right\| \leqslant k.

?
Задача 6.37

Доказать, что оператор (Ax)(t)=0x(s)etsds(A x)(t) = \int_{0}^{\infty } x(s) e^{-t s} d s ограничен в пространстве L2[0,)L_{2}[0, \infty ), и оценить его норму.

?
Задача 6.38

Пусть aC[1,1]a \in C[-1,1]. Доказать, что оператор свёртки A:x01x(s)a(ts)dsA: x \mapsto \int_{0}^{1} x(s) a(t-s) d s ограничен в пространстве C[0,1]C[0,1], и найти его норму.

?
Задача 6.39

Доказать, что оператор сдвига (Ax)(t)=x(t+a)(A x)(t) = x(t+a) ограничен как оператор в пространстве

?
(а)

C0(R)C_{0}(\mathbb {R});

(б)

Lp(R),p[1,]L_{p}(\mathbb {R}), p \in [1, \infty ]. Найти его норму, образ и ядро в каждом из пространств.

Задача 6.40

Найти норму, образ и ядро оператора следа:

?
(а)

A:C[1,1]C[0,1]A: C[-1,1] \rightarrow C[0,1];

(б)

A:BC(R)L2[0,1]A: B C(\mathbb {R}) \rightarrow L_{2}[0,1];

(в)

A:C(D)C(T)A: C(\mathbb {D}) \rightarrow C(\mathbb {T}), где D={zC:z1}\mathbb {D} = \left\{ z \in \mathbb {C}:\left|z\right| \leqslant 1\right\}, а T={zC:z=1}\mathbb {T} = \left\{ z \in \mathbb {C}:\left|z\right| = 1\right\}.

Задача 6.41

Найти норму и ядро оператора A:C[0,1]C[0,1],(Ax)(t)=(xφ)(t)=x(φ(t))A: C[0,1] \rightarrow C[0,1],(A x)(t) = (x \circ \varphi )(t) = x(\varphi (t)), где φ\varphi — фиксированная непрерывная функция, отображающая отрезок [0,1][0,1] в себя. Доказать, что оператор AA сюръективен тогда и только тогда, когда отображение φ\varphi инъективно. \downarrow

?
§
Задача 6.42

Пусть XX — нормированное пространство, а X0X_{0} — его замкнутое подпространство. Доказать эквивалентность следующих условий:

  1. подпространство X0X_{0} дополняемо;

  2. тождественный оператор на X0X_{0} допускает продолжение до ограниченного оператора из XX в X0X_{0};

  3. любой ограниченный оператор из X0X_{0} в YY, где YY — произвольное нормированное пространство, допускает продолжение до некоторого ограниченного оператора из XX в YY.

?
Задача 6.43

Доказать, что банахово пространство XX обладает следующим свойством: для всяких ZYZ \subset Y и для всякого линейного ограниченного оператора A:ZXA: Z \rightarrow X продолжение A~:YX\tilde{A}: Y \rightarrow X с A~=A\left\| \tilde{A}\right\| = \left\| A\right\| существует тогда и только тогда, когда XX 11-дополняемо в любом содержащем его банаховом пространстве X1X_{1} (т. е. существует линейный проектор из X1X_{1} в XX единичной нормы).

?
Задача 6.44

Пусть AB(X0,Y)A \in \mathcal{B}\left(X_{0}, Y\right) — конечномерный оператор, где X0X_{0} и YY — нормированные пространства, X0X_{0} — линейное подпространство нормированного пространства XX. Доказать, что AA допускает продолжение до ограниченного оператора A~B(X,Y)\tilde{A} \in \mathcal{B}(X, Y), причём A~\tilde{A} можно выбрать так, что Im(A~)=Im(A)\operatorname {Im}(\tilde{A}) = \operatorname {Im}(A).

?
Задача 6.45

Пусть оператор AA определён на подпространстве c0c_{0} пространства cc как тождественный оператор. Доказать, что этот оператор нельзя продолжить до ограниченного оператора A~\tilde{A} из cc в c0c_{0} без увеличения нормы. Предъявить продолжение AA до ограниченного оператора A~\tilde{A} из с в c0c_{0} с увеличением нормы.

?
Задача 6.46

(Р. Филлипс, 1940). Доказать, что замкнутое подпространство c0c_{0} банахова пространства ll_{\infty } не дополняемо.

?
Задача 6.47

Пусть AB(X,Y)A \in \mathcal{B}(X, Y), где XX — рефлексивное банахово пространство, YY — произвольное банахово пространство, a rank A<A < \infty. Доказать, что AA достигает своей нормы на единичном шаре, т. е. найдётся такой вектор xXx \in X, что xX=1\left\| x\right\|_{X} = 1 и AxY=A\left\| A x\right\|_{Y} = \left\| A\right\|.

?
Задача 6.48

Пусть XX — конечномерное нормированное пространство, а YY — произвольное нормированное пространство. Доказать, что L(X,Y)=B(X,Y)\mathcal{L}(X, Y) = \mathcal{B}(X, Y) и каждый оператор достигает своей нормы на единичном шаре.

?
Задача 6.49

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

?
Задача 6.50

Привести пример неограниченного оператора AL(X)A \in \mathcal{L}(X) в банаховом пространстве XX, который определён всюду на XX и имеет замкнутое ядро.

?
Задача 6.51

Пусть XX и YY — банаховы пространства, AL(X,Y),KerAA \in \mathcal{L}(X, Y), \operatorname {Ker} A замкнуто в XX, а rankA<\operatorname {rank} A < \infty. Доказать, что оператор AA ограничен.

?
Задача 6.52

Привести пример ненулевого оператора в бесконечномерном банаховом пространстве, квадрат которого равен нулю.

?
Задача 6.53

Привести пример такого оператора AB(X)A \in \mathcal{B}(X) в бесконечномерном банаховом пространстве XX, что KerAImA\operatorname {Ker} A \subsetneq \operatorname {Im} A.

?
Задача 6.54

Пусть XX — банахово пространство и оператор AB(X)A \in \mathcal{B}(X). Доказать, что:

?
(а)

либо {0}Ker(A)Ker(A2)\left\{ 0\right\} \subsetneq \operatorname {Ker}(A) \subsetneq \operatorname {Ker}\left(A^{2}\right) \subsetneq \ldots, либо существует наименьшее целое m0m \geqslant 0 такое, что {0}Ker(A)Ker(Am)\left\{ 0\right\} \subsetneq \operatorname {Ker}(A) \subsetneq \ldots \subsetneq \operatorname {Ker}\left(A^{m}\right) и Ker(Am)=Ker(Am+p)\operatorname {Ker}\left(A^{m}\right) = \operatorname {Ker}\left(A^{m+p}\right) для любого pNp \in \mathbb {N} (оператор имеет конечный подъем mm);

(б)

либо XIm(A)Im(A2)X \supsetneq \operatorname {Im}(A) \supsetneq \operatorname {Im}\left(A^{2}\right) \supsetneq \ldots, либо существует наименьшее целое m0m \geqslant 0 такое, что XIm(A)Im(Am)X \supsetneq \operatorname {Im}(A) \supsetneq \ldots \supsetneq \operatorname {Im}\left(A^{m}\right) и Im(Am)=Im(Am+p)\operatorname {Im}\left(A^{m}\right) = \operatorname {Im}\left(A^{m+p}\right) для любого pNp \in \mathbb {N} (оператор имеет конечный спуск mm).

Задача 6.55

Для произвольного nNn \in \mathbb {N} привести пример операторов AA и BB в бесконечномерном банаховом пространстве XX со свойствами

Ker(A)Ker(A2)Ker(An)=Ker(An+1)=,Im(B)Im(B2)Im(Bn)=Im(Bn+1)= \begin{gathered} \operatorname {Ker}(A) \subsetneq \operatorname {Ker}\left(A^{2}\right) \subsetneq \ldots \subsetneq \operatorname {Ker}\left(A^{n}\right) = \operatorname {Ker}\left(A^{n+1}\right) = \ldots , \\ \operatorname {Im}(B) \supsetneq \operatorname {Im}\left(B^{2}\right) \supsetneq \ldots \supsetneq \operatorname {Im}\left(B^{n}\right) = \operatorname {Im}\left(B^{n+1}\right) = \ldots \end{gathered}
?
Задача 6.56

Пусть XX — банахово пространство и оператор AB(X)A \in \mathcal{B}(X). Доказать, что если AA имеет конечный подъем nn и конечный спуск mm, то n=mn = m и X=Ker(Am)Im(Am)X = \operatorname {Ker}\left(A^{m}\right) \oplus \overline{\operatorname {Im}\left(A^{m}\right)}.

?
Задача 6.57

Доказать, что если для A,BL(X)A, B \in \mathcal{L}(X) выполнено коммутационное соотношение ABBA=IA B-B A = I, то ABnBnA=nBn1A B^{n}-B^{n} A = n B^{n-1}. Доказать, что либо AA, либо BB неограничен. Вывести отсюда, что матричное уравнение ABBA=IA B-B A = I, где AA и BB — неизвестные матрицы размера n×nn \times n, не имеет решений.

?
Задача 6.58

Пусть XX — банахово пространство, AB(X)A \in \mathcal{B}(X). При каких условиях на оператор AA выражения

?
(а)

x1=AxX\left\| x\right\|_{1} = \left\| A x\right\|_{X},

(б)

x2=xX+AxX\left\| x\right\|_{2} = \left\| x\right\|_{X}+\left\| A x\right\|_{X} задают норму на XX?

Задача 6.59

Пусть XX — банахово пространство, AA — инъективный ограниченный оператор в XX. Для норм из предыдущей задачи доказать, что 1X\left\| \cdot \right\|_{1} \prec \left\| \cdot \right\|_{X}, а 2X\left\| \cdot \right\|_{2} \sim \left\| \cdot \right\|_{X}. Доказать, что 1X\left\| \cdot \right\|_{1} \sim \left\| \cdot \right\|_{X} тогда и только тогда, когда infx=1Axr>0\inf_{\left\| x\right\| = 1}\left\| A x\right\| \geqslant r > 0.

?
Задача 6.60

(С. Мазур, С. Улам, 1932). Пусть XX и YY — нормированные пространства, отображение JJ — изометрия, т. е. для любых x,yXx, y \in X выполняется J(x)J(y)Y=xyX\left\| J(x)-J(y)\right\|_{Y} = \left\| x-y\right\|_{X} и J(0)=0J(0) = 0. Доказать, что JJ — линейный изометрический изоморфизм нормированных пространств XX и YY.

?
Задача 6.61

Пусть JJ — изометрия действительного пространства c0c_{0} или lp,1p<,p2l_{p}, 1 \leqslant p < \infty , p \neq 2, и J(0)=0J(0) = 0. Доказать, что найдутся такой набор знаков εn{±1}\varepsilon_{n} \in \left\{ \pm 1\right\} и такая перестановка σ\sigma натурального ряда, что J(x1,,xn,)=(ε1xσ(1),,εnxσ(n),)J\left(x_{1}, \ldots , x_{n}, \ldots \right) = \left(\varepsilon_{1} x_{\sigma (1)}, \ldots , \varepsilon_{n} x_{\sigma (n)}, \ldots \right).

?
§
Задача 6.62

Пусть PB(H)P \in \mathcal{B}(H) — проектор гильбертова пространства HH на некоторое его подпространство. Доказать, что PP является ортопроектором тогда и только тогда, когда для любых x,yHx, y \in H справедливо равенство (Px,y)=(x,Py).(P x, y) = (x, P y).{ }1

Footnotes

  1. Операторы, удовлетворяющие такому соотношению, называют самосопряжёнными (см. определение 8.3 и задачу 8.26 ниже).

?
Задача 6.63

Пусть PP — ортопроектор в гильбертовом пространстве HH. Доказать, что он ограничен, и найти P\left\| P\right\|.

?
Задача 6.64

Пусть P1P_{1} и P2P_{2} — ортопроекторы в гильбертовом пространстве HH. Обозначим подпространства H1=ImP1H_{1} = \operatorname {Im} P_{1} и H2=ImP2H_{2} = \operatorname {Im} P_{2}. Доказать, что если H1H2H_{1} \subset H_{2} (или, наоборот, H2H1H_{2} \subset H_{1}) и P1P2<1\left\| P_{1}-P_{2}\right\| < 1, то P1=P2P_{1} = P_{2}. Привести пример таких двух ортопроекторов P1P2P_{1} \neq P_{2}, что P1P2<1\left\| P_{1}-P_{2}\right\| < 1.

?
Задача 6.65

В обозначениях предыдущей задачи доказать, что если P2P1<1\left\| P_{2}-P_{1}\right\| < 1, то dimH1=dimH2\operatorname {dim} H_{1} = \operatorname {dim} H_{2}. Привести пример двух таких ортопроекторов P1P_{1} и P2P_{2}, что P2P1=1\left\| P_{2}-P_{1}\right\| = 1 и dimH1dimH2\operatorname {dim} H_{1} \neq \operatorname {dim} H_{2}.

?
Задача 6.66

Пусть HH — гильбертово пространство, PP — ортопроектор на собственное подпространство H0HH_{0} \subset H. Что можно утверждать про ImA\operatorname {Im} A и Ker AA оператора AB(H)A \in \mathcal{B}(H), если

?
(а)

AP=AA P = A;

(б)

PA=AP A = A?

Задача 6.67

Доказать, что если в условиях предыдущей задачи выполнено равенство AP=PAA P = P A, то A(H0)H0A\left(H_{0}\right) \subset H_{0}. Доказать, что обратное неверно.

?
Задача 6.68

Пусть HH — гильбертово пространство, а B:H×HCB: H \times H \rightarrow \mathbb {C} линейная по первому аргументу, сопряжённо-линейная по второму аргументу и непрерывная по каждому аргументу форма. Доказать, что найдётся такой оператор AB(H)A \in \mathcal{B}(H), что B(x,y)=(Ax,y)B(x, y) = (A x, y) для любых x,yHx, y \in H.

?
Задача 6.69

Для любого M>0M > 0 привести пример такого оператора AA в гильбертовом пространстве HH, что для некоторого ортонормированного базиса {en}1\left\{ e_{n}\right\}_{1}^{\infty } все нормы Aen\left\| A e_{n}\right\| ограничены единицей, но A>M\left\| A\right\| > M.

?
Задача 6.70

Пусть i=1j=1aij2<\sum_{i = 1}^{\infty } \sum_{j = 1}^{\infty }\left|a_{i j}\right|^{2} < \infty, а {ei}1\left\{ e_{i}\right\}_{1}^{\infty } — произвольный ортонормированный базис в гильбертовом пространстве HH. Доказать, что существует такой оператор AB(H)A \in \mathcal{B}(H), что (Aei,ej)=aij\left(A e_{i}, e_{j}\right) = a_{i j}. Привести пример линейного ограниченного оператора в гильбертовом пространстве, матрица которого (в любом ортонормированном базисе) не удовлетворяет указанному неравенству.

?
Задача 6.71

Пусть оператор AA действует в пространстве l2l_{2}, и в некотором ортонормированном базисе его матрица имеет вид {aij}i,j=1\left\{ a_{i j}\right\}_{i, j = 1}^{\infty }, aij0a_{i j} \geqslant 0 для всех i,ji, j. Доказать, что если для этой матрицы найдутся такие числа pj>0,j=1,2,p_{j} > 0, j = 1,2, \ldots, и α,β>0\alpha , \beta > 0, что

j=1aijpjαpi для любого iN,i=1aijpiβpj для любого jN \sum _{j = 1}^{\infty } a_{i j} p_{j} \leqslant \alpha p_{i} \text{ для любого } i \in \mathbb {N}, \quad \sum _{i = 1}^{\infty } a_{i j} p_{i} \leqslant \beta p_{j} \text{ для любого } j \in \mathbb {N}

(неравенства Шура), то оператор ограничен, причём A2αβ\left\| A\right\|^{2} \leqslant \alpha \beta.

?
Задача 6.72

Доказать, что оператор AA с матрицей {aij}i,j=1\left\{ a_{i j}\right\}_{i, j = 1}^{\infty }, где aij=1i+ja_{i j} = \frac{1}{i+j} (оператор Гильберта), ограничен в l2l_{2}, причём Aπ\left\| A\right\| \leqslant \pi.

?
Задача 6.73

Пусть матрица {aij=K(i,j)}i,j=1\left\{ a_{i j} = K(i, j)\right\}_{i, j = 1}^{\infty } задана функцией K(x,y)K(x, y), удовлетворяющей следующим условиям:

  1. KK неотрицательна, причём K(x,x)=0K(x, x) = 0, симметрична и однородна со степенью однородности -1, т. е. K(ax,ay)=a1K(x,y)K(a x, a y) = a^{-1} K(x, y);

  2. 0K(1,y)dyy=k\int_{0}^{\infty } K(1, y) \frac{d y}{\sqrt{y}} = k;

  3. K(1,y)y\frac{K(1, y)}{\sqrt{y}} убывает при y(0,ξ)(1,+)y \in (0, \xi ) \cup (1,+\infty ) и возрастает при y(ξ,1)y \in (\xi , 1), где ξ[0,1]\xi \in [0,1]. Доказать, что матрица {aij}\left\{ a_{i j}\right\} задаёт ограниченный оператор AA в пространстве l2l_{2}, причём Ak.\left\| A\right\| \leqslant k.1

Footnotes

  1. Ограничения на функцию KK могут быть существенно ослаблены, см. [35].

?
Задача 6.74

Доказать, что оператор AA с матрицей {aij}i,j=1\left\{ a_{i j}\right\}_{i, j = 1}^{\infty }, где aij=1(i+j)1αijα(aij:=0a_{i j} = \frac{1}{(i+j)^{1-\alpha }|i-j|^{\alpha }}\left(a_{i j}: = 0\right. при i=j)\left.i = j\right) с параметром α(0,1)\alpha \in (0,1), ограничен в l2l_{2}.

?
Задача 6.75

Доказать, что для любого оператора AA в сепарабельном гильбертовом пространстве HH можно выбрать такой ортонормированный базис {ej}1\left\{ e_{j}\right\}_{1}^{\infty }, что для каждого jNj \in \mathbb {N} лишь конечное число элементов jj-го столбца матрицы {aij=(Aei,ej)}i,j=1\left\{ a_{i j} = \left(A e_{i}, e_{j}\right)\right\}_{i, j = 1}^{\infty } отличны от нуля.

?
Задача 6.76

Доказать, что матрица {aij}i,j=1\left\{ a_{i j}\right\}_{i, j = 1}^{\infty } является матрицей некоторого оператора из B(l2,c0)\mathcal{B}\left(l_{2}, c_{0}\right) тогда и только тогда, когда

  1. найдётся MM такое, что j=1aij2<M\sum_{j = 1}^{\infty }\left|a_{i j}\right|^{2} < M для любого iNi \in \mathbb {N};

  2. limiaij=0\lim_{i \rightarrow \infty } a_{i j} = 0 для любого jNj \in \mathbb {N}.

?
§
Задача 6.77

Доказать теорему 6.1.

?
Задача 6.78

Пусть X,YX, Y и ZZ — нормированные пространства, AB(Y,Z)A \in \mathcal{B}(Y, Z), BB(X,Y)B \in \mathcal{B}(X, Y). Доказать неравенство ABAB\left\| A B\right\| \leqslant \left\| A\right\| \cdot \left\| B\right\|. Доказать, что если один из операторов AA или BB является изометрическим изоморфизмом соответствующих пространств, то AB=AB\left\| A B\right\| = \left\| A\right\| \cdot \left\| B\right\|. Привести пример банахова пространства XX и операторов AA и BB из B(X)\mathcal{B}(X) таких, что AB<AB\left\| A B\right\| < \left\| A\right\| \cdot \left\| B\right\|.

?
Задача 6.79

Доказать, что пространство C[0,1]C[0,1] с обычной операцией умножения функций является унитальной коммутативной банаховой алгеброй.

?
Задача 6.80

Доказать, что для произвольного банахова пространства XX множество ограниченных операторов B(X)\mathcal{B}(X) является унитальной некоммутативной (если dimX>1\operatorname {dim} X > 1) банаховой алгеброй относительно операции суперпозиции.

?
Задача 6.81

Пусть XX и YY — нормированные пространства, оператор AB(X,Y)A \in \mathcal{B}(X, Y). Какие из следующих утверждений выполнены для любого оператора AB(X,Y)A \in \mathcal{B}(X, Y)?

?
(а)

Если множество UU открыто в XX, то A(U)A(U) открыто в YY.

(б)

Если множество VV замкнуто в XX, то A(V)A(V) замкнуто в YY.

(в)

Если множество A(U)A(U) открыто в YY, то UU открыто в XX.

(г)

Если множество A(V)A(V) замкнуто в YY, то VV замкнуто в XX.

Задача 6.82

Пусть XX и YY — нормированные пространства, X0X_{0} — замкнутое подпространство в XX. Положим

M={AB(X,Y):KerA=X0} M = \left\{ A \in \mathcal{B}(X, Y): \operatorname {Ker} A = X_{0}\right\}

Является ли MM замкнутым подпространством в B(X,Y)\mathcal{B}(X, Y)?

?
Задача 6.83

Пусть XX и YY — нормированные пространства, X0X_{0} — замкнутое подпространство в XX. Положим

M={AB(X,Y):KerAX0} M = \left\{ A \in \mathcal{B}(X, Y): \operatorname {Ker} A \supset X_{0}\right\}

Является ли MM замкнутым подпространством в B(X,Y)\mathcal{B}(X, Y)?

?
Задача 6.84

Пусть XX — нормированное пространство, AA — фиксированный оператор из B(X)\mathcal{B}(X). Положим M={BB(X):AB=0},N={BB(X):AB=BA}M = \left\{ B \in \mathcal{B}(X): A B = 0\right\} , N = \left\{ B \in \mathcal{B}(X): A B = B A\right\}. Доказать, что MM и NN являются замкнутыми подпространствами в B(X)\mathcal{B}(X).

?
Задача 6.85

Пусть HH — бесконечномерное гильбертово пространство. Доказать, что пространство B(H)\mathcal{B}(H) не сепарабельно.

?
Задача 6.86

Доказать, что пространство B(lp),p[1,]\mathcal{B}\left(l_{p}\right), p \in [1, \infty ], не сепарабельно.

?
Задача 6.87

Пусть XX и YY — банаховы пространства, причём Y=Y1Y2Y = Y_{1} \oplus \oplus Y_{2} — прямая сумма двух замкнутых подпространств. Доказать, что B(X,Y)=B(X,Y1)B(X,Y2)\mathcal{B}(X, Y) = \mathcal{B}\left(X, Y_{1}\right) \oplus \mathcal{B}\left(X, Y_{2}\right).

?
Задача 6.88

Пусть XX — банахово пространство, {Pn}1B(X)\left\{ P_{n}\right\}_{1}^{\infty } \in \mathcal{B}(X), причём все операторы PnP_{n} являются операторами проектирования и PnPP_{n} \rightrightarrows P. Обязательно ли PP — оператор проектирования?

?
Задача 6.89

Пусть XX — банахово пространство, {An}1B(X)\left\{ A_{n}\right\}_{1}^{\infty } \subset \mathcal{B}(X), причём все операторы AnA_{n} являются операторами с одинаковым конечным рангом: rankAn=r<\operatorname {rank} A_{n} = r < \infty и AnAA_{n} \rightrightarrows A. Верно ли, что rank ArA \leqslant r?

?
Задача 6.90

В пространстве XX, где XX — это cpc_{p} или lp,p[1,]l_{p}, p \in [1, \infty ], рассмотрим последовательность {An}1\left\{ A_{n}\right\}_{1}^{\infty } операторов умножения на последовательности λnl\lambda_{n} \in l_{\infty }. Доказать, что последовательность {An}1\left\{ A_{n}\right\}_{1}^{\infty } имеет предел в пространстве B(X)\mathcal{B}(X) тогда и только тогда, когда последовательность {λn}1\left\{ \lambda_{n}\right\}_{1}^{\infty } имеет предел в пространстве ll_{\infty }. Доказать, что в случае, когда предел A=limnAnA = \lim_{n \rightarrow \infty } A_{n} существует, он также равен оператору умножения на последовательность λ=limnλn\lambda = \lim_{n \rightarrow \infty } \lambda_{n}.

?
Задача 6.91

В пространстве XX, где XX — это c0c_{0}, с или lp,p[1,]l_{p}, p \in [1, \infty ], pacсмотрим две последовательности операторов {Trn}1\left\{ T_{r}^{n}\right\}_{1}^{\infty } и {Tln}1\left\{ T_{l}^{n}\right\}_{1}^{\infty } :

Tr:(x1,x2,)(0,x1,x2,),Tl:(x1,x2,)(x2,x3,) T_{r}:\left(x_{1}, x_{2}, \ldots \right) \mapsto \left(0, x_{1}, x_{2}, \ldots \right), \quad T_{l}:\left(x_{1}, x_{2}, \ldots \right) \mapsto \left(x_{2}, x_{3}, \ldots \right)
  • операторы правого и левого сдвига. Доказать, что обе эти последовательности не имеют предела в пространстве B(X)\mathcal{B}(X).
?
§
Задача 6.92

Доказать, что если отображение дифференцируемо по Фреше в точке, то оно дифференцируемо по Гато в этой точке (и производные совпадают).

?
Задача 6.93

Доказать, что если отображение FF дифференцируемо по Фреше в точке xx, то оно непрерывно в этой точке. Привести пример отображения, дифференцируемого по Гато в точке своего разрыва.

?
Задача 6.94

Пусть X,Y,ZX, Y, Z — нормированные пространства, отображение F:XYF: X \rightarrow Y дифференцируемо по Фреше в точке xx, отображение G:YZG: Y \rightarrow Z дифференцируемо по Фреше в точке F(x)F(x). Доказать, что GFG \circ F дифференцируемо по Фреше в точке xx и (GF)(x)=G(F(x))F(x)(G \circ F)^{\prime }(x) = G^{\prime }(F(x)) \circ F^{\prime }(x). Показать, что композиция дифференцируемых по Гато отображений может не быть дифференцируемой по Гато.

?
Задача 6.95

Пусть отображение F:XYF: X \rightarrow Y дифференцируемо по Гато в каждой точке xx из окрестности UU точки x0x_{0}, и производная F(x)F^{\prime }(x) непрерывна в точке x0x_{0} (то есть F(x)F(x0)0\left\| F^{\prime }(x)-F^{\prime }\left(x_{0}\right)\right\| \rightarrow 0 при xx0x \rightarrow x_{0}). Доказать, что FF дифференцируемо по Фреше в точке x0x_{0}.

?
Задача 6.96

Исследовать отображения на дифференцируемость по Фреше и по Гато и найти производные (все банаховы пространства предполагаются действительными):

?
(а)

F:HR,F(x)=(x,x)F: H \rightarrow \mathbb {R}, F(x) = (x, x) (HH — гильбертово пространство);

(б)

F:HR,F(x)=xF: H \rightarrow \mathbb {R}, F(x) = \left\| x\right\| (HH — гильбертово пространство);

(в)

F:l1R,F(x)=xF: l_{1} \rightarrow \mathbb {R}, F(x) = \left\| x\right\|;

(г)

F:L1[0,1]R,F(x)=01sinx(t)dtF: L_{1}[0,1] \rightarrow \mathbb {R}, F(x) = \int_{0}^{1} \sin x(t) d t;

(д)

F:L2[0,1]R,F(x)=01sinx(t)dtF: L_{2}[0,1] \rightarrow \mathbb {R}, F(x) = \int_{0}^{1} \sin x(t) d t;

(е)

F:C[0,1]R,F(x)=01sinx(t)dtF: C[0,1] \rightarrow \mathbb {R}, F(x) = \int_{0}^{1} \sin x(t) d t;

(ж)

F:C[0,1]C[0,1],F(x)(t)=x(t)x(1t)F: C[0,1] \rightarrow C[0,1], F(x)(t) = x(t) x(1-t);

(з)

F:Lp[0,1]L1[0,1],F(x)(t)=x(t)p(1p<)F: L_{p}[0,1] \rightarrow L_{1}[0,1], F(x)(t) = |x(t)|^{p}(1 \leqslant p < \infty ).

Задача 6.97

Доказать, что если сопряженное пространство XX^{*} равномерно выпукло (см. определение 2.11), то норма в XX (отображение xxx \mapsto \left\| x\right\|) дифференцируема по Фреше в каждой точке xX\{0}x \in X \backslash \left\{ 0\right\}.

?
Задача 6.98

Доказать, что найдется отображение F:RR2F: \mathbb {R} \rightarrow \mathbb {R}^{2}, дифференцируемое во всех точках отрезка [a,b][a, b], для которого равенство F(b)F(a)=F(c)(ba)F(b)-F(a) = F^{\prime }(c)(b-a) неверно ни для какой точки c(a,b)c \in (a, b).

?
Задача 6.99

Пусть XX и YY — нормированные пространства, UU — открытое выпуклое множество в XX и F:UYF: U \rightarrow Y дифференцируемо по Гато в каждой точке из UU. Доказать, что для всяких a,bUa, b \in U разность F(b)F(a)F(b)-F(a) лежит в замыкании выпуклой оболочки множества {F(c)(ba):c(a,b)}\left\{ F^{\prime }(c)(b-a): c \in (a, b)\right\}.

?
Задача 6.100

Доказать, что в условиях предыдущей задачи справедливо неравенство F(b)F(a)supc(a,b)F(c)ba\left\| F(b)-F(a)\right\| \leqslant \sup_{c \in (a, b)}\left\| F^{\prime }(c)\right\| \cdot \left\| b-a\right\|.

?