Suponha que os operadores lineares A, B: E E têm a mesma matriz a=[ai j] em relação a duas bases U, V subset E. Prove que existe um isomorfismo C: E E tal que B=CAC^-1.

Passo 1

O enunciado diz que temos dois operadores lineares A,B: E→E que, quando escritos em coordenadas nas bases U={u₁,…,uₙ} e V={v₁,…,vₙ}, têm a mesma matriz a=[a_{ij}]. O que queremos provar é que existe um isomorfismo C:E→E tal que B=C A C^{-1}. Para isso, vamos usar a construção canônica do isomorfismo que leva uma base na outra e depois verificar a relação de conjugação.

Passo 2

Como ponto de partida, recorde que, dado um par de bases U e V de um espaço vetorial de mesma dimensão, existe um único isomorfismo linear C que leva cada vetor de U no vetor correspondente de V. Definimos C por linearidade e pela regra:
C(uj)=vj, j=1,2,dots,n
Essa definição determina C de forma única em todo E e mostra que C é bijetora (logo isomorfismo), pois transforma uma base em outra.

Passo 3

Agora vamos mostrar que B=C A C^{-1}. Basta verificar a igualdade sobre cada vetor da base V. Tome v_j\in V. Como v_j=C(u_j), temos:
CAC^-1(vj)=Cigl(A(uj)r)
Como a_{ij} são as coordenadas de A em relação a U,
A(uj)=sumi=1^n aij,ui
Aplicando C e usando C(u_i)=v_i, vem
Cl(A(uj)r)=Cl(sumi=1^n aij,uir)=sumi=1^n aij,vi
Mas essas são exatamente as coordenadas de B(v_j) na base V, ou seja,
B(vj)=sumi=1^n aij,vi
Logo C A C^{-1}(v_j)=B(v_j) para todo j.

Passo 4

Como U e V são bases, a igualdade acima em cada vetor de V implica que B=C A C^{-1} como operadores em todo E. Portanto construímos o isomorfismo desejado.

Resposta

O isomorfismo C é dado pela extensão linear de C(u_j)=v_j para j=1,…,n. Com essa definição, C é inversível e satisfaz B=C A C^{-1}.

Exercícios de Livros Relacionados