Let K {\displaystyle {}K} be a field, let V {\displaystyle {}V} denote a K {\displaystyle {}K} -vector space with its dual space V ∗ {\displaystyle {}{V}^{*}} . Let
be a linear mapping.
defines a bilinear form