35
Линейные векторные пространства
Пусть L – множество объектов, которые условно назовем вектора
ми и обозначим A, B, C,... . Введем на множестве векторов операцию
сложения так, чтобы (L, +) была бы коммутативной группой. Введем
операцию умножения скаляра на вектор так, чтобы результат был век
тором того же множества L: aA = B Î L. Множество скаляров a, b, g,...
должно принадлежать числовому кольцу или полю. Если при этом вы
полняется набор аксиом дистрибутивности: (a+b)A = aA + bA, a(A+
+B) = aA+aB, кроме того, 0A = 0, 1A = A для всех векторов L, то L
является линейным векторным пространством. Первым классом
объектов является множество векторов. Вторым классом объектов яв
ляется множество скаляров.
Примеры.
1. Возьмем плоскость с декартовой системой координат. Каждой
точке плоскости можно сопоставить вектор, выходящий из начала ко
ординат и заканчивающийся в данной точке. Каждому вектору можно
сопоставить пару чисел, соответствующих проекциям его на коорди
натные оси, причем эти соответствия будут взаимно однозначными.
Таким образом, задав пару чисел (a, b), мы можем считать, что задали
вектор на плоскости, выходящий из начала координат. Обозначим
множество таких двумерных векторов через L. Введем на множестве
векторов операцию сложения: (a, b)+(c, d) = (a+c, b+d). Легко убедить
ся в том, что множество векторов L с такой операцией сложения обра
зует коммутативную группу. Введем операцию умножения скаляра на
вектор: a(a, b) = (aa, ab). Аксиомы дистрибутивности выполняются,
следовательно, множество таких векторов образует линейное двумер
ное векторное пространство.
Рассмотрим теперь тройки чисел вида (a, b, c) и назовем их векто
рами в трехмерном пространстве. Введем операцию сложения трехмер
ных векторов аналогично двумерным, т. е. компоненты трехмерного
вектора будут равны сумме соответствующих компонентов слагаемых
векторов. Введем операцию умножения скаляра на трехмерный вектор,
при которой компоненты вектора умножаются на скаляр. В этом слу
чае легко проверить, что все аксиомы дистрибутивности выполняют
ся. Следовательно, мы построили трехмерное линейное векторное про
странство.
Рассмотрим теперь объекты вида (a
1
, a
2
, a
3
, ..., a
n
), где все a
i
при
надлежат полю действительных чисел, а сами объекты назовем nмер
ными векторами. Аналогично рассмотренным случаям введем опера
ции сложения nмерных векторов и умножения скаляров на nмерный
вектор. Проверив, что такие векторы образуют коммутативную груп