Groupes

Navigation

edit SideBar

Schéma Bairette Pour Linversion De Quantificateurs

Un situation qui pue le Baire est la suivante : on veut passer d'une propriété du type {$\forall x \in X, \ \ \exists d \in D, \ \ P_d(x)$} à la propriété {$\exists d \in D, \ \ \forall x \in X, \ \ P_d(x)$} où {$D$} est une partie dénombrable. Autrement dit, on veut rendre le {$d$} indépendant du point {$x$}.

Souvent, c'est le même schéma de preuve qui fait marcher le truc, voici une esquisse simple :

  1. On pose {$F_d = \{ x \in X | P_d(x) \}$}
  2. Avec un peu de chance (ou en forçant le destin) {$X$} est un espace métrique complet et {$F_d$} y est fermé (la propriété {$P_d$} met en jeu des fonctions continues par exemple) donc on peut appliquer le lemme de Baire puisque {$X = \bigcup_{d \in D}F_d$} est ouvert et non-vide, donc d'intérieur non-vide. Donc l'un des {$F_d$} est d'intérieur non vide (on crée une brèche).
  3. Reste à étaler le truc sur l'espace entier :

Un tel schéma de preuve est parfois appelé bairette ; c'est un peu comme une zornette, mais pour le lemme de Baire :)

Éditer - Joindre - Historique - Imprimer - Changements récents - Rechercher - Login - Logout
Cette page fait partie du groupe BwataBaire
Page mise à jour le 01 August 2013 à 12h01