Mathematics of Modern Engineering I Lecture 5
Mathematics of Modern Engineering I Lecture 5
Lecture 5
One motivation for that arises when we try to solve a linear system
Ax = b. (1)
Given b ∈
/ Col(A) (otherwise expressed, the system (1) is inconsistent),
in what sense should we try then to ”solve” (1)?
called the inner product (another name is the dot product) between elements
v and u.
◦ We notice that the inner product is a function from IRn × IRn into IR and
satisfies the following properties:
1) u • v = v • u;
1
2) (u + v) • w = u • w + v • w;
3) u • u ≥ 0 and u • u = 0 if and only if u = 0;
Remark 1. a) For n ≤ 3, the elements from IRn can be visualized and in-
terpreted geometrically as ”usual” vectors so that the definitions of a norm
in (2) and the distance in (3) reflect nothing but well-known Pythagorean
Theorem.
b) The concept of orthogonality reflects the geometric fact that two or-
thogonal vectors are perpendicular to each other in the sense that cosine
of the angle between them is zero. Indeed, in can be proven that if vectors
u and v are from IR3 or IR2 , then the Cosine theorem holds:
u • v = ∥u∥∥v∥ cos α
2
(again, the algebraic reflection of the fact expressed in the Pythagorean
theorem )
◦ It can easily be seen that the following fact is true: Any orthogonal set
of non-zero vectors {u1 , ..., up } is a set of linearly independent vectors.
◦ Problem: Choose vectors y, u ∈ IRn and find two vectors ȳ and z such
that
1) y = ȳ + z;
2) ȳ and u are parallel;
3
3) ȳ and z are orthogonal;
The above idea can be easily generalized to project a given vector y ∈ IRn
onto a subspace W ⊂ IRn .
4
where ȳ = projW y.
Solution: 1) First we want to check that the given vectors are linearly
independent and thus build a basis in IR3 .
2) One uses then the Gram-Schmidt procedure to obtain the orthogonal
vectors {v1 , v2 , v3 }.
b̃ := projCol(A) b.
5
Then, it follows from the previous discussions that any solution of (8)
should satisfy
Ax̃ = b̃. (9)
Since b̃ ∈ Col(A), there is at least one solution x̃ of (8).
It is not hard to show (it would be a good exercise to verify it!) that
solving the equation (9) is equivalent to solving the system
AT Ax̃ = AT b (10)
which is called the system of normal equations corresponding to the prob-
lem (8).
6
We find det(AT A) = 56 and
1 10 −8 1 10 −8
(AT A)−1 = = .
det(AT A) −8 12 56 −8 12