Un saluto a tutto il forum, è il mio primo messaggio anche se da quando sono negli Stati Uniti lurko abbastanza il forum. Mi piacerebbe molto sottoporvi un esercizio molto interessante nella cui risoluzione sto trovando non pochi problemi "L' insieme GLn delle matrici nxn invertibili è aperto in R^(nxn)." Pensavo di definire una matrice nxn come una linear map da R^n->R^n, e quindi potere sfruttare la norma definita nell' algebra lineare per definire l 'apertura, però non sono nè sicuro di essere sulla strada giusta, nè come procedere in modi alternativi. Grazie per la risposta,
iugi85
Esercizio interessante
-
FrancescoVeneziano
- Site Admin
- Messaggi: 606
- Iscritto il: 01 gen 1970, 01:00
- Località: Genova
- Contatta:
Il determinante è la chiave.
Il determinante è un polinomio nelle entrate della matrice, e come tale è una funzione continua dalle matrici (identifichiamole pure con R^(n*n) nel modo ovvio) in R.
0 è palesemente un chiuso di R (se poni questa domanda do per scontati i risultati basilari di toplogia) e quindi le matrici a determinante 0 sono un chiuso di R^(n*n) in quanto controimmagine di un chiuso tramite una funzione continua.
Quindi le matrici invertibili, complementare di quelle a determinante 0, sono un aperto.
Credo anche ci siano formule esplicite con le norme per il raggio della pallettina di matrici invertibili attorno ad una matrice invertibile data.
Il determinante è un polinomio nelle entrate della matrice, e come tale è una funzione continua dalle matrici (identifichiamole pure con R^(n*n) nel modo ovvio) in R.
0 è palesemente un chiuso di R (se poni questa domanda do per scontati i risultati basilari di toplogia) e quindi le matrici a determinante 0 sono un chiuso di R^(n*n) in quanto controimmagine di un chiuso tramite una funzione continua.
Quindi le matrici invertibili, complementare di quelle a determinante 0, sono un aperto.
Credo anche ci siano formule esplicite con le norme per il raggio della pallettina di matrici invertibili attorno ad una matrice invertibile data.
Wir müssen wissen. Wir werden wissen.
