Professional Documents
Culture Documents
1.1 Introduction
We are familiar with the notion of dot product of two vectors in a plane
(i.e. R2 ) or two vectors in space (i.e. R3 ). We can define the concepts
of magnitude, distance and angle in a plane (or in space) in terms of dot
product. In this chapter we shall generalize the concept of dot product to an
arbitrary vector space. For generalizing this notion of dot product we shall
use its fundamental properties as axioms. We have the following definition.
We can define an inner product on complex vector space also with due
changes. The definition is a follows:
1
2 Chapter 1. Inner Product Spaces
1. ⟨u, v⟩ = ⟨u, v⟩
2. ⟨u + v, w⟩ = ⟨u, w⟩ + ⟨v, w⟩
3. ⟨αu, v⟩ = α ⟨u, v⟩
⟨x, y⟩ = x1 y1 + x2 y2 + · · · + xn yn . (1.1)
We have to show that all inner product space axioms are satisfied. Suppose
x = (x1 · · · , xn ), y = (y1 , · · · , yn ) and z = (z1 · · · , zn ) are vectors in Rn and
α is any scalar. Then
⟨x, y⟩ = x1 y1 + x2 y2 + · · · + xn yn
= y1 x1 + y2 x2 + · · · + yn xn = ⟨y, x⟩
Every term on R.H.S. of the above equation is a square and hence non-
negative. Since sum of non-negative terms is non-negative, We have ⟨u, u⟩ ≥
0. Further ⟨u, u⟩ = 0 if and only if x21 + x22 + · · · + x2n = 0. Since sum of non-
negative terms is zero if and only if every term is zero, the above equation
is true if and only if x1 = 0, x2 = 0, · · · , xn = 0 i.e. if and only if u = 0.
Thus we have proved that ⟨u, u⟩ = 0 if and only if u = 0. That is, positivity
axiom is satisfied. Hence all inner product space axioms are satisfied, and so
we can conclude that (1) defines an inner product on Rn .
This inner product on Rn is of special importance. It is known as Euclidean
inner product.
Note that 2x21 ≥ 0, x22 ≥ 0, 4x23 ≥ 0. Hence 2x21 + x22 + 4x23 ≥ 0. That is,
⟨u, u⟩ ≥ 0. Further ⟨u, u⟩ = 0 if and only if 2x21 + x22 + 4x23 = 0.
4 Chapter 1. Inner Product Spaces
Since sum of non-negative terms is zero, each term in the sum is zero. Hence,
from above, we can conclude that the above equation holds true if and only
if 2x21 = 0, x22 = 0, 4x23 = 0 i.e. if and only if x1 = 0, x2 = 0, x3 = 0 i.e. if
and only if u = (x1 , x2 , x3 ) = 0. Thus ⟨u, u⟩ = 0 if and only if u = 0. Hence
positivity axion is satisfied. Hence all inner product axioms are satisfied.
Therefore (2) defines an inner product on R3 .
The inner product on R3 defined in Example 1.2.2 is of the type
⟨x, y⟩ = w1 x1 y1 + w2 x2 y2 + w3 x3 y3
⟨x, y⟩ = w1 x1 y1 + w2 x2 y2 + · · · + wn xn yn .
⟨p + q, r⟩
= 2(a0 + b0 )c0 + (a1 b1 )c0 + (a0 + b0 )c1 + 2(a1 + b1 )c1
= (2a0 c0 + a1 c0 + a0 c1 + 2a1 c1 ) + (2b0 c0 + b0 c0 + b0 c1 + 2b1 + c1 )
= ⟨p, r⟩ + ⟨q, r⟩ .
1.2. Inner Product on a real Vector Space 5
⟨u, v⟩ = v t At · Au (1.4)
defines an inner product on Rn . (Verify). This inner product is known as the
inner product on Rn generated by A.
It is easy to see that the weighted Euclidean inner product with weights
w1 , w2 , · · · , wn is a special case of this. It is the inner product on Rn generated
by the matrix √
w1 0 0 ··· 0
√
0 w2 0 · · · 0
.. .
.. .. ..
. . . ··· .
√
0 0 0 ··· wn
The results in the following theorem are immediate consequences of the def-
inition of an inner product.
Theorem 1 u, v and w are any three vectors in an inner product space and
k is any scalar. Then,
(i) ⟨0, v⟩ = ⟨v, 0⟩ = 0
(ii) ⟨u, v + w⟩ = ⟨u, v⟩ + ⟨u, w⟩
(iii) ⟨u, kv⟩ = k ⟨u, v⟩ .
Proof: (i) ⟨0, v⟩ = ⟨0 + 0, v⟩ i.e. ⟨0, v⟩ + ⟨0, v⟩ + ⟨0, v⟩
This implies that ⟨0, v⟩ = 0. Hence ⟨v, 0⟩ = 0, by symmetry.
(ii) ⟨u, v + w⟩ = ⟨v + w, u⟩ by symmetry
= ⟨v, u⟩ + ⟨w, u⟩ by additivity
= ⟨u, v⟩ + ⟨u, w⟩ by symmetry
The proof of part (iii) is left to the readers.
Next we consider a very important property of an inner product. In fact,
it is an inequality known as Cauchy-Schwartz inequality. It has many useful
applications.
Theorem 2 (Cauchy-Schwartz inequality) If u and v are any two vec-
tors in an inner product space, then
⟨u, v⟩2 ≤ ⟨u, u⟩ ⟨v, v⟩ . (1.8)
Proof: Case (i) u = 0. Then equality holds in (1.8) and hence (1.8) is valid.
Case (ii) u ̸= 0 and hence ⟨u, u⟩ =
̸ 0. Now we define the vector
⟨u, v⟩
w=v− ·u
⟨u, u⟩
⟨u, v⟩
or w = v − ku, where k = . From the positivity axiom it follows that
⟨u, u⟩
0 ≤ ⟨w, w⟩ = ⟨v − ku, v − ku⟩
= ⟨v, v⟩ − k ⟨v, u⟩ − k ⟨u, v⟩ + kk ⟨u, u⟩
⟨u, v⟩ | ⟨u, v⟩ |2
= ⟨v, v⟩ − 2 · ⟨v, u⟩ + ⟨u, u⟩
⟨u, u⟩ ⟨u, u⟩2
substituting for k,
| ⟨u, v⟩ |2 | ⟨u, v⟩ |2
= ⟨v, v⟩ − 2 +
⟨u, u⟩ ⟨u, u⟩
8 Chapter 1. Inner Product Spaces
| ⟨u, v⟩ |2
0 ≤ ⟨v, v⟩ − .
⟨u, u⟩
Case (i) v = 0, then, obviously, we can say that u and v are linearly depen-
dent.
Case (ii):v ̸= 0. Now, from (9) it follows that
1
⟨u, u⟩ − ⟨u, v⟩2 = 0 (1.10)
⟨v, v⟩
* +2
1
i.e. ⟨u, u⟩ − u, v =0 (1.11)
⟨v, v⟩1/2
i.e. ⟨u, u⟩ − ⟨u, w⟩2 = 0 (1.12)
1
where w = v. It is easy to see that ⟨w, w⟩ = 1. Now let λ = ⟨u, w⟩
⟨v, v⟩1/2
1.2. Inner Product on a real Vector Space 9
and consider
Exercise 1.1
1. Consider the following vectors u and v in the inner product space R3
with the Euclidean inner product. Compute ⟨u, v⟩ , where
(i) u = (1, 1, 1), v = (−2, 1, 0) (ii) u = (2, 3, −4), v = (−1, −3, 1).
3. Consider the inner product space M2×2 with the inner product defined
by (1.7). Verify the Cauchy-Schwarz inequality for the vectors A and
B where
2 −1 −1 2 1 1 3 −4
(i) A = , B= (ii) A = , B= .
1 0 4 1 1 2 1 −1
(ii) ⟨u, v⟩ = x1 y2 − x2 y1
(iii) ⟨u, v⟩ = x1 y1 + 2x1 y2 + 2x2 y1 + 6x2 y2
(iv) ⟨u, v⟩ = x1 y1 + (x1 + x2 )(y1 + y2 ).
that the fundamental properties of length, distance and angle are satisfied
by these new generalized concepts. We have the following definitions.
Definition 3 Suppose V is an inner product space. The norm (or length)
of a vector u in V is denoted by ∥u∥ and is defined by
Note that this expression is the same as the expression for the magnitude
of the position vector of the point (x1 , x2 , x3 ) in the 3-space. Similarly the
distance of the vector y from x is given by
∥x − y∥ = ∥(x1 − y1 , x2 − y2 , x3 − y3 )∥
p
= (x1 − y1 )2 + (x2 − y2 )2 + (x3 − y3 )2
Note that this expression is same as the expression for the distance between
the two points (x1 , x2 , x3 ) and (y1 , y2 , y3 ) in the 3-space.
In general; if x = (x1 , x2 , · · · , xn ) and y = (y1 , y2 , · · · , yn ) are any two
vectors in the Euclidean inner product space Rn , then it is easy to see that
q
∥x∥ = x21 + x22 + · · · + x2n ,
p
d(x, y) = (x1 − y1 )2 + (x2 − y2 )2 + · · · + (xn − yn )2
Example 13 Consider the inner product space Pn with the inner product
defined by (6) in Example 2.5. If p = a0 + a1 x + · · · + an xn and q = b0 +
b1 x + · · · + bn xn are any two vectors in Pn , then the expressions for ∥P ∥ and
d(p, q) are given by (verify)
q
∥P ∥ = a21 + a21 + · · · + a2n ,
p
d(p, q) = (a0 − b0 )2 + (a1 − b1 )2 + · · · + (an − bn )2
12 Chapter 1. Inner Product Spaces
Example 14 Consider the inner product space R3 with the inner product
defined by (2) in Example 2.2.
Compute ∥u∥, ∥v∥ and d(u, v), where u = (−1, 1, 2) and v = (2, 1, 0).
Solution:
p First the expression for norm is given by
∥w∥ = 2x21 + x22 + 4x23 , where w = (x1 , x − 2, x3 ). Thus, using this formula
we get
p √
∥u∥ = 2(−1)2 + (1)2 + 4(2)2 = 19
p
and ∥v∥ = 2(2)2 + (1)2 + 4(0)2 = 3.
Note: The values of norm of any vector or distance of one vector from an-
other very much depend on the inner product defined. For example, instead
of considering the inner product on R3 given in the above example, if we take
Euclidean inner product,√then the values
√ of ∥u − ∥, ∥v∥
√ and d(u, v) will be as
follows: (verify). ∥u∥ = 6,∥v∥ = 5 and d(u, v) = 13.
Example 15 Consider inner product space M22 with the inner product de-
finedby (7) in Example2.6. Compute
∥A∥, ∥B∥ and d(A, B), where
2 −1 4 −1
A= and B = .
1 0 1 1
Solution: The expression for the norm is given
by
c c
∥C∥ = c21 + c22 + c23 + c24 , where C = 1 2 .
p
c3 c4
p
2 2 2 2
√
Thus ∥A∥
p = (2) + (−1) + (1) + (0) √ = 6 and
∥B∥ = (4)2 + (−1)2 + (1)2 + (1)2 = 19.
−2 0
To calculate d(A, B), first consider A − B = . Thus
0 −1
√
d(A, B) = ∥A − B∥ = 5.
Theorem 3 Let V be an inner product space. The norm ∥u∥ = ⟨u, u⟩1/2
satisfies the following properties.
(i) ∥u∥ ≥ 0 (ii) ∥u∥ = 0 if and only if u = 0
(iii) ∥ku∥ = |k| · ∥u∥ (iv) ∥u + v∥ ≤ ∥u∥ + ∥v∥ (triangle inequality).
Proof: Now (i) follows from the definition of the norm and (ii) follows from
positivity axiom of an inner product. Details of the proof are left to reader.
Now we prove (iii) and (iv).
(iii) Consider ∥ku∥2 = ⟨ku, ku⟩ i.e.∥ku∥2 = k 2 ⟨u, u⟩ . Taking square roots on
both sides, we get
In view of the result (iii) of the above theorem, we can simply say ‘distance
between the vectors u and v ′ instead of ‘distance of v from u.′
Now we shall discuss the generalization of the notion of angle to an arbitrary
inner product space. We use Cauchy-Schwarz inequality. From (1.13), it
follows that, it u and v are nonzero vectors in an inner product space then
⟨u, v⟩ ⟨u, v⟩
∥u∥ · ∥v∥ ≤ 1 i.e. − 1 ≤ ∥u∥ · ∥v∥ ≤ 1.
⟨u, v⟩
cos θ =
∥u∥ · ∥v∥
This real number θ is known as the angle between u and v.
3
Example 16 Consider the vectors u and v in the inner product √ space R
given in Example 1.3.3. We have calculated ∥u∥ and ∥v∥ as ∥u∥ = 19, ∥v∥ =
3. Note that ⟨u, v⟩ = −3.
−3
Therefore if θ denotes an angle between u and v, then cos θ = √ or
( 19)(3)
1
θ = cos−1 − √ The value of θ depends very much on the inner product
19
defined. For example, instead of the given inner product of R3 in the above
example; if we choose
Euclidean
inner product, then the angle is given by
1
(verify) θ = cos−1 − √ .
30
Example 17 Consider the inner product space P1 with the inner product
defined by (1.3) in Example 1.2.3. Find the cosine of the angle between the
vectors p = −1 + x and q = 1 + 2x in P1 .
1.3. Length, Distance and Angle 15