Een inwendig product moet steeds positief (definiet) zijn, dat wil zeggen dat het inwendig product
.,.
voldoet aan x,x 0 voor x verschillend van 0 en x,x = 0 indien x = 0. Wanneer je een reële vectorruimte uitrust met een inproduct, noem je die ruimte een euclidische ruimte. Als je een complexe vectorruimte met een inproduct uitrust, spreek je van een prehilbertruimte.
mvg,
Tom
td
28-12-2009