Introducción
A lo largo de esta unidad nos hemos enfocado en estudiar los vectores, las operaciones entre estos y sus propiedades. Sin embargo, hasta ahora solo hemos ocupado una definición provisional de vectores —listas ordenadas con entradas reales—, pero no hemos dado una definición formal de estos. En esta entrada definiremos qué es un espacio vectorial y exploraremos algunas de las propiedades de dos ejemplos importantes de espacios vectoriales:
Las propiedades de espacio vectorial
En entradas anteriores demostramos que los pares ordenados con entradas reales (es decir, los elementos de
1. La suma es asociativa:
2. La suma es conmutativa:
3. Existe un elemento neutro para la suma:
4. Para cada par ordenado existe un elemento inverso:
5. La suma escalar se distribuye bajo el producto:
6. La suma de pares ordenados se distribuye bajo el producto escalar:
7. El producto escalar es compatible con el producto de reales:
8. Existe un elemento neutro para el producto escalar, que justo es el neutro del producto de reales:
Cuando una colección de objetos matemáticos, en conjunto con una operación de suma y otra operación de producto, cumple las ocho propiedades anteriormente mencionadas, decimos que dicha colección forma un espacio vectorial. Teniendo esto en consideración, los objetos matemáticos que pertenecen a la colección que forma el espacio vectorial los llamaremos vectores.
Así, podemos ver que los pares ordenados con entradas reales, en conjunto con la suma entrada a entrada y el producto escalar, forman un espacio vectorial, al cual solemos denominar
Como recordarás, anteriormente también demostramos que las ternas ordenadas con entradas reales, en conjunto con su respectiva suma entrada a entrada y producto escalar, cumplen las ocho propiedades antes mencionadas (¿puedes verificarlo?). Esto nos indica que
Como seguramente sospecharás, para valores de
Observación. Basándonos en la definición, el hecho de que una colección de elementos se pueda considerar o no como espacio vectorial depende también a las operaciones de suma y producto. Por esta razón, es común (y probablemente más conveniente) encontrar denotado el espacio vectorial
Combinaciones lineales
Como vimos en entradas anteriores, la suma de vectores en
En el caso de
Si tenemos varios vectores, podemos sumar múltiplos escalares de ellos para obtener otros vectores. Esto nos lleva a la siguiente definición.
Definición. Dado un conjunto de
donde
Ejemplo. En
De este modo podemos decir que
Las combinaciones lineales también tienen un significado geométrico. Por ejemplo, la siguiente figura muestra cómo se vería que
Ejemplo. En el caso de
Espacio generado
La figura de la sección anterior nos sugiere cómo entender a una combinación lineal de ciertos vectores dados. Sin embargo, una pregunta natural que surge de esto es cómo se ve la colección de todas las posibles combinaciones lineales de una colección de vectores dados.
Definición. Dado un conjunto de
¿Cómo puede verse el espacio generado por algunos vectores? Puede demostrarse que en el caso de
- Un punto: esto sucede si y sólo si todos los vectores del conjunto son iguales al vector
.
- Una recta: esto sucede si al menos un vector
es distinto de 0 y todos los vectores se encuentran alineados. La recta será precisamente aquella formada por los múltiplos escalares de .
- Todo
: esto sucede si al menos dos vectores y de nuestro conjunto no son cero y además no están alineados. Intenta convencerte que en efecto en este caso puedes llegar a cualquier vector del plano sumando un múltiplo de y uno de .
En
- Un punto: esto sucede si y sólo si todos los vectores del conjunto son iguales al vector
.
- Una recta: esto sucede si al menos un vector
es distinto de y todos los vectores se encuentran alineados con . La recta consiste precisamente de los reescalamientos de .
- Un plano: esto sucede si al menos dos vectores
y no son cero y no están alineados, y además todos los demás están en el plano generado por y estos dos vectores.
- Todo
: esto sucede si hay tres vectores , y que cumplan que ninguno es el vector cero, no hay dos de ellos alineados, y además el tercero no está en el plano generado por los otros dos.
Muchas veces no sólo nos interesa conocer la forma del espacio generado, sino también obtener una expresión que nos permita conocer qué vectores pertenecen a este. Una forma en la que podemos hacer esto es mediante ecuaciones.
Ejemplo. Por ejemplo, observemos que el espacio generado el vector
donde
lo cual a su vez se cumple si y sólo si
Si despejamos
de donde podemos expresar la ecuación de la recta en su forma homogénea:
o bien en como función de
La estrategia anterior no funciona para todos los casos, y tenemos que ser un poco más cuidadosos.
Ejemplo. El espacio generado por
es decir,
En este caso, la única recta que satisface ambas ecuaciones es la recta
En la siguiente entrada veremos otras estrategias para describir de manera analítica el espacio generado.
El saber si un vector está o no en el espacio generado por otros es una pregunta que se puede resolver con un sistema de ecuaciones lineales.
Ejemplo. ¿Será que el vector
Este sistema no tiene solución. Veamos por qué. Restando la primera igualdad a la segunda, obtendríamos
Así, el vector
Si las preguntas de espacio generado tienen que ver con sistemas de ecuaciones lineales, entonces seguramente estarás pensando que todo lo que hemos aprendido de sistemas de ecuaciones lineales nos servirá. Tienes toda la razón. Veamos un ejemplo importante.
Ejemplo. Mostraremos que cualquier vector en
En forma matricial, este sistema es
Como la matriz
Independencia lineal
Mientras platicábamos en la sección anterior de las posibilidades que podía tener el espcio generado de un conjunto de vectores en
Definición. Dado un conjunto de
Puede mostrarse que si un conjunto de vectores es linealmente independiente, entonces ninguno de ellos se puede escribir como combinación lineal del resto de vectores en el conjunto. Así, la intuición de que «generan todo lo que pueden generar» se puede justificar como sigue: como el primero no es cero, genera una línea. Luego, como el segundo no es múltiplo del primero, entre los dos generarán un plano. Y si estamos en
La independencia lineal también se puede estudiar mediante sistemas de ecuaciones lineales.
Ejemplo. ¿Serán los vectores
Podemos entender todas las soluciones usando reducción Gaussiana en la siguiente matriz:
Tras hacer esto, obtenemos la siguiente matriz:
Así, este sistema de ecuaciones tiene a
Concluimos que los vectores no son linealmente independientes.
Si la única solución que hubiéramos obtenido es la
Ejemplo. Mostraremos que los vectores
La matriz asociada a este sistema de ecuaciones es
Bases
Como vimos anteriormente, existen casos en los que el espacio generado por vectores en
Hay otras ocasiones en las que unos vectores sí generan todo el espacio que pueden generar, pero lo hacen de «manera redundante», en el sentido de que uno o más vectores se pueden poner de más de una forma como combinación lineal de los vectores dados.
Ejemplo. Si consideramos los vectores
o
siendo ambas combinaciones lineales del mismo conjunto de vectores.
Uno de los tipos de conjuntos de vectores más importantes en el álgebra lineal son aquellos conocidos como bases, que evitan los dos problemas de arriba. Por un lado, sí generan a todo el espacio. Por otro lado, lo hacen sin tener redundancias.
Definición. Diremos que un conjunto de vectores es base de
El ejemplo de base más inmediato es el conocido como base canónica.
Ejemplo. En el caso de
Partiendo de las definiciones dadas anteriormente, vamos que cualquier vector
Más aún, es claro que los vectores
Veamos otros ejemplos.
Ejemplo. Se tiene lo siguiente:
- Los vectores
y son base de pues son linealmente independientes y su espacio generado es todo . - Los vectores
, y son base de pues son linealmente independientes y su espacio generado es todo .
¡Ya tienes todo lo necesario para demostrar las afirmaciones anteriores! Inténtalo y haz dibujos en
Como podemos observar, las bases de un espacio vectorial no son únicas, sin embargo, las bases que mencionamos para
Más adelante…
En esta entrada revisamos qué propiedades debe cumplir una colección de objetos matemáticos para que sea considerado un espacio vectorial, además de que analizamos con más detalle los espacios vectoriales
Como seguramente sospecharás, para otros valores de
Tarea moral
- Realiza lo siguiente:
- De entre los siguientes vectores, encuentra dos que sean linealmente independientes:
.
- Encuentra un vector de
que genere a la recta . - Determina qué es el espacio generado por los vectores
y de . - Da un vector
tal que , y sean una base de .
- De entre los siguientes vectores, encuentra dos que sean linealmente independientes:
- Demuestra que
es el único vector en tal que para todo vector de se cumple que . - Prueba las siguientes dos afirmaciones:
- Tres o más vectores en
nunca son linealmente independientes. - Dos o menos vectores en
nunca son un conjunto generador.
- Tres o más vectores en
- Sean
y vectores en distintos del vector cero. Demuestra que y son linealmente independientes si y sólo si no está en la línea generada por . - Encuentra todas las bases de
en donde las entradas de cada uno de los vectores de cada base sean iguales a ó a .
Entradas relacionadas
- Ir a Álgebra Superior I
- Entrada anterior del curso: Cálculo de determinantes
- Entrada siguiente del curso: El espacio vectorial