Metric and Hilbert Spaces

Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au

Last updated: 4 November 2014

Lecture 35: Linear operators on Hilbert spaces

(Riesz representation Theorem) Let H be a Hilbert space and H*=B(H,ℂ) the dual of H. Then H ⟶ H* x ⟼ φx: H ⟶ ℂ y ⟼ ⟨y,x⟩ is a bijective linear transformation with if x∈X then ‖φx‖=‖x‖.

HW: Let H1 and H2 be Hilbert spaces and let T:H1→H2 be a bounded linear operator. Show that the adjoint of T is T*:H2⟶H1 given by if x∈H1 and y∈H2 then ⟨Tx,y⟩1= ⟨x,T*y⟩2.

Let H be a Hilbert space and let T:H→H be a bounded linear operator.

(a) T is self adjoint if T=T*.
(b) T is positive if T=T* and if x∈H then ⟨Tx,x⟩∈ℝ≥0.
(c) T is unitary if TT*=T*T=I.
(d) T is an isometry if T satisfies if x,y∈H then ⟨Tx,Ty⟩2=⟨x,y⟩1.

Let X be a normed vector space. Let S={x∈X | ‖x‖=1}. A bounded linear operator T:X→X is compact if T(S)‾ is compact.

(13.3) Let H be a Hilbert space. Let T:H→H be a bounded self adjoint operator. Then ‖T‖=sup {∣⟨Tx,x⟩∣ | ‖x‖=1}.

Let H be a Hilbert space and let T:H→H be a nonzero self adjoint compact operator.

(a) There exists x∈H such that ‖x‖=1 and if u∈H and ‖u‖=1 then ∣⟨Tu,u⟩∣≤∣⟨Tx,x⟩∣. Then x is an eigenvector of T with eigenvalue λ such that ‖λ‖=‖T‖.
(b) There is an orthonormal basis of H consisting of eigenvectors of T.
(c) Let Λ be the set of eigenvalues of T and let P(μ):H→H be the orthogonal projection onto Xμ, the subspace of eigenvectors with eigenvalue μ. Then Tx=∑μ∈Λ μP(μ)x,for  x∈H.

Examples of Hilbert spaces

ℂn with ⟨,⟩:ℂn×ℂn→ℂ given by ⟨ (x1,x2,…,xn), (y1,y2,…,yn) ⟩ = x1y1‾+ x2y2‾+⋯+ xnyn‾.

ℓ2 with ⟨,⟩:ℓ2×ℓ2→ℂ given by ⟨(x1,x2,…),(y1,y2,…)⟩= x1y1‾+ x2y2‾+⋯= ∑i∈ℤ>0 xiyi‾.

L2[a,b]= { f:[a,b]→ℂ  | f is a limit of step functions and  ‖f‖L2<∞ } with inner product ⟨,⟩:L2[a,b]×L2[a,b]→ℂ given by ⟨f,g⟩= ∫abf(t) g(t)‾dt.

Notes and References

These are a typed copy of Lecture 35 from a series of handwritten lecture notes for the class Metric and Hilbert Spaces given on September 25, 2014.

page history