eduroam-prg-sg-1-46-135.net.univ-paris-diderot.fr 2025-10-1:14:22:29

2025-10-01 14:22:29 +02:00
parent 6aaa6e3d0d
commit 7603b8c140
9 changed files with 55 additions and 11 deletions
--- a/ultrafiltre.md
+++ b/ultrafiltre.md
@@ -40,4 +40,9 @@ aliases:
 > [!proposition]+ Tout filtre non trivial est contenu dans un ultrafiltre
 > 

+> [!proposition]+ 
+> Soit $X$ un [[structure de topologie|espace topologique]]
+> Soit (BL) la [[propriété de Borel-Lebesgue]], on a :
+> (BL) $\iff$ tout [[ultrafiltre]] sur $X$ converge
+>