Previous Up Next
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.

6 Operators

  All the space’s a stage,
and all functionals and operators merely players!


All our previous considerations were only a preparation of the stage and now the main actors come forward to perform a play. The vectors spaces are not so interesting while we consider them in statics, what really make them exciting is the their transformations. The natural first steps is to consider transformations which respect both linear structure and the norm.

6.1 Linear operators

Definition 1 A linear operator T between two normed spaces X and Y is a mapping T:XY such that Tv + µ u)=λ T(v) + µ T(u). The kernel of linear operator kerT and image are defined by
    kerT ={x∈ X: Tx=0}    ImT={y∈ Y: y=Tx,  for some x∈ X}.
Exercise 2 Show that kernel of T is a linear subspace of X and image of T is a linear subspace of Y.

As usual we are interested also in connections with the second (topological) structure:

Definition 3 A norm of linear operator is defined:
⎪⎪
⎪⎪
T⎪⎪
⎪⎪
=sup{⎪⎪
⎪⎪
Tx⎪⎪
⎪⎪
Y: ⎪⎪
⎪⎪
x⎪⎪
⎪⎪
X≤ 1}. (37)

T is a bounded linear operator if ||T||=sup{||Tx||: ||x||}<∞.

Exercise 4 Show that ||Tx||≤ ||T||·||x|| for all xX.
Example 5 Consider the following examples and determine kernel and images of the mentioned operators.
  1. On a normed space X define the zero operator to a space Y by Z: x→ 0 for all xX. Its norm is 0.
  2. On a normed space X define the identity operator by IX: xx for all xX. Its norm is 1.
  3. On a normed space X any linear functional define a linear operator from X to , its norm as operator is the same as functional.
  4. The set of operators from n to m is given by n× m matrices which acts on vector by the matrix multiplication. All linear operators on finite-dimensional spaces are bounded.
  5. On l2, let S(x1,x2,…)=(0,x1,x2,…) be the right shift operator. Clearly ||Sx||=||x|| for all x, so ||S||=1.
  6. On L2[a,b], let w(t)∈ C[a,b] and define multiplication operator Mwf by (Mw f)(t)=w(t)f(t). Now:
          ⎪⎪
    ⎪⎪
    Mwf⎪⎪
    ⎪⎪
    2
    =
    b
    a

    w(t) 
    2
    f(t) 
    2dt
     
    K2
    b
    a
          
    f(t) 
    2dt,   where   K=⎪⎪
    ⎪⎪
    w⎪⎪
    ⎪⎪
    =
     
    sup
    [a,b]

    w(t) 
    ,
    so ||Mw||≤ K.
    Exercise 6 Show that for multiplication operator in fact there is the equality of norms ||Mw||2= ||w(t)||.
Theorem 7 Let T: XY be a linear operator. The following conditions are equivalent:
  1. T is continuous on X;
  2. T is continuous at the point 0.
  3. T is a bounded linear operator.
Proof. Proof essentially follows the proof of similar Theorem 4. □

6.2 Orthoprojections

Here we will use orthogonal complement, see § 3.5, to introduce a class of linear operators—orthogonal projections. Despite of (or rather due to) their extreme simplicity these operators are among most frequently used tools in the theory of Hilbert spaces.

Corollary 8 (of Thm. 23, about Orthoprojection) Let M be a closed linear subspace of a hilbert space H. There is a linear map PM from H onto M (the orthogonal projection or orthoprojection) such that
PM2=PM,    kerPM=M,    PM=IPM. (38)
Proof. Let us define PM(x)=m where x=m+n is the decomposition from the previous theorem. The linearity of this operator follows from the fact that both M and M are linear subspaces. Also PM(m)=m for all mM and the image of PM is M. Thus PM2=PM. Also if PM(x)=0 then xM, i.e. kerPM=M. Similarly PM(x)=n where x=m+n and PM+PM=I. □
Example 9 Let (en) be an orthonormal basis in a Hilber space and let S⊂ ℕ be fixed. Let M=CLin{en: nS} and M=CLin{en:n∈ ℕ∖ S}. Then
    
k=1
akek =     
 
k∈ S
akek +
 
kS
akek.
Remark 10 In fact there is a one-to-one correspondence between closed linear subspaces of a Hilber space H and orthogonal projections defined by identities (38).

6.3 B(H) as a Banach space (and even algebra)

