Нужно проверить все аксиомы линейного пространства для множества векторов (x1, x2, -x1-x2)

А вот и определение линейного пространства