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