- ДВОЙСТВЕННЫЙ БАЗИС
дуальный базис, к базису {е 1, ..., е п )модуля Еотносительно формы f - такой базис {c1 , ..., с п} модуля Е, что
где Е- свободный K-модуль над коммутативным кольцом Кс единицей, а f - неособая билинейная форма на Е.
Пусть Е* -модуль, сопряженный к Е,a {e*1,. . ., е* п)- базис Е*, сопряженный к исходному базису Е: е i* (е i)=1, е i* (е i) = 0,
. Тогда каждой билинейной форме f на Еотвечают отображения jf, yf :
определяемые равенствами
Если форма f неособая, то каждое из отображении ,jfyf является изоморфизмом, и обратно. При этом двойственный к { е 1, ..., е п}базис {ci . . ., с п}характеризуется тем свойством, что
Е. Н. Кузьмин.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.