Двойственный базис

Предложение 1. Пусть — векторное пространство размерности с базисом . Тогда линейные функционалы , определенные соотношением

,

образуют базис .

Определение 2. Базис пространства , указанный в формулировке предложения 1, называется двойственным3)к базису пространства .