Theorem 11 Let B(X,Y) be the space of bounded linear operators from X and Y with the norm defined above. If Y is complete, then B(X,Y) is a Banach space.
Proof. The proof repeat proof of the Theorem 8, which is a particular case of the present theorem for Y=ℂ, see Example 3. □
Theorem 12 Let TB(X,Y) and SB(Y,Z), where X, Y, and Z are normed spaces. Then STB(X,Z) and ||ST||≤||S||||T||.
Proof. Clearly (ST)x=S(Tx)∈ Z, and
    ⎪⎪
⎪⎪
STx⎪⎪
⎪⎪
≤ ⎪⎪
⎪⎪
S⎪⎪
⎪⎪
⎪⎪
⎪⎪
Tx⎪⎪
⎪⎪
⎪⎪
⎪⎪
S⎪⎪
⎪⎪
⎪⎪
⎪⎪
T⎪⎪
⎪⎪
⎪⎪
⎪⎪
x⎪⎪
⎪⎪
,
which implies norm estimation if ||x||≤1. □
Corollary 13 Let TB(X,X)=B(X), where X is a normed space. Then for any n≥ 1, TnB(X) and ||Tn||≤ ||T||n.
Proof. It is induction by n with the trivial base n=1 and the step following from the previous theorem. □
Remark 14 Some texts use notations L(X,Y) and L(X) instead of ours B(X,Y) and B(X).
Definition 15 Let TB(X,Y). We say T is an invertible operator if there exists SB(Y,X) such that
    ST= IX   and    TS=IY.
Such an S is called the inverse operator of T.
Exercise 16 Show that
  1. for an invertible operator T:XY we have ker T={0} and T=Y.
  2. the inverse operator is unique (if exists at all). (Assume existence of S and S, then consider operator STS.)
Example 17 We consider inverses to operators from Exercise 5.
  1. The zero operator is never invertible unless the pathological spaces X=Y={0}.
  2. The identity operator IX is the inverse of itself.
  3. A linear functional is not invertible unless it is non-zero and X is one dimensional.
  4. An operator n→ ℂm is invertible if and only if m=n and corresponding square matrix is non-singular, i.e. has non-zero determinant.
  5. The right shift S is not invertible on l2 (it is one-to-one but is not onto). But the left shift operator T(x1,x2,…)=(x2,x3,…) is its left inverse, i.e. TS=I but TSI since ST(1,0,0,…)=(0,0,…). T is not invertible either (it is onto but not one-to-one), however S is its right inverse.
  6. Operator of multiplication Mw is invertible if and only if w−1C[a,b] and inverse is Mw−1. For example M1+t is invertible L2[0,1] and Mt is not.

6.4 Adjoints

Theorem 18 Let H and K be Hilbert Spaces and TB(H,K). Then there exists operator T*B(K,H) such that
      ⟨ Th,k  ⟩K=⟨ h,T*k  ⟩H    for all  h∈ H, k∈ K.
Such T* is called the adjoint operator of T. Also T**=T and ||T*||=||T||.
Proof. For any fixed kK the expression h:→ ⟨ Th,kK defines a bounded linear functional on H. By the Riesz–Fréchet lemma there is a unique yH such that ⟨ Th,kK=⟨ h,yH for all hH. Define T* k =y then T* is linear:
     ⟨ h,T*1k12k2)  ⟩H=      ⟨ Th1k12k2  ⟩K
 =λ1⟨ Th,k1  ⟩K+λ2⟨ Th,k2  ⟩K
 =λ1⟨ h,T*k1  ⟩H+λ2⟨ h,T*k2  ⟩K
 =⟨ h1T*k12T*k2  ⟩H
So T*1k12k2)=λ1T*k12T*k2. T** is defined by ⟨ k,T**h ⟩=⟨ T*k,h ⟩ and the identity ⟨ T**h,k ⟩=⟨ h,T*k ⟩=⟨ Th,k ⟩ for all h and k shows T**=T. Also:
     ⎪⎪
⎪⎪
T*k⎪⎪
⎪⎪
2
=⟨ T*k,T*k  ⟩=⟨ k,TT*k  ⟩
 
⎪⎪
⎪⎪
k⎪⎪
⎪⎪
·⎪⎪
⎪⎪
TT*k⎪⎪
⎪⎪
⎪⎪
⎪⎪
k⎪⎪
⎪⎪
·⎪⎪
⎪⎪
T⎪⎪
⎪⎪
 ·⎪⎪
