Реферат: Аксиоматика векторного пространства
VI. Для любого вектора и действительно числа
, существует единственный вектор
, называемый произведением вектора
на число
и обозначаемый т.о.:
, т.е.
,
,
Данная аксиома вводит операция нового типа (внешнюю операцию):
Эта операция носит название «умножение вектора на число».
VII. Для любого вектора умножение вектора
на 1 не изменяет вектора
, т.е.
,
VIII. Умножение вектора на число ассоциативно, т.е.
,
,
IX. Умножение вектора на число дистрибутивно сложения чисел, т.е.
,
,
X. Умножение вектора на число дистрибутивно относительно сложения векторов, т.е.
,
,
Этим заканчивается аксиоматика векторного пространства, которое можно теперь определить т.о.:
множество V с введенными двумя операциями
,
подчиняющееся аксиомам I-X, называется векторным пространством над полем действительных чисел R.
§2. Следствие из аксиом векторного пространства
Из аксиом I-X можно вывести целый ряд предложений.
Теорема 2.1. Существует единственный нулевой вектор.
Доказательство:
Предложим, что существует два различных вектора и
таких, что
и
для любого вектора
.
Положим . Тогда
и
(1)
Положим теперь . Аналогично получим:
и
(2)
Так как (по аксиоме II), то из (1) и (2) следует, что
.
Таким образом, векторное пространство содержит единственный вектор , удовлетворяющий равенству
.