Espacios vectoriales
Las únicas cosas que puede hacer un vector es sumarse con otros y ser escalado
Es un objeto matemático formado por un conjunto no vacío sobre el que se definen leyes de composición interna (operaciones entre los elementos de este conjunto)
Los axiomas son unas propiedades que, por convención, una estructura algebraica debe satisfacer para que se considere un espacio vectorial.
Por ende: los espacios vectoriales son una construcción social. /s
Es decir, si se define un conjunto de elementos, y las formas para sumar estos elementos entre sí y multiplicar estos elementos por valores escalares, de modo que esos resultados coincidan con aquellos de los axiomas, podemos considerar esa estructura como un espacio vectorial.
Esto significa que todos los resultados y teoremas del Álgebra lineal se pueden aplicar a esta estructura que se acaba de definir.
- En otras palabras, un espacio vectorial es una estructura algebraica que sucede que satisface los axiomas
, o sea:
Las propiedades 2 y 3 son casos de la 1.
Estas propiedades se pueden demostrar usando los axiomas.
Axiomas
Leyes de composición interna
(La suma entre vectores es cerrada)
- Propiedad conmutativa
- Propiedad asociativa
- Existe el elemento neutro: el vector nulo
- Existe el elemento opuesto de la suma
- La suma de un elemento mas su opuesto resulta en el vector nulo
Leyes de composición externa
(Se admite el producto entre escalar y vector, y esta es cerrada)
- Distributiva respecto a la suma de vectores
- Distributiva respecto a la suma de escalares
- Propiedad asociativa mixta
- Existe el elemento neutro del producto: la identidad
(escalar)
Forma simbólica
Sub-espacios vectoriales
- Un SEV se define con un subconjunto de los elementos de un EV, y hereda las leyes de composición definidas en el EV original
- Sea
un subconjunto no vacío del EV - Si (y sólo si)
es cerrado bajo la suma y la multiplicación por un escalar definidas en - Entonces
es subespacio vectorial de
O sea, con comprobar estos tres puntos (
- ~ Concluimos también que Todo subespacio vectorial de
contiene al elemento neutro de - ~ Si
no es subespacio vectorial de - ! El recíproco no es necesariamente cierto
- ~ Si