Lecture zen
En savoir plus
Compacité des espaces projectifs
[ Théorème ]
Soit \(E\) un espace vectoriel réel de dimension finie, muni de sa topologie usuelle, héritée de n’importe quelle norme (toutes les normes étant de toute façon équivalentes en dimension finie); alors l’espace projectif \(P(E)\) est compact pour la topologie quotient.