Definizione Uno spazio unitario è uno spazio vettoriale sul campo complesso in cui è definito un prodotto interno (denominato anche prodotto scalare o prodotto hermitiano), cioè un'applicazione
che verifica i seguenti assiomi:
Da tali assiomi segue che la predetta applicazione è bilineare. In analogia con la nozione di "lunghezza" di un vettore di uno spazio vettoriale euclideo, definiamo la norma:
Assegnato uno spazio vettoriale En e preso ad arbitrio un intero naturale r, consideriamo lo spazio prodotto tensoriale
e quindi, il suo sottoinsieme
i cui elementi sono i tensori r-covarianti completamente simmetrici. Mostriamo che si tratta di un sottospazio vettoriale di En*(r). Infatti:
La chiusura di Sn*(r) rispetto alle leggi di composizione di addizione di moltiplicazione per uno scalare, implica che tale insieme è un sottospazio vettoriale di En*(r). Ovviamente siamo interessati alla dimensione di tale spazio. Intanto osserviamo che