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.
En savoir plus