Dodatkowe przykłady dopasowywane są do haseł w zautomatyzowany sposób - nie gwarantujemy ich poprawności.
A result of Albrecht Pfister shows that a positive semidefinite form in n variables can be expressed as a sum of 2 squares.
We will say that a seminorm p is a Hilbert seminorm if V is a Hilbert space, or equivalently if p comes from a sesquilinear positive semidefinite form on V.
