Комплексификация векторного пространства
Комплексифика́ция ве́кторного простра́нства, комплексное векторное пространство , полученное из вещественного векторного пространства путём расширения поля скаляров. Пространство определяется как тензорное произведение . Его можно определить также как множество формальных выражений , где , с естественно заданными операциями сложения и умножения на комплексные числа. Пространство вкладывается в в качестве вещественного подпространства и называется вещественной формой пространства . Всякий базис пространства будет базисом пространства (над ). В частности, .
Операция является функтором из категории векторных пространств над в категорию векторных пространств над .