Section 10.1

Complete and minimal systems of vectors

[20/35%]
Show
LaTeX
Problem 10.1

Let XX be a normed space. Prove that it is separable if and only if there exists in XX a countable complete system.

?
Problem 10.2

Prove that in every infinite-dimensional Banach space there exists a linearly independent system {xk}1∞\left\{ x_{k}\right\}_{1}^{\infty } (i.e., none of the vectors of the system is a finite linear combination of the others) which is not minimal.

?
Problem 10.3

Prove that a system {xk}k=1∞\left\{ x_{k}\right\}_{k = 1}^{\infty } of vectors of a normed space XX is complete if and only if it is total.

?
Problem 10.4

Let {xk}k=1∞\left\{ x_{k}\right\}_{k = 1}^{\infty } be a system of vectors of a normed space XX. Prove that it is minimal if and only if there exists for it a biorthogonal system of functionals {fk}k=1∞\left\{ f_{k}\right\}_{k = 1}^{\infty }. Prove that these functionals also form a minimal system in the space X∗X^{*}.

?
Problem 10.5

Give an example of a Banach space XX and a minimal system {fk}k=1∞⊂X∗\left\{ f_{k}\right\}_{k = 1}^{\infty } \subset X^{*} for which there is no biorthogonal system {xk}k=1∞\left\{ x_{k}\right\}_{k = 1}^{\infty }. Prove that such an example is impossible in a reflexive space.

?
Problem 10.6

Let XX be a normed space. Prove that for any finite linearly independent system of functionals {fk}k=1n⊂X∗\left\{ f_{k}\right\}_{k = 1}^{n} \subset X^{*} there exists a biorthogonal system of vectors {xk}k=1n⊂X\left\{ x_{k}\right\}_{k = 1}^{n} \subset X (cf. problem 5.4). Prove that for any finite linearly independent system of vectors {xk}k=1n⊂X\left\{ x_{k}\right\}_{k = 1}^{n} \subset X there exists a biorthogonal system of functionals {fk}k=1n⊂X∗\left\{ f_{k}\right\}_{k = 1}^{n} \subset X^{*}.

?
Problem 10.7

Let {xk}k=1∞\left\{ x_{k}\right\}_{k = 1}^{\infty } be a complete minimal system of vectors of a normed space XX. Prove that the biorthogonal system {fk}k=1∞\left\{ f_{k}\right\}_{k = 1}^{\infty } (it exists by problem 10.4) is unique. Prove that in the case of a reflexive space XX the system {fk}k=1∞\left\{ f_{k}\right\}_{k = 1}^{\infty } is complete in X∗X^{*} (by problem 10.4 it is minimal).

?
Problem 10.8

Let XX and YY be normed spaces, the operator T∈B(X,Y)T \in \mathcal{B}(X, Y) and Im⁡T‾=Y\overline{\operatorname {Im} T} = Y. Prove that completeness of the system {xk}1∞\left\{ x_{k}\right\}_{1}^{\infty } in XX implies completeness of the system {Txk}1∞\left\{ T x_{k}\right\}_{1}^{\infty } in YY.

?
Problem 10.9

Let the system {xk}1∞\left\{ x_{k}\right\}_{1}^{\infty } be complete in a normed space XX and let each vector xkx_{k} be a finite linear combination of vectors of the system {yk}1∞\left\{ y_{k}\right\}_{1}^{\infty }. Prove that the system {yk}1∞\left\{ y_{k}\right\}_{1}^{\infty } is also complete.

?
Problem 10.10

Let XX and YY be normed spaces, T∈B(X,Y)T \in \mathcal{B}(X, Y) and inf⁡∥x∥=1∥Tx∥=c>0\inf_{\left\| x\right\| = 1}\left\| T x\right\| = c > 0. Prove that minimality of the system {xk}1∞\left\{ x_{k}\right\}_{1}^{\infty } in XX implies minimality of the system {Txk}1∞\left\{ T x_{k}\right\}_{1}^{\infty } in YY.

?
Problem 10.11

Give an example of a Banach space XX, an injective operator T∈B(X)T \in \mathcal{B}(X), and a minimal system {xk}1∞⊂X\left\{ x_{k}\right\}_{1}^{\infty } \subset X such that the system {Txk}1∞\left\{ T x_{k}\right\}_{1}^{\infty } is not minimal.

?
Problem 10.12

Investigate the system {en=(0,0,…,0,1n,0,0,…)}1∞\left\{ e_{n} = \left(0,0, \ldots , 0, \frac{1}{n}, 0,0, \ldots \right)\right\}_{1}^{\infty } for completeness and minimality in the spaces

?
(a)

lp,p∈[1,∞)l_{p}, p \in [1, \infty );

(b)

c0c_{0};

(c)

cc;

(d)

l∞l_{\infty }.

Problem 10.13

For every λ\lambda with ∣λ∣<1\left|\lambda \right| < 1, investigate the system of vectors

