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