Usuario:Wikiviciao/Taller 11

Principal

Discusión

Talleres

Artículos

Útiles

En álgebra lineal, el teorema de Perron-Frobenius, probado por Oskar Perron (1907) y Georg Frobenius (1912), afirma que una matriz cuadrada real con entradas positivas tiene un valor propio real único más grande y que el vector propio correspondiente puede elegirse para tener estrictamente componentes positivos, y también afirma una declaración similar para ciertas clases de matrices no negativas. Este teorema tiene importantes aplicaciones a la teoría de la probabilidad (ergodicidad de lo90as cadenas de Markov); a la teoría de sistemas dinámicos (subdesplazamientos de tipo finito ); a la economía (teorema de Okishio​, condición de Hawkins-Simon​); a la demografía (modelo de distribución de edad de la población de Leslie );​ a las redes sociales (proceso de aprendizaje DeGroot), a los buscadores de Internet e incluso al ranking de equipos de fútbol​. El primero en discutir el orden de los jugadores dentro de los torneos usando vectores propios de Perron-Frobenius es Edmund Landau .​​

Declaración

Deje que positivo y no negativo describan respectivamente matrices con números reales exclusivamente positivos como elementos y matrices con números reales exclusivamente no negativos como elementos. Los valores propios de una matriz cuadrada real A son números complejos que componen el espectro de la matriz. La tasa de crecimiento exponencial de la matriz potencia A^k as k → ∞ está controlada por el valor propio de A con el valor absoluto más grande (módulo). El teorema de Perron-Frobenius describe las propiedades del valor propio principal y de los vectores propios correspondientes cuando A es una matriz cuadrada real no negativa. Los primeros resultados se debieron a Oskar Perron (1907) y se referían a matrices positivas. Posteriormente, Georg Frobenius (1912) encontró su extensión a ciertas clases de matrices no negativas.​

Matrices positivas

Dejar $A=(a_{ij})$ frijol $n\times n$ veces n matriz positiva: $a_{ij}>0$ × $1\leq i,j\leq n$. Entonces las siguientes declaraciones son válidas.

1. Hay un número real positivo r , llamado raíz de Perron o autovalor de Perron-Frobenius (también llamado autovalor principal o autovalor dominante ), de manera que r es un autovalor de A y cualquier otro autovalor λ (posiblemente complejo ) en valor absoluto es estrictamente menor que r , | λ | < r. Por tanto, el radio espectral A^T es igual a r. Si los coeficientes de la matriz son algebraicos, esto implica que el valor propio es un número de Perron.
2. El valor propio de Perron-Frobenius es simple: r es una raíz del polinomio característico de A. En consecuencia, el espacio propio asociado a r es unidimensional. (Lo mismo es cierto para el espacio propio izquierdo, es decir, el espacio propio para A^T , la transposición de A).
3. Existe un vector propio v=(v₁,...,v_n) de A con valor propio r tal que todos los componentes de v son positivos: A v = rv, v _i> 0 para 1 ≤ i ≤ n . (Respectivamente, existe un vector propio izquierdo positivo w: w ^T A = rw ^T, w _i > 0.) Se conoce en la literatura bajo muchas variaciones como el vector de Perron , vector propio de Perron, Vector propio de Perron-Frobenius , vector propio principal o vector propio dominante.
4. No hay otros autovectores positivos (además no negativos) excepto los múltiplos positivos de v (respectivamente, autovectores izquierdos excepto w), es decir, todos los demás autovectores deben tener al menos un componente negativo o no real.
5. $\lim _{k\rightarrow \infty }A^{k}/r^{k}=vw^{T}$, donde los vectores propios izquierdo y derecho para A están normalizados de modo que w ^T v = 1. Además, la matriz vw ^T es la proyección sobre el espacio propio correspondiente a r . Esta proyección se llama proyección Perron.
6. Fórmula de Collatz –Wielandt : para todos los vectores x no negativos no nulos, sea f ( x ) el valor mínimo de [Ax] _i/x_i tomado sobre todos aquellos i tales que x _i ≠ 0. Entonces f es un valor real función valorada cuyo máximo sobre todos los vectores x no negativos distintos de ceroes el valor propio de Perron-Frobenius.
7. Una fórmula Collatz-Wielandt "Mín-máx" ​​toma una forma similar a la anterior: para todos los vectores estrictamente positivos x , sea g (x) el valor máximo de [Ax] i/x _i tomado sobre i . Entonces g es una función con valor real cuyo mínimo sobre todos los vectores estrictamente positivos x es el valor propio de Perron-Frobenius.
8. Birkhoff - Varga fórmula:Sean x e y vectores estrictamente positivos. Entonces:$r=\sup _{x>0}\inf _{y>0}{\frac {y^{\top }Ax}{y^{\top }x}}=\inf _{x>0}\sup _{y>0}{\frac {y^{\top }Ax}{y^{\top }x}}=\inf _{x>0}\sup _{y>0}\sum _{i,j=1}^{n}x_{i}A_{ij}y_{j}/\sum _{i=1}^{n}y_{i}x_{i}.$​
9. Donsker, Varadhan y S. Friedland fórmulan: Que p sea un vector de probabilidad y x un vector estrictamente positivo. Entonces:$r=\sup _{p}\inf _{x>0}\sum _{i=1}^{n}p_{i}[Ax]_{i}/x_{i}.$​​
10. Fórmula de Fiedler, $r=\sup _{z>0}\ \inf _{x>0,\ y>0,\ x\circ y=z}{\frac {y^{\top }Ax}{y^{\top }x}}=\sup _{z>0}\ \inf _{x>0,\ y>0,\ x\circ y=z}\sum _{i,j=1}^{n}x_{i}A_{ij}y_{j}/\sum _{i=1}^{n}y_{i}x_{i}.$​
11. El valor propio de Perron-Frobenius satisface las desigualdades.

$\min _{i}\sum _{j}a_{ij}\leq r\leq \max _{i}\sum _{j}a_{ij}.$

Todas estas propiedades se extienden más allá de las matrices estrictamente positivas a las matrices primitivas (ver más abajo). Los hechos 1-7 se pueden encontrar en Meyer, capítulo 8​, afirmaciones 8.2.11-15, página 667, y ejercicios 8.2.5, 7,9, páginas 668-669.

Los vectores propios izquierdo y derecho w y v a veces se normalizaron de manera que la suma de sus componentes es igual a 1; en este caso, a veces se denominan autovectores estocásticos . A menudo se normalizan de modo que el vector propio derecho v suma uno, mientras que $w^{T}v=1$.

Matrices no negativas

Existe una extensión para matrices con entradas no negativas. Dado que cualquier matriz no negativa puede obtenerse como límite de matrices positivas, se obtiene la existencia de un vector propio con componentes no negativos; el valor propio correspondiente será no negativo y mayor o igual , en valor absoluto, a todos los demás valores propios.​​Sin embargo, para el ejemplo $A=\left({\begin{smallmatrix}0&1\\1&0\end{smallmatrix}}\right)$, el valor propio máximo r = 1 tiene el mismo valor absoluto que el otro valor propio −1; mientras que para$A=\left({\begin{smallmatrix}0&1\\0&0\end{smallmatrix}}\right)$, el valor propio máximo es r = 0, que no es una raíz simple del polinomio característico, y el vector propio correspondiente (1, 0) no es estrictamente positivo.

Sin embargo, Frobenius encontró una subclase especial de matrices no negativas, matrices irreducibles, para las que es posible una generalización no trivial. Para tal matriz, aunque los valores propios que alcanzan el valor absoluto máximo pueden no ser únicos, su estructura está bajo control: tienen la forma $\omega r$, donde r es realmente estrictamente positivo, y $\omega$ es un valor propio real estrictamente positivo, y $\omega$ rangos sobre las raíces h- ésimas complejas de 1 para algún entero positivo h llamado período de la matriz. El vector propio correspondiente a r tiene componentes estrictamente positivos (en contraste con el caso general de matrices no negativas, donde los componentes son solo no negativos). Además, todos estos valores propios son raíces simples del polinomio característico. A continuación se describen otras propiedades.

Clasificación de matrices

Sea A una matriz cuadrada (no necesariamente positiva o incluso real). La matriz A es irreducible si se cumple alguna de las siguientes propiedades equivalentes.

