Jump to content

Bilinear form/Nondegenerate/Definition

From Wikiversity
Nondegenerate bilinear form

Let be a field, and let denote a -vector space. A bilinear form

is called nondegenerate, if for every , , the induced mapping

and, for every , , the induced mapping

is not the zero mapping.