Un conjunto V provisto de una operación de grupo abeliano + y de multiplicación por escalares provenientes de un cuerpo F, que cumple distributividad, asociatividad de la multiplicación escalar y 1·v = v; equivalente a un módulo sobre un cuerpo.

Principio

Combinaciones lineales y cerradura: los vectores son cerrados bajo suma y multiplicación por escalares, de modo que las relaciones lineales, las bases y la dimensión organizan la estructura.

Demostración

R^n con suma por coordenadas y multiplicación por escalares reales; el espacio F[x] de polinomios sobre un cuerpo F es un ejemplo de dimensión infinita. En R^3, cualquier vector se expresa como combinación lineal de la base estándar e1,e2,e3.

Aplicación incorrecta

Llamar espacio vectorial a un módulo sobre un anillo que no es campo (por ejemplo, módulos sobre Z): la división por escalares y la existencia de bases pueden fallar. Suponer que todo subespacio tiene complemento sin el axioma de elección en dimensiones infinitas es otro error común.

Consecuencia

Con un cuerpo de escalares y una base fijados, los vectores tienen coordenadas, las aplicaciones lineales se representan por matrices, y la dimensión y el rango proporcionan invariantes decisivos para clasificación y cálculo.

Inversión

Quitar la multiplicación por escalares y conservar solo el grupo abeliano: muchas nociones lineales (envolvente, independencia lineal, dimensión) desaparecen y la estructura es estrictamente más débil.

Límite

Requiere un cuerpo de escalares; excluye módulos sobre anillos no cuerpo, espacios afines (que carecen de un origen canónico) y estructuras topológicas o de producto interno salvo que se especifiquen.

Tensión semántica

Espacio vectorial vs módulo: ambos permiten suma, pero los módulos sobre anillos pueden carecer de bases y divisibilidad por escalares; espacio vectorial vs espacio afín: ambos tienen rectas y planos, pero el afín carece de origen y de estructura lineal de escalares.

Síntesis

Un espacio vectorial es el marco algebraico donde los elementos se combinan linealmente y se escalan por elementos de un cuerpo, haciendo centrales las relaciones lineales, las bases y las coordenadas.