3

Безусловная сходимость рядов в банаховых и гильбертовых пространствах

[15/93%]
Показать
LaTeX
Задача 3.1

Для ортонормированной последовательности {en}\left\{ e_{n}\right\} в гильбертовом пространстве HH докажите эквивалентность следующих утверждений.

?
(a)

∑cnen\sum c_{n} e_{n} сходится.

(b)

∑cnen\sum c_{n} e_{n} сходится безусловно.

(c)

∑∣cn∣2<∞\sum \left|c_{n}\right|^{2} < \infty.

Задача 3.2

Предположим, что ∑cn\sum c_{n} — условно сходящийся ряд вещественных скаляров, то есть ряд сходится, но не сходится безусловно.

?
(a)

Пусть (pn)\left(p_{n}\right) — последовательность неотрицательных членов (cn)\left(c_{n}\right) в порядке следования, и пусть (qn)\left(q_{n}\right) — последовательность отрицательных членов (cn)\left(c_{n}\right) в порядке следования. Покажите, что оба ряда ∑pn\sum p_{n} и ∑qn\sum q_{n} должны расходиться.

(b)

Для x∈Rx \in \mathbb {R} покажите, что существует перестановка σ\sigma множества N\mathbb {N}, такая что ∑cσ(n)\sum c_{\sigma (n)} сходится и равна xx.

(c)

Покажите, что существует перестановка σ\sigma множества N\mathbb {N}, такая что ∑cσ(n)\sum c_{\sigma (n)} расходится к ∞\infty, то есть lim⁡N→∞∑n=1Ncσ(n)=∞\lim_{N \rightarrow \infty } \sum_{n = 1}^{N} c_{\sigma (n)} = \infty, и другая перестановка τ\tau, такая что ∑cτ(n)\sum c_{\tau (n)} расходится к −∞-\infty.

(d)

Покажите, что существует перестановка σ\sigma множества N\mathbb {N}, такая что ∑cσ(n)\sum c_{\sigma (n)} не сходится и не расходится ни к ∞\infty, ни к −∞-\infty.

Задача 3.3

Пусть XX — нормированное пространство. Докажите эквивалентность следующих двух утверждений.

?
(a)

XX — банахово пространство.

(b)

Каждый абсолютно сходящийся ряд в XX сходится в XX. То есть если (xn)\left(x_{n}\right) — последовательность в XX и ∑∥xn∥<∞\sum \left\| x_{n}\right\| < \infty, то ряд ∑xn\sum x_{n} сходится в XX.

Задача 3.4

Для векторов xmnx_{m n} в банаховом пространстве XX, таких что ∑m∑n∥xmn∥<∞\sum_{m} \sum_{n}\left\| x_{m n}\right\| < \infty, покажите, что для любой биекции σ:N→N×N\sigma : \mathbb {N} \rightarrow \mathbb {N} \times \mathbb {N} следующие ряды существуют и равны:

∑m(∑nxmn)=∑n(∑mxmn)=∑kxσ(k) \sum _{m}\left(\sum _{n} x_{m n}\right) = \sum _{n}\left(\sum _{m} x_{m n}\right) = \sum _{k} x_{\sigma (k)}

Сравните с теоремой A.34, формулирующей аналогичный результат для рядов скаляров.

?
Задача 3.5

Пусть XX — банахово пространство, и зафиксируем A∈B(X)A \in \mathcal{B}(X). Для n>0n > 0 обозначим через AnA^{n} обычную nn-ю степень AA (An=A⋯AA^{n} = A \cdots A, nn раз), и положим A0=IA^{0} = I (тождественное отображение на XX).

?
(a)

Для данного x∈Xx \in X покажите, что ряд eA(x)=∑k=0∞Akxk!e^{A}(x) = \sum_{k = 0}^{\infty } \frac{A^{k} x}{k!} сходится абсолютно в XX, и покажите, что eAe^{A} является линейным оператором на XX.

(b)

