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