Matemáticas de secundaria · Grades 10–12
30Matrices y grafos
Una matriz es una tabla rectangular de números que se suman y se multiplican según reglas diseñadas para que el álgebra de matrices represente la composición de transformaciones lineales. Las matrices resuelven sistemas lineales, gobiernan sucesiones recurrentes acopladas y cuentan caminos en redes: son las matemáticas que hay detrás de los buscadores de internet y de los algoritmos de camino más corto.
30.1 Álgebra de matrices
Definición 30.1 (Matriz)
Una matriz es una tabla de números reales con filas y columnas: , donde es el coeficiente de la fila y la columna . Dos matrices del mismo tamaño se suman coeficiente a coeficiente, y .
Definición 30.2 (Producto de matrices)
Sea de tamaño y sea de tamaño . El producto es la matriz cuyo coeficiente es
(la regla “fila de por columna de ”).
Ejemplo 30.3
, mientras que : el producto de matrices no es conmutativo.
Proposición 30.4 (Reglas del álgebra de matrices)
Siempre que los tamaños den sentido a los productos:
y la matriz identidad (unos en la diagonal y ceros fuera de ella) cumple para de tamaño .
Demostración. Todas son comprobaciones coeficiente a coeficiente a partir de la Definición 30.2; la asociatividad, la única no trivial, se reduce a intercambiar dos sumas finitas: . ∎
Definición 30.5 (Inversa)
Una matriz cuadrada de tamaño es invertible si existe una matriz con ; esa es entonces única y se escribe .
Proposición 30.6 (Inversa de una matriz )
Sea y sea (el determinante). Entonces es invertible si y solo si , y en ese caso
Demostración. Un cálculo da ; si , dividimos. Recíprocamente, si , las columnas de son proporcionales, y también lo son las de sea cual sea ; pero las columnas de no son proporcionales, así que ninguna puede cumplir . ∎
Método 30.7 (Sistemas lineales)
El sistema es la ecuación matricial con e . Si , su única solución es . El mismo formalismo sirve para ecuaciones con incógnitas.
30.2 Potencias de matrices y sucesiones recurrentes
Definición 30.8
Para una matriz cuadrada y , ( factores), con .
Método 30.9 (Casos diagonal más nilpotente y diagonalizable)
Dos maneras estándar de calcular :
- Si con , el teorema del binomio (válido aquí porque y conmutan) se reduce a dos términos: .
- Si se encuentra una matriz invertible con y diagonal, entonces , y se calcula coeficiente a coeficiente. (Hallar tal de manera sistemática es la teoría de la diagonalización, que se desarrolla en la universidad; a este nivel, viene dada.)
Ejemplo 30.10 (Sucesiones acopladas)
Sean y . Tomando y , obtenemos , luego . Las sucesiones auxiliares y cumplen y , así que , y
(Entre bastidores: y son direcciones propias de .)
30.3 Grafos y caminos
Definición 30.11 (Grafo, matriz de adyacencia)
Un grafo consta de vértices y de aristas que unen ciertos pares de vértices (pares ordenados si el grafo es dirigido). Su matriz de adyacencia es la matriz con si hay una arista de a , y en caso contrario. Un camino de longitud de a es una sucesión de aristas consecutivas que lleva de a .
Teorema 30.12 (Recuento de caminos)
El número de caminos de longitud del vértice al vértice es el coeficiente de .
Demostración. Inducción sobre . Para es la definición de . Supongamos el resultado para . Un camino de longitud de a es un camino de longitud de a cierto vértice , seguido de una arista de a ; por los principios de la suma y del producto, su número es
∎
Ejemplo 30.13
Para el grafo triángulo ( vértices, todos los pares unidos), y : desde cada vértice hay caminos de longitud que vuelven a él (por uno u otro vecino) y hacia cada uno de los otros vértices.
30.4 Ejercicios
Ejercicio 30.1 ★
Sean y . Calcula , , y .
Solución
Solución de Ejercicio 30.1.
Observa que .
Ejercicio 30.2 ★
Determina si las matrices siguientes son invertibles y calcula las inversas cuando existan:
Ejercicio 30.3 ★
Resuelve por inversión matricial el sistema
Ejercicio 30.4 ★★
Sea con .
- Comprueba que y que y conmutan.
- Deduce para todo y verifica la fórmula para mediante un cálculo directo.
Solución
Solución de Ejercicio 30.4.
1. , e conmuta con cualquier matriz.
2. Como los dos términos conmutan, se aplica el teorema del binomio y todos los términos que contienen se anulan:
Comprobación para : , y la fórmula da y . ✓
Ejercicio 30.5 ★★
Sea y sea la sucesión de Fibonacci (, , ). Demuestra por inducción que, para ,
y deduce la identidad . (Indicación: los determinantes se multiplican: , cosa que puedes comprobar para matrices .)
Solución
Solución de Ejercicio 30.5.
Inducción. Para : . Supongamos la fórmula para ; entonces
Identidad. Para matrices , desarrollando se ve que ; por tanto, , y . (Es la identidad de Cassini.)
Ejercicio 30.6 ★★
Un grafo dirigido sobre los vértices tiene las aristas , , y .
- Escribe la matriz de adyacencia y calcula y .
- ¿Cuántos caminos de longitud van de a ? Enuméralos.
Solución
Solución de Ejercicio 30.6.
1. Ordenando los vértices :
2. : hay exactamente un camino cerrado de longitud en el vértice , a saber, . (El camino solo tiene longitud , y , luego , luego termina en .)
Ejercicio 30.7 ★★
Una empresa de coches compartidos mueve vehículos entre dos ciudades y . Cada semana, el de los coches que están en se quedan en y el pasa a ; el de los coches que están en pasa a y el se queda. Sean y las proporciones de la flota en cada ciudad.
- Escribe con e identifica .
- Halla las proporciones de equilibrio (resuelve con ).
- Demuestra que cumple y concluye que el reparto de la flota converge hacia el equilibrio.
Solución
Solución de Ejercicio 30.7.
1. y : .
2. da , es decir, , luego ; y con : y .
3. Usando : , luego
Por tanto, : y , sea cual sea el reparto inicial.
Ejercicio 30.8 ★★★
Sean y .
- Calcula y después , y comprueba que es diagonal.
- Deduce una fórmula cerrada para y compárala con el Ejemplo 30.10.
Solución
Solución de Ejercicio 30.8.
1. , luego . Entonces
2. De , una inducción inmediata da con , así que
Aplicar a reproduce exactamente las fórmulas del Ejemplo 30.10.
30.5 Problema: La matriz que se sabe Fibonacci (y el tiempo que va a hacer)
Problema 30.1
Problema de fin de semana — una sola matriz lleva dentro todo Fibonacci, una matriz de Markov predice el tiempo a largo plazo y un vector propio vale mil millones de dólares
Una matriz es una máquina que se come un estado y devuelve el siguiente; y sus potencias guardan, por tanto, futuros enteros. Este problema abre con la asombrosa matriz cuyas potencias enumeran los números de Fibonacci (y demuestran sus identidades a línea por identidad), lleva después el tiempo atmosférico, visto como cadena de Markov, hasta su estado estacionario, y cierra con el vector propio sobre el que se construyó un buscador (Teorema 30.12, Método 30.9).
Parte I — Soltura.
- Con y : calcula y . ¿Veredicto sobre la conmutatividad?
- Invierte (Proposición 30.6) y usa la inversa para resolver , .
- Sea : calcula y deduce que para todo .
- El grafo triángulo (tres vértices, todos los pares unidos): escribe su matriz de adyacencia , calcula e interpreta los coeficientes diagonales (Teorema 30.12).
- Para : da y su comportamiento cuando .
Parte II — La matriz de Fibonacci. Sea y sean los números de Fibonacci del Problema 13.1.
- Calcula , y , y conjetura la forma general de en términos de números de Fibonacci.
- Demuestra por inducción la conjetura .
- Toma determinantes en los dos miembros (el determinante de un producto es el producto de los determinantes; compruébalo con matrices si nunca lo has visto): deduce la identidad de Cassini , el motor del cuadrado que se desvanece, demostrada en una línea.
A partir de , lee los coeficientes superiores derechos y deduce la fórmula de adición
Compruébala para .
- Deduce de la fórmula de adición (por inducción sobre ) que divide a , y verifícalo en y .
- Para calcular no hace falta multiplicar matrices: basta elevar al cuadrado repetidamente () y combinar. ¿Cuántos productos de matrices bastan y de qué antiguo truco de multiplicación del volumen anterior se trata, ascendido a las matrices?
Parte III — La máquina del tiempo atmosférico. En cierta ciudad, tras un día soleado el siguiente es soleado con probabilidad ; y tras un día de lluvia, es soleado con probabilidad . Codificamos la distribución del día como una columna y la evolución mediante
- Comprueba que cada columna de suma y explica por qué toda máquina del tiempo tiene que cumplir esa propiedad.
- Hoy hace sol. Calcula la previsión para mañana y para pasado mañana.
- Halla el estado estacionario: la distribución con (y con coeficientes que sumen ). ¿Qué proporción de días es soleada a largo plazo?
- Parte de un día de lluvia, , y aplica cuatro veces, siguiendo en cada paso la distancia al estado estacionario. ¿Por qué factor se encoge la diferencia en cada paso y de qué tipo de convergencia se trata?
- PageRank en miniatura: tres páginas, con enlaces , , y . Un navegante aleatorio sigue un enlace saliente elegido al azar de manera uniforme. Escribe la matriz de transición, halla el estado estacionario y ordena las páginas.
- Interpreta la clasificación: ¿por qué puntúa tan alto como pese a recibir enlaces de menos páginas? ¿Qué mide realmente el estado estacionario? (El PageRank de verdad añade un factor de amortiguación para los callejones sin salida y los saltos; la idea del vector propio es exactamente esta.)
Parte IV — Los dividendos de la diagonal.
- Dos cantidades acopladas obedecen a y , es decir, a la matriz del Ejercicio 30.8. Usando la diagonalización de ese ejercicio (), da la fórmula cerrada de cuando y , y contrástala con el cálculo directo para .
- En una o dos frases: ¿qué le hace la diagonalización a un sistema acoplado? ¿Y en qué sentido el estado estacionario de Markov de la pregunta 14 es también una historia de vectores propios?
- Final: las tres caras de la matriz este fin de semana: la contabilidad (sistemas e inversas), la combinatoria (caminos y enlaces contados por las potencias) y la evolución (Fibonacci, el tiempo, la web: futuros que se leen en las direcciones propias). Una frase para cada una, más la mirada hacia delante: el álgebra lineal de los volúmenes universitarios convierte cada una de esas caras en una teoría.
Solución
Solución de Problema 30.1.
1. y : el producto de matrices no es conmutativo; intercambia columnas por la derecha y filas por la izquierda.
2. Determinante : la inversa es . Aplicándola a : e .
3. . Entonces por inducción: .
4. , y tiene coeficientes diagonales iguales a : desde cada vértice hay exactamente dos caminos cerrados de longitud (el triángulo recorrido en un sentido o en el otro); el teorema del recuento en acción.
5. : una dirección estalla y la otra se apaga; los destinos diagonales son sucesiones geométricas independientes.
6. , , : Fibonacci por todas partes; la conjetura es la del enunciado.
7. Si , entonces
la herencia; y el caso base es la propia , con el convenio (que prolonga la recurrencia hacia atrás).
8. , luego ; y directamente : Cassini, en una línea. (La regla del producto para determinantes es un desarrollo agradable de cinco minutos.)
9. Coeficiente superior derecho de : ; coeficiente superior derecho de : . Para : .
10. Para es trivial. Si , la fórmula de adición con da : los dos términos son múltiplos de . Así que para todo : comprueba que divide a y a .
11. : siete elevaciones al cuadrado () más dos combinaciones; nueve productos en lugar de noventa y nueve. Es el truco de la tabla de duplicaciones de los escribas egipcios, elevado de los números a las matrices: escribe en binario y multiplica las duplicaciones que necesites.
12. y : mañana tendrá que hacer algún tiempo; cada columna es una distribución de probabilidad completa, así que las probabilidades se conservan.
13. Mañana: . Pasado mañana: .
14. con y : da , luego y . A largo plazo, dos de cada tres días son soleados, haga hoy el tiempo que haga.
15. Partiendo de : las componentes de sol son , , y ; las diferencias con son , , y : cada paso multiplica la diferencia por exactamente (el segundo valor propio de la máquina): convergencia geométrica hacia el estado estacionario.
16. Columnas (desde , y ): . Estado estacionario: , y ; imponiendo que sumen : . Clasificación: y empatan en el primer puesto y queda última.
17. recibe todo el tráfico de y la mitad del de , y lo devuelve entero a : el estado estacionario mide dónde pasa el tiempo el navegante, no cuántos enlaces apuntan hacia una página; un enlace desde una página popular pesa más que varios desde páginas desiertas. Esa ponderación recursiva es exactamente la idea fundacional de Google; la amortiguación se encarga de las trampas y de los callejones sin salida.
18. da (y ). Comprobación: , y ; y directamente: : coincide.
19. La diagonalización cambia a unas coordenadas en las que el sistema acoplado se deshace en sucesiones geométricas independientes: cada valor propio corre su propia carrera. El estado estacionario de Markov es el vector propio de valor propio , y la velocidad de convergencia de la pregunta 15 es el valor propio siguiente: la máquina del tiempo era, desde el principio, una historia de valores propios.
20. Contabilidad: un sistema es una sola ecuación matricial, que se resuelve con una sola inversa. Combinatoria: las potencias de la matriz de adyacencia cuentan caminos, enlaces y conexiones. Evolución: las potencias de la máquina llevan los estados hasta sus destinos, y las direcciones propias (la dirección áurea de Fibonacci, el estado estacionario del tiempo, el vector de clasificación de la web) son esos destinos. El álgebra lineal, en los volúmenes universitarios, es la ciencia de exactamente esto.