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

длины n элементов
, i=1,...,n, поля K. На множестве Kn определены следующие операции.- Сложение строк (бинарная операция):еслито


- Для каждого элемента
(унарная) операция умножение строк на элемент
}: еслито

Свойства операций
(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 ).
Доказательство. Для
имеем:
