Dual isomorphisms induced by a nondegenerate pairing

ID: dual-isomorphisms-induced-by-a-nondegenerate-pairing

A bilinear form with zero left and right radicals induces injective linear maps and . Finite dimensions force , so both maps are isomorphisms. For any other bilinear form , composing its maps to the dual spaces with these inverse isomorphisms gives unique endomorphisms with . In bases with invertible pairing matrix and coefficient matrix , and .

New to topics? Read the docs here!