Sea V un conjunto no vacío, en el cual se definen dos operaciones llamadas adición y multiplicación por un escalar α, sea K un campo. Se dice que V es un espacio vectorial sobre K si las dos operaciones cumplen con: