Conjunto de objetos llamados vectores que forman un grupo abeliano bajo la suma y que viene dotado de multiplicación por escalares procedentes de un cuerpo, cumpliéndose los axiomas habituales (distributividad, asociatividad, existencia de unidad); equivalentemente, un módulo sobre un cuerpo.

Principio

La multiplicación por escalares de un cuerpo permite dividir por escalares no nulos, lo que garantiza la existencia de bases (lema de Zorn en casos infinitos) y que la dimensión sea un invariante completo para espacios vectoriales de dimensión finita.

Demostración

R^n con suma coordenada y multiplicación por escalares reales es un ejemplo estándar; cualquier espacio vectorial de dimensión finita n sobre un cuerpo F es isomorfo a F^n.

Aplicación incorrecta

Tratar módulos sobre anillos que no son cuerpos como espacios vectoriales (por ejemplo, asumir que todos los submódulos tienen complementos o que la dimensión se comporta igual), o confundir independencia lineal respecto a diferentes cuerpos sin comprobar las restricciones de escalares.

Consecuencia

Los espacios vectoriales disponen de un conjunto completo de herramientas de álgebra lineal: bases, coordenadas, aplicaciones lineales representadas por matrices, espacios duales, descomposiciones canónicas (sumas directas) y clasificación por dimensión en dimensión finita.

Inversión

Un módulo sobre un anillo general no ofrece las garantías de un espacio vectorial: las bases pueden no existir, los submódulos pueden no ser sumandos directos y los invariantes tipo dimensión pueden no clasificar los tipos de isomorfismo.

Límite

Requiere que el anillo de escalares sea un cuerpo; excluye módulos sobre anillos no cuerpos, espacios vectoriales topológicos (que añaden topología) y estructuras en las que los escalares no permiten división por elementos no nulos.

Tensión semántica

La tensión aparece al pasar entre descripciones axiomáticas sin coordenadas y modelos concretos por matrices/coordenadas; también hay tensión entre comportamientos finito- e infinito-dimensionales (bases de Hamel frente a bases topológicas).

Síntesis

Un espacio vectorial es un módulo sobre un cuerpo cuya invertibilidad escalar genera una teoría lineal robusta: existen bases, la dimensión finita clasifica la estructura y las aplicaciones lineales se representan por matrices respecto a bases elegidas.