Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Un espacio vectorial es una estructura matemática creada a partir de un conjunto no vacío con
una operación suma interna al conjunto y una operación producto externa entre dicho conjunto y
un cuerpo, cumpliendo una serie de propiedades o requisitos iniciales. A los elementos de un
espacio vectorial se les llamará vectores y a los elementos del cuerpo se les llamará escalares.
Un espacio vectorial sobre un cuerpo (como el cuerpo de los números reales o los números
complejos) es un conjunto no vacío, dotado de dos operaciones:
Propiedades
Unicidad del vector neutro de la propiedad 3:
Supongamos que el neutro no es único, es decir, sean y dos vectores neutros, entonces:
Unicidad del vector opuesto de la propiedad 4:
Supongamos que el opuesto no es único, es decir, sean y dos vectores opuestos de ,
entonces, como el neutro es único:
Si
Si a=0 es cierto. Si
u = 0.
Signos equivalentes:
.
Notación
.
Combinación lineal
tomando
.
.
Proposición
Dado un espacio vectorial linealmente independientes y
es linealmente independiente.
Teorema
Todo sistema de generadores tiene una base.
Teorema Steinitz
Toda base de un espacio vectorial puede ser cambiada parcialmente por vectores linealmente
independientes.
Corolario
Si un espacio vectorial tiene una base de vectores cualquier otra base posee vectores.
Observación
Todo espacio vectorial tiene una base. Este hecho se basa en el lema de Zorn, una formulación
equivalente del axioma de elección. Habida cuenta de los otros axiomas de la teoría de conjuntos
de Zermelo-Fraenkel, la existencia de bases es equivalente al axioma de elección. El ultrafilter
lemma, que es más débil que el axioma de elección, implica que todas las bases de un espacio
vectorial tienen el mismo "tamaño", es decir, cardinalidad. Si el espacio es generado por un
número finito de vectores, todo lo anterior puede demostrarse sin necesidad de acudir a la teoría
de conjuntos.
Dimensión
Dado un espacio vectorial sobre :
Si tiene base finita, diremos dimensión al número de elementos de dicha base.
Si tiene base no finita, diremos que es de dimensión infinita.
Notación
Dado un espacio vectorial y un subespacio , tenemos que:
Si tiene dimensión lo indicaremos como .
Si tiene dimensión como subespacio de lo indicaremos como .
Intersección de subespacios vectoriales
Dado dos subespacios vectoriales , la intersección es subespacio vectorial contenido
en estos y lo notaremos como:
.
Observaciones
Para la intersección sucesiva de espacios vectoriales se procede, inductivamente, de dos en dos.
La unión de subespacios vectoriales no es en general un subespacio vectorial.
Suma de subespacios vectoriales
Dado dos subespacios vectoriales , la suma es un subespacio vectorial que contiene a
estos y la notaremos como:
.
Observación
Para la suma sucesiva de espacios vectoriales se procede, inductivamente, de dos en dos.
Teorema Fórmula de Grassmann
Dado dos subespacios vectoriales de dimensión finita, tenemos el resultado
siguiente: