Fonction caractéristique d'une partie
Définition :
La fonction caractéristique (ou indicatrice) d'une partie
d'un ensemble
est l'application de
dans
, notée
, définie par :
.
Fondamental :
Propriétés :
.
.
.
.
Méthode :
si et seulement si
.
Donc démontrer une égalité de deux ensembles équivaut à démontrer l'égalité de leurs fonctions caractéristiques.
Exemple :
On peut utiliser les fonctions caractéristiques :
pour démontrer les lois de Morgan :
.
Donc :
.
ou pour démontrer la distributivité :
. Or
.
Donc :
.
Donc :
.