Una estructura algebraica V sobre un cuerpo F que consiste en un grupo abeliano (V, +) y una multiplicación por escalares F × V → V que satisface distributividad, asociatividad respecto de la multiplicación del cuerpo y acción identidad del escalar; los vectores pueden sumarse y escalarse por elementos del cuerpo.

Principio

Combinar la estructura de grupo aditivo con multiplicación escalar por un cuerpo para que las combinaciones lineales, las bases y las dimensiones se comporten de forma predecible y permitan resolver sistemas lineales y realizar análisis espectral.

Demostración

El espacio euclidiano R^n es un espacio vectorial real; el conjunto de polinomios sobre un cuerpo forma un espacio vectorial cuya base y dimensión dependen de restricciones de grado; los espacios de soluciones de sistemas lineales homogéneos son subespacios vectoriales.

Aplicación incorrecta

Tratar un módulo sobre R como un espacio vectorial cuando los escalares no forman un cuerpo, o suponer que todo subespacio tiene un subespacio complementario (lo cual requiere estructura adicional como producto interno o dimensionalidad finita).

Consecuencia

Los espacios vectoriales admiten bases, aplicaciones lineales únicas definidas por las imágenes de una base, dimensiones bien definidas (en casos finitos) y una teoría completa de transformaciones lineales, autovalores y espacios duales.

Inversión

Eliminar el requisito de que los escalares formen un cuerpo conduce a los módulos, donde la falta de inversos escalares elimina muchas simplificaciones y hace que las propiedades dependan del anillo base.

Límite

Los escalares deben provenir de un cuerpo; excluye módulos sobre anillos, espacios vectoriales topológicos que añaden continuidad y espacios afines que carecen de un origen canónico.

Tensión semántica

Tensión entre espacios vectoriales abstractos y realizaciones concretas (espacios de coordenadas), y entre espacios vectoriales y espacios afines que comparten combinaciones lineales pero difieren en la dependencia del origen.

Síntesis

Un espacio vectorial es un módulo cuyos escalares forman un cuerpo, proporcionando el marco clásico donde combinaciones lineales, bases y dimensiones ofrecen una teoría tratable y muy estructurada de fenómenos lineales.