My mistake - I was thinking of the Steinitz exchange lemming; so I should have said "What jumps off cliffs and states that if we have a spanning set of vectors S = {s1 ... sm} and set of linearly independent vectors V = {v1 ... vn}, then n<=m and it is possible to replace n elements of the set S with the elements of V such that S still spans." It's not so snappy though.
(no subject)
Date: 2003-08-29 05:10 am (UTC)Zorn's lemon
What jumps of cliffs and can construct an orthogonal basis?
Um. . . Gram Schmidt lemming? (I always thought that was a process rather than a lemma.)
(no subject)
Date: 2003-08-29 05:23 am (UTC)(no subject)
Date: 2003-08-29 05:59 am (UTC)(I never was very good at algebra anyway.)