8A

Пространства со скалярным произведением

[22/14%]
Показать
LaTeX
Задача 8A.1

Пусть VV обозначает векторное пространство ограниченных непрерывных функций из R\mathbb {R} в F\mathbf{F}. Пусть r1,r2,…r_{1}, r_{2}, \ldots — список рациональных чисел. Для f,g∈Vf, g \in V определим

⟨f,g⟩=∑k=1∞f(rk)g(rk)‾2k \left\langle f, g \right\rangle = \sum _{k = 1}^{\infty } \frac{f\left(r_{k}\right) \overline{g\left(r_{k}\right)}}{2^{k}}

Покажите, что ⟨⋅,⋅⟩\left\langle \cdot , \cdot \right\rangle является скалярным произведением на VV.

?
Задача 8A.2

Докажите, что если μ\mu — мера и f,g∈L2(μ)f, g \in L^{2}(\mu ), то

∥f∥2∥g∥2−∣⟨f,g⟩∣2=12∬∣f(x)g(y)−g(x)f(y)∣2dμ(y)dμ(x) \left\| f\right\| ^{2}\left\| g\right\| ^{2}-\left|\left\langle f, g \right\rangle \right|^{2} = \frac{1}{2} \iint \left|f(x) g(y)-g(x) f(y)\right|^{2} d \mu (y) d \mu (x)
?
Задача 8A.3

Пусть ff и gg — элементы пространства со скалярным произведением и

∥f+g∥2=∥f∥2+∥g∥2 \left\| f+g\right\| ^{2} = \left\| f\right\| ^{2}+\left\| g\right\| ^{2}
?
(a)

Докажите, что если F=R\mathbf{F} = \mathbb {R}, то ff и gg ортогональны.

(b)

Приведите пример, показывающий, что если F=C\mathbf{F} = \mathbb {C}, то ff и gg могут удовлетворять приведённому выше равенству, не будучи ортогональными.

Задача 8A.4

Найдите a,b∈R3a, b \in \mathbb {R}^{3} такие, что aa является скалярным кратным (1,6,3)(1,6,3), bb ортогонален (1,6,3)(1,6,3), и (5,4,−2)=a+b(5,4,-2) = a+b.

?
Задача 8A.5

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

16≤(a+b+c+d)(1a+1b+1c+1d) 16 \leq (a+b+c+d)\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{d}\right)

для всех положительных чисел a,b,c,da, b, c, d, причём равенство достигается тогда и только тогда, когда a=b=c=da = b = c = d.

?
Задача 8A.6

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

?
Задача 8A.7

Пусть ff и gg — элементы пространства со скалярным произведением, причём ∥f∥≤1\left\| f\right\| \leq 1 и ∥g∥≤1\left\| g\right\| \leq 1. Докажите, что

1−∥f∥21−∥g∥2≤1−∣⟨f,g⟩∣. \sqrt{1-\left\| f\right\| ^{2}} \sqrt{1-\left\| g\right\| ^{2}} \leq 1-\left|\left\langle f, g \right\rangle \right|.
?
Задача 8A.8

Пусть aa и bb — ненулевые элементы R2\mathbb {R}^{2}. Докажите, что

⟨a,b⟩=∥a∥∥b∥cos⁡θ \left\langle a, b \right\rangle = \left\| a\right\| \left\| b\right\| \cos \theta

где θ\theta — угол между aa и bb (рассматривая aa как вектор с началом в начале координат и концом в точке aa, и аналогично для bb).

Указание: постройте треугольник, образованный aa, bb и a−ba-b; затем воспользуйтесь теоремой косинусов.

?
Задача 8A.9

Угол между двумя векторами (рассматриваемыми как стрелки с началом в начале координат) в R2\mathbb {R}^{2} или R3\mathbb {R}^{3} можно определить геометрически. Однако в Rn\mathbb {R}^{n} при n>3n > 3 геометрия не столь наглядна. Поэтому угол между двумя ненулевыми векторами a,b∈Rna, b \in \mathbb {R}^{n} определяется как

arccos⁡⟨a,b⟩∥a∥∥b∥, \arccos \frac{\left\langle a, b \right\rangle }{\left\| a\right\| \left\| b\right\| },

где мотивировка этого определения исходит из предыдущего упражнения. Объясните, почему неравенство Коши–Шварца необходимо для того, чтобы показать корректность этого определения.

?
Задача 8A.10
?
(a)

Пусть ff и gg — элементы вещественного пространства со скалярным произведением. Докажите, что ff и gg имеют одинаковую норму тогда и только тогда, когда f+gf+g ортогонален f−gf-g.

(b)

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

Задача 8A.11

Пусть ff и gg — элементы пространства со скалярным произведением. Докажите, что ∥f∥=∥g∥\left\| f\right\| = \left\| g\right\| тогда и только тогда, когда ∥sf+tg∥=∥tf+sg∥\left\| sf + tg\right\| = \left\| t f+s g\right\| для всех s,t∈Rs, t \in \mathbb {R}.

?
Задача 8A.12

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

?
Задача 8A.13

Пусть ff и gg — элементы вещественного пространства со скалярным произведением. Докажите, что

⟨f,g⟩=∥f+g∥2−∥f−g∥24 \left\langle f, g \right\rangle = \frac{\left\| f+g\right\| ^{2}-\left\| f-g\right\| ^{2}}{4}
?
Задача 8A.14

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

