olemus
vaba vektorruum K(B) baasiga B ja skalaaride korpusega K
on vektorruum, mille vektorite hulga V
moodustavad kõikvõimalikud funktsioonid B →K
mille kandja, st hulk S​ = {b:f(b)​ ≠ 0} on lõplik

tehted
- vektorite \(f_1, f_2\in V\) summa \(f_1+ f_2\) on
\((f_1+ f_2)(v) = f_1(v) + f_2(v)\) , kus \(v\in V\)
- skalaariga \(k\in K\) korrutis \(k f\) on \((k f)(v) = k\cdot f(v) \)
=
a finite vector space generated by a set and equipped with
the standard operations of function addition and scalar multiplication

ülevaateid
https://planetmath.org/freevectorspaceoveraset

http://www-users.med.cornell.edu/~jdvicto/jdv/mathcourse1213/GFVS1213b.pdf

https://benrbray.com/static/notes/tensor-algebra_5aug19.pdf