dove per consuetudine indichiamo con · il prodotto scalare i.e. il valore assunto dalla predetta forma bilineare. Ciò premesso, se x è un qualunque vettore di En, si ha:
dove al solito, le xi sono le componenti di x nella base {ei}, che ora chiamiamo componenti controvarianti del vettore x nella base {ei}. D'altra parte, eseguendo il prodotto scalare restano definite le componenti xi (cioè con indici in basso):