Spectral theorem in terms of the Lebesgue–Stieltjes integral
[25/32%]Let be a self-adjoint operator in a Hilbert space and let be two functions that coincide identically on the ray . Prove that .
Let be a self-adjoint operator in a Hilbert space , and the resolution of the identity for the operator . Prove the following properties:
if , then ; if , then ;
if , then ;
for every the equality holds;
all the operators commute with the operators , where (in particular, with the operator itself).
Let be a self-adjoint operator in a Hilbert space . Prove that the family of subspaces associated with the operator has the following properties:
if , then ; if , then ;
if , then ;
for every the equality holds;
all the spaces are invariant with respect to for any (in particular, they are invariant with respect to the operator ).
Let be a self-adjoint operator in a Hilbert space . Prove that:
a number if and only if it is a point of increase of the family (i.e., in every neighborhood of the point there is a point for which );
a number if and only if it is a point of discontinuity of the family (i.e., ).
Let be a self-adjoint operator in a Hilbert space . Prove that if (see Definition 12.4) or , then there exists an orthonormal Weyl sequence for the operator (compare with problem 12.30).
Definition 12.4: A number belongs to the essential spectrum of the operator () if the operator is not Fredholm. The remaining points of the spectrum belong to the inessential spectrum.
Let be a self-adjoint operator in a Hilbert space . Prove that
Prove that if , then is an isolated eigenvalue of the operator of finite multiplicity.
Find the family of projectors and subspaces associated with the operator of orthogonal projection onto some subspace .
Find the family of projectors and subspaces associated with the operator , given in by the matrix
where all the numbers , are real and pairwise distinct. How does the answer change if some of the numbers coincide?
Find the family of projectors and subspaces associated with the operator .
Find the family of projectors and subspaces associated with the operator in the space , where is a bounded real sequence.
Find the family of projectors and subspaces associated with the operator given by the matrix:
;
;
;
.
Let be a continuous strictly increasing function on . Find the family of projectors and subspaces associated with the operator .
Describe the family of projectors and subspaces associated with a self-adjoint compact operator in a Hilbert space (in terms of eigenvalues and eigenvectors).
Find the family of projectors and subspaces associated with the operator .
Let be a bounded operator in a Hilbert space , and suppose that for every orthonormal basis in we have as . Prove that the operator is compact (cf. problems 11.54 and 11.45).
Prove that any self-adjoint operator in a Hilbert space can be approximated to any accuracy by finite linear combinations of orthogonal projectors in the space .
Let be a self-adjoint operator in a Hilbert space , and a self-adjoint operator in a Hilbert space . Let and be the families of subspaces associated with the operators and . Prove that the operators and are similar (unitarily equivalent), i.e., for some ( a unitary operator from to ), if and only if realizes a bijection (unitary isomorphism) of and for every .
Let be a unitary operator in a Hilbert space . Prove that there exists a unique projector-valued measure on the circle with values in , for which the equality
holds for every bounded Borel function on .
Let be a unitary operator in a Hilbert space . Prove that , where is the orthoprojector onto the subspace .
Let and be self-adjoint operators in a Hilbert space and their resolutions of the identity respectively. Prove that and commute if and only if for any .
Let and be complete separable metric spaces, and the -algebras of Borel sets on these spaces. Suppose that on and there are given, respectively, Borel resolutions of the identity and , whose values are orthogonal projectors in one and the same Hilbert space . Suppose these resolutions of the identity commute, i.e., for all . On the Cartesian product define — the Borel -algebra of subsets containing all "rectangles" of the form . Prove that on there exists a unique resolution of the identity, determined by the condition
where .
Let be a bounded normal operator in a Hilbert space . Prove that there exists a resolution of the identity , defined on the Borel subsets of П, such that , where the integral is understood in the Lebesgue-Stieltjes sense (see the preamble of this section).
Let be a bounded normal operator in a Hilbert space . Prove that
Let be a bounded normal operator in a Hilbert space . Prove that . Give examples of normal operators for which
this inclusion is strict;
.
Let be a unitary operator in a Hilbert space . Prove that .