[obm-l] grupo de matrizes

[Claudio Buffara <claudio.buffara@xxxxxxxxxxxx>]

Noutro dia, foi provado na lista que o conjunto (de fato, o grupo) GL(n,R)
das matrizes invertiveis nxn com coeficientes reais eh aberto em R^(nxn).
Foi soh observar que GL(n,R) eh a imagem inversa do aberto R - {0} da reta
pela funcao continua determinante.

Que tal esse aqui?

Seja G um grupo multiplicativo de matrizes reais nxn.
Prove que se G tem interior nao-vazio entao G eh aberto.

[]s,
Claudio.

=========================================================================
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
=========================================================================