Комплексифика́ция — это операция построения по данному вещественному пространству «наиболее близкого» к нему комплексного пространства. Простейший пример — комплексификация конечномерного вещественного векторного пространства . В этом случае, интуитивно, элемент пространства представляется последовательностью вещественных чисел, и можно «рассмотреть эти числа как элементы ${\displaystyle \mathbb {C} }$ ». Тогда можно ввести операцию умножения вектора на комплексные числа, что даст комплексное векторное пространство той же размерности. Формально это означает сопоставление данному вещественному пространству ${\displaystyle V}$ комплексного пространства ${\displaystyle V^{C}=V\otimes _{\mathbb {R} }\mathbb {C} }$ , называемого комплексификацией ${\displaystyle V}$ (на нём вводится естественное умножение на элементы ${\displaystyle \mathbb {C} }$ ). Здесь ${\displaystyle \otimes _{\mathbb {R} }}$ — тензорное произведение над ${\displaystyle \mathbb {R} }$

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

Обратная (в некотором смысле) операция называется овеществление . Его определить несколько проще, чем комплексификацию.

Литература

• Кострикин А.И. Введение в алгебру. Часть II. Линейная алгебра. — М. : Физико-математическая литература, 2000. — 368 с. — ISBN 5-9221-0018-1 .