I. Аксиомы сложения векторов
I1:
(коммутативность)
I2:
(ассоциативность)
I3:
нулевой вектор
:
для 
I4:
- противоположный вектор, такой что
(Векторы
и
определяются однозначно).
II1: 
II2: 
II3: 
II4: 
Система векторов
называется линейно зависимой, если существуют числа k1,k2,…,kr, не все равные нулю, такие что:
. Если же это равенство выполняется лишь при k1=k2=…=kr=0, то данная система векторов называется линейно независимой.