Definición 1: A no tiene subespacios de coordenadas invariantes no triviales. Aquí, un subespacio vectorial de coordenadas no trivial significa un subespacio lineal abarcado por cualquier subconjunto adecuado de vectores de base estándar de $\mathbb {R} ^{n}$. Más explícitamente, para cualquier subespacio lineal generado por vectores de base estándar e_i1 , ..., e_ik, 0 < k < n, su imagen bajo la acción de A no está contenida en el mismo subespacio vectorial.

De manera equivalente, la representación de grupo de $(\mathbb {R} ,+)$ en $\mathbb {R} ^{n}$ dada por $t\mapsto \exp(tA)$ no tiene subespacios de coordenadas invariantes no triviales. (En comparación, esto sería una representación irreductible si no hubiera subespacios invariantes no triviales en absoluto, no solo considerando los subespacios de coordenadas).

Definición 2: A no se puede conjugar en forma triangular superior de bloque mediante una matriz de permutación P:

$PAP^{-1}\neq {\begin{pmatrix}E&F\\0&G\end{pmatrix}},$

donde E y G son matrices cuadradas no triviales (es decir, de tamaño mayor que cero).

Si A no es negativo, se aplica otra definición:

Definición 3: Uno puede asociarse con una matriz A un cierto grafo dirigido G A. Tiene exactamente n vértices, donde n es el tamaño de A , y hay una arista desde el vértice i al vértice j precisamente cuando A _ij > 0. Entonces la matriz A es irreducible si y solo si su grafo asociado G _A está fuertemente conectado .

Una matriz es reducible si no es irreducible.

Una matriz A es primitiva si no es negativa y su potencia m es positiva para algún número natural m (es decir, todas las entradas de A ^m son positivas).

Sea A no negativo. Fije un índice i y defina el período del índice i como el máximo común divisor de todos los números naturales m tal que (A ^m) _ii > 0. Cuando A es irreducible, el período de cada índice es el mismo y se llama período de A . De hecho, cuando A es irreductible, el período se puede definir como el máximo común divisor de las longitudes de los caminos cerrados dirigidos en G _A (ver Cocinas ​página 16). El período también se denomina índice de imprimitividad (​Meyer página 674) o el orden de ciclicidad. Si el período es 1, A es aperiódico. Se puede demostrar que las matrices primitivas son las mismas que las matrices irreductibles aperiódicas no negativas.

Todos los enunciados del teorema de Perron-Frobenius para matrices positivas siguen siendo verdaderos para matrices primitivas. Las mismas declaraciones también son válidas para una matriz irreductible no negativa, excepto que puede poseer varios valores propios cuyo valor absoluto es igual a su radio espectral, por lo que las declaraciones deben modificarse en consecuencia. De hecho, el número de esos valores propios es igual al período.

Los resultados de las matrices no negativas fueron obtenidos por primera vez por Frobenius en 1912.

Teorema de Perron-Frobenius para matrices no negativas irreducibles

Deje que A sea un irreducible no negativo n × n matriz con período h y espectral radio ρ (A) = r . Entonces las siguientes declaraciones son válidas.

1. El número r es un número real positivo y es un valor propio de la matriz A, llamado valor propio de Perron-Frobenius.
2. El valor propio r de Perron-Frobenius es simple. Ambos espacios propios, derecho e izquierdo, asociados con r son unidimensionales.
3. A tiene un vector propio derecho v con un valor propio r cuyas componentes son todas positivas.
4. Asimismo, A tiene un autovector izquierdo w con autovalor r cuyos componentes son todos positivos.
5. Los únicos autovectores cuyos componentes son todos positivos son los asociados con el autovalor r.
6. La matriz A tiene exactamente h (donde h es el período) valores propios complejos con valor absoluto r. Cada uno de ellos es una raíz simple del polinomio característico y es el producto de r con una h- ésima raíz de la unidad.
7. Sea ω=2π/h. Entonces la matriz A es similar a e ^iωA , en consecuencia, el espectro de A es invariante bajo la multiplicación por e^iω (correspondiente a la rotación del plano complejo por el ángulo ω).
8. Si h>1 entonces existe una matriz de permutación P tal que

$PAP^{-1}={\begin{pmatrix}0&A_{1}&0&0&\ldots &0\\0&0&A_{2}&0&\ldots &0\\\vdots &\vdots &\vdots &\vdots &&\vdots \\0&0&0&0&\ldots &A_{h-1}\\A_{h}&0&0&0&\ldots &0\end{pmatrix}},$

donde los bloques a lo largo de la diagonal principal son matrices cuadradas cero.

9. Fórmula de Collatz –Wielandt: para todos los vectores no negativos no nulos x sea f(x) el valor mínimo de [Ax] _i/x _i tomado sobre todos aquellos i tales que x_i≠0. Entonces f es un función de valor real cuyo máximo es el valor propio de Perron-Frobenius.

10. El valor propio de Perron-Frobenius satisface las desigualdades

$\min _{i}\sum _{j}a_{ij}\leq r\leq \max _{i}\sum _{j}a_{ij}.$

El ejemplo $A=\left({\begin{smallmatrix}0&0&1\\0&0&1\\1&1&0\end{smallmatrix}}\right)$ muestra que las matrices cero (cuadradas) a lo largo de la diagonal pueden ser de diferentes tamaños, los bloques A_j no necesitan ser cuadrados y h no necesita dividir n.

Más propiedades

Sea A una matriz no negativa irreducible, entonces:

1. (I+ A) ^{n −1} es una matriz positiva. (Meyer reclamación ​ 8.3.5 p. 672 ).
2. Teorema de Wielandt.^{[cita requerida]}Si |B|< A, entonces ρ (B)≤ρ (A). Si se cumple la igualdad (es decir, si μ = ρ (A) e ^iφ es el valor propio de B), entonces B=e^iφ D AD ⁻¹ para alguna matriz unitaria diagonal D (es decir, los elementos diagonales de D son iguales a e ^iΘ l, no diagonales son cero).​
3. Si alguna potencia Aq es reducible, entonces es completamente reducible, es decir, para alguna matriz de permutación P , es cierto que:$PA^{q}P^{-1}={\begin{pmatrix}A_{1}&0&0&\dots &0\\0&A_{2}&0&\dots &0\\\vdots &\vdots &\vdots &&\vdots \\0&0&0&\dots &A_{d}\\\end{pmatrix}}$, donde A_i son matrices irreducibles que tienen el mismo valor propio máximo. El número de estas matrices d es el máximo común divisor de q y h, donde h es el período de A. ​
4. Si c (x)=xⁿ+c_k1 x ^n-k ₁ + c _k 2 x _n-k 2 + ... + c _ks x _n-k s es el polinomio característico de A en el que solo se enumeran los términos distintos de cero, entonces el período de A es igual al máximo común divisor de k ₁, k ₂ , ..., k _s. ​
5. Promedios Cesàro:$\lim _{k\rightarrow \infty }1/k\sum _{i=0,...,k}A^{i}/r^{i}=(vw^{T}),$ donde los vectores propios izquierdo y derecho para A están normalizados de modo que w ^T v= 1. Además, la matriz vw^T es la proyección espectral correspondiente ar, la proyección de Perron.​
6. Sea r el valor propio de Perron-Frobenius, entonces la matriz adjunta para (r-A) es positiva.​
7. Si A tiene al menos un elemento diagonal distinto de cero, entonces A es ​
8. Si 0 ≤ A < B, entonces r _A ≤ r _B. Por otra parte, si B es irreducible, entonces la desigualdad es estricta: r _A <r _B.

Una matriz A es primitiva siempre que no sea negativa y A ^m sea ​​positiva para algunos m, y por lo tanto A ^k sea ​​positiva para todo k ≥ m. Para verificar la primitividad, se necesita un límite de cuán grande puede ser el mínimo de tal m, dependiendo del tamaño de A:

• Si A es una matriz primitiva no negativa de tamaño n, entonces A^{n2 − 2n + 2} es positiva. Además, este es el mejor resultado posible, ya que para la matriz M siguiente, la potencia M ^k no es positiva para cada k < n² − 2n + 2, ya que (M^{n2 − 2n+1})₁₁ = 0.​

$M=\left({\begin{smallmatrix}0&1&0&0&\cdots &0\\0&0&1&0&\cdots &0\\0&0&0&1&\cdots &0\\\vdots &\vdots &\vdots &\vdots &&\vdots \\0&0&0&0&\cdots &1\\1&1&0&0&\cdots &0\end{smallmatrix}}\right)$

Aplicaciones

Se han escrito numerosos libros sobre el tema de las matrices no negativas, y la teoría de Perron-Frobenius es invariablemente una característica central. Los siguientes ejemplos que se dan a continuación solo muestran la superficie de su vasto dominio de aplicación.

Matrices no negativas

El teorema de Perron-Frobenius no se aplica directamente a matrices no negativas. Sin embargo, cualquier matriz cuadrada reducible A puede escribirse en forma de bloque triangular superior (conocida como la forma normal de una matriz reducible). ​

PAP⁻¹ = $\left({\begin{smallmatrix}B_{1}&*&*&\cdots &*\\0&B_{2}&*&\cdots &*\\\vdots &\vdots &\vdots &&\vdots \\0&0&0&\cdots &*\\0&0&0&\cdots &B_{h}\end{smallmatrix}}\right)$

donde P es una matriz de permutación y cada B _i es una matriz cuadrada que es irreducible o cero. Ahora bien, si A no es negativo, también lo es cada bloque de PAP ⁻¹, además, el espectro de A es solo la unión de los espectros de B _i.

También se puede estudiar la invertibilidad de A. La inversa de PAP ^-1 (si existe) debe tener bloques diagonales de la forma B _i ^-1 así que si cualquier B _i no es invertible entonces tampoco es PAP ^-1 o A. Por el contrario, sea D la matriz diagonal de bloques correspondiente a PAP ⁻¹, en otras palabras, PAP ⁻¹ con los asteriscos en cero. Si cada B _i es invertible, entonces también lo es D y D ⁻¹ (PAP ⁻¹) es igual a la identidad más una matriz nilpotente. Pero tal matriz es siempre invertible (si N ^k=0 el inverso de 1-N es 1+N+N² + ... + N ^{k −1}) por lo que PAP ⁻¹ y A son ambos invertibles.

Por tanto, muchas de las propiedades espectrales de A pueden deducirse aplicando el teorema al B _i irreducible. Por ejemplo, la raíz de Perron es el máximo de ρ (B _i). Si bien todavía habrá vectores propios con componentes no negativos, es muy posible que ninguno de estos sea positivo.

Matrices estocásticas

Una matriz estocástica de filas (columnas) es una matriz cuadrada, cada una de cuyas filas (columnas) consta de números reales no negativos cuya suma es la unidad. El teorema no se puede aplicar directamente a tales matrices porque no necesitan ser irreductibles.

Si A es estocástico por filas, entonces el vector de columna con cada entrada 1 es un vector propio correspondiente al valor propio 1, que también es ρ (A) según la observación anterior. Puede que no sea el único valor propio en el círculo unitario: y el espacio propio asociado puede ser multidimensional. Si A es estocástico por filas e irreductible, entonces la proyección de Perron también es estocástica por filas y todas sus filas son iguales.

Teoría de grafos algebraicos

El teorema tiene un uso particular en la teoría de grafos algebraicos . La "gráfica subyacente" de una matriz n- cuadrada no negativa es la gráfica con vértices numerados 1, ..., ny arc ij si y solo si A _ij ≠ 0. Si la gráfica subyacente de dicha matriz está fuertemente conectada, entonces la matriz es irreducible y, por tanto, se aplica el teorema. En particular, la matriz de adyacencia de un gráfico fuertemente conectado es irreducible.​​

Cadenas finitas de Markov

El teorema tiene una interpretación natural en la teoría de las cadenas de Markov finitas (donde es el equivalente teórico de matrices de la convergencia de una cadena de Markov finita irreductible a su distribución estacionaria, formulada en términos de la matriz de transición de la cadena.​

Operadores compactos

De manera más general, se puede extender al caso de los operadores compactos no negativos, que, en muchos sentidos, se parecen a las matrices de dimensión finita. Estos se estudian comúnmente en física, bajo el nombre de operadores de transferencia, o en ocasiones operadores de Ruelle-Perron-Frobenius (después de David Ruelle). En este caso, el valor propio principal corresponde al equilibrio termodinámico de un sistema dinámico, y los valores propios menores a los modos de desintegración de un sistema que no está en equilibrio. Por lo tanto, la teoría ofrece una manera de descubrir la flecha del tiempo en lo que de otro modo parecerían ser procesos dinámicos deterministas y reversibles, cuando se examina desde el punto de vista detopología de conjunto de puntos.​

Métodos de prueba

Un hilo común en muchas demostraciones es el teorema del punto fijo de Brouwer. Otro método popular es el de Wielandt (1950). Usó la fórmula de Collatz- Wielandt descrita anteriormente para ampliar y aclarar el trabajo de Frobenius.​ Otra prueba se basa en la teoría espectral​ de la que se toman prestados parte de los argumentos.

La raíz de Perron es un valor propio estrictamente máximo para matrices positivas (y primitivas)

Si A es una matriz positiva (o más generalmente primitiva), entonces existe un valor propio positivo real r ( valor propio de Perron-Frobenius o raíz de Perron), que es estrictamente mayor en valor absoluto que todos los demás valores propios, por lo que r es el radio espectral de Una.

Esta declaración no se mantiene para matrices irreducibles no negativos generales, que tienen h valores propios con el mismo valor propio absoluta como r, donde h es el período de A.

Prueba de matrices positivas

Sea A una matriz positiva, suponga que su radio espectral ρ (A)=1 (de lo contrario, considere A/ρ (A)). Por lo tanto, existe un valor propio λ en el círculo unitario, y todos los demás valores propios son menores o iguales a 1 en valor absoluto. Suponga que otro valor propio λ ≠ 1 también cae en el círculo unitario. Entonces existe un entero positivo m tal que A ^m es una matriz positiva y la parte real de λ ^m es negativa. Sea εI la mitad de la entrada diagonal más pequeña de A ^my establezca T=A ^m-εI, que es otra matriz positiva. Además, si Ax= Λx entonces A ^mx = λ ^m x así λ ^m-ε es un valor propio de T. Debido a la elección de m, este punto se encuentra fuera del disco unitario, por lo tanto, ρ (T)> 1. Por otro lado, todas las entradas en T son positivas y menores o iguales a las de A ^m, por lo que según la fórmula de Gelfand ρ (T)≤''ρ (A ^m)≤ ρ (A) ^m=1. Esta contradicción significa que λ=1 y no puede haber otros valores propios en el círculo unitario.

Absolutamente los mismos argumentos se pueden aplicar al caso de matrices primitivas; solo necesitamos mencionar el siguiente lema simple, que aclara las propiedades de las matrices primitivas.

Lema

Dado un número no negativo A, asumen que m existe, de manera que un m es positivo, entonces A^m+1,A^m+2, A^m+3,... son todos positivos.

A^m+1=AA^m, por lo que puede tener un elemento cero solo si alguna fila de A es completamente cero, pero en este caso la misma fila de A m será cero.

Aplicando los mismos argumentos anteriores para matrices primitivas, demuestre la afirmación principal.

Método de potencia y el par propio positivo

Para un positivo (o más generalmente irreducible no negativo) de la matriz A la dominante vector propio es real y estrictamente positivo (para no negativo A respectivamente no negativo.)

Esto se puede establecer utilizando el método de la potencia, que establece que para una matriz A suficientemente genérica (en el sentido siguiente), la secuencia de vectores b_k+1 = Ab_k / | Ab_k | converge al vector propio con el valor propio máximo. (El vector inicial b ⁰ se puede elegir arbitrariamente, excepto para algún conjunto de medidas de cero). Comenzar con un vector no negativo b ⁰ produce la secuencia de vectores no negativos b ^k. Por tanto, el vector limitante tampoco es negativo. Por el método de la potencia, este vector limitante es el autovector dominante para A, lo que demuestra la afirmación. El valor propio correspondiente no es negativo.

La prueba requiere dos argumentos adicionales. Primero, el método de potencia converge para matrices que no tienen varios valores propios del mismo valor absoluto que el máximo. El argumento de la sección anterior lo garantiza.

En segundo lugar, asegurar la positividad estricta de todos los componentes del vector propio para el caso de matrices irreducibles. Esto se deriva del siguiente hecho, que es de interés independiente:

Lema: dado un positivo (o más generalmente irreducible no negativo) de la matriz A y v como cualquier vector propio no negativo para A, entonces es necesariamente estrictamente positivo y el correspondiente valor propio también es estrictamente positivo.

Prueba. Una de las definiciones de irreductibilidad para matrices no negativas es que para todos los índices i, j existe M, de modo que (A ^m) ^ij es estrictamente positivo. Dado un vector propio v no negativo, y que al menos uno de sus componentes dice que j -th es estrictamente positivo, el valor propio correspondiente es estrictamente positivo, de hecho, dado n tal que (A ⁿ) ii>0, por lo tanto:rⁿv_i = Aⁿv_i ≥ (Aⁿ)_iiv_i >0. Por consiguiente r es estrictamente positivo. El vector propio es positividad estricta. Entonces dado m, tal que (A^m)_ij >0, de manera que: r^mv_j = (A^mv)_j ≥ (A^m)_ijv_i >0, en consecuencia v_j es estrictamente positivo, es decir, el vector propio es estrictamente positivo.

Multiplicidad uno

En esta sección se demuestra que el valor propio de Perron-Frobenius es una raíz simple del polinomio característico de la matriz. Por lo tanto, el eigespacio asociado al eigenvalor de Perron-Frobenius r es unidimensional. Los argumentos aquí son cercanos a los de Meyer.​

Dado un vector propio estrictamente positivo v correspondiente a r y otro vector propio w con el mismo valor propio. (Los vectores v y w pueden elegirse como reales, porque A y r son ambos reales, por lo que el espacio nulo de A-r tiene una base formada por vectores reales). Suponiendo que al menos una de las componentes de w sea positiva (en caso contrario, multiplicar w por -1). Dado el máximo posible α tal que u=v- α w es no negativo, entonces uno de los componentes de u es cero, en caso contrario α no es máximo. El vector u es un vector propio. Es no negativo, por lo que por el lema descrito en el sección anterior la no negatividad implica positividad estricta para cualquier vector propio. Por otro lado, como en el caso anterior, al menos una componente de u es cero. La contradicción implica que w no existe.

Caso: No hay celdas de Jordan correspondientes al valor propio de Perron-Frobenius r y todos los demás valores propios que tienen el mismo valor absoluto.

Si existe una celda de Jordan, entonces la Norma de infinito (A/r)^k_∞ tiende a infinito para k → ∞, pero eso contradice la existencia del vector propio positivo.

Dado r = 1, o A/r. Dejando que v sea un eigenvector estrictamente positivo de Perron-Frobenius, por lo que Av=v, entonces:

$||v|_{\infty }=|A^{k}v|_{\infty }|A^{k}|_{\infty }|min_{i}(v_{i}),~~flecha~~|A^{k}|_{infty}|le||v|/\min _{i}(v_{i})$ Así que A^k_∞ está acotado para todo k. Esto da otra prueba de que no hay valores propios que tengan mayor valor absoluto que el de Perron-Frobenius. También contradice la existencia de la célula de Jordan para cualquier valor propio que tenga valor absoluto igual a 1 (en particular para el de Perron-Frobenius), porque la existencia de la célula de Jordan implica que A^k_∞ no está acotado. Para una matriz de dos por dos:

$J^{k}={\begin{pmatrix}\lambda &1\\0&\lambda \end{pmatrix}}^{k}={\begin{pmatrix}\lambda ^{k}&k\lambda ^{k-1}\\0&\lambda ^{k}\end{pmatrix}},$

por lo que J^k_∞ = |k + λ| (para |λ| = 1), por lo que tiende a infinito cuando k lo hace. Como J^k = C^-1 A^kC, entonces A^k ≥ J^k/ (C^-1 C ), por lo que también tiende a infinito. La contradicción resultante implica que no hay células de Jordan para los correspondientes valores propios.

La combinación de las dos afirmaciones anteriores revela que el valor propio de Perron-Frobenius r es una raíz simple del polinomio característico. En el caso de las matrices no primitivas, existen otros valores propios que tienen el mismo valor absoluto que r. La misma afirmación es válida para ellos, pero requiere más trabajo.

Referencias

{{Control de autoridades}} [[Categoría:Teoría de matrices]] [[Categoría:Teoremas en álgebra lineal]] [[Categoría:Procesos de Markov]]