Everything2
Near Matches
Ignore Exact
Full Text
Everything2

A real symmetric matrix has n eigenvalues

created by ariels

(idea) by ariels (4.3 d) (print)   ?   I like it! Sat Apr 15 2000 at 6:04:49

A real symmetric n * n matrix has n eigenvalues (including geometric multiplicity)

In particular, such a matrix is diagonalizable, and even by an orthogonal basis.
Proof:
Let M be such a matrix.

For n=1, M is simply a scalar, and the statement is obvious.

So suppose the statement is true for n-1, and prove it for n * n matrices. We first wish to show M has a real eigenvalue (not all real matrices do!). To this end, consider f(v) = (Mv, v), as a function from the unit sphere of R^n to R. Since the sphere is compact, f attains global extrema, say at some unit vector u. But deriving f, we see that (grad f)(v) = 2Mv; by the Lagrange multiplier rule, at any extremum of f, grad f is in the direction of the normal to the sphere. Since the normal to the sphere at v is in the direction of v, it follows that at the extremum u, Mu = mu for some scalar m. But that means u is an eigenvalue of M.

Now we shall "deflate" M to an (n-1)*(n-1) symmetric matrix M', and apply the induction hypothesis. Let V' = {v | (u,v)=0} be the orthogonal complement of V (dim V' = n-1). All we must show is that M|V' (M, restricted to act only on V') is a symmetric matrix; applying the induction hypothesis, it has n-1 distinct eigenvectors, and along with u, M has n distinct eigenvectors, hence it has n distinct eigenvalues counting multiplicity.

Pick any orthonormal basis {w_1,...,w_{n-1}} for V'. Then {w_1,...,w_{n-1},u} is a basis for V. Representing the operator M by that basis, we still have a symmetric matrix, but (since u is an eigenvector) we know that the last row/column is (0,...,0,m). Dropping the last row and column, we see that M' is an operator from V' to V', and that it is represented by a symmetric matrix in some basis, so it is symmetric. Thus the induction hypothesis holds, and we are done.

QED.


printable version
chaos

Node More Mathematics eigenvalue Lagrange multiplier rule The crash and bellow of a thousand unseen monsters
symmetric matrix Primary decomposition theorem eigenvalue multiplicity orthogonal matrix
Reasons that the English language is hard to learn QED eigenvector advanced mathematical theorems as a psychoactive substitute
The Thin Red Line Curl scalar Split-level
Darth Vader group mathematics orthonormal
Running away is great if you have somewhere to go basis Marcie
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.
  Epicenter
Login
Password

password reminder
register

Everything2 Help

Cool Staff Picks
What you are reading:
time
Life is a Rock
Why would he want a writer when he could have a dancer?
Carlos Castaneda
The Smiths
My microwave can stop time
Ouagadougou
How do men touch you?
Zora Neale Hurston
STENDEC
Fahrenheit 9/11
Mahabharata
Antietam
New Writeups
ammie
Bands Who Take Their Names from Eighteenth-century English Poetry and Prose(idea)
shaogo
Under My Thumb(review)
ammie
Rock On(person)
The Custodian
The Dresden Files(thing)
Ouzo
PETA becomes you, a proposed future(fiction)
Ereneta
Stone Soup, Part Two(fiction)
jjen
Sorrier than I ever thought I would be(personal)
locke baron
Moskva class antisubmarine cruiser(thing)
Wuukiee
May 15, 2008(idea)
locke baron
Kuznetsov class aircraft carrier(thing)
_lesra
for abby(thing)
Adaptive Child
Annie's garden salsa(recipe)
Simulacron3
Zig-Zag(thing)
Noung
Tiananmen Square Massacre(idea)
aneurin
Lord St Clair(person)
Everything 2 is brought to you by the letter C and The Everything Development Company