8B

Ортогональность

[26/23%]
Показать
LaTeX
Задача 8B.1

Покажите, что каждое из пространств со скалярным произведением из примера 8.23 не является гильбертовым пространством.

?
Примечание.
?

Пример 8.23:

  • Пространство со скалярным произведением 1\ell^{1}, где (a1,a2,),(b1,b2,)=k=1akbk\left\langle (a_1,a_2,\ldots ), (b_1,b_2,\ldots ) \right\rangle = \sum_{k=1}^{\infty } a_k b_k, не является гильбертовым пространством, поскольку соответствующая норма не полна на 1\ell^{1}.

  • Пространство C([0,1])C([0,1]) непрерывных F\mathbf{F}-значных функций на отрезке [0,1][0,1] со скалярным произведением f,g=01fg\left\langle f, g \right\rangle = \int_0^1 fg не является гильбертовым пространством, поскольку соответствующая норма не полна на C([0,1])C([0,1]).

Задача 8B.2

Докажите или опровергните: пространство со скалярным произведением из упражнения 1 раздела 8A является гильбертовым пространством.

?
Задача 8B.3

Пусть V1,V2,V_{1}, V_{2}, \ldots — гильбертовы пространства. Пусть

V={(f1,f2,)V1×V2×:k=1fk2<}. V = \left\{ \left(f_{1}, f_{2}, \ldots \right) \in V_{1} \times V_{2} \times \cdots : \sum _{k = 1}^{\infty }\left\| f_{k}\right\| ^{2} < \infty \right\} .

Покажите, что равенство

(f1,f2,),(g1,g2,)=k=1fk,gk \left\langle \left(f_{1}, f_{2}, \ldots \right), \left(g_{1}, g_{2}, \ldots \right) \right\rangle = \sum _{k = 1}^{\infty } \left\langle f_{k}, g_{k} \right\rangle

задаёт скалярное произведение на VV, превращающее VV в гильбертово пространство.

?
Примечание.
?

Каждое из гильбертовых пространств V1,V2,V_{1}, V_{2}, \ldots может иметь своё собственное скалярное произведение, хотя для нормы и скалярного произведения во всех этих гильбертовых пространствах используется одно и то же обозначение.

Задача 8B.4

Пусть VV — вещественное гильбертово пространство. Комплексификацией VV называется комплексное векторное пространство VCV_{\mathbb {C}}, определённое как VC=V×VV_{\mathbb {C}} = V \times V, где типичный элемент VCV_{\mathbb {C}} записывается как f+igf+i g вместо (f,g)(f, g). Сложение и умножение на скаляр на VCV_{\mathbb {C}} определяются равенствами

(f1+ig1)+(f2+ig2)=(f1+f2)+i(g1+g2) \left(f_{1}+i g_{1}\right)+\left(f_{2}+i g_{2}\right) = \left(f_{1}+f_{2}\right)+i\left(g_{1}+g_{2}\right)

и

(α+iβ)(f+ig)=(αfβg)+i(αg+βf) (\alpha +i \beta )(f+i g) = (\alpha f-\beta g)+i(\alpha g+\beta f)

для f1,f2,f,g1,g2,gVf_{1}, f_{2}, f, g_{1}, g_{2}, g \in V и α,βR\alpha , \beta \in \mathbb {R}. Покажите, что

f1+ig1,f2+ig2=f1,f2+g1,g2+i(g1,f2f1,g2) \left\langle f_{1}+i g_{1}, f_{2}+i g_{2} \right\rangle = \left\langle f_{1}, f_{2} \right\rangle + \left\langle g_{1}, g_{2} \right\rangle +i\left( \left\langle g_{1}, f_{2} \right\rangle - \left\langle f_{1}, g_{2} \right\rangle \right)

задаёт скалярное произведение на VCV_{\mathbb {C}}, превращающее VCV_{\mathbb {C}} в комплексное гильбертово пространство.

?
Задача 8B.5

Докажите, что если VV — нормированное векторное пространство, fVf \in V и r>0r > 0, то открытый шар B(f,r)B(f, r) с центром в точке ff и радиусом rr выпуклый.

?
Задача 8B.6
?
(a)

