Линейное векторное пространство: определение, свойства

Векторным (линейным) пространством называется множество векторов (элементов) с действительными компонентами, в котором определены операции сложения векторов и умножения вектора на число, удовлетворяющим определенным аксиомам (свойствам)

1)х + у = у + х (перестановочность сложения);

2)(х + у)+ z = x +(y + z) (ассоциативность сложения);

3) имеется нулевой вектор 0 (или нуль-вектор), удовлетворяющий условию x + 0 = x: для любого вектора x;

4) для любого вектора х существует противоположный ему вектор у такой, что х + у = 0,

5) 1 · х = х,

6) a (bx)=(ab) х (ассоциативность умножения);

7) (a + b) х = aх + bх (распределительное свойство относительно числового множителя);

8) a (х + у)= aх + aу (распределительное свойство относительно векторного множителя).

Линейное пространство (векторное) V(P) над полем P – это непустое множество V. Элементы множества V называют векторами, а элементы поля P – скалярами.

Простейшие свойства.

1.Векторное пространство является абелевой группой(группа, в которой групповая операция является коммутативной. Групповая операция в абелевых группах обычно называется «сложением» и обозначается знаком +)

2.Нейтральный элемент является единственным, что вытекает из групповых свойств для любого .

3.Для любого противоположный элемент является единственным, что вытекает из групповых свойств.

4.(–1) х = – х для любого х є V.

5.(–α) x = α(–x) = – (αx) для любых α є P и x є V.

Выражение a₁e₁ + a₂e₂ + … + a_ne_n (1) называется линейной комбинацией векторов e₁, e₂,..., e_n с коэффициентами a₁, a₂, ..., a_n. Линейная комбинация (1) называется нетривиальной, если хотя бы один из коэффициентов a₁, a₂,..., a_n отличен от нуля. Векторы e₁, e₂,..., e_n называются линейно зависимыми, если существует нетривиальная комбинация (1), представляющая собой нулевой вектор. В противном случае (то есть если только тривиальная комбинация векторов e₁, e₂,..., e_n равна нулевому вектору) векторы e₁, e₂,..., e_n называется линейно независимыми.

Размерность пространства – максимальное число содержащихся в нем ЛЗ векторов.

Векторное пространство называется n-мepным (или имеет «размерность n»), если в нём существуют n линейно независимых элементов e₁, e₂,..., e_n, а любые n + 1 элементов линейно зависимы (обобщённое условие В). Векторное пространство называются бесконечномерным, если в нём для любого натурального n существует n линейно независимых векторов. Любые n линейно независимых векторов n-мepного Векторное пространство образуют базис этого пространства. Если e₁, e₂,..., e_n — базис Векторное пространство, то любой вектор х этого пространства может быть представлен единственным образом в виде линейной комбинации базисных векторов: x = a₁e₁ + a₂e₂ + ... + a_ne_n.
При этом числа a₁, a_2,..., a_n называются координатами вектора х в данном базисе.

Дата добавления: 2015-04-24