Линейное (векторное) пространство

\(\textbf{Линейное (векторное) пространство}\) — это множество элементов, называемых векторами, для которых определены две операции: сложение векторов и умножение вектора на скаляр. Эти операции должны удовлетворять следующим восьми свойствам:

\(\textbf{Коммутативность сложение}\): Для любых двух векторов \(\mathbf{u}\) и \(\mathbf{v}\) в пространстве, \(\mathbf{u} + \mathbf{v} = \mathbf{v} + \mathbf{u}\).

\(\textbf{Ассоциативность сложения}\): Для любых трех векторов \(\mathbf{u}, \mathbf{v}, \mathbf{w}\) в пространстве, \((\mathbf{u} + \mathbf{v}) + \mathbf{w} = \mathbf{u} + (\mathbf{v} + \mathbf{w})\).

\(\textbf{Существование нулевого вектора}\): Существует вектор \(\mathbf{0}\) в пространстве такой, что для любого вектора \(\mathbf{u}\), \(\mathbf{u} + \mathbf{0} = \mathbf{u}\).

\(\textbf{Существование противоположного вектора}\): Для каждого вектора \(\mathbf{u}\) в пространстве существует вектор \(-\mathbf{u}\) такой, что \(\mathbf{u} + (-\mathbf{u}) = \mathbf{0}\).

\(\textbf{Ассоциативность умножения на скаляр}\): Для любых скаляров \(a\) и \(b\) и любого вектора \(\mathbf{u}\), \(a(b\mathbf{u}) = (ab)\mathbf{u}\).

\(\textbf{Свойство единичного скаляра}\): Для любого вектора \(\mathbf{u}\) в пространстве, \(1\mathbf{u} = \mathbf{u}\).

\(\textbf{Дистрибутивность умножения на скаляр относительно сложения векторов}\): Для любых векторов \(\mathbf{u}\) и \(\mathbf{v}\) и любого скаляра \(a\), \(a(\mathbf{u} + \mathbf{v}) = a\mathbf{u} + a\mathbf{v}\).

\(\textbf{Дистрибутивность умножения на скаляр относительно сложения скаляров}\): Для любых скаляров \(a\) и \(b\) и любого вектора \(\mathbf{u}\), \((a + b)\mathbf{u} = a\mathbf{u} + b\mathbf{u}\).

Эти свойства определяют структуру линейного пространства и обеспечивают основу для линейной алгебры.