Es sei ein abgeschlossenes reelles Intervall mit
und sei
-
versehen mit der punktweisen Addition und Skalarmultiplikation. Wir setzen
-
und erhalten damit ein
Skalarprodukt
auf . Die Additivität folgt beispielsweise aus
-
Die positive Definitheit folgt so: Wenn nicht die Nullfunktion ist, so sei
ein Punkt mit
.
Dann ist
und wegen der Stetigkeit von gibt es dann auch eine Umgebung der Länge , auf der überall
-
für ein gewisses
ist
(man kann
nehmen).
Somit ist
-
positiv.