Lineární (vektorové) prostory
Definice. Množina L libovolných prvků (budeme je značit a,b,...,z a říkat jim vektory) se nazývá lineární prostor, jestliže
- Je dáno zobrazení L x L do L, které každé uspořádané dvojici (x,y) ∈ L x L přiřazuje vektor x + y ∈ L tak, že platí axiomy
- ∀(x,y∈L) [x + y = y + x]
- ∀(x,y,z∈L) [x + (y + z) = (x + y) + z]
- ∃(o∈L) ∀(x∈L) [x + o = x]
- ∀(x∈L) ∃(-x∈L) [x + (-x) = o]
Toto zobrazení se nazývá sčítání na množině L, vektor x + y se nazývá součet vektorů x,y.