Re: [obm-l] Traco Zero

["Domingos Jr." <dopikas@xxxxxxxxxx>]

Claudio Buffara wrote:

>Mais um problema em aberto na lista obm-l. Eh uma especie de reciproca do
>famoso problema do IME de se provar que AB - BA = I eh impossivel (A, B e I:
>matrizes quadradas).
>
>Prove que se M eh uma matriz quadrada entao:
>traco(M) = 0 <==> existem matrizes quadradas A e B tais que M = AB - BA.
>  
>
Oi!

� comum na literatura o termo "commutator" (comutador seria a minha 
tradu��o) para
[A, B] := AB - BA

Eu vi como se prova o seguinte resultado
S = {M | M � n x n, tr(M) = 0} = span{[A, B] | A, B s�o n x n}

Defina E_{ij} como a matriz cuja coordenada (i, j) � 1 e todas as demais 
s�o 0.
Observe que para i != j, E_{ij} = [E_{ik}, E_{kj}] para qualquer 1 <= k 
<= n.
Tamb�m vemos que E_{ii} - E_{jj} = [E_{ij}, E_{ji}].

Qualquer matriz de S pode ser expressa como combina��o linear das 
matrizes E_{ij} (i != j) e das matrizes E_{ii} - E_{jj}.
Isso � simples de se verificar. Se M est� em S ent�o para i != j podemos 
tomar M(i, j) E_{ij} na combina��o linear. Para as coordenadas da 
diagonal, temos de usar o fato da matriz ter tra�o 0. Seja i o �ndice 
tal que |M(i, i)| > 0 seja m�nimo e seja j tal que sinal(M(j, j)) = 
-sinal(M(i, i)). Adicione M(i, i) (E_{ii} - E_{jj}) � combina��o linear. 
Repita o procedimento at� que obter M.

O teorema que se pede � mais forte que isso... eu n�o consegui 
argumentar que essa combina��o linear obtida pode fornecer diretamente 
um �nico commutator que representa a matriz M.

[ ]'s
=========================================================================
Instru��es para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================