Functional Analysis Is The Study of Sets With Composite
Functional Analysis Is The Study of Sets With Composite
M 2 ¿ d ( x , y )=0 ⅈff x= y
M 3 ¿ d ( x , y ) =d ( y , x ) (symmetry)
M 4 ¿ d ( x , z ) ≤ d ( x , y )+ d ( y , z ) ( Triangular inequality )
d satisfies M 1 ¿ M 4 properties then it is called Metric on X , and ( X , d ) is called Metric
Space.
Examples:
1) Let X =R
d ( x , y )=| x− y|
d (x , y)= √ ¿ ¿
OR: If X =R2
d ( x , y )=max ¿
√ 2 2
d ( x , y)= ( x 1− y 1 ) + ( x 2− y 2 ) + ( x 3− y3 )
2
OR:
√∑
n
2
d ( x , y)= ( x i− y i)
i=1
√
n
d ( x , y )= ∑ ¿ x i− y i ¿2
i=1
Induced Metric:
~
A subspace ( Y , d ) of ( X , d ) is obtained if we take a⊂¿
Y ⊂ X∧restrict d ¿Y ×Y , Thus the metric on Y isthe restriction
~
d=d ¿Y × Y
~
d is called the metric induced on Y by d .
8) Space B ( A )
spaceof all fuctions which are defined∧bounded on A .
f : A⟶ R
d ( f , g)=¿x ∈ A|f ( x ) −g ( x )|
9) Function space C [ a ,b ]
space of all continous functions defined on closed interval [ a , b ]
d ( f , g )=max|f ( t ) −g ( t )|
a≤ t ≤ b
11) Space l p ¿
{ }
∞
l = x=( x 1 , x 2 , … ) : ∑ ¿ xi ¿ < ∞
p p
where p ≥1
i=1
[∑ ]
∞ 1
p p
d ( x , y)= ¿ x i− y i ¿
i=1
√
∞
d ( x , y)= ∑ ¿ ξ j−η j ¿ 2
j=1
Holder inequality:
p 1/p ( ∑ ❑|η |q )1/q
∞ ∞
∑ ❑|ξ j ηj |≤ ¿|ξ k| ) m
j=1 m=1
√ |2
√∑ 2
∞ ∞ ∞
∑ ❑|ξ j ηj | ≤ ∑ ❑| ξ k ❑ |ηm |
j=1 k=1 m=1
Minkowski Inequality:
❑|ξ + η |p )1/p p 1/p + ( ∑ ❑|η |q )1/q
∞ ∞
(∑
j=1 j j ≤ ¿|ξ
k| ) m m=1
Example: Let d be the metric on a non- empty X Show
that the function
d1 :X*X→R
Consider d1(x,y)= 0
min{1, d(x ,y)}= 0
d(x,y)= 0 , ∀ x,y ϵ R
But d is metric on X .So x=y
Hence , d1(x,y)= 0 iff x=y
M3) : d1(x,y)= d1(y,x)
Since d1(x ,y)=min(1, d(x ,y))
d1(x ,y)=min(1, d(y ,x))
d1(x ,y)=d1(y ,x)
M4): d1(x ,z)≤d1(x ,y)+ d1(y,z)
d1(x ,z)=min{1, d(x ,z)}
d1 (x ,y)=min{1, d(x ,y)}
d1 (y,z)=min{1, d(y ,z)}
Let : d1(x ,z)=1 , d1 (x ,y)=1 , d1(y,z)=1
d1(x ,z)≤d1(x ,y)+ d1(y,z)
1 ≤ 1+ 1
1≤2
Hence, d1(x ,y) is metric on X .
Example: Show that the function
d2 :X*X →R defined by
d ( x , y)
d2(x,y) = 1+ d ( x , y )
, ∀ x,y ϵ X is metric on X
d2(x,y) ≥0
d ( y , x)
= 1+ d ( y , x )
= d2(y,x)
M4 ): d2(x ,z)≤d2(x ,y)+ d2(y,z)
Since d is metric on X so,
d(x ,z)≤d(x ,y)+ d(y,z)
Adding 1 on B.S:
1+d(x ,z)≤ 1+ ¿d(x ,y)+ d(y,z)
Taking reciprocal:
1 1
≥
1+d(x ,z) 1+ d(x ,y)+ d(y,z)
d(x ,z) d(x ,y)+ d(y,z)
≤
1+d(x ,z) 1+d(x ,y)+ d(y,z)
d(x ,z) d(x ,y) d(y,z)
1+d(x ,z)
≤
1+d(x ,y)+ d(y,z) + 1+d(x ,y)+ d(y,z)
d2(x ,y) ≤ d(x ,y)
1+ d(x ,y)+ d(y,z)
+ d(y,z)
1+d(x ,y)+ d(y,z)
……….(A)
As
d(x ,y) d(x ,y)
1+d(x ,y)+ d(y,z)
≤
1+d(x ,y) …….(1)
And :
d(y,z) d(y,z)
1+d(x ,y)+ d(y,z)
≤
1+ d(y,z)
………(2)
Adding 1 and 2:
d(x ,y) d(y,z) d(x ,y) d(y,z)
1+d(x ,y)+ d(y,z) + 1+d(x ,y)+ d(y,z) ≤ 1+d(x ,y) + 1+ d ( y,z)
d(x ,y) d(y,z)
1+d(x ,y)
+ 1+ d(y,z) ≤d (x ,y)+ d (y,z)
2 2
From (A):
d2(x ,z)≤d2(x ,y)+ d2(y,z)
Hence, d2 is metric on X.
• Open Ball:
let (X,d) be a metric space and x 0 ∈ X and r >0 such that;
B( x 0 ,r ¿={ y ∈ X : d(y, x 0)<r}
is called open ball with center x 0and radius r.
• Closed Ball:
B( x 0 ,r ¿={ y ∈ X : d(y, x 0)≤r}
is called closed ball with center x 0and radius r.
• Sphere:
S ( x 0 ,r ¿={ y ∈ X: d(y, x 0)¿r}
Examples:
Let X= R2
√ 2
d ( x , y)= ( x 1− y 1 ) + ( x 2− y 2 )
2
x 0=(0,0) , r =1
Example 2:
Let X= R2
d ( x , y)= max { |x 1− y 1|,|x 2− y 2|}
x 0=(0,0) , r =1
Example 3:
If X= R2
d ( x , y)=|x 1− y 1|+|x 2− y 2|
x 0=(0,0) , r =1
Then y 1 + y 2 <1
Suppose if y 1 + y 2=1
2. If y 1 ≥ 0∧ y 2 ≤ 0
3. If y 1 ≤ 0 then y 2 ≥ 0
4. If y 1 ≤ 0∧ y 2 ≤ 0
Open Set:
Let ( X , d) be metric space & M⊆X are say that M is open set if it contains open
ball at each of its points
Closed Set:
N is closed set if N c is open.
∈- Neighbourhood of x 0 ∈ X :
T ( B ( x 0 , S ) ) ⊆ B (T x , ∈)
Theorem:
T : X→Y is continuous iff the inverse image of every open set in Y under T is open
in X.
Limit Point:
Let (x , d) be a metric space and M⊆ X and x 0 ∈ X then x 0 is Limit point of M if each
ε -Neighbourhood contains of x 0 contains a point of M distinct from x 0.
Closure of set :
Let M be a subset of X. the set consisting of the points of M and the limit points of
M is called the closure of M and is denoted by M .
M =MUM d
• Example:
The set R is separable becauseQ is dense in R .i.e.Q=R and Q is countable.
⇒ R with usual metric is separable.
1)The complex plane C is separable. A countable dense subset of C is the set of all
complex numbers whose real and imaginary parts are both rational.
2)A discrete metric space X is separable iff X is countable.
3)l p is separable but l ∞ is not separable.
• Convergent sequence: A sequence { x n } in a metric space X =( X , d)
is said to be convergent if there is an x ∈ X such that
lim ⅆ ( x n , x )=0
n→∞
lim x n=x
n→∞
Or x n → x
It means that for every ε > 0 ∃ N ∈ N
Such that ⅆ ( x n , x ) <¿ ε ∀ n ≥ N
• Cauchy Sequence: Let { x n } ⊆( X , d ) is Cauchy if for each ε > 0 there exist N ∈ N
such that
ⅆ ( x m , x n ) ¿ ε ∀ n , m≥ N
Let
a=max { ⅆ ( x 1 , x ) , ⅆ ( x 2 , x ) , … … , ⅆ ( x n , x ) }
ⅆ ( x n , x ) < 1+ a
⇒ 0 ≤ ⅆ ( x , z ) ≤ ⅆ ( x , xn )+ ⅆ ( xn , z )
⇒0 ≤ ⅆ ( x , z )≤ 0
⇒ x=z
⇒ ⅆ ( x n , y n )−ⅆ ( x , y ) ≤ ⅆ ( x n , x ) + ⅆ ( y n , y )
{ 1
Neighborhood of x= x 2 ∈ X ; ⅆ ( x 2 , x ) < 2 }
In general
{ 1
}
For each n then Neighborhood of x= x n ∈ X ;ⅆ ( xn , x ) < n contains a point x n of M
different forms.
Thus
1
⇒0 ≤ ⅆ ( x n , x ) ≤ ∀n∈N
n
By Sandwich Theorem
⇒ lim ( x¿¿ n , x)=0 ¿
n→∞
⇒ xn→ x
Hence Proved!
Conversely:
⟹d( x n, x ) =0
If d( x n, x ) =0 ⟺ x n= x
As
x nє M
⟹ xєM
⟹xє M ∴ M⊆M
b) M is closed if and only if x n ϵM , x n ⟶ x , xϵM
Proof:
As M is closed then
M = M ……….1)
As ( x n) in M , x n ⟶ x
⟹ xϵ M ∴ xϵ M ⟺ ( x n) in M such that x n ⟶ x
⟹ xϵM From 1)
Conversely:
M =M
Let xϵ M ∴ xϵ M ⟺ ( x n) in M such that x n ⟶ x
⟹ xϵM
⟹ M ⊆ M …………1)
Also
M ⊆ M ………….2)
From 1) and 2)
M =M
⟹ M is closed
Theorem:
is closed in X.
Proof:
Suppose that (X,d) is complete and M is complete subspace of X. We have to prove that M
is closed.
Therefore xϵM
⟹ M ⊆ M …………1)
Also
M ⊆ M ………….2)
From 1) and 2)
M =M
⟹ M is closed in X
Conversely:
⟹ xϵ M ∴ xϵ M ⟺ ( x n) in M such that x n ⟶ x
xϵM ∵ M = M
Therefore ( x n) is arbitrary Cauchy sequence in M and it converges
in M .
Proof:
√
n
∑ ( x (m)
i −x i )
2
d( x m, x r )= (r )
i=1
√
n
∑ ( x(m)
2
i −xi ) < ε ………1)
(r) 2
i=1
⟹ ( x (m)
i −x i ) < ε
(r ) 2 2
|x (m)
i −x i |<ε
(r )
for each i
⟹ ( x(m )
i ) is Cauchy sequence in R . Since R is complete then every Cauchy sequence in R
Similarly,
lim x (r)
i = xi
r⟶∞
So,
r⟶∞
∑|x ( m)
i −x i| = lim
r⟶∞
∑ | i −xi |
x(m) (r)
i=1 i=1
∑ ( x(m)
2
i −xi ) < ε
2
i=1
√∑ (
n
2
i −x i )
x (m) <ε
i=1
⟹ d ¿, x ¿ <ε ∀ m≥ N
⟹ x m is converges to x .
Hence Rn is complete.
Proof:
Let ( x m ) be a Cauchy sequence in l∞. Then for each ε > 0there exist n 0 ∈ N such that
d ( x m , x n ) < ε ∀ n , m≥ n o ⟶(1)
Now metric on l∞ is d ( x m , x n ) =|x |
(m ) ( n)
−x i
i
¿
As x m= { x(m)
1 , x2 , … , x n } ∈l .
(m) (m ) ∞
⇒|x i |≤ Μ
(m)
∴ ¿ is bounded)
Put metric of l∞ in 1,
|x(mi )−x(in)|
d ( xm , xn ) = ¿ ε ∀ n , m ≥n 0 , ∀ i ≥ 1
⇒|x i −x i |<ε ∀ n , m≥ n0
(m) (n )
As x(m
i
)
is a Cauchy sequence in R . Since R is complete. So, every Cauchy sequence
in R is convergent. Therefore x(mi
)
is convergent. So ∃ x i ∈ Rsuch that;
(m ) i
x i ⟶ x for each i.
|x (m)
i |≤ k m for each i ⟶(2)
As |x (m)
i −x i |≤ ε ∀ n , m≥ n0
(n)
Now consider,
|x i|=|xi −x(im) + x (mi )|
By using Triangular Inequity (|a+b|≤|a|+|b|),
|x i|≤|x i−x (m)
i |+|x i |
(m)
⇒ x ∈l ∴¿ is bounded)
∞
|x (m)
i −x i|
⇒ <ε ∀ n , m≥ n0∧¿for each i.
Now x(m
i
)
converges to x i according to l∞ .
⇒ d ( x m , x ) < ε ∀ m ≥ n0
⇒ ( xm) ⟶ x
ε
⇒|ξ j −ξ j|< ∀ n ≥ N
(n)
⟶(1)
3
In particular for n ¿ Ν ∀ j;
Since x n ∈ C its terms ξ (N)
j form a convergent sequence. Since every convergent
sequence is Cauchy sequence. So ( x n )
is Cauchy, So ∃n 1 ∈ N such that ∀ j we have;
ε
|ξ (n)j −ξ (N)
k |<
3
⟶(2)
Consider;
|ξ j−ξ k|=|ξ j−ξ(Nj ) +ξ(Nj )−ξ(Nk ) +ξ(kN) −ξ k|
Now by using Triangular Inequality;
|ξ j−ξ k|≤|ξ j−ξ(Nj )|+|ξ (N)
j −ξ k |+|ξ k −ξk|
( N) (N )
ε ε ε
¿ + + ∴(from 1 &2)
3 3 3
|ξ j−ξ k|< ε
This shows that x=( ξ j )is convergent. So x ∈ C . Since x ∈ C was arbitrary.
So;
C ⊆C
⇒ C=C
⇒C is closed in l ∞ .
Hence C is complete.
Completeness of lP Space:
Let x , y ϵ l psuch that
x=¿ ¿ , x 2,…) , y=¿¿ , y 2,…) where
∞ ∞
j=1 j=1
∞ 1
d( x , y ¿=∑ (| x j− y j| )
P P
j =1
d ¿)¿ ε ∀ m ,n ≥ n°
∞ 1
[ P P
⟹ ∑ | x(jm)−x (jn)|
j=1
] < ε ⟶(eq 1)
∞
P
⟹ ∑ |x (jm )−x (jn )| <ε p ⟶( eq 2)
j=1
p
⟹|x (jm )−x (jn)| < ε p ∀ m , n ≥n ° ⟶ (eq 3)
j=1
∞
p
x m = ( x j (m ))∈l p so ∑ | x(jm)| < ∞⟶ ¿
j=1
( ) ( )
∞ 1 ∞ 1
( )P P
Now ∑| x j|
p P
= ∑|x j−x jm + x mj |
( )
j=1 j=1
(∑ | ) (∑ | | )
∞ 1 ∞ 1
(m ) p P (m ) p P
≤ x j−x j | + x j
j=1 j=1
∑|x j| <∞
p
⟹ ⟹ xϵ l P
j=1
(∑ ( )
∞ 1
p P
x −x j )
( m)
Taking n ⟶ ∞ in (1) we get j < ε ∀ m ≥n °
j=1
⟹ l Space is complete.
P
Completeness of C[a,b]:
(The Space of all continuous functions on [ a , b ] ¿
Let x , y ϵ C[a , b]
The metric on C [a , b] is d ( x , y )=max ( x (t )− y (t ))
a≤ t ≤ b
d ¿, x n)¿ ε ∀ m ,n ≥ n°
For t = t °
⟹|x m ( t 0 ) −x n ( t 0 )|< ε ∀ m , n ≥n °
⟹ xm⟶ x
⟹ Q=Q
S2 = 1+ x
2
S3 = 1+ x
2!
lim S n = e x ∉ P x2 x3
1+ x+ + + …Converges to e x but e x is not
n→∞
2 ! 3!
polynomial.
∞ m
x
Pn (x ) = ∑ m! ( Pn( x ¿ ¿ is Cauchy sequence in X but converges not in X .
m=0
Let X be the set of all continuous real valued functions on J= [ 0,1 ] and Let
1
d ( x , y )=∫|x ( t )− y ( t )| ⅆt
0
1
Adding 2 on both sides
1 1 1 1
⇒ + < +
2 n 2 m
⇒ an ¿ am
1
d ¿ x n ) ¿ ∫|x m ( t )− xn ( t )| ⅆt
0
¿ −(
1 1 1
2 m n )
1 1 1
¿ − <
2m 2n 2 m
1 1
¿ ¿ ¿ε
2m m
1
From m> ε
1
d ¿, x n)¿ ε ∀ m ,n>
ε
Suppose x m → x
x ∈ C [ 0,1 ]
1
⇒ d ¿, x ¿=∫|x m ( t ) −x (t )|ⅆt
0
∵ x m ( t )=0if t ∈ 0 , [ ] 1
2
∵ x m ( t )=1 if t ∈ [ am , 1 ]
1
2 am 1
∵ xm is Cauchy .
1
2 1
0=∫ |x ( t )| ⅆt + ¿∫|1−x ( t )| ⅆt ¿
0 am
1
a m>
2
N 2 ¿‖x‖=0iif x=0
N 3 ¿‖αx‖=|α|‖x‖
N 4 ¿ ‖x + y‖≤ ‖x‖+‖ y‖
[ ]
∞ 1
‖x‖= ∑|ξi|
p p
i=1
Is normed on X.
Examples:4
Let X=l∞
If x∈ l∞ x=(ξ 1 , ξ 2 , …)
Examples:5
Let X =C [a ,b ]
‖x‖=Max| x(t)|
a ≤t ≤b
Remark:
1) Every norm ‖.‖ on a vector space induces a metric given by d ( x , y )=‖x− y‖
but if we given metric on a vector space then it is not always that it is
coming from normed space.
2) A complete normed space is Banach space.
3) Norm give us length of a vector.
4) If a metric d on a vector space induced from a norm
‖.‖ .Thenwill satisfy the following :
ⅈ ¿ d ( x+ a , y+ a )=d ( x , y )
ⅈⅈ ¿ d ( αx , αy )=|α |d ( x , y )
Proof:
If a metric d induced from a normed space .Then
d ( x , y )=‖x− y‖
¿‖x− y‖
¿d (x, y)
ⅈⅈ ¿ d ( αx , αy )=‖αx−αy‖
¿‖α ( x− y)‖
¿|α |‖x− y‖
¿|α |d ( x , y )
Hence proved .
Sol:
N 1) ∥ x ∥≥ 0 ∴ √ x 21 + x 22+ x 23 ≥ 0
N 2) ∥ x ∥= 0
⟺ √ x21 + x 22 + x 23= 0
⟺ x 1=0, x 2=0 , x 3= 0
⟺ x=( 0,0,0 ) =¿)
N 3)
∥ αx ∥=∥ α ¿ )∥=∥(α x1 , α x 2 , α x 3 )∥
N 4 )∥ x + y ∥ =∥ ( x 1 , x 2 , x 3 ) +( y 1 , y 2 , y 3 )∥
=∥( x ¿ ¿ 1 + y 1 , x 2 + y 2 , x3 + y 3 )∥ ¿
=√ ( x 1+ y1 ) + ( x 2 + y 2 ) + ( x 3 y 3 )
2 2 2
†
√
3
= ∑ ( x i+ y i )2
i=1
√ √ √
3 3 3
= ∑ ( x i+ y i ) ≤ ∑ x + ∑ y 2i
2 2
i
i=1 i=1 i=1
Question: Prove that|∥ y ∥−∥ x ∥∨≤ ∥ y−x ∥ and the norm is continuous function.
Proof: Consider
∥ y ∥=∥ y−x + x ∥
≤ ∥ y−x ∥ +∥ x ∥
∥ y ∥−∥ x ∥ ≤∥ y −x ∥ ⟶ (1)
similarly,
Consider ,
∥ x ∥=∥ x− y + y ∥ ≤ ∥ x− y ∥ +∥ y ∥
∥ x ∥−∥ y ∥ ≤∥ x− y ∥
−{ ∥ y ∥−∥ x ∥ } ≤∥ y −x ∥ ⟶ (2)
from (1)and (2)
|∥ y ∥−∥ x ∥|≤ ∥ y−x ∥ (proved).
|∥ y ∥ -∥ x ∥|≤ ∥ y−x ∥ ⟶ (¿ ¿
|∥ x n ∥−∥ x ∥ │≤ ∥ xn −x ∥ =d ( x n , x)
Since x n → x so d( x n , x ¿=0 ∴ ¿d is metric induced by norm)
⟹|∥ x n ∥−∥ x ∥ |→ 0
⟹ ∥ x n ∥ →∥ x ∥
⟹ ∥ .∥ is continuous function.
Theorem :
A subspace y of a Banach space x is complete if and only if the set y is
closed in x .
Convergence of sequence :
A sequence ( x n) in a normed space X is convergent
if X contains an x such that
lim ∥ x n−x ∥=0 or xn→ x
n→∞
∥ x m −xn ∥< ε ∀ n , m≥ n°
Question :
show that C ⊂ l∞is a vector subspace of l∞and so C ° the space of all
sequence of scalars converging to zero.
Proof :
first we prove that C (space of all converging sequence of complex no is
vector subspace of l∞)
let x , y ϵ C x=(x¿¿ n) ¿ , y=( y ¿¿ n)¿
suppose x n → a∧ y n → b
lim (x n )= a∧lim (¿ n → ∞ y n )= b
n→∞
n→∞ n→∞
Consider,
lim ( α ξ (in) + β η(in )) =α lim (ξ ¿ ¿ i (n) )+ β lim ¿ ¿ ¿)
n→∞ n→ ∞ n→∞
¿ α ( 0 )+ β ( 0 ) =0
( n) (n )
α ξ i + β ηi ϵ C °
Hence,
∞
C°⊆ l proved.
Question # 2:
Show that C 0 (space of all sequences of scalars converging to zero) is closed
subspace of l∞ so that C 0 is complete.
Proof:
We have to show that c o is closed for this we show
co ⊆ co
|x ni − x i|<ε ∀ n ≥ N ∀ i (1)
As ( x ni ) ∈ c o
n n n
x i =( x1 , x 2 , … … …)
& x ∈ c 0 ⊆ l∞
x=( x1 , x2 , … ..)
For each i we have sequence of scalors and this sequence is convergent and every
convergent sequence is Cauchys sequence
For n=N
‖x − x ‖< ε3 (2)
N
i
N
i
|x i− x i|=¿ ¿
| N
|
≤ x i− xi |+ xi −x i |+| xi − x i|
N N N
ε ε ε
¿ +¿ +¿ from 2 & 3
3 3 3
¿ ¿ε
(x ¿¿ i) ¿ is Cauchy sequence
|x i−0|≤|x i − x Ni |+|x Ni |
ε
¿ ε /3+ 2
3
|x i−0|<ε
(x i)→ 0
x=x i → 0 ⇒ x ∈ c o
As c o ⊆c o
co = co
( xn+ yn) → ( x + y )
‖α xn −αx‖=|α|‖x n−x‖=|α|( 0 )=0
α x n → αx
y=( y 1 , y 2 , y 3 , … … . , y n ,0,0 … .)
Letα , β ∈ F
αx+ βy=α ( x 1 , x 2 , x 3 , … … … , x n , 0,0 , … . ) + β ( y 1 , y 2 , y 3 , … . y n , 0,0 … . )
¿( α x 1+ β y 1 , α x 2 + β y 2 , … … , α x n + β y n , 0,0 ,.. … .)
( 1 1
2 3
1
x=( x n ) = 1 , , ,… … ,0,0 … ∈Y
n )
To show that ( x n )is Cauchy sequence
( 1 1 1
( x m ) =¿ 1 , 2 , 3 ,… … m , 0,0 … ) 1
if n< m n > m
1
{ 1 1 1
= ¿ m+1 , m+ 2 , … … n , 0,0 … . , , }
1
= m+1
1
as m→ ∞ →∞
m+ 1
‖x n− x m‖=0
⇒ (x n) is a Cauchy sequence
( 1 1
y= 1 , , , , , , , , ,,
2 3 )
‖x n− y‖ = ¿(|1−1|, |12− 12|, … …|1n − 1n|,|0− n+11 |,|0− n+21 |,… .)
1 1
= ¿( n+1 , n+2 , … …)
1
= n+1
1
As n → ∞ n+1 → ∞
xn → y
so y ∉Y
Y is not complete hence Y is not closed
Question :06
show that the closure Ῡ of subspace y of a normed space x is again vector
subspace.
Proof :
as α x n + β y n→αx + βy ( x n→ x & y n → y )
∴if x ∈ M iff their exist ( x n ¿ in M such that x n → x
x n in M x n → x ( x ∈ M ¿
as α x n + β y n → αx+ βy
⟹ αx + βy ∈ y
⇒ y is vector subspace
proof:
since x n→ x & y n→ y then by definition
lim ‖x n−x‖ =0 & lim ‖ y n − y‖ =0
n→∞ n→∞
to prove x n + y n → x+ y
lim ¿= lim ‖( x n−x)+( y n− y )‖
n→∞ n→∞
⇒ xn + yn → x + y
to prove α n x n → αx
≤ nlim
→∞
‖α n x n−α n x‖+ nlim
→∞
‖α n x−αx‖
≤ lim ¿
n →∞
‖ ‖
≤|α n| lim x n−x + lim |α n−α | x
n→ ∞ n →∞ ‖‖
=0 as α n x n → αx
Question :
show that convergence of ‖ y 1‖+‖ y 2‖+‖ y 3‖+⋯
may not apply convergence of y 1 + y 2+ y 3+ ⋯
sol:
let y be the space of all sequence having finite terms are non zero.
Let y 1=¿ 0, 0 …)
y 2=¿ …)
1
‖ y n‖=|y | ¿
n
2
n
1 1 1
1+ 2
+ 2 +… 2
2 3 n
∞ ∞
1
∑ ‖ y i‖=∑ n
2
i=1 i=1
Now, ∑ yi = y 1+ y 2+ y 3 + … y n + …
i=1
s1= y 1 , s 2= y 1 + y 2 …. sn= y 1+ y 2 +… y n
sn=¿…)
lim ¿( 1 , 1 , 1 ...¿ ∉ y
2 2 2
n→∞
1 2 3
QUESTION :09
show that in a Banach space an absolutely
convergent series is convergent .
Proof :
let ε > ¿0 & let t n=‖x 1‖+‖x 2‖+…+‖ x n‖be nth partial sum of the series
∞ ∞
∑ ‖x n‖ converges
n =1
as
w e know t h at every convergent sequence isCauc h y so for every ε >0 t h eir exist n° ϵ N suc h t h at ∥t m−t n ∥<ε ∀ m ,n
∥ sm- sn ∥< ε
(sm )is a Cauchy sequence in x ans x is Banach space so( sm ) is convergent and sn is
∞
QUESTION 08:
If a normed space x, absolute convergence of any series always
implies convergence
of the series then show that x is complete. (Banach
space ).
Proof :
let ( x n)be a Cauchy sequence in x . Then for
∥ x m−¿ x ∥< ε ∀ ¿ m , n ≥ n°
n
1 1
in particular take ε = 2 then their exist n1 ϵ N such that ∥ x m- x n ∥< 2 ∀ m , n≥ n1
1
if we take ε = n ϵ N such that
2 then their exist 2
2
1
∥ x m −xn ∥< 2
∀ m, n ≥ n2
2
similarly , we have
1
∥ x m−x n ∥< ∀ m, n ≥ n3
23
1
∥ x m −xn ∥< ∀ m, n ≥ nk
2k
ǁ x n - x n ǁ <1/22
3 2
ǁ x n - x n ǁ <1/2k
k+ 1 k
∑ ǁxn - xn ǁ
k+ 1 k
i=1
∑ ǁ x n - x n ǁ convergent
k+ 1 k
k =1
∑ ¿- x n ) …………….. (1)
k
k =1
is convergent.
Thus we conclude that the kth partial sum of the series …(1) has a limit say S.
Sk =( x n – x n )+( x n – x n ) +………..+( x n - x n )
2 1 3 2 k+ 1 k
Sk = x n - x n k+ 1 1
lim x n = S+ x n
k+ 1
k→∞ 1
Since , x n is convergent subsequence if the Cauchy sequence. Thus x n is
k+ 1
X=∑ ¿n en)
n =1
then for every ε >0 , ε /2 > 0 there exist a natural number N such that
ǁ Sk –x ǁ < ε /2 ∀ k≥ N
In particular, we choose k=N
∑
Then SN = ǁn=1
∞α
n en - xǁ < ε /2 …………..(1)
¿
¿
∑
We define M={ n=1
∞β
n en :Nϵ N, β 1 , β 2 ,……. β N ϵ Q+Qi }
¿
¿
Note that M is countable since it is union of countable sets .We only show that M
is dense in X for this we will show that M = X
We choose β n then,
¿ β n - α n ¿< ε /2N ǁ en ǁ…………..(2)
N
∑
Now ǁ∑ β n en - x ǁ = ǁn=1
N β
n
∑
en -n=1
Nα
n
∑
en +n=1
Nα
n en - x ǁ
¿ ¿ ¿
n =1 ¿ ¿ ¿
∑
≤ ǁn=1
Nβ
n
∑
en -n=1
Nα
n
∑
en ǁ+ ǁn=1
Nα
n en - x ǁ
¿ ¿ ¿
¿ ¿ ¿
∑
= n=1
N¿β
n -α n
∑
¿ǁen ǁ+ ǁ n=1
Nα
n en - x ǁ
¿ ¿
¿ ¿
From eq 1 and 2
∑
< n=1
N
ε /2N + ε /2= ε
¿
¿
∑
ǁn=1
Nβ
n en - x ǁ< ε
¿
¿
∑
For x ϵ X there exist n=1
N β
n en ϵ M, such that , ǁ y - x ǁ <ε
¿
¿
Q11:Show that (en) where en=(Snj) is a schauder basis for l p where 1≤p<∞ .
Proof: (en) is the sequence in X . (en) is schauder basis if for each x there is a
∑
unique set of scalars α n such that x=i=1
n¿¿
)
¿
¿
e1=(1,0,0,……)
e2=(0,1,0,……)
en=(0,0,…0,1,0….)
Show en is schauder basis for l p
Let x ϵ l p
∞
¿x1¿p + ¿x2¿p +……=∑ ❑∨¿xi¿p <∞
i=1
For this we show that the nth partial sum of the series converges to x and
remainder after n-terms is zero.Now
Sn= { ¿x1¿p + ¿x2¿p +……+ ¿xn¿p }
n
lim ❑S = lim ¿[∑ ❑∨¿x ¿p ]=S (say)
n→∞ n n→∞ i 1
i=1
Rn= ∑ ❑ ¿xi¿p
i> n+1
∞
lim ¿ R =[ ∑ ❑ ¿xi¿p ]
n→∞ n
i> n+1
lim ¿ R = 0
n
∑
, As Sn =i=1
n¿¿
)
n→∞ ¿
¿
Sn = α 1e1+ α 2 e2 +…….+ α n en
Sn= x1(1,0,0,……)+x2(0,1,0,……)+……+xn(0,0,…0,1,0….)
Sn=( x1 , x2 ,…..,xn ,0,0….)
∞
lim ¿ ǁ S - x ǁ=0
n→∞ n
i. P ( x) ≥ 0
ii. P ( αx )=|α| P ( x )
iii. P ( x+ y ) ≤ P ( x ) + P ( y )
⇒ P ( 0( x ) )=0 ( P ( x ) )
⇒ P ( 0 )=0
Consider,
P ( y )= P ( y−x + x )
⇒ P ( y ) ≤ P¿ + P ¿
⇒ P ( y )−P ( x ) ≤ P¿ …(A)
Now consider,
P ( x ) = P ( x− y + y )
⇒ P ( x )−P ( y ) ≤ P¿
Now,
P ( x ) −P( y )≤ P[ (−1 )( y −x ) ]
P ( x ) −P( y )≤|−1| P ( y−x )
P ( x ) −P( y )≤ P ( y −x ) ( ∴From Condition ii)
Q 13: Show that the element x ∈ X such that P ( x ) =0 from a subspace N of X and a norm on X /N
defined by ∥ ^x ∥ 0=P( x ) where x ∈ ^
X and
^x ∈ X /N
Proof:
Let x , y ∈ N
Since x ∈ N ⇒ P ( x ) =0
and y∈ N ⇒ P ( y )=0
Consider,
So,
0 ≤ P ( x + y ) ≤0 ( ∴From Condition i)
⇒ P ( x+ y )=0
⇒ x+ y ∈N
Now consider α ∈ F and x ∈ N
P ( αx )=|α| P( x )
¿|α | (0) = 0
⇒ P ( αx ) =0
⇒ αx ∈ N
Hence, N is subspace of X
Now as;
X /N ¿ { x+ N : x ∈ X }
x + N= { x +n :n ∈ N }
As ^x =x + N
N 1 ¿: ∥ ^x ∥ 0=P ( x ) ≥ 0 (∴ P ( x ) ≥ 0 )
⇒∥ ^x ∥0 ≥0
N 2 ¿: ∥ ^x ∥ 0=0 ⇔ ^x =0
Consider,
∥ ^x ∥ 0=0
⇒ P ( x )=0
⇒x∈N
⇒ x + N=N
⇒ x^ =N =0
⇒ x^ =0
Thus,
∥ ^x ∥ 0=0 ⇔ x^ =0
(Proved)
^
X =X /Y
Proof:
Given;
by ∥ ^x ∥ 0=inf x ∈ ^X ∥ x ∥
∥ x + y ∥=inf {∥ x + y ∥ : y ∈ Y }
Where, ^
X =X /Y and X /Y = {x +Y : x ∈ X } and x +Y = { x + y 1 : y 1 ∈Y }
N 1 ¿: ∥ ^x ∥ 0 ≥ 0
Since ∥ x ∥ ≥ 0
⇒ inf ∥ x ∥ ≥0
Thus,
⇒ ∥ ^x ∥0 ≥0
N 2 ¿: To prove is ∥ ^x ∥ 0=0 ⇔ x^ =0
Consider,
^x =0
⇒ x +Y =Y
⇒ x ∈Y
So,
∥ x +Y ∥ 0=inf y ∈Y ∥ x+ y ∥
= ∥ x + (−x ) ∥=0
⇒ ∥ x + y ∥=0
⇒ ∥ ^x ∥0=0 ⇔ ^x =0
Conversely,
Consider,
∥ ^x ∥ 0=0
⇒ inf {∥ x+ y ∥ : y ∈Y }
⇒ x + nlim
⟶∞
y n¿0
(∴ ∥x ∥=0 ⇔ x=0
⇒ nlim
⟶∞
y n ¿−x
Since, Y is Subspace,
L.H.S = ∥α x^ ∥0
y
= inf {∥(α )( x+ )∥ : y ∈Y }
α
y
= inf |α|{∥ x + ∥ : y ∈Y }
α
y y
= |α|inf {∥ x + ∥ : y ∈Y } … (Y is subspace, ⇒ ∈Y
α α
= |α|∥ ^x ∥ 0
=R.H. S
∥ α x ∥=inf { ∥αx + y ∥: y ∈ y }
1
¿ inf {|α ∨∥ x + y ∥ : yϵy }
α
1
¿∨α∨inf {∥ x + y ∥ : yϵy }
α
1 1
¿∨α∨inf {∥ x + y ∥ y ∈ y} ∴ yϵy
α : α
1
y is subspacemeanthat y∈ y
α
Hence
‖a x^‖0=¿ |α|inf {‖x + y‖: y ∈ y }
‖α ^x‖=|α|‖x^‖0
Hence N 3 is satisfied .
‖( x + y ) +( z + y )‖0=‖( x+ z )+ y‖0
= inf {‖( x + z ) + y‖: y ∈ y }
y∈y
= inf
y∈y ‖( ) ( )‖
y
x+ + z+
2
y
2
y
so, 2 = y
'
=inf ¿)
By using 4 property of norm: ‖x + y‖≤‖x‖+‖ y‖
≤ yinf ‖x + y ‖+ inf ‖ z+ y ‖
' '
' ∈Y y'∈y
‖x‖≥ 0
max (‖x 1‖1 ,‖ x2‖2) ≥ 0 ∥ x 1 ∥1 ≥ 0∧∥ x 2 ∥ 2 ≥ 0
N 2:
‖x‖=0
∥ x ∥=¿ max (‖x 1‖1 ,‖ x2‖2) =0
( x 1, x 2)=0
So,
∥x∥=0
N3 :
=‖( x ,+ y 1 ) , ( x2 + y 2 )‖
=max (‖x 1+ y1‖1 ,‖x 2 + y 2‖2 )
≤ max (‖ x1‖1+‖ y 1‖,‖x 2‖2 +‖ y 2‖2 )
‖x + y‖≤‖x‖+‖ y‖
Hence ∥ . ∥isnormed space on X= X 1∗X 2 .
LEMMA:
LET { x , x 2 , ϰ3 … xn } be the linearly independent set of vectors of a normed space
X . The there exist a real number C >0 such that for every choice of scalars
α 1 , α 2 ,α 3 ⋯ α n . We have
i=1
‖∑ ‖ ‖∑ ( ‖
n n n
α imi −∑ α ir e i = α i −α i ) e i
( ) ( ) m r
ⅇ
i=1
n
∑|αim−α ri|< ε /C
i=1
|α mi −αri|<ε /C ∀ m, r > N
(m) m 1 2 m
a i → α i ( say ) α i =α i α i ⋯ α i
' '
Now we define:
n
⇒ y∈y
Now we have to show that :
ym → y
n n
∥ y m− y ∥=∥ ∑ α e −∑ α i−ei ∥ (m )
i i
i=1 i=1
n
¿ ∥ ∑ ( α (im)−α i ) e i ∥
i=1
¿ ∥ ( α −α 1 ) e 1+ ( α 2 −α 2 ) e 2 +…+ ( α n −α n ) en ∥
(m ) (m ) ( m)
1
∵ by using (N 4)
≤ ∥ ( α −α 1) e1 ∥+∥ ( α −α 2 ) e 2 ∥+ …+∥ ( α −α n ) e n ∥
(m ) ( m) (m )
1 2 n
∵ by using(N ¿¿ 3)¿
¿|α −α 1|∥ e1 ∥+|α −α 2|∥ e2 ∥+⋅⋅ ⋅+|α −α n|∥e n ∥
(m )
1
(m )
2
(m )
n
n
¿ ∑|α (im )−α i|‖e i‖
i=1
n
⟹ ∥ y m− y ∥ ≤ ∑ |α (im )−α i|‖e i‖ ¿¿
i=1
n
Now let k =max i=1∥ e1 ∥
n
then ( 1 ) ⟹ ∥ y m− y ∥≤ k ∑ |α (im )−α i|
i=1
∵ ¿ ‖e2‖≤ k ,… ,‖en‖≤ k ¿
Letting m ⟶ ∞ we get
lim ∥ y m − y ∥=0 ∵ α (im ) ⟶ α i
m⟶∞
⟹ y m ⟶ y=α 1 e 1+ ¿ α 2 e2 +∙∙ ∙+¿ α n en ∈Y
Since ( y m ) is arbitrary Cauchy sequence. So Y is complete. Since X
Is a finite dimensional normed space then X itself being the finite dimensional
subspace of X is complete.
Hence every finite dimensional normed space is complete
_________________________
Theorem:
Every finite dimensional subspace Y of a normed space X
is closed in X .
Proof:
By using Theorem “A subspace of complete normed space is complete if and
only if it is closed.”
By using Theorem “Every finite dimensional normed space is complete.”
⇒ Finite dimensional subspace Y is complete and hence it is closed in X .
______________________
Note:
Infinite dimensional subspace need not to be closed.
Example:
Let X =C [ 0,1 ] and Y =span ( x 1 , x 2 ,∙ ∙∙ ) where x i ( t ) ¿ t i
So that Y is the set of all polynomials. ∴ Y is not closed in X because
x i ( t ) → e x ∉Y .
Equivalent Norms:
Let X be a normed space . Let ‖∙‖1and ‖∙‖2be two norms.
The norm ‖∙‖1 is said to be equivalent to ‖∙‖2. If there exist positive real number a
and b such that
a‖ x‖2 ≤‖x‖1 ≤ b‖x‖2 ∀ x ∈ X
If the norm ‖∙‖1 is equivalent to another ‖∙‖2.It is written as
‖∙‖1 ∼‖∙‖2
Theorem:
On a finite dimensional vector space X ,any norm ‖∙‖ is equivalent to any
other norm ‖∙‖0 .
Proof:
Let dim X =n and { e 1 , e2 ,∙ ∙ ∙e n } be any basis for X .Then for each x ∈ X there
exist a set of scalars α i such that
n
x=α 1 e1 +α 2 e 2 +∙∙ ∙+α n en =∑ α i e i
i=1
‖ ‖
n
Thus ∥ x ∥= ∑ αi e i
i=1
Now
‖ ‖
n n
‖x‖0= ∑ αi e i 0 ≤ ∑ ‖α i e i‖ ∵ by ( N 4 )
i=1 i=1
n
⇒ ‖x‖0 ≤ ∑ |α i|‖e i‖0 ∵ by ( N ¿¿ 3)¿
i=1
n
⇒ ‖x‖0 ≤ k ∑ |α i|
i=1
n
1
⇒ ‖ x‖ ≤ ∑ |α i|
k 0 i=1
n
c
⇒ ‖x‖ ≤ c ∑ |α i| ____________( 3 )
k 0 i=1
Also
‖ ‖
n n
‖x‖= ∑ αi ei˙ ≤ ∑ ‖ αi ei̇ ‖ ∵ using(N 4 )
i=1 i=1
n
‖x‖≤ ∑ |α i̇|‖e i‖ ∵ using( N 3)
i=1
n
‖x‖≤ k ∑|α i| where k =max‖ei‖
i=1
n
1
‖ x‖ ≤ ∑|α i|
k i= I
' n
C
‖x‖≤ C ' ∑|α i|→¿)
k i=1
Proved
Inner product space (Hilbert space)
Let X be a vector space . A mapping < . , . > : X∗X → C
C is called an inner product on X if satisfy
following conditions :
IP 3) ¿ x , y >¿< y , x >¿
IP 4 ) ¿ x , x >≥ 0
Then ,
¿ x , y >¿ ( x 1 y 1+ x 2 y 2+ x 3 y 3+ …+ xn yn )
n n
¿ ∑ x i y i Ip 1 ¿< x + y , z >¿ = ∑ ( xi + yi ) z i
i=1 i=1
n
= ∑ ( xi z i+ yi z i )
i=1
n n
= ∑ x i zi + ∑ yi z i
i=1 i=1
= α ∑ xi yi
i=1
= α<x,y>
n n
Ip 3 ¿< x , y> ¿= ∑ x i y i=∑ y i xi
i=1 i=1
= <y,x>
n n
Ip 4 ¿ ¿ x , x >¿= ∑ x i xi =∑ x 2i
i=1 i=1
n
As , x 2i ≥ 0 ⇒ ∑ x 2i ≥ 0
i=1
⇒< x , x> ¿ 0
Now,
¿ x , x >¿ 0
n
⇔ ∑ x2i =¿ 0
i=1
2 2 2 2
⇔ x1 + x 2 + x3 + …+ x n=0
⇔ x 21=0 , x 22=0 , … , x2n =0
⟺ x=( x 1 , x 2 , x 3 , … , x n ) = 0
⟺ x=0
Hence all conditions are satisfied so < . , . > defines on inner
product space on Rn .
2) Example: if v=C n
< x , y > = x 1 y 1 + x 2 y 2 +…+ x n y n
n
= ∑ X i yi
i=1
3) Hilbert sequence space l2 :
Inner product space is linear in 1st variable and conjugate linear in 2nd
variable (factor) .
< αx , βy , z >¿< ax , z >¿ + ¿ βy , z >¿
= a< x , z>+ β< y , z >¿
= ¿ x ,αy >+¿ ¿ x , βz >¿
= ¿ x , αy + βz> ¿
= α ¿ x , y >+¿ β ¿ x , z >¿
Every inner product space is normed space * < x , x > = ‖x‖2.
⟹ complete inner product spaceis called Hilbert space.
Parallelogram equality :
The norm induced by an inner product satisfies following equality
‖x + y‖ +‖ x− y‖ =2 (‖x‖ +‖ y‖ )
2 2 2 2
Proof:
As norm coming form inner product space so,
2
‖x + y‖ =¿ x+ y , x+ y> ¿
= ¿ x+ y , x + y >¿
=¿ x , x >+ x , y >+¿ y , x>+ ¿ y , y >¿ → ( 1 )
& ‖x− y‖2=¿ x− y , x− y >
¿< x , x>−¿ x , y>−¿ y , x >+¿ y , y> ¿ →(2)
Adding (1) & (2)
2 2
‖x + y‖ +‖ x− y‖ =¿ x , x>+ ¿ x , x>+ ¿ y , x>+ ¿ y , y >+¿ x , x >−¿ x , y >−¿ y , x >+¿ y , y >¿
¿ 2< x , x >+2< y , y> ¿
= 2 ¿ ¿)
Hence proved
Note :
Every inner product space is normed space but converse is not true . Converse is
only true if normed space satisfies the parallelogram equality. Then normed space
is coming from inner product space .
Question :
1 2
Prove that ¿ x , y ≥ 4 (‖x + y‖¿ ¿2−‖x− y‖ ) ¿
Proof :
2
‖x + y‖ =¿ x+ y , x+ y> ¿
¿< x , x>+¿ x , y>+ ¿ y , x >+¿ y , y >¿ → (1)
2
‖x− y‖ =¿ x− y , x− y >¿
¿< x , x>−¿ x , y>−¿ y , x >+¿ y , y> ¿ → (2)
Subtracting (2) from (1)
‖x + y‖ -‖x− y‖2 ¿< x , x>+¿ x , y>+ ¿ y , x >+¿ y , y >¿ -¿ x , x >+¿ x , y >+¿ y , x>−¿ y , y >¿
2
Polarization identity
Let v be a complex inner product space then
1
<x,y>= 4 [(||x+y|¿ -||x-y|¿ ¿+¿i(||x+iy|¿ −¿|x−iy|¿ ¿ → equation(1)
2 2 2 2
Proof
||x+y|¿2=<x+y,x+y>
=<x,x>+<x,y>+<y,x>+<y,y>
||x-y|¿2=<x-y,x-y>
=<x,x>-<x,y>-<y,x>+<y,y>
subtracting
|| x+y|¿2-||x-y|¿2 =¿2<x,y>+2<y,x>
=2 ¿ >) ∴ z+ z=2 Rez
=2[2Re<x,y>]
=4Re<x,y>
||x+iy|¿2=<x+iy,x+iy>
=< x,x >+< x+iy >+<iy+x>+<iy,iy>
=<x,x>-i<x,y>+i<y,x>+< y, y>
||x-iy|¿2 =<x-iy,x-iy>
= <x,x>+i<x,y>-i< y,x >+< y, y >
Subtracting
||x+iy|¿2- ||x-iy|¿2=<x,x>-i<x,y>+i<y,x> +<y,y>-<x,x> - i<x,y>+i<y,x>-<y,y>
||x+iy|¿2-||x-iy|¿2 =-2i<x,y>+2i<y,x>
=-2i[<x,y>-⟨ x , y ⟩ ] ∴ z−z=2 iImg
=4Img <x,y>
Putting in equation (1)
1
<x,y>= 4 [ 4Re<x,y.+i4Im<x,y>]
=Re <x,y>+ iImg <x,y>
= <x,y>
Prove that l p P ≠ 2is not an inner products space
Proof
let
X=(1,1,0,0…)∈l p
Y=(1,-1,0,0…)∈l p
The norm on l p is
∞ 1 ∞
i=1 i=1
x +y = (2,0,0…)
x-y =(0,2,0…)
p p p
1 1
||x||=[|1¿ +|1¿ +|0¿ +….] p =2 p
1
||y|| = 2 p
p p p 1 1
||x+y||=[|2¿ +¿ |0¿ +¿ …] p =(2 ) p =2
p p p p 1 1
||x-y||=(|0¿ +|2¿ +¿ |0¿ +…) p =(2 ) p =2
Parrallelogram equality is
||x+y|¿2+||x-y|¿2 = 2[||x|¿2+||y|¿2]
1 1
(2¿2+(2¿2=2[(2 P ¿2 +(2 P ¿2 ]
2 2
4+4 =2[2 p +2 p ]
2
8 =2[2.2 p ]
2
8=22.2 p
2
2+
8 ≠2 P
If p = 2 then
2
2+
8¿ 2 2
8=23
8=8
If p=2 then this is inner Hilbert space
Orthogonal vectors:
Let x be an inner product space we say x,y,ϵ x are orthogonal if their inner product
is zero i.e <x,y>=0 and we write x⊥ y . Let A,B,⊂X we write x⊥ A if x⊥ a ∀a∈ A and
A⊥ B if a⊥ b ∀a∈A , b∈ B
Example :
In R2 <x,y> = x 1 y 1+ x 2 y 2
x = ( x 1 , x2)
y =( y 1 , y 2)
(1,0) and (0,1) are orthogonal vectors
Question:
If X is real and ||x+y|¿2= ||x|¿2+||y|¿2 then x⊥y
Sol:
consider
||x+y|¿2-||x|¿2-||y|¿2=0
<x+y,x+y> -||x|¿2-||y|¿2=0
<x,x>+ <x,y> +<y,x>+<y,y> -||x|¿2-||y|¿2 = 0
||x|¿2+2<x,y> +||y|¿2 -||x|¿2-||y|¿2 =0
2<x,y>= 0
<x,y> = 0
Prove:
1 1
¿|z−x|∨¿ ¿+¿|z− y|∨¿ = ||x− y|¿ +2|∨z − ( x + y ) ∨¿ ¿
2 2 2 2
2 2
Proof:
¿|x− y|∨¿2=¿ x− y , x− y >¿ ¿
=<x ,x > -<x,y>-¿ y , x >+¿ y , y >¿
=||x|¿2 −2 ℜ< x , y >+¿∨ y∨¿2
1 1 1
||z- 2 ( x+y ) |¿2=<z- 2 ( x+ y ) , z− 2 (x + y )>¿
1 1 1 1
=< z,z >-<z, 2 ( x+ y )> ¿ -< 2 ( x , y ) , z >+¿ 2 ( x + y ) , 2 ( x + y ) >¿
1 1 1
= <z,z>- 2 < z, x+y >- 2 <x+y,z>+ 4 <x+y,x+y>
1 −1 1 1 1 1
=<z,z>- 2 < z , x > 2 ⟨ z , y ⟩ - 2 <x,z>- 4 <x,x>+ 4 <y,x>+ 4 <y,y>
1 1 1
=||z|¿2-Re<z,x>- Re<z,y> + 4 ||x|¿2+ 2 Re<x,y>+ 4 ||y|¿2
RHS
1 2 1
¿|x− y|∨¿ ¿+2||z- (x+y)|¿2
2 2
1 1 1 +1
= 2 (||x|¿2-2Re<x,y>+||y|¿2)+2(||z|¿2 −ℜ< z , x >−¿ Re<z,y> + 4 ||x|¿2+ 2 ℜ< x , y> 4 ||
y|¿2)
1 1 1 1
= 2 ||x|¿2-Re<x,y> + 2 ||y|¿2+2||z¿2-2Re<z,x>-2Re<z,y>+ 2 ||x¿∨¿2 ¿+Re<x,y>+ 2 ||y|
¿2
=2||z¿∨¿2 ¿+||x|¿2+||y|¿2 -2Re<z,x>-2Re<z,y>
=(||Z|¿2 -2Re<z,x>+||x|¿2)+(||z|¿2 -2Re<z,y>+|y|¿2)
=||z−x∨¿ 2+||z-y|¿2
=L.H.S
This identify can also be obtained from the parallelogram equality
|| x ' + y' ∨¿2+ ¿∨x ' − y ' ∨¿ 2=2 ¿
Put x ' =z−x , y ' =z-y
||z-x+z-y|¿2+||z-x-z+y|¿2=2(||z-x|¿2 +¿∨z− y∨¿2)
||2z-x-y|¿2 +¿|−x + y|¿2=2(¿|z−x|¿2 +¿|z− y|¿2 )
1 2 2
||2[z- 2 ( x+ y )∨¿ +¿|x− y|¿ =2¿ +||z-y|¿ ¿
2
2
1 2 2 2 2
|2¿ ||z 2 (x+y)|¿ +||x-y|¿ =2(||z-x|¿ +||z-y|¿
1 2 2 2 2
4||z- 2 (x+y)|¿ +||x-y|¿ =2(||z-x|¿ +||z-y|¿ )
1 2
1 2 2 2
2||z- 2 (x+y)|¿ + 2 ||x-y|¿ =||z-x|¿ +||z-y|¿
Hence prove