Autovalores e autovetores

Em álgebra linear, um escalar λ diz-se um valor próprio, autovalor ou valor característico de um operador linear $A:V\to V$ se existir um vetor x diferente de zero tal que $A𝐱=\lambda 𝐱$. O vetor x é chamado vetor próprio, autovetor ou vetor característico.

Os autovalores de uma dada matriz quadrada A de dimensão $n\times n$ são os n números que resumem as propriedades essenciais daquela matriz. O autovalor de A é um número λ tal que, se for subtraído de cada entrada na diagonal de A, converte A numa matriz singular (ou não-invertível). Subtrair um escalar λ de cada entrada na diagonal de A é o mesmo que subtrair λ vezes a matriz identidade I de A. Portanto, λ é um autovalor se, e somente se, a matriz $(A-\lambda I)$ for singular.

História

Fig.1.Observe que neste mapeamento de cisalhamento da Mona Lisa, a imagem foi deformada de tal modo que o seu eixo central vertical (vetor vermelho) não mudou de direção, mas o vetor diagonal (azul) mudou de direção. Isso ocorre porque o vetor vermelho é um autovetor da transformação e o vetor azul não é. Caso o vetor vermelho não tenha seu módulo alterado - não seja esticado nem encolhido, o seu valor próprio (autovalor) é igual a 1. Todos os vetores com a mesma direção vertical, isto é, paralelos a este vetor, também são próprios, com o mesmo autovalor. Juntamente com o zero-vetor, eles formam o autoespaço para este autovalor.

Os autovalores são frequentemente introduzidos no contexto da álgebra linear ou da teoria das matrizes. Historicamente, no entanto, eles surgiram no estudo de formas quadráticas e equações diferenciais.

No século XVIII, Leonhard Euler estudou o movimento rotacional de um corpo rígido, e descobriu a importância dos eixos principais.Predefinição:Efn Joseph-Louis Lagrange percebeu que os eixos principais são os autovetores da matriz de inércia.Predefinição:Sfn

No início do século XIX, Augustin-Louis Cauchy viu como seu trabalho poderia ser usado para classificar as superfícies quádricas, e generalizou-o para dimensões arbitrárias.Predefinição:Sfn Cauchy também cunhou o termo racine caractéristique (raiz característica), para o que agora é chamado de autovalor; seu termo sobrevive na equação característica.Predefinição:Efn

Mais tarde, Joseph Fourier usou o trabalho de Lagrange e Pierre-Simon Laplace para resolver a equação do calor por separação de variáveis em seu famoso livro de 1822, Théorie analytique de la chaleur.Predefinição:Sfn Charles-François Sturm desenvolveu ainda mais as ideias de Fourier e chamou a atenção de Cauchy, que as combinou com suas próprias ideias e chegou ao fato de que matrizes simétricas reais têm autovalores reais.Predefinição:Sfn Isso foi estendido por Charles Hermite em 1855 para o que hoje é chamado de matrizes hermitianas.Predefinição:Sfn

Na mesma época, Francesco Brioschi provou que os autovalores de matrizes ortogonais estão no círculo unitário,Predefinição:Sfn e Alfred Clebsch encontrou o resultado correspondente para matrizes assimétricas.Predefinição:Sfn Finalmente, Karl Weierstrass esclareceu um aspecto importante na teoria da estabilidade iniciada por Laplace, ao perceber que matrizes defeituosas podem causar instabilidade.Predefinição:Sfn

Nesse ínterim, Joseph Liouville estudou problemas de autovalor semelhantes aos de Sturm; a disciplina que surgiu de seu trabalho agora é chamada de teoria de Sturm-Liouville.Predefinição:Sfn Schwarz estudou o primeiro autovalor da equação de Laplace em domínios gerais no final do século XIX, enquanto Poincaré estudou a equação de Poisson alguns anos depois.Predefinição:Sfn

No início do século 20, David Hilbert estudou os autovalores dos operadores integrais, visualizando os operadores como matrizes infinitas.Predefinição:Sfn Ele foi o primeiro a usar a palavra alemã eigen, que significa "próprio", para denotar autovalores e autovetores em 1904,Predefinição:Efn embora possa ter seguido um uso relacionado por Hermann von Helmholtz. Por algum tempo, o termo padrão em inglês era "valor adequado", mas o termo mais distinto "valor próprio" é o padrão hoje.Predefinição:Sfn

O primeiro algoritmo numérico para calcular autovalores e autovetores apareceu em 1929, quando Richard von Mises publicou o método da potência. Um dos métodos mais populares hoje, o algoritmo QR, foi proposto independentemente por John G. F. FrancisPredefinição:Sfn e Vera KublanovskayaPredefinição:Sfn em 1961.Predefinição:SfnPredefinição:Sfn

Definição formal

Se Predefinição:Mvar é uma transformação linear de um espaço vetorial Predefinição:Mvar sobre um corpo Predefinição:Mvar em si mesmo e Predefinição:Math é um vetor diferente de zero em Predefinição:Mvar, então Predefinição:Math é um autovetor de Predefinição:Mvar se Predefinição:Mvar(Predefinição:Math) é um múltiplo escalar de Predefinição:Math. Isso pode ser escrito como

$$T(𝐯)=\lambda 𝐯,$$
onde Predefinição:Mvar é um escalar em Predefinição:Mvar, conhecido como autovalor, valor característico, ou raiz característica associada a Predefinição:Math.

Existe uma correspondência direta entre matrizes quadradas n-por-n e transformações lineares de um espaço vetorial n-dimensional para si mesmo, dada qualquer base do espaço vetorial. Portanto, em um espaço vetorial de dimensão finita, é equivalente a definir autovalores e autovetores usando a linguagem de matrizes, ou a linguagem de transformações lineares.Predefinição:SfnPredefinição:Sfn

Se Predefinição:Mvar é de dimensão finita, a equação acima é equivalente aPredefinição:Sfn$$A𝐮=\lambda 𝐮.$$onde Predefinição:Mvar é a representação matricial de Predefinição:Mvar e Predefinição:Math é o vetor de coordenadas de Predefinição:Math.

Autovalores e autovetores de matrizes

Autovalores e autovetores são frequentemente apresentados aos alunos no contexto de cursos de álgebra linear focados em matrizes. Além disso, transformações lineares em um espaço vetorial de dimensão finita podem ser representadas usando matrizes,Predefinição:SfnPredefinição:Sfn o que é especialmente comum em aplicações numéricas e computacionais.Predefinição:Sfn

Considere vetores Predefinição:Mvar-dimensionais que são formados como uma lista de Predefinição:Mvar escalares, como os vetores tridimensionais. $$𝐱=\left[\begin{array}{c}1\\ -3\\ 4\end{array}\right]\text{e}𝐲=\left[\begin{array}{c}-20\\ 60\\ -80\end{array}\right].$$

Esses vetores são ditos múltiplos escalares um do outro, ou paralelos ou colineares, se existe um escalar Predefinição:Mvar tal que

$$𝐱=\lambda 𝐲.$$
Nesse caso $\lambda =-\frac{1}{20}$.

Agora considere a transformação linear de vetores Predefinição:Mvar-dimensionais definidos por uma matriz Predefinição:Mvar Predefinição:Mvar-por-Predefinição:Mvar, $$A𝐯=𝐰,$$

ou $$\left[\begin{array}{cccc}{A}_{11}& A_{12}& \cdots & A_{1n}\\ A_{21}& A_{22}& \cdots & A_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ A_{n1}& A_{n2}& \cdots & A_{nn}\end{array}\right]\left[\begin{array}{c}{v}_1\\ v_2\\ ⋮\\ v_n\end{array}\right]=\left[\begin{array}{c}{w}_1\\ w_2\\ ⋮\\ w_n\end{array}\right]$$

onde, para cada linha, $$w_i=A_{i1}{v}_1+A_{i2}{v}_2+\cdots +A_{in}{v}_n=\sum _{j=1}^n{A}_{ij}{v}_j.$$

Se ocorrer que Predefinição:Mvar e Predefinição:Mvar são múltiplos escalares, isto é, se Predefinição:NumBlk então Predefinição:Math é um autovetor da transformação linear Predefinição:Mvar e o fator de escala Predefinição:Mvar é o autovalor correspondente a esse autovetor. A equação (Predefinição:EquationNote) é a equação de autovalor para a matriz Predefinição:Mvar.

A equação (Predefinição:EquationNote) pode ser expressa de forma equivalente como Predefinição:NumBlk

onde Predefinição:Mvar é a matriz identidade Predefinição:Mvar-por-Predefinição:Mvar e 0 é o vetor zero.

Autovalores e o polinômio característico

A equação (Predefinição:EquationNote) tem solução v diferente de zero se e somente se o determinante da matriz Predefinição:Nowrap for zero. Portanto, os autovalores de A são valores de λ que satisfazem a equação Predefinição:NumBlk

Usando a fórmula de Leibniz para determinantes, o lado esquerdo da Equação (Predefinição:EquationNote) é uma função polinomial da variável λ e o grau deste polinômio é n, a ordem da matriz A. Seus coeficientes dependem das entradas de A, exceto que seu termo de grau n é sempre (−1)ⁿλⁿ. Este polinômio é chamado de polinômio característico de A. A equação (Predefinição:EquationNote) é chamada de equação característica ou equação secular de A.

O teorema fundamental da álgebra implica que o polinômio característico de uma matriz A n-por-n, sendo um polinômio de grau n, pode ser fatorado no produto de n termos lineares,Predefinição:NumBlk

onde cada λ_i pode ser real, mas em geral é um número complexo. Os números λ₁, λ₂, ..., λ_n, que podem não ter valores distintos, são raízes do polinômio e são os autovalores de A. Uma matriz quadrada A é singular se, e somente se, 0 é um autovalor de A.

Como um breve exemplo, que é descrito em mais detalhes na seção de exemplos mais adiante, considere a matriz$$A=\left[\begin{array}{cc}2& 1\\ 1& 2\end{array}\right].$$Tomando o determinante de Predefinição:Nowrap, o polinômio característico de A é$$|A-\lambda I|=\left|\begin{array}{cc}2-\lambda & 1\\ 1& 2-\lambda \end{array}\right|=3-4\lambda +{\lambda }^2.$$

Definindo o polinômio característico igual a zero, ele tem raízes em λ=1 e Predefinição:Nowrap, que são os dois autovalores de A. Os autovetores correspondentes a cada autovalor podem ser encontrados resolvendo os componentes de v na equação Predefinição:Nowrap Neste exemplo, os autovetores são quaisquer múltiplos escalares diferentes de zero de $${𝐯}_{\lambda =1}=\left[\begin{array}{c}1\\ -1\end{array}\right],{𝐯}_{\lambda =3}=\left[\begin{array}{c}1\\ 1\end{array}\right].$$

Se as entradas da matriz A forem todas números reais, então os coeficientes do polinômio característico também serão números reais, mas os autovalores ainda podem ter partes imaginárias diferentes de zero. As entradas dos autovetores correspondentes, portanto, também podem ter partes imaginárias diferentes de zero. Da mesma forma, os autovalores podem ser números irracionais, mesmo que todas as entradas de A sejam números racionais ou mesmo que sejam todos inteiros. No entanto, se as entradas de A são todos números algébricos, que incluem os racionais, os autovalores são números algébricos complexos.

As raízes não reais de um polinômio real com coeficientes reais podem ser agrupadas em pares de conjugados complexos, ou seja, com os dois membros de cada par tendo partes imaginárias que diferem apenas em sinal e a mesma parte real. Se o grau for ímpar, pelo teorema do valor intermediário, pelo menos uma das raízes é real. Portanto, qualquer matriz real de ordem ímpar tem pelo menos um autovalor real, enquanto uma matriz real de ordem par pode não ter nenhum autovalor real. Os autovetores associados a esses autovalores complexos também são complexos e também aparecem em pares conjugados complexos.

Interpretação geométrica

A matriz A aumenta a magnitude do vetor x, alongando o mesmo, mas não muda a sua direção. Logo, x é um autovetor de A, e λ um autovalor de A

Geometricamente, a equação do valor próprio (autovalor) $A𝐱=\lambda 𝐱$ implica que numa transformação A, autovetores sofrem apenas mudança na sua magnitude e sinal — a direção de Ax é a mesma direção de x. O autovalor λ indica apenas o quanto o vetor irá "encolher" ou "esticar" ao sofrer a transformação A. Se λ = 1, o vetor permanece inalterado (não é afetado pela transformação). Se λ = −1 o vetor passa a ter apenas o sentido oposto e a transformação é chamada reflexão. A transformação I sob a qual um vetor x permanece inalterado, Ix = x é definida como transformação identidade.

Multiplicidade algébrica

Seja λ_i um autovalor de uma matriz A n-por-n. A multiplicidade algébrica μ_A(λ_i) do autovalor é sua multiplicidade como raiz do polinômio característico, ou seja, o maior inteiro k tal que (λ − λ_i)^k divide igualmente esse polinômio.Predefinição:SfnPredefinição:SfnPredefinição:Sfn

Suponha que uma matriz A tenha dimensão n e d ≤ n autovalores distintos. Considerando que a Equação (Predefinição:EquationNote) fatora o polinômio característico de A no produto de n termos lineares com alguns termos potencialmente repetidos, o polinômio característico pode, em vez disso, ser escrito como o produto de d termos, cada um correspondendo a um autovalor distinto e elevado à potência do multiplicidade algébrica, $$|A-\lambda I|=({\lambda }_1-\lambda {)}^{{\mu }_A({\lambda }_1)}({\lambda }_2-\lambda {)}^{{\mu }_A({\lambda }_2)}\cdots ({\lambda }_d-\lambda {)}^{{\mu }_A({\lambda }_d)}.$$

Se d = n então o lado direito é o produto de n termos lineares e isso é o mesmo que a Equação (Predefinição:EquationNote). O tamanho da multiplicidade algébrica de cada autovalor está relacionado com a dimensão n como $$\begin{array}{cc}1& \le {\mu }_A({\lambda }_i)\le n,\\ {\mu }_A& =\sum _{i=1}^d{\mu }_A\left({\lambda }_i\right)=n.\end{array}$$

Se μ_A(λ_i) = 1, então λ_i é um autovalor simples.Predefinição:Sfn Se μ_A(λ_i) é igual à multiplicidade geométrica de λ_i, γ_A(λ_i), definida na próxima seção, então λ_i é dito ser um autovalor semisimples.

Autoespaços, multiplicidade geométrica e autobase para matrizes

Dado um autovalor particular λ da matriz A n por n, defina o conjunto E como sendo todos os vetores v que satisfazem a Equação (Predefinição:EquationNote), $$E=\{𝐯:(A-\lambda I)𝐯=\mathrm{𝟎}\}.$$

Por um lado, esse conjunto é justamente o núcleo ou espaço nulo da matriz (A − λI). Por outro lado, por definição, qualquer vetor diferente de zero que satisfaça esta condição é um autovetor de A associado a λ. Assim, o conjunto E é a união do vetor nulo com o conjunto de todos os autovetores de A associados a λ, e E é igual ao espaço nulo de (A − λI). E é chamado de autoespaço ou espaço característico de A associado a λ.Predefinição:SfnPredefinição:Sfn Em geral λ é um número complexo e os autovetores são matrizes n por 1 complexas. Uma propriedade do espaço nulo é que ele é um subespaço linear, então E é um subespaço linear de ${ℂ}^n$.

Como o autoespaço E é um subespaço linear, ele é fechado sob adição. Ou seja, se dois vetores u e v pertencem ao conjunto E, escrito Predefinição:Nowrap, então Predefinição:Nowrap ou equivalentemente Predefinição:Nowrap. Isso pode ser verificado usando a propriedade distributiva da multiplicação de matrizes. Da mesma forma, como E é um subespaço linear, ele é fechado sob multiplicação escalar. Ou seja, se Predefinição:Nowrap e α é um número complexo, Predefinição:Nowrap ou equivalentemente Predefinição:Nowrap. Isso pode ser verificado observando que a multiplicação de matrizes complexas por números complexos é comutativa. Desde que u + v e αv não sejam zero, eles também são autovetores de A associados a λ.

A dimensão do autoespaço E associado a λ, ou equivalentemente o número máximo de autovetores linearmente independentes associados a λ, é referido como a multiplicidade geométrica do autovalor γ_A(λ). Como E também é o espaço nulo de (A − λI), a multiplicidade geométrica de λ é a dimensão do espaço nulo de (A − λI), também chamada de nulidade de (A − λI), que se relaciona com a dimensão e o posto de (A − λI) como

$${\gamma }_A(\lambda )=n-\mathrm{posto}(A-\lambda I).$$

Devido à definição de autovalores e autovetores, a multiplicidade geométrica de um autovalor deve ser pelo menos um, ou seja, cada autovalor tem pelo menos um autovetor associado. Além disso, a multiplicidade geométrica de um autovalor não pode exceder sua multiplicidade algébrica. Além disso, lembre-se de que a multiplicidade algébrica de um autovalor não pode exceder n.

$$1\le {\gamma }_A(\lambda )\le {\mu }_A(\lambda )\le n$$

Para provar a desigualdade ${\gamma }_A(\lambda )\le {\mu }_A(\lambda )$, considere como a definição de multiplicidade geométrica implica a existência de ${\gamma }_A(\lambda )$  autovetores ortonormais ${𝒗}_1,\dots ,{𝒗}_{{\gamma }_A(\lambda )}$, de tal modo que $A{𝒗}_k=\lambda {𝒗}_k$. Podemos, portanto, encontrar uma matriz (unitária) $V$ cujo primeiro ${\gamma }_A(\lambda )$ colunas são esses autovetores e cujas colunas restantes podem ser qualquer conjunto ortonormal de $n-{\gamma }_A(\lambda )$ vetores ortogonais a esses autovetores de $A$. Então $V$ tem posto completo e, portanto, é invertível, e $AV=VD$ com $D$ uma matriz cujo bloco superior esquerdo é a matriz diagonal $\lambda I_{{\gamma }_A(\lambda )}$. Isso implica que $(A-\xi I)V=V(D-\xi I)$. Em outras palavras, $A-\xi I$ é similar a $D-\xi I$, o que implica que $\det (A-\xi I)=\det (D-\xi I)$. Mas a partir da definição de $D$ nós sabemos isso $\det (D-\xi I)$ contém um fator $(\xi -\lambda {)}^{{\gamma }_A(\lambda )}$, o que significa que a multiplicidade algébrica de $\lambda$ deve satisfazer ${\mu }_A(\lambda )\ge {\gamma }_A(\lambda )$.

Suponha $A$ tem $d\le n$ autovalores distintos ${\lambda }_1,\dots ,{\lambda }_d$, onde a multiplicidade geométrica de ${\lambda }_i$ é ${\gamma }_A({\lambda }_i)$. A multiplicidade geométrica total de $A$,$$\begin{array}{cc}{\gamma }_A& =\sum _{i=1}^d{\gamma }_A({\lambda }_i),\\ d& \le {\gamma }_A\le n,\end{array}$$

é a dimensão da soma de todos os autoespaços de autovalores de $A$, ou equivalentemente o número máximo de autovetores linearmente independentes de $A$. Se ${\gamma }_A=n$, então

• A soma direta dos autoespaços de todos os autovalores de $A$ é todo o espaço vetorial ${ℂ}^n$.
• Uma base de ${ℂ}^n$ pode ser formado a partir de $n$ autovetores linearmente independentes de $A$; tal base é chamada de autobase.
• Qualquer vetor em ${ℂ}^n$ pode ser escrita como uma combinação linear de autovetores de $A$.

Propriedades adicionais de autovalores

Deixar $A$ ser um arbitrário $n\times n$ matriz de números complexos com autovalores ${\lambda }_1,\dots ,{\lambda }_n$. Cada autovalor aparece ${\mu }_A({\lambda }_i)$ vezes nesta lista, onde ${\mu }_A({\lambda }_i)$ é a multiplicidade algébrica do autovalor. A seguir estão as propriedades desta matriz e seus autovalores:

• O traço de $A$, definido como a soma de seus elementos diagonais, é também a soma de todos os autovalores,Predefinição:SfnPredefinição:SfnPredefinição:Sfn

  $\mathrm{tr}(A)=\sum _{i=1}^n{a}_{ii}=\sum _{i=1}^n{\lambda }_i={\lambda }_1+{\lambda }_2+\cdots +{\lambda }_n.$

• O determinante de $A$ é o produto de todos os seus autovalores,Predefinição:SfnPredefinição:SfnPredefinição:Sfn

  $\det (A)=\prod _{i=1}^n{\lambda }_i={\lambda }_1{\lambda }_2\cdots {\lambda }_n.$

• Os autovalores do $k$ o poder de $A$; ou seja, os autovalores de $A^k$, para qualquer inteiro positivo $k$, está ${\lambda }_1^k,\dots ,{\lambda }_n^k$.
• A matriz $A$ é invertível se e somente se todo autovalor for diferente de zero.
• Se $A$ é invertível, então os autovalores de $A^{-1}$ são $\frac{1}{{\lambda }_1},\dots ,\frac{1}{{\lambda }_n}$ e a multiplicidade geométrica de cada autovalor coincide. Além disso, como o polinômio característico da inversa é o polinômio recíproco do original, os autovalores compartilham a mesma multiplicidade algébrica.
• Se $A$ é igual a sua transposta conjugada $A^{*}$, ou equivalente se $A$ é hermitiana, então todo autovalor é real. O mesmo vale para qualquer matriz real simétrica.
• Se $A$ não é apenas hermitiana, mas também positiva definida, semidefinida positiva, definida negativa ou semidefinida negativa, então todo autovalor é positivo, não negativo, negativo ou não positivo, respectivamente.
• Se $A$ é unitário, todo autovalor tem valor absoluto $|{\lambda }_i|=1$.
• E se $A$ é um $n\times n$ matriz e $\{{\lambda }_1,\dots ,{\lambda }_k\}$ são seus autovalores, então os autovalores da matriz $I+A$ (Onde $I$ é a matriz identidade) são $\{{\lambda }_1+1,\dots ,{\lambda }_k+1\}$. Além disso, se $\alpha \in ℂ$, os autovalores de $\alpha I+A$ são $\{{\lambda }_1+\alpha ,\dots ,{\lambda }_k+\alpha \}$. Mais geralmente, para um polinômio $P$ os autovalores da matriz $P(A)$ são $\{P({\lambda }_1),\dots ,P({\lambda }_k)\}$.

Autovetores esquerdo e direito

Muitas disciplinas tradicionalmente representam vetores como matrizes com uma única coluna em vez de matrizes com uma única linha. Por essa razão, a palavra "autovetor" no contexto de matrizes quase sempre se refere a um autovetor à direita, ou seja, um vetor coluna que multiplica à direita o $n\times n$ matriz $A$ na equação definidora, Equação (Predefinição:EquationNote),

$$A𝐯=\lambda 𝐯.$$

O problema de autovalor e autovetor também pode ser definido para vetores de linha que deixaram a matriz de multiplicação $A$. Nesta formulação, a equação definidora é

$$𝐮A=\kappa 𝐮,$$

Onde $\kappa$ é um escalar e $u$ é uma matriz $1\times n$. Qualquer vetor linha $u$ satisfazendo esta equação é chamado de autovetor esquerdo de $A$ e $\kappa$ é o seu autovalor associado. Fazendo a transposta dessa equação, $$A^{\mathsf{\text{T}}}{𝐮}^{\mathsf{\text{T}}}=\kappa {𝐮}^{\mathsf{\text{T}}}.$$

Comparando esta equação com a Equação (Predefinição:EquationNote), segue-se imediatamente que um autovetor esquerdo de $A$ é o mesmo que a transposição de um autovetor à direita de $A^{\mathsf{\text{T}}}$, com o mesmo autovalor. Além disso, como o polinômio característico de $A^{\mathsf{\text{T}}}$ é o mesmo que o polinômio característico de $A$, os autovalores dos autovetores esquerdos de $A$ são os mesmos que os autovalores dos autovetores corretos de $A^{\mathsf{\text{T}}}$.

Diagonalização e autodecomposição

Suponha que os autovetores de A formem uma base, ou equivalentemente A tem n autovetores linearmente independentes v₁, v₂, ..., v_n com autovalores associados λ₁, λ₂, ..., λ_n. Os autovalores não precisam ser distintos. Defina uma matriz quadrada Q cujas colunas são os n autovetores linearmente independentes de A,

$Q=\left[\begin{array}{cccc}{𝐯}_1& {𝐯}_2& \cdots & {𝐯}_n\end{array}\right].$

Como cada coluna de Q é um autovetor de A, a multiplicação à direita de A por Q escala cada coluna de Q por seu autovalor associado,

$AQ=\left[\begin{array}{cccc}{\lambda }_1{𝐯}_1& {\lambda }_2{𝐯}_2& \cdots & {\lambda }_n{𝐯}_n\end{array}\right].$

Com isso em mente, defina uma matriz diagonal Λ onde cada elemento diagonal Λ_ii é o autovalor associado à i-ésima coluna de Q. Então

$AQ=Q\mathrm{\Lambda }.$

Como as colunas de Q são linearmente independentes, Q é invertível. Multiplicando à direita ambos os lados da equação por Q⁻¹,

$A=Q\mathrm{\Lambda }{Q}^{-1},$

ou, em vez disso, multiplicando ambos os lados por Q⁻¹,

$Q^{-1}AQ=\mathrm{\Lambda }.$

A pode, portanto, ser decomposto em uma matriz composta por seus autovetores, uma matriz diagonal com seus autovalores ao longo da diagonal e o inverso da matriz de autovetores. Isso é chamado de autodecomposição e é uma transformação de similaridade. Tal matriz A é dita similar à matriz diagonal Λ ou diagonalizável. A matriz Q é a matriz de mudança de base da transformação de similaridade. Essencialmente, as matrizes A e Λ representam a mesma transformação linear expressa em duas bases diferentes. Os autovetores são usados como base ao representar a transformação linear como Λ.

Reciprocamente, suponha que uma matriz A seja diagonalizável. Seja P uma matriz quadrada não singular tal que P⁻¹AP seja alguma matriz diagonal D. Esquerda multiplicando ambos por P, AP = PD. Cada coluna de P deve, portanto, ser um autovetor de A cujo autovalor é o elemento diagonal correspondente de D. Como as colunas de P devem ser linearmente independentes para que P seja invertível, existem n autovetores linearmente independentes de A. Segue-se então que o autovetores de A formam uma base se e somente se A é diagonalizável.

Uma matriz que não é diagonalizável é dita defeituosa. Para matrizes defeituosas, a noção de autovetores generaliza para autovetores generalizados e a matriz diagonal de autovalores generaliza para a forma normal de Jordan. Sobre um corpo algebricamente fechado, qualquer matriz A tem uma forma normal de Jordan e, portanto, admite uma base de autovetores generalizados e uma decomposição em autoespaços generalizados.

Exemplos de matrizes

Exemplo de matriz bidimensional

A matriz de transformação A = $\left[\begin{array}{cc}2& 1\\ 1& 2\end{array}\right]$ preserva a direção dos vetores roxos paralelos a v_λ=1 = [1 −1]^T e vetores azuis paralelos a v_λ=3 = [1 1]^T. Os vetores vermelhos não são paralelos a nenhum dos autovetores, portanto, suas direções são alteradas pela transformação. Os comprimentos dos vetores roxos permanecem inalterados após a transformação (devido ao seu autovalor de 1), enquanto os vetores azuis são três vezes o comprimento do original (devido ao seu autovalor de 3). Veja também: An extended version, showing all four quadrants.

Considere a matriz $$A=\left[\begin{array}{cc}2& 1\\ 1& 2\end{array}\right].$$

A figura à direita mostra o efeito desta transformação nas coordenadas do ponto no plano. Os autovetores v desta transformação satisfazem a Equação (Predefinição:EquationNote), e os valores de λ para os quais o determinante da matriz (A − λI) é igual a zero são os autovalores.

Tomando o determinante para encontrar o polinômio característico de A,$$\begin{array}{cc}|A-\lambda I|& =|\left[\begin{array}{cc}2& 1\\ 1& 2\end{array}\right]-\lambda \left[\begin{array}{cc}1& 0\\ 0& 1\end{array}\right]|=\left|\begin{array}{cc}2-\lambda & 1\\ 1& 2-\lambda \end{array}\right|\\ & =3-4\lambda +{\lambda }^2\\ & =(\lambda -3)(\lambda -1).\end{array}$$

Igualando o polinômio característico a zero, ele tem raízes em Predefinição:Nowrap e Predefinição:Nowrap, que são os dois autovalores de A.

Para Predefinição:Nowrap, a Equação (Predefinição:EquationNote) torna-se, $$(A-I){𝐯}_{\lambda =1}=\left[\begin{array}{cc}1& 1\\ 1& 1\end{array}\right]\left[\begin{array}{c}{v}_1\\ v_2\end{array}\right]=\left[\begin{array}{c}0\\ 0\end{array}\right]$$ $$1v_1+1v_2=0$$

Qualquer vetor diferente de zero com v₁ = −v₂ resolve esta equação. Portanto, $${𝐯}_{\lambda =1}=\left[\begin{array}{c}{v}_1\\ -v_1\end{array}\right]=\left[\begin{array}{c}1\\ -1\end{array}\right]$$ é um autovetor de A correspondente a λ = 1, assim como qualquer múltiplo escalar desse vetor.

Para Predefinição:Nowrap, a Equação (Predefinição:EquationNote) torna-se $$\begin{array}{cc}(A-3I){𝐯}_{\lambda =3}& =\left[\begin{array}{cc}-1& 1\\ 1& -1\end{array}\right]\left[\begin{array}{c}{v}_1\\ v_2\end{array}\right]=\left[\begin{array}{c}0\\ 0\end{array}\right]\\ -1v_1+1v_2& =0;\\ 1v_1-1v_2& =0\end{array}$$

Qualquer vetor diferente de zero com v₁ = v₂ resolve esta equação. Portanto, $${𝐯}_{\lambda =3}=\left[\begin{array}{c}{v}_1\\ v_1\end{array}\right]=\left[\begin{array}{c}1\\ 1\end{array}\right]$$

é um autovetor de A correspondente a λ = 3, assim como qualquer múltiplo escalar desse vetor.

Assim, os vetores v_λ=1 e v_λ=3 são autovetores de A associados aos autovalores Predefinição:Nowrap e Predefinição:Nowrap, respectivamente.

Às vezes é possível descobrir um ou mais autovalores de uma matriz por inspeção. Seja, por exemplo, a matriz $A=\left[\begin{array}{cc}3& 1\\ 1& 3\end{array}\right]$. Subtraindo 2 de cada entrada da diagonal principal, transformamos A em uma matriz singular: $\left[\begin{array}{cc}1& 1\\ 1& 1\end{array}\right]$. Portanto, 2 é um autovalor da matriz A. Também subtraindo 4 de cada entrada da diagonal principal, transformamos A em uma matriz singular: $\left[\begin{array}{cc}-1& 1\\ 1& -1\end{array}\right]$. Portanto, 4 é o segundo autovalor da matriz A.

Exemplo de matriz tridimensional

Considere a matriz $$A=\left[\begin{array}{ccc}2& 0& 0\\ 0& 3& 4\\ 0& 4& 9\end{array}\right].$$

O polinômio característico de A é $$\begin{array}{cc}|A-\lambda I|& =|\left[\begin{array}{ccc}2& 0& 0\\ 0& 3& 4\\ 0& 4& 9\end{array}\right]-\lambda \left[\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right]|=\left|\begin{array}{ccc}2-\lambda & 0& 0\\ 0& 3-\lambda & 4\\ 0& 4& 9-\lambda \end{array}\right|,\\ & =(2-\lambda )[(3-\lambda )(9-\lambda )-16]=-{\lambda }^3+14{\lambda }^2-35\lambda +22.\end{array}$$

As raízes do polinômio característico são 2, 1 e 11, que são os únicos três autovalores de A. Esses autovalores correspondem aos autovetores Predefinição:Nowrap Predefinição:Nowrap e Predefinição:Nowrap ou qualquer múltiplo diferente de zero.

Exemplo de matriz tridimensional com autovalores complexos

Considere a matriz de permutação cíclica $$A=\left[\begin{array}{ccc}0& 1& 0\\ 0& 0& 1\\ 1& 0& 0\end{array}\right].$$

Esta matriz desloca as coordenadas do vetor para cima em uma posição e move a primeira coordenada para baixo. Seu polinômio característico é 1 −λ³, cujas raízes são $$\begin{array}{cc}{\lambda }_1& =1\\ {\lambda }_2& =-\frac{1}{2}+i\frac{\sqrt{3}}{2}\\ {\lambda }_3& ={\lambda }_2^{*}=-\frac{1}{2}-i\frac{\sqrt{3}}{2}\end{array}$$

onde $i$ é uma unidade imaginária com Predefinição:Nowrap

Para o autovalor real λ₁ = 1, qualquer vetor com três entradas iguais diferentes de zero é um autovetor. Por exemplo, $$A\left[\begin{array}{c}5\\ 5\\ 5\end{array}\right]=\left[\begin{array}{c}5\\ 5\\ 5\end{array}\right]=1\cdot \left[\begin{array}{c}5\\ 5\\ 5\end{array}\right].$$

Para o par complexo conjugado de autovalores imaginários, $${\lambda }_2{\lambda }_3=1,{\lambda }_2^2={\lambda }_3,{\lambda }_3^2={\lambda }_2.$$

Então $$A\left[\begin{array}{c}1\\ {\lambda }_2\\ {\lambda }_3\end{array}\right]=\left[\begin{array}{c}{\lambda }_2\\ {\lambda }_3\\ 1\end{array}\right]={\lambda }_2\cdot \left[\begin{array}{c}1\\ {\lambda }_2\\ {\lambda }_3\end{array}\right],$$

e $$A\left[\begin{array}{c}1\\ {\lambda }_3\\ {\lambda }_2\end{array}\right]=\left[\begin{array}{c}{\lambda }_3\\ {\lambda }_2\\ 1\end{array}\right]={\lambda }_3\cdot \left[\begin{array}{c}1\\ {\lambda }_3\\ {\lambda }_2\end{array}\right].$$

Portanto, os outros dois autovetores de A são complexos e são ${𝐯}_{{\lambda }_2}={\left[\begin{array}{ccc}1& {\lambda }_2& {\lambda }_3\end{array}\right]}^{\mathsf{\text{T}}}$ e ${𝐯}_{{\lambda }_3}={\left[\begin{array}{ccc}1& {\lambda }_3& {\lambda }_2\end{array}\right]}^{\mathsf{\text{T}}}$ com autovalores λ₂ e λ₃, respectivamente. Os dois autovetores complexos também aparecem em um par conjugado complexo, $${𝐯}_{{\lambda }_2}={𝐯}_{{\lambda }_3}^{*}.$$

Exemplo de matriz diagonal

Matrizes com entradas apenas ao longo da diagonal principal são chamadas de matrizes diagonais. Os autovalores de uma matriz diagonal são os próprios elementos diagonais. Considere a matriz $$A=\left[\begin{array}{ccc}1& 0& 0\\ 0& 2& 0\\ 0& 0& 3\end{array}\right].$$

O polinômio característico de A é$$|A-\lambda I|=(1-\lambda )(2-\lambda )(3-\lambda ),$$

que tem as raízes Predefinição:Nowrap, Predefinição:Nowrap e Predefinição:Nowrap. Essas raízes são os elementos diagonais, bem como os autovalores de A.

Cada elemento da diagonal corresponde a um autovetor cujo único componente diferente de zero está na mesma linha daquele elemento da diagonal. No exemplo, os autovalores correspondem aos autovetores, $${𝐯}_{{\lambda }_1}=\left[\begin{array}{c}1\\ 0\\ 0\end{array}\right],{𝐯}_{{\lambda }_2}=\left[\begin{array}{c}0\\ 1\\ 0\end{array}\right],{𝐯}_{{\lambda }_3}=\left[\begin{array}{c}0\\ 0\\ 1\end{array}\right],$$

respectivamente, bem como múltiplos escalares desses vetores.

Exemplo de matriz triangular

Uma matriz cujos elementos acima da diagonal principal são todos nulos é chamada de matriz triangular inferior, enquanto uma matriz cujos elementos abaixo da diagonal principal são todos nulos é chamada de matriz triangular superior. Assim como nas matrizes diagonais, os autovalores das matrizes triangulares são os elementos da diagonal principal.

Considere a matriz triangular inferior, $$A=\left[\begin{array}{ccc}1& 0& 0\\ 1& 2& 0\\ 2& 3& 3\end{array}\right].$$

O polinômio característico de A é $$|A-\lambda I|=(1-\lambda )(2-\lambda )(3-\lambda ),$$

que tem as raízes Predefinição:Nowrap, Predefinição:Nowrap e Predefinição:Nowrap. Essas raízes são os elementos diagonais, bem como os autovalores de A.

Esses autovalores correspondem aos autovetores,$${𝐯}_{{\lambda }_1}=\left[\begin{array}{c}1\\ -1\\ \frac{1}{2}\end{array}\right],{𝐯}_{{\lambda }_2}=\left[\begin{array}{c}0\\ 1\\ -3\end{array}\right],{𝐯}_{{\lambda }_3}=\left[\begin{array}{c}0\\ 0\\ 1\end{array}\right],$$

respectivamente, bem como múltiplos escalares desses vetores.

Exemplo de matriz com autovalores repetidos

Como no exemplo anterior, a matriz triangular inferior $$A=\left[\begin{array}{cccc}2& 0& 0& 0\\ 1& 2& 0& 0\\ 0& 1& 3& 0\\ 0& 0& 1& 3\end{array}\right],$$

tem um polinômio característico que é o produto de seus elementos diagonais, $$|A-\lambda I|=\left|\begin{array}{cccc}2-\lambda & 0& 0& 0\\ 1& 2-\lambda & 0& 0\\ 0& 1& 3-\lambda & 0\\ 0& 0& 1& 3-\lambda \end{array}\right|=(2-\lambda {)}^2(3-\lambda {)}^2.$$

As raízes deste polinômio e, portanto, os autovalores, são 2 e 3. A multiplicidade algébrica de cada autovalor é 2; em outras palavras, ambas são raízes duplas. A soma das multiplicidades algébricas de todos os autovalores distintos é μ_A = 4 = n, a ordem do polinômio característico e a dimensão de A.

Por outro lado, a multiplicidade geométrica do autovalor 2 é apenas 1, porque seu autoespaço é gerado por apenas um vetor ${\left[\begin{array}{cccc}0& 1& -1& 1\end{array}\right]}^{\mathsf{\text{T}}}$ e é, portanto, unidimensional. Da mesma forma, a multiplicidade geométrica do autovalor 3 é 1 porque seu autoespaço é gerado por apenas um vetor ${\left[\begin{array}{cccc}0& 0& 0& 1\end{array}\right]}^{\mathsf{\text{T}}}$. A multiplicidade geométrica total γ_A é 2, que é a menor que poderia ser para uma matriz com dois autovalores distintos. Multiplicidades geométricas são definidas em uma seção posterior.

Identidade autovetor-autovalor

Para uma matriz hermitiana, a norma ao quadrado do componente j-ésima de um autovetor normalizado pode ser calculada usando apenas os autovalores da matriz e os autovalores da matriz menor correspondente, $$|v_{i,j}{|}^2=\frac{\prod _k({\lambda }_i-{\lambda }_k(M_j))}{\prod _{k\ne i}({\lambda }_i-{\lambda }_k)},$$ Onde $M_j$ é a submatriz formada pela remoção da j-ésima linha e coluna da matriz original.Predefinição:SfnPredefinição:SfnPredefinição:Sfn Essa identidade também se estende a matrizes diagonalizáveis e foi redescoberta muitas vezes na literatura.Predefinição:Sfn

Ver também

• Vetor próprio
• Decomposição em Valores Singulares - valor singular e vetor singular (ideias semelhantes para matrizes retangulares)
• Forma canônica de Jordan
• wikibooks:Linear Algebra/Eigenvalues and eigenvectors

Bibliografia

• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citar periódico
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citar livro
• Predefinição:Citar periódico
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:CitationPredefinição:Dead link
• Predefinição:Citar livro
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citar livro
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citar periódico
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citar arXiv
• Predefinição:Citar periódico
• Predefinição:MathWorld
• Predefinição:MathWorld
• Predefinição:Citar revista
• Predefinição:Citation
• Predefinição:Citar periódico