Espacios Vectoriales
¿Que tienen en común los números reales, los vectores y las matrices de cualquier dimensión?, puede que ahora no se le ocurra una respuesta del todo clara, puede que si lo halla pensado suficiente solo encuentre dos similitudes entre todas estas, si aun no lo encuentra se trata de la multiplicación de escalares y la suma. Ya que todos comparten las propiedades de que la suma es conmutativa y asociativa, es decir si tomamos a matrices se tiene que:
Esto se cumple tanto para los vectores como para los reales.
Y ahora la multiplicación por escalares resulta trivial hablar de ella.
Definición formal
Definimos a un espacios vectorial como un conjunto no vació de objetos llamados vectores, que consta de dos operaciones, la suma y la multiplicación por escalares de un cuerpo , ademas los espacios vectoriales deben cumplir con los siguiente axiomas.
- Tener un cuerpo de escalares.
- Un conjunto de objetos llamados vectores.
- Una regla llamada adición tal que para cumple que::
- Es conmutativa
- Asociativa
- Existe un vector nulo denotado por tal que para todo vector se cumple que
- Para cada vector existe un vector tal que . este vector lleva por nombre inverso de .
- Una operación llamada producto por escalar que asocia un escalar con un vector a un nuevo vector tal que cumple:
- Existe un escalar denotado por tal que para todo .
- Sea ,
- Es distributiva con respecto a la suma de vectores. .
- Sea y , los vectores distribuyen con respecto a la suma de escalares:
Sobre los cuerpos
Normalmente el cuerpo de escalares es , y el concepto de cuerpo es visto en clases de álgebra abstracta, en este caso un cuerpo es una estructura algebraica en donde se pueden sumar y multiplicar sus elementos, y que cumplen con las propiedades de la conmutatividad, asociatividad y distributiva además la existencia de un inverso multiplicativo y aditivo para cada elemento del cuerpo incluyendo los elementos neutros para las dos operaciones, estos serian las propiedades ya conocidas que permiten hacer aritmética.
Nota
Se utilizaran letras del alfabeto para denotar vectores y letras griegas para denotar escalares de un cuerpo. Omitiremos escribir el punto en la multiplicación por escalares, es decir, en lugar de escribiremos .
El espacio de vectores (normalmente conocido como espacio cartesiano).
Sea el conjunto de todas las tuplas de tipo donde cada . Si donde cada , la suma de se define como: y el producto por un escalar como:
Es fácil demostrar que el espacio cumple los axiomas de los espacios vectoriales.
El conjunto de matrices es espacio vectorial. Se define la suma de dos vectores como: Es decir, se suma un elemento de una fila y columna en con su respectivo elemento en la misma posición en .
El producto de un escalar definido como: Es decir se multiplica cada elemento de la matriz con el escalar .
Teoremas
Teorema 1.
El inverso de es único, además con .
Supongamos que y son inversos de .
Se demostro que por lo tanto el inverso de un vector es único.
Ahora vamos a demostrar que .
Sea .
Teorema 2
Sea y . Si entonces 0 .
Supongamos que .
Ahora supongamos que .