Appendix B

Linear Algebra Review

B.1 Euclidean Spaces

B.1.1 Inner Product and the Norm

A Euclidean space E is a finite-dimensional vector space for which an inner product bapp02-math-0001 is defined. The inner product, sometimes called dot product and denoted x · y, must satisfy the following three axioms:

  1. Symmetry: bapp02-math-0002
  2. Bilinearity: bapp02-math-0003 for any λ ∈
  3. Positive-definiteness: bapp02-math-0004 and bapp02-math-0005 if and only if x = 0

For example:

  • E = n with the canonical dot product bapp02-math-0006
  • The space of continuous functions over the interval [a, b] with the inner product:
equation

The inner product induces a distance or norm bapp02-math-0008 with the following standard properties:

  • Positive scalability: bapp02-math-0009 for any λ ∈
  • Triangle inequality: bapp02-math-0010

B.1.2 Cauchy-Schwarz Inequality and Angles

The Cauchy-Schwarz inequality is one of the most important inequalities in all of mathematics and states that:

equation

which allows us to define the absolute angle in [0, π] between x and y as:

equation

B.1.3 Orthogonality

Two vectors are said to be orthogonal whenever their inner product is zero.

A system of vectors is said to be orthogonal whenever they are pairwise orthogonal. There can be at most n vectors in an orthogonal system, where n is the dimension of E.

A system of vectors is said to be orthonormal when it is orthogonal and the norm of each vector is 1.

Every Euclidean space has infinitely many orthonormal bases. In practice, given an arbitrary basis (v1,…, vn), we can build an orthonormal basis bapp02-math-0013 by following Gram-Schmidt's orthonormalization process:

equation

The orthogonal projection of a given vector x onto the line Span(v) is simply bapp02-math-0015. In n with canonical inner product, the projection operator is then bapp02-math-0016.

Given an orthonormal basis bapp02-math-0017 the coordinates of a given vector x are bapp02-math-0018 and we have bapp02-math-0019.

An orthogonal matrix O is a square matrix whose columns and rows are orthonormal vectors of n; equivalently OOT = OTO = I, where I is the identity matrix.

Parseval's identity states that the norm of a vector does not depend on the orthonormal basis in which its coordinates are calculated:

equation

where bapp02-math-0021 is an arbitrary orthonormal basis of E.

B.2 Square Matrix Decompositions

Given a basis = (v1,…, vn) we may represent any linear transformation f: EE as an n × n square matrix A whose columns are the coordinates of bapp02-math-0022 in . Then bapp02-math-0023 is an equivalent representation of f.

It is often useful to rewrite a given matrix as a product or sum of simpler components. For example, some matrices may be written bapp02-math-0024 where P is an invertible square matrix whose columns are eigenvectors and D is a diagonal matrix of eigenvalues. By the spectral theorem, this is true of every symmetric matrix in which case P can be chosen to be orthogonal and we may write bapp02-math-0025 where v*'s are the columns of P. When all λ's are positive A is said to be positive-definite and when all λ's are nonnegative A is said to be positive-semidefinite.

Another type of decomposition is A = LU where L is lower triangular and U is upper triangular. If A is symmetric positive-definite then we can find L, U such that U = LT and the decomposition A = LLT is called a Cholesky decomposition.

The bilinear transformation bapp02-math-0026 defines an inner product on n if and only if A is symmetric positive-definite, in which case we may rewrite:

equation

where bapp02-math-0028 is the canonical norm and angles are measured canonically. The associated quantity bapp02-math-0029 is then known as a quadratic form.

The Rayleigh quotient bapp02-math-0030 measures the scaling factor between the canonical norm and the Q-norm; it can be shown to be comprised between mini λi and maxi λi. The maximum eigenvalue of A is then called the spectral radius ρ(A), and we have bapp02-math-0031.

..................Content has been hidden....................

You can't read the all page of ebook, please click here login for view all page.
Reset
18.226.177.86