Свободное векторное пространство

Свободное векторное пространство — это математическая конструкция, используемая в теории категорий, гомологической алгебре и алгебраической топологии, которая ставит в соответствие произвольному множеству векторное пространство, базой которого является это множество. Формально, для данного множества \(X\) свободное векторное пространство над полем \(K\) — это векторное пространство \(F(X)\), состоящее из всех формальных конечных линейных комбинаций элементов \(X\) с коэффициентами из \(K\). Это фундаментальный пример свободного объекта в категории векторных пространств.

Определение

Пусть \(X\) — произвольное множество, а \(K\) — некоторое поле (например, поле вещественных чисел \(\mathbb{R}\) или комплексных чисел \(\mathbb{C}\)). Свободное векторное пространство \(F(X)\) над полем \(K\) определяется как множество всех формальных сумм вида:

\[ \sum_{x \in X} \alpha_x \cdot x, \]

где \(\alpha_x \in K\), и лишь конечное число коэффициентов \(\alpha_x\) отлично от нуля. Другими словами, каждый элемент \(F(X)\) — это функция \(f: X \to K\) с конечным носителем (то есть множество \(\{x \in X \mid f(x) \neq 0\}\) конечно).

Сложение векторов и умножение на скаляр определяются покомпонентно:

• \((f + g)(x) = f(x) + g(x)\);
• \((\lambda f)(x) = \lambda \cdot f(x)\) для \(\lambda \in K\).

Нулевым вектором является функция, тождественно равная нулю. Базисом пространства \(F(X)\) служит множество \(\{\delta_x \mid x \in X\}\), где \(\delta_x\) — функция, равная 1 в точке \(x\) и 0 во всех остальных точках. Таким образом, размерность \(F(X)\) равна мощности множества \(X\).

Свойства

Универсальное свойство

Свободное векторное пространство обладает универсальным свойством: для любого множества \(X\), любого векторного пространства \(V\) над полем \(K\) и любой функции \(f: X \to V\) существует единственное линейное отображение \(\tilde{f}: F(X) \to V\), такое, что \(\tilde{f}(\delta_x) = f(x)\) для всех \(x \in X\). Это свойство делает \(F(X)\) свободным объектом в категории векторных пространств.

Функториальность

Отображение \(X \mapsto F(X)\) задаёт ковариантный функтор из категории множеств \(\mathbf{Set}\) в категорию векторных пространств \(\mathbf{Vect}_K\). Для любого отображения множеств \(\varphi: X \to Y\) индуцированное линейное отображение \(F(\varphi): F(X) \to F(Y)\) определяется как:

\[ F(\varphi)\left( \sum_{x \in X} \alpha_x \cdot \delta_x \right) = \sum_{x \in X} \alpha_x \cdot \delta_{\varphi(x)}. \]

Связь с групповой алгеброй

Если множество \(X\) является группой \(G\), то свободное векторное пространство \(F(G)\) естественным образом наделяется структурой алгебры, называемой групповой алгеброй \(K[G]\). Умножение в \(K[G]\) задаётся свёрткой: \((\sum_g a_g g) \cdot (\sum_h b_h h) = \sum_{g,h} a_g b_h (gh)\).

Примеры

Конечное множество

Пусть \(X = \{1, 2, \dots, n\}\). Тогда \(F(X)\) изоморфно \(K^n\) — пространству столбцов высоты \(n\). Базисные векторы \(\delta_1, \dots, \delta_n\) соответствуют стандартным единичным векторам \(e_1, \dots, e_n\).

Счётное множество

Если \(X = \mathbb{N}\) (натуральные числа), то \(F(\mathbb{N})\) — это пространство всех последовательностей \((a_1, a_2, \dots)\) с конечным числом ненулевых членов. Это пространство бесконечномерно, но его размерность счётна.

Одноэлементное множество

Для \(X = \{x_0\}\) пространство \(F(\{x_0\})\) одномерно и изоморфно \(K\). Любой элемент имеет вид \(\alpha \cdot \delta_{x_0}\).

Применение

В теории категорий

Свободное векторное пространство служит классическим примером свободного объекта и иллюстрирует сопряжённые функторы: функтор забывания \(U: \mathbf{Vect}_K \to \mathbf{Set}\) (забывающий структуру векторного пространства) имеет левый сопряжённый — функтор свободного векторного пространства \(F: \mathbf{Set} \to \mathbf{Vect}_K\).

В алгебраической топологии

В симплициальной гомологии свободные векторные пространства используются для построения цепных комплексов. Для симплициального комплекса \(S\) группы цепей \(C_n(S)\) определяются как свободные векторные пространства над множеством \(n\)-мерных симплексов. Граничные операторы задаются на этих пространствах, что позволяет вычислять гомологии.

В функциональном анализе

Хотя свободное векторное пространство \(F(X)\) является чисто алгебраическим объектом, его пополнение в определённых топологиях приводит к пространствам функций, таким как \(L^p\)-пространства или пространства Шварца. Например, если \(X\) — топологическое пространство, то \(F(X)\) можно наделить топологией, превращая его в топологическое векторное пространство.

Связь с другими конструкциями

Свободное абелево множество

Аналогом свободного векторного пространства над кольцом \(\mathbb{Z}\) является свободная абелева группа \(\mathbb{Z}[X]\), состоящая из формальных конечных сумм с целыми коэффициентами. Она также называется свободным \(\mathbb{Z}\)-модулем.

Тензорная алгебра

Свободное векторное пространство \(F(X)\) является частным случаем тензорной алгебры: если \(X\) — это множество образующих, то тензорная алгебра \(T(V)\) над векторным пространством \(V\) строится как прямая сумма тензорных степеней \(V^{\otimes n}\), а свободное векторное пространство соответствует случаю, когда \(V\) одномерно.

Интересные факты

• Свободное векторное пространство над пустым множеством \(X = \varnothing\) является нулевым пространством \(\{0\}\), так как единственная формальная сумма с конечным числом слагаемых — пустая сумма.
• В терминах теории множеств, \(F(X)\) можно рассматривать как пространство функций с конечным носителем. Это позволяет интерпретировать элементы \(F(X)\) как «обобщённые линейные комбинации» точек множества \(X\).
• Конструкция свободного векторного пространства является частным случаем более общей конструкции свободного модуля над кольцом.

Источники

• Маклейн С. «Категории для работающего математика». — М.: Физматлит, 2004.
• Ленг С. «Алгебра». — М.: Мир, 1968.
• Хатчер А. «Алгебраическая топология». — М.: МЦНМО, 2011.
• Винберг Э. Б. «Курс алгебры». — М.: МЦНМО, 2013.