Es seien natürliche Zahlen mit
.
Wir betrachten auf dem die
Bilinearform
, die durch
-
gegeben ist. Sie hat den
Typ
, und zwar ist die Einschränkung auf den Unterraum Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikiversity.org/v1/“:): {\displaystyle {{}} \R e_1 + \cdots + \R e_p}
positiv definit
und die Einschränkung auf den Unterraum
negativ definit.