x1=(1,λ,λ2,λ3,λ4,…);x2=(0,1,2λ,3λ2,4λ3,…);x3=(0,0,2⋅1,(3⋅2)λ,(4⋅3)λ2,…);x4=(0,0,0,3⋅2⋅1,(4⋅3⋅2)λ,…); \begin{array}{l} x_{1} = \left(1, \lambda , \lambda ^{2}, \lambda ^{3}, \lambda ^{4}, \ldots \right); \\ x_{2} = \left(0,1,2 \lambda , 3 \lambda ^{2}, 4 \lambda ^{3}, \ldots \right); \\ x_{3} = \left(0,0,2 \cdot 1,(3 \cdot 2) \lambda ,(4 \cdot 3) \lambda ^{2}, \ldots \right) ; \\ x_{4} = \left(0,0,0, 3 \cdot 2 \cdot 1,(4 \cdot 3 \cdot 2) \lambda , \ldots \right) ; \end{array}

for completeness and minimality in the spaces

?
(a)

lp,p∈[1,∞)l_{p}, p \in [1, \infty );

(b)

c0c_{0}.

Problem 10.14

Investigate the system of vectors {xn=(1,…,1n,0,0,…)}1∞\left\{ x_{n} = \left(1, \ldots , \frac{1}{n}, 0,0, \ldots \right)\right\}_{1}^{\infty } for completeness and minimality in the spaces

?
(a)

lp,p∈[1,∞)l_{p}, p \in [1, \infty );

(b)

c0c_{0}.

Problem 10.15

Investigate the following systems of vectors for completeness and minimality in the spaces Lp[0,1],p∈[1,∞)L_{p}[0,1], p \in [1, \infty ), and C[0,1]C[0,1]:

?
(a)

{tn}n=0∞\left\{ t^{n}\right\}_{n = 0}^{\infty };

(b)

{t2n}n=0∞\left\{ t^{2 n}\right\}_{n = 0}^{\infty };

(c)

{t2n+1}n=0∞\left\{ t^{2 n+1}\right\}_{n = 0}^{\infty };

(d)

{eiπnt}n∈Z\left\{ e^{i \pi n t}\right\}_{n \in \mathbb {Z}};

(e)

{cos⁡(πnt)}n=0∞\left\{ \cos (\pi n t)\right\}_{n = 0}^{\infty };

(f)

{sin⁡(πnt)}n=1∞\left\{ \sin (\pi n t)\right\}_{n = 1}^{\infty };

(g)

{teiπnt}n∈Z\left\{ t e^{i \pi n t}\right\}_{n \in \mathbb {Z}};

(h)

{cos⁡2(πnt/2)}n=0∞\left\{ \cos^{2}(\pi n t / 2)\right\}_{n = 0}^{\infty }

Problem 10.16

Let {αn}1∞\left\{ \alpha_{n}\right\}_{1}^{\infty } be a strictly increasing sequence of positive numbers with the property αn→1\alpha_{n} \rightarrow 1. Prove that the system {tαn}n=1∞\left\{ t^{\alpha_{n}}\right\}_{n = 1}^{\infty } is complete

?
(a)

in the space L2[0,1]L_{2}[0,1];

(b)

in the space C[0,1]C[0,1].

Problem 10.17

(H. Müntz, 1914). The system of powers {tnk}k=0∞\left\{ t^{n_{k}}\right\}_{k = 0}^{\infty }, where n0<n1<…n_{0} < n_{1} < \ldots, is complete in the space C[0,1]C[0,1] if and only if n0=0n_{0} = 0 and ∑k=1∞1nk=∞\sum_{k = 1}^{\infty } \frac{1}{n_{k}} = \infty.

?
Problem 10.18

In the space C[0,1]C[0,1], give an example of an incomplete system of vectors {xn}1∞\left\{ x_{n}\right\}_{1}^{\infty } such that for any continuous function x∈C[0,1]x \in C[0,1] the equalities ∫01x(t)xn(t)dt=0,n=1,2,…\int_{0}^{1} x(t) x_{n}(t) d t = 0, n = 1,2, \ldots, imply x=0x = 0.

?
Problem 10.19

Let XX be a Banach space, and let the system {en}1∞\left\{ e_{n}\right\}_{1}^{\infty } be weakly complete in it, i.e., for every vector x∈Xx \in X there exists a sequence {xk}1∞⊂Lin⁡{en}1∞\left\{ x_{k}\right\}_{1}^{\infty } \subset \operatorname {Lin}\left\{ e_{n}\right\}_{1}^{\infty }, weakly convergent to xx. Prove that then the system {en}1∞\left\{ e_{n}\right\}_{1}^{\infty } is complete in XX in the usual sense.

?
Problem 10.20

Let {xn}1∞\left\{ x_{n}\right\}_{1}^{\infty } be a complete and minimal system in a Hilbert space HH, and {yn}1∞\left\{ y_{n}\right\}_{1}^{\infty } a biorthogonal system for it. Prove that if ∥xn∥=∥yn∥=1\left\| x_{n}\right\| = \left\| y_{n}\right\| = 1 for all n∈Nn \in \mathbb {N}, then {xn}1∞\left\{ x_{n}\right\}_{1}^{\infty } is an orthonormal basis in HH.

?