Пусть VV — пространство со скалярным произведением, а BB — открытый единичный шар в VV (то есть B={fV:f<1}B = \left\{ f \in V:\left\| f\right\| < 1\right\}). Докажите, что если UU — подмножество VV такое, что BUBB \subseteq U \subseteq \overline{B}, то UU выпукло.

(b)

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

Задача 8B.7

Пусть VV — нормированное векторное пространство, а UU — замкнутое подмножество VV. Докажите, что UU выпукло тогда и только тогда, когда

f+g2U для всех f,gU \frac{f+g}{2} \in U \text{ для всех } f, g \in U
?
Задача 8B.8

Докажите, что если UU — выпуклое подмножество нормированного векторного пространства, то U\overline{U} также выпукло.

?
Задача 8B.9

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

?
Примечание.
?

Внутренность множества UU — это множество {fU:B(f,r)U для некоторого r>0}\left\{ f \in U: B(f, r) \subseteq U\text{ для некоторого }r > 0\right\}.

Задача 8B.10

Пусть VV — гильбертово пространство, UU — непустое замкнутое выпуклое подмножество VV, а gUg \in U — единственный элемент UU с наименьшей нормой (получаемый при f=0f = 0 в 8.28). Докажите, что

Reg,hg2 \operatorname {Re} \left\langle g, h \right\rangle \geq \left\| g\right\| ^{2}

для всех hUh \in U.

?
Задача 8B.11

Пусть VV — гильбертово пространство. Замкнутым полупространством VV называется множество вида

{gV:Reg,hc} \left\{ g \in V: \operatorname {Re} \left\langle g, h \right\rangle \geq c\right\}

для некоторых hVh \in V и cRc \in \mathbb {R}. Докажите, что каждое замкнутое выпуклое подмножество VV является пересечением всех содержащих его замкнутых полупространств.

?
Задача 8B.12

Приведите пример непустого замкнутого подмножества UU гильбертова пространства 2\ell^{2} и элемента a2a \in \ell^{2} таких, что не существует bUb \in U с ab=distance(a,U)\left\| a-b\right\| = \operatorname {distance}(a, U).

?
Примечание.
?

По 8.28, UU не может быть выпуклым подмножеством 2\ell^{2}.

Задача 8B.13

В вещественном банаховом пространстве R2\mathbb {R}^{2} с нормой (x,y)=max{x,y}\left\| (x, y)\right\|_{\infty } = \max \left\{ \left|x\right|,\left|y\right|\right\} приведите пример замкнутого выпуклого множества UR2U \subseteq \mathbb {R}^{2} и точки zR2z \in \mathbb {R}^{2} таких, что существует бесконечно много элементов wUw \in U с zw=distance(z,U)\left\| z-w\right\|_{\infty } = \operatorname {distance}(z, U).

?
Задача 8B.14

Пусть ff и gg — элементы пространства со скалярным произведением. Докажите, что f,g=0\left\langle f, g \right\rangle = 0 тогда и только тогда, когда

ff+αg \left\| f\right\| \leq \left\| f+\alpha g\right\|

для всех αF\alpha \in \mathbf{F}.

?
Задача 8B.15

Пусть UU — замкнутое подпространство гильбертова пространства VV и fVf \in V. Докажите, что PUff\left\| P_{U} f\right\| \leq \left\| f\right\|, причём равенство достигается тогда и только тогда, когда fUf \in U.

?
Примечание.
?

Это упражнение просит вас доказать 8.37(d)8.37(d).

Задача 8B.16

Пусть VV — гильбертово пространство и P:VVP: V \rightarrow V — линейное отображение такое, что P2=PP^{2} = P и Pff\left\| P f\right\| \leq \left\| f\right\| для каждого fVf \in V. Докажите, что существует замкнутое подпространство UU пространства VV такое, что P=PUP = P_{U}.

?
Задача 8B.17

Пусть UU — подпространство гильбертова пространства VV. Пусть также WW — банахово пространство и S:UWS: U \rightarrow W — ограниченный линейный оператор. Докажите, что существует ограниченный линейный оператор T:VWT: V \rightarrow W такой, что TU=S\left.T\right|_{U} = S и T=S\left\| T\right\| = \left\| S\right\|.

