Espacio Vectorial

Un espacio vectorial es un conjunto cuyos elementos pueden sumarse y escalarse por elementos de un cuerpo, siendo el objeto central del álgebra lineal y el modelo de estructura lineal en todas las matemáticas.

Definition

Un espacio vectorial sobre un cuerpo es un grupo abeliano de vectores junto con una multiplicación escalar por elementos del cuerpo que satisface los axiomas de distributividad, asociatividad y unidad, lo que hace que las dos operaciones sean compatibles.

Scope

Este tema abarca los axiomas de un espacio vectorial, subespacios, independencia lineal, conjuntos generadores, bases y dimensión, coordenadas, sumas directas y espacios cociente, y espacios duales. Establece el marco en el que se estudian las transformaciones lineales y las matrices.

Core questions

• ¿Qué axiomas convierten un conjunto en un espacio vectorial?
• ¿Qué es una base y por qué todo espacio vectorial tiene una?
• ¿Por qué la dimensión es un invariante bien definido de un espacio vectorial?
• ¿Cómo descomponen un espacio vectorial los subespacios, las sumas directas y los espacios cociente?

Key theories

Existencia de una base

Todo espacio vectorial tiene una base, un conjunto generador linealmente independiente, de modo que cada vector es una combinación lineal finita única de vectores base; en el caso de dimensión finita, esto se deriva de argumentos de intercambio elementales.

Invariancia de la dimensión

Cualesquiera dos bases de un espacio vectorial tienen la misma cardinalidad, por lo que la dimensión es un invariante bien definido que clasifica los espacios vectoriales sobre un cuerpo fijo hasta el isomorfismo.

Subespacios, cocientes y espacios duales

Los subespacios, las sumas directas, los espacios cociente y el espacio dual de funcionales lineales son las construcciones básicas que construyen y analizan los espacios vectoriales y subyacen a la teoría de las aplicaciones lineales.

Clinical relevance

Los espacios vectoriales modelan una enorme gama de fenómenos: los conjuntos de soluciones de ecuaciones lineales y ecuaciones diferenciales, los espacios de funciones en el análisis, los espacios de estados en la mecánica cuántica y los espacios de características en la ciencia de datos y el aprendizaje automático son todos espacios vectoriales, lo que hace que el álgebra lineal sea universalmente aplicable.

History

Grassmann introdujo un cálculo abstracto de cantidades extendidas en 1844 que anticipó los espacios vectoriales, y Peano dio una definición axiomática en 1888. La noción se estandarizó en el siglo XX, con espacios de dimensión infinita desarrollados por Hilbert y Banach en el análisis funcional.

Key figures

• Hermann Grassmann
• Giuseppe Peano
• David Hilbert
• Stefan Banach

Seminal works

• hoffman1971
• roman2008
• lang2002

Frequently asked questions

¿Todo espacio vectorial tiene una base?

Sí. Los espacios de dimensión finita tienen una base por argumentos elementales, y los espacios vectoriales arbitrarios tienen una asumiendo el axioma de elección. Una base permite que cada vector se escriba de forma única como una combinación de vectores base.

¿En qué se diferencia un espacio vectorial de un módulo?

Un espacio vectorial es un módulo cuyos escalares provienen de un cuerpo. Sobre un cuerpo, todo módulo tiene una base y se comporta de manera uniforme; sobre un anillo general, esto no ocurre, lo que distingue la teoría de módulos del álgebra lineal.