Trivial (mathématiques)
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
En mathématiques, on qualifie de trivial un énoncé dont on juge la vérité évidente à la lecture, ou un objet mathématique dont on estime que l'existence va de soi et que son étude n'a pas d'intérêt[1] ; il s'agit donc avant tout d'une notion subjective.
Étymologie et sens actuel en mathématiques[modifier | modifier le code]
L'adjectif trivial vient du latin trivialis[2], lui même dérivé du latin trivium qui désignait un carrefour à trois voies, par opposition à quadrivium qui désignait un carrefour à quatre voies. Au VIe siècle les sept arts libéraux sont définis et regroupés en deux familles qui reprennent ces mots en bas latin, en changeant leur sens initial : le trivium rassemble trois arts (la grammaire, la dialectique et la rhétorique)[3] qui constituent le premier cycle des études universitaires[4], et le quadrivium en rassemble quatre (l'arithmétique, la musique, la géométrie et l'astronomie).
En langage courant, « trivial » se dit de ce qui est « commun, rebattu, su de tout le monde, répété dans les écoles »[2]. Par extension, cet adjectif peut avoir un sens péjoratif et être synonyme de « grossier » ou « vulgaire »[5].
Les mathématiciens utilisent, en français comme en anglais, l'adjectif « trivial » dans le sens « évident », « simple »[6], et par extension « sans grand intérêt ». Une propriété ou une affirmation sera ainsi dite « triviale » si elle répond évidemment à une définition ou aux conditions d'un problème, mais n'a qu'un intérêt intrinsèque mineur, ou si elle est d'une démonstration simple, ou si sa connaissance n'apporte rien[7].
Subjectivité du caractère « trivial » en mathématiques[modifier | modifier le code]
Le caractère trivial en mathématiques est une notion très subjective : ce qui est évident ou simple, donc trivial, pour l'expert d'un domaine donné peut être très complexe pour toute personne ne maîtrisant pas les concepts permettant de conclure à la trivialité d'une affirmation donnée.
Ainsi une proposition mathématique, qualifiée de « triviale » par un professeur, n’apparaîtra parfois vraie à ses élèves qu’après un long travail ; ce n’est qu’ensuite que l'affirmation sera devenue triviale pour eux aussi.
Le physicien américain Richard Feynman s'amuse de l'usage très libéral du terme « trivial » par les mathématiciens[8] ; une plaisanterie circulant parmi eux mentionne le professeur déclarant « ce résultat est trivial », s’interrompant, pris d’un doute, pour aller consulter une référence, et revenant au bout d’une heure en déclarant : « J’avais raison, c’est trivial »[9].
Les exemples ci-dessous illustrent, dans plusieurs domaines mathématiques, l'utilisation qui peut être faite du qualificatif "trivial", en faisant appel à des prérequis différents.
Exemples[modifier | modifier le code]
En arithmétique, pour un entier naturel n donné, sa factorisation n = n × 1 est dite triviale, et les nombres "1" et "n" sont ses facteurs triviaux. Cette factorisation est évidente et n'apporte aucune connaissance sur n. En revanche, les autres factorisations, et en particulier la décomposition en facteurs premiers d'un nombre n, surtout s'il est très grand, peut être un problème très difficile à résoudre.
Les équations diophantiennes, dont la difficulté de résolution est en général redoutable, ont parfois quelques solutions évidentes, dites alors triviales. Ainsi, l'équation xn + yn = zn admet des solutions dites triviales : tous les triplets de la forme (x, 0, x) et (0,x,x). Le théorème de Fermat-Wiles énonce qu'il n'y a pas d’autres solutions en nombres entiers non nuls, dès que n est un entier strictement supérieur à 2 ; malgré la simplicité de l'énoncé, il s'agit en revanche d'un résultat hautement non trivial.
En analyse, l'équation différentielle y' = y (et plus généralement toute équation différentielle homogène) admet une solution triviale : la fonction nulle définie sur l'ensemble des nombres réels[10].
À un niveau plus élevé, la fonction zêta s’annule pour tous les entiers négatifs pairs ; outre que c’est facile à démontrer, les autres zéros (intervenant dans la célèbre hypothèse de Riemann) sont les seuls utiles pour l’étude des nombres premiers ; c’est pourquoi les zéros réels sont qualifiés de « triviaux ».
En théorie des ensembles et logique, toute proposition commençant par « il existe un élément de l'ensemble vide tel que » est trivialement fausse, et donc toute proposition commençant par « pour tout élément de l'ensemble vide » est trivialement vraie[11],[12].
- En théorie des groupes, le groupe trivial.
- En théorie des nœuds, le nœud trivial.
- En théorie des codes, un code trivial.
- En théorie des anneaux, l'anneau trivial (ou anneau nul), les idéaux triviaux d'un anneau.
- En topologie, un fibré trivial, un revêtement trivial.
- En théorie des ensembles, les ultrafiltres triviaux.
- En logique formelle, une logique ou une théorie axiomatique sont triviales si tout énoncé est un théorème (voir à ce sujet le principe d’explosion).
Voir aussi[modifier | modifier le code]
Notes et références[modifier | modifier le code]
- Informations lexicographiques et étymologiques de « Trivial » (sens IB) dans le Trésor de la langue française informatisé, sur le site du Centre national de ressources textuelles et lexicales.
- « Dictionnaire Littré » (consulté le ).
- « CNRTL » (consulté le ).
- « CNRTL » (consulté le ).
- « Dictionnaire Hachette » (consulté le ).
- Certains mathématiciens mettent en garde contre la tentation de considérer trop de propriétés mathématiques comme « évidentes ». L'Américain Eric Temple Bell a ainsi déclaré : « En mathématiques, le mot « évident » est le plus dangereux. »
- « CNRTL » (consulté le ).
- (en) Feynman & Richard P, Surely you're joking M Feynman!, New York, W W Norton, , 350 p. (ISBN 0393019217, lire en ligne), p 84-85.
- Humour mathématique, sur le site de Robert Ferréol.
- Plus généralement , les solutions de l'équation différentielle y'=ay sont toutes les fonctions de la forme y=k*exp(ax), avec k=y(0) [1].
- Les anglosaxons utilisent le concept de « vacuous truth », notamment pour qualifier les affirmations concernant les éléments appartenant à l'ensemble vide.
- Voir une démonstration détaillée de ces résultats dans l’article « Ensemble vide ».
