Vector space

Nosnou množinou jsou n-tice – vektory.

Pro vektory platí sčítání (po složkách), existuje neutrální pvek (nulový vektor) a inverzní prvky.

Vektory lze také násobit skalárem (každá složka se skalárem vynásobí), platí distributivita a asociativita.

Vektory jsou lineárně nezávislé pokud je nelze získat lineární kombinací¹⁾ jiných vektorů v množině.

Dimenze je největší počet lineárně nezávislých vektorů které lze nalézt.

Báze je libovolný systém n lineárně nezávislých prvků v n-dimenzionálním prostoru.