Begriff des Hilbert-Raumes
: Skalarproduktraum über
oder 
Dabei heißt eine Abbildung
Skalarprodukt, falls
gilt:
(Linearität)
(Antisymmetrie)
(Definitheit)
Aus
und
folgt, dass
eine Sesquilinearform ist, d.h. linear im 1. Argument und antilinear im 2. Argument, d.h.

Falls der Skalarbereich
ist, so ist
eine Bilinearform (also in beiden Argumenten linear).
Wir definieren nun die Norm auf
:

Insbesondere gilt hier die Dreiecksungleichung und daher auch die Schwarzsche Ungleichung:

Der Hilbertraum ist dann die Vervollständigung von
: 
Hilfssatz
Für beliebige
gilt

Damit kann der folgende Satz bewiesen werden:
Satz
Ein unendlichdimensionaler Banach-Raum
(über
) ist ein Hilbert-Raum, wenn für alle
gilt:

An dieser Stelle noch ein einfaches Beispiel für einen Hilbertraum: 

