Use o botão abaixo para reportar erros ou dar sugestões.
Álgebra Linear - Um Livro Colaborativo
Como passamos a discutir abaixo, o método de Gram-Schmidt permite fatorar uma matriz cujas colunas são linearmente independentes em um produto
| (10.48) |
onde Q é uma matriz cujas colunas formam um conjunto ortonormal e é uma matriz triangular superior. Tal fatoração é muito importante do ponto de vista computacional, como veremos em breve, quando usarmos a fatoração QR como uma alternativa para resolução de sistemas lineareas por mínimos quadrados. Também é a base de um eficiente método numérico para encontrar autovalores de uma matriz quadrada.
Matrizes cujas colunas formam um conjunto ortonormal são muito úteis e por isso recebem um nome especial: são chamadas de matrizes ortogonais. Aqui cabe uma observação relevante: este é um exemplo de uma situação onde a terminologia clássica está longe de ser satisfatória: matrizes cujas colunas formam um conjunto ortonormal são chamadas de matrizes ortogonais.
Faremos agora uma exposição da fatoração QR usando uma matriz inicial que tem 3 colunas, observando que a construção abaixo é facilmente generalizada para uma matriz de qualquer dimensão (desde que tenha colunas LI).
Dada uma matriz cujas colunas são LI e são denotadas pelos vetores , , e , o processo de Gram-Schmidt começa com a construção de uma base ortogonal formada pelos vetores , , e , para o espaço-coluna da matriz . Para isso, definimos
| (10.49) |
Desta forma, existem coeficientes , e tais que
| (10.50) |
Estes coeficientes são justamente aqueles que aparecem nas fórmulas (10.33) e (10.35). Apenas denotamos desta forma para não poluir as equações e facilitar o entendimento.
Em um segundo momento, cada um dos três vetores , , e pode ser normalizado, ou seja, podemos dividir cada um deles pelo seu comprimento para obter uma base ortonormal. Assim, , , e formam uma base ortonormal para o espaço coluna de , e existem coeficientes , , , , e tais que2
| (10.52) |
Podemos agora inverter estas equações (que são do tipo triangular – faça as contas!) para escrever as colunas da matriz em função dos vetores da base ortonormal que acaba de ser obtida:
| (10.53) |
Matricialemente, estas equações podem ser escritas como
| (10.54) |
visto que cada coluna do produto da direita é definido como a combinação linear das colunas da primeira matriz com pesos dados pela respectiva coluna da segunda matriz.3 Assim, definindo
| (10.55) |
obtemos
| (10.56) |
que é o que queríamos obter.
Note também que é invertível, já que sua diagonal principal contém apenas termos não-nulos.
A construção acima é facilmente generalizada para matrizes quaisquer e nos permite enunciar o seguinte fato (lembre que uma matriz ortogonal é uma matriz cujas colunas formam um conjunto ortonormal):
Teorema 98. Qualquer matriz cujas colunas são linearmente independentes pode ser fatorada na forma , onde é uma matriz ortogonal e é uma matriz triangular superior invertível. Ainda, o espaço coluna das matrizes e é o mesmo, ou seja, as colunas de formam uma base ortonormal para o subespaço gerado pelas colunas de .
Note que a fatoração QR está para o processo de Gram-Schmidt assim como a fatoração LU está para o método de eliminação gaussiana à forma escada
Bem, vimos que a matriz tem como colunas a base ortonormal gerada pelo processo de Gram-Schmidt. E como podemos calcular a matriz no caso geral ?
Usando o seguinte fato surpreendente:
Teorema 99. Uma matriz ortogonal é sempre invertível e sua inversa é dada pela sua transposta, ou seja .
Assim, se , basta multiplicar ambos os lados desta equação por pela esquerda para obtermos:
| (10.58) |
No último exemplo da seção anterior, obtemos através do método de Gram-Schmidt uma base ortonormal para onde
| (10.59) |
Vamos definir a matriz como a matriz formada pelos vetores desta base ortonormal:
| (10.60) |
Vimos que e portanto
| (10.61) |
Finalmente podemos escrever
| (10.62) |
Este texto é disponibilizado nos termos da licença Creative Commons Atribuição-CompartilhaIgual 3.0 Não Adaptada (CC-BY-SA 3.0). Página gerada em 19/8/2020 às 17:34:13.