Marcelo Aparecido Fernandes Júnior

Teoria de Matrizes:

PROPRIEDADES DE INVARIÂNCIA

Presidente Prudente, 2019

Resumo ítem 6 do capítulo 9:

O tópico diz respeito a invariância de certas combinçôes lineares de elementos de uma solução. Os
resultados apresentados possuem aplicações em procedimentos de estimativa na análise de situações
de variância em estística.

Sejam r(A) vetores específicos ki = [a1 a2 … an], com i=1,...,r(A) e [b1 b2 … bn]x.
A propriedade de invariância: Para certos k´s o valor de k'x é invariante para qualquer solução x
usada, em outras palavras, para qualquer valor de x, k'x não se altera.

Característica de invariância: para k'2 diferente de k'1 o valor de k'2 x é diferente de k'1 x. O valor
de k'1 é invariante para qualquer solução usada para x, e o valor de k'2 x, embora diferente de k'1 x,
também é invariante para x.
A propriedade existe somente para certos vetores k, que são definidos pelo Teorema 9.

Teorema 9: O valor de k'(x) é o mesmo para todas as soluções x para Ax = y se, e somente se,
k' = k'H.
Demonstração: Do teorema 4, qualquer solução é x = Gy + (H-I) z para algum G e z arbitrário.
Portanto, se k' = k'H temos k'x = k'HGy + k'H (HI) z = k'GAGy , porque H é idempotente e ao
usar AGy obtemos k´x = k´Gy. Inversamente, se k'x deve ser o mesmo para todas as soluções x,
deve ser igual a k'Gy, porque Gy é uma solução. Então para qualquer solução x = Gy + (H-I)z
temos k1Gy = k'[Gy + (H-I)z] = k'Gy + k'(H-I)z verdadeiro, de forma idêntica para todos os z's.
Portanto k' (H-I) z = 0 para todos os z´s e assim
k' (H-I) = 0, isto é, k´ = k´H.

A parte importante deste teorema é a parte de suficiência, que para qualquer k satisfazendo
k' = k'H o valor de k'x é k'Gy não importa qual solução é usada para x.

Corolário1: k'x é invariante para x quando k' = wH para qualquer w. Pois, se k' = w'H,
k'H = w'H ^ 2 = w'H = k' e o teorema é satisfeito. Além disso, para k'= w'H o valor de k'x = k'Gy
é w'HGy = w'GAGy = w'Gy

Corolàrio2: Existem apenas r(A) vetores Linearmente Independentes (LI) k' satisfazendo
k' = k'H. Isto é porque r (H) = r (A), desta forma existem apenas r(A) vetores LI k = Hw para "w"
arbitrário.
O Corolário permite que vetores k, cujo k'x é invariante para x, sejam escritos na forma arbitrária
w'H com o valor correspondente de k e mesmos elementos arbitrários: k'x = w'Gy.
Desenvolvimento do exemplo no ítem 8:

Passo a passo:
1. Ax=y;
2. Escalonar;
3. Econtrar a inversa generalizada G;
4. Encontrar H=GA, encontrar Gy;
5. Resolver x=Gy-(H-I)z;

1. Considere "Ax = y" como:

> (A=matrix(c(1,2,3,1,2,3,1,2,0,4,6,0,6,2,3,0,1,2,0,3),5,4))
[,1] [,2] [,3] [,4]
[1,] 1 3 6 0
[2,] 2 1 0 1
[3,] 3 2 6 2
[4,] 1 0 2 0
[5,] 2 4 3 3

> (y=matrix(c(4,2,3,1,6),5,1))
[,1]
[1,] 4
[2,] 2
[3,] 3
[4,] 1
[5,] 6

2. Escalonando:
> reducedRowEchelonForm(A)
[,1] [,2] [,3] [,4]
[1,] 1 0 0 0
[2,] 0 1 0 0
[3,] 0 0 1 0
[4,] 0 0 0 1
[5,] 0 0 0 0

De modo que r (A) = 4 e a ultma linha de A é 0, portanto as equaçôes são consistentes e podem ser
resolvidas.

3.
> G=ginv(A)
[,1] [,2] [,3] [,4] [,5]
[1,] 0.06190085 0.6083265 -0.02560942 0.16967954 -0.18570255
[2,] 0.28950972 0.2566420 -0.32552725 -0.08915366 0.13147083
[3,] 0.01013421 -0.2322651 0.16173651 0.02999178 -0.03040263
[4,] -0.42864969 -0.5001369 0.32114489 -0.10640920 0.28594906
4.

> H=G%*%A
[,1] [,2] [,3] [,4]
[1,] 1.000000e+00 -1.110223e-16 2.775558e-17 1.387779e-16
[2,] -2.220446e-16 1.000000e+00 2.220446e-16 7.216450e-16
[3,] -1.179612e-16 -1.804112e-16 1.000000e+00 -3.642919e-16
[4,] 0.000000e+00 -2.220446e-16 -2.220446e-16 1.000000e+00

> Gy
[,1]
[1,] 0.44289236
[2,] 1.39441249
[3,] -0.09120789
[4,] -0.14215283

5. x=Gy-(H-I)z

Fazendo J=(H-I):

> J=(H-I)
[,1] [,2] [,3] [,4]
[1,] -2.220446e-16 -1.110223e-16 2.775558e-17 1.387779e-16
[2,] -2.220446e-16 2.220446e-16 2.220446e-16 7.216450e-16
[3,] -1.179612e-16 -1.804112e-16 -3.330669e-16 -3.642919e-16
[4,] 0.000000e+00 -2.220446e-16 -2.220446e-16 -6.661338e-16

Fazendo J*z
z = [z1,z2,z3,z4]

> z1= J[,1]

> z2= J[,2]
> z3= J[,3]
> z4= J[,4]

> z1
[1] -2.220446e-16 -2.220446e-16 -1.179612e-16 0.000000e+00
> z2
[1] -1.110223e-16 2.220446e-16 -1.804112e-16 -2.220446e-16
> z3
[1] 2.775558e-17 2.220446e-16 -3.330669e-16 -2.220446e-16
> z4
[1] 1.387779e-16 7.216450e-16 -3.642919e-16 -6.661338e-16
x=[x1 x2 x3 x4]
x=Gy-(H-I)z:

> x1=Gy[1,]-z1
> x2=Gy[2,]-z2
> x3=Gy[3,]-z3
> x4=Gy[4,]-z4

> x1
[1] 0.4428924 0.4428924 0.4428924 0.4428924
> x2
[1] 1.394412 1.394412 1.394412 1.394412
> x3
[1] -0.09120789 -0.09120789 -0.09120789 -0.09120789
> x4
[1] -0.1421528 -0.1421528 -0.1421528 -0.1421528