Un conjunto V provisto de dos operaciones (suma de vectores y multiplicación por escalares de un cuerpo) que satisfacen axiomas: asociatividad y conmutatividad de la suma, elemento neutro e inverso para la suma, distributividad de la multiplicación por escalares sobre la suma en el campo y la suma de vectores, compatibilidad de la multiplicación por escalares y existencia del escalar unidad como identidad; los vectores admiten combinaciones lineales.

Principio

La estructura lineal organiza objetos de manera que combinaciones lineales y transformaciones lineales preservan la estructura; la superposición y la homogeneidad son centrales, permitiendo clasificar mediante dimensión, bases y transformaciones lineales.

Demostración

R^n con suma componente a componente y multiplicación escalar por números reales es un espacio vectorial: por ejemplo R^3 soporta combinaciones lineales, bases (tres vectores independientes) y aplicaciones lineales representadas por matrices 3x3.

Aplicación incorrecta

Tratar un conjunto con solo una operación de grupo como un espacio vectorial sin un campo escalar compatible ignora la necesidad de distributividad escalar y puede llevar a nociones inválidas de base o dimensión.

Consecuencia

Con los axiomas correctos, se definen bien el envolvente lineal, la independencia lineal, la base, la dimensión, las aplicaciones lineales, núcleos e imágenes; se derivan teoremas potentes (rango-nulidad, diagonalización cuando procede).

Inversión

Suprimir la multiplicación por escalares deja un grupo abeliano; reemplazar el campo por un anillo conduce a módulos, que pueden carecer de bases o presentar un comportamiento de dimensión distinto.

Límite

Los espacios vectoriales requieren escalares de un cuerpo y todos los axiomas vectoriales; excluyen estructuras sobre anillos que no son cuerpos, la estructura topológica o de producto interno que no está implícita, y conjuntos sin multiplicación escalar.

Tensión semántica

Cercano al módulo (mismo formalismo salvo que los escalares vienen de un anillo); la tensión surge al discutir bases y dimensiones, ya que los módulos sobre anillos generales pueden no ser libres y tener invariantes más sutiles.

Síntesis

Un espacio vectorial es una estructura algebraica sobre un cuerpo en la que los vectores se suman y escalan, permitiendo combinaciones lineales, bases, dimensiones y transformaciones lineales que constituyen la columna vertebral del álgebra lineal y sus aplicaciones.