Functional Analysis
Functional Analysis
DEMTH642
Edited by:
Dr. Kulwinder Singh
Functional Analysis
Edited By
Dr. Kulwinder Singh
Title: Functional Analysis
Publisher Address: Lovely Professional University, Jalandhar Delhi GT road, Phagwara - 144411
ISBN:
Objectives
Introduction
1.1 Normed Linear Space
1.2 Properties of Normed Linear Space
1.3 Banach Space (Complete normed Space)
Summary
Keywords
Self Assessment
Answers for Self Assessment
Review Questions
Further Readings
Objectives
After studying this unit, you will be able to understand:
Introduction
The notion of a norm is an abstract generalization of the length of a vector. It is axiomatically stated
that the norm is any real valued function that satisfies specific requirements. The linear space
together with the norm is called a normed linear space. Moreover, the Banach spaces is a type of
normed linear spaces that possess the additional property of completeness.
In what follows, K will denote the field of R (real numbers) or C (complex numbers). We shall
always assume that R and C have their usual metrics and that all the linear spaces that we consider
will be defined over K (R or C).
(i) || || ≥ 0, ∀ ∈ ;
(ii) || || = 0 if and only if = 0;
(iii) || + || ≤ || || + || ||, ∀ , ∈ ;
(iv) || | ≤ | | | ||, ∀ ∈ , ∈ .
Functional Analysis
A linear space over with norm ||. || defined on is called a normed linear space or simply a
normed space over , written as ( , ||. ||) or . The normed linear space is real or complex
accordingly as the field is or .
Next, we provide some examples for the lucid illustration of the normed spaces.
Example. Consider a linear space together with the norm defined by || || = | |. Then, it is
easy to verify that the properties (i)-(iv) of the Definition holds. In particular, triangle inequality
follows by the fact || + || = | + | ≤ | | + | |, ∀ , ∈ .
Example. Consider ℓ, space, that is, the space of all bounded sequences =) *. Then, this
space is a normed linear space with the norm || ||, = sup | | , 1 ≤ 2 ≤ ∞.
. .
Solution: We have | | - = 9∑ | | :/ = | | + | | + ⋯ + | | "/ .
.
.
| | = <∑8 | | = = | | + | | + | ; | + | 8 | ">
>
.
= |2| + |3| + |1| + |54| "> = √30.
Also, | | ,
= @A-)| |, | |, | ; |, | 8 |* = @A-)|2|, |3|, |1|, | 5 4|* = 4.
Example. Let BC, DEdenotes the space of continuous real valued functions defined on BC, DE.
Then, BC, DE defines a normed linear space with the norms:
Definition . Let , ||. ||" be the normed linear space on . Then, we have the following definitions.
An open sphere (or open ball) with center K and radius L > 0 is the set N K ; L" =) ∈
: | 5 K| & L*. By the surface (or boundary) of this ball, we mean the set P K ; L" =) ∈
: | 5 K| = L*.
The set NB K ; LE = ) ∈ : || 5 K || ≤ L* denoted by PB K , L E or PQ B K E is called the closed
sphere or closed ball with radius L and center R.
A set S in is said to be open if for every ∈ S, there exists a ball with center which is
contained in D.
A set S in is said to be closed if for any sequence ) * in S with → implies that
∈ S.
A set S in is said to be bounded in if there exists a constant T such that | | & T, ∀ ∈
S.
A set S in is said to be compact if whenever ) * ∈ S, there exist a convergent
subsequence of ) * whose limit is in S.
A sequence ) * is said to be bounded, if there exists a real constant > 0 such that
| | & , ∀ U.
A sequence ) *⊂ is said to be convergent if there exists an ∈ such that
lim →, ‖ 5 ‖=0
]2^ ‖ _ 5 ‖ → 0 C@ ^, U → ∞
→,
Theorem . Show that Every normed linear space is a metric space w.r.to the metric , "=
|| 5 || ; ∀ , [ . But the converse may not be true.
H , " = || 5 ||; ∀ , [ .
Functional Analysis
=H , "+H , d".
Hence, H is a metric on normed linear space , known as metric induced by norm and hence with
H is a metric space.
Now, we show that the converse of above theorem need not be true. For this consider a linear space
|efg|
with metric H defined as H , "=
h|efg|
.
We can clearly verify the above metric satisfies all the conditions of metric space.
|efg|
, "= | 5 | =
h|efg|
If we take .
|i|
Or we can write |d| = ∀d= 5 ∈
h|i|
|ki| |i|
Thus for any α scalar |αd| = = |α| ≠ |α| |d| .
h|ki| h|k||i|
We can write = 5 + .
So, | | = | 5 + | ≤ | 5 | + | |.
Implies, || || 5 || || ≤ || 5 ||.
So, || || = || 5 + || ≤ || 5 || + || ||.s
Or 5|| 5 || ≤ || || 5 || ||.
5|| 5 || ≤ || || 5 || || ≤ || 5 ||.
Definition . Let and m are normed linear spaces, then F: → m is said to be continuous at K ∈
, If for given ϵ>0, thereexists δ > 0 such tha |F " 5 F K "| & ϵ whenever | 5 K| & δ.
That is, → as U → ∞.
Or, 5 x → 0 as U → ∞.
Now, | || || 5 || || | ≤ || 5 x|| → 0 as U → ∞.
This implies, | || || 5 || || | → 0 as U → ∞.
Or, || || 5 || || → 0 as U → ∞.
Or, || || → || || as U → ∞.
Proof. Let & > be a sequence convergent to , then for given ϵ > 0, there exists UK ∈ N such that
p
|| 5 || & ∀ n ≥ nK .
p
In particular, || 5 || & for fixed m > nK .
Now, || 5 _ || = || 5 + 5 _ ||
= || 5 "+ 5 _ "||
≤ || 5 || + || 5 _ ||
= || 5 || + | 5 1||| _ 5 ||
p p
= | 5 | + | _ 5 | & + = ϵ ∀ ^, U ≥ UR
Remark: Converse of above result need not be true in general. As every normed linear
space is a metric space, we will show this for metric space
For this , Consider X = (0, 1], with H , " = | 5 | and consider sequence & >=&
1/U > , where ∈ . then, & 1/U > is a Cauchy sequence as
Functional Analysis
Theorem . Let be a normed linear space over the field . Let & > and & > be
sequences in with ]2^ = and ]2^ = , respectively , and )α * be a sequence in
→, →,
with ]2^ = .
→,
Then
(ii) ]2^ = α .
→,
≤ || 5 "|| + || 5 "||
→ 0 as U → ∞.
≤| ||| f || + |α 5 α|||x||
→ 0 as U → ∞.
(OR )
A normed linear space which is complete as a metric space is called a Banach space.
Example. The Spaces and of reals and complex numbers are Banach spaces. These are the
consequences from the real analysis result that every Cauchy sequence is convergent.
Example. The spaces tu and are Banach spaces . Here we prove that is complete.
Let ) "
* be a Cauchy sequence in tu ,
= y∑
" x"
∀ -, w; -, w ≥ nK , implies || "
5 x" || z 5 z & ϵ
" x"
Hence, ∀ -, w; -, w ≥ UK , implies z 5 z ≤ || "
5 x" || & [
" "
So, for each i, is a cauchy sequence of real numbers. Since R is complete, converge to a real
number for all 2 = 1, 2, 3, … , n. But this implies that for already choosen ϵ, there exist a natural
number - such that
"
∀ -; - ≥ -{ , implies z 5 z & [/√U
"
We show that = lim →, . Let -| = ^C - , - , . . . , -q "
= y∑
" x"
∀ -; - ≥ -K ≥ UK , implies || "
5 x" || z 5 z & [ By (1)
Hence ) "
* converges to ∈ , as required. Thus, is complete and hence is a Banach Space.
Example. The space ] , is a Banach space . This space consists of all bounded sequences
= ) * of real or cpmplex numbers with addition and scalar multiplication defined by:
+ =) + *,
C = )C *.
| | = @A-, | |
Let ) "
* be any Cauchy sequence in ] , , "
= "
. Then,given any ϵ > 0, there is a natural
number UK such that:
" x"
∀ -, w; -, w ≥ nK ⟹ || "
5 x" || = @A-, z 5 z & ϵ.
" x"
∀ -, w; -, w ≥ nK ⟹ z 5 z ≤ || "
5 x" || & ϵ.
"
~L " is complete ,
"
Hence, is a Cauchy sequence of real (or complex ) numbers, since
converges to for all 2 = 1, 2, 3, …
"
Since → , there is a natural number U such that
" p
∀-, ; -, ≥ n ⟹ z 5 z & , 1 = 1,2, . .. (1)
That is,
" •
∀-, ; -, ≥ n ⟹ || "
5 || = @A- , z 5 z ≤ & [.
Hence "
→ . Also, from (1)
| |=| 5
"
+
"
|
Functional Analysis
" "
≤| 5 |+| |
•
& +€
•
Now + € is a finite number, independent of 2. This proves completeness of ] , .
Example. The space • ‚ƒ„‚ …† the Space of all convergent real (or complex ) sequences is a
Banach space . It is a subspace of ] , .
Example. The space •‡ that is the space of all sequences which converges to 0 is a Banach
space
Example. The space ˆ‰ , ‰ ≥ Š" : This is the space of all sequences = ) * such that | | =
.
9∑, | | :/ is a Banach space.
Example. The space ‹B„, ŒE. This is the space of all continuous functions from BC, DE to
~L " is a Banach space. The norm in BC, DE is ||F|| = @A- |F "|, F ∈ BC, DE.
e∈BJ,IE
Summary
A linear space over with norm ||. || defined on is called a normed linear space or
simply a normed space over , written as ( , ||. ||) or . The normed linear space is real or
complex accordingly as the field is or .
An open sphere (or open ball) with center K and radius L > 0 is the set N K ; L" =) ∈
: | 5 K| & L*. By the surface (or boundary) of this ball, we mean the set P K ; L" =) ∈
: | 5 K| = L*.
The set NB K ; LE = ) ∈ : || 5 K || ≤ L* denoted by PB K , L E or PQ B K E is called the closed
sphere or closed ball with radius L and center R.
A set S in is said to be open if for every ∈ S, there exists a ball with center which is
contained in D.
A set S in is said to be closed if for any sequence ) * in S with → implies that
∈ S.
A set S in is said to be bounded in if there exists a constant T such that | | & T, ∀ ∈
S.
A set S in is said to be compact if whenever ) * ∈ S, there exist a convergent
subsequence of ) * whose limit is in S.
A sequence ) * is said to be bounded, if there exists a real constant > 0 such that
| | & , ∀ U.
A sequence ) *⊂ is said to be convergent if there exists an ∈ such that
lim →, ‖ 5 ‖=0
]2^ ‖ _ 5 ‖ → 0 C@ ^, U → ∞
→,
Keywords
Normed linear space
Open sphere
Closed sphere
Bounded set
Compact set
Convergent sequence
Cauchy Sequence
Banach space
Self Assessment
1. Which of the following is not a requirement for a normed linear space.
A. Associativity
B. Linearity
C. Triangle inequality
D. Homogeneity
2. If two vectors in a normed linear space have norms equal to zero , then
Functional Analysis
A. Euclidean norm
B. Taxicab norm
C. Supremum norm
D. Inner product norm
A. || || ≥ 0
B. || + || ≤ || || + || ||
C. ||€ || = €|| ||
D. || || = 0, iff =0
7. Which of the following statement is true about a complete normed linear space.
8. In a normed linear space , if the norm of a vector is zero, then the vector must be:
A. Zero vector
B. Unit Vector
C. A non zero vector
D. An infinite vector
A. Hilbert space
B. Banach space
C. Compact space
D. Euclidean Space
A. ] ⊂ ]x
B. ] ⊃ ]x
C. ] = ]x
D. None of the above
(ii) Every normed space can be identified as a dense subspace of a Complete normed space
A. Zero subspace
B. Empty set
Functional Analysis
6. B 7. A 8. A 9. B 10. B
Review Questions
1. Define a normed linear space.
2. What is definition of norm in normed linear space.
3. State triangle inequality property for a normed linear space.
4. Explain the concept of convergence in a normed linear space.
5. Define a Cauchy sequence in a normed linear space.
6. What is the difference between a normed linear space and a metric space.
7. Define a Banach Spaces.
8. What are the key properties that a space must satisfy to be considered a Banach space.
9. What is the difference between a normed space and a Banach space.
Further Readings
Introductory Functional Analysis With Applications By Erwin Kreyszig.
Functional Analysis By Walter Ruddin, Mcgraw Hill Education.
J. B Conway, A Course In Functional Analysis.
C. Goffman G Pedrick, A First Course In Functional Analysis.
B.V. Limaya, Functional Analysis.
Objectives
After studying this unit, you will be able to understand:
Introduction
In this chapter, We introduce the idea of finite dimensional normed spaces and subspaces . These
spaces have some pleasant and useful properties . Such spaces are all Banach spaces. Further, we
also discuss quotient space, dual space and their completeness. Finally, we shall see that any two
norms on finite dimensional normed spaces are equivalent.
Functional Analysis
A normed space is said to be finite dimensional if it has finite basis, otherwise is said to be
infinite dimensional.
Proof. Suppose $ is complete and let be a limit point of $. Then every open sphere centered at
contains points of $ (other than x). In particular, the open sphere / 0 ! #, where n is a positive integer
1
Proof. Let $ be closed and let { } be Cauchy sequence in $. Then it is Cauchy in . But being
complete, ⇒ ∃ ∈ such that → . Either ∈ $, then we are done, or each neighbourhood of
contains points !9 #. As such, is a limit point of $. But $ being closed , implies ∈ $. Thus $ is
complete.
‖ : $‖ ≥ 0
Also ‖ : $‖ = 0 if and only if 3A|| : ;||, so that by the property of infimum , there is a
B∈'
sequence {; } in $ such that
(| : ; |( → 0 as 3 → ∞
But then : ; →0 that is ; → − as 3 → ∞. Since $ is closed subspace , ∈ $
Hence
: $ = $, the zeroth element of /$.
Now, let : $, ; : $ ∈ /$, , ; ∈ X .Then
: $ : ; : $ = : ; : $ ∈ /$
By definition of ||. || in /$, there are sequences { } and {; } in $ such that
lim → (| : |( = ‖ : $‖ , lim → (|; : ; |( = (|; : $|( ,
Hence , for any , ; ∈ and the definition of infimum,
(| : $ : ; : $|( = (| : ; : $|( ≤ || : ; : : ; ||
≤ (| : |( : (|; : ; |(
Taking limits as 3 → ∞, we have :
|| : $ : ; : $|| = (| : ; : $|(
≤ lim → (| : |( : lim → (|; : ; |(
≤ (| : $|( : (|; : $|(
= 3A || : ; I ||
B H ∈'
= | | 3A || : ; I ||
B H ∈'
== | |(| : $|( .
Hence ! /$, ||. || # is a normed space.
Now, we discuss the question of completeness of /$ if is complete. In a support of this we prove
the following theorem.
Theorem. Let $ be a closed subspace of a Banach space . Then /$ with the norm defined by
(| : $|( = 3A|| : ;|| = .! , $#
B∈'
is also a Banach space.
Proof. To prove that J/K is a Banach space , we have to prove that every Cauchy sequence in J/K
Converges to a point J/K. Since a Cauchy sequence convergent if and only if it has a convergent
subsequence , we shall show that every Cauchy sequence in J/$ contains a convergent
subsequence .
Let : $, ∈ be a Cauchy sequence in /$. Then , given any @ > 0, there is a natural number
3 such that:
∀ , 3; , 3 ≥ 3 ⇒ (| N : $ − ! : $#(| = (| N − : $|( 2 @
Take @ = and = 3 , 3 = 3 O 1. Then
1
|| :$−P : $Q|| = R( − : $(R 2
0 0 0 0O
2
If we choose @ = , then there is a natural number 3 such that
T
Functional Analysis
1
R( :$−P : $Q(R = R( − : $(R 2
U UO U UV0
4
Continuing in this way, we see that, in general there is a natural number 3X such that
1
R( Y : $ − P YO : $Q(R = R( Y − YO : $(R 2 X
2
In each Y : $ and Y O : $, select vectors ;X , ;XO respectively such that
1
(|;X − ;XO |( 2 X
2
Then, for any Z I > Z,
||;X − ;X H || = ||;X − ;XO : ;XO − ;XO : ⋯ ;X H\ − ;X H ||
≤ ||;X − ;XO || : ||;XO − ;XO || : ⋯ ||;X H\ − ;X H ||
2 Y : YV0 : ⋯: YH
0
2 UY
0 = Y]0
→ 0 as Z → ∞.
\
U
Thus {;X } is a Cauchy sequence in . Since is complete, {;X } converges to a point of . Hence
R( Y
: $ − !; : $#(R ≤ (|;X − ;|( → 0 as Z → ∞
So that the subsequece
Y
:$ →;:$ ∈ /$
But then : $ → y : Y. Hence /$ is complete.
‖ ‖ = | |; ∈ _,
then
4. A linear functional I
is said to be bonded if there exists d > 0 such that
| I ! #| ≤ d‖ ‖, ∀ ∈ .
5. The set of all linear functionals defined on is itsel a linear space , if addition and scaler
multiplication are defined by:
! I
: I #! #= I! #: I! #
!αx I #! # = αx I ! #
And is denoted by e
, called the algebraic dual ( conjugate) space of .
‖ I ‖ = +fg | I |
‖h‖
= +fg | I |
‖h‖i
|h H h|
= +fghj` ‖h‖
Note that | I | ≤ ‖ I ‖ ‖ ‖; ∀ ∈ .
7. The set of all bounded (continuous) linear functionals defined on is a linear subspace of
e and is denoted by I .
A norm on I is given by (6). The linear space I normed in this way is called normed
conjugate of . Sometimes it is denoted by ∗ .
e
Remark:- Since is a linear space, we may also consider its algebraic dual (or conjugate) space
e e
which we denote by P Q or ee
, that is the class of all linear functionals on e
.We shall
denote elements of ee by II (i, e II : e → _, the scaler field associated with e
) and we
shall use the notation II ! I # for the value of II at I .
Theorem. Let be a norm linear space, then the norm conjugate space I
of is complete.
Proof. Let { I } be a Cauchy sequence in I , then by definition of Cauchy sequence , for every @ > 0,
there exists positive integer l such that
‖ I
N − I‖
2 @whenever , 3 ≥ l.
| N!
I #− I! #| = |! I
N − I# |≤‖ I
N − I ‖‖ ‖ 2 @‖ ‖ , ∀ , 3 ≥ l…………(1)
Which shows that { I ! #} ia a Cauchy sequence in the space -m n for each ∈ . Since the scaler
field -m n is complete, so { I ! #} converges to a limit depending on which we denote
by I ! #.
I! #= I! #.
That is lim →
= lim →
I !o
# : lim I !o
#
→
= o lim I!
# : o lim I!
#
→ →
=o I! #:o I! #.
I
Which shows that is linear.
Now we show that I is bounded and hence continuous. Since { I } is a Cauchy sequence, so it is
bounded . Therefore by definition, there exists a constant _ > 0 such that ‖ I ‖ ≤ _; ∀3.
For ∈ , we have
| I! #| ≤ ‖ I ‖‖ ‖
≤ _‖ ‖; ∀ 3.
| I ! #| _‖ ‖; ∀ 3.
By (1), we have
| N!
I #− I! #| = @‖ ‖ , ∀ , 3 ≥ l.
N! #→
I I! #
| I ! #− I! #| ≤ @‖ ‖; ∀3 ≥ l
Implies |! I − I #! #| ≤ @‖ ‖; ∀3 ≥ l
Functional Analysis
‖ I
− I‖ ≤ @; ∀ 3 ≥ l.
(| |( ≤ (| |( ≤ c(| |( .
This concept is motivated by the fact that Equivalent norms on define the same topology for .
0
Example. Let = with norm ‖p‖ = | | : | | ; p = ! , #∈ and ‖p‖ = !∑ | | #U ,
then show that ‖p‖ and ‖p‖ are equivalent norms.
Solution:- we have
= √2‖p‖
Now,
‖p‖ = r | | s = t| | : | |
≤| |:| | ‖p‖
Or
Theorem. The relation of ‘ being equivalent to ‘ among the norms that can be defined on a linear
space is an equivalence relation.
Proof. In order to show that relation of ‘ being equivalent to ‘ among the norms is an equivalence
relation, we have to show that it is reflexive, symmetric and transitive,
‖ ‖ ≤ ‖ ‖ ≤ c‖ ‖
Symmetric. If ‖. ‖ ~‖. ‖ then there are positive numbers and c such that ∀ ∈ X, we have
‖ ‖ ≤ ‖ ‖ ≤ c‖ ‖
1 1
⇒ ‖ ‖ ≤‖ ‖ ≤ ‖ ‖
c
Hence ‖. ‖ ~‖. ‖ .
Transitive. If ‖. ‖ ~‖. ‖ and ‖. ‖ ~‖. ‖ v then there are positive numbers , c, and c such that
∀ ∈ X, we have
‖ ‖ ≤ ‖ ‖ ≤ c‖ ‖ and ‖ ‖v ≤ ‖ ‖ ≤ c ‖ ‖v
1 c c
⇒ ‖ ‖v ≤ ‖ ‖ ≤ ‖ ‖ ≤ ‖ ‖ ≤ . c ‖ ‖v
1 c
⇒ ‖ ‖v ≤ ‖ ‖ ≤ . c ‖ ‖v
⇒ ‖ ‖v ≤ ‖ ‖ ≤ cc ‖ ‖v
Since , c, , c > 0.
Hence ‖. ‖ ~‖. ‖ v .
Consequently the relation of ‘ being equivalent to ‘ among the norms that can be defined on a
linear space is an equivalence relation.
Theorem. Any two equivalent norms on a linear space define the same topology on .
Proof. Let ‖. ‖ ~‖. ‖ then there are positive numbers and c such that ∀ ∈ X, we have
‖ ‖ ≤ ‖ ‖ ≤ c‖ ‖
‖y − ‖ = ‖y − ; : ; − ‖ ≤ ‖y − ;‖ : ‖; − ‖
The next theorem shows that equivalent norms preserve Cauchy property of sequence.
Theorem. Let ‖. ‖ and ‖. ‖ be equivalent norms on a linear space , then every Cauchy sequence
in ! , ‖. ‖ # is also Cauchy sequence in in ! , ‖. ‖ # and conversely.
Proof. Let { } be a Cauchy sequence in in ! , ‖. ‖ #, then for given ϵ > 0 there exists 3` ∈ l
Such that
‖ N − ‖ 2 ϵ; ∀m, n > n`
1 ϵ
‖ − ‖ ≤ ‖ − ‖ 2 ; ∀m, n > n`
N
α N
α
‖ N − ‖ 2 ϵI ∀m, n > n`
Functional Analysis
Summary
A normed space is said to be finite dimensional if it has finite basis, otherwise is said
to be infinite dimensional.
Let be a normed space and $ a subspace of . For any ∈ , the set
: $ = { : ;: ; ∈ $}
is called a coset of $ determined by or a translate of / by . The set
{ : $ ∶ ∈ X}
Of all cosets of $ in is a linear space under addition and scalar multiplication defined by
: $ : ; : $ = : ; : $, , ; ∈
And ! : $# = : $, ∈ , ∈ >,
This set of cosets of $ in is called a quotient space of by $ and is denoted by /$.
For any subspace $ of a linear space , the dimension of /$ is called the deficiency of $.
Keywords
Subspace
Basis
Dimmension
Finite dimension normed space
Quotient space
Dual space
Completeness
Norm
Self Assessment
1: What is normed space?
6: Which of the following conditions ensures the completeness of the quotient space?
7: Two norms ‖. ‖ and ‖. ‖ on a normed linear space are equivalent, then there exists
positive constants α and β such that:
10: Which of the following is a necessary condition for the quotient space to be finite-
dimensional?
11: Which of the following statements is true about a subspace of a normed linear space?
12: Let V be a normed linear space and W be a subspace of V. Which of the following statements
is true about the dimension of W?
Functional Analysis
A. The space of all linear transformations from the given space to its scalar field .
B. The space of all linear functionals from the given space to its scalar field.
C. The space of all continuous linear transformations from the given space to its scalar field
D. The space of all continuous linear functionals from the given space to its scalar field.
14: Which of the following statements is true about the dual space of a normed linear space?
15: Which of the following statements is true regarding the completeness of the dual space of a
normed linear space?
6. C 7. A 8. A 9. B 10. C
Review Questions
1. Define a normed space and give an example of a finite dimensional normed space.
2. Define subspace of a normed space.
3. Is the Zero subspace always a proper subspace.
4. Define Quotient space of a normed linear space.
5. State the definition of equivalent norms.
6. Give an example of two norms that are equivalent.
7. Define dual space of a normed linear space.
Further Readings
Introductory Functional Analysis With Applications By Erwin Kreyszig.
Objectives
After studying this unit, you will be able to understand:
Introduction
In this chapter, We introduce the idea of bounded and continuous linear operators. The study of
bounded and continuous linear operators serves as a powerful tool to analyze and understand the
behavior of functions between normed vector spaces. Further, we also discuss kernel or null space
of a linear operator , norm of a linear operator and the space of bounded linear operators. Finally
we discuss linear functional and the Compactness and finite dimensional space.
role in functional analysis, as they provide a way to study the relationship between vector spaces,
mathematical objects in a functional-analytic setting.
Before defining a bounded linear operator , we recall some definitions and results.
be normed spaces over a field . We say that : → is a linear operator
∀ , ∈ λ λ ∀ ∈ and λ ∈ .
Definition. Let and
if is linear (that is
Example. Let be any normed space, then the identity function : → defined by :
, ∈
Is a linear operator .
Here for λ , λ ∈ and , ∈ ,
λ λ λ λ
λ λ .
Example. Let & be the space of all analytic functions over and ': & → & be defined by:
' (, ∈ & and ( is the derivative of . Then ' is a linear operator.
Example. Consider the linear space ) of all polynomials * with real coefficients defined
on 0,1 , then the mapping ' defined by ' * , is a linear operator from ) into itself.
,-
,#
4
; ;
/ ‖<‖
, i,e / ‖<‖
and ‖ 4 /‖ = = 5 δ,
; ;
‖<‖
Then, using the linearity of
δ
we have
‖ 4 /‖ ‖ 4 ‖ > ? A>
/
2‖ ‖
‖ ‖5ϵ
;
‖<‖
‖ ‖5 ‖ ‖
B
;
So that,
5 :‖ ‖, :
B
;
.
Hence is bounded.
Alternatively, suppose that is continuous but not bounded. Then for each natural number n ,
‖ 8‖ ‖ 8 ‖.
there is an in , such that
1
Let 8 8‖#C ‖ 8
Then ‖ 8‖ ‖ 8‖
8‖#C ‖
1 1
8‖#C ‖
8‖#C ‖
Now ‖ 8 ‖ ‖ 8‖ → 0 as → ∞.
8‖#C ‖ 8
‖ 8‖ →0 ⇒‖ 8‖
By continuity of ,
→0
But ‖ 8‖ ≥ 1 ∀ , a contradiction . Hence is bounded.
is bounded . Then there is a real number : 1 0 such that
‖ ‖ ≤:‖ ‖∀
Conversely suppose that
∈ .
So, for any ϵ 1 0, choose δ
B
G
. Then
‖ 4 /‖ 5 δ ⇒‖ 4 /‖ ‖ 4 / ‖
≤:‖ 4 /‖
5 ϵ.
Hence is continuous.
(b) Suppose that is continuous on , then it is continuous on 0 ∈ .
Coversely suppose that is continuous at 0 ∈ . Then, with / 0, given any ϵ 1 0, there is a
δ 1 0 such that
∀ ∈ ,‖ 4 /‖ ‖ ‖ 5δ⇒‖ 4 /‖ ‖ ‖ 5 ϵ.
/ ∈ ,
‖ 4 /‖ ≤ δ ⇒‖ /‖ ‖ ‖5 ϵ
Hence, for any
4 4 /
By the continuity of ,
0 lim8→L 8 .
Hence ∈ :. and :. is closed.
‖ ‖≤:‖ ‖∀ ∈
≠ 0.Then ≤:∀ ∈ , ≠ 0.
‖N#‖
‖#‖
Suppose that
denoted by ‖ ‖. Thus
‖ ‖ OP*
‖N#‖
#Q/∈# ‖#‖
.
{0}, then ‖ ‖ 0.
It is clear from definition of ‖ ‖, ‖ ‖ ≥ 0 and ‖ ‖ 0 if and only if ‖ ‖
Note:- If
0∀ ∈ , that is 0.
‖ ‖ ≤ ‖ ‖‖ ‖ ∀
Note:- We have another relation for a bounded linear operator namely
∈ .
As we have ‖ ‖ OP* ≤:
‖N#‖
#Q/∈# ‖#‖
≤‖ ‖∀ ≠0 ∈
‖N#‖
‖#‖
Also by definition of supremum,
This gives ‖ ‖ ≤ ‖ ‖‖ ‖∀ ≠ 0 ∈
Because of various equivalent forms of norms of a linear operator yields the following definition of
is bounded as ‖ ‖ OP* 1.
‖Z # ‖ ‖#‖
#Q/∈W ‖#‖ ‖#‖
_ ` a` bc be .
cf
cU bU
And . , . , … .d and . , . ( (
, … .8( are basis of \] and \^ respectively is bounded.
As c ∑d
bU bc b, so that
8 8 d
‖_H‖ ‖h‖ `j c j ` k` bc bk
cU cU bU
8 d d
≤ ` a`| b m| . `| | e
cU bU bU
( By Minkowski’s Inequality)
8 d d
≤ n` `| b m| o . `j b j
cU bU bU
≤: ‖ ‖
where : ∑8cU ∑d
bU | b m| and ‖ ‖ ∑d
bU j b j
Hence ‖_H‖ ≤ :‖H‖.
Therefore _ is a bounded and hence a continuous linear operator .
Proof. Let be a finite dimensional normed space and let s . , . , … .8 be a basis of . Let
: → be a linear operator . For any ∈ ,
` b .b
bU
So that, by linearity of
` b .b
bU
Hence
8
‖ ‖ t` b .b t
bU
≤ `| b |‖ .b ‖
bU
≤ ∑8bU | b |, 8 ‖
OP*bU .b ‖…………….(2)
Also by (1) , there is a positive real number r such that
‖ ‖ ‖∑8bU b .b ‖ ≥ r ∑8bU | b |…………(3)
‖ ‖ ≥ r ∑8bU | b | ≥ c. ‖ ‖
v
b
I,e
‖ ‖≤ ‖ ‖
c
Or,
‖ ‖ ≤ k ‖ ‖, where : 1 0.
v
y
In particular , if : →
‖ 8‖ ≤ ‖ ‖8 .
is a linear operator , then
are bounded , then ‖ ‖, ‖ ‖ exists and are finite. Moreover, for any ∈
‖ ‖ ‖ ‖
Proof. Since ,
≤ ‖ ‖‖ ‖
≤ ‖ ‖‖ ‖‖ ‖
Hence ‖ ‖ ≤ ‖ ‖‖ ‖ ‖ ‖‖ ‖.
In particular, if : →
‖ 8‖ ≤ ‖ ‖8 .
is a linear operator , then by induction on , we have
‖ ‖ OP* ‖ ‖, ∈ .
normed space under the norm defined by
‖ #‖U
‖ #‖U
OP* ‖{ ‖
‖#‖U
≤ OP* ‖{ ‖ OP* ‖ ‖
‖#‖U ‖#‖U
≤ ‖{ ‖ ‖ ‖………….(1)
Hence { is a bounded linear operator and so is in s , .
It is easy to see that the commutative and associative laws of addition are satisfied in s , . The
function 0: → defined by:
0 0
Is linear and bounded. Also for any ∈s , ,
0 0
Next , for each ∈s , , the function 4 4 , ∈
Is linear and satisfies
4 0
Also ‖4 ‖ ‖ ‖
So 4 ∈s , . Hence s , is an additive abelian group .
Define the scaler multiplication in s , as
α α ;∀ ∈ , ∈s , , and α is scaler.
For , ∈ and , ∈
α α.
α
α α
α α
Also for any ∈ ,‖ ‖ 1
‖α ‖ OP*‖ α ‖
OP*‖α. T ‖
|α|OP*‖T ‖
‖α ‖ |α|‖T‖………….(2)
So that
Therefore, α ∈ s , . Thus s ,
, ‖T‖ ≥ 0
is a linear space.
∈s ,
And ‖T‖
Since, for any
0 if and only if 0 ………….(3)
Hence (1), (2) and (3) show that s , is a normed space.
In the next theorem we discuss properties of s , in relation to the properties of .
is a Banach space , then so is s ,
‖T‖ OP* ‖T ‖,
Theorem. Show that, if under the norm defined by
∈ , ∈s ,
‖#‖U
.
‖T† 4 ‖ 5 ϵ ∀x ∈ X, , ˆ ≥
That is ,
d /
8 α β α 8 β 8
8 α β Š‹ˆ 8 α β
8→L
Thus,
α Š‹ˆ 8 β Š‹ˆ 8
8→L 8→L
α βT•
Also letting ˆ → ∞ in (1) and using the continuity of norm function, we have
‖ ‖ ‖: ≠ 0 ∈
That is ,
8 4 OP *‖ 8 4 ≤ ϵ∀n ≥ n/
Hence 8 4 ∈s , . But then
Over to , where is or and is itself a normed space under the usual norm defined by on
or .
Thus a function : → is said to be linear functional if, for any , ∈ and α, β ∈
α β αf x βf y .
A linear functional : → is said to be continuous at a point / ∈ , if fgiven ϵ 1 0, there is a real
number δ 1 0 such that
‖ 4 /‖ 5 δ implies | 4 / |5ϵ∀ ∈ .
is said to be continuous on , if is continuous at every point of .
is said to be bounded if there is a real number : ≥ 0 such that
| | ≤ k‖ ‖, ∀ ∈ .
: →
| |
As in the case of linear operators we define the norm of a linear by :
‖ ‖ OP* • : ≠0 ∈ ‘
‖ ‖
is a bounded linear functional , so that ‖ ‖ ≤ :, then
| | ≤ ‖ ‖‖ ‖, ∀ ∈ .
Then , if
It is now easy to establish the following equivalent forms of the norm of a linear functional :
| |
‖ ‖ OP* • : ≠0 ∈ ‘
‖ ‖
OP* ’ : || || ≤ 1 ∈ ”
|“ # |
‖#‖
OP*{| |: || || 1∈ }
Theorem. Let : → be a linear functional . Then:
(i) is continuous if and only if is bounded.
(ii) is continuous on if and only if it is continuous at 0 ∈ .
For a linear functional : → , the kernel or null space denoted by &. is defined by:
&. { ∈ : 0}
and is a subspace of .
Proof. The proof of this theorem is same as in the case of linear operators.
8
Example. Let be the n-dimmensional real normed space with with the norm defined
by :
8
‖H‖ •`| b | , H , ,…, 8 ∈ 8
bU
– ` b b , ∈ 8
bU
8 8
| $ H | ≤ •` | b | . •` | b |
bU bU
≤ ‖ ‖‖ ‖, ∈ 8
8.
$
‖ $ ‖ ≤ ‖ ‖………..(1)
Hence is a bounded and hence a continuous linear functional on Also
$ `| b | ‖ ‖
bU
‖ $‖ OP* ≥ ‖ ‖………..(2)
|“— # | “— $
#Q/ ‖#‖ ‖$‖
So that
‖ $‖ ‖ ‖.
Example. For the space , of all real continuous functions from , → with the
sup norm ,define a function : , → by :
˜
! " "
$
≤ b4a ‖ ‖
‖ ‖≤
Hence,
4
" 1∀ " ∈ ,
………..(3)
Also, taking / , we get
‖ ‖ OP* ≥ 4 ………..(4)
|Z “ | Z “œ
“Q/ ‖“‖ ‖“œ ‖
‖ ‖
From (3) and (4) we get
4 .
Example. Let r be the space of all convergent real sequences { 8 }. Let : r → be defined
Š‹ˆ 8
8→L
by
‖ ‖
Then is a bounded linear functional with
1
The term compact is suggested by the definition . The older term “completely continuous “ can be
motivated by the following lemma, which shows that a compact linear operator is continuous ,
where as the converse is not generally true.
Before proving the lemma, we first note the following .
A compact subset • of a metric space is closed and bounded .
{ ∈ : ‖ ‖ ≤ 1}
I.
II. If a normed space has the property that the closed unit ball •
sup ‖ ‖5 ∞
Is compact and is bounded by (I), so that
‖#‖U
We now prove tha compactness criteria for operators in the following theorem.
Theorem. Let and be normed spaces and : → a linear operator .Then is compact if and
only if it maps every bounded sequence { 8 } in onto a sequence { 8 } in which has a
convergent subsequence.
Proof. If T is compact and {x† } is bounded, then the closure of {T 8} in Y is compact and shows that
{T 8 } contains a convergent subsequence.
Conversely, assume that every bounded sequence {x† } contains a subsequence {x† ¢ }
such that {Tx†£ } converges in Y. Consider any bounded subset B ⊂ X, and let {y† } be any sequence
in T B . Then y† T 8 for some 8 ∈ B , and { 8 } is bounded since s is bounded. By assumption,
{T 8 } contains a convergent subsequence. Hence žžžžžžž
T B is compact because {y† } in T B was
arbitrary, by definition, this shows that is compact.
Next, we study the compactness of finite dimensional linear operator. Prior to that, we recall the
following results.
, any subset • ⊂
and only if • is closed and bounded.
Result 1. ( Compactness) In a finite dimensional normed space is compact if
Result 2. If a normed space is finite dimensional, then every linear operator on is bounded.
Result 3. Let be a linear operator . Then, if ‹ˆ ' 5 ∞, then ‹ˆ ≤ .
Theorem. ( Finite dimensional domain or range) Let and be normed spaces and : →
be a linear operator. Then:
(a) If is bounded and ‹ˆ 5 ∞, the operator is compact.
(b) ‹ˆ 5 ∞, the operator is compact.
Proof. Let { 8} be any bounded sequence in . Then
Summary
be normed spaces over a field . We say that : →
∀ , ∈ λ λ ∀ ∈ and λ ∈ .
Let and is a linear operator if is
, ∈
is a linear operator .
For any linear spaces , , the function 0: → defined by:
0 0, ∈
is a linear operator.
Zero operator is also called null operator or trivial operator.
, , define a function : , → ,
In the space by:
#
! " ", ∈ , .
$
∀ ∈ ,‖ 4 /‖ 5 δ⇒‖ 4 /‖ 5 ϵ.
is said to be continuous on if it is continuous at every point of .
A linear operator : → is said to be bounded if there is a constant : 1 0 such that
‖ ‖ 5 :‖ ‖∀ ∈ .
‖ ‖≤:‖ ‖∀ ∈
≠ 0.Then ≤:∀ ∈ , ≠ 0.
‖N#‖
‖#‖
Suppose that
is denoted by ‖ ‖. Thus
‖ ‖ OP*
‖N#‖
#Q/∈# ‖#‖
.
‖_‖ p∑8cU ∑d
bU | b m| is called the norm of matrix operator _.
‖ ‖‖ ‖ ‖ ‖‖ ‖.
if and
The space s , of all bounded (hence continuous) linear operators from to is a normed
‖ ‖ OP* ‖ ‖, ∈ .
space under the norm defined by
‖ #‖U
‖#‖U
.
‖ 4 /‖ 5 δ implies | 4 / |5ϵ∀ ∈ .
Let and be normed spaces . An operator : → is called a compact linear operator (or
is linear and if for every bounded subset • of ,
Keywords
Bounded linear operator
Continuous linear operator
Null space of a linear operator
Norm
Closed
Compact
Finite dimmensional
Self Assessment
A. ‖T ‖ ≤ ‖T‖. ‖ ‖
1: If T is a bounded linear operator, then:
B. ‖T ‖ ≥ ‖T‖. ‖ ‖
C. ‖T ‖ ‖T‖. ‖ ‖
D. None of the above
A. The set of all inputs for which the linear operator is not defined.
B. The set of all inputs that map to the zero vector under the linear operator.
C. The set of all outputs for which the linear operator is not defined.
D. The set of all outputs that map to the zero vector under the linear operator.
5: Which property holds true for the norm of a linear operator with respect to scalar
multiplication.
A. ‖: ‖ :‖ ‖
B. ‖: ‖ ‖ ‖
G
C. ‖: ‖ : ‖ ‖
D. ‖: ‖ |:|‖ ‖
6: Which of the following statements is true regarding compactness in a normed linear space?
7: Which of the following statements about the norm of a linear operator is true?
9: If and are normed spaces, then the space of bounded linear operators s , is a Banach
space if and only if:
A. is a Banach space.
B. is a Banach space.
C. Both and are Banach spaces.
D. Both and are finite dimensional spaces.
10: If E is a normed space and if is the metric induced by the norm, then for any scalar
:, : ,: equals
,
B. |:| ,
A.
C. : ,
D. : ,
11: Let be a normed space and be a bounded, non-zero linear functional on . Then, which
of the following is not true?
A. is onto.
C. &.
B. is continuous
is a close subspace of .
D. is an open map.
A. finite
B. open
C. closed
D. None of the above
‹ˆ ˆ _
15: Rank of a linear operator A equals:
‹ˆ &. _
A.
‹ˆ ˆ_∗
B.
‹ˆ &. _∗
C.
D.
6. A 7. D 8. A 9. B 10. B
Review Questions
1. What is a linear operator between two normed spaces?
2. Define a bounded linear operator between normed spaces.
3. What is kernel or null space of a linear operator.
Further Readings
Introductory Functional Analysis With Applications By Erwin Kreyszig.
Functional Analysis By Walter Ruddin, Mcgraw Hill Education.
J. B Conway, A Course In Functional Analysis.
C. Goffman G Pedrick, A First Course In Functional Analysis.
B.V. Limaya, Functional Analysis
Objectives
After studying this unit, you will be able to understand:
Conjugate of an operator
Convex functional
The Hahn- Banach theorem for Real spaces
The Hahn- Banach theorem for complex spaces
The Hahn- Banach theorem for normed spaces
Introduction
In this chapter, we introduce the idea of conjugate of an operator. Further , we also discuss convex
functional . Finally we discuss different forms of Hahn- Banach theorem and its consequences.
The operator , defined by (1) or (2), is called the conjugate (or sometimes, the adjoint ) of the
linear operator .
We now discuss some properties of .
I. is linear:
For this, let , ∈ ∗ and α , α ∈ .Then
+ = + , ∈
= +
= +
= . + .
=α +
= + ,∀ ∈ .
Hence,
+ = + …………..(3)
II. is bounded . Here, for any ∈ Y∗ and ∈ ,
‖ ‖= ‖ ‖= ‖ ‖
‖!‖" ‖!‖" ‖ #‖$%
= ‖ ‖
‖!‖" ‖ #‖$%
≤‖ ‖ ‖ ‖
‖'‖"
≤ ‖ ‖,‖ ‖≤1
‖'‖"
≤ ‖ ‖ …………..(4)
Hence is bounded.
III. The mapping ϕ: B X, Y → B Y ∗ , X ∗ defined by
ϕ =
Is an isometry.
IV. If = then - preserves identity and reverses products.
That is :
ϕ . = . and - =
Here . is the identity mapping defined on .
Let / be a linear space and is the field of real or complex numbers . A functional
:/ → is said to be finite , if is finite for all ∈ /.
A functional : / → is said to be convex functional (or seminorm) if:
(i) 00∀ ∈ /,
(ii) 2 =2 ∀ ∈ / and real 2 0 0 (positive homogeneous property),
(iii) +3 ≤ + 3 ∀ , 3 ∈ / (sub- additive property).
Example. The norm function ‖. ‖: / → , where / is the normed space, is a convex functional.
A linear functional defined on / is called an extension of a linear functional 4 defined on a
subspace 5 of / if
= 4 ∀ ∈ 5.
4 ≤p x ∀ ∈5 ………..(1)
Then 4 can be extended to a linear functional defined on / such that
≤ ∀ ∈/
Proof. For 5 = V the result is trivial, so we suppose that 5 : V .
Step I:
We first prove that 4 can be extended onto a large subspace without violating condition (1).
Let ; ∈ /\5 and put
/ = = + α;: ∈ 5, α ∈ 6>.
Then / is a subspace of / and contains 5 properly.
That is, 5 ⊂ / ⊆ /.
Define a function : / → 6 by ;
+ α; = 4 +α ;
= 4 + αc, c = ; ………..(2)
4 + αB ≤ + α;
' '
i,e 4 CDE +B ≤ C + ;E
D
' '
i,e B≤ C + ;E F 4 CDE ………..(3)
D
if α G 0, and
1 F
4C E + B 0 FH I + α; = F C E
α Fα αF;
J' '
B0F C EF 4 CD E ………..(4)
DJK
if α < 0.
Now for any two arbitrary points 3 , 3 of 5, we have
4 3 F 4 3 = 4 3 F3 ≤ 3 F3
≤ 3 +;F 3 +;
≤ 3 + ; + F3 F ;
≤ 3 +; + F3 F ;
Hence
F 4 3 F F3 F ; ≤ 3 +; F 4 3 ………..(5)
Put B = =F 4 3 F F3 F ; >
M∈N
B = OP = 3 + ; F 4 3 >
M∈N
Then B ≤ B
By (5) and the fact that 3 , 3 are arbitrary.
Now choose a B such that
B ≤c≤B
Then, for this value of B, the linear functional defined on / by (2) satisfies the condition that
≤ ∀ ∈ / ………..(6)
as condition (3) and (4) are satisfied . Hence is an extension of 4 to a subspace / containing 5
properly and satisfying condition (1).
Step II.
Now suppose that /, as a linear space is generated by a countable set of elements , , Q , … S , …,
And
∗ = ∀ ∈T
4 4
(ii) For ̅
∈ T\ ],
̅ =U ∀ ∈ T U , U ∈ W.
It is clear that ̅ is a linear extension of 4 and
̅ ≤ ∀ ∈ T\ ]̅ .
So ̅ ∈ and is an upper bound for W. By Zorn’s lemma, has a maximal element which is
an extension of 4 and
≤ ∀ ∈T .
We claim that T = /, otherwise let ; ∈ /\T .
Then as in step I , there is an extension of to T , ;, contracdicting the maximality of .
Hence is the required extension of 4. This proves the theorem completely.
Before discussing the complex version of the Hahn-Banach theorem we need the following
concept.
A functional defined on a complex linear space / is said to be convex if:
(i) 0 0 ∀ ∈ /,
(ii) =| | ∀ α ∈ C and ∈ /,
(iii) +3 ≤ + 3 ∀ , 3 ∈ /.
Theorem. (Hahn-Banach theorem for complex space)
Let be a finite convex functional defined on a complex linear space / and let 5 be a
subspace of /. Let 4 be alinear functional defined on 5 satisfying the condition:
| 4 |≤ ∀ ∈ 5 ……..(1)
Then 4 can be extended to a linear functional on / such that
| |≤ ∀ ∈/
Proof. Since / is a complex linear space, for each ` ∈ / and α = α + Oα ∈ W, α` ∈ /.
If we restrict the scalers to real numbers only then / is a real vector space . Denote this
space by /a = / and the correspondind subspace by 5a = 5 . Clearly is a finite
convex functional defined on /a while 4 given by:
4 =real part of 4 , ∈ 5a
Is a real linear functional on 5a . Hence, by the Hahn-Banach theorem for real spaces, there is a
linear extension defined on all /a satisfying the condition:
≤ ∀ ∈ /a = / ……..(2)
and = 4 ∀ ∈ 5a = 5
Also, F = F ≤ F = |F1| =
Thus 0F ∀ ∈ /a ……..(3)
From (2) and (3), we obtain
| |≤ ∀ ∈ /a ……..(4)
Now we consider 4 as a linear functional on the complex space 5. So
4 = 4 +O 4 ……..(5)
Since 4 is linear on 5,
O 4 = 4 O = 4 O +O 4 O ……..(6)
Multiplying (5 ) by O, we obtain
O 4 =F 4 +O 4 ……..(7)
Comparing (6) and (7), we have
4 = F 4 O
Hence
4 = 4 FO 4 O ……..(8)
If bc denotes the linear extension of 4 to the whole of /, as a real linear space , then
put
= FO O ……..(9)
We show that the function defined by (9) is the required linear extension of 4
And α = \ α + Oα ]
= α +α O
= α + α O
= α FO α O + α O FO Fα
=α F Oα O +α O + Oα
=α FO O + Oα FO O
= α + Oα FO O
=α ∀ , 3 ∈ / and α ∈ W.
Hence is a linear extension of 4.
4 = ρefg , ρ G 0
If we put
34 = h Jig 4
34 = 6h 34 = 6h Ch Jig 4 E
= ρ G p x 4 = p y4
Which contradicts (4). Hence
| |≤ ∀ ∈ /.
This completes the proof of the theorem.
Theorem. (The Hahn- Banach Theorem for normed spaces).
Let / be a normed space and 5 be a subspace of /. Let 4 be a bounded linear functional on 5 with
norm ‖ 4 ‖. Then 4 has a continuous linear extension defined on / such that
‖ ‖ = ‖ 4 ‖.
+ 3 = ‖ 4 ‖‖ + 3‖
≤ ‖ 4 ‖ ‖ ‖ + ‖3‖
≤ ‖ 4 ‖ ‖ ‖ + ‖ 4 ‖‖3‖
≤ + 3 .
Also | 4 | ≤ ‖ 4 ‖‖ ‖
≤ .
Thus, by the complex version of Hahn-Banach Theorem, there is a linear functional defined on /
such that
| | ≤ p x = ‖ 4 ‖‖ ‖ ∀ ∈/
And = 4 ∀ ∈5 ………..(1)
From (1), we have
‖ ‖ ≤ ‖ 4‖ ………..(2)
|! ' | n!o n
Also ‖ ‖ = ‖'‖
0 ‖'‖
#
= ‖ 4 ‖ ………..(3)
'k4#∈l 'k4#∈m
4 3 = 4 2 4 = 2‖ 4 ‖, 3 = 2 4 ∈ ,2 ∈ ………..(1)
Then 4 is linear because for 3 = 2 4 and 3 = 2 4 in and α, α ∈ , we have
4 α3 + α 3 = 4 αa + α 2 4
= αa + α 2 ‖ 4 ‖ by (1)
= αa‖ 4 ‖ + α 2 ‖ 4 ‖
=α 4 3 +α 4 3
!o M |t|‖'o ‖
Also ‖ 4 ‖ = ‖M‖
= = 1, as 3 : 0 so that 2 : 0
Mk4q∈r D∈s |t|‖'o ‖
So u is a bounded linear functional defined on . By the Hahn- Banach theorem for normed spaces
, there is a linear extension of 4 to such that
‖ ‖=‖ 4 ‖ = 1, 3 = 4 3 = 2‖ 4 ‖, 3 = 2 4 ∈
Summary
Let / be a linear space and is the field of real or complex numbers . A functional : / →
is said to be finite , if is finite for all ∈ /.
A functional : / → is said to be convex functional if:
(i) 00∀ ∈ /,
(ii) 2 =2 ∀ ∈ / and real 2 0 0 .
(iii) +3 ≤ + 3 ∀ , 3 ∈ /.
A linear functional defined on / is called an extension of a linear functional 4 defined on a
subspace 5 of / if
= 4 ∀ ∈ 5.
(Hahn- Banach theorem for Real spaces)
Let be a finite convex functional defined on a real vector space / and let 5 be a subspace of /.
Let 4: 5 → 6 be a linear functional such that
4 ≤p x ∀ ∈5
Then 4 can be extended to a linear functional defined on / such that
≤ ∀ ∈ /.
(Hahn- Banach theorem for Complex spaces)
Let be a finite convex functional defined on a complex linear space / and let 5 be a subspace
of /. Let 4 be alinear functional defined on 5 satisfying the condition:
| 4 |≤ ∀ ∈5
Then 4 can be extended to a linear functional on / such that
| |≤ ∀ ∈/
Keywords
Conjugate
Bounded linear operator
Subspace
Convex functional
Linear functional
Seminorm
Maximality
Self Assessment
1: In the context of normed spaces, what is the conjugate of a bounded linear operator?
2: For a bounded linear operator on a normed space , the operator's conjugate, denoted
by , satisfies which property?
A. = ..
B. = .
C. =F .
D. None of the above.
3: Consider two normed spaces and , and let : → be a bounded linear operator. Which
of the following statements is false?
A. Compact.
B. Open.
C. has a non zero adjoint.
D. None of these.
∗
11: For any normed space , the dual space is:
A. Always a Banach space.
B. Always a compact set.
C. Always finite dimensional.
D. Always an infinite dimensional.
13: Let / be a linear space and is the field of real or complex numbers . A functional : / →
is said to be finite
A. 00∀ ∈ /,
B. 2 =2 ∀ ∈ / and real 2 0 0
C. +3 ≤ + 3 ∀ ,3 ∈ /
D. All of the above are true.
15: For what type of normed spaces does the Hahn-Banach theorem always hold?
6. B 7. A 8. A 9. C 10. B
Review Questions
1. Define conjugate of an operator.
2. Define Convex functional.
3. State Hahn-Banach theorem for real spaces.
4. State Hahn- Banach theorem in Complex form.
5. State Hahn- Banach theorem for normed spaces.
Further Readings
Introductory Functional Analysis With Applications By Erwin Kreyszig.
Functional Analysis By Walter Ruddin, Mcgraw Hill Education.
J. B Conway, A Course In Functional Analysis.
C. Goffman G Pedrick, A First Course In Functional Analysis.
B.V. Limaya, Functional Analysis.
Objectives
After studying this unit, you will be able to understand:
Reflexive Spaces
Baire’s Category theorem
Uniform Boundedness Principle
Introduction
In this chapter, we discuss about Reflexive spaces . Further , we also recall some definitions like
first category, Second Category and discuss Baire’s Category theorem. Finally, we have proved
Uniform Boundedness Principle.
Example. Consider the set # of rationals as a subset of a real line . Let ∈ # , then $%& = $% &
because ' ( $%& = (∞, % ∪ %, ∞ is open. Clearly $% } contain no open ball. Hence # is nowhere
dense in ' as well as in # . Also since # is countable, it is the countable union of subsets
{ %&: % ∈ # .
Thus + is of the first category.
Now we prove the main theorem.
Theorem. ( Baire’s Category Theorem). If a metric space , - is complete then it is non-meager
in itself. Hence if , - is complete and
=∪./ "., ". is closed ……………..(1)
Then atleast one ". contains a nonempty open subset.
(Or)
A complete metric space is of second category.
Proof. Let 0 be a complete metric space. We show that for countable collection $"1 : ∈ 2& of
nowhere dense subsets, is their union . That is, there is a point of which is not in ∪1∈3 "1 .
Suppose, on the contrary that = ∪1∈3 "1 and each "1 is nowhere dense subset.
Since " is nowhere dense and is open with ( " 444 , ϕ, there is an open ball 5 Of radius 6
7
which is disjoint from " . Let 8 be a concentric closed ball of radius half of the radius of 5 . Since
"7 is nowhere dense , 8 contains an open ball 57 of radius 6 and disjoint from "7 . Let 87
9
be the concentric closed ball of radius half that of 57 .
Likewise, since ": is nowhere dense, 87 contains an open ball 5: of radius 6 and disjoint
;
from ": . Again choose a concentric closed ball 8: of radius half of the radius of 5: .
Continuing in this way, we obtain a decreasing sequence of concentric closed balls 81 of
diameter 6 < with each 81 disjoint from "1 . By cantors intersection theorem there is a unique
7 =
point ∈∩1∈3 81 and so also in but not in any of the set "1 . Thus
,∪1∈3 "1
Therefore is of the second category.
the completeness. Further, this theorem is derived from Baires Category theorem. The Principle of
Uniform Boundedness asserts that if a sequence of bounded linear operators ? ∈ 5 , @ where is
a Banach space and @ a normed space, is point wise bounded, then the sequence $?1 & is uniformly
bounded. In fact, it enables us to determine whether the norms of a given family of bounded linear
operators have a finite least upper bound.
Theorem.(Uniform boundedness Principle) Let be Banach space and @ a normed space. Let ?1
be a sequences of bounded linear opeartors from to @ such that, for each ∈ ,
$?1 ∶ ∈ 2& is a bounded subset of @. Then the sequence{ ‖?1 ‖& of norms of ?1 is also bounded.
Proof. Let C be any natural number and
D. = $ ∈ 2: ‖?1 ‖ ≤ C , = 1,2, … , &
Then D. is closed subset of . For if ∈ D. , then there is a sequence $ 1& in D. which converges to
. So ‖?1 1 ‖ ⇒ ‖?1 1 ‖ = J?1 1 J, as ‖. ‖ is continuous.
1→ 1→
= ‖?1 ‖ ≤ C
Hence ∈ D. , so D. = D.
Also, since each ∈ is in some D. for some natural number C.
⊆∪K/ D. ⊆ X
So that
=∪./ D. ………..(1)
Now is a Banach space so is complete. Hence by Baire’s Category theorem, atleast one of D. ′N, say
D.O , is not nowhere dense in . So D.O contains an open ball P , ϵ , that is
5 P, ϵ ⊆ D.O ………..(2)
Next, let 0 , x be any arbitrary point of . Take a point T
∈ , such that
T
= P + αx………..(3)
W
Where α = . ?ℎZ
7‖X‖
ϵ
‖ T
( P‖ = 6ϵ
2
So that T
∈5 P, ϵ ⊆ D.O . Hence
‖?1 [ ‖ ≤ CP …….(4)
Moreover,
‖?1 P‖ ≤ CP …….(5)
Hence, using (3), we have for all , = 1,2, … and all ∈ ,
?1 T( P 1
‖?1 ‖ = \ \= ‖? T ( ‖
α |α| 1 P
1
≤ ‖?1 T ‖ + ‖?1 P‖
|α|
7
≤ |^| CP
9.O
≤ ‖ ‖
W
Hence,
9.O
‖?1 ‖ = N_` ‖?1 ‖ ≤
∈a‖b‖cd W
Thus,
$‖?1 ‖& is bounded.
Theorem. Let be a normed space and e be a non empty subset of . Then e is bounded if and
only if e is bounded for each bounded linear functional defined on , i,e for each ∈ ∗ .
Proof. Suppose that e is bounded subset of normed space . Then, for some positive real number C,
‖ ‖≤C∀ ∈ e………..(1)
Since : → 8 is bounded , there is a positive real number C such that
| |≤k ‖ ‖ ∀ x∈S
≤C C ∀ x∈S
Hence, e is bounded.
Coversely suppose that , for each non-empty subset e of and ∈ X∗, e is bounded . That is
e_`$| |: ∈ e& 6 ∞.
Let ∗∗ be the second dual of and for each ∈ ,h : ∗ → 8 be defined by
h =
Then the mapping ϕ: → ∗∗
defined by:
ϕ =h , ∈
∗∗ .
is the natural embedding of in
To see that h is bounded for each ∈ we note that
|h |=| | ≤ ‖ ‖‖ ‖ ∀ ∈ 2 ∗
‖h ‖ ≤ ‖ ‖
So, for each ∈ there is an P ∈ ∗ such that
‖ P ‖=1 and P = ‖ ‖, (as proved in previous chapter corrolory of Hahn-
Banach theorem)
So ‖h ‖ = N_` |h | ≥ |h P |=| P |=‖ ‖
i∈j∗‖k‖ld
Hence,
‖h ‖ = ‖ ‖
Now , consider the subset
n = $h : ∈ e& of ∗∗ .
Now ∗
is complete so is a Banach space.
Also for each ∈ ∗,
Summary
Let be a Banach space and : → ∗∗ be the canonical injection from into ∗∗ given by
=- = ∀ ∈ , ∈ ∗.
A subset " of a metric space is said to be of the first category ( meager) if and only if "
can be covered by a countable union of its nowhere dense subsets. Otherwise " is said to
be of second category (Non- Meager).
A space is said to be of the first category if and only if as a subset of itself can be
written as a countable union of nowhere dense subsets. Otherwise is said to be of the
second category.
Let be Banach space and @ a normed space. Let ?1 be a sequences of bounded linear
opeartors from to @ such that, for each ∈ ,
$?1 ∶ ∈ 2& is a bounded subset of @. Then the sequence{ ‖?1 ‖& of norms of ?1 is also
bounded.
Keywords
Banach Space
Normed Space
Reflexive
Bounded
First Category
Second Category
Interior point
Linear functional
Self Assessment
1: Which of the following is true about Reflexive spaces.
A. is not reflexive.
B. is not separable.
C. Both (A) and (B).
A. A space is said to be of the first category if and only if as a subset of itself can be
written as a countable union of nowhere dense subsets.
7: Which of the following statements is not true regarding the Uniform Boundedness Principle?
6. A 7. B 8. C .
Review Questions
1. Define a reflexive space.
2. Give an example of a Banach space that is not reflexive.
3. What is the concept of a "meager" or "nowhere dense" set in the context of Baire's Category
Theorem?
Further Readings
Introductory Functional Analysis With Applications By Erwin Kreyszig.
Functional Analysis By Walter Ruddin, Mcgraw Hill Education.
J. B Conway, A Course In Functional Analysis.
C. Goffman G Pedrick, A First Course In Functional Analysis.
B.V. Limaya, Functional Analysis.
Objectives
After studying this unit, you will be able to understand:
Introduction
In the preceding chapters, we studied normed and Banach spaces. These spaces enjoy linear
properties as well as metric properties. Although the norm on a linear space generalizes the concept
of length of a vector, but the main geometric concept, missing in abstract normed and Banach
spaces, is the angle between two vectors. In fact these spaces are still too general to yield
a really rich theory of operators. In this chapter, we study linear spaces having an inner product, a
generalization of usual dot product on finite dimensional linear spaces. The concept of an inner
product on a linear space leads to an inner product space and a complete inner product space
(Hilbert Space) is a special type of normed space (Banach space) which possesses an additional
Structure of an inner product.
The theory of Hilbert spaces was initiated in 1912 by a German mathematician, David Hilbert
(1863–1943) in his work on quadratic forms in infinitely many variables, which he applied to the
theory of integral equations. Years later John Von Neumann (1903–1957) first formulated an
axiomatic theory of Hilbert spaces and developed the modern theory of operators. His remarkable
contribution to this area has provided the mathematical foundation of quantum mechanics. His
work provided a physical interpretation of quantum mechanics in terms of abstract relations in an
infinite dimensional Hilbert spaces.
⟨. , . ⟩ ∶ X
Definition. Let be a linear space over a field . An inner product in is a function
X→F
So that with each pair , in , a scalar to be denoted by ⟨ , ⟩ is associated satisfying the
conditions
(iii) ⟨α , ⟩ α⟨ , ⟩ ∀ , y, ∈ X and α ∈
(iv) ⟨ , ⟩ ⟨ , ⟩ ∀ , ,∈ X
Where ⟨ , ⟩ denotes the complex conjugate of ⟨ , ⟩.
The pair X, ⟨. , . ⟩ is called an inner product space.
‖ ‖ !⟨ , ⟩, for all ∈
Remark. An inner product on defines a norm on given by
" , ‖ # ‖ !⟨ # , # ⟩ ∀ x, y, ∈ X.
And a metric on given by
Hence inner product spaces are normed spaces, and Hilbert spaces are Banach spaces.
⟨ , αy⟩ ⟨αy, ⟩ α⟨ y, ⟩
As
&⟨ , ⟩
α ⟨ , y⟩.
(c) ⟨ , αy βz⟩ α⟨ , y⟩ β⟨ , z⟩
Remark. If is a real inner product space , then
⟨ , y⟩ ⟨ y, ⟩ ∀ , y ∈ X.
*, +, … , - *, +, … , -
Example:
,
and defined by
. / ∑n
i 1 1 1
is an inner product space.
and defined by
∞
. , / 5 1 1
i 1
is an inner product space.
|⟨ , ⟩| ≤ !⟨ , ⟩. !⟨ , ⟩ ∀ x, y ∈ X………... (1)
⟨ ,=⟩ ⟨ ,=⟩
Choose α ⟨= ,=⟩
, we have <
α ⟨= ,=⟩
, ⟨ , ⟩ # , ,
⟨?, ⟩ ⟨?, ⟩ |⟨ ,=⟩|>
⟨ ⟩- . ⟨ ⟩ ⟨ ⟩ 0
⟨ , ⟩ ⟨ , ⟩ |⟨= ,=⟩|>
, ⟩|2
, ⟩#
|⟨
,
⟹⟨ 0
⟨ ⟩
, ⟩|2
, 〉
|⟨
,
⟹ ≤ .
⟨ ⟩
⟹ |⟨ , ⟩|2 ≤ ⟨ , ⟩⟨ , 〉
⟹ |⟨ , ⟩| ≤ !⟨ , ⟩. !⟨ , ⟩
, , ,
From (2), we have
|⟨ ⟩| ≤ !⟨ ⟩. !⟨ ⟩ iff ⟨ #α , #α ⟩ 0
iff #α 0
iff α
!⟨ , ⟩ ≤ !⟨ , ⟩ !⟨ , ⟩
Proof. We can write
⟨ , ⟩ ⟨ , ⟩ ⟨ , ⟩ ⟨ , +⟨ , 〉
⟨ , ⟩ ⟨ , ⟩ ⟨ , ⟩+⟨ , 〉
⟨ , ⟩ 2Re⟨ , ⟩ ⟨ , 〉
≤⟨ , ⟩ 2|⟨ , ⟩| ⟨ , 〉
≤⟨ , ⟩ 2C!⟨ , ⟩. !⟨ , ⟩D ⟨ , 〉
+
E!⟨ , ⟩ !⟨ , ⟩F
+
⟹⟨ , ⟩ ≤ E!⟨ , ⟩ !⟨ , ⟩F
!⟨ , ⟩ ≤ !⟨ , ⟩ !⟨ , ⟩.
In order to show that ‖ ‖ !⟨ , ⟩ defines a norm on the inner product space X, we need to show
that it satisfies all the conditions of a norm.
Also ‖ ‖ !⟨ , ⟩ ⇒ ‖ ‖+ ⟨ , ⟩ 0 iff x 0
⇒‖ ‖+ 0 iff x 0 ; i.e. ‖ ‖ 0 iff x 0
(ii) By definition,
‖α ‖ !⟨α , α ⟩
⇒ ‖ α ‖+ ⟨α , α ⟩
<⟨ , 〉
αα
|α|+ ‖ ‖+
⇒‖α ‖ |α|‖ ‖
(iii) For x, y ∈ , we have
‖ ‖+ ⟨ , ⟩
⟨ , ⟩ ⟨ , ⟩ ⟨ , 〉+⟨ , 〉
‖ ‖+ ⟨ , ⟩ ⟨ , ⟩+‖ ‖+
‖ ‖+ 2 H⟨ , ⟩ ‖ ‖+
≤ ‖ ‖+ 2|⟨ , ⟩| ‖ ‖+
≤ ‖ ‖+ 2‖ ‖. ‖ ‖ ‖ ‖+
≤ ‖ ‖ ‖ ‖ +
Hence
‖ ‖ ‖ ‖ ≤‖ ‖ ‖ ‖
We see that all the conditions of a norm are satisfied .Thus ‖ ‖ !⟨ , ⟩ is a norm on X and hence
X, ‖ . ‖ is a norm linear space.
Remark. The Schwarz inequality can now be written in the form
|⟨ , ⟩| ≤ ‖ ‖‖ ‖.
Polarization Identity
If X is an inner product space, then for , y in X, we have
J
5 1I ‖ 1 I ‖+ 4⟨ , ⟩.
IKL
Proof. We have
J
5 1I ‖ 1 I ‖+ ‖ ‖+ # ‖ # ‖+ 1‖ 1 ‖+ # 1‖ # 1 ‖+
IKL
⟨ , ⟩#⟨ # , # ⟩ i⟨ 1 , 1 ⟩ # 1⟨ # 1 , # 1 ⟩
=⟨ , ⟩ ⟨ , ⟩ ⟨ , ⟩ ⟨ , ⟩ # N⟨ , ⟩ # ⟨ , ⟩ # ⟨ , ⟩ ⟨ , ⟩O
1N⟨ , ⟩ ⟨ ,1 ⟩ ⟨1 , ⟩ ⟨1 , 1 ⟩O # 1N⟨ , ⟩ # ⟨ , 1 ⟩ # ⟨1 , ⟩ ⟨1 , 1 ⟩O
⟨ , ⟩ ⟨ , ⟩ ⟨ , ⟩ ⟨ , ⟩#⟨ , ⟩ ⟨ , ⟩ ⟨ , ⟩#⟨ , ⟩
1⟨ , ⟩ 1⟨ , 1 ⟩ 1⟨1 , ⟩ 1⟨1 , 1 ⟩ # 1⟨ , ⟩ 1⟨ , 1 ⟩ 1⟨1 , ⟩ # 1⟨1 , 1 ⟩
2⟨ , ⟩ 2⟨ , ⟩ 21⟨ , 1 ⟩ 21⟨1 , ⟩
2⟨ , ⟩ 2⟨ , ⟩ 21P̅⟨ , ⟩ # 21P̅⟨ , ⟩
2⟨ , ⟩ 2⟨ , ⟩ 2⟨ , ⟩ # 2⟨ , ⟩
4⟨ , ⟩
Hence
J
5 1I ‖ 1 I ‖+ 4⟨ , ⟩.
IKL
Remark. If is a real inner product space, then the polarization identity becomes:
4⟨ , ⟩ ‖ ‖+ # ‖ # ‖+ for , ∈ .
The Schwarz inequality is quite important and will be used in proofs over and over again .
Another frequently used property is the continuity of inner product.
Proof. For any natural number ), we have from definition of inner product spaces
|〈 - , - 〉# 〈 , 〉| |〈 - , - 〉# 〈 -, 〉 〈 -, 〉# 〈 , 〉|
|〈 -, - # 〉 〈 - # , 〉|
≤ |〈 -, - # 〉| |〈 - # , 〉|
≤‖ -‖ ‖ - # ‖ ‖ - # ‖ ‖ ‖
(by Cauchy Schwarz Inequality)
Thus, if - → , - → then { -} is bounded and
‖ - # ‖ → 0, ‖ - # ‖ → 0 as ) → ∞
So that
|〈 - , - 〉# 〈 , 〉| → 0 as ) → ∞
Hence
〈 - , - 〉→ 〈 , 〉.
Theorem. . Let be any inner product space and if { - } , { - } are Cauchy sequences in , then
〈 - , - 〉is a convergent sequence in , where .
Proof. Suppose that { -} , { - } are Cauchy sequences in . Then for all natural numbers U, ) we
have
‖ - # V‖ →0,‖ - # V‖ → 0 as U, ) → ∞
|〈 - , - 〉# 〈 V , V 〉| - , - 〉# 〈 -, V〉 〈 - , V 〉# 〈 V , V 〉|
Hence , as above ,
|〈
|〈 -, - # V〉 〈 - # V , V 〉|
≤ |〈 -, - # V 〉| |〈 - # V , V 〉|
≤‖ -‖ ‖ - # ‖ ‖ - # ‖ ‖ ‖
(by Cauchy Schwarz Inequality)
U, ) → ∞. Hence
Since every Cauchy sequence is bounded, the right hand side of above equation tends to 0 as
⟨ , ⟩ ‖ ‖+ ∑-WK*| W |+ .
Example: Show that the Euclidean space is a Hilbert space with inner product defined by
Solution:- Let { { }X
WK* , then for any Y Z 0 there
- -
-} be a Cauchy sequence in where - W
‖ - # V‖ !⟨ - # V, - # V⟩ \ ϵ ; ∀m, n nL
∞
⇒ `5 | 1 # 1 | \ ϵ ; ∀m, n
) U 2
nL
i 1
⇒| 1 # | \ ϵ ; ∀m, n
) U
1 nL
⇒ { 1 } is a Cauchy sequence in
)
1
)
→ xi ∈ R, then
there exists a natural number )1 ∈ [ such that | W # W| \
-
and since is complete therefore
ϵ
;∀n ni
√b
⇒| 1 # 1| \
) ϵ
;∀ n n*
!b
| -
# +| \
ϵ
+ ;∀n n2
√b
⋮ ⋮ ⋮
ϵ
| # -| \
-
; ∀n nn
√b
-
* , +, … , - ∈
If -.
then
Let )d Ue )* , )+ , … , nf then for the above expression we have
-
+
‖ -# ‖ `5 g W
-
# Wg
WK*
- - -
+ + +
⇒‖ -# ‖ `5 g # *g 5g # +g ⋯5g # -g
- - -
* + -
WK* WK* WK*
⇒‖ # ‖\i ⋯ i ;) )d
j> j> j> -j >
- - - - -
⇒‖ - # ‖ \ ϵ ;) ) d ⇒ !⟨ - # V, - # V⟩ \ ϵ ;) )d
-. -
This shows that - converges in Hence is a Hilbert space.
-
Similarly we can show that is a Hilbert space with complex sequence.
Example: Space ' l with b ≠ 2 is not an inner product space , hence not a Hilbert space.
Example: The space Ne, mO is not an inner product space , hence not not a Hilbert space.
Summary
Let be a linear space over a field . An inner product in is a function
⟨. , . ⟩ ∶ X X→F
So that with each pair , in , a scalar to be denoted by ⟨ , ⟩ is associated satisfying the
conditions
(iii) ⟨α , ⟩ α⟨ , ⟩ ∀ x, y, ∈ X and α ∈
(iv) ⟨ , ⟩ ⟨ , ⟩ ∀ , ,∈ X .
The space '2 with the inner product of two vectors
* , + , … and * , + , … defined by
∞
. , / 5 1 1
i 1
|⟨ , ⟩| ≤ !⟨ , ⟩. !⟨ , ⟩ ∀ x , y ∈ X.
‖ ‖+ ‖ # ‖+ 2 ‖ ‖+ ‖ ‖+ for and y in X.
|⟨ , ⟩| ≤ ‖ ‖‖ ‖.
The Schwarz inequality can also be be written in the form
4⟨ , ⟩ ‖ ‖+ # ‖ # ‖+ for , ∈ .
If is a real inner product space, then the polarization identity becomes:
⟨ , ⟩ ‖ ‖+ ∑-WK*| W |+ .
Keywords
Inner product space
Norm
Cauchy-Schwarz inequality
Polarization identity
Parallelogram law
Continuity
Cauchy sequence
Hilbert space
Self Assessment
1: Pick the INCORRECT statement:
A. Every Hilbert space is a normed space.
B. Every Banach space is a Hilbert space.
C. Every Banach space is a topological space.
D. Every normed space is a metric space.
|⟨ , ⟩| ≤ ⟨ , ⟩> . ⟨ , ⟩>
n n
A.
|⟨ , ⟩| ≤ ⟨ , ⟩> ⟨ , ⟩>
n n
B.
|⟨ , ⟩| ⟨ , ⟩> . ⟨ , ⟩>
n n
|⟨ , ⟩| ≤ ⟨ , ⟩. ⟨ , ⟩ .
C.
D.
o o
2
2‖ ‖2 2o o
2
# 2‖ 2o
2 2 2
A.
o o o o ‖2 o
# 2
2 2 2
B.
o o o o ‖ ‖2 o o
2
#o # 2
2‖ 2
C.
D. o o o ‖2 o o
3 ,
B.
C.
D. None of these.
D. None of these.
7 : In a complex inner product space , the conjugate symmetry property of the inner product is
given as .
⟨ , ⟩ ⟨ , ⟩
⟨ , ⟩ #⟨ , ⟩
A.
⟨ , ⟩ ⟨ , ⟩
B.
C.
D. None of these.
8: Let V be a real inner product space. Which of the following statements is true?
9: Let V be a complex inner product space. Which of the following properties does the inner
product satisfy?
A. Conjugate symmetry.
B. Distributive property.
C. Anticommutativity.
D. None of these
∈ ?
10: Let be a finite-dimensional inner product space. Which of the following statements is always
true for any nonzero vector
A. The norm of is always equal to 1
B. The norm of is always greater than or equal to zero.
C. The norm of is always less than or equal to zero.
D. The norm of is always positive.
6. D 7. C 8. B 9. A 10. D
11. B
Review Questions
1. What is the definition of an inner product space?
2. Prove that the norm induced by an inner product satisfies the parallelogram law.
3. Give an example of a real inner product space.
4. Define a Hilbert space. How does it differ from a general inner product space?
5. State Cauchy Schwarz inequality for inner product space
6. State Parrallelogram identity for inner product space.
Further Readings
1. Introductory Functional Analysis With Applications By Erwin Kreyszig.
2. Functional Analysis By Walter Ruddin, Mcgraw Hill Education.
3. J. B Conway, A Course In Functional Analysis.
4. C. Goffman G Pedrick, A First Course In Functional Analysis.
5. B.V. Limaya, Functional Analysis.
Objectives
After studying this unit, you will be able to understand:
Orthogonality of vectors
Orthonormal sets
Complete orthonormal set
Pythagorean theorem
Bessel’s inequality
Riesz- Fischer theorem
Introduction
In this chapter , we introduce the idea of Orthogonality of inner product spaces and establish the
basic terminology. We also discuss complete orthonormal sets, Pythagorean theorem, Bessel’s
inequality, Parseval’s identity and Riesz- Fischer theorem. This chapter enables the students to
carefully use the concepts of Orthogonality.
(i) x ⊥y ⟺ y ⊥x
(ii) x ⊥ 0, ∀x ∈ X
(iii) 0 is the only vector in X orthogonal to itself.
(iv) For a subset A of an inner product space X, define the set
A = x ∈ X: x ⊥ A
We write A =A , A =A and so on .
(v) 0 = X and X = 0 i,e 0 is the only vector orthogonal to every vector .
Proof. We have
0 = x ∈ X: ⟨x, 0 ⟩ = 0 = X
Since ⟨x, 0⟩ = 0, ∀ x ∈ X. Also if x 0, then ⟨x, x⟩ 0. In other words , a non zero vector can not be
orthogonal to the entore space X. Hence X = 0 .
Example: Let 78 ∶ : ∈ ; be an orthogonal set in an inner product space <, then the set
G
E = F‖GH ‖ ∶ : ∈ ;I is orthonormal.
H
GH GJ
Solution. Let ‖GH ‖
, ∈ E, then
KGJ K
78 7> 1
〈 , 〉 = 〈78 , 7> 〉
‖78 ‖ K7> K ‖78 ‖ K7> K
2
= ‖G ‖ L 0=0
H KGJ K
Thus the inner product of two different elements of E is zero. So that E is orthogonal .
Next, we show that norm of every element of E is 1.
G
For this let ‖GH ‖ ∈ E, then
H
78 ‖78 ‖
M M= =1
‖78 ‖ ‖78 ‖
This shows that A is orthonormal.
Note: - If S is complete orthonormal set, then there does not exist any non-zero vector such
that x ⊥ S and ‖7‖ = 1.
(i) 〈ei , ej 〉= 0, if i j
(ii) 〈ei , ej 〉= 1, if i = j
Note: - See examples following the definition of orthonormal sets in Inner product spaces.
Remark. If H = 0 i.e. H contains only the zero element, then it has no orthonormal set. If
P
H contains a non-zero vector x , then we can construct e by normalizing x, that is e = ‖P‖, then the
P , ‖P‖R
single element set e is clearly an orthonormal set because 〈e, e 〉= ‖e‖, = Q‖P‖Q = ‖P‖R
=1
Generally speaking if x- is a non empty set of mutually orthogonal non zero vectors in H, and if
P
the x- ′s are normalized by replacing each of them by e- = ‖PU ‖, then the resulting set e- is
U
orthonormal s
Remark. One of the simple geometric fact about orthogonal vectors is the Pythagorean theorem,
which is given as follows.
2 2 2
Kx + yK = ‖x ‖2 + KyK = Kx − yK
Proof. We have
Kx + yK2 = ⟨x + y, x + y ⟩
= ⟨x, x⟩ + ⟨x, y⟩ + ⟨y, x⟩ +
⟨y, y⟩
= ⟨x, x⟩ + 0 + 0 + ⟨y, y⟩
= ⟨x, x⟩ + ⟨y, y⟩
= ‖x ‖, + ‖y‖,
Similarly, we can show that
Kx − yK2 = ‖x ‖2 + KyK2
Hence,
Kx + yK2 = ‖x ‖2 + KyK2 = Kx − yK2 .
⇒ 7 − ∑h:=1〈7, Y: 〉Y: ⊥6
This completes the proof.
Theorem. If Y8 is an orthonormal set in a Hilbert space [ and if 7 is any vector in [, then the set
converges , then every series obtained from this series by rearranging its terms also converges and
all such series have the same sum. So we therefore can define ∑|〈7, Y8 〉|j to be ∑Z812|〈7, Y8 〉|, and it
follows that ∑|〈7, Y8 〉|j is a non-negative extended real number , which depends only on S and not
on the arrangement of vectors in S. So in this case (1) reduces to
∑0
812|〈7, Y8 〉| ≤ ‖7‖ ……...(2)
, ,
It follows that no partial sum of the series on left side of (2) can exceed ‖7‖, and so it is clear that (2)
is true .
$
x − '〈x, e- 〉e- ⊥ e-
Theorem. (orthonormal bases) Let [ be Hilbert space and let e- be an orthonormal set in H, then
the following are equivalent
(i) e- is complete.
(ii) x ⊥ e- ⇒ x = 0
(iii) If x is an arbitrary vector in H, then x = ∑〈7, Y8 〉Y8
(iv) If x is an arbitrary vector in H, then ‖7‖, = ∑|〈7, Y8 〉|j . (Parseval’s identity).
Proof. i ⇒ ii
Suppose i is true i.e. e- is complete .
⇒ e- is maximal orthonormal set. On contrary suppose that ii is not true, then there exists a
vector x 0 such that x ⊥ e- .
P
Define e = ‖P‖ , then the set e- , e is an orthonormal set, which properly contains e- , but this
contradicts the completeness of e- . Hence ii is true.
ii ⇒ iii
So by ii , we get
x − '〈x, e- 〉e- = 0
Or
x = '〈x, e- 〉e-
Hence iv is true.
Finally iv ⇒ i
Suppose that iv is true i.e. ‖7‖, = ‖7‖, = ∑|〈7, Y8 〉|j .
We show that i is true . On the contrary assume that i is not true i.e. e- is not complete , then it
is properly contained in an orthonormal set e- , e . So by definition of orthonormal set, we can say
that e is orthogonal to ep- s.
,
Now ‖e‖, = ∑|〈e, e- 〉| by iv
,
= ∑‖0‖
= ‖0‖
=0
i. e ‖e‖ = 0 and this contradicts the fact that ‖e‖ = 1.
So our supposition was wrong and hence e- is complete .
Hence i is true.
This completes the proof.
Remark. Let e- be a complete orthonormal set and let x be an arbitrary vector in a Hilbert space
H. Then the numbers 〈x, e- 〉are called the Fourier coefficients of x, the expression 〈x, e- 〉e- is called
the Fourier expansion of x and the equation ‖7‖, = ∑|〈7, Y8 〉|j is called Parseval’s equation .
(i) sr ∈ t ,
(ii) ∑0
r12 sr Yr converges in [
(iii) there is an element 7 ∈ [
〈7, Yr 〉= sr , u = 1,2, …
'|sr |, < ∞
r12
wZ = ' sr Yr
r12
We first show that wZ is a Cauchy sequence in [. For this consider the expression ‖wx − wZ ‖, y >
h,
We have ‖wx − wZ ‖, = 〈wx − wZ , wx − wZ 〉
= 〈∑x
r1Z{2 sr Yr , ∑|1Z{2 s| Y| 〉
x
,
= ∑x
r1Z{2 |sr | ,
,
Using the orthogonality of YZ{2 , YZ{, , … , Yx . Since the series ∑0
r12 |sr | converges in }, by Cauchy’s
criterion of convergence ,
x
' |sr |, → 0 ~w y, h → ∞
r1Z{2
Thus
∑0
r12 sr Yr
converges in [. So : ⇒ :: .
Next suppose that :: is satisfied so that the series ∑0
812 s8 Y8 converges to 7 ∈ [.
Then
7 = ∑0
812 s8 Y8
So that , for u = 1,2, … 0
〈7, Yr 〉= 〈' s8 Y8 , Yr 〉
812
= ∑0
812 s8 〈Y8 , Yr 〉,
= sr
Hence ::: is satisfied .
Lastly suppose that ::: holds. Then , by Bessels inequality,
0 0
Summary
Let X be an inner product space. A vector x ∈ X is said to be orthogonal to a vector y ∈ X if
⟨x, y ⟩ = 0.
Such vectors x and y are called orthogonal vectors, written x ⊥ y (the symbol ⊥ is pronounced as
“per”). Similarly, for subsets A, B ⊂ X , we write x ⊥ A if x ⊥ a ∀ a ∈ A and A ⊥ B if
a ⊥ b, ∀ a ∈ A and b ∈ B.
x ⊥ y ⟺ y ⊥ x.
x ⊥ 0, ∀ x ∈ X.
0 is the only vector in X orthogonal to itself.
For a subset A of an inner product space X, define the set
A = x ∈ X: x ⊥ A
We write A =A , A =A and so on .
0 = X and X = 0 i,e 0 is the only vector orthogonal to every vector .
If A ϕ is subset of X, then the set A is closed subspace of X. Furthermore, A ∩ A is either 0
or empty (when 0 ∉ A).
If A and B are subsets of X such that A ⊂ B, then A ⊃ B .
If A is a subset of X, then A ⊂ A .
If A ϕ is a subset of X, then A = A .
R $
$
is an inner product space with inner product defined by
⟨x, y⟩ = ' x- y-
Then the vectors 1,0,0, … ,0 , 0,1,0, … ,0 , … 0, 0,0, -12
… ,1 are orthogonal, as the inner product of
any two of the above vectors is zero.
i,e 〈78 , 7> 〉= C8> , the standard Kronecker delta. In other words the set 6 is said to be
orthonormal if it is orthogonal and ‖7‖ = 1 for every 7 ∈ 6.
An orthonormal set S in an inner product space X is said to be complete if there exists no
orthonormal set in X of which S is a proper subset.
In the space l, , the orthonormal set composed of
e2 = 1,0,0, … , , e, = 0,1,0, … , , e = 0,0,1, … , … is a complete orthonormal set.
If x and y are orthogonal vectors in an inner product space X, then
(Pythagorean theorem)
Let 6 = Y2 , Y, , … , YZ be an orthonormal set in a Hilbert space [. If 7 is any vector in [,
then
(Bessel’s inequality)
(Generalization of Bessel’s inequality).
If Y8 is an orthonormal set in a Hilbert space [, then
If Y8 is an orthonormal set in a Hilbert space [ and if 7 is any vector in [, then the set
S = e- : 〈x, e- 〉 0 is either empty or countable.
Let e- be an orthonormal set in a Hilbert space H and let x be a vector in H, then
x − '〈x, e- 〉e- ⊥ e-
Keywords
Orthogonality
Inner product space
Complete orthonormal set
Hilbert space
Pythagorean theorem
Bessel’s inequality
Orthonormal bases
Parseval’s identity
Riesz- Fischer theorem
Self Assessment
1: Two Vectors 7, • in an inner product space are orthogonal if :
A. ⟨7, •⟩ 0
B. ‖7‖ = ‖•‖ = 1
C. ⟨7, •⟩ = 0
D. None of these.
B. Kx + yK2 = ‖x ‖2 + KyK2
C. Kx + yK2 = 0
D. None of these.
3: Let € be a non empty subset of an inner product space <. Which of the following is not true.
A. € = €
B. € ⊂ €
C. € = €
/ = <, then € = 0
D. If €
4 : In an orthonormal set of vectors, what is the inner product of any vector with itself?
A. 0
B. -1
C. 1
D. It depends on the vector.
5: If two vectors are orthogonal, what can be said about their inner product?
A. It is always zero.
B. It is always one.
C. It is undefined for orthogonal vectors.
D. None of these.
S = e- : 〈x, e- 〉 0 is:
A. Non empty and uncountable
B. Non empty
C. Uncountable
D. Either empty or countable
A. Hilbert spaces
B. Normed spaces
C. Metric space
D. None of these
6. A 7. B 8. C 9. D 10. A
Review Questions
1. What does it mean for two vectors to be orthogonal?
2. Define a complete orthonormal set in a Hilbert space.
3. State Bessel's inequality in its general form, both for finite and countably infinite sets of
orthogonal functions.
4. State Parseval’s Identity.
5. State Pythagorean theorem.
6. State Riesz- Fischer Theorem.
Further Readings
1. Introductory Functional Analysis With Applications By Erwin Kreyszig.
2. Functional Analysis By Walter Ruddin, Mcgraw Hill Education.
3. J. B Conway, A Course In Functional Analysis.
4. C. Goffman G Pedrick, A First Course In Functional Analysis.
5. B.V. Limaya, Functional Analysis.
Objectives
After studying this unit, you will be able to understand:
Introduction
In this chapter, we discuss some very basic theorems of fundamental importance in functional
analysis. These theorems include Open Mapping theorem , Closed graph theorem. Further we
discuss about weak and strong convergence . Finally, we discuss about Convergence of sequences
of operators and functionals.
= +{ ∈ ∶ < 1}
= +{ ∈ ∶‖ ‖<1 ℎ = }
!
"
= +{ ∈ ∶‖ ‖<1 ℎ = }
= +{ ∈ : ‖ ‖ < 1}
= + { ∈ : ‖ ‖ < 1}
= + { ∈ :‖ − 0‖ < 1}
= + (0,1 )
i.e. ( ; )= + (0,1)
Remark. In particular (0; ) = (0; 1)
Lemma. Let # be a bounded linear operator from a Banach space into a Banach space . Then for
each open ball = (0,1) ⊂ , the image #( ) contains an open ball in with centre at origion.
Theorem. ( The open mapping theorem)
A bounded linear operator # from a Banach space into a Banach space is an open mapping.
Proof. Let #: → be a bounded linear operator froam a Banach space into a Banach space . In
order to show that # is an open mapping , we need to show that for any open set % ⊆ , the image
of % under # is open in . For this let ' ∈ #(%): since # is an operator , so there exists ∈ % such that
' = # ∈ #(%).
It is enough to show that #(%)contains an open ball around ' = # .
Since A is open in ;and −%≤0 by definition , it contains an open ball with centre and
radius
i.e.
( ; ) ⊆ %.
We know by lemma (1) above that:
( ; )= + (0; 1)………..(1)
By lemma (2) above , for the open ball (0; 1) in , there is an open ball (0, ) with centre at
origin, in such that
(0 ; ) ⊆ #( (0; 1))
⊆ #) (0; 1)*
= #( (0; ))……….(2)
='+ (0,1) by (1)
Hence ('; ) = ' + (0; )
= ' + #( (0; )) by (2)
= # + #( (0; ))
= #( + (0; ))
= #( + (0,1))
⊆ #(%)
i.e. ('; ) ⊆ #(%)
This shows that #(%) contains an open ball around ' = # . Consequently #(%) is open in
hence # is an open mapping.
and
(i) # is continuous .
(ii) # is bijective.
(iii) # +, is Continuous.
Since # is continuous ( as # is bounded ) and bijective, so # +, : → exists.
To show that # is continuous, let - be an open set in , then
+, (# +, )+,
- = #-, which is open in
because # is open by open mapping theorem. So that the image of any open set in is open
in under # +, , showing that # +, is continuous. Hence # is a homeomorphism.
Then obviously,
‖( , ' )‖ ≥ 0 012 ‖( , ' )‖ = 0 ⇔ = 0, ' = 0
And ‖/( , ' )‖77 = |/| ‖( , ' )‖77
‖( , ' ) + ( , ' )‖7 = ‖( + , ' + ' )‖7
8
= (‖ + ‖7 + ‖' + ' ‖7 )9
8
≤ )‖ ‖7 + ‖ ‖7 + ‖'‖ + ‖' ‖ *9
7 7
8 8
≤ )‖ ‖7 + ‖'‖ *9 + (‖ ‖7 + ‖' ‖ )9
7 7
Hence (., ‖. ‖7 ) is a normed space , called the product of the normed spaces and .
For : = 1 , (3) assumes the form
‖( , ' )‖, = ‖ ‖ + ‖'‖ .
Another norm on . is given as follows: For ( , ' ) ∈ ., we put
‖( , ' )‖ = max(‖ ‖, ‖'‖ )
It can be established that all these norms on × are equivalent.
For : = 2, we have
,
‖( , ' )‖D = (‖ ‖D + ‖'‖D )D
If and are Banach spaces then so is their product .. This follows from the observation that
( E , 'E ) → ( ,' ) ⇔ E → , 'E → ' .
For any two normed spaces and and a mapping #: → , the set
FG = {( , # ): ∈ }
is called the graph of #.
Since and are metric spaces and so are Hausdroff spaces, their product . = ×
metric indued by the norm on ., is also metric space.
, under the
E → , 'E → '
Since # is continuous and E =# E,
E → ⇒# E → #J = '
Hence ( , ' ) = ( , #J ) ∈ FG , thus FG is closed.
Conversely suppose that, for a linear operator #: → , FG is closed.Then FG is a subspace of
× . Since and are Banach spaces and FG is a closed subspace of the Banach space × , FG
itself is complete and hence is a Banach space .
Consider the mapping : FG → defined by
( ,# ) = ∀ ∈ .
Then is injective and linear . Also, since
‖ ( , # )‖ = ‖ ‖ ≤ ‖( , # )‖
By definition of the product norm, is continuous. By the open mapping theorem , +, is
continuous and so bounded. Moreover
‖# ‖ ≤ ‖( , # )‖ = ‖ +, ( )‖ ≤ ‖ +, ‖‖ ‖
Hence # is bounded and so is continuous .
or simply
E → .
is called the strong limit of { E }, and we say that { E} converges strongly to .
Weak convergence is defined in terms of bounded linear functionals on as follows.
Definition ( Weak convergence) . A sequence { E } in a normed space
convergent if there is an ∈ such that for every ∈
is said to be weakly
limE→N ( E) = ( )
This is written
E →
The element is called the weak limit of { E }, and we say that { E} converges weakly to .
Weak convergence has various applications throughout analysis for instance , in the calculus
of variation, and general theory of differential equation.
For applying weak convergence one needs to know certain basic properties, which we state in
the following lemma .
Lemma. Let { E} be a weakly convergent sequence in a normed space , say E → . Then:
QE ( ) = ( E) , ∈
Then for all 1,
|QE ( )| = | ( E )| ≤ OP ,
that is, the sequence {RQE(P) R} is bounded for every ∈ . As we know the dual space
In finite dimensional normed spaces the distinction between strong and weak convergence
disappears completely . Let us prove this fact and also justify the terms “strong” and “weak”.
Theorem. (Strong and weak convergence). Let { E} be a sequence in normed space . Then
(i) Strong convergence implies weak convergence with the same limit.
(ii) The converse of (i) is not generally true.
(iii) If dim < ∞, then weak convergence implies srrong convergence.
Proof. By definition, E → means ‖ E − ‖ → 0 and implies for every ∈ ,
| ( E) − ( )| = ( E − ) ≤ ‖ ‖‖ E − ‖→0
This shows that E → .
(ii) can be seen from an orthonormal sequence { E } in a Hilbert space T. In fact , every ∈ T has a
Riesz representation ( ) = 〈 , 〉. Hence ( E ) = 〈 E , 〉. The Bessels inequality is as
EX,|〈 E , 〉| ≤ ‖ ‖ .
∑N D D
Hence the series on the left converges , so that its terms must approach zero as 1 → ∞. This implies
( E ) = 〈 E , 〉 → 0.
Since ∈ T was arbitrary , we see that E → 0. However, { E } does not converge strongly because
‖ Y − E‖
D
=〈 Y − E, Y − E〉 =2 (Z ≠ 1).
(iv) Suppose that E → and dim = \. Let { , , D , … ^ } be any basis for and say ,
= /, , + ⋯ + /^ ^
(E) (E)
E
And
= /, , + ⋯ + /^ ^
^
‖ E − ‖ = bc(/`(E) − /` ) ` b
`X,
≤ c d/` − /` d e ` e → 0
(E)
`X,
convergence are equivalent concepts. As example is f, . In conclusion let us take a look at weak
It is interesting to note that there also exist infinite dimensional spaces such that strong and weak
1 → if and only if 〈 1 , 〉→
, 〉∀
Example. Hilbert space. In a Hilbert space,
〈 in the space.
as defined in the above section are useful concepts. For sequences of operators #E ∈ ( , ) three
Experience shows that for sequences of elements in a normed space, strong and weak convergence
(i) ‖#E − #‖ → 0
(ii) ‖#E − # ‖ → 0 for all ∈
(iii) ‖ (#E ) − (# )‖ → 0 for all ∈ and for all ∈
respectively. # is called the uniform, strong and weak operator limit of {#E }, respectively.
Definition. (Strong and weak convergence of a sequence of functional) Let { E } be a sequence
of bounded linear functional on a normed space . Then :
(b) Weak convergence of { E } means that there is an ∈ such that E( ) → ( ) for all
∈ . This is written
E → .
in (a) and (b) is called the strong limit and weak limit of { E }, respectively.
Lemma. Let #E ∈ ( , ), where is a Banach space and a normed space . If {#E } is strongly
operator convergent with limit #, then # ∈ ( , ).
Proof. Linearity of # follows readily from that of #E . Since #E → # for every ∈ , the sequence
{#E } is bounded for every . Since is complete, ‖#E ‖ is bounded by the uniform boundedness
theorem , say ‖#E ‖ ≤ O ∀1 . From this, it follows that
‖#E ‖ ≤ ‖#E ‖‖ ‖ ≤ O‖ ‖.
This implies
‖# ‖ ≤ O‖ ‖.
A useful criterion for strong operator convergence is
Theorem. A sequence {#E } of operators #E ∈ ( , ), where and are Banach spaces , is strongly
operator convergent if and only if:
Proof. If #E → # for every ∈ , then (A) follows from the uniform boundedness theorem (since
is complete) and (B) is trivial.
Conversely, suppose that (A) and (B) holds, so that, say ‖#E ‖ ≤ O ∀ 1. We consider any ∈ and
show that {#E } converges strongly in . Let k > 0 be given . Since span j is dense in , there is a
' ∈ m:01 j such that
k
‖ −'‖< .
3O
Since ' ∈ m:01 j, the sequence {#E '} is Cauchy by (B). Hence there is an o such that
Using these two inequalities and applying the triangle inequality, we see that {#E } is Cauchy in
because for Z, 1 > o we obtain
<O + +O =k
p p p
qr q qr
Summary
A mapping : → , where and are topological spaces, is said to be open mapping if
maps open subsets of into open open subsets of .
Let be a normed linear space and ( , ) be an open ball in . Then
( ; )= + (0; 1).
Let # be a bounded linear operator from a Banach space into a Banach space . Then for
each open ball = (0,1) ⊂ , the image #( ) contains an open ball in with centre
at origion.
A bounded linear operator # from a Banach space into a Banach space is an open
mapping. (Open mapping theorem)
Let #: → be a bijective bounded linear operator from a Banach space into a Banach
space , then # is homeomorphism.
Let and be Banach spaces and #: → be a linear operator . Then # is continuous if
and only if the graph of # is a closed subspace of × . ( Closed graph theorem).
A sequence { E} in a normed space is said to be strongly convergent (or convergent in
the norm) if there is an ∈ such that limE→N ‖ E − ‖=0
i,e.
limE→N E = .
A sequence { E} in a normed space is said to be weakly convergent if there is an ∈
such that for every ∈
lim ( E) = ( )
E→N
This is written
E → .
The element is called the weak limit of { E }, and we say that { E} converges weakly to .
Keywords
Open mappings
Open set
Bounded linear operator
Incomplete normed spaces
Open ball
Homeomorphism
Closed graph
Closed subspace
Weak convergence
Strong convergence
Hilbert space
Self Assessment
1: If , are normed spaces and if % ∶ → is a bijective, bounded linear map, then:
A. % is always an open map.
B. % is an open map if is a Banach space.
C. % is an open map if is a Banach space.
D. % is an open map if both and are Banach spaces.
2: If and are normed spaces, and if # ∶ → is a linear operator, then # is bounded if and
only if:
A. # maps bounded subsets of into bounded subsets of .
B. # maps open subsets of into open subsets of .
C. # maps closed subsets of into closed subsets of .
D. # is invertible.
3: Every bounded operator of finite rank is :
A. Open.
B. Compact.
C. Has a non zero adjoint.
D. None of these.
A. % ∶ → is invertible.
B. % ∶ → is bounded.
C. % +, ∶ → is bounded.
D. %+, ∶ → is open.
5: If {%E } is a sequence of operators on a normed space , then %E → % strongly if and only if:
A. %E → % ∀ ∈ .
B. ‖%E − % ‖ → 0 as 1 → ∞.
C. (%E ) → (% )∀ ∈ and ∀ ∈ ∗.
D. None of these.
7: For , ' in a normed space , which of the following is not necessarily true?
A. ‖ + '‖ ≤ ‖ ‖ + ‖'‖.
B. |‖ ‖ − ‖'‖| ≤ ‖ − '‖
C. |‖ ‖ − ‖'‖| ≤ ‖ ‖ + ‖'‖.
D. ‖ − '‖ ≤ ‖ ‖ + ‖'‖.
8: Let be a normed space and be a bounded, non-zero linear functional on . Then, which of
the following is not true?
A. is onto.
B. is continuous.
C. t is a closed subspace of .
D. is an open map.
9 : Let be a normed space and %, be bounded linear operators on Then which of the
following is true?
A. ‖% ‖ ≥ ‖%‖. ‖ ‖
B. ‖% ‖ = ‖%‖. ‖ ‖
C. ‖% ‖ ≤ ‖%‖. ‖ ‖
D. None of these.
10: Which of the following theorems guarantees that a bounded linear operator between Banach
spaces is an open map if it is onto.
A. Hahn-Banach Theorem.
B. Open Mapping theorem.
C. Baire’s Category theorem.
D. None of these.
11: Let and be Banach spaces and #: → be a bounded linear operator , if the range of #
is not closed, then which theorem can be used to find a closed subspace of on which # is
injective?
A. Hahn-Banach Theorem.
B. Open Mapping theorem.
C. Closed graph theorem.
D. None of these.
12: What is the main difference between strong and weak convergence?
A. Strong convergence requires convergence in norm, while weak convergence requires
pointwise convergence.
B. Strong convergence requires pointwise convergence, while weak convergence requires
convergence in norm.
C. Strong convergence and weak convergence are synonymous terms.
D. None of the above.
14: If a linear mapping between topological vector spaces is continuous, what can we conclude
about its graph?
A. The graph is open.
B. The graph is compace.
C. The graph is closed.
D. None of these.
Let and be Banach spaces and #: → be a linear map which is closed and surjective.
Then # is continuous and open. This is called
15:
6. B 7. D 8. D 9. C 10. B
Review Questions
1. State the Open Mapping Theorem in functional analysis.
2. State the Closed Graph Theorem.
3. Define the graph of a linear operator.
4. Under what conditions does the Closed Graph Theorem holds.
5. What is difference between strong and weak convergence.
Further Readings
1. Introductory Functional Analysis With Applications By Erwin Kreyszig.
2. Functional Analysis By Walter Ruddin, Mcgraw Hill Education.
3. J. B Conway, A Course In Functional Analysis.
4. C. Goffman G Pedrick, A First Course In Functional Analysis.
5. B.V. Limaya, Functional Analysis.
Objectives
After studying this unit, you will be able to understand:
Introduction
In this chapter, We discuss about Orthogonal complements and direct sums and its properties.
Futher, we prove Projection theorem and convex sets in Hilbert space and discuss some important
theorems. Finally we discuss about Conjugate space of a Hilbert space .
(i) {0} =
(ii) = {0}
Theorem. Let , be subsets of a Hilbert space , then prove the following:
(iv) By (i) ⊆
and so by part (ii) ⊆
i.e. ⊆ ...........(3)
Also by part (i), ⊆ = ………..(4)
From (3) and (4), we have
= .
⇒ ∈ and ∈ .
Now since ∈ and ∈
⇒〈 , 〉=0
⇒ ‖ ‖ = 0,
i.e. ‖ ‖ = 0
i.e., =0
i.e., ∈ {0}.
Hence,
∩ ⊆ {0}.
= lim 〈 &, 〉
&→+
= 0, because & ∈
i.e., 〈 , 〉 = 0 for any ∈ ,⇒ ⊥
⇒ ∈ . Thus is closed subspace of .
Theorem. If is a closed linear subspace of a Hilbert space , then ∩ = {0}.
Proof. Let ∈ ∩ , then ∈ and ∈ .
⇒ ⊥ .
⇒ 〈 , 〉 = 0 for every in .
⇒ 〈 , 〉 = 0, because ∈ .
⇒‖ ‖ =0
⇒‖ ‖=0⇒ = 0.
This shows that 0 ∈ ∩ ⇒ {0} ⊆ ∩ .
Definition. (Direct sum). A vector space , is said to be the direct sum of two subspaces - and . of
,, written
, = -⨁.
,
if each ∈ , has a unique representation
= + 0, ∈ -, 0 ∈ .
.
Then . is called an algebraic complement of - in , and vice versa, and -, . is called a
complementary pair of subspaces in ,.
For example, - = 1 is a subspace of the Euclidean plane 1 . Clearly, - has infinitely many
algebraic complements in 1 , each of which is a real line. But most convenient is a complement that
is perpendicular. We make use of this fact when we choose a Cartesian coordinate system. In 1 2 the
situation is the same in principle.
Theorem 1. (Minimizing vector) Let be a non empty complete convex subset of an inner
Product space , and ∈ ,\ . Then there is a unique ∈ such that
‖ − ‖ = 56789∈: ‖ − ;‖
Proof. Since is complete and being a subspace, is convex, by theorem 1 above there is a unique
vector ∈ such that
‖ − ‖ = 56789∈: ‖ − ; ‖,
for each ∈ ,\ .
= .
Remark. A subspace of a Hilbert space is closed if and only if = .
Theorem. Show that if and < are closed subspaces of a Hilbert space such that ⊥ <. Then
+ < is closed subspace of .
Proof. We know that if and < are any subspaces, Then M+N is always a subspace . To show
that M+N is aclosed subspace of , let 0 be a limit point of M+N, then there is a sequence {0& } in
M+N such that
0 = lim 0&
&→+
Now
0& = & + &, & ∈ , & ∈ <.
We show that { &} and { & } are Cauchy’s sequences in and < respectively.
Since by Pythagorean theorem,
‖0= − 0& ‖ = ‖ = + = − & − &‖
=‖ = − & + = − &‖
=‖ = − &‖ +‖ = − &‖
and since 0& is a Cauchy sequence, so also are { & }, { & }. Also as closed subspaces of , both and
< are complete . So
lim & = ∈
&→+
∩ = {0}.
Projection Theorem.
= ⊕ .
Proof. Suppose + is proper subspaceof then there is a non-zero vector 0 ∈ such that
0⊥ + i.e 0 ∈ + .
Now ⊆ + implies + ⊆ .
Thus
= ⊕ .
The line segment joining two given elements and of a space , is defined to be the set of all
0 ∈ , of the form: 0 = B + 1 − B for every real number B such that 0 ≤ B ≤ 1.
Definition. A subset of , is said to be convex if for every , ∈ , the line segment joining
and is contained in ,
i.e., 0 = B + 1 − B ∈ for every B, where 0 ≤ B ≤ 1.
Every subspace - of , is convex, and the intersection of convex sets is a convex set.
We shall use the notion of convexity in the following theorem.
Theorem. (Minimizing vector) Let be a non empty complete convex subset of an inner product
space , and ∈ ,\ . Then there is a unique ∈ such that
‖ − ‖ = 56789∈: ‖ − ;‖
‖ = − &‖ ≤ 2‖ = − ‖ + 2‖ & − ‖ − 4A
→ 0 HI J, 6 → ∞
As ‖ = − ‖ → A, ‖ = − ‖ → 0. Hence { & } is a Cauchy sequence in . Since is complete,
& → ∈ . So
A = lim&→+ ‖ − &‖
= G − lim &G
&→+
= ‖ − ‖ with ∈ .
Next we prove the uniqueness of . Suppose there is another L ∈ , such that
A=‖ − L‖
; ;
Then again, Using the parallelogram law as given in (1) and replacing by − and by L − ,
we have :
‖ − L‖ = 2‖ − ‖ + 2‖ L − ‖ −‖ + L −2 ‖
= ‖ − ‖ = 56789 ∈: ‖ − ;‖
‖ − L‖ ≤ 4A − 4A
≤0
But
‖ − L ‖ ≥ 0.
Hence ‖ − L‖ = 0, that is = L.
S78 S = |〈 , 〉|
≤ ‖ ‖‖ ‖…………(1)
( by Schwarz inequality)
Suppose ‖ ‖ ≤ . Then for > 0, S78 S≤ ‖ ‖.
But
78 \ ]=〈 , 〉
‖ ‖ ‖ ‖
= ‖8‖ 〈 , 〉
= ‖ ‖.
Using this in (4), we get
R78 R ≥ ‖ ‖…………(5)
Combining (2) and (5), we get
R78 R = ‖ ‖.
∗
Thus we have proved that ^: → is such that ^ = 78
is a norm preserving mappings.
=〈 , 〉+〈 , 〉
= 78_ + 78a
= 78_ + 78a .
Hence ,
78_`8a = 78_ + 78a .
Which implies ,
+ = + .
This shows that is additive.
Now we show is one –one . Let , ∈ . Then
= 78_ and
= 78a , then
= , implies
78_ = 78a , which gives
78_ = 78a ∀ ∈ ………..(1)
78_ =〈 , 〉 and
= R78_ + 7 b8a R.
Hence ‖ − ‖=‖ − ‖.
Finally, we prove that is not linear, for this let ∈ and # be any scalar. Then
# = 7c8 .
Hence for any ∈ , we get 7c8 = 〈 ,# 〉
=#〈 , 〉
= #78 .
Which gives, 7c8 = #78 .
So that,
# =#
This shows that the mapping is not linear. Such a mapping is called conjugate linear. Thus
is conjugate linear.
Theorem. If is a Hilbert space , then ∗ is also Hilbert space with the inner product defined by
〈7d , 78 〉 = 〈 , 〉∀ , ∈ ………..(1)
Proof. Since is a Hilbert space , so is also a Banach space . We know that conjugate of a Banach
space is also a Banach space . Therefore ∗ is also a Banach space.
To show ∗ is a Hilbert space, it is sufficient to show that ∗
is inner product space with respect to
the inner product defined by
〈7d , 78 〉 = 〈 , 〉 ∀ , ∈ .
Let , ∈ and #, $ be complex scalars , we have
1. 〈7d , 7d 〉 = 〈 , 〉
=‖ ‖
= ‖7d ‖
So that
〈7d , 7d 〉 ≥ 0 and ‖7d ‖ = 0 if and only if 7d = 0.
2. 〈7d , 78 〉 = 〈 , 〉
=〈 , 〉
= 〈78 , 7d 〉.
7c8 = # 78 = #78 .
Now
〈#7d + $78 , 0〉 = 〈7cd + 7f8 , 7g 〉……….(2)
But,
Now,
Summary
If is any subset of a Hilbert space , then the orthogonal complement of denoted by
, is defined as
={ ∈ ∶〈 , 〉=0∀ ∈ }
={ ∈ ∶ ⊥ }.
= ={ ∈ ∶ 〈 , 〉 = 0, ∀ ∈ }
={ ∈ ⊥ }
{0} =
= {0}
Every subspace - of , is convex, and the intersection of convex sets is a convex set.
If be a non empty complete convex subset of an inner product
space , and ∈ ,\ . Then there is a unique ∈ such that
‖ − ‖ = 56789∈: ‖ − ;‖
Keywords
Orthogonal complement
Direct sum
Convex set
Conjugate space
Closed subspace
Hilbert space
Inner product space
Projection theorem
Self Assessment
1: Let be a Hilbert space and be a subspace of . Then
which of the following is false?
A. is a subspace of .
B. is a closed subspace of .
C. ∩ = {0}.
D. ∩ =
2: The distance between any two orthonormal vectors in an inner product space is:
A. 1
B. √2
C. 2
D. √5
3: Let , be an inner product space. Then the orthogonal complement of {0} is:
A. ,
B. {0}
C. ,{0}
D. ,
8: In an inner product space, which of the following statement is true regarding the direct sum of
two subspaces j and k, denoted as j ⊕ k?
A. j ⊕ k is always equal to j + k.
B. Every vector in j ⊕ k can be uniquely expressed as the sum of a vector from j and a vector
from k.
C. j ⊕ k contain only the zero vector.
D. None of the above
9: Which property is satisfied by the intersection of any number of convex sets in a Hilbert space?
A. The intersection is always a convex set.
B. The intersection is always a non –convex set.
C. The intersection is always a singleton set.
D. The intersection is always empty.
10: Let , be subsets of a Hilbert space , then which of the following is true.
A. ∪ = ∩
B. ∩ ⊇ ∪ .
C. = .
D. All the above.
12: If be any closed subspace of a Hilbert space . Then Which of the following is true?
A. = ∩ .
B. = ⊕ .
C. Both (A) and (B) are true.
D. None of the above.
13: Which of the following statement is true about conjugate space of a Hilbert Space?
A. It only contains real numbers.
B. It is always a finite-dimensional vector space.
C. It consists of continuous linear functionals on the Hilbert space.
D. None of the above.
14: If and < are closed subspaces of a Hilbert space such that ⊥ <, the which of the following
is true?
A. + < is closed subspace of .
B. M+N is a subspace of .
15: Let , be subsets of a Hilbert space , then which of the following is true?
A. ∩ ⊆ {0}.
B. is a closed subspace of .
C. ∩ = {0}.
D. All the above.
A. An additive mapping.
B. One to one
C. Not linear.
D. All the above.
6 C 7 C 8 B 9 A 10 D
11 A 12 B 13 C 14 C 15 C
16 D 17 D
Review Questions
1. Define the orthogonal complement of a subset S in an inner product space.
2. Define a convex set in a Hilbert space.
3. Provide an example of a convex set that is not a closed set.
4. State the Projection Theorem for a Hilbert space.
5. What is meant by the “ conjugate ” or “dual” of a Hilbert space ? How is the dual space
constructed from the original Hilbert space?
6. Prove that If is a closed linear subspace of a Hilbert space , then ∩ = {0}.
7. Prove that If and < are closed subspaces of a Hilbert space such that ⊥ <. Then
+ < is closed subspace of .
8. Let , be subsets of a Hilbert space , then prove the following.
I. ⊆ , that is any subset of is contained in its double orthogonal
complement .
II. If ⊆ , then ⊆ .
III. ∪ = ∩ and ∩ ⊇ ∪ .
IV. = .
V. ∩ ⊆ {0}.
9. Prove that If be a subset of a Hilbert space , then is a closed subspace of .
∗
10. Show that the mapping : → defined by = 78 where 78 = 〈 , 〉 for every
∈ is an additive, one to one onto isometry but not linear.
Further Readings
1. Introductory Functional Analysis With Applications By Erwin Kreyszig.
2. Functional Analysis By Walter Ruddin, Mcgraw Hill Education.
3. J. B Conway, A Course In Functional Analysis.
4. C. Goffman G Pedrick, A First Course In Functional Analysis.
5. B.V. Limaya, Functional Analysis.
Objectives
After studying this unit, you will be able to understand:
Introduction
In this chapter, we discuss about Riesz representation theorem. Further, we shall introduce the
operators on a Hilbert space like Hilbert adjoint operator, Self adjoint operator, positive operator,
normal operator, unitary operator and isometric operators.
Because = − .
= −
=0
.
Also since ⊥ , so that ⊥ as ∈
⇒〈 , 〉=0
⇒〈 − . , 〉=0
⇒〈 , 〉−〈 , 〉=0
⇒〈 , 〉− 〈 , 〉=0
⇒ 〈 , 〉=〈 , 〉
⇒ = 〈 , 〉
〈 , 〉
!!!!!!!! !!!!!!!!
⇒ = 〈 , 〈!!!!!!!!!!〉 〉=〈 ,
〈 〉
〉.
, ,
!!!!!!!!
Let = 〈 〉
, then we have
,
= 〈 , 〉 for all ∈ .
To complete the proof, it remains to show that is unique.
For if suppose =〈 , "
〉 for all , then
〈 , 〉=〈 , "〉
⇒ 〈 , 〉−〈 , "〉 =0
⇒〈 , − "〉
= 0 for all ∈ .
In particular = − ", we get:
〈 − ", − "〉
⇒‖ − " ‖#
=0
⇒ − "
=0
⇒ = ".
Hence is unique .
Next we show that ‖ ‖ = ‖ ‖, we have
=〈 , 〉
So | | = |〈 , 〉|
≤ ‖ ‖‖ ‖ ( By Schwarz inequality)
≤| |
≤ ‖ ‖‖ ‖
⇒‖ ‖≤‖ ‖
Combining both the equations, we get
‖ ‖ = ‖ ‖.
〈+ , 〉 = 〈 , + ∗ 〉.
We first show that this definition makes sense, that is we prove that for a given + such a + ∗ does
exists.
Theorem. Show that the Hilbert adjoint operator + ∗ of + exists , is unique and is bounded linear
operator with norm
‖+ ∗ ‖ = ‖+‖.
Before proving this theorem, we first give the another statement of Riesz representation.
Theorem. Let *, # be Hilbert spaces and
ℎ: * × # →/
a bounded sesquilinear form. Then ℎ has a representation
ℎ , = 〈& , 〉
Where &: * → # is a bounded linear operator. & is uniquely determined by ℎ and has the norm
‖&‖ = ‖ℎ‖.
= 〈 , 0+ * + 2+ #〉
= 0!〈 , + * 〉 + 2̅ 〈 , + #〉
= 0!ℎ , * + 2̅ ℎ , #
≤ ‖ ‖‖+ ‖
≤ ‖+‖‖ ‖‖ ‖.
This implies,
‖ℎ‖ ≤ ‖+‖.
Moreover, we have
‖ℎ‖ ≥ ‖+‖.
|〈 , + 〉| |〈+ , + 〉 |
‖ℎ‖ = sup ≥
8 ‖ ‖‖ ‖ ‖+ ‖‖ ‖
8
= ‖+‖
Combing the both equations, we get
‖ℎ‖ = ‖+‖.
The above theorem gives a Riesz representation for ℎ; writing + ∗ for &, we have
ℎ , = 〈+ ∗ , 〉, ………..(2)
and we know from the above theorem that + ∗ : # → * is a uniquely determined bounded linear
operator with norm
‖+ ∗ ‖ = ‖ℎ‖ = ‖+‖
Also ,
〈 , + 〉 = 〈+ ∗ , 〉 by comparing (1) and (2), so that we have 〈+ , 〉 = 〈 , + ∗ 〉 by taking conjugates,
and we now see + ∗ is the required operator.
For studying the properties of Hilbert adjoint opeartors , it will be convenient to make use of
following lemma.
Lemma. (Zero operator) . Let : and ; be inner product spaces and <: : → ; a bounded linear
operator . Then:
By addition,
〈< , 〉 = 0 and < = 0 follows from (a).
Note: In part (b) of this lemma, it is essential that : be complex. Indeed , the conclusion may
not hold if : is real . A counterexample is a rotation < of the plane B # through a right angle. < is
linear, and < ⊥ , hence 〈< , 〉 = 0 for all ∈ B # , but < ≠ 0.
We now prove some general properties of Hilbert- adjoint operators which one uses quite
frequently in applying these operators.
Properties of Hilbert- adjoint Operators
Theorem. Show that the adjoint operator preserves addition, reverses the product and it is
conjugate linear. That is if + → + ∗ is the adjoint operator on 2 , then
(i) +* + +# ∗
= +*∗ + +#∗
(ii) +* +# ∗
= +#∗ +*∗
(iii) 0+ ∗
= 0? + ∗
Proof. For every , ∈ , we have
〈 , +* + +# ∗
〉 = 〈 +* + +# , 〉.
But
〈 +* + +# , 〉 = 〈+* + +# , 〉
= 〈+* , 〉 + 〈+# , 〉
= 〈 , +*∗ 〉 + 〈 , +#∗ 〉
= 〈 , +*∗ + +#∗ 〉
Hence,
〈 , +* + +# ∗
〉 = 〈 , +*∗ + +#∗ 〉.
+* + +# ∗
= +*∗ + +#∗ .
(ii) For every , ∈ , we have 〈 , +* +# ∗
〉 = 〈 +* +# , 〉
= 〈+* +# , 〉.
But
〈+* +# , 〉 = 〈+# , +*∗ 〉 = 〈 , +#∗ +*∗ 〉
From the above two, we get
〈 , +* +# ∗ 〉 = 〈 , +#∗ +*∗ 〉 for all ∈ .
+* +# ∗ = +#∗ +*∗.
(iii) For every , ∈ , we have
〈 , 0+ ∗ 〉 = 〈 0+ , 〉 = 0〈+ , 〉.
But 0〈+ , 〉 = 0〈 , + ∗ 〉
= 〈 , 0? + ∗
〉.
Therefore , by the uniqueness of the adjoint , we have
0+ ∗
= 0? + ∗ .
Theorem. Let be a Hilbert space. Then the adjoint operator + → + ∗ on 2 ( set of all bounded
linear transformations on into ) has the following properties:
(i) + ∗∗ = +
(ii) ‖+ ∗ ‖ = ‖+‖
(iii) ‖+ ∗ +‖ = ‖+‖#
= 〈+ ∗ , 〉
But
〈+ ∗ , 〉 = 〈!!!!!!!!
, +∗ 〉
!!!!!!!!!
= 〈+ , 〉
= 〈 , + 〉.
From the above two, we get
〈 , + ∗∗ 〉 = 〈 , + 〉.
Which proves that
+ ∗∗ = + by the uniqueness of inverse.
‖ + ∗∗ ‖ ≤ ‖+ ∗ ‖………..(2)
But by (i), we have
+ ∗∗ = +…………(3)
Using (3) in (2), we get
‖+‖ ≤ ‖+ ∗ ‖………..(4)
From (1) and (4), we get
‖+‖ = ‖+ ∗ ‖.
Let us consider,
‖+ ∗ +‖ ≤ ‖+ ∗ ‖‖+‖………….(5)
‖C ‖I
= sup H ‖ ‖I
J…………(10)
8
Note: From the properties of + ∗ as discussed above , we have the following corollary.
Corollary. If {+K } is a sequence of bounded linear operators on a Hilbert space and +K → +, then
+K∗ → + ∗ .
We have from the properties of + ∗
‖+K∗ − + ∗ ‖ = ‖ +K − + ∗ ‖ = ‖+K − +‖
Since +K → + as L → ∞, +K∗ → + ∗ follows from the above.
Note: The adjoint operator on 2 is one to one and onto. If + is non singular operator on ,
then + ∗ is also non-singular and + ∗ N* = + N* ∗ .
〈+ , 〉 = 〈 , + 〉 for every , ∈ .
To prove the converse , let us assume 〈+ , 〉 = 〈 , + 〉 for all , ∈ …………(1)
We have to show that + is self adjoint . If + is the adjoint of +, then we have
∗
〈+ , 〉 = 〈 , + ∗ 〉……….(2)
From (1) and (2), we have
〈 , + 〉 = 〈 , +∗ 〉
Which gives ,
〈 , + − +∗ 〉 = 0 for all , ∈
Since ≠ 0, we have + − +∗ = 0 for all , ∈ , we have
+ = +∗
Proving that + is self adjoint.
+ ∗+ ∗ = + ∗ +.
Hence + + + ∗ and + ∗ + are self adjoint.
Theorem. If & and + are self adjoint opeartors on a Hilbert space , then their product &+ is self
adjoint if and only if they commute. That is &+ = +&.
Proof. Given & and + are self adjoint opeartors on a Hilbert space . Then & ∗ = &, + ∗ = +.
Let us assume that & and + commute, we will prove that &+ is self adjoint.
Now,
&+ ∗ = +∗ &∗
= +&
= &+
implies that
&+ ∗ = &+
Conversely, let us assume that &+ is self adjoint and we will show that &+ commute.
By hypothesis , we have
&+ ∗
= &+………..(1)
But
&+ ∗
= + ∗ & ∗ = +&, ………..(2)
( by properties of adjoint operators)
From (1) and (2), we have
&+ = +&.
Or in other words we can say that if &+ is self adjoint , then they commute.
Theorem. An operator + on a complex Hilbert space is self adjoint if and only if 〈+ , 〉 is real for
all .
Proof. Let us assume that + is self adjoint operator on .
i.e, + = + ∗ , then for every ∈ , we have
〈+ , 〉 = 〈 , + ∗ 〉
= 〈 ,+ 〉
= !!!!!!!!!
〈+ , 〉 .
Thus 〈+ , 〉 is equal to its own conjugate and is therefore real.
To prove the converse part, let us assume that 〈+ , 〉 is real for all ∈ and we will show that + is
self adjoint. Since 〈+ , 〉 is real for all ∈ , we have
〈+ , 〉 = !!!!!!!!!
〈+ , 〉
= 〈!!!!!!!!!!
, +∗ 〉
= 〈+ ∗ , 〉
Where + ∗ is the adjoint of + which exists for every ∈ , from the above we get
〈+ , 〉 − 〈+ ∗ , 〉 = 0 for all ∈ .
This gives 〈+ − + ∗ , 〉 for all ∈ .
Hence, we have
〈 + − +∗ , 〉 = 0 for all ∈ .
As we know that, if + is an operator on a Hilbert space , then 〈+ , 〉 = 0 for all ∈ if and only if
+ = 0.
Thus, we have
+ − +∗ = 0
or,
+ = + ∗.
Therefore the operator + is self adjoint.
= ‖ ‖#
≥ 0.
Also,
〈0 , 〉 = 〈0, 〉
= 0.
Hence O and 0 are positive operators.
(ii) For an arbitrary + on , then ++ ∗ and + ∗ + are positive operators.
First we note that ++ ∗ and + ∗ + are self-adjoint. Bu using properties of adjoint operators, we get
++ ∗ ∗
= +∗ ∗+∗
= + ∗∗ + ∗
= ++ ∗
Also,
+∗ + ∗
= +∗ +∗ ∗
= + ∗ + ∗∗
= +∗ +
Now we prove that they are positive ,
i.e, 〈++ ∗ , 〉 = 〈+ ∗ , + ∗ 〉
= ‖+ ∗ ‖#
≥ 0.
And
〈+ ∗ + , 〉 = 〈+ , + ∗∗ 〉
= 〈+ , + 〉
= ‖+ ‖#
≥ 0.
Note: If two bounded self-adjoint linear operators & and + on a Hilbert space are positive
and commute , then their product &+ is positive.
`
Note: The limit Q of any convergent sequence {QR } of any normal operator is normal.
Theorem. If Q* and Q# are normal operators on a Hilbert space with property that either
commutes with the adjoint of the other then:
(i) Q* + Q# is normal .
(ii) Q* . Q# is normal .
Proof. Since Q* and Q# are normal, we get
Q* Q*∗ = Q*∗ Q* ...............(1)
and
Q# Q#∗ = Q#∗ Q# ...............(2)
From hypothesis either commutes with adjoint of the other.
So,
= Q*∗ Q* + Q# + Q#∗ Q* + Q#
= Q*∗ + Q#∗ Q* + Q#
= Q* + Q# ∗ Q* + Q#
Hence,
Q* + Q# Q* + Q# ∗ = Q* + Q# ∗ Q* + Q# .
Therefore Q* + Q# is normal.
Now to prove (ii), we have to prove
Q* Q# Q* Q# ∗
= Q* Q# ∗
Q* Q#
Now we have
Q* Q# Q* Q# ∗ = Q* Q# Q#∗ Q*∗
= Q* Q# Q#∗ Q*∗ .
But,
= Q* Q#∗ Q# Q*∗
= Q#∗ Q* Q*∗ Q# .
But,
Q#∗ Q* Q*∗ Q# = Q#∗ Q* Q*∗ Q#
= Q#∗ Q*∗ Q* Q#
= Q* Q# ∗
Q* Q# .
Thus,
Q* Q# Q* Q# ∗
= Q* Q# ∗
Q* Q# .
So that,
Q* Q# is Normal.
Then
c
‖+ ‖# = b| K|
# = ‖ ‖#
K)*
so + is an isometric operator. The operator + defined is called the right shift operator given by
+UK = UKd* .
Note: If + is an operator on a Hilbert space , then the following conditions are equivalent to
one another .
(i) + ∗+ = O
(ii) 〈+ , + 〉 = 〈 , 〉∀ , ∈ .
(iii) ‖+ ‖ = ‖ ‖ ∀ ∈ .
Theorem. An operator + on a Hilbert space is unitary if and only if it is an isomorphism of
onto itself.
Proof. Let + be an unitary operator on . Then from the definition of the unitary operator, it is
invertible. Therefore it is onto . Further,
++ ∗ = O
Hence,
‖+ ‖ = ‖ ‖ ∀ ∈
This proves that + is an isometric isomorphism of onto itself.
Now to prove the converse let us assume that + is an isometric isomorphism of onto itself.
Then + is one-one and onto . Therefore + N* exists. From our assumption
‖+ ‖ = ‖ ‖ ∀ ∈ . ……….(1)
By the above note we have + ∗ + = O.
Hence ,
+ ∗ + + N* = O+ N* ,
Which gives,
+ ∗ ++ N* = + N*
so that
+ ∗ O = + N* .
Thus
+ ∗ = + N*
+ ∗ + = + N* +
+ ∗ + = O.
Hence + ∗ + = ++ ∗ = O.
Which proves that + is unitary.
Summary
If is a Hilbert space and be any arbitrary functional in ∗ , then there exists a
unique vector in such that = 〈 , 〉 for every ∈ and ‖ ‖ = ‖ ‖.
If +: * → # be a bounded linear operator, where * and # are Hilbert spaces. Then the
Hilbert adjoint operator +∗ of + is the operator
+ ∗: # → *
〈+ , 〉 = 〈 , + ∗ 〉.
The Hilbert adjoint operator + ∗ of + exists , is unique and is bounded linear operator
with norm
‖+ ∗ ‖ = ‖+‖.
If : and ; be inner product spaces and <: : → ; a bounded linear operator . Then:
(i) < = 0 if and only if 〈< , 〉 = 0 for all ∈ : and ∈ ;.
(ii) If <: : → :, where : is complex, and 〈< , 〉 = 0 for all ∈ :, then < = 0.
The adjoint operator preserves addition, reverses the product and it is conjugate
linear. That is if + → + ∗ is the adjoint operator on 2 , then
a. +* + +# ∗
= +*∗ + +#∗
b. +* +# ∗
= +#∗ +*∗
c. 0+ ∗
= 0? + ∗ .
Let be a Hilbert space. Then the adjoint operator + → + ∗ on 2 has the following
properties:
a. + ∗∗ = +
b. ‖+ ∗ ‖ = ‖+‖
c. ‖+ ∗ +‖ = ‖+‖#.
If {+K } is a sequence of bounded linear operators on a Hilbert space and +K → +,
then +K∗ →+ .
∗
The adjoint operator on 2 is one to one and onto. If + is non singular operator on
, then + ∗ is also non-singular and + ∗ N* = + N* ∗ .
An operator + on a Hilbert space is said to be self adjoint operator if + ∗ = +.
0 and O are examples of self adjoint operators.
If an operator + on is self adjoint operator , then 〈+ , 〉 = 〈 , + 〉 for every , ∈
and conversely.
If & and + are self adjoint opeartors on a Hilbert space , then their product &+ is self
adjoint if and only if they commute. That is &+ = +&.
An operator + on a complex Hilbert space is self adjoint if and only if 〈+ , 〉 is real
for all .
A self adjoint operator + on is said to be positive if + ≥ 0 in the order relation. This
means 〈+ , 〉 ≥ 0 ∀ ∈ .
The identity operator O and the zero operator 0 are positive operators.
For an arbitrary + on , then ++ ∗ and + ∗ + are positive operators.
If + is a positive operator on a Hilbert space , then O + + is non –singular.
If two bounded self-adjoint linear operators & and + on a Hilbert space are positive
and commute , then their product &+ is positive.
If be a Hilbert space and let Q ∈ 2 and Q ∗ be the adjoint of Q. Then Q is said to
be normal operator if,
QQ ∗ = Q ∗ Q.
Every self adjoint operator is normal.
A normal operator need not be self adjoint.
The limit Q of any convergent sequence {QR } of any normal operator is normal.
If Q* and Q# are normal operators on a Hilbert space with property that either
commutes with the adjoint of the other then:
a. Q* + Q# is normal .
b. Q* . Q# is normal
Keywords
Hilbert Space
Hilbert adjoint operator
Self adjoint operator
Positive operator
Normal operator
Unitary operator
Isometric operator
Schwarz inequality
Linear operator
Zero operator
Bounded linear transformation
Self Assessment
1: Which of the following properties is true for Hilbert adjoint operator in a Hilbert space?
A. The adjoint operator preserves addition.
B. The adjoint operator reverses the product.
C. The adjoint operator is conjugate linear.
D. All of the above.
2: Let be a Hilbert space. Then the adjoint operator + → + ∗ on 2 ( set of all bounded linear
transformations on into ) satisfies which of the following properties:
A. + ∗∗ = +.
B. ‖+ ∗ ‖ = ‖+‖.
C. ‖+ ∗ +‖ = ‖+‖#.
D. All of the above .
5: If & and + are self adjoint opeartors on a Hilbert space , then their product &+ is self adjoint
if and only if .
A. & + + = + + &.
B. &+ = +&.
C. &+ > +&.
D. None of the above.
A. + = 0.
B. + > 0.
C. + < 0.
D. + ≤ 0.
9: Let be a Hilbert space and let Q ∈ 2 and Q ∗ be the adjoint of Q. Then Q is said to be
normal operator if:
A. QQ ∗ = Q.
B. QQ ∗ = Q ∗ Q.
C. QQ ∗ = Q ∗ .
D. None of the above.
A. `` ∗ = ` ∗ ` = O.
B. If ` is unitary, then it is normal.
C. ` ∗ = ` N* .
D. All of the above are true.
A. ‖+ − + ‖ ≥ ‖ − ‖ ∀ , ∈ .
B. ‖+ − + ‖ = ‖ − ‖ ∀ , ∈ .
C. ‖+ − + ‖ < ‖ − ‖ ∀ , ∈ .
D. ‖+ − + ‖ ≤ ‖ − ‖ ∀ , ∈ .
6 A 7 A 8 C 9 B 10 D
11 D 12 C 13 D 14 B 15 C
Review Questions
1. State Riesz representation theorem.
2. What is Hilbert adjoint operator.
3. Define Self adjoint operator.
4. Show that the Hilbert adjoint operator + ∗ of + exists , is unique and is bounded linear
operator with norm
‖+ ∗ ‖ = ‖+‖.
5. Show that the adjoint operator preserves addition, reverses the product and it is conjugate
linear.
6. Define self adjoint operator and give examples.
7. Show that If & and + are self adjoint opeartors on a Hilbert space , then their product &+
is self adjoint if and only if they commute. That is &+ = +&.
8. Show that normal operator need not be self adjoint.
9. If Q* and Q# are normal operators on a Hilbert space with property that either
commutes with the adjoint of the other then:
I. Q* + Q# is normal .
II. Q* . Q# is normal .
10. Define Unitary operator and isometric operator.
Further Readings
1. Introductory Functional Analysis With Applications By Erwin Kreyszig.
2. Functional Analysis By Walter Ruddin, Mcgraw Hill Education.
3. J. B Conway, A Course In Functional Analysis.
4. C. Goffman G Pedrick, A First Course In Functional Analysis.
5. B.V. Limaya, Functional Analysis.
Objectives
After studying this unit, you will be able to understand:
Introduction
In this chapter, we discuss about Self adjoint operator and its properties. Further, positive operators
and its properties are discussed. Finally we discuss about normal operator, unitary operators and
isometric operator.
〈 , 〉=〈 , ∗ 〉
Which gives ,
〈 ,( − ∗) 〉 = 0 for all , ∈
Since ≠ 0, we have ( − ∗) = 0 for all , ∈ , we have
∗
=
Proving that is self adjoint.
also
∗
( )∗ = ∗ ∗∗
= ∗
, so that
∗
( )∗ = ∗
.
∗ ∗
Hence + and are self adjoint.
Theorem. If and are self adjoint opeartors on a Hilbert space , then their product is self
adjoint if and only if they commute. That is = .
∗ ∗
Proof. Given and are self adjoint opeartors on a Hilbert space . Then = , = .
Let us assume that and commute, we will prove that is self adjoint.
Now,
( )∗ = ∗ ∗
=
=
implies that
( )∗ =
Conversely, let us assume that is self adjoint and we will show that commute.
By hypothesis , we have
( )∗ = ………..(1)
But
( )∗ = ∗ ∗ = , ………..(2)
( by properties of adjoint operators)
From (1) and (2), we have
= .
Or in other words we can say that if is self adjoint , then they commute.
Theorem. An operator on a complex Hilbert space is self adjoint if and only if 〈 , 〉 is real for
all .
Proof. Let us assume that is self adjoint operator on .
∗
i.e, = , then for every ∈ , we have
〈 , 〉=〈 , ∗ 〉
=〈 , 〉
=〈 , 〉.
Thus 〈 , 〉 is equal to its own conjugate and is therefore real.
To prove the converse part, let us assume that 〈 , 〉 is real for all ∈ and we will show that is
self adjoint. Since 〈 , 〉 is real for all ∈ , we have
〈 , 〉=〈 , 〉
=〈 , ∗ 〉
=〈 ∗ , 〉
Where ∗ is the adjoint of which exists for every ∈ , from the above we get
〈 , 〉−〈 ∗
, 〉 = 0 for all ∈ .
∗
This gives 〈 − , 〉 for all ∈ .
Hence, we have
〈( − ∗)
, 〉 = 0 for all ∈ .
As we know that, if is an operator on a Hilbert space , then 〈 , 〉 = 0 for all ∈ if and only if
= 0.
Thus, we have
− ∗
=0
or,
∗.
=
Therefore the operator is self adjoint.
=‖ ‖
≥ 0.
Also,
〈0 , 〉 = 〈0, 〉
= 0.
Hence and 0 are positive operators.
(ii) For an arbitrary on , then ∗ ∗
and are positive operators.
∗ ∗
First we note that and are self-adjoint. Bu using properties of adjoint operators, we get
( ∗ )∗ =( ∗ )∗ ∗
= ∗∗ ∗
∗
=
Also,
( ∗ )∗ = ∗ ( ∗ )∗
= ∗ ∗∗
= ∗
=‖ ∗ ‖
≥ 0.
And
〈 ∗ , 〉=〈 , ∗∗ 〉
=〈 , 〉
=‖ ‖
≥ 0.
∗ ∗
Hence and are positive operators.
Note. If two bounded self-adjoint linear operators and on a Hilbert space are positive
and commute , then their product is positive. `
Note: The limit of any convergent sequence ! "# of any normal operator is normal.
Theorem. If and are normal operators on a Hilbert space with property that either
commutes with the adjoint of the other then:
(i) + is normal .
(ii) . is normal .
Proof. Since and are normal, we get
∗ ∗
= ...............(1)
and
∗ ∗
= ...............(2)
From hypothesis either commutes with adjoint of the other.
So,
∗ ∗
= ...............(3)
and
∗ ∗
= ...............(4)
To $%&'( ()), we have to show that
( + )( + )∗ = ( + )∗ ( + ). ...............(5)
Using the fact that adjoint operators preserves addition, we get
( + )( + )∗ = ( + )( ∗
+ ∗ ).
∗ ∗ ∗ ∗
= + + + . ...............(6)
* +,)-. (1) (2) (3) 2-3 (4) )- (6), 6( .(7
∗ ∗ ∗ ∗
= + + +
∗( )+ ∗
= + ( + )
=( ∗
+ ∗
)( + )
=( + )∗ ( + )
Hence,
( + )( + )∗ = ( + )∗ ( + ).
Therefore + is normal.
Now to prove (ii), we have to prove
( )( )∗ = ( )∗ ( )
Now we have
( )( )∗ = ∗ ∗
∗ ∗
= ( ) .
But,
∗ ∗ ∗ ∗
( ) = ( )
∗ ∗
=( )( )
∗ ∗
=( )( ).
But,
∗ ∗ ∗ ∗
( )( )= ( )
∗ ∗
=( )( )
=( )∗ ( ).
Thus,
( )( )∗ = ( )∗ ( ).
So that,
is Normal.
‖ − ‖=‖ − ‖∀ , ∈
Since is linear , the condition is equivalent to ‖ ‖=‖ ‖∀ , ∈ .
Then
?
‖ ‖ = =| <| =‖ ‖
<@
so is an isometric operator. The operator defined is called the right shift operator given by
(< = (<A .
Note: If is an operator on a Hilbert space , then the following conditions are equivalent to
one another .
(i) ∗ =
(ii) 〈 , 〉 = 〈 , 〉∀ , ∈ .
(iii) ‖ ‖=‖ ‖∀ ∈ .
Theorem. An operator on a Hilbert space is unitary if and only if it is an isomorphism of
onto itself.
Proof. Let be an unitary operator on . Then from the definition of the unitary operator, it is
invertible. Therefore it is onto . Further,
∗ =
Hence,
‖ ‖=‖ ‖∀ ∈
This proves that is an isometric isomorphism of onto itself.
Now to prove the converse let us assume that is an isometric isomorphism of onto itself.
9
Then is one-one and onto . Therefore exists. From our assumption
‖ ‖=‖ ‖∀ ∈ . ……….(1)
By the above note we have ∗ = .
Hence ,
∗ 9 9
( ) = ,
Which gives,
∗( 9 )= 9
so that
∗ 9
= .
Thus
∗ = 9
So that,
∗ =
∗ = 9
∗ = .
∗ ∗
Hence = = .
Which proves that is unitary.
Summary
An operator on a Hilbert space is said to be self adjoint operator if ∗ = .
0 and are examples of self adjoint operators.
If an operator on is self adjoint operator , then 〈 , 〉=〈 , 〉 for every , ∈ and
conversely.
If and are self adjoint opeartors on a Hilbert space , then their product is self adjoint
if and only if they commute. That is = .
An operator on a complex Hilbert space is self adjoint if and only if 〈 , 〉 is real for all
.
A self adjoint operator on is said to be positive if ≥ 0 in the order relation. This means
〈 , 〉≥0∀ ∈ .
The identity operator and the zero operator 0 are positive operators.
∗ ∗
For an arbitrary on , then and are positive operators.
If is a positive operator on a Hilbert space , then + is non –singular.
If two bounded self-adjoint linear operators and on a Hilbert space are positive and
commute , then their product is positive.
∗
If be a Hilbert space and let ∈ ( ) and be the adjoint of . Then is said to be
normal operator if,
∗ = ∗ .
Every self adjoint operator is normal.
A normal operator need not be self adjoint.
The limit of any convergent sequence ! "# of any normal operator is normal.
If and are normal operators on a Hilbert space with property that either
commutes with the adjoint of the other then:
a. + is normal .
b. . is normal
Keywords
Hilbert Space
Self adjoint operator
Positive operator
Normal operator
Unitary operator
Isometric operator
Linear operator
Zero operator
Bounded linear transformation
Self Assessment
1: An operator on is said to be isometric if
‖ − ‖=‖ − ‖∀ , ∈ .
A. True
B. False
2: An operator 8 on a Hilbert space is said to be unitary if
88 ∗ = 8∗ 8 = .
A. True
B. False
5: If and are self adjoint opeartors on a Hilbert space , then their product is self adjoint
if and only if .
A. + = + .
B. = .
C. > .
D. None of the above.
A. = 0.
B. > 0.
C. < 0.
D. ≤ 0.
∗
9: Let be a Hilbert space and let ∈ ( ) and be the adjoint of . Then is said to be
normal operator if:
A. ∗ = .
B. ∗ = ∗ .
C. ∗ = ∗.
A. 88 ∗ = 8 ∗ 8 = .
B. If 8 is unitary, then it is normal.
C. 8 ∗ = 8 9 .
D. All of the above are true.
A. ‖ − ‖≥‖ − ‖∀ , ∈ .
B. ‖ − ‖=‖ − ‖∀ , ∈ .
C. ‖ − ‖<‖ − ‖∀ , ∈ .
D. ‖ − ‖≤‖ − ‖∀ , ∈ .
6. A 7. A 8. C 9. B 10. D
Review Questions
1. Define self adjoint operator and give examples.
2. Show that If and are self adjoint opeartors on a Hilbert space , then their product
is self adjoint if and only if they commute. That is = .
3. Show that normal operator need not be self adjoint.
4. If and are normal operators on a Hilbert space with property that either
commutes with the adjoint of the other then:
I. + is normal .
II. . is normal .
5. Define Unitary operator and isometric operator.
Further Readings
1. Introductory Functional Analysis With Applications By Erwin Kreyszig.
2. Functional Analysis By Walter Ruddin, Mcgraw Hill Education.
3. J. B Conway, A Course In Functional Analysis.
4. C. Goffman G Pedrick, A First Course In Functional Analysis.
5. B.V. Limaya, Functional Analysis.
Objectives
After studying this unit, you will be able to understand:
Introduction
In this chapter , we discuss about reflexivity of Hilbert space. Further, we discuss about Orthogonal
projection and properties of orthogonal projection.
We show that, provided is a Hilbert space, is surjective mapping from to . For this we
have to prove that, given any element ℎ of , there is a ∈ such that
= .
For this consider the mapping : → defined by (2), : → as follows:
For any ∈ , ∈ . Also, for any ℎ ∈ ,ℎ is in .
So we put
= , ∈ .
Let ∈ . Then under , we let mapped onto , where is an element of the dual space of
defined by :
=ℎ ………..(4)
=ℎ + !
=ℎ +ℎ 2
= + ! …………(5)
And,
$ =ℎ $
=ℎ $
= $ℎ
%& '& ()*+, -./ 0'*/-1
=$ ………..(6)
Now ,
| | = |ℎ |
= |ℎ |
≤ ‖ℎ‖‖ ‖
≤ ‖ℎ‖‖ ‖ , ‖ ‖=‖ ‖ = ‖ ‖,
so that ,
‖ ‖ ≤ ‖ℎ‖,
Where ‖ℎ‖ is finite because ℎ ∈ . Hence is a bounded linear functional in . By Riesz
represemtation theoremthere is a unique ∈ such that
=〈 , 〉=ℎ
From (4) or equivalentely
ℎ = 〈 , 〉.
But then , from (3) and the definition of we have:
= =〈 , 〉=ℎ
for all ∈ , ∈ . Hence
= ℎ………..(7)
Thus is surjective.
To see that is injective, suppose that, for , ! ∈ ,
=
!
Then
4 5 = = ! =
!
6
=
7
= !
And
68 7
= + !
= + !
= 6
+ 7
= 6
+ 7
……….(8)
while
9 = $
=$
=$
For all ∈ . Hence
68 7
= 6
+ 7
and
$ =$ .
Lastly, to see that is an isometry , let ∈ .
Then by Riesz representation theorem,
‖ ‖=‖ ‖
Where is in . Again by Riesz representation theorem, any ∈ is given by
= 〈 , 〉, ∈ , ∈ and = .
‖ ‖=‖ ‖= Sup | |
‖ ‖= >∈?
= Sup‖@‖= A∈?B
| |
= .
Hence is an isometric isomorphism between and . So is reflexive.
= F + I−F .
This shows that the projection of onto CE is I − F.
There is another characterization of a projection on , which is sometimes used as a definition.
Theorem 1 . A bounded linear operator F: → on a Hilbert space is a projection if and only if F
is self adjoint and idempotent ( .ℎ-. '&, F ! = F).
Proof. Suppose that F is a projection on and denote F by C. Then F ! = F because for every
∈ and F = ∈ C we have
F! = F = =F .
Furthermore, let = + and ! = ! + !, where , ! ∈ C and , ! ∈ C E .Then
〈 , !〉 = 〈 !, 〉=0
because C ⊥ C E , and self adjointness of F is seen from
〈F , !〉 =〈 , ! + !〉 =〈 , !〉 =〈 + , !〉 = 〈 , F !〉
.
Conversely suppose that F ! = F = F ∗ and denote F by C. Then for every ∈
=F + I−F .
Orthogonality C = F ⊥ I−F follows from
〈F , I − F N〉 = 〈 , F I − F N〉 = 〈 , FN − F ! N〉 = 〈 , 0〉 = 0.
C is the null space O I − F of I − F , because C ⊂ O I − F can be seen from
I−F F =F − F! =0
and C ⊃ O I − F follows if we note that I − F = 0 implies = F . Hence C is closed . Finally,
F\C is the identity operator on C since writing = F , we have F = F ! = F = .
〈F , 〉 = ‖F ‖! ………..(2)
F S 0……………(3)
‖F‖ ≤ 1; ‖F‖ = 1 if F V W0X………..(4)
Proof. (2) and (3) follows from
〈F , 〉 = 〈F ! , 〉 = 〈F , F 〉 = ‖F ‖! S 0
.
By the Schwarz inequality
‖F ‖! = 〈F , 〉 ≤ ‖F ‖‖ ‖
‖YZ‖
So that ‖Z‖
≤ 1 for every V 0, and ‖F‖ ≤ 1.
‖YZ‖
Also ‖Z‖
= 1 if ∈F and V 0.
! = ! + !, ! ∈ C, ∈ CE
So that,
F + ! =F + ! + + !
= + !
=F +F !
= $F ∀ ∈
Note: The Product of two bounded self adjoint linear operators [ and \ on a Hilbert space
is self adjoint if and only if the operators commute,
[\ = \[. (Already proved in chapter 10)
Theorem. ( Product of projections)
In connection with product (composites ) of projections on a Hilbert space , the following two
statements hold.
= F F!
= F.
Hence F is a projection by theorem 1 above , and for every ∈ we have
F = F F! = F! F .
Since F projects onto C ,we must have F F! ∈C.
Similarly,
F! F ∈ C! .
Together, F ∈ C ∩ C! . Since ∈ was arbitrary, this shows that F projects into C = C ∩ C! .
Actually, F projects onto C. Indeed, if ∈ C, then ∈C, ∈ C! and
F = F F! = F = .
Conversely, if F = F F! is a projection defined on , then F is self adjoint by theorem 1 above and
F F! = F! F follows by above note.
Proof of (ii) . if C ⊥ _ then C ∩ _ = W0X
and
F` Fa = 0 ∀ ∈ by part (i), so that F` Fa = 0.
Conversely, if F` Fa = 0, then for every ∈ C and N ∈ _ we obtain
〈 , N〉 = 〈F` , Fa N〉
= 〈 , F` Fa N〉
= 〈 , N〉
= 0.
Hence C ⊥ _.
Theorem (Sum of projections). Let F and F! be projections on a Hilbert space . Then
Therefore,
F F! + F! F = 0 …….(5)
Multiplying by F! from the left, we obtain
F! F F! + F! F = 0 …….(6)
=F + F!
= + !
= N.
Hence N ∈ C and C ⊃ C ⊕ C! .
Thus,
C = C ⊕ C! .
a. F! F = F F! = F
b. C ⊂ C!
c. O F ⊃ O F!
d. ‖F ‖ ≤ ‖F! ‖ ∀ ∈
e. F ≤ F! .
2) Let F and F! be projections defined on a Hilbert space . Then
(i) The difference F = F! − F is a projection on if and only
if C ⊂ C! , where C^ = F^ .
(ii) If F = F! − F is a projection, F projects onto C, where C
is the orthogonal complement of C in C! .
From these two properties of projection we can now derive a basic result about the convergence of
a monotonic increasing sequence of projections.
F = d Fc .
c=
O F = f O Fc .
c=
Notes: If F is the projection on the closed linear subspace C of , then ∈ C if and only if
F = .
Notes: If F is the projection on the closed linear subspace C of , then F = . if and only if
‖F ‖ = ‖ ‖.
Notes: A projection on whose range and null spaces are orthogonal is called perpendicular
projection.
Summary
Every Hilbert space is reflexive.
If C be a closed subspace of a Hilbert space . Then we know that
= C ⊕ CE.
A bounded linear operator F: → on a Hilbert space is a projection if and only if F is
self adjoint and idempotent.
Every projection is linear.
The product of projections need not be a projection .
The Product of two bounded self adjoint linear operators [ and \ on a Hilbert space
is self adjoint if and only if the operators commute.
The product of projections F = F F! is a projection on if and only if the projections F
and F! commute, that is , F F! = F! F . Then F projects onto C = C ∩ C! , where C^ =
F^ .
Two closed subspaces C and _ of are orthogonal if and only if the corresponding
projections satisfy F` Fa = 0.
If F and F! be projections on a Hilbert space . Then
(i) The sum F = F + F! is a projection on if and only
Keywords
Hilbert space
Isometric isomorphism
Reflexivity
Dual
Linear mapping
Projection
Orthogonal projection
Self Assessment
1: Which of the following statements is/are true?
A. Every Hilbert space is reflexive.
B. Every Banach space is reflexive.
C. Both (A) and (B).
D. None of (A) and (B).
3: For any projection F on a Hilbert space ,which of the following is/are true?
A. 〈F , 〉 = ‖F ‖!.
B. F S 0.
A. Two closed subspaces C and _ of are orthogonal if and only if the corresponding
projections satisfy F` Fa = 0.
B. Two closed subspaces C and _ of are orthogonal if and only if the corresponding
projections satisfy F` Fa > 0.
C. Two closed subspaces C and _ of are orthogonal if and only if the corresponding
projections satisfy F` Fa < 0.
D. All of the above are true.
6: Let F and F! be projections on a Hilbert space . Then Which of the following statement
is/are true?
A. Fg = 1.
B. Fg. 1.
C. Fg = 0.
D. None of the above.
8: If F is the projection on the closed linear subspace C of , then F = . if and only if:
A. ‖F ‖ = .
B. ‖F ‖ = ‖ ‖.
C. ‖F ‖ = 1.
D. None of the above.
9: If F is the projection on a Hilbert space , then which of the following is/are true?
A. F is a positive operator on .
B. 0 ≤ F ≤ 1
C. ‖F‖ ≤ ‖1‖.
D. All of the above are true.
10: Which of the following statement is/are true?
A. A projection on whose range and null spaces are orthogonal is called perpendicular
projection.
B. If F is the projection on a closed linear subspace C of if and only if I − F is a projection
E
on h .
C. If F is the projection on the closed linear subspace C of , then ∈ C if and only if
F = .
D. All of the above are true.
A. I − F is a projection on hE .
B. I − F is a projection on hEE .
C. I − F is a projection on h.
D. None of the above .
6. C 7. C 8. B 9. D 10. D
11. A 12. C
Review Questions
1. Show that every Hilbert space is reflexive.
2. Show that a bounded linear operator F: → on a Hilbert space is a projection if and
only if F is self adjoint and idempotent.
3. Show that every projection is linear.
4. Show that two closed subspaces C and _ of are orthogonal if and only if the
corresponding projections satisfy F` Fa = 0.
5. Show that product F = F F! is a projection on if and only if the projections F and F!
commute, that is , F F! = F! F .
Further Readings
Introductory Functional Analysis With Applications By Erwin Kreyszig.
Functional Analysis By Walter Ruddin, Mcgraw Hill Education.
J. B Conway, A Course In Functional Analysis.
Objectives
After studying this unit, you will be able to understand:
Spectrum of an operator
Spectral properties of bounded linear operators
Introduction
In this chapter, we discuss about Spectrum of an operator. Further, we discuss about spectral
properties of bounded self-adjoint linear operator.
Note: Eigenvalue is also called characteristic value, proper value or spectral value.
Note: Eigen vector is also called characteristic vector, proper vector or spectral vector.
Definition. The eigenvectors corresponding to eigenvalue and the zero vector form a
vector subspace, which is called the eigenspace of corresponding to eigenvalue .
From the definition of eigenvalues and eigenvectors, we have the following properties.
,
Which gives,
.
Note: Thus (I) tells us that corresponding to single eigenvalue there may correspond
more than one eigenvector.
Note: If the Hilbert space has no non-zero vectors, then cannot have any eigenvectors
and hence the whole theory reduces to triviality. So we shall assume throughtout this chapter
0.
Spectrum of an operator
Definition. The set of all eigenvalues of is called spectrum of and is denoted by . Its
complement in the complex plane is called resolvent set of .
………..(1)
,
So that,
0 and 1
,
So that,
1 and 0
Hence the matrix representation of is
0 1
1 0
For this matrix, the eigenvalues are given by the characteristic equation
1
0
1
⇒ 1 0
⇒ 1
⇒ ,
So that,
.
Note: An operator on a finite dimensional Hilbert space is singular if and only if there
exists a non zero vector in such that 0.
Theorem. If is an operator on a finite dimensional Hilbert space, then the following statements
are true.
"
( .
Hence,
"
det ' ( det ( .
But,
det ( " det (
This proves that det ' ( det ( .
Thus is an eigen value of if and only if det ( 0.
Hence,
.
Hence if is an eigenvalue of , then is an eigenvalue of . Continuing in this way, we see that
if is an eigen value of , then , is an eigenvalue of , for any positive integer -.
Let # . /0 / . / . ⋯ /2 . 2 , where /0 , / , / , … , /2 are scalars. Then
4# 5 /0 ( / / ⋯ /2 2
2
/0 / ⋯ /2
2
4/0 / ⋯ /2 5 .
2
Hence # /0 / ⋯ /2 is an eigen value of # . Thus if ∈ , then # ∈
$# %.
Which gives,
0, , ,… , ,…, , ,
which implies,
0, , , ," …
By hypothesis , ∈ 6 is non zero vector so that , 0 for any -.
Hence 0 implies 0 and implies 0 contracdicting that is non-zero vector.
Hence cannot have eigen values.
Theorem. (Spectral mapping theorem for polynomials )
Let be an operator on a complex Banach space and let 7 be a polynomial. Then
$7 % 7$ % 7 : ∈ .
or
0.
Let 7 . Then 7 0 by hypothesis.
Hence
7$ %
1 0
So that 1 9: 0
Hence
0,1 .
〈 , 〉
〈 , 〉
̅〈 , 〉 .
Hence is real.
Proof of (ii). Let and @ be eigen values of , and let and A be corresponding eigenvectors .
Then
And
A @A,
Since is self-adjoint and @ is real,
〈 , A〉 〈 , A〉 〈 , A〉
〈 , A〉
〈 , @A〉
@〈 , A〉 .
Since @, we must have
〈 , A〉 0,
Which shows that and A are orthogonal.
Note (Resolvent set) Let : → be a bounded self adjoint linear operator on a complex
Hilbert space . Then a number belongs to the resolvent set of if and only if there exists
a B C 0 such that for every ∈ ,
‖ & ‖ D B‖ ‖………..(1)
Here ̅ E. By subtraction,
〈HHHHHHHHHH
& , 〉 〈 & , 〉 ̅ 〈 , 〉
2 E‖ ‖ .
The left side is 2 (J 〈 & , 〉, where (J denotes the imaginary part, the latter cannot exceed the
absolute value, so that, dividing by 2, taking absolute values and applying the Schwarz inequality,
we obtain
|E|‖ ‖ |(J 〈 & , 〉| L | 〈 & , 〉| L ‖ & ‖‖ ‖.
Division by ‖ ‖ 0 gives |E|‖ ‖ L ‖ & ‖.
If E 0, then ∈ by above note . Hence for ∈ , we must have E 0, that is, is real.
Summary
If be an operator on a Hilbert space . Then a scalar is called an eigenvalue
of if there exists a non zero vector in such that
.
Eigenvalue is also called characteristic value, proper value or spectral value.
If is an eigenvalue of , then any non zero vector in such that
is called an eigenvector of .
Eigen vector is also called characteristic vector, proper vector or spectral vector.
The eigenvectors corresponding to eigenvalue and the zero vector form a vector
subspace, which is called the eigenspace of corresponding to eigenvalue .
If is an eigen vector of corresponding to eigenvalue and is any nonzero scalar,
then is also an eigenvector of corresponding to same eigen value.
Corresponding to single eigenvalue there may correspond more than one eigenvector.
If is an eigenvector of , then cannot correspond to more than one eigenvalue of .
The set of all eigenvalues of is called spectrum of and is denoted by . Its complement
in the complex plane is called resolvent set of .
An operator on a finite dimensional Hilbert space is singular if and only if there exists
a non zero vector in such that 0.
If is an operator on a finite dimensional Hilbert space, then the following statements are
true.
a) is singular if and only if 0 ∈ .
" "
b) If is non -singular, then ∈ if and only if ∈ .
"
c) If is non singular, then .
d) If ∈ and if # is a polynomial , then # ∈ $# %.
An operator on a Hilbert space need not necessarily posses an eigenvalue .
If be an operator on a complex Banach space and let 7 be a polynomial. Then
$7 % 7$ % 7 : ∈ .
Let : → be a bounded self-adjoint linear operator on a complex Hilbert space . Then
a) All the eigen values of (if they exists) are real.
b) Eigenvectors corresponding to numerically different eigenvalues of are orthogonal.
If : → be a bounded self adjoint linear operator on a complex Hilbert space . Then
a number belongs to the resolvent set of if and only if there exists a B C 0 such
that for every ∈ ,
‖ & ‖ D B‖ ‖
The spectrum of a bounded self-adjoint linear operator : → on a complex
Hilbert space is real.
If is an arbitrary operator on a finite dimensional Hilbert space , then the spectrum of
namely is a finite subset of the complex plane and the number of points in
does not exceed the dimension - of .
An operator on a finite dimensional Hilbert space is singular if and only if there exists
a non-zero vector ∈ such that 0.
Keywords
Spectrum of an operator
Bounded linear operator
Eigen values
Eigen vectors
Eigen space
Closed subspace
Charteristic equation
Hilbert space
Banach space
Idempotent operator
Self adjoint operator
Self Assessment
1: Let be an operator on a Hilbert space . Then a scalar is called the ………..of if
there exists a non zero vector in such that .
A. Eigenvalue
B. Proper value
C. Characteristic value
D. All of the above.
A. Eigenvector
B. Proper vector
C. Both (A) and (B)
D. None of (A) and (B)
3: If is an eigen vector of corresponding to eigenvalue and is any nonzero scalar, then is
also an eigenvector of corresponding to same eigen value.
A. True
B. False
4: If the Hilbert space has no non-zero vectors, then the operator cannot have any eigenvectors.
A. True
B. False
6: An operator on a finite dimensional Hilbert space is …………….if and only if there exists a
non zero vector in such that 0.
A. Non-singular
B. Singular
C. Regular
D. None of the above.
7: If is an operator on a finite dimensional Hilbert space, then which of the following statements
is/are true.
9: Which of the following is the spectrum of the idempotent operator on a Banach space.
A. 0, 1 .
B. 0,0 .
C. 1,1 .
D. 0,1 .
12: The eigenvectors corresponding to eigenvalue and the zero vector form a vector
subspace, which is called the eigenspace of corresponding to eigenvalue .
A. True
B. False
6. B 7. D 8. A 9. D 10. C
11. A 12. A
Review Questions
1. Define Spectrum of an operator on a finite dimensional Hilbert space.
2. Define the resolvent set of an operator.
3. Show that an operator on a finite dimensional Hilbert space is singular if and only if there
exists a non zero vector in such that 0.
4. Find the spectrum of an idempotent operator on a Banach space.
5. Show that if : → be a bounded self- adjoint linear operator on a complex Hilbert space
. Then all the eigen values of , if they exists are real.
6. Define eigen values and eigen vectors of an operator.
7. Define eigenspace of an operator.
8. Show that eigenspace of an operator on a Hilbert space is a non zero closed linear Subspace of
.
Further Readings
Dr. Arshad Ahmad Khan, Lovely Professional University Unit 14: Spectrum of Normal Operators
Objectives
After studying this unit, you will be able to understand:
Introduction
In this chapter, we discuss about spectrum of Normal Operators. Further, we discuss about
spectral resolution and some of its important properties. Finally, we discuss nin-emptiness of the
spectrum.
Proof. Since is normal operator on ,therefore − is also normal operator on where is any
scalar.
Now,
− ∗
= ∗
− ∗
= ∗ − .
Since − is normal, we know that an operator on a Hilbert space is normal iff
‖ ∗ ‖=‖ ‖ for every , therefore we have
‖ − ‖=‖ − ∗ ‖∀ ∈
⟺‖ − ‖= ∗ − ∀ ∈
⟺‖ − ‖= ∗ − ∀ ∈ ………..(1)
eigen value .
Therefore is an eigen vector of with eigen value if and only if it is an eigenvector of with
Theorem. If is a normal operator on a Hilbert space , then the eigenspaces of are pairwise
orthogonal.
Proof. Let , be eigenspaces of a normal operator on corresponding to the distinct
eigenvalues and .
Then to prove that ⊥ . Let be any vector in and be any vector in .
Then ,
= and = .
We have,
〈 , 〉=〈 , 〉
=〈 , 〉
=〈 , ∗ 〉
=〈 , 〉
= 〈 , 〉.
Therefore,
− 〈 , 〉=0
Implies,
〈 , 〉 = 0 as ≠
⇒ ⊥
Thus,
⊥ ∀ ∈ and ∀ ∈ .
Hence,
⊥ .
Theorem. If is a normal operator on a Hilbert space , then each eigenspace of reduces .
reduces we have to show that is invariant both under and ∗ , as we know that a closed
Proof. Let be an eigen space of corresponding to the eigen value , in order to prove that
∗
linear subspace of a Hilbert space reduces an operator iff is invariant under both and
.
∗
, let us take any vector ∈ . Then
Now is invariant under because is eigenspace of . To show that is also invariant under
=
Therefore ∗
= ̅ . Since is linear subspace of , therefore ∈ and ̅ is some scalar .
Implies ,
̅ ∈ . Thus ∈ implies ∗ = ̅ ∈ .
Therefore is also invariant under ∗
.
Hence reduces .
Theorem. Let be an operator on a finite dimensional Hilbert space . Let , . … ,
distinct eigen values of and let , , … ,
be the
! , ! , … , ! be the projections on these eigenspaces. Then the following statements are equivalent.
be their corresponding eigenspaces , and let
" ′$ .
The !"% $ are pairwise orthogonal , ! & ! & ⋯ & ! = and = ! & ! &⋯& ! .
I. The are pairwise orthogonal and span
II.
III. is normal.
Note: The spectral theorem tells us that every normal operator on a non zero finite
dimensional Hilbert space has a spectral resolution.
Now in the following theorem we shall prove that spectral resolution of a normal operator on a
finite dimensional non zero Hilbert space is unique.
Theorem. The spectral resolution of a normal operator on a finite dimensional non zero Hilbert
space is unique.
Proof. Let be a normal operator on a finite dimensional non zero Hilbert space .
Let
= ! & ! &⋯& !
= " .
Thus is a non zero vector such that = " , therefore " is an eigen value of .
Now we show that each eigen value of is an element of the set { , ,…, }.
Since is an operator on a finite dimensional Hilbert space , therefore must posses an eigen
value. Let be an eigen value of . Then there exists a non zero vector such that
=
⇒ = as =
⇒ =0
⇒ =0
This contradicts the fact that ≠ 0.
Hence must be equal to " for some (.
"$
%
eigen values of .
This we have proved that in the spectral resolution (1) of the scalars are precisely the distinct
Therefore if
= 2 3 & 2 3 & ⋯ & 24 34 ……….(3)
is another spectral resolution of , then the scalars 2"% $ are precisely the distinct eigenvalues of .
Therefore remaining the projections 3"% $, if necessary , we can write (3) in the form
= 3 & 3 &⋯& 3 .
Now we shall show that in the spectral resolution (1) of the !"% $ are uniquely determined as
specific polynomials in .
We have
5 = = ! & ! & ⋯& !
= ! & ⋯& !
= ∑)= 8; ) <!) .
= ? >") !) .
)=
= !" .
Thus for each (, ," = !" .
Which is a polynomial in . But we must show the existence of such a polynomial ," over the field
of complex numbers .
Obiviously
9− … 9− 9− … 9−
," 9 =
"@ "A
" − … "− "@ "− "A … "−
Serves the purpose .
That is
," " = 1 , if ( = +
and
," " = 0 , if ( ≠ +.
If we apply the above discussion for 3"% $ then we shall get
3" = ," for each (.
Therefore !" = 3" for each (.
Hence, the two spectral resolutions are the same.
Note: If is a normal operator on a finite dimensional Hilbert space , the there exists an
orthonormal basis for relative to which the matrix of is diagonal matrix.
of namely B is a finite subset of the complex plane and the number of points in B
Theorem. If is an arbitrary operator on a finite dimensional Hilbert space , then the spectrum
a non-zero vector ∈ = 0.
Lemma. An operator on a finite dimensional Hilbert space is singular if and only if there exists
such that
Proof of lemma . Suppose there exists a non zero vector ∈ such that = 0. We can write
= 0 as = 0.
Since ≠ 0,
the two distinct elements , 0 ∈ have the same image under . Therefore the mapping
one-one . Hence @ does not exists . Hence it is singular.
is not
To prove the converse assume that is singular. Suppose there exists no non-zero vector such
that
= 0.
This means that = 0,
implies ,
= 0.
Then must be one-one. Since is finite dimensional and is one-one, is onto so that is non-
singular contracdicting the the hypothesis that is singular .
Hence there must be a non-zero vector such that = 0.
of dimension 7.
A scaler ∈ B , if there exists a non-zero vector such that − = 0.
Proof of the theorem. Let be an operator on a finite dimensional Hilbert space
Now,
− = 0 if and only if − is singular by the above lemma .
But,
− is singular if and only if CD9 − = 0.
Thus,
∈B if and only if satisfies the equation CD − = 0.
Let E be an ordered basis for .Thus CD9 − = CD9 F − GH .
But ,
det F − GH = det F GH − F GH .
Thus,
det − = det F GH − F>") G .
So,
CD9 − = 0 implies det;F GH − L>") M< = 0…………(1)
If F GH = F2") G is the matrix of , then (1) gives
2 − 2 … 26
2 2 − … 2 6
N O = 0…………………..….(2)
… … … …
26 … … 266 −
The expansion of the determinant of (2) gives a polynomial equation in of degree 7 with complex
the field of complex numbers. Hence every operator on has an eigenvalue so that B ≠ 0.
coefficients . So, by the fundamental theorem of algebra this equation must have atleast one root in
Further, this equation in has exactely 7 roots in the complex field. If the equation has repeated
roots , then the number of distinct roots are less than 7. So that has an eigenvalue and the
number of distinct eigenvalues of is less than or equal to 7. Hence the number of elements of
B is less than or equal to 7.
are complex, B
contain as many as n distinct points but not more than 7 points. If the scaler field is real, it is
Note: If the scalers associated with contains atleast one point. It may
possible that B is empty. Hence in the spectral theory, we usually take the complex scalers so
that we get a richer theory.
Summary
with eigenvalue ̅.
If is a normal operator on a Hilbert space , then is an eigen vector of with eigen
∗
reduces .
orthogonal.
If is a normal operator on a Hilbert space , then each eigenspace of
A closed linear subspace of a Hilbert space reduces an operator iff is invariant
∗.
under both and
. Let , .…,
, ,…,
If be an operator on a finite dimensional Hilbert space be the
let ! , ! , … , ! be the projections on these eigenspaces. Then the following statements are
distinct eigen values of and let be their corresponding eigenspaces , and
" ′$ .
equivalent.
The !"% $ are pairwise orthogonal , ! & ! & ⋯ & ! = and = ! & ! &⋯& ! .
a. The are pairwise orthogonal and span
b.
, ,…,
If be an operator on a Hilbert space
namely B is a finite subset of the complex plane and the number of points in B
If is an arbitrary operator on a finite dimensional Hilbert space , then the spectrum of
∈ = 0.
An operator on a finite dimensional Hilbert space is singular if and only if there exists
a non-zero vector such that
Keywords
Spectrum of an operator
Normal operator
Spectral resolution
Hilbert space
Eigenvalue
Eigenvector
Eigenspace
Linear space
Invarience
Finite dimensional non zero Hilbert space
Diagonal matrix
Self Assessment
A. True
B. False
reduces .
orthogonal.
II. If is a normal operator on a Hilbert space , then each eigenspace of
.
A. Only I is true.
B. Only II is true.
C. Neither (I) nor (II)
D. Both (I) and (II).
A. Only I .
B. Only II
C. Neither (I) nor (II)
D. Both (I) and (II).
4 : The spectral resolution of a normal operator on a finite dimensional non zero Hilbert space
is unique.
A. True
B. False
A. ‖P ‖ < ‖P‖ .
B. ‖P ‖ = ‖P‖ .
C. ‖P ‖ > ‖P‖ .
D. None of the above.
non-zero vector ∈ = 0.
7: An operator on a finite dimensional Hilbert space is singular if and only if there exists a
such that
A. True
B. False
A. True
B. False
6. B 7. A 8. A
Review Questions
Q1:- What is Spectrum of Normal operator.
Q2:- Show that if T is a normal operator on a Hilbert space H, then the eigen spaces of T are
pairwise orthogonal.
Q3:- prove that the spectral resolution of a normal operator on a finite dimensional non zero Hilbert
space is unique.
Q4:- Prove that an operator T on a finite dimensional Hilbert space H is singular if and only if there
exists a non zero x in H such that Tx=0. Prove that the zero operator on any normed space is
compact.
Further Readings
Introductory Functional Analysis With Applications By Erwin Kreyszig.
Functional Analysis By Walter Ruddin, Mcgraw Hill Education.
J. B Conway, A Course In Functional Analysis.
C. Goffman G Pedrick, A First Course In Functional Analysis.
B.V. Limaya, Functional Analysis.