The dual vector space to a real vector space
is the vector space of linear functions
, denoted
. In the dual of a complex vector space, the linear functions take complex values.
w obu przypadkach Podwójna przestrzeń wektorowa ma ten sam wymiar co
. Mając bazę wektorową ![]()
dla
istnieje Podwójna podstawa dla
, zapisana ![]()
, gdzie
I
jest deltą Kroneckera.
innym sposobem realizacji izomorfizmu z
jest iloczyn wewnętrzny. Prawdziwa przestrzeń wektorowa może mieć symetryczny wewnętrzny iloczyn
w takim przypadku wektor
odpowiada podwójnemu elementowi o
. Wtedy baza odpowiada swojej podwójnej podstawie tylko wtedy, gdy jest bazą ortonormalną, w którym to przypadku
. Kompleksowa przestrzeń wektorowa może mieć iloczyn wewnętrzny Hermiana, w którym to przypadku
jest sprzężonym izomorfizmem liniowym
z
, tj.,
.
Podwójne przestrzenie wektorowe mogą opisywać wiele obiektów w algebrze liniowej. Gdy
i
są skończonymi wymiarowymi przestrzeniami wektorowymi, elementem iloczynu tensora
, powiedzmy
, odpowiada przekształceniu liniowemu
. Oznacza to, że
. Na przykład transformacja tożsamości to
. Dwuliniowy formularz na
, taki jak produkt wewnętrzny, jest elementem
.