Solèr's theorem

English

Etymology

The theorem was originally proved by Maria Pia Solèr.

Proper noun

Solèr's theorem

1. (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.