Matrices triangulaires supérieures

Il y a beaucoup de méthodes différentes. La plus classique, tu prends une suite de matrices triangulaires supérieures qui converge... Je te laisse deviner la suite. Sinon tu l'écris comme l'image réciproque d'un fermé par une certaine application continue, il y a une manière assez évidente de le faire. Enfin tu peux aussi à t'amuser à montrer que le complémentaire des matrices triangulaires supérieures est un ouvert, donc est voisinage de chacun de ses points.

Dans un espace vectoriel normé, un sous-espace strict est d'intérieur...
On en a parlé il n'y a pas longtemps.