décomposition canonique

Prenons 360. On peut l'écrire 36 × 10, 45 × 8 ou 6 × 60 : ces produits sont corrects, mais aucun n'est encore une description privilégiée. En poursuivant jusqu'aux nombres premiers, toutes les voies conduisent à 2³ × 3² × 5, à l'ordre des facteurs près.

Une décomposition canonique joue ce rôle de présentation commune. Elle retire les choix accessoires pour faire apparaître la structure utile de l'objet. La forme obtenue dépend donc du cadre : entier, polynôme ou application ne se normalisent pas de la même manière.

Une décomposition canonique est une écriture normalisée d'un objet mathématique, choisie parce qu'elle révèle sa structure et qu'elle est unique sous les conventions du cadre étudié. Le mot « canonique » ne désigne donc pas une formule universelle : il signale une forme privilégiée propre à une théorie.

En arithmétique, tout entier naturel supérieur à 1 s'écrit comme un produit de puissances de nombres premiers. Les facteurs et leurs exposants sont uniques, à l'ordre des facteurs près : c'est le théorème fondamental de l'arithmétique. Pour un polynôme du second degré à coefficients réels, la complétion du carré donne la forme canonique. Si le coefficient du terme de degré deux est noté a et n'est pas nul, cette forme s'écrit $a(x-\alpha {)}^2+\beta a(x-\backslash alpha)^2+\backslash beta$ ; le point de coordonnées (α, β) est le sommet de sa parabole représentative dans le plan réel.

Pour une application f d'un ensemble E vers un ensemble F, on regroupe d'abord les éléments de E qui ont la même image. La projection de E sur l'ensemble de ces classes est une surjection canonique. Une bijection relie ensuite cet ensemble quotient à l'image de f, puis l'inclusion de cette image dans F est une injection. Leur composition redonne f et rend visible le passage au quotient. Prenons un exemple fini : E contient a, b et c, tandis que F contient u, v et w ; f envoie a et b sur u, et c sur v. La première flèche regroupe alors E en deux classes, {a, b} et {c}. La suivante associe ces classes à l'image de f, qui est {u, v}. La flèche finale inclut enfin {u, v} dans F : w n'est pas atteint.

Si un entier naturel n est supérieur à 1, alors il existe des nombres premiers distincts p₁, …, p_k et des exposants entiers positifs a₁, …, a_k tels que :

Cette écriture est unique à l'ordre des facteurs près. Pour la construire, on divise successivement n par le plus petit nombre premier possible, puis on recommence avec le quotient. On s'arrête lorsque le quotient vaut 1 et l'on regroupe les facteurs premiers égaux en puissances.

Le cadre doit être fixé avant de parler de forme canonique. Pour la décomposition en facteurs premiers, la donnée est un entier naturel strictement supérieur à 1. Les diviseurs retenus doivent tous être premiers, et les facteurs répétés sont rassemblés sous forme de puissances. Ces conditions rendent le résultat unique à l'ordre des facteurs près.

Le nombre 1 est un contre-cas concret : aucun nombre premier ne le divise, donc la procédure n'amorce aucune division. On ne lui attribue pas de facteur premier ; lorsque le contexte l'exige, 1 est décrit comme le produit vide. De même, la forme a(x − α)² + β suppose a ≠ 0 : si a vaut 0, le polynôme n'est pas du second degré.

Cherchons la décomposition canonique de 360. La seule donnée est l'entier naturel 360, qui est supérieur à 1. Le résultat devra ne contenir que des facteurs premiers, regroupés en puissances.

1. Séparons d'abord 360 en deux facteurs faciles à traiter : 360 = 36 × 10.

2. Décomposons chacun d'eux : 36 = 2² × 3² et 10 = 2 × 5. Les nombres 2, 3 et 5 sont premiers.

3. Réunissons les facteurs égaux. Les trois facteurs 2 donnent 2³, les deux facteurs 3 donnent 3², et le facteur 5 reste seul.

L'arbre de factorisation associé rend visibles les branches qui aboutissent exactement à ces facteurs premiers.

Le contrôle consiste à refaire le produit : 2³ × 3² × 5 = 8 × 9 × 5 = 360. Le nombre initial est retrouvé. Une autre suite de découpages donnerait les mêmes puissances, éventuellement dans un autre ordre.

Pour étudier les diviseurs d'un entier ou simplifier une fraction, la décomposition en facteurs premiers expose les puissances communes. Une factorisation quelconque suffit pour un calcul ponctuel ; la forme canonique est préférable lorsque l'on veut comparer sans dépendre du découpage choisi.

Pour lire la parabole d'un trinôme, la forme canonique fait apparaître directement son sommet. La forme développée reste plus pratique lorsque le coefficient de chaque puissance de x doit être lu ou lorsque l'on effectue des additions de polynômes.

Pour analyser une application, la décomposition en surjection, bijection et injection sépare trois phénomènes : les éléments de départ qui partagent une image, la correspondance avec l'image obtenue et l'inclusion de cette image dans l'ensemble d'arrivée. L'écriture directe f suffit si cette structure n'est pas étudiée.

Décomposition canonique et factorisation quelconque. L'égalité 360 = 36 × 10 est une factorisation, mais 36 et 10 ne sont pas premiers. Seule l'écriture 2³ × 3² × 5 satisfait ici la normalisation attendue.

Forme canonique et forme développée d'un trinôme. Elles décrivent le même polynôme, mais ne montrent pas la même information. La présence du carré (x − α)² rend le sommet (α, β) directement lisible ; la forme développée montre les coefficients des puissances de x.

Unicité et ordre d'écriture. 2³ × 3² × 5 et 5 × 3² × 2³ ne sont pas deux décompositions différentes de 360. Les mêmes facteurs premiers portent les mêmes exposants ; seul leur ordre change.

Le contexte manque. Demander « la forme canonique » sans nommer l'objet ne détermine aucune opération. Il faut d'abord préciser s'il s'agit d'un entier, d'un polynôme du second degré ou d'une application, puis appliquer la normalisation propre à ce cadre.

L'entier vaut 1. La recherche de son plus petit diviseur premier échoue immédiatement. Le théorème énoncé pour les entiers strictement supérieurs à 1 ne s'applique pas ; 1 ne reçoit aucun facteur premier et peut être représenté par le produit vide.

Le coefficient de degré deux vaut 0. L'expression n'est alors plus un polynôme du second degré et sa courbe n'est pas la parabole annoncée. Il faut traiter l'expression selon son degré réel au lieu d'employer la complétion du carré sous cette forme.

L'image est confondue avec l'ensemble d'arrivée. Pour une application qui n'atteint pas tous les éléments de F, la bijection intermédiaire arrive dans l'image de f, pas dans F tout entier. L'injection finale sert précisément à inclure cette image dans F.

nombre premier — Précise pourquoi ces entiers sont les briques irréductibles de la décomposition de 360.

Factorisation — Situe la décomposition canonique parmi les écritures d'un objet sous forme de produit.

surjection — Éclaire la première étape de la décomposition d'une application vers son ensemble quotient.

bijection — Développe la correspondance exacte entre les classes du quotient et l'image de l'application.

injection — Détaille l'étape finale qui place l'image de l'application dans son ensemble d'arrivée.