⎪⎪
T*k⎪⎪
⎪⎪
,
which implies ||T*k||≤||T||·||k||, consequently ||T*||≤||T||. The opposite inequality follows from the identity ||T||=||T**||. □
Exercise 19
  1. For operators T1 and T2 show that
          (T1T2)*=T2*T1*,   (T1+T2)*=T1*+T2*   (λ T)*=λT*.
  2. If A is an operator on a Hilbert space H then (kerA)= Im A*.

6.5 Hermitian, unitary and normal operators

Definition 20 An operator T: HH is a Hermitian operator or self-adjoint operator if T=T*, i.e. Tx,y ⟩=⟨ x,Ty for all x, yH.
Example 21
  1. On l2 the adjoint S* to the right shift operator S is given by the left shift S*=T, indeed:
          ⟨ Sx,y  ⟩=      ⟨ (0,x1,x2,…),(y1,y2,…)  ⟩
     =      x1ȳ2+x2y_3+⋯=⟨ (x1,x2,…),(y2,y3,…)  ⟩
     =⟨ x,Ty  ⟩.
    Thus S is not Hermitian.
  2. Let D be diagonal operator on l2 given by
          D(x1,x2,…)=(λ1x1, λ2x2, …).
    where k) is any bounded complex sequence. It is easy to check that ||D||=||(λn)||=supk| λk | and
          D* (x1,x2,…)=(λ1x1, λ2x2, …),
    thus D is Hermitian if and only if λk∈ℝ for all k.
  3. If T: ℂn→ ℂn is represented by multiplication of a column vector by a matrix A, then T* is multiplication by the matrix A*—transpose and conjugate to A.
Exercise 22 Show that for any bounded operator T operators Tr=1/2(T+ T*), Ti=1/2i(TT*), T*T and TT* are Hermitians. Note, that any operator is the linear combination of two hermitian operators: T=Tr+i Ti (cf. z= ℜ z + iz for z∈ℂ).

To appreciate the next Theorem the following exercise is useful:

Exercise 23 Let H be a Hilbert space. Show that
  1. For xH we have ||x||= sup { | ⟨ x,y ⟩ | for all yH such that ||y||=1}.
  2. For TB(H) we have
    ⎪⎪
    ⎪⎪
    T⎪⎪
    ⎪⎪
    = sup {  
    ⟨ Tx,y  ⟩ 
      for all  x,y∈ H  such that  ⎪⎪
    ⎪⎪
    x⎪⎪
    ⎪⎪
    =⎪⎪
    ⎪⎪
    y⎪⎪
    ⎪⎪
    =1}. (39)

The next theorem says, that for a Hermitian operator T the supremum in (39) may be taken over the “diagonal” x=y only.

Theorem 24 Let T be a Hermitian operator on a Hilbert space. Then
    ⎪⎪
⎪⎪
T⎪⎪
⎪⎪
 = 
 
sup
⎪⎪
⎪⎪
x⎪⎪
⎪⎪
 = 1

⟨ Tx,x  ⟩ 
.
Proof. If Tx=0 for all xH, both sides of the identity are 0. So we suppose that ∃ xH for which Tx≠ 0.

We see that | ⟨ Tx,x ⟩ |≤ ||Tx||||x|| ≤ ||T||||x2||, so sup||x|| =1 | ⟨ Tx,x ⟩ |≤ ||T||. To get the inequality the other way around, we first write s:=sup||x|| =1 | ⟨ Tx,x ⟩ |. Then for any xH, we have | ⟨ Tx,x ⟩ |≤ s||x2||.

We now consider

    ⟨ T(x+y),x+y  ⟩ =⟨ Tx,x  ⟩ +⟨ Tx,y  ⟩+⟨ Ty,x  ⟩ +⟨ Ty,y  ⟩ =  ⟨ Tx,x  ⟩ +2ℜ ⟨ Tx,y  ⟩ +⟨ Ty,y  ⟩

(because T being Hermitian gives ⟨ Ty,x ⟩=⟨ y,Tx ⟩ =Tx,y) and, similarly,

    ⟨ T(xy),xy  ⟩ = ⟨ Tx,x  ⟩ −2ℜ ⟨ Tx,y  ⟩ +⟨ Ty,y  ⟩.

