Математическая энциклопедия - векторное пространство

, линейное пространство, над полем К, - аддитивно записанная абелева группа Е, в которой определено умножение элементов на скаляры, т. е. отображение

удовлетворяющее следующим аксиомам

Из аксиом 1) 4) вытекают следующие важные свойства векторного пространства :

Элементы В. п. наз. точками В. п., или векторами, а элементы поля К - скалярами.

Наибольшее применение в математике и приложениях имеют В. п. над полем комплексных чисел или над полем действительных чисел; они наз. соответственно комплексными В. п. или действительными В. п.

Аксиомы В. п. выявляют нек-рые алгебраич. свойства многих классов функций, часто встречающихся в анализе.

Из примеров В. п. самыми фундаментальными и наиболее ранними являются n-мерные евклидовы пространства. Почти столь же важными примерами являются многие функциональные пространства: пространство непрерывных функций, пространство измеримых функций, пространство суммируемых функций, пространство аналитич. функций, пространство функций ограниченной вариации.

Понятие В. п. есть частный случай понятия модуля над кольцом, а именно, В. н. есть унитарный модуль над полем. Унитарный модуль над некоммутативным телом также наз. векторным пространством над телом; теория таких В. п. во многом сложнее теории В. п. над полем.

Одной из важных задач, связанных с В. п., является изучение геометрии В. п., т. е. изучение прямых в В. п., плоских и выпуклых множеств в В. п., подпространств В. п. и базисов в В. п.

Векторным подпространством, или просто подпространством, В. п. Енад полем А' наз. подмножество , замкнутое относительно действий сложения и умножения на скаляр. Подпространство, рассматриваемое отдельно от вмещающего его пространства, есть В. п. над тем же полем.

Прямой линией, проходящей через две точки хи уВ. п. Е, наз. множество элементов вида Множество наз. плоским множеством, если вместе с любыми двумя точками оно содержит прямую, проходящую через эти точки. Каждое плоское множество получается из нек-рого подпространства с помощью сдвига (параллельного переноса): ; это означает, что каждый элемент представим единственным образом в виде причем это равенство осуществляет взаимно однозначное соответствие между Fи G.

Совокупность всех сдвигов данного подпространства образует В. п. над К, наз. фактор-пространством , если определить операции следующим образом:

Пусть произвольное множество векторов из Е;линейной комбинацией векторов наз. вектор х, определенный формулой

в к-рой лишь конечное число коэффициентов отлично от нуля. Совокупность всех линейных комбинаций векторов данного множества Мявляется наименьшим подпространством, содержащим М, и наз. линейной оболочкой множества М. Линейная комбинация наз. тривиальной, если все коэффициенты равны нулю. Множество Мназ. линейно независимым множеством, если все нетривиальные линейные комбинации векторов из Мотличны от нуля.

Любое линейно независимое множество содержится в нек-ром максимальном линейно независимом множестве , т. е. в таком множестве, к-рое перестает быть линейно независимым после присоединения к нему любого элемента из Е.

Каждый элемент может быть единственным образом представлен в виде линейной комбинации элементов максимального линейно независимого множества:

В связи с этим максимальное линейно независимое множество наз. базисом В. п. (алгебраическим базисом). Все базисы данного В. п. имеют одинаковую мощность, к-рая наз. размерностью В. п. Если эта мощность конечна, пространство наз. конечномерным В. п.; в противном случае оно наз. бесконечномерным В. п.

Поле Кможно рассматривать как одномерное В. п. над полем К;базис этого В. п. состоит из одного элемента; им может быть любой элемент, отличный от нуля. Конечномерное В. п. с базисом из пэлементов наз. n-мерным пространством.

В теории действительных и комплексных В. п. важную роль играет теория выпуклых множеств. Множество Мв действительном В. п. наз. выпуклым множеством, если вместе с любыми двумя его точками х, у отрезок также принадлежит М.

Большое место в теории В. п. занимает теория линейных функционалов на В. п. и связанная с этим теория двойственности. Пусть Еесть В. п. над полем К. Линейным функционалом на Еназ. аддитивное и однородное отображение

Множество всех линейных функционалов на Еобразует В. п. над полем Котносительно операций

Это В. п. наз. сопряженным (или двойственным) пространством (к Е). С понятием сопряженного пространства связан ряд геометрич. терминов. Пусть (соответственно ); аннулятором множества D, или ортогональным дополнением множества D (соответственно множества Г) наз. множество

(соответственно

здесь п подпространства соответственно пространств Если f ненулевой элемент из , то есть максимальное собственное линейное подпространство в Е, наз. иногда гиперподпространством; сдвиг такого подпространства наз. гиперплоскостьюв Е;всякая гиперплоскость имеет вид

Если F ~ подпространство В. п. Е, то существуют естественные изоморфизмы между и

Подмножество наз. тотальным подмножеством над Е, если его аннулятор содержит лишь нулевой элемент:

Каждому линейно независимому множеству можно сопоставить сопряженное множество , т. е. такое множество, что ( Кронекера символ).для всех Множество пар наз. при этом биортогональной системой. Если множество есть базис в Е, то тотально над .

Значительное место в теории В. п. занимает теория линейных преобразований В. п. Пусть Е 1, Е 2 - два В. п. над одним и тем же полем К. Линейным отображением, или линейным оператором, Т, отображающим В. п. E1 в В. п. Е 2 (или линейным оператором из E1 в E2), наз. аддитивное и однородное отображение пространства Е 1 в Е 2:

Частным случаем этого понятия является линейный функционал, или линейный оператор из Е 1 в K.

Линейным отображением является, напр., естественное отображение В. п. E на факторпространство , сопоставляющее каждому элементу плоское множество . Совокупность всех линейных операторов образует В. п. относительно операций

Два В. п. Е 1 и E2 наз. изоморфными В. п., если существует линейный оператор ("изоморфизм"), осуществляющий взаимно однозначное соответствие между их элементами. Е 1 и E2 изоморфны тогда и только тогда, когда их базисы имеют одинаковую мощность.

Пусть Т - линейный оператор, отображающий Е 1 в Е 2. Сопряженным линейным оператором, или двойственным линейным оператором, по отношению к Т, наз. линейный оператор определенный равенством