#Si l'espace entier est une réunion dénombrable de fermés, l'un au moins de ces fermés contient un ouvert (non vide) (Théorème de Baire iii) ) #Un sous-espace vectoriel strict est forcément d'intérieur vide dans un espace complet (donc dire F(N)⊂E et F(N)≠E est faux car F(N) contient un ouvert, donc par déduction F(N)=E) #Rappel: un ensemble d'intérieur vide ne contient aucun ouvert #Rappel: dans un EVN, tout singleton {x} est fermé
/image%2F2301540%2F20210822%2Fob_bbfb6f_imageintro.jpg)
/image%2F2301540%2F20250411%2Fob_730dfb_exo15-7.jpg)
/image%2F2301540%2F20250414%2Fob_abf7cc_baireeee.jpg)
/image%2F2301540%2F20250414%2Fob_a8ab8e_image-2301540-20241118-ob-f67750-aert.jpg)
