Salut,
dans plusieurs exercices récemment on a du utiliser que la fonction de Mn(K) dans Mn(K): M->tMM est continue (et même bijective, mais je suis plus sur des ensembles de départ et d'arrivée, il doit y avoir un truc avec le groupe linéaire).
Je crois pas avoir déjà vu ça, et je me demandais comment ça se démontrait ?