⟨f,g⟩=∥f+g∥2−∥f−g∥2+∥f+ig∥2i−∥f−ig∥2i4 \left\langle f, g \right\rangle = \frac{\left\| f+g\right\| ^{2}-\left\| f-g\right\| ^{2}+\left\| f+i g\right\| ^{2} i-\left\| f-i g\right\| ^{2} i}{4}
?
Задача 8A.15

Пусть f,g,hf, g, h — элементы пространства со скалярным произведением. Докажите, что

∥h−12(f+g)∥2=∥h−f∥2+∥h−g∥22−∥f−g∥24 \left\| h-\frac{1}{2}(f+g)\right\| ^{2} = \frac{\left\| h-f\right\| ^{2}+\left\| h-g\right\| ^{2}}{2}-\frac{\left\| f-g\right\| ^{2}}{4}
?
Задача 8A.16

Докажите, что норма, удовлетворяющая равенству параллелограмма, порождается некоторым скалярным произведением. Иными словами, покажите, что если VV — нормированное векторное пространство, норма ∥⋅∥\left\| \cdot \right\| которого удовлетворяет равенству параллелограмма, то на VV существует скалярное произведение ⟨⋅,⋅⟩\left\langle \cdot , \cdot \right\rangle такое, что ∥f∥=⟨f,f⟩1/2\left\| f\right\| = \left\langle f, f \right\rangle^{1 / 2} для всех f∈Vf \in V.

?
Задача 8A.17

Пусть λ\lambda обозначает меру Лебега на [1,∞)[1, \infty ).

?
(a)

Докажите, что если f:[1,∞)→[0,∞)f:[1, \infty ) \rightarrow [0, \infty ) борелевски измерима, то

(∫1∞f(x)dλ(x))2≤∫1∞x2(f(x))2dλ(x) \left(\int _{1}^{\infty } f(x) d \lambda (x)\right)^{2} \leq \int _{1}^{\infty } x^{2}(f(x))^{2} d \lambda (x)
(b)

Опишите множество борелевски измеримых функций f:[1,∞)→[0,∞)f:[1, \infty ) \rightarrow [0, \infty ), для которых неравенство из пункта (a) обращается в равенство.

Задача 8A.18

Пусть μ\mu — мера. Для f,g∈L2(μ)f, g \in L^{2}(\mu ) определим ⟨f,g⟩\left\langle f, g \right\rangle как

⟨f,g⟩=∫fg‾dμ \left\langle f, g \right\rangle = \int f \overline{g} d \mu
?
(a)

Используя неравенство

∣f(x)g(x)‾∣≤12(∣f(x)∣2+∣g(x)∣2) \left|f(x) \overline{g(x)}\right| \leq \frac{1}{2}\left(\left|f(x)\right|^{2}+\left|g(x)\right|^{2}\right)

проверьте, что приведённый выше интеграл имеет смысл и отображение, сопоставляющее f,gf, g значение ⟨f,g⟩\left\langle f, g \right\rangle, задаёт скалярное произведение на L2(μ)L^{2}(\mu ) (не используя неравенство Гёльдера).

(b)

Покажите, что из неравенства Коши–Шварца следует, что

∥fg∥1≤∥f∥2∥g∥2 \left\| f g\right\| _{1} \leq \left\| f\right\| _{2}\left\| g\right\| _{2}

для всех f,g∈L2(μ)f, g \in L^{2}(\mu ) (снова не используя неравенство Гёльдера).

Задача 8A.19

Пусть V1,…,VmV_{1}, \ldots , V_{m} — пространства со скалярным произведением. Покажите, что равенство

⟨(f1,…,fm),(g1,…,gm)⟩=⟨f1,g1⟩+⋯+⟨fm,gm⟩ \left\langle \left(f_{1}, \ldots , f_{m}\right), \left(g_{1}, \ldots , g_{m}\right) \right\rangle = \left\langle f_{1}, g_{1} \right\rangle +\cdots +\left\langle f_{m}, g_{m} \right\rangle

задаёт скалярное произведение на V1×⋯×VmV_{1} \times \cdots \times V_{m}.

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

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

Задача 8A.20

Пусть VV — пространство со скалярным произведением. Превратим V×VV \times V в пространство со скалярным произведением, как в предыдущем упражнении. Докажите, что функция, сопоставляющая упорядоченной паре (f,g)∈V×V(f, g) \in V \times V скалярное произведение ⟨f,g⟩∈F\left\langle f, g \right\rangle \in \mathbf{F}, является непрерывной функцией из V×VV \times V в F\mathbf{F}.

?
Задача 8A.21

Пусть 1≤p≤∞1 \leq p \leq \infty. Рассмотрим

?
(a)

V=ℓpV = \ell^{p}.

(b)

V=Lp(R)V = L^{p}(\mathbb {R}).

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

Задача 8A.22

Используя скалярные произведения, докажите тождество Аполлония: в треугольнике со сторонами длины a,ba, b и cc пусть dd — длина отрезка, соединяющего середину стороны длины cc с противоположной вершиной. Тогда

a2+b2=12c2+2d2 a^{2}+b^{2} = \frac{1}{2} c^{2}+2 d^{2}
?