Pairing
A pairing of two vector spaces
and is a linear map . It is sometimes convenient to adopt Dirac notation here and write .
Copairing
Nondegenerate Pairing
Corollary
The obvious evaluation map
is nondegenerate if and only if is of finite dimension.
Proposition