Subtracting gives

     
    4ℜ ⟨ Tx,y  ⟩= ⟨ T(x+y),x+y  ⟩−⟨ T(xy),xy  ⟩         
 
s(⎪⎪
⎪⎪
x+y⎪⎪
⎪⎪
2 +⎪⎪
⎪⎪
xy⎪⎪
⎪⎪
2)
         
 
= 2s(⎪⎪
⎪⎪
x⎪⎪
⎪⎪
2 +⎪⎪
⎪⎪
y⎪⎪
⎪⎪
2),
         

by the parallelogram identity.

Now, for xH such that Tx≠ 0, we put y=||Tx||−1||x|| Tx. Then ||y|| =||x|| and when we substitute into the previous inequality, we get

    4⎪⎪
⎪⎪
Tx⎪⎪
⎪⎪
⎪⎪
⎪⎪
x⎪⎪
⎪⎪
=4ℜ⟨ Tx,y  ⟩  ≤ 4s⎪⎪
⎪⎪
x2⎪⎪
⎪⎪
,

So ||Tx||≤ s||x|| and it follows that ||T||≤ s, as required. □

Definition 25 We say that U:HH is a unitary operator on a Hilbert space H if U*=U−1, i.e. U*U=UU*=I.
Example 26
  1. If D:l2l2 is a diagonal operator such that D ekk ek, then D* ek=λk ek and D is unitary if and only if | λk |=1 for all k.
  2. The shift operator S satisfies S*S=I but SS*I thus S is not unitary.
Theorem 27 For an operator U on a complex Hilbert space H the following are equivalent:
  1. U is unitary;
  2. U is surjection and an isometry, i.e. ||Ux||=||x|| for all xH;
  3. U is a surjection and preserves the inner product, i.e. Ux,Uy ⟩=⟨ x,y for all x, yH.
Proof. 12. Clearly unitarity of operator implies its invertibility and hence surjectivity. Also
    ⎪⎪
⎪⎪
Ux⎪⎪
⎪⎪
2=⟨ Ux,Ux  ⟩=⟨ x,U*Ux  ⟩=⟨ x,x  ⟩=⎪⎪
⎪⎪
x⎪⎪
⎪⎪
2. 
23. Using the polarisation identity (cf. polarisation in equation (16)):
    4⟨ Tx,y  ⟩=    ⟨ T(x+y),x+y  ⟩+i⟨ T(x+iy),x+iy  ⟩
  −⟨ T(xy),xy  ⟩−i⟨ T(xiy),xiy  ⟩. 
 =
3
k=0
ik⟨ T(x+iky),x+iky  ⟩
Take T=U*U and T=I, then
    4⟨ U*Ux,y  ⟩=
3
k=0
ik⟨ U*U(x+iky),x+iky  ⟩
 =
3
k=0
ik⟨ U(x+iky),U(x+iky)  ⟩
 =
3
k=0
ik⟨ (x+iky),(x+iky)  ⟩
 =4⟨ x,y  ⟩.
31. Indeed ⟨ U*U x,y ⟩=⟨ x,y ⟩ implies ⟨ (U*UI)x,y ⟩=0 for all x,yH, then U*U=I. Since U is surjective, for any yH there is xH such that y=Ux. Then, using the already established fact U*U=I we get
    UU*y = UU*(Ux) =  U(U*U)x = Ux= y.
Thus we have UU*=I as well and U is unitary. □
Definition 28 A normal operator T is one for which T*T=TT*.
Example 29
  1. Any self-adjoint operator T is normal, since T*=T.
  2. Any unitary operator U is normal, since U*U=I=UU*.
  3. Any diagonal operator D is normal , since D ekk ek, D* ek=λk ek, and DD*ek=D*D ek=| λk |2 ek.
  4. The shift operator S is not normal.
  5. A finite matrix is normal (as an operator on l2n) if and only if it has an orthonormal basis in which it is diagonal.
Remark 30 Theorems 24 and 2 draw similarity between those types of operators and multiplications by complex numbers. Indeed Theorem 24 said that an operator which significantly change direction of vectors (“rotates”) cannot be Hermitian, just like a multiplication by a real number scales but do not rotate. On the other hand Theorem 2 says that unitary operator just rotate vectors but do not scale, as a multiplication by an unimodular complex number. We will see further such connections in Theorem 17.
site search by freefind advanced

Last modified: November 6, 2024.
Previous Up Next