I.5

Изоморфные гильбертовы пространства и преобразование Фурье для окружности

[9/0%]
LaTeX
Задача I.5.1

Проверьте утверждения примера 5.3: определим S:l2l2S : l^2 \to l^2 формулой S(α1,α2,)=(0,α1,α2,)S(\alpha_1, \alpha_2, \ldots ) = (0, \alpha_1, \alpha_2, \ldots ). Тогда SS — изометрия, не являющаяся сюръективной.

?
Задача I.5.2

Определим V:L2(0,)L2(0,)V : L^2(0, \infty ) \to L^2(0, \infty ) формулами (Vf)(t)=f(t1)(Vf)(t) = f(t-1), если t>1t > 1, и (Vf)(t)=0(Vf)(t) = 0, если t1t \leq 1. Покажите, что VV — изометрия, не являющаяся сюръективной.

?
Задача I.5.3

Определим V:L2(R)L2(R)V : L^2(\mathbb {R}) \to L^2(\mathbb {R}) формулой (Vf)(t)=f(t1)(Vf)(t) = f(t-1) и покажите, что VV — изоморфизм (унитарный оператор).

?
Задача I.5.4

Пусть H\mathcal{H} — гильбертово пространство из примера 1.8 (совокупность всех абсолютно непрерывных функций f:[0,1]Ff : [0,1] \to \mathbb {F} с f(0)=0f(0) = 0 и fL2(0,1)f' \in L^2(0,1), со скалярным произведением f,g=01f(t)g(t)dt\left\langle f, g \right\rangle = \int_0^1 f'(t)\overline{g'(t)} \, dt); определим U:HL2(0,1)U : \mathcal{H} \to L^2(0,1) формулой Uf=fUf = f'. Покажите, что UU — изоморфизм, и найдите формулу для U1U^{-1}.

?
Задача I.5.5

Пусть (X,Ω,μ)(X, \Omega , \mu )σ\sigma-конечное пространство с мерой, и пусть u:XFu : X \to \mathbb {F}Ω\Omega-измеримая функция такая, что sup{u(x):xX}<\sup \left\{ \left|u(x)\right| : x \in X\right\} < \infty. Покажите, что U:L2(X,Ω,μ)L2(X,Ω,μ)U : L^2(X, \Omega , \mu ) \to L^2(X, \Omega , \mu ), определённое формулой Uf=ufUf = uf, — изометрия тогда и только тогда, когда u(x)=1\left|u(x)\right| = 1 п.в. [μ][\mu ], и в этом случае UU сюръективно.

?
Задача I.5.6

Пусть C={fC[0,2π]:f(0)=f(2π)}\mathscr {C} = \left\{ f \in C[0, 2\pi ] : f(0) = f(2\pi )\right\}; покажите, что C\mathscr {C} плотно в L2[0,2π]L^2[0, 2\pi ].

?
Задача I.5.7

Покажите, что {(1/2π),(1/π)cosnt,(1/π)sinnt:1n<}\left\{ (1/\sqrt{2\pi }), \, (1/\sqrt{\pi }) \cos nt, \, (1/\sqrt{\pi }) \sin nt : 1 \leq n < \infty \right\} — базис в L2[π,π]L^2[-\pi , \pi ].

?
Задача I.5.8

Пусть (X,Ω)(X, \Omega ) — измеримое пространство, и пусть μ,ν\mu , \nu — две σ\sigma-конечные меры, определённые на (X,Ω)(X, \Omega ). Предположим, что νμ\nu \ll \mu и ϕ\phi — производная Радона--Никодима меры ν\nu по μ\mu (ϕ=dν/dμ\phi = d\nu /d\mu). Определим V:L2(ν)L2(μ)V : L^2(\nu ) \to L^2(\mu ) формулой Vf=ϕfVf = \sqrt{\phi } f. Покажите, что VV — корректно определённая линейная изометрия, и что VV — изоморфизм тогда и только тогда, когда μν\mu \ll \nu (то есть μ\mu и ν\nu взаимно абсолютно непрерывны).

?
Задача I.5.9

Если H\mathcal{H} и K\mathcal{K} — гильбертовы пространства и U:HKU : \mathcal{H} \to \mathcal{K} — сюръективная функция такая, что Uf,Ug=f,g\left\langle Uf, Ug \right\rangle = \left\langle f, g \right\rangle для всех векторов ff и gg из H\mathcal{H}, то UU линейно.

?