logo
Аксиоматика Вейля

Аксиомы откладывания векторов

Пятая группа аксиом описывает операцию откладывания вектора от точки, при этом любым упорядоченным двум точкам А и В однозначно сопоставляется вектор : , причем точка А называется начальной точкой вектора , а В - конечной. Для операции откладывания вектора от точки выполняются следующие аксиомы:

T1: Для каждой фиксированной точки А и каждого вектора существует единственная точка В такая, что .

T2: Для любых трех точек А, В, С справедливо равенство