Wednesday 27 June 2007

soft question - What's your favorite equation, formula, identity or inequality?

It's too hard to pick just one formula, so here's another: the Cauchy-Schwarz inequality:




||x|| ||y|| >= |(x.y)|, with equality iff x&y are parallel.




Simple, yet incredibly useful. It has many nice generalizations (like Holder's inequality), but here's a cute generalization to three vectors in a real inner product space:




||x||2 ||y||2 ||z||2 + 2(x.y)(y.z)(z.x) >= ||x||2(y.z)2 + ||y||2(z.x)2 + ||z||2(x.y)2, with equality iff one of x,y,z is in the span of the others.




There are corresponding inequalities for 4 vectors, 5 vectors, etc., but they get unwieldy after this one. All of the inequalities, including Cauchy-Schwarz, are actually just generalizations of the 1-dimensional inequality:




||x|| >= 0, with equality iff x = 0,




or rather, instantiations of it in the 2nd, 3rd, etc. exterior powers of the vector space.

No comments:

Post a Comment