Existence
An eigenvalue λ of a matrix is characterized by the algebraic relation M u = λ u. When M is Hermitian, a variational characterization is also available. Let M be a real n × n symmetric matrix. Define f :Rn → R by f(x) = xT M x. By the extreme value theorem, this continuous function attains a maximum at some u when restricted to the closed unit sphere {||x|| ≤ 1}. By the Lagrange multipliers theorem, u necessarily satisfies
where the nabla symbol, is the del operator.
A short calculation shows the above leads to M u = λ u (symmetry of M is needed here). Therefore λ is the largest eigenvalue of M. The same calculation performed on the orthogonal complement of u gives the next largest eigenvalue and so on. The complex Hermitian case is similar; there f(x) = x* M x is a real-valued function of 2n real variables.
Singular values are similar in that they can be described algebraically or from variational principles. Although, unlike the eigenvalue case, Hermiticity, or symmetry, of M is no longer required.
This section gives these two arguments for existence of singular value decomposition.
Read more about this topic: Singular Value Decomposition
Famous quotes containing the word existence:
“I create my social existence by earning and spending.”
—Mason Cooley (b. 1927)
“Sometimes I think that the biggest difference between men and women is that more men need to seek out some terrible lurking thing in existence and hurl themselves upon it.... Women know where it lives but they can let it alone.”
—Russell Hoban (b. 1925)
“Each of us, even the lowliest and most insignificant among us, was uprooted from his innermost existence by the almost constant volcanic upheavals visited upon our European soil and, as one of countless human beings, I can’t claim any special place for myself except that, as an Austrian, a Jew, writer, humanist and pacifist, I have always been precisely in those places where the effects of the thrusts were most violent.”
—Stefan Zweig (18811942)