Докажите, что ряд ∑k=0∞Akk!\sum_{k = 0}^{\infty } \frac{A^{k}}{k!} сходится абсолютно в B(X)\mathcal{B}(X) и равен оператору eAe^{A}, определённому в пункте (a). Заключите, что eA∈B(X)e^{A} \in \mathcal{B}(X) и ∥eA∥≤e∥A∥\left\| e^{A}\right\| \leq e^{\left\| A\right\| }.

(c)

Докажите, что если A,B∈B(X)A, B \in \mathcal{B}(X) и AB=BAA B = B A, то eAeB=eA+B=eBeAe^{A} e^{B} = e^{A+B} = e^{B} e^{A}.

(d)

Пусть HH — гильбертово пространство. Покажите, что если A∈B(H)A \in \mathcal{B}(H) самосопряжён, то eiAe^{i A} унитарен.

Задача 3.6

Пусть HH — (возможно, несепарабельное) гильбертово пространство, и пусть II — (возможно, несчётное) множество индексов. Покажите, что если {xi}i∈I\left\{ x_{i}\right\}_{i \in I} — ортонормированное множество в HH, то выполняются следующие утверждения.

?
(a)

Если x∈Hx \in H, то ⟨x,xi⟩≠0\left\langle x, x_{i} \right\rangle \neq 0 не более чем для счётного числа i∈Ii \in I.

(b)

Для каждого x∈H,∑i∈I∣⟨x,xi⟩∣2≤∥x∥2x \in H, \sum_{i \in I}\left| \left\langle x, x_{i} \right\rangle \right|^{2} \leq \left\| x\right\|^{2}.

(c)

Для каждого x∈Hx \in H ряд p=∑i∈I⟨x,xi⟩xip = \sum_{i \in I} \left\langle x, x_{i} \right\rangle x_{i} сходится относительно сети конечных подмножеств II, и pp является ортогональной проекцией xx на span⁡‾{xi}i∈I\overline{\operatorname {span}}\left\{ x_{i}\right\}_{i \in I}.

Задача 3.7

Пусть HH — (возможно, несепарабельное) гильбертово пространство, и пусть II — множество индексов. Для ортонормированного множества {xi}i∈I\left\{ x_{i}\right\}_{i \in I} в HH докажите, что следующие утверждения эквивалентны.

?
(a)

{xi}i∈I\left\{ x_{i}\right\}_{i \in I} полно.

(b)

Для каждого x∈Hx \in H имеем x=∑i∈I⟨x,xi⟩xix = \sum_{i \in I} \left\langle x, x_{i} \right\rangle x_{i}, где ряд сходится относительно сети конечных подмножеств II.

(c)

Для каждого x∈H,∥x∥2=∑i∈I∣⟨x,xi⟩∣2x \in H,\left\| x\right\|^{2} = \sum_{i \in I}\left| \left\langle x, x_{i} \right\rangle \right|^{2}.

Задача 3.8

Пусть {xn}\left\{ x_{n}\right\} — последовательность в банаховом пространстве XX. Зафиксируем 1≤p≤∞1 \leq p \leq \infty и предположим, что T(μ)=(⟨xn,μ⟩)∈ℓp′T(\mu ) = \left( \left\langle x_{n}, \mu \right\rangle \right) \in \ell^{p^{\prime }} для каждого μ∈X∗\mu \in X^{*}. Докажите следующие утверждения об операторе TT, который называется оператором анализа, ассоциированным с {xn}\left\{ x_{n}\right\}. Эти факты пригодятся нам в главах 7 и 8.

?
(a)

T:X∗→ℓp′T: X^{*} \rightarrow \ell^{p^{\prime }} ограничен и линеен.

(b)

Если 1≤p<∞1 \leq p < \infty, то ряд ∑cnxn\sum c_{n} x_{n} сходится безусловно для каждого (cn)∈ℓp\left(c_{n}\right) \in \ell^{p}, и оператор синтеза Uc=∑cnxnU c = \sum c_{n} x_{n} является ограниченным отображением ℓp\ell^{p} в XX.

