Dimostrazione.
Che
sia un sottospazio vettoriale si vede facendo la verifica standard:
e
, sia
, allora
Dimostriamo che
è equivalente a verificare
(per la simmetria di
).
equivale a:
.
c.v.d.