Canonique (mathématiques)
De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir Canonique.
En mathématiques, l'adjectif « canonique » a principalement deux emplois spécifiques :
- il qualifie des formes d'expressions algébriques censément plus simples et en tout cas auxquelles se ramènent toutes les expressions d'un certain type, ce qui permet de les distinguer et de les classifier ;
- il désigne un élément classiquement choisi parmi un ensemble d'éléments aux propriétés analogues.
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 ?
L'existence d'une forme canonique, et d'une méthode générale pour mettre sous cette forme tous les éléments d'un ensemble donné, est une propriété essentielle, et même nécessaire, à la « calculabilité » sur cet ensemble.