Линейное пространство строк над полем
Линейное пространство строк над полем
Систематическое рассмотрение строки коэффициентов i -го уравнения ai1x1+...+ainxn=bi ( i -я строка матрицы A=(aij) коэффициентов системы линейных уравнений), строки
всех коэффициентов i -го уравнения (включая свободный член bi i -й строки расширенной матрицы A=(aij,bi) системы линейных уравнений), строки
, являющейся решением системы линейных уравнений, с операциями сложения и умножения на элементы из поля K естественно подвело нас к определению линейного пространства строк Kn.
Пусть K - поле (например, K= R - поле действительных чисел). Рассмотрим
![K^n= \{(\alpha_1,...,\alpha_n)\mid \alpha_i\in K\} \text{ -}](/sites/default/files/tex_cache/916a46a44f360dd848264cd981619a7b.png)
![\alpha=(\alpha_1,...,\alpha_n)](/sites/default/files/tex_cache/e535308d85faea4ea64d3eec755fbc22.png)
![\alpha_i](/sites/default/files/tex_cache/cd0f1069db14b3485b705eb04d3e58a4.png)
- Сложение строк (бинарная операция):еслито
- Для каждого элемента
(унарная) операция умножение строк на элемент
}: если
то
Свойства операций
(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.
![\alpha_1=(a_{11},...,a_{1n}),...,\alpha_m=(a_{m1},...,a_{mn}) \in K^n,](/sites/default/files/tex_cache/de045241ee9b4f005b516881c295ae67.png)
![\alpha_1,...,\alpha_m](/sites/default/files/tex_cache/aa8c3b533ca7381897fbbb600dd6513b.png)
![\langle \alpha_1,...,\alpha_m\rangle= \biggl\{\,\sum\limits_{i=1}^{m}\lambda_i\alpha_i\mid \lambda_i\in K\biggr\}\subseteq K^n](/sites/default/files/tex_cache/75e620dc8e939cd67340adbb8393ceec.png)
![\alpha_1,...,\alpha_m](/sites/default/files/tex_cache/aa8c3b533ca7381897fbbb600dd6513b.png)
Лемма 4.1.4. Если , то линейная оболочка
является линейным пространством (подпространством в линейном пространстве строк Kn ).
Доказательство. Для имеем:
![\begin{gathe}
\sum\limits_{i=1}^{m}\lambda_i\alpha_i+
\sum\limits_{i=1}^{m}\gamma_i\alpha_i=
\sum\limits_{i=1}^{m}(\lambda_i+\gamma_i)\alpha_i\in
\langle \alpha_1,...,\alpha_m\rangle;
\\
0=\sum\limits_{i=1}^{m}0\cdot \alpha_i\in
\langle \alpha_1,...,\alpha_m\rangle;
\\
-\biggl(\,\sum\limits_{i=1}^{m}\lambda_i\alpha_i\biggr)=
\sum\limits_{i=1}^{m}(-\lambda_i)\alpha_i\in
\langle \alpha_1,...,\alpha_m\rangle.
\end{gathe}](/sites/default/files/tex_cache/b1f59f8e870a3d031c6542b96acc32d5.png)