09.02.2017 Views

lgebra Linear, Elon Lages Lima

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

136 A Adjunta Seção 11<br />

Demonstração: Por definição de matriz de uma transformação linear,<br />

temos<br />

m∑<br />

Au j = a ij v i (j = 1,...,n)<br />

e<br />

i=1<br />

A ∗ v i =<br />

n∑<br />

b ri u r ,<br />

r=1<br />

onde b = [b ri ] ∈ M(n × m) é a matriz de A ∗ nas bases V, U, a ser<br />

determinada. Como ambas as bases são ortonormais, temos, para<br />

cada i = 1,...,m e cada j = 1,...,n:<br />

b ji = 〈u j ,A ∗ v i 〉 = 〈Au j ,v i 〉 = a ij<br />

portanto, b = a T , transposta de a.<br />

Corolário. Uma transformação linear A e sua adjunta A ∗ têm o<br />

mesmo posto. (Vide Teorema 8.2.)<br />

É apresentada a seguir uma lista de propriedades operacionais<br />

da adjunta de uma transformação linear, as quais se traduzem em<br />

propriedades da transposta de uma matriz, via Teorema 11.2. A validez<br />

dessas propriedades decorre da observação de que duas transformações<br />

lineares A,B: E → F são iguais quando se tem 〈Au,v〉 =<br />

〈Bu,v〉 para quaisquer u ∈ E, v ∈ F.<br />

I ∗ = I<br />

(A+B) ∗ = A ∗ +B ∗<br />

(αA) ∗ = αA ∗<br />

(BA) ∗ = A ∗ B ∗<br />

A ∗∗ = A<br />

(I n ) T = I n<br />

(a+b) T = a T + b T<br />

(αa) T = αa T<br />

(ba) T = a T b T<br />

(a T ) T = a<br />

Se A: E → F é uma transformação linear injetiva então existe<br />

B: F → E tal que BA = I E (vide Teorema 6.5). Tomando a adjunta<br />

de ambos os membros desta igualdade, temos A ∗ B ∗ = I E . Assim<br />

A ∗ : F → E possui uma inversa à direita B ∗ , logo é sobrejetiva. (Teorema<br />

6.1.) Do mesmo modo se vê que A sobrejetiva implica A ∗<br />

injetiva. Portanto a adjunta de um isomorfismo A: E → F é um isomorfismoA<br />

∗ : F → E. Além disso, deA −1 A = I E resultaA ∗ (A −1 ) ∗ = I E<br />

logo (A ∗ ) −1 = (A −1 ) ∗ .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!