Caractérisation (mathématiques)
Un article de Wikipédia, l'encyclopédie libre.
En jargon mathématique, l'affirmation qu'une propriété P caractérise un objet X signifie non seulement que X possède la propriété P mais de plus que X est le seul objet à posséder la propriété P. Il est également assez courant de rencontrer des affirmations telles que la propriété Q caractérise Y à un isomorphisme près. Le premier type d'affirmation dit en d'autres termes que l'ensemble des objets vérifiant la propriété P est un singleton. La seconde indique que l'ensemble de tous les objets vérifiant Q forme une simple classe d'équivalence (à la place d'isomorphisme dans l'exemple donné juste avant le mot près, une autre relation d'équivalence pourrait être spécifiée.)
[modifier] Exemples
- Parmi les lois de probabilité sur l'intervalle
de la droite réelle, sans mémoire caractérise les lois exponentielles. Cette affirmation signifie que les lois exponentielles sont les seules lois de probabilité à être sans mémoire. - Selon le théorème de Bohr-Mollerup, parmi les fonctions f telles que f(1) = 1 et
, la logarithmique convexité caractérise la fonction gamma. Cela signifie que parmi ces fonctions, la fonction gamma est la seule fonction à être logarithmiquement convexe.
(Une fonction f est logarithmiquement convexe si par définition 
est une fonction convexe. La base du logarithme n'a pas d'importance du moment où celle-ci est strictement supérieure à 1, mais par convention certains mathématiciens prennent le 
sans indice pour désigner le logarithme naturel celui de base e.
- Le cercle peut être caractérisé comme une variété à une dimension, compacte et connexe ; ici la caractérisation, en tant que variété lisse est à un isomorphisme près.
