Section 6.2

Different properties of operators

[20/35%]
Show
LaTeX
Problem 6.42

Let XX be a normed space, and X0X_{0} its closed subspace. Prove the equivalence of the following conditions:

  1. the subspace X0X_{0} is complemented;

  2. the identity operator on X0X_{0} admits an extension to a bounded operator from XX to X0X_{0};

  3. every bounded operator from X0X_{0} to YY, where YY is an arbitrary normed space, admits an extension to some bounded operator from XX to YY.

?
Problem 6.43

Prove that a Banach space XX has the following property: for all Z⊂YZ \subset Y and for every bounded linear operator A:Z→XA: Z \rightarrow X an extension A~:Y→X\tilde{A}: Y \rightarrow X with ∥A~∥=∥A∥\left\| \tilde{A}\right\| = \left\| A\right\| exists if and only if XX is 1-complemented in every Banach space X1X_{1} containing it (i.e., there exists a linear projector from X1X_{1} onto XX of unit norm).

?
Problem 6.44

Let A∈B(X0,Y)A \in \mathcal{B}\left(X_{0}, Y\right) be a finite-dimensional operator, where X0X_{0} and YY are normed spaces, X0X_{0} a linear subspace of a normed space XX. Prove that AA admits an extension to a bounded operator A~∈B(X,Y)\tilde{A} \in \mathcal{B}(X, Y), and moreover A~\tilde{A} can be chosen so that Im⁡(A~)=Im⁡(A)\operatorname {Im}(\tilde{A}) = \operatorname {Im}(A).

?
Problem 6.45

Let the operator AA be defined on the subspace c0c_{0} of the space cc as the identity operator. Prove that this operator cannot be extended to a bounded operator A~\tilde{A} from cc to c0c_{0} without increasing the norm. Exhibit an extension of AA to a bounded operator A~\tilde{A} from c to c0c_{0} with an increase in norm.

?
Problem 6.46

(R. Phillips, 1940). Prove that the closed subspace c0c_{0} of the Banach space l∞l_{\infty } is not complemented.

?
Problem 6.47

Let A∈B(X,Y)A \in \mathcal{B}(X, Y), where XX is a reflexive Banach space, YY an arbitrary Banach space, and rank A<∞A < \infty. Prove that AA attains its norm on the unit ball, i.e., there is a vector x∈Xx \in X such that ∥x∥X=1\left\| x\right\|_{X} = 1 and ∥Ax∥Y=∥A∥\left\| A x\right\|_{Y} = \left\| A\right\|.

?
Problem 6.48

Let XX be a finite-dimensional normed space, and YY an arbitrary normed space. Prove that L(X,Y)=B(X,Y)\mathcal{L}(X, Y) = \mathcal{B}(X, Y) and every operator attains its norm on the unit ball.

?
Problem 6.49

Give an example of a bounded operator in a reflexive Banach space that does not attain its norm on the unit ball.

?
Problem 6.50

Give an example of an unbounded operator A∈L(X)A \in \mathcal{L}(X) in a Banach space XX that is defined everywhere on XX and has closed kernel.

?
Problem 6.51

Let XX and YY be Banach spaces, A∈L(X,Y),Ker⁡AA \in \mathcal{L}(X, Y), \operatorname {Ker} A closed in XX, and rank⁡A<∞\operatorname {rank} A < \infty. Prove that the operator AA is bounded.

?
Problem 6.52

Give an example of a nonzero operator in an infinite-dimensional Banach space whose square is equal to zero.

?
Problem 6.53

Give an example of an operator A∈B(X)A \in \mathcal{B}(X) in an infinite-dimensional Banach space XX such that Ker⁡A⊊Im⁡A\operatorname {Ker} A \subsetneq \operatorname {Im} A.

?
Problem 6.54

Let XX be a Banach space and A∈B(X)A \in \mathcal{B}(X) an operator. Prove that:

?
(a)

either {0}⊊Ker⁡(A)⊊Ker⁡(A2)⊊…\left\{ 0\right\} \subsetneq \operatorname {Ker}(A) \subsetneq \operatorname {Ker}\left(A^{2}\right) \subsetneq \ldots, or there exists a least integer m⩾0m \geqslant 0 such that {0}⊊Ker⁡(A)⊊…⊊Ker⁡(Am)\left\{ 0\right\} \subsetneq \operatorname {Ker}(A) \subsetneq \ldots \subsetneq \operatorname {Ker}\left(A^{m}\right) and Ker⁡(Am)=Ker⁡(Am+p)\operatorname {Ker}\left(A^{m}\right) = \operatorname {Ker}\left(A^{m+p}\right) for every p∈Np \in \mathbb {N} (the operator has finite ascent mm);

(b)

