Auerbach's_lemma
Auerbach's lemma
Theorem in functional analysis
In mathematics, Auerbach's lemma, named after Herman Auerbach, is a theorem in functional analysis which asserts that a certain property of Euclidean spaces holds for general finite-dimensional normed vector spaces.