MMSS-32 Functional Analysis
MMSS-32 Functional Analysis
FUNCTIONAL ANALYSIS
[MMSS-32]
SEMESTER - III
Department of Mathematics
School of Sciences
Tamil Nadu Open University
577, Anna Salai, Saidapet,
Chennai – 600 015, Tamil Nadu.
Name of the Programme: M.Sc., Mathematics
Course Code: MMSS - 32
Course Title: Functional Analysis
Curriculum Design
Dr. E. Kumar
Assistant Professor
School of Sciences
Tamil Nadu Open University, Chennai – 15
Course Writer
Dr. G. Palani,
Assistant Professor,
PG & Research Department of Mathematics,
Dr Ambedkar Govt, Arts College,
Vysarpadi, Chennai – 39.
Course Coordinator
Dr. E. Kumar
Assistant Professor
School of Sciences
Tamil Nadu Open University, Chennai – 15
http://creativecommons.org/licenses/by-sa/4.0
Printed by:
Date:02.12.2022
Message
At the outset, I am pleased to invite you to the Tamil Nadu Open University, a leading Open and Distance
Education Institution in India. I am doubly happy to know that you have joined a Programme in the University
for upgrading your educational qualification. The University has been striving hard to democratize the tertiary
education to all sections of the society with a singular motto "education to anyone at any time" since its inception
in 2002. You can feel proud that you are a learner of the University that has got the UGCs approval vide F.No.l-
6/2018 (DEB) dated 03.10.2018 for of fering 81 UG and PG Programmes through distance mode. As you are
aware, the Government ofTamilnadu vide G.O. (MS) No.107 assured that those, who have secured a Degree in
the Tamil Nadu Open University through 10+2+3 Pattern are duly eligible for government jobs.
With dedicated and uncompromising learner supporting services, the University facilitates the pertinent
learning needs such as (a) socially relevant updated curriculum, (b) resourceful Self-Learning Materials
prepared by the eminent academics, (c) conduction of induction programmes for the first year learners, (d)
arranging counseling classes and examination centres within your vicinity, (e) reliable grievance redressal
mechanism and so on. In order to provide equal education on par with on campus education, the University
holds its Learner Support Centres (LSCs) at 91 Government Arts and Science Colleges across the State, as per
the approval of the Government ofTamilnadu.
At present, the University operates eight Regional Centres each one in Chennai, Coimbatore, Dharmapuri,
Madurai, Tirunelveli, The Nilgiris, Tiruchirappalli and Yilupuram. These Regional Centres facilitate the robust
learner supporting services. Learners can get their essential services at the respective Regional Centre rather
than approaching the Head Quarters. Moreover, our University Website holds a separate page for " Student
Portal'; in which you can get almost all the details relating to your Programme with just clicking the mouse. To
reduce the time and cost, the Online Admission facility is also extended to those who are inclined to join in any
Programme being offered by the University from their places.
At this juncture, I assure that the Tamil Nadu Open University will always extend its constant academic
supports from admission to placement ef fectively.
Principal Secretary
I
Higher Education Department
I
Ema;1, ,eg;[email protected] Ph: 044-24306645 URL:www.tnou.ac.in
Fax:91-44-24306640
Tamil Nadu Open University
Department of Mathematics
School of Science,
Chennai – 15
M.Sc., Mathe matics - Syllabus – II year – III Semester (Distance Mode)
COURSE TITLE : FUNCTIONAL ANALYSIS
COURSE CREDIT : 4
COURSE OBJECTIVES
While studying the FUNCTIONAL ANALYSIS, the Learner shall be able to:
1 BANACH SPACES-I 3
2 BANACH SPACES-II 27
5 HILBERT SPACES-I 79
Functional Analysis
M.Sc.(Mathematics)-TNOU-II Year-III Sem
CONTENTS 1
Block-I
Unit-1: Banach Spaces-I
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
2
Block-I
UNIT-1
BANACH SPACES-I
Structure
Objective
Overview
1. 1 Banach Spaces
1. 2 Some Important Inequalities
1. 3 Examples of Banach Spaces
Let us Sum Up
Check Your Progress
Suggested Readings
Overview
In this unit, we will illustrate the basic concepts of normed linear
Objectives
After successful completion of this lesson, students will be able to
Denition 1.1. A normed linear space is a linear space N in which to each vector
x there corresponds a real number, denoted k xk and called the norm of x , in such
a manner that
(3) k xk= j jk xk .
Example 1.1. If N is a normed linear space with respect to the distance dened
as d( x; y) = k x yk; N becomes a metric space.
Axiom 2: d( x; y) = 0 , k x yk= 0
, x y=0
, x=y
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
1.1. Banach Spaces 5
Axiom 3: d( x; y) = k x yk
= k (y x)k
= ky xk
= d(y; x)
Axiom 4: If x; y; z 2 N , then d( x; y) = kx yk
= kx z+z yk
k x zk+kz yk
Hence; d( x; y) d( x; y) + d(y; z)
jk xk kykj k x yk .
Proof.
k xk= k x y + yk k x yk+kyk
) k xk kyk k x yk (1.1)
and kyk k xk ky xk
k ( x y)k
k x yk (1.2)
) From (1.1) and (1.2); we have jk xk kykj k x yk
Theorem 1.1. Suppose that N is a normed linear space the norm is a continuous
funciton.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
6 1.1. Banach Spaces
Hence fk xn kg ! k xk .
Thus, norm is a continuous funciton.
Theorem 1.2. If N is a normed linear space, then addition and scalar
multiplication are jointly continuous.
Hence f xn + yn g ! x + y .
Thus, addition is a continuous function.
Assume that n ! and xn ! x , then
k n xn xk = k n xn nx + nx xk
= k n ( xn x) + ( n ) xk
j n jk xn xk+j n jk xk! 0
) f n xn g ! x .
Proof. First, we shall prove that N= M is a normed linear space, for this we shall
verify all the axioms of normed linear space.
Axiom 1: Since k x + mk is a non-negative real number and every set of
non-negative real numbers is bounded below, it follows that inffk x + mk: m 2 M g
exists and non-negative, that is
k x + Mk 0 8 x + M 2 N= M
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
1.1. Banach Spaces 7
k x + Mk = inf fk x + mk: m 2 M; x 2 Mg
= inf fkyk; y 2 Mg = 0
[* M being a subspace contains zero vector whose norm is
a real number 0]
Thus, x + M = M ) k x + M k= 0:
Converse: Assume that k x + M k= 0 . Then, we will show that x + M = M
(zero element of N= M ).
Now k x + M k= 0 ) inf fk x + mk: x 2 M g = 0
9 a sequence fmk g1k= in M such that
1
k x + mk k ! 0 as k ! 1:
) lim mk = x
k!1
) x2M [* M is closed and fmk g is a sequence in M converging to x]
) x 2 M [* M is a subspace]
) x + M = M [the zero element of N= M]
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
8 1.1. Banach Spaces
Let S n1 =x 2N 1
!2
1
Similarly for = 2
there exists a positive integer n2 > n1 such that
!2
1
n; m n2 ) k( sn + M) ( sm + M)k<
2
!
1 2
Let S n2 = x2 2 N , then k( x2 + M ) ( x1 + M )k< :
2
In general having chosen x1 ; x2 ; : : : xk and n1 ; n2 ; : : : ; nk . let nk+1 > nk be
such that
1 k +1
!
n; m nk ) k( sn + M ) ( sm + M )k<
2
Let S n +1 k
= xk+ 2 N .
1
k( xk+1 + M) ( xk + M)k< ; k = 1; 2; 3; : : :
2
1
since k( x1 + M ) ( x2 + M )k <
2
1
) inf fk x x2 + mk; m 2 M g <
1
2
1
) 9 m 2 M such that k x x2 + m0 k <
0 1
2
1
) k( x + m ) ( x m0 + m1 )k <
1 1 2
2
1
) ky y2 k <
1
2
1
Thus for y1 2 x1 + M , we have obtained y2 2 x2 + M such that ky1 y2 k< .
2
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
1.1. Banach Spaces 9
1
Similarly, we can nd y3 2 x3 + M such that ky2 y3 k< .
22
1
Continuing as above, we get kyn yn+1 k< n .
2
1
Thus, we have a sequence fyn g in N such that kyn yn+1 k< n .
2
We claim that fyn g is a Cauchy sequence in N .
1
For a given > 0 we can choose a positive integer n0 so large that n0 <.
2 1
n 1
X
1
= 2n 1
i= m
1
X
1
< n 1
i= m 2
(1=2)m 1 1
= 1
=
1=2 2m < n <
2 1 0 1
k( xn + M) (y + M)k = k xn y + Mk
= inf fk xn y + mk: m 2 Mg
k xn + m yk 8m 2 M:
Hence xn + M ! y + M 2 N= M .
Thus N= M is complete.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
10 1.2. Some Important Inequalities
ai = kj xxikj
!2
jyi j
bi = kyk
Clearly, both ai and bi are non-negative real numbers. Also, we know that the
geometric mean of two non-negative real numbers is less than or equal to their
arithmetic mean so that
p ai + bi
ai bi for i = 1; 2; : : : ; n
2
" #
j x j jy j 1 j xi j jyi j
Thus, i i
2 2
k xk kyk 2 k xk
+ kyk 2 2
k xkkyk
6666
2 66 k xk
1
+ k2
7
7
7 =
yk 7777 2 k xk
7
1
+ kyk
2
=1 2 2
i= 1 6 6 7 7
4 5
n
X
Hence, j xi yi j k xkkyk
i= 1
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
1.2. Some Important Inequalities 11
Deduction: 0 1
BXn C
k x + yk = j xi + yi j
2
B
B C
2C
B
B C
C
@ A
i= 1
n
X
= (j xi + yi j) (j xi + yi j)
i= 1
Xn
(j xi + yi j) (j xi j+jyi j)
i= 1
Xn n
X
j xi + yi jj xi j+ j xi + yi jjyi j
i= 1 i= 1
k x + ykk xk+k x + ykkyk (by Cauchy's inequality)
) k x + yk 2
(k x + yk)(k xk+kyk)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
12 1.2. Some Important Inequalities
a
Put z = in the above relation, where a and b are non-negative real numbers.
b
a a
(1 ) +
b b
or a b1 (1 )b + a
1 1 1 1
Put = ; 1 = so that + = 1.
p q p q
a 1 1
) a1= p b1=q
p
+ bq where +
p q
= 1:
1 1
If we put p = 2 and q = 2 , then + = 1.
p q
p a+b
Then, the above inequality reduces to ab .
2
i:e:; G: M: A: M:
Theorem 1.5 (Holder's inequality and Minkowski inequality).
Let x = ( x ; x ; : : : ; xn )
1 2 and y = (y ; y ; : : : ; yn )
1 2 denote n -tuples of scalars
(real or complex). Dene
2 31= p
6Xn
k xk p =
6
6
6
6 j xi j p 77777 for p 1: Then
4 5
i= 1
2 31= p 2 31=q
n n n
1
+ q1 = 1
X 6X 7 6X 7
(i) j xi yi j
6
6
6
6
4 j xi j p 7775
7 6
6
6
6
4 yi j jq 777
5
7
= k xk p kykq if p > 1 and
p
i= 1 i= 1 i= 1
: [Holder0 s inequality]
2 31= p 2 31= p 2 31=q
6Xn 7 6Xn 7 6Xn 7
j xi + yi j p 7757 j xi j p 7757 + jq 777
6 7 6 7 6 7
(ii) 6
6
6
4 6
6
6
4
6
6
6
4 yi j 5
i= 1 i= 1 i= 1
i:e:; k x + yk p k xk p +kykq (1 p < 1) [ Minkowski inequality]
j xi j
Put ai =
k xk p
and bi = kjyyki j , Thus, we get
q
j xi j jyi j 1 j xi j p 1 jyi jq
k xk p kykq
+
p k xk pp q kykqq
Above result is true for each i and hence summing from i = 1 to i = n , we get
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
1.2. Some Important Inequalities 13
n
X n
X n
X
j xi jjyi j j xi j p jyi jq
i= 1 i= 1
k xk p kykq
p + i= 1 q
pk xk p qkykq
k xk p kykqq 1
p
= + =p + 1q = 1
pk xk pp qkykqq
n
X
i:e:; j xi yi j k xk p kykq
i= 1
i= 1 i= 1 i= 1
Thus, the inequality holds good for p = 1. Now, assume that p > 1 and put
1
q
= 1 1 so that q > 1 . Then
p
n
X n
X
k x + yk pp = j xi + yi j p = j xi + yi jj xi + yi j p 1
i= 1 i= 1
n
X
(j xi j+jyi j) j xi + yi j p 1
i= 1
n
X n
X
= j xi jj xi + yi j p + 1
jyi jj xi + yi j p 1
i= 1 i= 1
2 31= p 2 31=q
6Xn Xn
6
6
6
6 j xi j p 77777 6
6
6
6
6 j xi + yi jq( p
7
7
1) 7
77
4 5 4 5
i= 1 i= 1
2 31= p 2 31=q
6Xn Xn
+ 6
6
6
6 yi j j p 77777 6
6
6
6
6 j xi + yi jq( p 1) 7
7
7
7
7
4 5 4 5
i= 1 i= 1
2 31=q 2 31=q
6Xn 7 6Xn 7
= k xk 6
6
6
p4
6 j xi + yi j p) 7775
7
+ kyk 6
6
6
p4
6 j xi + yi j p) 7775
7
i= 1 i= 1
= k x + yk pp=q k xk p +kyk p
i:e:; k x + yk p k xk p +kyk p
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
14 1.3. Examples of Banach Spaces
space.
Example 1.2. The space R and C -the real numbers and the complex numbers
are the simplest of all normed linear spaces. The norm of a number x is of course
dened k xk= j xj , and each space is a Banach space.
Solution. Let us verify all the axioms of normed linear space one by one.
Axiom 1: kx yk = jx yj 0
Axiom 2: kx yk = 0 , j x yj= 0 , x = y:
Axiom 3: Let z; w 2 C and let z and w denote their complex conjucates. Then
kz + wk 2
= (z + w)(z + w)
= zz + zw + zw + ww
jzj +2jzjjwj+jwj 2 2
= (jzj+jwj) 2
Hence jz + wj jzj+jwj
Thus both C and R are both normed linear spaces. Also, we know that these
spaces are complete. Hence C and R are complete normed linear spaces.
i:e:; R and C are Banach spaces. È
Example 1.3. The linear space Rn and C n of all n -tuples x = ( x1 ; x2 ; : : : : xn ) of
real and complex numbers are Banach known as Euclidean and Unitary spaces
respectively. The norm of x is dened by
0 11=2
BXn C
k xk =
B C
B
B
B
@ j xi j
2C
C C
A
i= 1
Solution. First. we shall prove that it is a normed linear space. For this, we shall
verify all the postulates of normed linear spaces.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
1.3. Examples of Banach Spaces 15
Axiom 1: j xi j 0 8i
) j xi j 2
0 8i
n
X
) j xi j2
0
i= 1
0 11=2
BXn C
B C
) B
B
B
@ j xi j 2C
C
C
A 0
i= 1
) k xk 0
0 11=2
BXn C
k xk= 0 =0
B C
Axiom 2: , B
B
B
@ j xi j 2C
C
C
A
i= 1
n
X
, j xi j = 0
2
i= 1
, j xi j = 0 8i
2
, j xi j= 0 8i
, xi = 0 8i
, x = ( x ; x ; : : : ; xn ) = (0; 0; : : : ; 0)
1 2
, x=0
0 11=2 0 11=2
BXn C B n
X C
Axiom 3: k xk = B
B
B
B
@ j xi j
C
2C
C
C
A = j jB
B
B
B
@
2
j xi j
2C
C
C
C
A
i= 1 i= 1
0 11=2
BXn C
= j j B
B
B
B
@ j xi j 2C
C
C
C
A
i= 1
= j jk xk
= k x + y ; x + y ; : : : ; xn + yn k
1 1 2 2
2
n
X n
X
= j xi + yi j = 2
j xi + yi jj xi + yi j
i= 1 i= 1
Xn
j xi + yi j(j xi j+jyi j)
i= 1
Xn n
X
= j xi + yi jj xi j+ j xi + yi jjyi j
i= 1 i= 1
= k x + ykk xk+k x + ykkyk
= k x + yk(k xk+kyk)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
16 1.3. Examples of Banach Spaces
n o
Thus, xi(m) be a Cauchy sequence of complex (or real) numbers for each xed
but arbitrary i . Since C or R is complete, each of these sequence converges to
a point say zi in C (or R) so that
lim x(m) = zi (i = 1; 2; : : : ; n)
m!1 i
Let l ! 1 in (1.5), n
X
j xi m
( )
zi j2 < 2
i= 1
) k xm zk < 2 2
) k xm zk <
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
1.3. Examples of Banach Spaces 17
Solution. First. we shall prove that it is a normed linear space. For this, we shall
verify all the postulates of normed linear spaces.
Axiom 1: j xi j 0 8i
) j xi j p 0 8i
n
X
) j xi j p 0
i= 1
0 11= p
BXn C
j xi j p CCCA
B C
) B
B
B
@ 0
i= 1
) k xk p 0
0 11= p
BXn C
k xk p = 0 j xi j p CCAC =0
B C
Axiom 2: , B
B
B
@
i= 1
n
X
, j xi j p = 0
i= 1
, j xi j p = 0
8i
, j xi j= 0 8i
, xi = 0 8i
, x = ( x ; x ; : : : ; xn ) = (0; 0; : : : ; 0)
1 2
, x=0
0 11= p
BXn C
Axiom 3: k xk p = B
B
B
B
@ j xi j p CCCA
C
i= 1
0 11= p
B n
X
= j j p j xi j
B
B
B
B
p CCCCC
@ A
i= 1
0 11= p
BXn C
= j j B
B
B
B
@ j xi j p CCCA
C
i= 1
= j jk xk p
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
18 1.3. Examples of Banach Spaces
i= 1
n
X n
X
= j xi jj xi + yi j p + 1
jyi jj xi + yi j p 1
i= 1 i= 1
2 31= p 2 31=q
6Xn Xn
6
6
6
6 j xi j p 77777 6
6
6
6
6 j xi + yi jq p(
7
7
1) 7
7
7
4 5 4 5
i= 1 i= 1
2 31= p 2 31=q
6Xn Xn
+ 6
6
6
6 yi j j p 77777 6
6
6
6
6 j xi + yi jq( p
7
7
1) 7
77
4 5 4 5
i= 1 i= 1
2 31=q 2 31=q
6Xn 7 6Xn 7
= k xk 6
6
6
p 64 j xi + yi j p) 7757
7
+ kyk 6
6
6
p 64 j xi + yi j p) 7757
7
i= 1 i= 1
= k x + yk pp=q k xk p +kyk p
i:e:; k x + yk p k xk p +kyk p
n o
Thus, xi(m) be a Cauchy sequence of complex (or real) numbers for each xed
but arbitrary i . Since C or R is complete, each of these sequence converges to
a point say zi in C (or R) so that
lim x(m) = zi (i = 1; 2; : : : ; n)
m!1 i
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
1.3. Examples of Banach Spaces 19
z = (z1 ; z2 ); : : : ; zn ) 2 lnp .
Now, we shall prove that the Cauchy sequence f xm g in lnp converges to z 2 lnp .
From (1.6) we have
n
X
j xi m
( )
xi(l) j p < p (1.7)
i= 1
Let l ! 1 in (1.7),
n
X
j xi m
( )
zi j p < p
i= 1
) k xm zk pp < p
) k xm zk p <
Solution. First. we shall prove that it is a normed linear space. For this, we shall
verify all the postulates of normed linear spaces.
Axiom 1: j xi j 0 8i
) j xi j p 0 8i
1
X
) j xi j p 0
i= 1
0 11= p
BX1 C
j xi j p CCCA
B C
) B
B
B
@ 0
i= 1
) k xk p 0
0 11= p
BX1 C
k xk p = 0 j xi j p CCCA =0
B C
Axiom 2: , B
B
B
@
i= 1
1
X
, j xi j p = 0
i= 1
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
20 1.3. Examples of Banach Spaces
, j xi j p = 0 8i
, j xi j= 0 8i
, xi = 0 8i
, x = ( x ; x ; : : : ; xn ; : : :) = (0; 0; : : : ; 0; : : :)
1 2
, x=0
0 11= p
BX1 C
Axiom 3: k xk p = B
B
B
B
@ j xi j p CCCA
C
i= 1
0 11= p
B 1
X C
= j B
B
B
B
@ jp j xi j p CCCA
C
i= 1
0 11= p
BX1 C
= j j B
B
B
B
@ j xi j p CCCA
C
i= 1
= j jk xk p
1
X
p
where xn(m) < 1:
n= 1
Since f xn g be a Cauchy sequence in l p . Let > 0 be given. Since f xn g is a
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
1.3. Examples of Banach Spaces 21
Thus, if n m0 , then
k xn k p = k xn xm + xm k p o o
k xn xm k p +k xm k p o o
+ k xm k p = A where A = + k xm k p
o o
n o
Thus for xed i , the sequence xi(n) is a Cauchy sequence in C or R and
consequently it must converge to a number say zi . Let z = fz1 ; z2 ; : : : ; zn ; : : :g .
We now assert that z 2 l p and that the Cauchy sequence f xn g converges to z .
First we shall prove that z 2 l p . From (1.8), we have
n m0 k xn k pp < Ap
1
X
) j xi n j p <
( )
p
i= 1
L
X
It follows that jzi j p A p < 1:
i= 1
This proves that z = fzn g is in l p .
For n; m m0
k xn xm k pp < p
1
X
p
) xi(n) xi(m) < p
i= 1
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
22 1.3. Examples of Banach Spaces
L
X
p
xi(n) xi(m) < p (n; m m0 )
i= 1
i= 1
) k xk1 0
, j x j= 0; j x j= 0; : : : ; j xn j= 0
1 2
, x = 0; x = 0; : : : ; xn = 0
1 2
, x = ( x ; x ; : : : ; xn ) = (0; 0; : : : ; 0)
1 2
, x=0
= j jmaxfj x j; j x j; : : : ; j xn jg
1 2
= j jk xk1
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
1.3. Examples of Banach Spaces 23
k xk1 +kyk1
Let > 0 be given. Then there exists a positive integer m0 such that
l; m m0 ) k xm xi k<
n o
) max x m x l ; x m x l ; : : : ;
(
1
) ( )
1
(
2
) ( )
2
xn(m) xn(l) <
) xi m xi l < i = 1; 2; : : : ; n
( ) ( )
n o
This shows that for xed i; xi(m) is a Cauchy sequence of complex
or real numbers. Since C or R is complete, it must converge to some
point zi 2 C (or R) . We assert that the Cauchy sequence f xn g converges to
z = (z1 ; z2 ; : : : ; zn ) . where each zi belongs to C or R .
) k xm zk1 < .
n converges to a point z 2 ln .
This shows that the Cauchy sequence f xm g in l1 1
n
Therefore l1 is a complete normed linear space. i:e:; It is a Banach space. È
Note 1.1. The linear space of all bounded sequences x = f x1 ; x2 ; : : : ; g of scalars
in l1 with norm is dened as
k xk = supj xn j
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
24 1.3. Examples of Banach Spaces
Example 1.7. The space C (X ) is dened as the linear space of all bounded
continuous scalar valued functions dened on X and it is a Banach Space with
the norm of a functon f 2 C (X ) dened as
k f k = sup fj f ( x)j: x 2 X g
Solution.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
1.3. Examples of Banach Spaces 25
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
26 1.3. Examples of Banach Spaces
Suggested Readings:
Web Resources:
// / / / /
1. https: archive.nptel.ac.in courses 111 106 111106147 /
// / =
2. https: www.youtube.com watch?v bgQ7Wn-etK0
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
Block-I
UNIT-2
BANACH SPACES-II
Structure
Objective
Overview
2. 1 Continuous Linear Transformations
Let us Sum Up
Check Your Progress
Suggested Readings
Overview
In this unit, we will illustrate the basic concepts of normed linear
Objectives
After successful completion of this lesson, students will be able to
Let N and N0 be normed linear spaces with the same scalars, and
useful equivalent forms and to show that the set of all continuous linear
natural way.
1. T is continuous.
Proof.
(1) , (2) : Let T be continuous and suppose f xn g be a sequence in N such
that xn ! 0 as n ! 1: Then by the condition of continuity of T , we have
T ( xn ) ! T (0) = 0: Hence T is continuous at the origin.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
2.1. Continuous Linear Transformations 29
xn kx k 1
Put yn = . Then kyn k= n = ! 0 as n ! 1 .
nk xn k nk xn k n
Thus yn ! 0 , but T (yn ) does not tends to 0 , since kT (yn )k> 1 .
Hence T is not continuous at the origin which is a contradiction. Hence T
must be bounded.
Conversely, let T be bounded so that there exists a real number K 0 such
that
kT ( x)k K k xk 8x 2 N (2.1)
From (2.2) and (2.3), we have kT ( xn )k! 0 which implies that T ( xn ) ! 0 and
consequently T is continuous at the origin.
(3) , (4) : Assume that kT ( x)k K k xk for every x 2 N and let x be any point
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
30 2.1. Continuous Linear Transformations
in the closed unit sphere S so that k xk 1 . Then kT ( x)k K for all x 2 S ,
which implies that T (S ) is bounded set in N 0 .
Conversely, let T (S ) be bounded so that there exist a real number K 0 such
that
kT ( x)k K 8x 2 S (2.4)
for every x 2 N , then K is called a bounded for T and such a T is often referred
to as a bounded linear transformation
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
2.1. Continuous Linear Transformations 31
Proof. From (2.1) there exists a real number K 0 such that kT ( x)k K k xk
for all x 2 N . Hence the set of all bounds for T equals to the set of all radii of
closed sphere centred on the origin which contains T (S ) . Hence
kT k = inf fK : K 0 and kT ( x)k K k xk 8 xg
Notation:
We denote the set of all continuous (or bounded) linear transformations
Theorem 2.2. If N and N 0 are normed linear spaces, then the set B ( N; N 0 )
of all continuous linear transformations of N into N0 is itself a normed linear
space with respect to the pointwise linear operations
(T 1 + T 2 )( x) = T 1 ( x) + T 2 ( x);
( T )( x) = T ( x)
for all x 2 N .
If ; are any two scalars, then
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
32 2.1. Continuous Linear Transformations
k( T 1 + T 2 ) ( x)k = k( T ) ( x) + ( T ) ( x)k
1 2
= k T ( x) + T ( x)k
1 2
j jK k xk+j jK k xk
1 2
= (j jK + j jK ) k xk
1 2
= kT k+kT k
1 2
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
2.1. Continuous Linear Transformations 33
Hence kT 1 + T 2 k kT 1 k+kT 2 .
Hence B(N; N 0) is a normed linear space.
Next, we wish to prove that B (N; N 0 ) is a Banach space whenever N 0 is a
Banach space.
In otherwords, we have to prove that B(N; N 0) is complete whenever N 0 is
complete.
Let fT n g be a Cauchy sequence in B ( N; N 0 ) .
) kTm Tnk < 8m; n n 0 (2.7)
Dene T : N ! N 0 by
T ( x) = lim T n ( x)
Thus, T is linear.
T is bounded:
kT ( x)k = klim T n ( x)k
= limkTn ( x)k
lim (kT n kk xk)
sup (kT n k) k xk (2.9)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
34 2.1. Continuous Linear Transformations
Thus, the above relation shows that kT n k is a Cauchy sequence on real line
and hence convergent and bounded so that there exists a K 0 such that
) supkTn k K for some K 0
Hence T is bounded.
) T is both linear and bounded and hence T 2 B ( N; N 0 ) .
Finally, we show that T n ! T .
Let > 0 be given. Since fT n g is a Cauchy sequence there exists a positive
integer mo such that
m; n mo ) kT m T n k< =2 (2.10)
kT ( x) T m ( x)k< =2
x
(2.11)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
2.1. Continuous Linear Transformations 35
i:e:; kT n T k< n mo :
For if,
kT T 0 k = supfk T T 0 ( x)k: k xk 1g
then T n T n0 ! T T 0 .
For if,
kT n T n0 T T 0k = kTn Tn0 TnT 0 + TnT 0 T T 0k
= kTn Tn0 T0
+ (Tn T ) T 0k
= kTn Tn0 T 0 + (T n
T ) T 0k
kT n kkT n0 T 0 k+kT n T kkT 0 k! 0
) T n T n0 ! TT0
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
36 2.1. Continuous Linear Transformations
Remark 2.4. If N 6= f0g , then the identity transformation I is an identity for the
B
algebra (N ) . In this case, we have kI k= 1 .
For if,
kI k = supfI ( x) : k xk 1g
= supf x : k xk 1g = 1
Thus, T is linear.
Next, we shall prove that T is continuous ( i:e:; bounded).
kT ( x)k = k x + Mk
= inf f x + m : m 2 Mg
k x + mk 8m 2 M
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
2.1. Continuous Linear Transformations 37
kT 0 = kT k .
2. Let N and N0 be a normed linear spaces over the same eld of
Suggested Readings:
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
38 2.1. Continuous Linear Transformations
Web Resources:
// / / / /
1. https: archive.nptel.ac.in courses 111 106 111106147 /
// / =
2. https: www.youtube.com watch?v imYQJOgUx7Y
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
2.1. Continuous Linear Transformations 39
Block-II
Unit-3: Fundamental Theorems on Normed Linear Spaces-I
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
40
Block-II
UNIT-3
FUNDAMENTAL THEOREMS
ON NORMED LINEAR
SPACES-I
Structure
Objective
Overview
3. 1 The Hahn-Banach Theorem
3. 2 The Natural Imbedding of N in N
Let us Sum Up
Check Your Progress
Suggested Readings
Overview
In this unit, we dene linear functionals on a normed linear space,
then we prove the main theorem namely Hahn Banach theorem which
space can be extended linearly and continuously to the whole space without
Objectives
After successful completion of this lesson, students will be able to
Denition 3.1. Suppose N is a normed linear space over C or R . Then the set
of all continuous linear transformations of N into C or R according as N is real
B B
or complex is denoted as N instead of (N; R) or (N; C ) . This space N
is called the conjugate space of N . The elements of N are called continuous
linear functionals or simply functionals.
Remark 3.1. If these functionals are added and multiplied by scalars pointwise,
and if the norm of a functional f 2 N is dened by
k f k = supfj f ( x)j: k xk 1g
= inf fK : K 0 and j f ( x)j K k xk for all xg;
Lemma 3.1. Let M be a linear subspace of a normed linear space N , and let
f be a functional dened on M . If x0 is a vector not in M , and if
M0 = M + [ x0 ]
Proof. We shall prove the lemma for real and complex scalars separately.
Case 1: Let N be a real normed linear space.
Since x0 is not in M , each vector w in M0 is uniquely expressed in the form
w = x + x0 with x 2 M . We dene our f0 by setting
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
3.1. The Hahn Banach Theorem 43
f0 (w) = f0 ( x + x0 ) = f ( x) + r0
where r0 is any real number. It is easy to see that for every choice of real number
r0 , f0 is linear on M0 such that
f0 ( x) = f ( x) for all x 2 M
= f ( x + y) + ( + ) x 0
= f ( x) + f (y) + r + r 0 0
= ( f ( x) + r ) + ( f (y) + r )
0 0
= f ( x + r ) + f (y + r )
0 0 0 0
f ( x2 ) f ( x1 ) = f ( x2 x1 )
j f ( x x) j 2
k f kk x x k 2 1
k f kk( x + x ) ( x + x ) k
2 0 1 0
= k f kk x + x k+k f kk x + x k 2 0 1 0
Thus; f ( x ) k f kk x + x k
1 1 f ( x ) + k f kk x + x k
0 2 2 0
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
44 3.1. The Hahn Banach Theorem
It follows that
f (y) k f kky + x k 0 r0 f (y) + k f kky + x0 k 8y 2 M (3.1)
) f ( x + r ) k f kk x + x k
0 0 0
) f (w) k f kkwk
0
1 1
= f ( x) kfk kx + x0 k
" #
1 1 1 1
= f ( x) + k f kk x + x0 k * <0) =
or f ( x) + r +j f kk x + x k 0 0
or f (w) k f kkwk0
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
3.1. The Hahn Banach Theorem 45
Replacing w by w , we get
f0 ( w) k f kk wk
i:e:; f0 (w) k f kkwk (3.4)
and if 2 R , then
f ( x) = f ( x)
) g( x) + ih( x) = g( x) + ih( x)
) g( x) = g( x) and h( x) = h( x)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
46 3.1. The Hahn Banach Theorem
Now, we shall prove that f0 is a linear on the complex space M0 such that
f0 = g on M
Also, if a; b 2 R , then
f0 (a + ib) = g0 (ax + ibx) ig0 ( bx + iax)
= ag0 ( x) + bg0 (ix) i( b)g0 ( x) iago (ix)
= (a + ib) g0 ( x) ig0 (ix)
= (a + ib) f0 ( x)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
3.1. The Hahn Banach Theorem 47
j f ( x)j =
0 e i rei =e i f ( x ) = f e i x
0 0
= g (e i x)
0
g e i x
0
kg k e i x
0
= kg k e i k xk= kg kk xk
0 0
= kgkk xk k f kk xk
Proof. Given M is the linear subspace of N . Thus, by above lemma for any
x 2 N and x 2= M we can have an extension of f on M + f xg such that k f k is
preserved for extension.
Consider the set of all possible extensions of f on all the subspace of ( M +any
other elements of N not in M ) of N which contains M .
This set of extensions of f say G can be partially ordered as follows:
Let g1 ; g2 2 G we dene the relation 00 by saying that g1 g2 means
domain of g1 contained in the domain of g2 and g1 = g2 ( x) 8 x 2 domain of g1 .
( G; ) is partially ordered:
( i ) Reexivity: g1 g2 8 g1 2 G .
( ii ) Antisymmetry: Let g1 g2 and g2 g1 .
) domain of g is contained in domain of g and domain of g is contained
1 2 2
in domain of g1 .
) domain of g1 = domain of g 2 and
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
48 3.1. The Hahn Banach Theorem
g1 ( x) = g2 ( x) 8 x in domain of g 1
g2 ( x) = g1 ( x) 8 x in domain of g 2
) g1 = g2
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
3.1. The Hahn Banach Theorem 49
) kyk = j jk x k 0
Dene f on M by f (y) = f ( x0 ) = kx k
0
cy1 + y2 = c( x ) + x
0 0
= (c + ) x 0
) f (cy1 + y2 ) = f (c + ) x 0
= (c + )k x k 0
= c k x k+ k x k
0 0
= c f (y ) + f (y )
1 2
Thus, f is linear.
f is continuous:
j f (y)j = j f ( x )j= j jk x k
0 0
= j jk x k= kyk
0
) j f (y)j = kyk
or j f (y)j 2kyk
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
50 3.1. The Hahn Banach Theorem
Now, if m 2 M then
T (m) = m+M =M=0 (zero of N= M )
Now dene f0 on N as
f0 ( x) = f (T ( x)) = f ( x + M )
f0 is linear:
f0 (cx + y) = f (T (cx + y)) = f ((cx + y) + M )
= f [c( x + M ) + (y + M )]
= c f ( x + M ) + f (y + M )
= c f0 ( x) + f0 (y)
Thus, f0 is linear.
f0 is bounded:
j f ( x)j = j f (T )( x)j
0 0
k f kkT kk xk
k f kk xk [* kT k 1]
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
3.1. The Hahn Banach Theorem 51
) x0 2 M which is a contradiction as x0 2= M .
Now, we can easily seen that f dened as above is a linear functional and because
of the uniqueness of y this mapping is well dened.
Also f ( x) = f ( x + 0 x0 ) = 0 8 x 2 M .
f ( x0 ) f (1 + 1 x0 ) = 1
= sup j fk(yyk)j : y =6 0; y 2 M 0
( )
j j
= sup k x + x k : x 2 M; 2 R; x 6= 0 or =6 0
0
( )
j j
= sup j jk x= + x k : x 2 M; 2 R; or 6= 0
0
( )
1 x
= sup
kx zk
:z= 2 M;
0
= inf fk x0 zk: z 2 M g 1
= d 1
= 1=d
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
52 3.2. The Natural Imbedding of N in N
Therefore by Hahn-Banach theorem this functional f dened on M0 can be
extended to a functional f0 on N and hence belonging to N such that
f0 (y) = f (y) 8y 2 M and k f k= k f k= 1=d
0 0
or f0 ( x) = f ( x) = 0 8 x 2 M i:e:; f ( M ) = 0 0
such that kF x k= k xk .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
3.2. The Natural Imbedding of N in N 53
But
kF x k = supfjF x ( f )j: k f k= 1g
= supfj f ( x)j: k f k= 1g
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
54 3.2. The Natural Imbedding of N in N
F x +y ( f ) = f ( x + y) = f ( x) + f (y)
= F x ( f ) + Fy ( f )
= F x + Fy ( f )
and F x ( f ) = f ( x) = F x ( f ) = ( F x )( f ) 8 f 2 N
We can also prove that the space lnp for 1 p 1 are also reexive.
Since N is complete and hence N is complete, if it is reexive.
If N is complete, it is not necessarily reexive.
For if, C0 = l1 and C0 = l1 = l1 .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
3.2. The Natural Imbedding of N in N 55
Denition 3.3. The weak topology on a normed linear space N is the weakest
topology on N with respect to which all the functions in N remains continuous.
Note 3.5. N is the set of all scalar valued linear functions dened as N which
are continuous with respect to its strong topology. The weak topology on N is
the weakest topology on N with respect to which all the functions in N are
continuous, and clearly this is weakter than it's strong topology.
Since N is the conjugate space of N , the natural imbedding enables us to
consider N as part of N . We now form the weakest topology on N with
respect to which all the functions in N -regarded as a subset of N remains
continuous. This is the weak topology and it is evidently weaker than the weak
topology. The weak topology can be given a more explicit description, in which
its dening subbasic open sets are displayed. Consider a vector x in N and
its induced function F x in N . The weak topology on N is the weakest
topology under which all such F 0x s are continuous. If f0 is an arbitrary element
in N and if > 0 is given then the set
S ( x; f0 ; )= f f : f 2 N and jF x ( f ) F x ( f0 )j < g
S ( x; f ; ) = f f : f 2 N
0 and j f ( x) f0 ( x)j < g
Theorem 3.5. If N is a normed linear space, then the closed unit sphere S in
N is a compact Hausdor space in the weak topology.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
56 3.2. The Natural Imbedding of N in N
Proof. First we shall prove that N is a Hausdor space with respect to its weak
topology. If f and g are distinct functionals in N , then there must exists a
vector x in N such that f ( x) 6= g( x) ; for if we put = j f ( x) g( x)j=3 then
S ( x; f ; ) and S ( x; g; ) are distinct neightborhoods of f and g in the weak
topology.
Dene S = f f : f 2 N and k f k 1g . Then S is the closed unit sphere in
N . We can easily prove that S is compact in the strongly topology if and only if
N is nite dimensional. If N is complete, then we can prove that S is compact
in the weak topology if and only if N is reexive. With each vector x in N , we
associate a compact space C x , where C X is the closed interval [ k xk; k xk] or
the closed disc fz : jzj k xkg , according as N is real or complex. By Tychno 's
theorem, the product C of all the C 0x s is also a compact space. For each x , the
values f ( x) for all f 0 s in S lie in C x . This enables us to imbed S in C by
regarding each f in S as identical with the array of all it's values at the vectors
x in N . It is clear from that the denitions of the topologies concerned with the
weak topology on S equals its topology as a subspace of C ; and since C is
compact, it sucies to show that S is closed as a subspace of C . We show that
if g is in S , then g is in S . If we consider g to be a function dened on the
index set N , then since g is in C we have jg( x)j k xk for every x in N .
It is therefore sucies to show that g is linear as a function dened on N .
Let > 0 be given, and let x and y be any two vectors in N . Every basic
neighborhood of g intersects of S , so there exists an f in S such that
jg( x) f ( x)j < =3; jg(y) f (y)j< =3; and jg( x + y) f ( x + y)j< =3
The fact that this inequality is true for every > 0 now implies that
g( x + y) = g( x) + g(y) . We can show in same fashion that g( x) = g( x) for
every scalar , so g is linear and the theorem is proved.
results.
Theorem 3.6. Let N be a normed linear space and let S be the compact
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
3.2. The Natural Imbedding of N in N 57
Hausdor space obtained by imposing the weak topology on the closed unit
sphere in N . Then the mapping x ! F , where F x ( f ) = f ( x) for each f in
S , is an isometric isomorphism of N into C(S ) . If N is a Banach spacce,
this mapping is an isometric isomorhism of N onto a closed linear subspace of
C (S ) .
imbedding of N in N .
Suggested Readings:
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
58 3.2. The Natural Imbedding of N in N
5. Conway J.B., A Course in Functional Analysis, Springer-Verlag,
Web Resources:
// / / / /
1. https: archive.nptel.ac.in courses 111 106 111106147 /
// / / /
2. https: www.math.uzh.ch gorodnik functionalanalysis lecture6.pdf
// / /
3. https: www.imsc.res.in kesh hahn.pdf
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
Block-II
UNIT-4
FUNDAMENTAL THEOREMS
ON NORMED LINEAR
SPACES-II
Structure
Objective
Overview
4. 1 The Open Mapping Theorem
4. 2 The conjugate of an operator
Let us Sum Up
Check Your Progress
Suggested Readings
Overview
In this unit, we derive open-mapping theorem, closed graph
Objectives
After successful completion of this lesson, students will be able to
In this section, we have our rst encounter with basic theorems which
Proof. Let S ( x; r) and S 0 ( x; r) denote the open spheres with centre x and radius
r in Banach space B and B0 respectively. Also S r and S r0 will denote these
spheres when the centre is the origin. First we shall prove that
S ( x; r ) = x + Sr and S r = rS 1
and so
T (S r ) = T (rS 1 ) = rT (S 1 )
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
4.1. The Open Mapping Theorem 61
be assumed to lie in T (S n0 ) .
The existene of such a point y0 is proved as follows:
y is an interior point of T (S n0 ) .
0
But y 2 T (S n0 ) which implies that y is an adherent point of T (S n0 ) .
i:e:; the neighborhood G of y must contain a point y0 of T (S n0 ) .
Thus, y 2 T (S n0 ) is such that y0 2 G T (S n0 ) which implies that y0 is an
interior point of T (S n0 ) .
The mapping f : B0 ! B0 by f (y) = y y0 is a homeomorphism. For f is
evidently one-one onto and if yn 2 B0 is such that yn ! y , then
f (yn ) = yn y0 ! y y = f (y)
0
and f (yn ) 1
= yn + y0 ! y + y = f (y)
0
1
so that f and f 1 are both continuous. We use the mapping f to show that 0
is an interior point of T (S n0 ) y0 . We have y0 is an interior point of T (S n0 ) .
) there exists an open set G such that y0 2 G T (S n ) . 0
) f (y0 ) 2 f (G) f T (S n0 ) .
) y0 y0 = 0 2 f (G) T (S n ) 0
y0 .
) 0 is an interior point of T (S n ) 0
y0 .
We assert that T (S n0 ) y0 T S 2n0 .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
62 4.1. The Open Mapping Theorem
Also
x; xn 2 Sn 0
) k xk< n ; k x k< n 0 0 0
) k x x k k xk+k x k< 2n
0 0 0
) x x 2S n 0 2 0
) y 2 T (S n ) 2 0
and therefore T (S n0 ) y0 T (S n ) = 2n T (S ) 2 0 0 1
) T (S n0 ) y0 2n T (S ) 0 1
Since f is a homeomorphism,
f T (S n0 ) f (T (S n0 )
) T (S n0 ) y0 = T (S n0 ) y0 2n T (S ): 0 1 (4.1)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
4.1. The Open Mapping Theorem 63
y y1 2 0
S = T (S = )
2 1 2
1
where y2 = T ( x2 ) and k x2 k< . Continuing in this way, we obtain a sequence
2
f xn g in B such that k xn k< 1=2n 1 , and
ky (y + y + : : : + yn )k < =2n
1 2
k x k+k x k+ : : : + k xn k
1 2
1 1
< 1 + + ::: + n 1 < 2
2 2
1 1 1
< m + m+ + : : : + n
2 2 2 1
!
1
1 1
m 1 n m
= 2 1 1=22
= 2m1 1 2n 1m 1
! 0 as m; n ! 1
Since T is continuous
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
64 4.1. The Open Mapping Theorem
x = lim sn
) T ( x) = T (lim sn )
= lim T ( sn )
= lim T ( x1 + x2 + : : : + xn )
= lim(y1 + y2 + : : : + yn )
= y
) y + S 0 y + T (S r ) = T ( x) + T (S r ) = T ( x + S r ) .
i:e:; S 0 (y; ) T ( x + S r ) T (G) .
Thus we have show that to each point y 2 T (G) , there exists an open sphere in
B0 centered at y and contained in T (G) and consequently T (G) is an open set.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
4.1. The Open Mapping Theorem 65
to the study of pairs of linear subspaces which are disjoint and span L. For
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
66 4.1. The Open Mapping Theorem
(ii) E is continuous
(ii) P is continuous.
The condition (i) gives that B = M N except the fact that M and N are
closed, where M and N are the range and null space of P respectively.
In order to prove that M and N are closed subspaces of B , we make use of
the condition (ii) .
By denition of a null space,
N = f x : P( x) = 0g = P (f0g)
1
i:e:; M is the null space of I P , But since the identity map I is always
continuous and hence I P is also continuous, which is also closed.
Proof. Since B = M N .
Thus P dened by P( x) = x .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
4.1. The Open Mapping Theorem 67
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
68 4.1. The Open Mapping Theorem
next chapter that a Hilbert space-which is a special type of Banach space has this
property. We shall also see that the property is closedly linkedly to the satisfying
geometric structure which sets Hilbert spaces apart from general Banach spaces.
then the resulting topology is easily seen to be the same in the product topology,
and convergence with respect to this metric is equivalent to coordinatewise
convergence. If T is continuous, then its graph is closed as a subset of B B0 .
In the present context, the converse is also true.
Theorem 4.5 (The closed graph theorem). If B and B0 are Banach spaces, and
if T is a linear transformation of B into B0 , then T is continuous if and only if
its graph is closed.
) xn ! x ; T ( xn ) ! y
0 0
or T ( xn ) ! T ( x ) 0
) T (x ) = y 0 0
Now x0 2 B ) ( x0 ; T ( x0 )) 2 TG .
or ( x0 ; y0 ) 2 TG .
Hence ( x0 ; y0 ) 2 TG ) ( x0 ; y0 ) 2 TG .
) TG TG
But always, TG TG .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
4.1. The Open Mapping Theorem 69
It is easy to verify that the new norm satises all the axioms of norm. Hence the
linear space B equipped with this new norm will be denoted by B1 .
Thus B1 is a normed linear space.
Now kT ( x)k k xk+kT ( x)k= k xk1
) kT ( x)gj k xk or kT ( x)k 1 k xk
1 1
) k xn xm k+kT ( xn T ( xm )k! 0 as m; n ! 1 .
) k xn xm k+kT ( xn ) T ( xm )k! 0 as m; n ! 1 .
) k xn xm k! 0 as m; n ! 1 .
and T ( xn ) T ( xm )k! 0 as m; n ! 1 .
Thus f xn g is a Cauchy sequence in B and fT ( xn )g is a Cauchy sequence in
B0 . But both B and B0 are Banach space and hence complete.
) xn ! x 2 B and ( xn ) ! y 2 B0 .
Now f( x; T ( xn ))g is a Cauchy sequence in the graph of T which is given to be
closed.
) ( xn ; T ( xn )) ! ( x; y) 2 TG
But ( x; y) 2 TG ) y = T ( x) .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
70 4.2. The Conjugate of an Operator
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
4.2. The Conjugate of an Operator 71
and so Fn0 must have non-empty interior, that is there exists some x0 2 Fn00 so
that Fn0 is a neighborhood of x0 .
Since Fn0 is closed, there exists a closed sphere
S = f x 2 B : k x x0 k r0 g Fn0
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
72 4.2. The Conjugate of an Operator
1
= r0
kT i (z + x ) 0 T i ( x0 )k
1
[kT i (z + x0 )k+kT i ( x0 )k]
r0
1 2n0
(n0 + n0 ) = ; * z + x and xo 2 Fn
0
r0 r
2n0
Thus, kT i (y)k if kyk 1:
r
2n0
) kT k= supfkTi (y)k: kyk 1g .
r
It follows that fkT i kg is a bounded set of numbers.
Thus, the proof of the theorem is complete.
Note 4.1. The above theorem is usually known as the Banach Steinhaus theorem.
corresponding subset fF x g of N .
i
F x is dened by F x ( f ) = f ( x) .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
4.2. The Conjugate of an Operator 73
Remark 4.4. Let L be the linear space of all scalar-valued linear functions
dened on N . The conjugate space N is clearly a linear subsapce of L . Let T
be a linear transformation of N into itself, which is not necessarily continuous.
We use T to dene a linear transformation T 0 of L into itself as follows:
If f is in L , then T 0 ( f ) is dened by
T 0 ( f ) ( x) = f (T ( x))
where f is a functional on N .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
74 4.2. The Conjugate of an Operator
Hence T is linear.
kT k = sup fkT ( f )k: k f k 1g
= sup fkT ( f )k( x) : k f k 1 and k xk 1g
= sup fk f (T ( x))k: k f k 1 and k xk 1 g
sup fk f kkT kk xk: k f k 1 and k xk 1 g
kT k
Since kT k= sup fkT ( x)k: k xk 1g , we see at once from Theorem 3.2 that equality
holds here, that is, that
kT k = kT k
The proof of these facts are easy consequences of the denitions. We illustrate
the principle involved by proving (4.7). It must be shown that
(T 1 T 2 ) ( f ) = T 2 T 1 ( f ) for each f in N
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
4.2. The Conjugate of an Operator 75
(T 1 T 2 ) ( f )( x) = f ((T 1 T 2 )( x))
= f (T 1 (T 2 ( x)))
=
T 1 ( f ) (T 2 ( x))
=
T 2 (T 1 ( f )) ( x)
=
T 2 T 1 ( f ) ( x)
4. Dene graph of f .
Suggested Readings:
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
76 4.2. The Conjugate of an Operator
Web Resources:
// / / /
1. https: archive.nptel.ac.in courses 111 106 111106147/ /
// / /
2. https: people.math.sc.edu schep Openmapping.pdf
// / / /
3. http: www.math.lsa.umich.edu rauch 555 openmappingthm.pdf
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
4.2. The Conjugate of an Operator 77
Block-III
Unit-5: Hilbert Spaces-I
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
78
Block-III
UNIT-5
HILBERT SPACES-I
Structure
Objective
Overview
5. 1 The Denion and Simple Properties
5. 2 Orthogonal Complements
Let us Sum Up
Check Your Progress
Suggested Readings
Overview
In this unit, we derive open-mapping theorem, closed graph
Objectives
After successful completion of this lesson, students will be able to
The Banach spaces studied in the previous Block are little more than
that of the angle between two vectors. The theory of Hilbert spaces does
not hinge on angles in general, but rather on some means on telling when
Denition 5.1. A Hilbert space is a complex Banach space whose norm arise
from the inner product, which is a function ( ; ) : H H ! C are called inner
product satises the following conditions:
3. ( x; x) = k xk2
Example 5.1. The space l2n with the inner product of two vectors
x = ( x1 ; x2 ; : : : ; xn ) and y = (y1 ; y2 ; : : : ; yn )
n
X
dened by ( x; y) = xi yi
i= 1
is a Hilbert space.
Axiom 2: 0
n 1
B
BX C
C
( x; y) = B
B
B
B
@
C
( xi yi )
C
C
C
A
i= 1
= ( x1 y1 + x2 y2 + : : : + xn yn )
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
5.1. The Definion and Simple Properties 81
= x1 y1 + x2 y2 + : : : + xn yn
= x1 y1 + x2 y2 + : : : + xn yn
= y1 x1 + y2 x2 + : : : + yn xn
= (y; x)
n
X
Axiom 3: ( x; x) = xi xi
i= 1
Xn
= j xi j = k xk
2 2
i= 1
Solution. First let us show that the inner product (5.1) is well-dened. For this
we have to show that (5.1) is a convergent series and having its sum as a complex
number. By Cauchy's inequality, we get
0 11=2 0 11=2
n
X BXn C BXn C
B C B C
xi yi B
B
B
@ j xi j 2C
C C
A
B
B
B
@ yi j j 2C
CC
A
i= 1 i= 1 i= 1
0 11=2 0 11=2
BX1 C BX1 C
B C B C
B
B
B
@ j xn j 2C
C
C
A
B
B
B
@ yn j j 2C
C
C
A
n= 1 n= 1
1
X 1
X
Since j xn j and
2
jyn j are convergent, the monotonic increasing sequence
2
n= 1 n= 1
of partial sums of the series (5.1) is bounded above. Hence (5.1) is convergent so
that the inner product (5.1) is well dened. È
Theorem 5.1. In a Hilbert space H , prove that
(i) ( x y; z) = ( x; z) (y; z)
(ii) ( x; y + z) = ( x; y) + ( x; z)
(iii) ( x; y z) = ( x; y) ( x; z)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
82 5.1. The Definion and Simple Properties
Proof.
(i) ( x y; z) = ( x+( )y; z)
= ( x; z) + ( )(y; z)
= ( x; z) (y; z)
(ii) ( x; y + z) = ( y + z; x)
= ( y; x) + ( z; x)
= (y; x) + (z; x)
= ( x; y) + ( x; z)
(iv) (0; x) = (0 0; x)
= 0(0; x) = 0
Theorem 5.2 (Schwarsz inequality). If x and y are any two vectors in a Hilbert
space H , then
j( x; y)j k xkkyk
Proof. If y = 0 , then kyk= 0 and j( x; y)j= 0 . Therefore, in this case both sides
vanish and the result is quite obvious.
Now, let y 6= 0 . For any scalar , we have
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
5.1. The Definion and Simple Properties 83
( x + y; x + y) 0
) ( x; x + y) + (y; x + y) 0
) ( x; x) + ( x; y) + (y; x) + (y; y) 0
k xk +( x; y) + (y; x) + jj kyk 0
2 2 2
(5.2)
we get
( x; y) j( x; y)j
( x; y) 2
k xk 2
( x; y) (y; x) +
kyk
2
0
kyk 2
kyk kyk 2 2 2
) k xk
kyk
2
kyk 2
+ kyk 2 2
0
j( x; y)j j( x; y)j j( x; y)j
2 2 2
) k xk
kyk
2
kyk
+ kyk
2 2 2
0
j( x; y)j 2
) k xk 2
0
kyk 2
) k xk kyk j( x; y)j 2 2 2
0
) j( x; y)j k xkkyk
Proof.
j( xn ; yn ) ( x; y)j = j( xn ; yn ) ( xn ; y) + ( xn ; y) ( x; y)j
= j( xn ; yn y) + ( xn x; y)j
j( xn ; yn yj + j( xn x; y)j
k xn kkyn yk+k xn xkkyk! 0 as n ! 1
) j( xn ; yn ) ( x; y)j ! 0 as n ! 1
Hence ( xn ; yn ) ! ( x; y) .
Thus, the inner product in a Hilbert space is jointly continuous.
that the sum of the squares of the sides of a parallelogram equals the sum
of the squares of the diagonals. We shall show that the norm on a Hilbert
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
84 5.1. The Definion and Simple Properties
Theorem 5.4. If x and y are any two vectors in a Hilbert space H , then
k x + yk +k x2
yk2 = 2 k xk2 +kyk2
= ( x; x y) + (y; x y)
= ( x; x) ( x; y) (y; x) + (y; y)
= k xk ( x; y) (y; x) + kyk
2 2
(5.4)
Proof.
k x + yk 2
= k xk +( x; y) + (y; x) + kyk
2 2
(5.5)
and k x yk 2
= k xk ( x; y) (y; x) + kyk
2 2
(5.6)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
5.1. The Definion and Simple Properties 85
k x + yk k x 2
yk2 = 2k xk +2kyk
2 2
(5.10)
and 4( x; y) = k x + yk k x 2
yk2 +ik x + iyk2 ik x iyk2 (5.11)
Now B will be a Hilbert space if we show that the inner product on B dened
by (5.11) satises the following properties:
(i) ( x; x) = k xk2
(ii) ( x; y) = (y; x)
(iii) ( x + y; z) = ( x; z) + (y; z)
(iv) ( x; y) = ( x; y)
Note that the properties (iii) and (iv) are equivalent to the single property
( x + y) = ( x; z) + (y; z)
= 4k xk 2
) ( x; x) = k xk
2
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
86 5.1. The Definion and Simple Properties
(ii) To prove (ii) we shall take complex conjugates of both sides of (5.11). Since
k x + iyk2 etc are all real numbers, therefore they will not change on while taking
conjugates. So, we have
4( x; y) = k x + yk k x yk ik x + iyk +ik x iyk
2 2 2 2
= 4(y; x)
) ( x; y) = (y; x)
k( x + z) + yk 2
= 2k x + zk +2kyk k( x + z) 2 2
yk2 (5.13)
Again
k( x + z) yk2 = k(z y) + xk 2
= 2ky zk +2k xk k( x + y) zk
2 2 2
(5.14)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
5.1. The Definion and Simple Properties 87
n o
= k x + zk k x zk +ik x + izk ik x izk
2 2 2 2
n o
+ ky + zk ky zk +iky + izk iky izk
2 2 2 2
(5.19)
By (5.12), the left hand side of (5.19) is equal to 4(x + y; z) and the right hand
side of (5.19) is equal to 4(x; z) + 4(y; z) . Hence from (5.19), we have
4( x + y; z) = 4( x; z) + 4(y; z)
) ( x + y; z) = ( x; z) + (y; z)
(iv) We shall establish this results in several steps according as the scalars
takes di erent types of values.
(a) is a positive integer:
As proved in (iii) , we have
( x + z; y) = ( x; y) + (z; y) (5.20)
Thus the result (iv) is true for = 2 . Now, assumes that (iv) is true for any
positive integer n i:e: assume that
(nx; y) = n( x; y) (5.21)
Then
((n + 1) x; y) = (nx + x; y)
= (nx; y) + ( x; y)
= n( x; y) + ( x; y)
= (n + 1)( x; y)
Thus (iv) is true for n + 1 if it was true for n . Hence by induction (iv) is true
for all positive integers .
(b) is a negative integer.
First we shall prove that ( x; y) = ( x; y) .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
88 5.1. The Definion and Simple Properties
n o
= k x + yk k x yk +ik x + iyk ik x iyk
2 2 2 2
= 4( x; y)
) ( x; y) = ( x; y)
n o
= i k x + yk k x yk +ik x + iyk ik x iyk
2 2 2 2
= i4( x; y)
) (ix; y) = i( x; y)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
5.1. The Definion and Simple Properties 89
( x; y) = (( 1 +i 2 ) x; y)
= ( 1 x+i 2 x; y)
= ( 1 x; y) + (i 2 ; y)
= ( 1 x; y) + i( 2 x; y)
= 1 ( x; y) + i 2 ( x; y)
= ( 1 +i 2 )( x; y)
= ( x; y)
Note 5.2. Taking = 1=2 , we see that if S is a convex subset of a linear space
L , then x; y 2 S ) ( x + y)=2 2 S .
Proof. Let d = inf fk xk: x 2 C g . Then there must exist a sequence of vector f xn g
in C such that k xn k! d .
Consider the two vectors xm and xn belonging to the sequence f xn g . Since C
is a convex subset of H , therefore
xm ; xn 2 C ) ( xm + xn )=2 2 C
k xm xn k = 2k xm k +2k xn k k xm + xn k
2 2 2 2
2k xm k +2k xn k 4d 2 2 2
(5.25)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
90 5.2. Orthogonal Complements
Hence as m; n ! 1 , we have k xm xn k2 ! 0 .
2k xk +2k x0 k 4d
2 2 2
= 2d + 2d 4d ! 0
2 2 2
Thus; k x x0 k2 0
But k x x0 k2 0
Hence we have k x x0 k2 = 0 ) x x0 =0 ) x = x0 .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
5.2. Orthogonal Complements 91
Note 5.5. The zero vector is orthogonal to every vector. For every vector x in
H , we have (0; x) = 0 . Therefore 0? x for all x in H .
Note 5.6. The zero vector is the only vector which is orthogonal to itself. We
have x? x ) ( x; x) = 0 ) k xk2 = 0 ) x = 0 .
Hence if x? x , then x must be a zero vector.
Theorem 5.7 (Pythagoream theorem). If x and y are any two orthogonal vectors
in a Hilbert space H , then
k x + yk = k x
2
yk2 = k xk2 +kyk2
= k xk +0 + 0 + kyk = k xk +kyk
2 2 2 2
= k xk +0 + 0 + kyk = k xk +kyk
2 2 2 2
Denition 5.5. Let S be any non empty subset of a Hilbert space H . Then S ?
is a subspace of H . We dene S ? ? , written as S ?? , by
n o
S ?? = x 2 H : ( x; y) = 0 8y 2 S ?
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
92 5.2. Orthogonal Complements
(i) f0g? = H .
(ii) H ? = 0.
(iii) S \ S ? f0g .
(iv) S 1 S ) S? S? .
2 2 1
(v) S S ?? .
Proof.
(i) First we shall prove that H f0g? .
Let x 2 H . Since ( x; 0) = 0 , therefore x 2 f0g? .
Thus x 2 H ) x 2 f0g? .
Hence H f0g? .
But f0g? H .
Hence H = f0g? .
(ii) Let x 2 H . Then by denition of H ? , we have
( x; y) = 0 8y 2 H
Taking y = x , we get
( x; x) = 0 ) k xk2 = 0 ) x = 0
Thus 0 is the only vector which can belong to both S and S ? . Therefore
S \ S ? f0g
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
5.2. Orthogonal Complements 93
) S 2? S? .
1
Proof. By denition
S? = f x 2 H : ( x; y) = 0 8 y 2 S g
Hence S ? is a subspace of H .
Now, we shall show that S ? is a closed subset of H . We shall prove it by
showing that if x is any limit point of S ? , therefore there certainly exists a
sequence f xn g of points of S ? such that xn ! x . Now let y 2 S . Since
xn 2 S ? for every n , therefore ( xn ; y) = 0 for every n .
Consequently we have
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
94 5.2. Orthogonal Complements
lim( xn ; y) = 0
) (lim xn ; y) = 0
) ( x; y) = 0
2k x ym k2 +2k x yn k2 4d2
= 2d2 + 2d2 4d2 ! 0
Thus; kyn ym k2 ! 0
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
5.2. Orthogonal Complements 95
uniqueness.
Uniqueness of y0 :
Suppose y1 and y2 are two vectors in C such that k x y1 k= d and
k x y2 k= d . Then to show that y1 = y2 .
Since C is convex, therefore y1 ; y2 2 C ) (y1 + y2 )=2 2 C .
y1 + y2
Hence by the denition of d , we have x d so that
2
k2 x (y + y )k 2d .
1 2
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
96 5.2. Orthogonal Complements
) kz 0 yk 2
kz k0
2
) (z y; z y) (z ; z )
0 0 0 0 0
) (z ; z )0 0 (z ; y) (y; z ) + (y; y) (z ; z )
0 0 0 0 0
) (z ; y) (z ; y) + (y; y)
0 0 0 (5.26)
The relation (5.26) is true for all scalars . Let us take = (z0 ; y) where is
an arbitrary real number. Then (z0 ; y) . Putting the values of ; in (5.26),
we get
(z0 ; y)(z0 ; y) (z0 ; y)(z0 ; y) + 2
(z0 ; y)(z0 ; y)kyk2 0
) 2 k(z0 ; y)k2 + 2 k(z0 ; y)k2 kyk2 0
h i
) k(z ; y)k kyk 2 0
0
2 2
(5.27)
The relation (5.27) is true for all real . Suppose that (z0 ; y0 ) 6= 0 . Then taking
positive and so small that kyk2 < 2 .
h i
We see from (5.27) that k(z0 ; y)k2 kyk2 2 < 0 . This contradicts (5.27).
Hence we must have (z0 ; y) = 0 which means that z0 ?y . Thus z0 ?y 8 y 2 M .
Therefore z0 ? M .
Theorem 5.12. If M and N are closed linear subspaces of a Hilbert space H
such that M?N , then the linear subspace M + N is also closed.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
5.2. Orthogonal Complements 97
Now fzn g is a convergent sequence in the Hilbert space H and every convergent
sequence is a Cauchy sequence. Therefore as m; n ! 1 , we have
kzm zn k2 ! 0
) k xm xn k +kym
2
yn k2 ! 0 (from (5.28))
) k xm xn k2 ! 0 and kym yn k ! 0 2
Proof.
Let M be a subspace of a Hilbert space H and let M = M ?? = M ? ? .
By Theorem 5.9, we know that M ? ? is a closed subspace of H . Therefore
M = M ?? is a closed subspace of H .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
98 5.2. Orthogonal Complements
From (5.29) and (5.30), we conclude that z = 0 . This contradicts the fact that z
is a non-zero vector. Therefore the inclusion M M ?? cannot be proper and we
must have M = M ?? .
Theorem 5.14 (Projection theorem). If M is a closed linear subspace of a
Hilbert space H , then H = M M ? .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
5.2. Orthogonal Complements 99
of a norm.
2. If x and y are any two vectors in a Hilbert space, then show that
(i) k x + yk k x2
yk2 = 4 Re ( x; y) .
(ii) ( x; y) = Re ( x; y) + i Re ( x; iy)
closed , M = M ?? .
Suggested Readings:
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
100 5.2. Orthogonal Complements
Web Resources:
// / / / /
1. https: archive.nptel.ac.in courses 111 106 111106147 /
// /
2. https: mathworld.wolfram.com HilbertSpace.html
// / =
3. https: www.youtube.com watch?v lsFTQOSgCpk
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
Block-III
UNIT-6
HILBERT SPACES-II
Structure
Objective
Overview
6. 1 Orthonormal Sets
6. 2 The Conjugate space H
Let us Sum Up
Check Your Progress
Suggested Readings
Overview
In this unit, we shall extend the notion of orthonormal basis of
Objectives
After successful completion of this lesson, students will be able to
Thus e is a unit vector and the set feg containing only one vector is
orthonormal set.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
6.1. Orthonormal Sets 103
Example 6.2. Let the Hilbert space be l2 . Consider the subset fe1 ; e2 ; : : : ; en ; : : :g
of l2 , where ei is the n -tuple with 1 in the ith place and 00 s elsewhere. This
collection of any non-empty subset of this collection forms an orthonormal set in
l2 .
for each j .
Proof.
(i) Since fe1 ; e2 ; : : : ; en g is a nite orthonormal set and hence we have
(ei ; e j ) = 0 when i 6= j; (ei ; e j ) = 1 when i = j .
n
X
Choose the vector y = x ( x; ei )ei . We have
0 i= 1 1
B n
X n
X C
kyk 2
= (y; y) =
B
B
@x
B
B ( x; ei )ei ; x ( x; ei )
C
ei CCCA
i= 1 i= 1
n
X n
X n X
X n
= ( x; x) ( x; ei )(ei ; x) ( x; e j )( x; e j ) + ( x; ei )( x; e j )(ei ; e j )
i= 1 j= 1 i= 1 j= 1
n
X n
X n
X
= k xk 2
j( x; ei )j 2
j( x; ei )j + 2
j( x; ei )j 2
i= 1 i= 1 i= 1
n
X
= k xk 2
j( x; ei )j 2
i= 1
n
X
Now kyk2 0 . Therefore k xk2 j( x; ei )j 0 .
2
i= 1
n
X
Thus, we have j( x; ei )j k xk .
2 2
i= 1
This proves the result (i) .
(ii) For each j where 1 j n , we have
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
104 6.1. Orthonormal Sets
0 1 0 1
B n
X C BXn C
B
B
@x
B
B ( x; ei )ei ;
C
e j CCCA = ( x; e j )
B
B
B
B
@ ( x; ei )ei ;
C
e j CCCA
i= 1 i= 1
n
X
= ( x; e j ) ( x; ei )(ei ; e j )
i= 1
= ( x; e j ) ( x; e j )
= 0
n
X
Hence x ( x; ei )ei ?e j for each j .
i= 1
Note 6.1. The result (i) is known as Bessel's inequality for nite orthonormal
sets.
Now our aim is to prove that the above theorem holds good even in the
to dene suitably the sums involved in (i) and (ii) of Theorem 6.1 in the
Sn = ei : j( x; ei )j > 2
j( x; ei )j 2
> n
n
= k xk 2
(6.3)
e 2S
i n
e 2S
i n
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
6.1. Orthonormal Sets 105
1
X
j( x; ei )j =
P
In this case let us dene 2
j( x; ei )j . But this sum will be dened
2
i= 1
1
X
only if we can show that the series j( x; ei )j is convergent and its sum does not
2
i= 1
change by any rearrangement of its terms i:e: by any rearrangement of the vectors
n
X
in the set S . By Bessel's inequality for nite cases we have j( x; ei )j k xk .
2 2
i= 1
Since this relation is true for every positive integer n , therefore it must also be
true in the limit. So we have
1
X
j( x; ei )j2
k xk 2
(6.4)
i= 1
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
106 6.1. Orthonormal Sets
1
X
From the above, we see that the series j( x; ei )j is convergent. Since all terms
2
i= 1
of this series are positive, therefore it is absolutely convergent and so its sum
will not change by any rearrangement of its. So we are justied in dening
X 1
X
j( x; ei )j =
2
j( x; ei )j .
2
i= 1
Thus, from (6.4), we have
X 1
X
j( x; ei )j
2
= j( x; ei )j k xk
2 2
i= 1
for each j .
So, in this case we are to prove that x?e j for each j . Since S is empty, therefore
( x; e j ) = 0 8 j i:e:; x?e j 8 j . Hence the result.
Now, we assume that S is non-empty. Then either S is nite or countably
innite. If S is nite, then we can write S = fe1 ; e2 ; : : : ; en g for some positive
n
X
integer n . In this case, we dene
P
( x; ei )ei = ( x; ei )ei and we are to prove
i= 1
that
n
X
x ( x; ei )ei ? e j
i= 1
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
6.1. Orthonormal Sets 107
n
X
We put S n = ( x; ei )ei . For m > n ,we have
i= 1
m
X
2 m
X
k sm sn k 2
= ( x; ei )ei = j( x; ei )j
2
i= n + 1 i= n + 1
1
X
But by Bessel's inequality the series j( x; ei )j is convergent.
2
i= n + 1
m
X
Therefore as m; n ! 1 , we have j( x; ei )j ! 0 . This implies that
2
i= n + 1
k sm sn k2 ! 0 . Therefore the sequence f sn g is a Cauchy sequence in H . But
H is complete, so there exists a vector s in H such that sn ! s which can be
1
X
written in the form s = ( x; en )en .
n==1
Let us now dene
X 1
X
( x; ei )ei = ( x; en )en
n= 1
It remains to prove that the sum is well dened i:e: it does not depend on the
rearrangement of the vectors in S . Now, we observe that
X
x ( x; ei )ei ; e j = (x s; e j ) = ( x; e j ) ( x; s)
= ( x; e j ) lim sn ; e j
= ( x; e j ) lim( sn ; e j )
0 1
BXn C
If e j 2= S , then ( sn ; e j ) = B
B
B
B
@ ( x; ei )ei ;
C
e j CCCA = 0. Therefore lim(sn ; ei ) = 0. So,
i= 1
x
P
( x; ei )ei ; e j = ( x; e j ) = 0 .
0 1
BXn C
If e j 2 S then ( sn ; e j ) = B
B
B
B
@ ( x; ei )ei ;
C
e j CCCA = ( x; e j ) if n > j . Therefore
i= 1
lim( sn ; e j ) = ( x; e j ) . So, in this case we have
X
x ( x; ei )ei ; e j = ( x; e j ) ( x; e j ) = 0
Thus, we have x
P
( x; ei )ei ; e j = 0 for each j.
P
i:e:; x ( x; ei )ei ; e j ?e j for each j .
P
Now we shall conclude the proof by showing that our denition of ( x; ei )ei
is valid.
Let the vectors in S be rearranged in any manner:
S = f f ; f ; : : : ; fn ; : : :g
1 2
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
108 6.1. Orthonormal Sets
n
X
Put s0n = ( x; fi ) fi .
i= 1
As above, the sequence f s0n g converges to a vector s0 in H . We write
1
X
s0 = ( x; fn ) fn
n= 1
i= n 0 + 1
For some positive integer m0 > n0 all terms of sn0 occur among those of s0m0 .
Therefore s0m0 sn0 is a nite sum consisting of terms of the type (x; ei )ei for
i = n0 + 1; n0 + 2; : : : This gives
1
X
k s0m 0
sn0 k2 j( x; ei )j <
2 2
i= n 0 + 1
) k s0 m0 sn0 k
Now,
k s0 sk = k( s0 s0m0 ) + ( s0m0 sn0 ) + ( sn0 s)k
k s0 s0m k+k s0m 0 0
sn0 k+k sn0 sk
+ + = 3
fe ; e ; e g
1 2 3 so that the extended set is orthonormal. On the otherhand, it is
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
6.1. Orthonormal Sets 109
vector which is orthogonal to each of the vectors of the given set. Such a
fA : 2 g is in P .
S
Our Claim is that
Since each A contains S , therefore fA : 2 g also contains S . Now,
S
an upper bound for T in P . Thus P satises all the conditions of Zorn's lemma.
Therefore there must exist a maximal element in P . Let it be M . Then M is
a complete orthonormal set containing S . For if it is not so then there will exist
an orthonormal set containing S and also containing M propertly. This will
contradict the maximal character of M .
For the second part of the theorem, let H be a non-zero Hilbert space. Let x
be a non-zero vector in H . Then S = f x : k xk= 1g is an orthonormal set in H .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
110 6.1. Orthonormal Sets
Therefore by the rst part of this theorem there exists a complete orthonormal set
in H containing S .
This completes the proof of the theorem.
Theorem 6.6. Let H be a Hilbert spoace, and let fei g be an orthonormal set in
H . Then the following conditions are all equivalent to one another:
1. fei g is complete;
2. x?fei g ) x = 0 ;
Proof.
(1) ) (2) : Given that the orthonormal set fei g is complete. Now, we shall prove
that x?fei g ) x = 0 .
x
Suppose x?fei g and x 6= 0 . Then e = is a unit vector such that
k xk
e?fei g i:e:; (e; ei ) = 0 . Therefore fe; ei g is an orthonormal set containing fei g .
This contradicts the hypothesis that fei g is a complete orthonormal set. Therefore
x?fei g ) x = 0 .
P
x ( x; ei )ei is orthogonal to every vector in the set fei g .
P
i:e:; x ( x; ei )ei ?fei g .
( x; ei )ei = 0 ) x = ( x; ei )ei .
P P
Therefore by hypothesis we have x
(3) ) (4) : Given that for any vector x in H , we must have x = P( x; ei )ei .
Now, we shall prove that k xk2 = j( x; ei )j2 . We have
P
k xk2
= ( x; x)
0 1
B
BX X C
C
= B
B
B
B
@
( x; )ei ; ( x; e j ) C
e j CCAC
i j
XX
= ( x; ei )( x; e j )(ei ; e j )
i j
X
= ( x; ei )( x; ei )
i
X
= j( x; ei )j 2
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
6.1. Orthonormal Sets 111
Now kek2 = 0 contradicts the fact that e is a unit vector. Therefore the
orthonormal set fei g must be complete.
the complete orthonormal set the scalars ( x ei ) are called the Fourier ;
coecients of x , the expression x
P
= ;
( x ei )ei is called the Fourier expansions
of x and the equation
X
=
2
k xk2
( x; ei )
Proof. The set f x1 ; x2 ; : : : ; xn g is linearly independent set and hence none of the
xi0 s is a zero vector and none of the xi is expressible as a linear combination of
preceeding ones.
Now x1 6= 0 ) k x k6= 0 .
1
x1
Choose e1 = then ke1 k6= 0 as x1 6= 0 .
k x1 k
x 1
Also ke1 k= 1 = k x k= 1 .
k x1 k k x1 k 1
Thus the set fe1 g is an orthonormal set.
Now, consider y2 = x2 ( x2 ; e1 )e1
Clearly y2 6= 0 because if it were zero, then x2 = ( x2 ; e1 )e1 . But e1 is
expressible in terms of x1 and hence x2 is expressible in terms of preceeding
vector x1 . This is not possible as the set of xi0 s is a linearly independent set.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
112 6.1. Orthonormal Sets
Thus y2 is orthogonal to e1 .
Now choose
e2= kyy k = k xx (( xx ;; ee ))ee k
2 2 2 1 1
2 2 2 1 1
y 1
ke k = = ky k= 1
2
2
ky k ky k 2 2
2
y 1
ke k = = 3
ky k= 1
3
ky k ky k 3 3
3
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
6.1. Orthonormal Sets 113
This amount to saying that the linear space spanned by x1 ; x2 ; x3 is the same
as that spanned by orthonorml set e1 ; e2 ; e3 .
Continuing like thhis we can construct an orthonormal set of non-zero vectors
fe1 ; e2 ; : : : ; e j such that e j in the above set given by
x j ( x j ; e1 )e1 ( x j ; e2 )e2 : : : ( x j ; e j 1 )e j 1
ej =
k x j ( x j ; e1 )e1 ( x j ; e2 )e2 : : : ( x j ; e j 1 )e j 1 k
r
X
Consider yr+1 = xr+1 ( xr+1 ; ei )ei .
i= 1
Clearly yr+1 6= 0 for otherwise xr+1 will be a linear combination of
e1 ; e2 ; : : : ; er or a linear combination of x1 ; x2 ; : : : ; xr which is not possible
because of linear independence of the set of xi0 s .
Also yr+1 is orthogonal to each 0e j for j = 1; 2; : : : ; r . 1
B r
X C
) (yr+ ; e j ) =
B C
1
B
@ xr+1
B
B ( xr+1 ; ei )ei ; e j CCCA
i= 1
r
X
= ( xr+1 ; e j ) ( xr+1 ; ei )(ei ; e j )
i= 1
Summing with respect to the indices i , then all the terms will vanish except one
term, because (ei ; ei )=1 if i6= j and (ei ; ei ) = 0 if i = j;
) (yr+ ; e j ) = ( xr+ ; e j ) ( xr+ ; e j ) = 0
1 1 1
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
114 6.2. The Conjugate Space H .
Therefore by induction we prove the existence of an orthonormal set.
This completes the proof of the theorem.
Note 6.2. Some of the useful orthonormal sets in analysis are Legendre
polynomials, Hermite functions and Laguerre functions. These are obtained by
Gram-Schmidt process to sequence of simple functions.
Theorem 6.8. Let y be a xed vector in a Hilbert space H and let fy be a scalar
valued function on H dened by the formula fy ( x) = ( x; y) 8 x 2 H . Show that
fy is a functional in H . Prove that
kyk = k fy k
Proof. We know that (x; y) is a scalar i:e: a complex number for all
x 2 H therefore f x is a mapping from H to C . In order to prove that fy is
a functional on H we must establish that it is linear as well as continuous.
f is linear: Let x1 ; x2 2 H and c 2 C , then
fy (cx1 + x2 ) = (cx1 + x2 ; y)
= (cx1 ; y) + ( x2 ; y)
= c( x1 ; y) + ( x2 ; y)
= c fy ( x1 ) + fy ( x2 )
Hence fy is linear.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
6.2. The Conjugate Space H. 115
We will show that the above relation takes the form of equality. If y = 0 , then
fy ( x) = ( x; y) = ( x; 0) = 0 8 x .
Hence k fy k= kyk= 0 .
But if y 6= 0 then kyk6= 0 .
Now by deniton
k fy k = supfj fy ( x)j: k xk= 1g
j fy ( x)j: k xk= 1
Choose
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
116 6.2. The Conjugate Space H.
x = kyyk
!
y
) k fy k fy
kyk
!
y
= kyk
;y
= k1yk (y; y)
= k1yk kyk 2
= kyk
Therefore k fy k kyk .
Hence, we have k fy k= kyk 8 y and thus fy is norm preserving.
Theorem 6.9 (Riesz Representation Theorem). Let H be a Hilbert space and
let f be an arbitrary functional in H , then there exists a unique vector y in H
such that
f ( x) = ( x; y)
for every x in H .
Hence y is unique.
Now we shall prove the existence of y .
Existence of y :
Case 1: If f = O i:e: a zero functional, then
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
6.2. The Conjugate Space H. 117
f ( x) = O( x) = 0 8 x 2 H
Also f ( x) = ( x; y) 8 x 2 H
) ( x; y) = 0 8 x and hence y = 0
(ii) x = y0
We shall prove that any suitable scalar multiple of y0 will be our required y ,
such that f ( x) = ( x; y) 8 x 2 H .
(i) x 2 M ) f ( x) = 0 . (by denition).
But f ( x) = ( x; y)
= ( x; y0 )
= ( x; y0 ) (* x 2 M and y0 ? M )
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
118 6.2. The Conjugate Space H .
f ( x) = ( x; y)
f (y0 ) = (y ; y )
0 0 choosing y = y0
) f (y0 ) = (y ; y ) 0 0
= ky k 0
2
) = kfy(yk ) 0
2
0
i:e:; = kfy(yk ) 0
2
0
2
and
f ( x) = ( x; y) .
0
Thus, in all the cases we proved that there exists a unique vector y such that
f ( x) = ( x; y) 8 x 2 H . Where y is a sclar multiple of y0 such that y0 ? M and
M is the null space of functional f .
Theorem 6.10. The mapping : H ! H dened by (y) = fy where
fy ( x) = ( x; y) every x 2 H is an additive, one-to-one onto isometry but not
linear.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
6.2. The Conjugate Space H. 119
Proof.
(i) Let us prove that is additive.
For this we have to show that
(y 1 + y ) = (y ) + (y ) 8 y ; y 2 H
2 1 2 1 2
) fy = fy 1 2
) fy ( x) = fy (X ) for all x 2 H
1 2
) ( x; y ) = ( x; y ) 1 2
) ( x; y y ) = 0 8 x 2 H 1 2
) (y y ; y y ) = 0 Choose x = y y
1 2 1 2 1 2
) ky y k = 0 1 2
2
) y = y 1 2
Thus is one-to-one.
(iii) is onto: Let f 2 H . Then by the Theorem 6.9, there exists a vector
y 2 H such that f (y) = ( x; y) .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
120 6.2. The Conjugate Space H .
(y ) (y )
1 2 = k fy fy k
1 2
= k fy + f y k
1 ( 2)
= k fy y k
1 2
= ky y k
2 2
Thus, is an isometry.
(iv) is not linear: Let y 2 H and be any scalar. Then ( y) = f y .
Hence for any x 2 H , we get f y ( x) = ( x; y) = ( x; y) = fy ( x) which gives
f y = fy , so that ( y) = (y) .
Thus the mapping is not linear. Such a mapping is called conjugate linear.
Thus is conjugate linear.
Hence the proof.
Theorem 6.11. If H is a Hilbert space, then H is also a Hilbert space with the
inner product dened by
( f x ; fy ) = (y; x) (6.6)
Proof. First we shall verify that (6.6) satises the conditions of an inner product
space.
Let x; y 2 H and ; be complex sacalrs in Theorem 6.10, we have shown
that f y = fy .
Hence f y = fy = fy
Now f x + fy ; fz = ( f x + f y ; fz )
But ( f x + f y ; fz ) = (z; x + y)
Now z f x+ y = (z; x) + (z; y) = ( f x ; fz ) + ( fy ; fz )
Thus, we have ( f x + fy ; z) = ( f x ; fz ) + ( fy ; fz )
Now, ( f x ; fy ) = (y; x) = ( x; y) = ( fy ; f x )
Also, ( f x ; f x ) = ( x; x) = k xk2 = k f x k2
So that f x > 0 and k f x k= 0 if and only if f x = 0
Now the Hilbert space H is a complete normed linear space. Hence its
conjugate space H is a Banach space with respect to the norm dened on H :
Since the norm on H is induced by the inner product, H is a Hilbert space
with the inner product ( fy ; f x ) = (y; x) .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
6.2. The Conjugate Space H . 121
Corollary 6.1. The conjugate space H of H is a Hilbert space with the inner
product dened as folllows:
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
122 6.2. The Conjugate Space H .
Let us Sum Up:
In this unit, the students acquired knowledge to
closed , M = M?? .
4. State and Prove Bessel's Inequality.
Suggested Readings:
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
6.2. The Conjugate Space H . 123
Web Resources:
// / /
1. https: archive.nptel.ac.in courses 111 106 111106147/ / /
// / / / /
2. http: sta .ustc.edu.cn wangzuoq Courses 15F-FA Notes FA25.pdf /
// /
3. https: www.youtube.com watch?v zdO4Fer4io =
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
124
6.2. The Conjugate Space H . 125
Block-IV
Unit-7: Operator on Hilbert Space-I
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
126
Block-IV
UNIT-7
OPERATOR ON HILBERT
SPACE-I
Structure
Objective
Overview
7. 1 The Adjoint of an Operator
7. 2 Self-Adjoint Operator
Let us Sum Up
Check Your Progress
Suggested Readings
Overview
In this unit, we shall explain the di erence between the adjoint
Objectives
After successful completion of this lesson, students will be able to
Note 7.1. Let H be a Hilbert space. The set of all bounded linear transformations
B
known as operators on H is denoted by (H ) . We already know that (H ) is B
B
a complex Banach space. Let T 2 (H ) we already shown that T give rise to
an operator T called the conjugate of H dened asf
(T f ) x = f (T ( x)) for every f 2 H
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
7.1. The Adjoint of an Operator 129
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
130 7.1. The Adjoint of an Operator
( x; T ( y1 + y2 )) = (T x; y1 + y2 )
= (T x; y1 ) + (T x; y2 )
= ( x; T y1 ) + ( x; T y2 )
= ( x; T y1 ) + ( x; T y2 )
= ( x; T y1 + T y2 )
Thus, we have
( x; T ( y1 + y2 )) = ( x; T y1 + T y2 ) 8 x 2 H:
Thus, we have
kT yk kT kkyk 8y 2 H
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
7.1. The Adjoint of an Operator 131
property (7.2).
Uniqueness of the adjoint operator: Now we shall show that if there is any
mapping T 0 of H into itself such that
(T x; y) = ( x; T 0 y) 8 x; y 2 H
Note 7.3. From the above theorem we can conclude that the mapping T ! T is
B
a mapping of (H ) into itself. This mapping is called the adjoint operation on
B (H ) .
2. ( T ) = T
3. (T 1 T 2 ) = T T
2 1
4. T =T
5. kT k= kT k
6. kT T k= kT k 2
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
132 7.1. The Adjoint of an Operator
( x; (T 1 + T 2 ) y) = ((T 1 + T 2 ) x; ; y)
= (T 1 x + T 2 x; y)
= (T 1 x; y) + (T 2 x; y)
= ( x; T 1 y) + ( x; T 2 y)
= ( x; (T 1 + T 2 )y)
(T 1 T 2 ) = T 2 T 1
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
7.1. The Adjoint of an Operator 133
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
134 7.1. The Adjoint of an Operator
kT xk kT T k
2
) supfkT xk : k xk 1g
2
= kT T k
) supfkT xk: k xk 1g = kT T k
2
) kT k kT T k
2
(7.8)
Again kT T k kT kkT k
= kT kkT k
= kT k 2
) kT T k kT k 2
(7.9)
) kT T k = kT k 2
(* kT k= kT k)
) kT T k = kT k 2
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
7.1. The Adjoint of an Operator 135
Let (T 1 ) = (T 2 )
) T 1 = T 2
)
T 1 =
T 2
) T1 = T2
Hence is one-to-one.
is onto: Let T be any arbitrary operator in B(H) then we have proved that
T exists and belongs to (H ) and B
(T ) = (T ) = T = T
Hence is onto.
Theorem 7.3. If 0 and I be zero and identity operators in a Hilbert space H ,
then 0 = 0 and I = I . Hence prove that if T is non-singular operator on H
then T is also non-singular and in this case (T ) 1
= (T 1
) .
) TT 1
=T 1
T =I.
Taking adjoints, we get
TT 1
= T 1T = I
) (T ) (T )
1
= T (T 1
) = I
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
136 7.2. Self-Adjoint Operators
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
7.2. Self-Adjoint Operators 137
real subspace. Now, we have to show that it is closed subset of the Banach space
B (H ) .
Let fT n g be a sequence of self-adjoint operators converging to an operator T .
By Theorem 7.4, we have T is also a self-adjoint operator.
Again we know that the identity operator is a self-adjoint. Hence the set of all
B
adjoint operators in (H ) forms a closed linear sub-space and therefore a real
Banach space which contains the identity operator.
Theorem 7.6. If T 1 and T2 be self adjoint operators then their product T1 T 2
as self adjoint , T1T2 =T T
2 1 .
Proof. Given that T 1 and T 2 are self adjoint operators, i:e:; T 1 = T 1 and
T 2 = T 2 .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
138 7.2. Self-Adjoint Operators
(T ( x + y); x + y) = ( T x + T y; x + y) (7.10)
( T x + T y; x + y) = T ( x; x + y) + T (y; x + y) (7.11)
(T x; x + y) = (T x; x) + (T x; y) (7.12)
(T y; x + y) = (T y; x) + (T y; y) (7.13)
Since T ( x; x) = 0 for every x 2 H , the left hand side of (7.14) is zero so that we
get
(T x; y) + (T y; x) = 0 (7.15)
i:e:; ((T T ) x; x) = 0 8 x.
) T T = 0.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
7.2. Self-Adjoint Operators 139
In the next theorem we shall prove that the above relation is partially
means that
a R b; b R a ) a=b
i:e:; A1 A ; 2 A2 A )1 A1 =A :
2
Theorem 7.9. The real Banach space of all self-adjoint operators on a Hilbert
space H is a partially ordered set whose linear structure and order structure are
related by the following properties:
Transitive: Let A1 A2 ; A2 A3 .
) ( A x; x) ( A x; x) 8
1 2 x
and (A x; x) (A x; x) 8
2 3 x
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
140 7.2. Self-Adjoint Operators
Anti-Symmetric:
A and A A
Let A1 2 2 1
) ( A x; x) ( A x; x) 8 x 2 H
1 2
and (A x; x) (A x; x) 8 x 2 H
2 1
Hence (A x; x) = (A x; x) 8 x 2 H
1 2
) ((A A ) x; x) = = 8 x 2 H
1 2
) A A = 1 2 0
) A = A 1 2
) ( A x; x) ( A x; x) 8 x 2 H
1 2
) (A x; x) + (Ax; x) (A x; x) + (Ax; x)
1 2
) ((A + A) x; x) ((A + A) x; x) 8 x 2 H
1 2
) A +A A +A 1 2
Again A1 A 2
) ( A x; x) 1 ( A x; x) 8 x 2 H
2
) ( A x; x) 1 ( A x; x)
2
) ( A x; x) 1 ( A x; x) 8 x 2 H
2
) (( A ) x; x) 1 (( A ) x; x) 8 x 2 H
2
) A 1 A 2
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
7.2. Self-Adjoint Operators 141
(T T ) = (T ) T = T T
(T T ) = T (T ) = T T
negative.
Above is possible only when each side is zero.
kzk 2
= 0
Consequently z = 0 or x y = 0 or x = y .
Hence I + T is one-to-one.
(I + T ) is onto: Since I + T is one-to-one and for showing it to be onto, we have
to establish that range of I + T i:e: R(I + T ) is H itself.
For this, we shall rst establish that R(I + T ) is a closed linear subspace of H .
Let x; y 2 H so that x + y 2 H where ; are scalars.
Let (I + T ) x; (I + T )y both belong to R(I + T ) .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
142 7.2. Self-Adjoint Operators
(I + T ) x + (I + T )y = (I + T ) x + (I + T ) y
= (I + T )( x + y) = (I + T )z where z 2 H
2 R(I + T )
R(I + T ) is a subspace of H .
Now, we shall show that R(I + T ) is a closed linear subspace. i:e: every limit
of it belongs to it or it is sucient to show that it is complete subset. i:e: every
Cauchy sequence in it is convergent.
Let f(I + T ) xn g be a Cauchy sequence in R(I + T ) so that for every > 0
there exists n0 such that 8m; n n0 .
k(I + T ) xn (I + T ) xm k
) k(I + T )( xn xm )k
) k( xn xm ) + T ( xn xm )k
) k( xn xm ) + T ( xn xm )k 2
2
(7.19)
= k xk +kyk +( x; y) + ( x; y)
2 2
) By (7.19), we have
k( xn xm )k +kT ( xn xm )k + (T ( xn
2 2
xm ); ( xn xm )) + (T ( xn xm ); ( xn xm )) 2
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
7.2. Self-Adjoint Operators 143
i:e:; (y0 + T y0 ; y0 ) = 0
i:e:; (y0 ; y0 ) + (T y0 ; y0 ) = 0 .
i:e:; (T y0 ; y0 ) = ky k0
2
) ky k 0 as (T y ; y ) 0 as
0
2
0 0 T is positive.
i:e:; I + T is onto.
are self-adjoint.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
144 7.2. Self-Adjoint Operators
Suggested Readings:
Web Resources:
// / / / /
1. https: archive.nptel.ac.in courses 111 106 111106147 /
// / /
2. https: web.iitd.ac.in siva lectureA-adj.pdf
// / =
3. https: www.youtube.com watch?v bjD6wLT0
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
Block-IV
UNIT-8
OPERATOR ON HILBERT
SPACE-II
Structure
Objective
Overview
8. 1 Normal and Unitary Operators
8. 2 Projections
Let us Sum Up
Check Your Progress
Suggested Readings
Overview
In this unit, we shall study the operators on a Hilbert space with
Hilbert space.
Objectives
After successful completion of this lesson, students will be able to
of their more elementary properties, which are necessary for the spectral
theory.
Remark 8.1. (i) Every self-adjoint operator is a normal operator but a normal
operator need not be a self-adjoint.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
8.1. Normal and Unitary Operators 147
Theorem 8.1. The limit N of any convergent sequence fNk g of normal operators
is normal.
Proof. Given that the sequence of normal operators fNk g converges to N . Now,
we shall prove that N is a normal operator i:e:; NN = N N .
kNk Nk = k(Nk N ) k= k(Nk N )k !0
Since Nk is normal
Using the above equation in (8.1), we get
kNN Nk Nk k+0 + kNk Nk NNk
Since Nk ! N and Nk ! N , the right hand side of (8.2) tends to zero. This
implies that kNN NN k= 0 .
Hence, we have NN = NN and thus, we have N is normal.
Theorem 8.2. The set of all normal operators on H is a closed subset of B (H )
which contains the set of all self-adjoint operators and is closed under scalar
multiplication.
Proof. Let M be the set of all operators on a Hilbert space H . First we are to
B
prove that M is a closed subset of (H ) . Let N be any limit point of M . Then
to show that N 2 M i:e:; to show that N is a normal operator on H . Since N
is a normal operator on H . Since N is a limit point of M , therefore there exists
a sequence fNk g of disjoint points of M such that Nk ! N .
By above remarks, N is a normal operator and hence N 2 M . So, M is
closed. Now every self-adjoint operator is normal. Therefore the set M contains
the set of all self-adjoiont operators on H .
Finally, we have to show that the set M is closed with respect to scalar
multiplication i:e:; N 2 M ) N 2 M where is any scalar. In other
words, we have to show that if N is a normal operator on H and is any scalar,
then N is normal operator on H . Since N is normal, therefore NN = N N .
We have ( N ) = N .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
148 8.1. Normal and Unitary Operators
( N )( N ) = ( N) N = (NN )
= ( )(NN )
= ( )(N N )
= ( N ) ( N )
Hence N is normal.
Theorem 8.3. If N1 and N2 are normal operators on a Hilbert space H with
the property that either commutes with the adjoint of the other then N1 + N2 and
N1 N2 are also normal operators.
= (N1 + N2 ) (N1 + N2 )
) N1 + N2 is normal.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
8.1. Normal and Unitary Operators 149
Therefore, N1 N2 is normal.
Theorem 8.4. An operator T on a Hilbert space H is normal , kT xk= kT xk .
for every x .
Proof. We have
T is normal , TT = T T
, TT T T =0
, ((T T T T ) x; x) = 0
8 x
, (T T x; x) = (T T x; x) 8 x
, (T x; T x) = (T x; T x) 8 x
, (T x; T x) = (T x; T x) 8 x
, kT xk = kT xk 8 x
2 2
, kT xk= kT xk 8 x
Now,
n o
N2 = sup kN xk: k xk 1
2
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
150 8.1. Normal and Unitary Operators
= T +2 T
Proof. Let T1 and T2 = 21i (T T ) .
1
= 2
(T + T )
1
= 2
(T + T )
1
= 2
(T + T ) = T 1
) T 1 is self-adjoint. " #
1
Also T
2
= 2i
(T T )
1
= 2i
(T T )
1
= 2i
(T T )
1
= 2i
(T T )
1
= 2i
(T T ) = T 2
) T 2 is self-adjoint.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
8.1. Normal and Unitary Operators 151
Proof. Let T 1 and T 2 be the real and imaginary parts of T . Then T 1 and T 2
are self-adjoint operators and T = T 1 + iT 2 . Now, we have
T = (T 1 + iT 2 )
= T 1 + (iT 2 )
= T 1 + iT 2
= T 1 iT 2
= T1 iT 2
Now T T = (T 1 + iT 2 )(T 1 iT 2 )
= T 12 + T 22 + i (T 2 T 1 T1T2) (8.2)
and T T = (T 1 iT 2 )(T 1 + iT 2 )
= T 12 + T 22 + i (T 1 T 2 T2T1) (8.3)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
152 8.1. Normal and Unitary Operators
Note 8.2. Clearly every unitary operator is normal. Also, we observe that an
operator U is unitary if and only if it is invertible and its inverse is precisely
equal to its adjoint.
1. T T =I;
2. (T x; T y) = ( x; y) for all x and y ;
) kT xk = k xk for all x:
) (T x; T x) = ( x; x)
) (T T x; x) = ( x; x)
) ((T T I ) x; x) = 0 for all x
) T T I = 0
) T T = I
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
8.2. Projections 153
) T (T T ) 1
= T 1
) T I = T 1
) T = T 1
) TT = I = T T
Hence T is unitary.
8.2. Projections
We have shown that both M and N are closed linear subspaces of B such
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
154 8.2. Projections
pairs of closed linear subspaces of B which span the whole space and have
Proof. Assume that P is a projection on a Hilbert space H with range and null
space M and N respectively. Then H = M N .
Firse we shall show that if M ?N , then P is self-adjoint. Let z be any
arbitrary vector in H . Then z can be uniquely written as z = x + y where
x 2 M and y 2 N . We have
(Pz; z) = ( x; z)
= ( x; x + y)
= ( x; x) + ( x; y)
= ( x; x)
Also, we have
(z; P z) = ( x + y; x)
= ( x; x) + (y; x)
= ( x; x)
Thus, we have
(Pz; z) = (P z; z) 8z 2 H
) ((P P )z; z) = 0 8z 2 H
) P P = 0
) P = P
Hence P is self-adjoint.
Conversely, Assume that P is self-adjoint. Now, we shall prove that M ?N .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
8.2. Projections 155
Hence M ?N .
Now, we shall prove that the last part of the theorem. i:e: we shall prove that
if P is a projection on H with range M and null space N then M ?N .
Suppose x 2 N . Then
N?M ) x? M ) x 2 M?
Therefore N M ? .
Suppose N is a propert subset of M ? .Then N is a closed linear subspace of
the Hilbert space M ? . Therefore by theorem there exists a non-zero vector z0 in
M ? suc that z0 ?N . But z0 2 M ? ) zo ? M . There z0 is such that z0 ? M and
z0 ?N . But H = M N . Therefore z0 ?H and so we must have z0 = 0 , which
is a contradication to the fact that it is a non-zero vector.
Therefore, N cannot be a proper subset of M ? and hence we must have
N = M? .
Note 8.3.
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
156 8.2. Projections
Theorem 8.11.
P is the projection on a closed linear subspace M of H , I P is the
projection on M? .
Hence I P is a projection on H .
) N M? .
Again, let x 2 M ? which is null space of P so that
Px = 0
) x Px x =
) (I P) x x =
) x 2 Range of I P
) x 2 N
) M? N.
Hence N = M ? . i:e:; range of I P is M ? .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
8.2. Projections 157
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
158 8.2. Projections
(ii) 0 P I .
(iii) kPxk k xk 8 x 2 H .
(iv) kPk 1 .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
8.2. Projections 159
) kPxk k xk:
(iv) we have
kPk = supfkPxk: k xk 1g
1 (* by (iii))
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
160 8.2. Projections
Converse Part: Let us assume that M is invariant under both T and T . Since
M is invariant under T , M ? is invariant under (T ) = T . Thus M and M ?
are both invariant under T . Hence M reduces T .
Theorem 8.16. If P is the projection on a closed linear subspace M of a Hilbert
space H , then M is invariant under an operator T if and only if T P = PT P .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
8.2. Projections 161
Thus M reduces T .
, T P = PT P and PT = PT P .
Now, suppose M reduces T . Then we have T P = PT P and PT = PT P .
This gives T P = PT .
Conversely, suppose that T P = PT . Multiplying both sides on the left by P ,
this gives PT P = P2 T = PT .
Similarly, multiplying both sides of T P = PT on the right by P , we get
T P2 = PT P i:e:; T P = PT P .
Proof.
Since P and Q are projections on a Hilbert space H ,
therefore P = P , Q = Q . First we observe that
PQ = 0 , (PQ) = (0) , Q P = 0 , QP = 0
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
162 8.2. Projections
Then P = (P + P + : : : + Pn )
1 2
= P + P + : : : + Pn
1 2
= P + P + : : : + Pn
1 2
= P + P + : : : + Pn [* Pi P j = 0 if i 6= j]
2
1
2
2
2
= P + P + : : : + Pn
1 2
=P
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
8.2. Projections 163
n
X
k P j xk 2
j= 1
= kP1 xk2 +kP2 xk2 + : : : + kPn xk2
X n
= (Pi x; x)
j= 1
= (P1 x; x) + (P2 x; x) + : : : + (Pn x; x)
= ([P + P + : : : + Pn ] x; x)
1 2
= (Px; x)
= kPxk 2
k xk 2
From the above, we can conclude that the sign of equality must hold. Therefore
we have
n
X
kPi xk 2
= k P j xk
2
j= 1
) k P j xk 2
= 0 if j 6= i
) k P j xk = 0 if j 6= i
) Pjx = 0 if j 6= i
) x is the null space of P j if j 6= i
) x 2 M ?j if j 6= i
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
164 8.2. Projections
) kPxi k = k xi k
) xi 2 the range of P
) xi 2 R(P) for each i = 1; 2; : : : ; n
) x1 + x2 + : : : + xn 2 R(P)
) x 2 R(P)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
8.2. Projections 165
Suggested Readings:
Web Resources:
// / / / /
1. https: www.impan.pl pmh teach algebra additional normal.pdf /
// /
2. https: www.youtube.com watch?v s-5bCfENHg8 =
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
166
8.2. Projections 167
Block-V
Unit-9: Finite Dimensional Spectral Theory
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
168
Block-V
UNIT-9
FINITE DIMENSIONAL
SPECTRAL THEORY
Structure
Objective
Overview
9. 1 Eigen Values and Eigen Vectors
9. 2 Matrix of Linear Transformation
9. 3 Determinants and Spectrum of an Operator
Let us Sum Up
Check Your Progress
Suggested Readings
Overview
In this unit, we shall study that the every operator on a Hilbert
transformation.
Objectives
After successful completion of this lesson, students will be able to
Note 9.1. Eigenvalues are sometimes are called characteristic values, proper
values, or spectral values. Similarly eigenvectors are called characteristic
vectors, proper vectors, spectral vectors.
The set of all eigen values of T is called the spectrum of T and we shall
denote it by (T ) .
If the Hilbert space H has no non-zero vectors at all, then T certainly has
no eigen vectors. In this case the whole theory collapses into trivially. Therefore
throughout the present chapter and next chapter we shall assume that H 6= f0g .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
9.1. Eigen Values and Eigen Vectors 171
i:e:; 1 = 2 .
Theorem 9.3. Let be an eigenvalue of an operator T on a Hilbert space
H . If M is the set consisting of all eigenvectors of T which correspond to
the eigenvalue together with the vector 0 , then M is a non-zero closed
linear subspace of H invariant under T . M is called the eigenspace of T
corresponding to the eigenvalue .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
172 9.2. Matrix of linear transformation
Denition 9.2.
Let H be an n -dimensional Hilbert space and let B = fe1 ; e2 ; : : : ; en g be
an ordered basis for H . Let T be an operator on H . Since each T (e j )) 2 H
and B is a basis for H , therefore each T (e j ) is uniquely expressible as a linear
combination of the vectors e1 ; e2 ; : : : ; en . Let for j = 1; 2; : : : ; n ,
T (e j ) = 1 j e1 + 2 j e2 + : : : + n j en
n
X
= i j ei
i= 1
From the above, we can clearly understood that to write the jth ( j = 1; 2; : : : ; n)
column of the matrix [T ]B , we express as a linear combination of the vectors
e1 ; e2 ; : : : ; en and the resulting scalar coecients gives us the jth column of the
matrix [T ]B .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
9.2. Matrix of linear transformation 173
I (e j ) = e j; j = 1; 2; : : : ; n
= 0e1 + 0e2 + : : : + 0en
n
X
= i j e j ; where i j is a Kronecker delta:
i= 1
Therefore, by denition, we have [0]B = [0i j ]nn = i:e: null matrix of order
nn.
algebra B(H) and the total matrix algebra An . In order to establish this,
we shall prove the folowing theorem which will be use to prove our desired
theorem.
By denition of T , we have
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
174 9.2. Matrix of linear transformation
T (ei ) = 0 f1 + 0 f2 + : : : + 1 fn + : : : + 0 fn
T (ei ) = fi i = 1; 2; : : : ; n
Then,
T ( x + y) = T [ ( 1 e1 + 2 e2 + : : : + n en ) + ( 1 e1 + 2 e2 + : : : + n en )]
= T (
1 + 1 )e1 + ( 2+ 2 )e2 + : : : + ( n+ n )en
= (( + )f ) + (
1 1 1 2 + 2 ) f2 + : : : + ( n+ n ) fn
= ( f + f + ::: +
1 1 2 2 n fn ) + ( 1 f1 + 2 f2 + : : : + n fn )
= T ( x) + T (y)
It remains to prove that the uniquess of T . For this, let T 0 be another linear
operator on H such that
T 0 (ei ) = fi i = 1; 2; : : : ; n
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
9.2. Matrix of linear transformation 175
Now, our aim is to prove that is an isomorphism. i:e: to prove that one-to-one,
onto and preserves all the three compositions.
Let T 1 ; T 2 2 B(H) and let [T ] = n[ 1 i j ]nn and [T 2 ] = [ i j ]nn . Then
X
T 1 (e j ) = i j ei ; j = 1; 2; : : : ; n (9.1)
i= 1
Xn
and T 2 (e j ) = i j ei ; j = 1; 2; : : : ; n (9.2)
i= 1
is one-to-one:
(T 1 ) = (T 2 )
) [T ] 1 = [T 2 ]
h i h i
) i j n n = i j n n
) ij = i j (i = 1; 2; : : : ; n); ( j = 1; 2; : : : ; n)
n
X Xn
) i j ei = i j ei j = 1; 2; : : : ; n
i= 1 i= 1
) T 1 (e j ) = T 2 (e j ) j = 1; 2; : : : ; n
) T1 = T2
) is one-to-one.
is onto: Let [ i j ]nn be any matrix in An .
For each j = 1; 2; : : : ; n , we have
n
X
i j ei is a vectors belonging to a basis for H .
i= 1
Hence, by Theorem 9.5, there exists a unique operator T on H such that
n
X
T (ei ) = i j ei
i= 1
By denition, we have
[T ] = [ i j ]nn ) (T ) = [ i j ]nn
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
176 9.2. Matrix of linear transformation
Thus, is onto.
preserves addition:
(T 1 + T 2 )(e j ) = T 2 (e j ) + T 2 (e j ); j = 1; 2; : : : ; n
Xn Xn
= i j ei + i j ei
i= 1 i= 1
Xn
= ( i j + i j )ei
i= 1
) [T + T ] =
1 2 [ i j + i j ]nn
= [ i j ]nn + [ i j ]nn
= [T 1 ] + [T 2 ]:
By denition, we have
[ T1] = [ i j ]nn = [ i j ]nn = [T 1 ]
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
9.2. Matrix of linear transformation 177
Now (T 1 T 2 ) = [T 1 T 2 ] = [T 1 ][T 2 ] = (T 1 ) (T 2 ) .
Thus, preserves multiplications and hence is an isomorphism of the
B
algebra (H ) onto the algebra An .
Hence the theorem.
Theorem 9.7. Let B be a basis for H , and T an operator whose matrix relative
to B is [ i j ] . Then T is non-singular , [ i j ] is non-singular, and in this case
[ i j ] 1 = [T 1 ] .
Proof.
, [T 1
][T ] = I = [T T ] 1
, [T 1
][T ] = [i j ] = [T ][T ] 1
, [T 1
][ i j ] = [i j ] = [ i j ][T ] 1
Note 9.3. We can easily observe that the relation of similarity on the set B (H )
is an equivalance relation.
Theorem 9.8. Two matrices in An are similar , they are the matrices of a
single operator on H relative to (possibly) di erent bases.
n
X
T (e j ) = i j ei ; j = 1; 2; : : : ; n (9.3)
i= 1
Xn
and T ( f j ) = i j fi ; j = 1; 2; : : : ; n (9.4)
i= 1
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
178 9.2. Matrix of linear transformation
Now, we have
T ( f j) = T (S e j )
0 1
BX n C
= T B@
B
B
B
C
C
k j ek CCA
k =1
X n
= k j T (ek )
k =1
X n X n
= kj ik ei
k =1 i= 1
X n 0BX n 1
C
= B
B
B
B
@
C
C
ik k j CCA ei (9.6)
i= 1 k = 1
Also, we have
n
X
T ( f j) = k j fk
k =1
X n
= k j S (ek )
k =1
X n n
X
= kj i j ei
k =1 i= 1
X n 0BXn 1
C
= B
B
B
B
@ ik i j
C
C
A ei
C
C (9.7)
i= 1 k = 1
Thus, from
0
(9.6) and
1
(9.7), we have
0 1
n BX
X n C n BX
X n C
B
B
B
B
@ ik
C
C
k j CCA ei = B
B
B
B
@ ik
C
C
i j CCA ei
i= 1 k = 1 i= 1 k = 1
n
X X n
) ik k j = ik k j
k =1 k =1
) [ ik ]nn [ k j ]nn = [ ik ]nn [ k j ]nn
) [ i j ]nn [ i j ]nn = [ i j ]nn [ i j ]nn (* change of sux is immaterial)
) [ i j ] 1 [ i j ][ i j ] = [ i j ] [ i j ][ i j ]
1
) [ i j ] 1 [ i j ][ i j ] = [i j ][ i j ]
) [ i j ] 1 [ i j ][ i j ] = [ i j]
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
9.3. Determinants and the Spectrum of an Operator 179
[ i j] = [ i j ] 1 [ i j ][ i j ]
i:e: [T ]B 0 = [ i j ] 1 [T ]B [ i j ] (9.8)
Let B = fe1 ; e2 ; : : : ; en g be any ordered basis for H and let T be the operator on
H whose matrix relative to B is [ i j ] i:e: [T ]B = [ i j ] .
1. det ([i j ]) = 1 ;
2. det ([ i j ][ i j ]) = det ([ i j ][ i j ]) ;
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
180 9.3. Determinants and the Spectrum of an Operator
3. [ i j ] 6= 0 , [ i j ] is a non-singular;
4. det [ i j ] [i j ] is a polynomial, with complex coe cients, of
n11 12 1
n
det ([ i j ]) =
21 22 2
= det [ i j ] 1
det [ i j ] det [ i j ]
= det [ i j ] 1
det [ i j ] det [ i j ]
= det [ i j ] 1 [ i j ] det [ i j ]
= det [i j ] det [ i j ]
= det [ i j ]
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
9.3. Determinants and the Spectrum of an Operator 181
Proof. Let B be any ordered basis for H . Let T be any opoerator on H , then
by dention we have det(T ) = det([T ]B ) .
(i) , we have det(I ) = det([I ]B ) = det(i j ) = 1
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
182 9.3. Determinants and the Spectrum of an Operator
Tx = T0
Since x 6= 0 therefore x and 0 are two distinct elements in H and they have the
same image under T . Thus, the mapping T is not one-to-one. Hence T is not
non-singular i:e:; T is singular.
Conversely, assume that T is singular. Suppose there exists no non-zero vector
x in H such that T x = 0 .
Tx = 0 ) x=0
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
9.3. Determinants and the Spectrum of an Operator 183
) det(T I ) = 0 .
Hence is an eigenvalue of T if and only if satises the equation
det(T I ) = 0 .
Let B be any ordered basis for H . Then
det(T I ) = det ([T I ]B )
= det ([T ])B [I ]B )
= det [T ])B [i j ]B
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
184 9.3. Determinants and the Spectrum of an Operator
Suggested Readings:
1. Simmons G.F., Introduction to Topology and Modern Analysis,
Web Resources:
// / /
1. https: archive.nptel.ac.in courses 111 106 111106147 / / /
2.
// / / /
https: courses.cs.washington.edu courses cse521 16sp 521-lecture-8.pdf /
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
Block-V
UNIT-10
Structure
Objective
Overview
10. 1 The Spectral Theorem.
10. 2 Fixed Point Theorem.
Let us Sum Up
Check Your Progress
Suggested Readings
Overview
In this unit, we shall study the spectral theorem, xed theorem
Objectives
After successful completion of this lesson, students will be able to
resolution
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
10.1. The Spectral Theorem 187
Therefore, Mi is orthogonal to M j .
Hence Mi0 s are pairwise orthogonal.
Theorem 10.3. If T is a normal, then each Mi reduces T .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
188 10.1. The Spectral Theorem
= (P1 + P + : : : + Pm )T
2
= PT
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
10.1. The Spectral Theorem 189
T = P + P + : : : + m Pm
1 1 2 2
(iii) T is normal.
Proof. (i) ) (ii) . Since the Mi0 s are pairwise orthogonal and span H , therefore
each vector x in H can be uniquely expressed in the form
x = x1 + x2 + : : : + xm (10.2)
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
190 10.1. The Spectral Theorem
= P x + P x + : : : + m Pm x
1 1 2 2
= ( P + P + : : : + m Pm ) x
1 1 2 2
) T = P + P + : : : + m Pm
1 1 2 2
= P + P + : : : + m Pm
1 1 2 2
We have
TT = ( P + P + : : : + m Pm )( P + P + : : : + m Pm )
1 1 2 2 1 1 2 2
= j j P + j j P + : : : + jm j Pm (* Pi = Pi )
1
2
1 2
2
2
2 2
and P + P + : : : + Pm = I
1 2
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
10.1. The Spectral Theorem 191
Note 10.1. The spectral theorem ensures that every normal operator T on a
non-zero nite dimensional Hilbert space H has a spectral resolution.
Our aims is to prove that the scalars 1 ; 2 ; : : : ; m are precisely the distinct
eigenvalues of T .
First, we shall prove that for each i , i is an eigenvalue of T .
Since Pi 6= 0 , therefore there exists a non-zero vector x in the range of Pi .
But Pi is a projection. Therefore Pi x = x . Now
Tx = (1 P1 + 2 P2 + : : : + m Pm ) x
= (1 P1 + 2 P2 + : : : + m Pm )Pi x (* x = Pi x)
= P Pi x + P Pi x + : : : + m Pm Pi x
1 1 2 2
= i Pi x2
(* Pi P j = 0; if i 6= j)
= i Pi x (* P2i = Pi ; Pi being a projection)
= i x
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
192 10.1. The Spectral Theorem
T x = x
) T x = I x [* I x = x]
) ( P + P + : : : + m Pm ) x = (P + P + : : : + Pm ) x
1 1 2 2 1 2
Operating on this with Pi and use the fact that P2i = Pi and Pi P j =0 if i 6= j ,
we get
(i )Pi x = 0 for i = 1; 2; : : : ; m
This contradicts the fact that x is a non-zero vector. Hence must be equal to
i for some i .
Thus, we have proved that in the spectral resolution (10.5) of T the scalars
0i s are precisely the distinct eigenvalues of T .
Therefore, if
T = 1 Q1 + 2 Q2 + : : : + k Qk (10.7)
is another spectral resolution of T , then the scalars 0i s are precisely the distinct
eigenvalues of T . Therefore renaming the projections Q0i s , if necessary we can
write (10.7) in the form
T = Q + Q + : : : + m Qm
1 1 2 2
Now, we shall prove that in the spectral resolution of (10.5) of T the P0i s are
uniquely determined as specic polynomials in T . We have
T0 = I = P + P + : : : + Pm
1 2
T = P + P + : : : + m Pm
1 1 2 2
T 2
= ( P + P + : : : + m Pm )( P + P + : : : + m Pm )
1 1 2 2 1 1 2 2
= P + P + : : : + m Pm
2
1 1
2
2 2
2
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
10.1. The Spectral Theorem 193
non-negative integer.
Therefore if p(z) be any polynomial, with complex coecient in the complex
variable z , then taking a linear combinations of the above relations, we get
m
X
p(T ) = p(1 )P1 + p(2 )P2 + : : : + p(m )Pm = p(i )Pi
i= 1
Proof. Let T = P + P + : : : + m Pm
1 1 2 2 be the spectral resolution of T . Then
1 ; 2 ; : : : ; m are precisely the distinct eigenvalues of T and P1 ; P2 ; : : : ; Pm are
the projections on M1 ; M2 ; : : : ; Mm which are the eigenspaces of the eigenvalues
1 ; 2 ; : : : ; m respectively. Also we have
P1 + P2 + : : : + Pm = I
Since Mi0 s are eigenspaces of a normal operator, therefore they are pairwise
orthogonal i:e:; Mi ? M j for i 6= j .
Now each Mi is a nite-dimensional non-zero Hilbert space. Therefore
each Mi contains a complete orthonormal set which will also be a basis for
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
194 10.1. The Spectral Theorem
Observe that the vectors in Bi are some elements of Mi and the vectors in B j
are some elements of M j . The eigenspaces Mi and M j are orthogonal if i 6= j .
Since B is an orthonormal set, therefore B is linearly independent. Now B
will be a basis for H , if we prove that B generates H .
Let x be any vector in H . Then
x = I x = (P1 + P2 + : : : + Pm ) x
= P1 x + P2 x + : : : + Pm x
= x1 + x2 + : : : + xm where xi = Pi x
T e1 = e1 = e + 0e + : : : + 0en
1 2
T e2 = e2 = 0e + e + : : : + 0en
1 2
..
.
T en = en = 0e + 0e + : : : +
1 2 en
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
10.2. Fixed Point Theorems 195
0 1
B
B
B
B 1 0 : : : 0 CCCC
B
B C
C
B
B
B0 : : : 0 CCCCC
[T ]B = B
B
B
B
B
2
C
C
: : : : : : : : : : : :CCCCC
B
B
B
B
B
B C
C
@
0 0 : : : nA
The Figure 10.1. suggests that the graph of f must touch or cross the
Figure 10.1
on [ 1; 1] by
F ( x) = f ( x) x
Note 10.2. A topological space X is called a xed point space if every continuous
mapping f on X into itself has a xed point in the sense that f ( x0 ) = x0 .
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
196 10.2. Fixed Point Theorems
Theorem 10.8 (Brouwer's Fixed Point Theorem). The closed unit sphere
S = f x : k xk 1g in Rn is a xed point space.
..
.
xn = T n x0 = T xn 1
If m < n , then
d( xm ; xn ) = d (T m x0 ; T n x0 )
= d T m x0 ; T m T n m x0
rm d( x0 ; T n m x0 ) = rm d( x0 ; xn m )
rm [d( x0 ; x1 ) + d( x1 ; x2 ) + : : : + d( xn m 1 ; xn m )]
rm d( x0 ; x1 )[1 + r + : : : + rn m 1 ]
rm d( x ; x )
0 1
:
1 r
Since r < 1 , it is clearly from the fact that f xn g is a Cauchy sequence, and by the
completeness of X , there exists a point x in X such that xn ! x .
Since T is continuity and to infer that x is a xed point, we have
Tx = T (lim xn )
= lim T xn
= lim xn+1
= x
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
10.2. Fixed Point Theorems 197
@f
Proof. Since f ( x; y) and are continuous in R , they are bounded, and hence
@y
there exist constants K and M such that
j f ( x; y)j K (10.9)
@f
M (10.10)
@y
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
198 10.2. Fixed Point Theorems
It remains to prove that the integral equation (10.13) has a unique solution.
For this, we choose a positive number a such that Ma < 1 and the closed
rectangle R0 determined by j x x0 j a and jy y0 j Ka is contained in R .
Let X be the set of all continuous real functions y = g( x) dened on the
closed interval j x x0 j a such that jg(y) y0 j Ka . Clearly, X is a closed
C
subspace of the complete metric space [ x0 a; x0 + a] and hence it is also a
complete metric space.
Consider the mapping T of X onto itself dened by T g = h , where
Z x
h( x) = y0 + f (t; g(t))dt
x0
It is very clear from (10.9) the Zfact that T maps X into itself. For if
x
jh( x) y0 j = f (t; g1 (t))
f (t; g2 (t)) dt Ka
x0
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
10.2. Fixed Point Theorems 199
Suggested Readings:
Web Resources:
// /
1. https: mathworld.wolfram.com FixedPointTheorem.html
2.
// / / / /
http: www.u.arizona.edu mwalker econ519 Econ519LectureNotes FixedPointTheorems.pdf
zzzzz
Functional Analysis
M.Sc.(Mathematics)-II Year-III Sem
Document Information
Submitted by
Similarity 8%
Romen_Maths_Thesis.pdf
14
Document Romen_Maths_Thesis.pdf (D47516061)
URL: https://www.ddegjust.ac.in/2019/4/mal%20641_19042019.pdf
346
Fetched: 2021-11-16 22:59:14
URL: https://cpb-us-
w2.wpmucdn.com/sites.udel.edu/dist/b/10716/files/2022/02/hoefer_functional_anal... 12
Fetched: 2022-05-14 14:05:56
07170511.Assignment 1.pdf
4
Document 07170511.Assignment 1.pdf (D103826761)
Dissertation.pdf
2
Document Dissertation.pdf (D108354499)
Kristoffer-Jansen(01715HW7).pdf
1
Document Kristoffer-Jansen(01715HW7).pdf (D22770086)
mathematics.pdf
3
Document mathematics.pdf (D123770633)
P_USHA_ MATHS.pdf
14
Document P_USHA_ MATHS.pdf (D58922462)
Week05_SebastianLarsson.pdf
2
Document Week05_SebastianLarsson.pdf (D80973024)
MA40057_Problem_Sheet_5.pdf
2
Document MA40057_Problem_Sheet_5.pdf (D97826501)