either X⊋Im⁡(A)⊋Im⁡(A2)⊋…X \supsetneq \operatorname {Im}(A) \supsetneq \operatorname {Im}\left(A^{2}\right) \supsetneq \ldots, or there exists a least integer m⩾0m \geqslant 0 such that X⊋Im⁡(A)⊋…⊋Im⁡(Am)X \supsetneq \operatorname {Im}(A) \supsetneq \ldots \supsetneq \operatorname {Im}\left(A^{m}\right) and Im⁡(Am)=Im⁡(Am+p)\operatorname {Im}\left(A^{m}\right) = \operatorname {Im}\left(A^{m+p}\right) for every p∈Np \in \mathbb {N} (the operator has finite descent mm).

Problem 6.55

For an arbitrary n∈Nn \in \mathbb {N} give an example of operators AA and BB in an infinite-dimensional Banach space XX with the properties

Ker⁡(A)⊊Ker⁡(A2)⊊…⊊Ker⁡(An)=Ker⁡(An+1)=…,Im⁡(B)⊋Im⁡(B2)⊋…⊋Im⁡(Bn)=Im⁡(Bn+1)=… \begin{gathered} \operatorname {Ker}(A) \subsetneq \operatorname {Ker}\left(A^{2}\right) \subsetneq \ldots \subsetneq \operatorname {Ker}\left(A^{n}\right) = \operatorname {Ker}\left(A^{n+1}\right) = \ldots , \\ \operatorname {Im}(B) \supsetneq \operatorname {Im}\left(B^{2}\right) \supsetneq \ldots \supsetneq \operatorname {Im}\left(B^{n}\right) = \operatorname {Im}\left(B^{n+1}\right) = \ldots \end{gathered}
?
Problem 6.56

Let XX be a Banach space and A∈B(X)A \in \mathcal{B}(X) an operator. Prove that if AA has finite ascent nn and finite descent mm, then n=mn = m and X=Ker⁡(Am)⊕Im⁡(Am)‾X = \operatorname {Ker}\left(A^{m}\right) \oplus \overline{\operatorname {Im}\left(A^{m}\right)}.

?
Problem 6.57

Prove that if for A,B∈L(X)A, B \in \mathcal{L}(X) the commutation relation AB−BA=IA B-B A = I holds, then ABn−BnA=nBn−1A B^{n}-B^{n} A = n B^{n-1}. Prove that either AA or BB is unbounded. Deduce from this that the matrix equation AB−BA=IA B-B A = I, where AA and BB are unknown n×nn \times n matrices, has no solutions.

?
Problem 6.58

Let XX be a Banach space, A∈B(X)A \in \mathcal{B}(X). Under what conditions on the operator AA do the expressions

?
(a)

∥x∥1=∥Ax∥X\left\| x\right\|_{1} = \left\| A x\right\|_{X},

(b)

∥x∥2=∥x∥X+∥Ax∥X\left\| x\right\|_{2} = \left\| x\right\|_{X}+\left\| A x\right\|_{X} define a norm on XX?

Problem 6.59

Let XX be a Banach space, AA an injective bounded operator in XX. For the norms from the previous problem prove that ∥⋅∥1≺∥⋅∥X\left\| \cdot \right\|_{1} \prec \left\| \cdot \right\|_{X}, and ∥⋅∥2∼∥⋅∥X\left\| \cdot \right\|_{2} \sim \left\| \cdot \right\|_{X}. Prove that ∥⋅∥1∼∥⋅∥X\left\| \cdot \right\|_{1} \sim \left\| \cdot \right\|_{X} if and only if inf⁡∥x∥=1∥Ax∥⩾r>0\inf_{\left\| x\right\| = 1}\left\| A x\right\| \geqslant r > 0.

?
Problem 6.60

(S. Mazur, S. Ulam, 1932). Let XX and YY be normed spaces, and let the map JJ be an isometry, i.e., for all x,y∈Xx, y \in X we have ∥J(x)−J(y)∥Y=∥x−y∥X\left\| J(x)-J(y)\right\|_{Y} = \left\| x-y\right\|_{X} and J(0)=0J(0) = 0. Prove that JJ is a linear isometric isomorphism of the normed spaces XX and YY.

?
Problem 6.61

Let JJ be an isometry of the real space c0c_{0} or lp,1⩽p<∞,p≠2l_{p}, 1 \leqslant p < \infty , p \neq 2, with J(0)=0J(0) = 0. Prove that there exist a set of signs εn∈{±1}\varepsilon_{n} \in \left\{ \pm 1\right\} and a permutation σ\sigma of the natural numbers such that J(x1,…,xn,…)=(ε1xσ(1),…,εnxσ(n),…)J\left(x_{1}, \ldots , x_{n}, \ldots \right) = \left(\varepsilon_{1} x_{\sigma (1)}, \ldots , \varepsilon_{n} x_{\sigma (n)}, \ldots \right).

?