|
|
Bases
ortonormais de um espaço vetorial possuem propriedades
importantes e são úteis em diversos problemas. O processo
de ortogonalização de Gram-Schmidt é um método
utilizado para converter uma conjunto arbitrário de um
espaço vetorial em um conjunto ortogonal. É claro que os
vetores da base ortogonal podem ser ortonormalizados,
produzindo então uma base ortonormal. A construção deste
processo mostra um importante resultado de que todo espaço
vetorial não nulo de dimensão finita possui uma base
ortonormal.
Teorema 1: Sejam um
espaço vetorial de dimensão finita com produto interno
e um
conjunto L.I. de
.
Então, podemos obter um conjunto ortonormal de
.
Além disso:
para
,
onde
e
são os subespaços gerados pelos elementos
e
,
respectivamente.
Demonstração:
Etapa 1: Sejam
e
.
Para satisfazer
basta escolher
como sendo um múltiplo de
.
Como também queremos
,
escolhemos
como sendo o elemento
normalizado:
onde
.
Sabemos que
,
uma vez que os vetores
são linearmente independentes e, portanto,
.
Como é
múltiplo de
,
segue que
e logo
.
Reciprocamente, como
segue que
e logo
.
Portanto,
.
Etapa 2: O subespaço
gerado por
e é
um plano. Queremos encontrar um elemento
ortogonal a
tal que o subespaço
também é este mesmo plano, isto é,
.
Sabemos que é
o vetor
normalizado e que
não é múltiplo de
pois eles são linearmente independentes. Podemos então
encontrar um múltiplo
adequado de e
obter um elemento
,
conforme exemplificamos na Figura 1:
Figura 1: Construção
do vetor
.
Tomando o produto interno com
em ambos os termos da equação que determina
,
temos:
Como queremos
ortogonal a
,
isto é,
e temos
, a
equação acima se reduz a:
Então, considerando
obtemos
e temos
.
É claro que
,
pois se isso acontecesse teríamos
e então
,
o que não pode ocorrer devido a independência linear
entre e
.
Agora, para obtermos
ortogonal a e
tal que
,
escolhemos
como sendo o elemento
normalizado:
onde
. Vamos
mostrar agora que
.
Temos que
e
.
Uma vez que
temos
.
Reciprocamente, temos que
e
,
logo
.
Uma vez que
temos
.
Portanto,
.
Seguimos com a mesma ideia nas etapas
.
Por indução, suponha que encontramos elementos
ortonormais, tais que
para
.
Etapa k: Seja
o subespaço gerado por
.
Queremos encontrar um elemento
com norma igual a 1, ortogonal a
e tal que
. Considere:
Para determinar os múltiplos
,
para
,
tomamos o produto interno com
,
obtendo:
Como queremos
ortogonal a
,
temos que ter
,
para
e além disso, temos e
,
para
.
Assim, as equações acima se reduzem a:
Dessa forma, considerando
,
para
obtemos
ortogonal a
.
É claro que
,
pois se isso acontecesse teríamos
,
o que não pode ocorrer devido a independência linear de
.
Agora, para obtermos
ortogonal a
e tal que
,
escolhemos
como sendo o elemento
normalizado:
onde
. Vamos
mostrar agora que
.
Temos que para
e
.
Uma vez que
temos
.
Reciprocamente, temos que para
e como
temos que
. Uma vez
que
temos
.
Portanto,
.
Quando chegarmos no final da etapa
,
teremos obtido elementos
ortonormais e tais que
,
para
.
Assim, se o conjunto for
uma base para o espaço
,
temos que o conjunto
forma uma base ortonormal para
.
Exemplo 1: Considere o espaço vetorial real
com produto interno Euclidiano e uma base
para o
.
Vamos obter uma base ortonormal
para o
usando o processo de ortogonalização de Gram-Schmidt.
Etapa 1: Escolhemos
como sendo o elemento
normalizado:
Etapa 2: Consideramos o elemento
ortogonal à
da forma:
Temos que
e, portanto,
e
são ortogonais. Para que
,
escolhermos
como sendo o elemento
normalizado:
Etapa 3: Consideramos o elemento
ortogonal a
e
da forma:
Temos que
e
e, portanto,
e
são ortogonais. Para que
,
escolhemos
como sendo o elementos
normalizado:
Portanto, obtemos o conjunto
que é a base canônica do e
de fato é uma base ortonormal.
Algoritmo (Processo de Gram-Schmidt): Sejam
elementos linearmente independentes de um espaço
vetorial com
produto interno. Podemos obter elementos
ortonormais de
,
tais que
para
,
através do seguinte algoritmo:
Algoritmo.
Voltar ao Topo.
Fatoração QR através do Processo de
Gram-Schmidt
Seja
uma matriz com colunas linearmente independentes. Isto é,
os vetores coluna
são linearmente independentes. Então, podemos utilizar o
processo de ortogonalização de Gram-Schmidt no conjunto
,
obtendo elementos não nulos e ortogonais
,
da forma:
onde
,
para
.
Além disso, obtemos vetores ortonormais
,
normalizando os vetores
,
da seguinte forma:
onde
. Juntando as
equações e
,
obtemos:
Ou então:
Estas equações podem ser escritas como um produto
matricial:
Note que a matriz é
ortogonal, pois suas colunas são vetores ortonormais
e é
uma matriz triangular superior com diagonal positiva.
Assim, obtemos a fatoração
ortogonal
da matriz
.
Exemplo 2: Considere a seguinte matriz:
Vamos encontrar a fatoração
de
utilizando o processo de ortogonalização de Gram-Schmidt
nos vetores coluna de
.
Sabemos que os vetores
e
são linearmente independentes. Considerando
,
obtemos:
Consideramos e
obtemos o elemento
ortogonal a
da forma:
Tomando
, temos:
Consideramos
e
e obtemos
ortogonal a
e
da forma:
Tomando
,
temos:
Portanto, temos a fatoração:
Observe que a matriz é
ortogonal e é
triangular superior com elementos da diagonal positivos.
Voltar ao Topo.
Resolução de Sistemas Lineares Utilizando
a Fatoração QR
Considere o sistema linear
em que
é uma matriz não singular. Então, podemos obter uma
matriz
ortogonal e uma matriz
triangular superior, tais que
.
Então:
uma vez que
.
Assim, a solução do sistema linear
pode ser obtida seguindo os passos:
(i) Obter a fatoração ortogonal
;
(ii) Obter o vetor
;
(iii) Resolver o sistema
triangular superior
.
Exemplo 3: Considere o seguinte sistema linear na
forma matricial:
Vamos resolver o sistema utilizando a fatoração da
matriz
. Os
vetores coluna
e
de são
linearmente independentes. Pelo processo de Gram-Schmidt,
tomamos e
normalizamos o vetor
,
obtendo:
Agora, consideramos e
definimos o vetor
ortogonal a
da seguinte forma:
Então, tomamos
e normalizamos o vetor
,
obtendo:
Portanto, obtemos as matrizes:
onde é
ortogonal e é
triangular superior, tais que
.
Resolvendo
,
temos:
Por fim, resolvendo o sistema triangular superior
,
obtemos:
Portanto, a solução do sistema linear original é
.
Voltar ao Topo.
|