Es seien p , q , n {\displaystyle {}p,q,n} natürliche Zahlen mit p + q ≤ n {\displaystyle {}p+q\leq n} . Wir betrachten auf dem R n {\displaystyle {}\mathbb {R} ^{n}} die Bilinearform ⟨ − , − ⟩ {\displaystyle {}\left\langle -,-\right\rangle } , die durch
gegeben ist. Sie hat den Typ ( p , q ) {\displaystyle {}(p,q)} , und zwar ist die Einschränkung auf den Unterraum R e 1 + ⋯ + R e p {\displaystyle {}\mathbb {R} e_{1}+\cdots +\mathbb {R} e_{p}} positiv definit und die Einschränkung auf den Unterraum R e p + 1 + ⋯ + R e p + q {\displaystyle {}\mathbb {R} e_{p+1}+\cdots +\mathbb {R} e_{p+q}} negativ definit.