(c)

Если p=∞p = \infty и (cn)∈ℓ1\left(c_{n}\right) \in \ell^{1}, то ряд ∑cnxn\sum c_{n} x_{n} сходится слабо, т.е. ∑cn⟨xn,μ⟩\sum c_{n} \left\langle x_{n}, \mu \right\rangle сходится для каждого μ∈X∗\mu \in X^{*}. Однако ∑cnxn\sum c_{n} x_{n} не обязательно сходится по норме XX.

(d)

Если 1≤p<∞1 \leq p < \infty, то T=U∗T = U^{*}.

(e)

Если 1<p<∞1 < p < \infty и XX рефлексивно, то U=T∗U = T^{*}.

Задача 3.9
?
(a)

Пусть X=ℓ∞X = \ell^{\infty }, и пусть {δn}\left\{ \delta_{n}\right\} — последовательность стандартных базисных векторов (которая содержится в ℓ∞\ell^{\infty }, но не образует для него базис). Покажите, что R=RE=RΛ=1\mathcal{R} = \mathcal{R}_{\mathcal{E}} = \mathcal{R}_{\Lambda } = 1, но ∑δn\sum \delta_{n} не сходится в ℓ∞\ell^{\infty }.

(b)

Приведите последовательность {xn}\left\{ x_{n}\right\} в сепарабельном банаховом пространстве XX, такую что R\mathcal{R}, RΛ\mathcal{R}_{\Lambda } и RE\mathcal{R}_{\mathcal{E}} конечны, но ∑xn\sum x_{n} не сходится.

Задача 3.10

Предположим, что {xn}\left\{ x_{n}\right\} — последовательность в гильбертовом пространстве HH, ограниченная сверху и снизу по норме. Покажите, что если ∑cnxn\sum c_{n} x_{n} сходится безусловно, то (cn)∈ℓ2\left(c_{n}\right) \in \ell^{2}. Верно ли обратное?

?
Задача 3.11

Докажите лемму 3.26 для случая комплексных скаляров.

?
Задача 3.12

Докажите теорему 3.28.

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

Теорема 3.28: Зафиксируем 1≤p≤21 \leq p \leq 2, и пусть E⊆RE \subseteq \mathbb {R} — измеримое множество с ∣E∣<∞\left|E\right| < \infty. Пусть {fn}\left\{ f_{n}\right\} — ортонормированный базис для L2(E)L^{2}(E), такой что A=inf⁡n∥fn∥Lp>0A = \inf_{n}\left\| f_{n}\right\|_{L^{p}} > 0. Если f=∑ncnfnf = \sum_{n} c_{n} f_{n} сходится безусловно в Lp(E)L^{p}(E), то ∑∣cn∣2<∞\sum \left|c_{n}\right|^{2} < \infty и f∈L2(E)f \in L^{2}(E).

Задача 3.13

Докажите следующий вариант теоремы Орлича для случая 2<p<∞2 < p < \infty: если ∑fn\sum f_{n} сходится безусловно в Lp(E)L^{p}(E), то ∑∥fn∥Lpp<∞\sum \left\| f_{n}\right\|_{L^{p}}^{p} < \infty.

?
Задача 3.14

Пусть XX — конечномерное нормированное пространство. Покажите, что ряд ∑xn\sum x_{n} в XX сходится безусловно тогда и только тогда, когда он сходится абсолютно.

?
Задача 3.15

Пусть F=R\mathbf{F} = \mathbb {R}. Покажите, что C[0,1]C[0,1] является банаховой решёткой относительно упорядочения ≤\leq, заданного в уравнении (3.13). Также покажите, что f∨g=max⁡{f,g},f∧g=min⁡{f,g}f \vee g = \max \left\{ f, g\right\} , f \wedge g = \min \left\{ f, g\right\}, и ∣f∣\left|f\right| — обычное абсолютное значение ff.

Замечание Ещё один пример банаховой решётки приведён в упражнении 6.6.

?