Линейное пространство строк над полем
Линейное пространство строк над полем
Систематическое рассмотрение строки коэффициентов i -го уравнения ai1x1+...+ainxn=bi ( i -я строка матрицы A=(aij) коэффициентов системы линейных уравнений), строки
всех коэффициентов i -го уравнения (включая свободный член bi i -й строки расширенной матрицы A=(aij,bi) системы линейных уравнений), строки
, являющейся решением системы линейных уравнений, с операциями сложения и умножения на элементы из поля K естественно подвело нас к определению линейного пространства строк Kn.
Пусть K - поле (например, K= R - поле действительных чисел). Рассмотрим



- Сложение строк (бинарная операция):еслито
- Для каждого элемента
(унарная) операция умножение строк на элемент
}: если
то
Свойства операций
(1.1) Ассоциативность сложения строк: если , то
.
Действительно, на i -м месте в и в
имеем
(ассоциативность сложения в поле K ).
(1.2) Коммутативность сложения строк: если , то
.
Действительно, на i -м месте в и в
имеем
(коммутативность сложения в поле K ).
(1.3) Нулевая строка (0,...,0) в Kn является нейтральным элементом для операции сложения в Kn, поскольку для любой строки
.
(1.4) Для любой строки существует противоположная строка
такая, что
.
Действительно, если , то для
(
) имеем
.
Таким образом, свойства (1.1)-(1.4) означают, что множество строк Kn с операцией сложения строк является коммутативной группой.
(2.1) Если ,
, то
.
Действительно, для имеем
.
(2.2) Если ,
, то
.
Действительно, для на i -м месте в
и в
имеем
(ассоциативность умножения в поле K ).
(3.1) Если ,
, то
.
Действительно, на i -м месте в и в
имеем
(дистрибутивность в поле K ).
(3.2) Если ,
, то
.
Действительно, на i -м месте в и в
имеем
(дистрибутивность в поле K ).
Определение 4.1.1. Множество V с операцией сложения и операциями умножения на элементы поля K, удовлетворяющее свойствам (1.1)-(1.4), (2.1), (2.2), (3.1), (3.2), называется линейным пространством над полем K .
Итогом наших проверок является
Теорема 4.1.2. Множество Kn строк длины n элементов поля K с операцией сложения и с операциями умножения на элементы поля K является линейным пространством над полем K.




Лемма 4.1.4. Если , то линейная оболочка
является линейным пространством (подпространством в линейном пространстве строк Kn ).
Доказательство. Для имеем:
