Académique Documents
Professionnel Documents
Culture Documents
SO LUIS 2012
Autovetores e Autovalores
Os autovetores de uma matriz quadrada so os no-zero vetores que, depois de ser multiplicado pela matriz, permanecem paralelos ao vetor original. Para cada autovetor, o autovalor correspondente o fator pelo qual o autovetor dimensionada quando multiplicado pela matriz. Os autovetores so por vezes tambm chamados vetores caractersticos. Do mesmo modo, os valores prprios so tambm conhecidos como valores caractersticos. O escalar (lambda) dito ser o autovalor de A correspondente ao v. Um auto-espao de A o conjunto de todos os vetores prprios com o valor prprio mesma, juntamente com um vetor de zero. No entanto, um vetor de zero no um vetor prprio. Estas idias so frequentemente alargados a situaes mais gerais, quando escalares so elementos de qualquer campo, os vetores so elementos de qualquer espao vetorial, e transformaes lineares podem ou no podem ser representados pela multiplicao de matrizes. Por exemplo, em vez de nmeros reais, escalares podem ser nmeros complexos, em vez de setas, os vetores podem ser funes ou freqncias, em vez de multiplicao de matrizes, transformaes lineares podem ser operadores, tais como o derivado de clculo. Estes so apenas alguns dos inmeros exemplos onde autovetores e autovalores so importantes. Autovalores e autovetores tm muitas aplicaes na matemtica pura e aplicada. Eles so usados em fatorao da matriz, na mecnica quntica , e em muitas outras reas.
Pr-requisitos e motivao
Autovetores e autovalores dependem dos conceitos de vetores e transformaes lineares. No caso mais elementar, os vectores pode ser pensado como setas que tm tanto comprimento (ou magnitude) e direco . Uma vez que um conjunto de coordenadas cartesiano estabelecida, um vector pode ser descrita em relao a esse conjunto de coordenadas por uma sequncia de nmeros. Uma transformao linear pode ser descrito por uma matriz quadrada. Por exemplo, nas coordenadas padro de espao n-dimensional , um vector podem ser escritas
Geralmente, a multiplicao de um vector x por uma matriz quadrada A alteraes tanto a magnitude ea direco do vector de actua sobre-mas, no caso especial em que muda s a escala (magnitude) do vector e deixa a direco inalterada, ou alterna o vector na direco oposta, que vector chamado um autovetor de que a matriz. (O termo "autovetor" no tem sentido, exceto em relao a alguns matriz particular.) Quando
multiplicada por uma matriz, cada autovetor dessa matriz muda sua magnitude por um fator, chamado de autovalor correspondente a esse autovetor. O vector x um vector prprio da matriz A com autovalor (lambda) se mantm a seguinte equao:
Esta equao pode ser interpretado geometricamente da seguinte forma: um vetor x um autovetor se a multiplicao por A trechos, encolhe, deixa inalterada, vira (aponta na direo oposta), vira e estende-se, ou vira e encolhe x. Se o autovalor> 1, x esticada por este factor. Se = 1, o vector x no afectado por multiplicao por A. Se 0 < <1, x reduzido (ou comprimido). O caso = 0 significa que encolhe a um ponto x (representado pela origem ), o que significa que x est no ncleo do mapa linear dada por A. Se <0 ento x flips e pontos na direco oposta, bem como sendo dimensionado por um factor igual ao valor absoluto da . Como um caso especial, a matriz de identidade I a matriz que deixa todos os vectores inalterada:
Exemplo
A matriz de transformao
(Em
azul) e , Em violeta. Os pontos que esto na linha que passa pela origem, paralelo a um autovetor, permanea na linha aps a transformao. Os vetores em vermelho no so autovetores, portanto, sua direo alterada pela transformao. Para a matriz A
o vetor
Definio formal
Em matemtica abstrata, uma definio mais geral dada: Seja V um espao vetorial , vamos ser um vector x diferente de zero em que o espao vetorial e seja T uma transformao linear de mapeamento V em V. Ento x um autovetor de T com autovalor se a seguinte equao tem:
Esta equao chamada de equao de autovalor. Note-se que T x significa T de x, a aco da transformao T em x, enquanto x significa que o produto do nmero de vezes lambda o vector x. [3] maioria, mas no todas as [4] autores tambm requerem x ser no-zero. O conjunto de autovalores de T chamado s vezes o espectro de T.
Aqui det o determinante da matriz formada por A - I e I a n n matriz identidade . Esta equao chamada de equao caracterstica (ou, menos freqentemente, a equao secular) de A. Por exemplo, se A a matriz seguinte (uma assim chamada matriz diagonal ):
. As solues para esta equao so os autovalores i = a i, i (i = 1, ..., n). Provando a relao mencionada dos valores prprios e solues da equao caracterstica requer algum lgebra linear , especificamente a noo de vectores linearmente independentes : brevemente, a equao autovalor para uma matriz A pode ser expressa como
em seguida, ambos os lados podem ser deixados-multiplicado por isso, para se obter x = 0. Portanto, se tal que A - I inversvel, no pode ser um valor prprio. Pode-se mostrar que o inverso detm, tambm: se A - I no inversvel, um autovalor. Um critrio de estados de lgebra linear que uma matriz (aqui: A - I) no-invertvel se e apenas se a sua determinante zero, levando assim equao caracterstica. O lado esquerdo da equao pode ser visto (usando regra de Leibniz para o determinante) para ser um polinmio funo em , cuja coeficientes dependem das entradas de um. Este polinmio chamado de polinmio caracterstico . Seu grau n, que dizer, a maior potncia de ocorrendo neste polinomial n. Pelo menos para matrizes pequenas, as solues da equao caracterstica (da, os valores prprios de A) pode ser encontrado directamente. Alm disso, importante para fins tericas, tais como o teorema de Cayley-Hamilton . Tambm mostra que qualquer n n matriz tem no mximo autovalores n. No entanto, a equao caracterstica no precisam de ter n solues distintas. Em outras palavras, pode haver estritamente menor do que n
autovalores distintos. Isto acontece para a matriz que descreve o mapeamento de cisalhamento discutido abaixo. Se a matriz tem entradas reais, os coeficientes do polinmio caracterstico so reais. No entanto, as razes no so necessariamente real, pois eles podem incluir nmeros complexos com um componente no-zero imaginria. Por exemplo, um 2 2 matriz descrevendo uma rotao de 45 no vai deixar qualquer vector no-zero a apontar na mesma direco. No entanto, existe pelo menos um nmero complexo resolvendo a equao caracterstica, mesmo se as entradas da matriz A so nmeros complexos para comear. (Esta existncia de uma tal soluo conhecido como o teorema fundamental da lgebra .) Para um autovalor complexo, os autovetores correspondentes tambm tem componentes complexos.
auto-espao
Se x um vector prprio da matriz A com autovalor , ento qualquer mltiplo escalar x tambm um autovetor de A com o mesmo valor prprio, uma vez que A ( x) = A x = x = ( x). Mais genericamente, qualquer combinao diferente de zero linear de autovetores que compartilham o mesmo autovalor , ser ele prprio um autovetor com autovalor . [5] Junto com o vetor zero, os autovetores de A com a forma autovalor mesmo um subespao linear chamado de E auto-espao lambda do espao vetorial. Em caso de dim (E ) = 1, chamado um eigenline e chamado de fator de escala. Matrizes diagonalizvel pode ser decomposto em uma soma direta de auto-espaos, conforme o eigendecomposition de uma matriz . Se uma matriz no diagonalizvel, ento chamado defeituoso , e, ao mesmo tempo que no pode ser decomposto em auto-espaos, ele pode ser decomposto para o conceito mais geral de auto-espaos generalizadas , como discutido aqui .
Ao longo de um espao vectorial complexo, a soma das multiplicidades algbricas ser igual dimenso do espao vectorial, mas a soma das multiplicidades geomtricas pode ser menor. Neste caso, possvel que pode no haver autovetores suficientes para
abranger todo o espao - mais formalmente, no existe qualquer base de autovetores (um eigenbasis). Uma matriz diagonalizvel por uma escolha apropriada de coordenadas se e apenas se existe uma eigenbasis; se uma matriz no diagonalizvel, diz-se ser defeituoso . Para matrizes com defeito, a noo de autovetor pode ser generalizado para autovetores generalizados , e sobre um corpo algebricamente fechado uma base de autovetores generalizados sempre existe, como decorre forma de Jordan . Os autovetores correspondentes a autovalores diferentes so linearmente independentes, significando, em particular, que em um espao n-dimensional a transformao linear A no pode ter mais de autovalores N (ou auto-espaos). [6] Todas as matrizes defeituosos tm menos de n autovalores distintos, mas nem todas as matrizes com menos de n autovalores distintos so defeituosas [7] - por exemplo, a matriz de identidade diagonalizvel (e de fato diagonal em qualquer base), mas s tem o autovalor 1. Dada uma escolha ordenada de autovetores linearmente independentes, especialmente um eigenbasis, que pode ser indexado por valores prprios, ou seja, utilizando um ndice de casal, com x i, j o j-simo autovetor para o dia i autovalor. Os vectores prprios tambm podem ser indexados usando o mais simples notao de um nico ndice x k, com k = 1, 2, ..., N x.
Outras propriedades
Deixar
. Ento
Determinante de A .
Autovalores de
so
Estes trs primeiros resultados seguem, colocando a matriz em forma triangular superior, caso em que os valores prprios so, na diagonal, ea trao e determinante so, respectivamente, a soma e produto da diagonal.
Se
, Isto ,
Cisalhamento Cisalhamento no plano uma transformao em que todos os pontos ao longo de uma dada linha permanecem fixos enquanto outros pontos so deslocados em paralelo a essa linha por uma distncia proporcional sua distncia perpendicular a partir da linha. [8]
No cisalhamento horizontal descrito acima, um ponto P do plano move-se paralelamente ao eixo-x para a P lugar 'de modo a que a sua coordenada y no muda enquanto a coordenada x incrementos para se tornar x' = x + y k, onde k chamado o factor de cisalhamento. O ngulo de cisalhamento determinada por k = bero . Repetidamente aplicao da transformao de cisalhamento muda o sentido de qualquer vector no plano mais e mais perto a direco do vector prprio. Escala uniforme e reflexo Multiplicando cada vector com um nmero k constante real representada pela matriz diagonal cujas entradas na diagonal so todos iguais a k. Mecanicamente, isto corresponde a uma folha de borracha de alongamento igual em todas as direces, como uma pequena rea da superfcie de um balo insuflvel. Todos os vetores originrios de origem (ou seja, o ponto fixo na superfcie do balo) so alongados igualmente com o mesmo k factor de escala, preservando o seu sentido original. Assim, cada vector de no-zero um vector prprio com autovalor k. Se a transformao o alongamento (alongamento, a extenso da inflao), ou diminuindo (deflao de compresso), depende do fator de escala: se k> 1, o alongamento, se 0 <k <1, que est encolhendo. Os valores negativos de k correspondem a uma inverso da direco, seguido por um estiramento ou uma retraco, dependendo do valor absoluto de k. escala desigual Para um exemplo de um pouco mais complicado, considere uma folha que esticada desigualmente em duas direces perpendiculares ao longo dos eixos de coordenadas, ou, de forma semelhante, esticada numa direco, e encolhidos na outra direco. Neste caso, existem dois fatores de escala diferentes: k 1 para a escala na direo x, e k 2 para a escala na direo y. Se um determinado valor prprio maior do que 1, os vectores so esticados na direco do vector prprio correspondente; se menos de 1, eles so shrunken nessa direco. Autovalores negativos correspondem a reflexes seguido de um trecho ou encolher. Em geral, as matrizes que so diagonalizvel sobre os nmeros reais representam escaladas e reflexes: os autovalores representam os fatores de escala (e aparecem como os termos diagonais), e os autovetores so as direes das escaladas. A figura mostra o caso onde e . A folha de borracha esticada ao longo do eixo x e, simultaneamente, encolhido ao longo do eixo y. Aps repetidamente aplicando essa transformao de alongamento / encolhimento muitas vezes, quase qualquer vector sobre a superfcie da folha de borracha ser orientado mais estreita e mais perto da direco do eixo x (a direco de alongamento). As excees so vetores ao longo do eixo-y, que gradualmente nos afastamos para nada. Rotao Para mais detalhes sobre este tpico, ver matriz de rotao . Uma rotao num plano uma transformao que descreve um movimento de, coordenadas plano vector, etc, em torno de um ponto fixo. Claramente, para as demais rotaes do que atravs de 0 e 180 , cada vetor no plano real vai mudar sua direo e, portanto, no pode haver quaisquer autovetores. Mas isso no necessariamente
verdade se considerarmos a mesma matriz ao longo de um espao vetorial complexo. A equao caracterstica uma equao quadrtica com discriminante D = 4 (cos 2 - 1) = - 4 sin 2 , que um nmero negativo sempre que no igual a um mltiplo de 180 . Uma rotao de 0 , 360 , ... apenas a transformao da identidade (um escalonamento uniforme por um), enquanto que uma rotao de 180 , 540 , ..., um reflexo (escalonamento uniforme por -1). Caso contrrio, como esperado, no h autovalores reais ou eigenvectors para rotao no plano. Em vez disso, os autovalores so nmeros complexos em geral. Embora no seja diagonalizvel sobre os reais, a matriz de rotao diagonalizvel sobre os nmeros complexos, e de novo os valores prprios aparece na diagonal. Assim matrizes de rotao que actuam em espaos complexos pode ser pensado como matrizes de escala, com factores de escala complexos.