Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Fonction caractéristique (théorie des ensembles)
Résumé
En mathématiques, une fonction caractéristique, ou fonction indicatrice, est une fonction définie sur un ensemble E qui explicite l’appartenance ou non à un sous-ensemble F de E de tout élément de E.
Formellement, la fonction caractéristique d’un sous-ensemble F d’un ensemble E est une fonction :
D'autres notations souvent employées pour la fonction caractéristique de F sont 1 et 1, voire I (i majuscule).
Le terme de fonction indicatrice est parfois utilisé pour fonction caractéristique. Cette dénomination évite la confusion avec la fonction caractéristique utilisée en probabilité mais en induit une autre, avec la fonction indicatrice en analyse convexe.
(Attention : la fonction 1 peut désigner aussi la fonction identité).
Le principal intérêt de ces fonctions est de transformer des relations entre ensembles en relations entre des fonctions.
Si A et B sont deux sous-ensembles de E alors
et
L'application
est une bijection, de l'ensemble des parties de E dans l'ensemble {0, 1} des applications de E dans {0, 1}.
La bijection réciproque est l'application
où f ({1}) désigne l' par f du singleton {1}, c'est-à-dire la partie de E constituée des éléments x tels que f(x) = 1.
Si F est une partie d'un espace topologique E et si la paire {0, 1} est munie de la topologie discrète (qui est la topologie induite par la topologie usuelle de R), l'ensemble des points de E en lesquels la fonction χ : E → {0, 1} est discontinue est la frontière de F.
Exemple E = R et F = Q
χ : R → {0, 1} est la fonction qui associe 1 à tout rationnel et 0 à tout irrationnel.
La fonction de Dirichlet : R → R est définie de la même manière (autrement dit : sa corestriction à {0, 1} est χ).
Dans R, la frontière de Q est R (puisque Q et R\Q sont denses dans R) donc χ est discontinue partout.
La fonction de Dirichlet est donc également discontinue partout.
Si (E, Ω) est un espace mesurable (c'est-à-dire si Ω est une tribu sur E), une partie de E est un ensemble mesurable (c'est-à-dire appartient à cette tribu) si et seulement si son indicatrice est une fonction mesurable.
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.