Professional Documents
Culture Documents
9.5 - The Gram-Schmidt Orthogonalization Procedure - Mathematics LibreTexts
9.5 - The Gram-Schmidt Orthogonalization Procedure - Mathematics LibreTexts
9.5 - The Gram-Schmidt Orthogonalization Procedure - Mathematics LibreTexts
Theorem 9.5.1
If (v 1
, … , vm ) is a list of linearly independent vectors in V , then there exists an orthonormal list (e 1
, … , em ) such that
Proof
The proof is constructive, that is, we will actually construct vectors e , … , e 1 m
having the desired properties. Since
(v , … , v ) is linearly independent, v ≠ 0 for each k = 1, 2, … , m . Set e = . Then e is a vector of norm 1 and
v1
1 m k 1 1
∥v1 ∥
v2 − ⟨v2 , e1 ⟩e1
e2 = .
∥v2 − ⟨v2 , e1 ⟩e1 ∥
This is, in fact, the normalized version of the orthogonal decomposition Equation(9.3.1)~(???). I.e.,
w = v2 − ⟨v2 , e1 ⟩e1 ,
Since is linearly independent, we know that v ∉ span(v , … , v ). Hence, we also know that
(v1 , … , vk ) k 1 k−1
v ∉ span(e , … , e
k ). It follows that the norm in the definition of e is not zero, and so e is well-defined (i.e., we are not
1 k−1 k k
dividing by zero). Note that a vector divided by its norm has norm 1 so that ∥e ∥ = 1. Furthermore, k
⟨vk , ei ⟩ − ⟨vk , ei ⟩
= = 0,
∥vk − ⟨vk , e1 ⟩e1 − ⟨vk , e2 ⟩e2 − ⋯ − ⟨vk , ek−1 ⟩ek−1 ∥
From the definition of e , we see that v ∈ span(e , … , e ) so that span(v , … , v ) ⊂ span(e , … , e ). Since both lists
k k 1 k 1 k 1 k
(e , … , e ) and (v , … , v ) are linearly independent, they must span subspaces of the same dimension and therefore are the
1 k 1 k
Example 9.5.2
Next, set
https://math.libretexts.org/Bookshelves/Linear_Algebra/Book%3A_Linear_Algebra_(Schilling_Nachtergaele_and_Lankham)/09%3A_Inner_product_sp… 1/3
8/29/23, 5:29 PM 9.5: The Gram-Schmidt Orthogonalization procedure - Mathematics LibreTexts
v2 − ⟨v2 , e1 ⟩e1
e2 = .
∥v2 − ⟨v2 , e1 ⟩e1 ∥
so
3 1
u2 = v2 − ⟨v2 , e1 ⟩e1 = (2, 1, 1) − (1, 1, 0) = (1, −1, 2).
2 2
−−−−−−−−−−
Calculating the norm of u , we obtain ∥u .
1 √6
2 2
∥ = √ (1 + 1 + 4) =
4 2
The list (e 1
, e2 ) is therefore orthonormal and has the same span as (v 1
, v2 ) .
Corollary 9.5.3.
Every finite-dimensional inner product space has an orthonormal basis.
Proof
Let (v , … , v ) be any basis for V . This list is linearly independent and spans V . Apply the Gram-Schmidt procedure to
1 n
this list to obtain an orthonormal list (e , … , e ), which still spans V by construction. By Proposition9.4.2~???, this list is
1 n
Corollary 9.5.4.
Every orthonormal list of vectors in V can be extended to an orthonormal basis of V .
Proof
Let (e , … , e ) be an orthonormal list of vectors in V . By Proposition9.4.2~???, this list is linearly independent and hence
1 m
can be extended to a basis (e , … , e , v , … , v ) of V by the Basis Extension Theorem. Now apply the Gram-Schmidt
1 m 1 k
procedure to obtain a new orthonormal basis (e , … , e , f , … , f ) . The first m vectors do not change since they already
1 m 1 k
are orthonormal. The list still spans V and is linearly independent by Proposition9.4.2~??? and therefore forms a basis.
Recall Theorem7.5.3~???: given an operator T ∈ L(V , V ) on a complex vector space V , there exists a basis B for V such that
the matrix M (T ) of T with respect to B is upper triangular. We would like to extend this result to require the additional
property of orthonormality.
Corollary 9.5.5
Let V be an inner product space over F and T ∈ L(V , V ). If T is upper-triangular with respect to some basis, then T is
upper-triangular with respect to some orthonormal basis.
Proof
Let (v , … , v ) be a basis of V with respect to which T is upper-triangular. Apply the Gram-Schmidt procedure to obtain
1 n
We proved before that T is upper-triangular with respect to a basis (v , … , v ) if and only if span(v , … , v ) is invariant
1 n 1 k
under T for each 1 ≤ k ≤ n. Since these spans are unchanged by the Gram-Schmidt procedure, T is still upper triangular
for the corresponding orthonormal basis.
https://math.libretexts.org/Bookshelves/Linear_Algebra/Book%3A_Linear_Algebra_(Schilling_Nachtergaele_and_Lankham)/09%3A_Inner_product_sp… 2/3
8/29/23, 5:29 PM 9.5: The Gram-Schmidt Orthogonalization procedure - Mathematics LibreTexts
Contributors
Isaiah Lankham, Mathematics Department at UC Davis
Bruno Nachtergaele, Mathematics Department at UC Davis
Anne Schilling, Mathematics Department at UC Davis
Both hardbound and softbound versions of this textbook are available online at WorldScientific.com.
This page titled 9.5: The Gram-Schmidt Orthogonalization procedure is shared under a not declared license and was authored, remixed,
and/or curated by Isaiah Lankham, Bruno Nachtergaele, & Anne Schilling.
https://math.libretexts.org/Bookshelves/Linear_Algebra/Book%3A_Linear_Algebra_(Schilling_Nachtergaele_and_Lankham)/09%3A_Inner_product_sp… 3/3