?
Примечание.
?

Если W=FW = \mathbf{F}, то этот результат — просто теорема Хана–Банаха (6.69) для гильбертовых пространств. Здесь результат сильнее, поскольку он допускает, чтобы WW было произвольным банаховым пространством, а не требует, чтобы W=FW = \mathbf{F}. Кроме того, доказательство в этом контексте гильбертовых пространств не требует использования леммы Цорна или аксиомы выбора.

Задача 8B.18

Пусть UU и WW — подпространства гильбертова пространства VV. Докажите, что U=W\overline{U} = \overline{W} тогда и только тогда, когда U=WU^{\perp } = W^{\perp }.

?
Задача 8B.19

Пусть UU и WW — замкнутые подпространства гильбертова пространства. Докажите, что PUPW=0P_{U} P_{W} = 0 тогда и только тогда, когда f,g=0\left\langle f, g \right\rangle = 0 для всех fUf \in U и всех gWg \in W.

?
Задача 8B.20

Проверьте утверждения из примера 8.46.

?
Примечание.
?

Пример 8.46: пусть UU — замкнутое подпространство L2(R)L^{2}(\mathbb {R}), определённое как U={fL2(R):f(x)=0 для почти всех x<0}U = \left\{ f \in L^{2}(\mathbb {R}) : f(x) = 0 \text{ для почти всех } x < 0\right\}. Тогда U={gL2(R):g(x)=0 для почти всех x0}U^{\perp } = \left\{ g \in L^{2}(\mathbb {R}) : g(x) = 0 \text{ для почти всех } x \geq 0\right\}. Более того, если hL2(R)h \in L^{2}(\mathbb {R}), то PUh=hχ[0,)P_{U} h = h \chi_{[0,\infty )} и PUh=hχ(,0)P_{U^{\perp }} h = h \chi_{(-\infty ,0)}.

Задача 8B.21

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

?
Задача 8B.22

Докажите, что если VV — гильбертово пространство и T:VVT: V \rightarrow V — ограниченный линейный оператор, размерность образа которого равна 11, то существуют g,hVg, h \in V такие, что

Tf=f,gh T f = \left\langle f, g \right\rangle h

для всех fVf \in V.

?
Задача 8B.23
?
(a)

Приведите пример банахова пространства VV и ограниченного линейного функционала φ\varphi на VV таких, что φ(f)<φf\left|\varphi (f)\right| < \left\| \varphi \right\| \left\| f\right\| для всех fV\{0}f \in V \backslash \left\{ 0\right\}.

(b)

Покажите, что не существует примера из пункта (a), в котором VV является гильбертовым пространством.

Задача 8B.24
?
(a)

Пусть φ\varphi и ψ\psi — ограниченные линейные функционалы на гильбертовом пространстве VV такие, что φ+ψ=φ+ψ\left\| \varphi +\psi \right\| = \left\| \varphi \right\| +\left\| \psi \right\|. Докажите, что один из функционалов φ,ψ\varphi , \psi является скалярным кратным другого.

(b)

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

Задача 8B.25
?
(a)

Пусть μ\mu — конечная мера, 1p21 \leq p \leq 2, а φ\varphi — ограниченный линейный функционал на Lp(μ)L^{p}(\mu ). Докажите, что существует hLp(μ)h \in L^{p^{\prime }}(\mu ) такой, что φ(f)=fhdμ\varphi (f) = \int f h d \mu для каждого fLp(μ)f \in L^{p}(\mu ).

(b)

То же, что и в пункте (a), но с заменой предположения о том, что μ\mu — конечная мера, предположением, что μ\mu — мера, и при условии 1<p21 < p \leq 2.

Примечание.
?

См. 7.25, которое вместе с этим упражнением показывает, что сопряжённое пространство к Lp(μ)L^{p}(\mu ) можно отождествить с Lp(μ)L^{p^{\prime }}(\mu ) при 1<p21 < p \leq 2. См. 9.42 о распространении этого результата на все p(1,)p \in (1, \infty ).

Задача 8B.26

Докажите, что если VV — бесконечномерное гильбертово пространство, то банахово пространство B(V,V)\mathcal{B}(V, V) не сепарабельно.

?