Solèr's theorem
English
editEtymology
editThe theorem was originally proved by Maria Pia Solèr.
Proper noun
editSolèr's theorem
- (mathematics) A result concerning certain infinite-dimensional vector spaces, stating that any orthomodular form that has an infinite orthonormal sequence is a Hilbert space over the real numbers, complex numbers or quaternions.