Solèr's theorem
English
Etymology
The theorem was originally proved by Maria Pia Solèr.
Proper noun
Solè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.