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