Un espacio vectorial V sobre un cuerpo K es un conjunto que incluye dos operaciones: suma entre elementos de V y producto de elementos de K por elementos de V y cuyo resultado es otro elemento de V.