AlgèbreNotion · Glossaire
Trivial
En mathématiques, l'adjectif trivial qualifie un objet qui est le plus simple ou le plus évident dans sa catégorie, souvent le cas dégénéré. Un sous-groupe trivial d'un groupe est le sous-groupe réduit à l'élément neutre. Une solution triviale d'une équation est la solution évidente (souvent la solution nulle). Un espace fibré trivial est globalement isomorphe, comme fibré au-dessus de sa base, au produit base × fibre.
Sommaire
Ce que vous allez apprendre
- Reconnaître le sens structurel de trivial en mathématiques.
- Vérifier la solution triviale de 3x = 0 sur les entiers.
- Distinguer le sous-groupe trivial du groupe entier selon les conventions.
- Comprendre pourquoi la trivialité d’un espace fibré est une propriété globale.
En clair
Prenons l’équation 3x = 0 parmi les nombres entiers. La valeur x = 0 saute aux yeux et ne fait intervenir aucun choix particulier : on la qualifie de triviale.
Le mot change légèrement de portée selon le contexte, mais il pointe toujours vers la structure la plus simple disponible. Dans le groupe des entiers muni de l’addition, le sous-groupe réduit à 0 en est un autre exemple. Trivial ne signifie donc pas que toute la question est facile : il nomme un cas de référence.
Définition
En mathématiques, trivial est un adjectif relatif : il qualifie l’objet canonique le plus simple dans une classe donnée. Son sens précis dépend donc de la structure étudiée. Pour une équation homogène, la solution nulle est souvent appelée solution triviale. Dans l’équation 3x = 0 sur les entiers, il s’agit de x = 0.
Dans un groupe, le sous-groupe formé du seul élément neutre est le sous-groupe trivial. Le groupe entier est toujours un sous-groupe de lui-même, mais il est plus souvent qualifié de sous-groupe impropre ; les conventions terminologiques doivent donc être vérifiées. Pour le groupe additif des entiers, ces deux sous-groupes extrêmes sont {0} et ℤ.
Enfin, un espace fibré est trivial lorsqu’il est globalement isomorphe au produit cartésien de sa base et de sa fibre. Cela n’exige pas qu’il soit présenté d’emblée sous cette forme. Dans tous ces emplois, « trivial » décrit une position structurelle ; ce n’est pas un jugement sur la difficulté de la démonstration.
Un exemple, pas à pas
On cherche les solutions de 3x = 0 parmi les nombres entiers. Les données sont le coefficient 3, le second membre 0 et le domaine ℤ. Dans le groupe additif ℤ, le nombre 0 est l’élément neutre.
1. Tester la valeur canonique : pour x = 0, on obtient 3 × 0 = 0. Elle est donc solution.
2. Vérifier s’il en existe une autre : l’entier 3 n’est pas nul, donc l’égalité 3x = 0 impose x = 0.
3. Conclure : la solution triviale x = 0 est ici l’unique solution. Le contrôle se refait par substitution : remplacer x par 0 redonne exactement le second membre 0.
Le même 0 forme aussi le sous-groupe trivial {0} de ℤ. L’exemple relie ainsi deux emplois du mot sans les confondre : une solution est une valeur, tandis qu’un sous-groupe est un ensemble muni d’une opération.
En pratique
Face à une équation homogène, on teste d’abord la valeur nulle lorsqu’elle appartient au domaine. Si elle satisfait l’équation, elle fournit une solution triviale ; une solution non nulle devient alors l’objet d’une recherche distincte.
En théorie des groupes, on repère le sous-groupe {e}, où e désigne l’élément neutre. Pour ℤ sous l’addition, c’est {0}. Tout sous-groupe contenant un autre entier est donc non trivial.
Pour un espace fibré, une ressemblance locale avec un produit ne suffit pas. On cherche une identification globale avec base × fibre ; faute d’une telle identification, le fibré peut rester non trivial.
À ne pas confondre
Trivial et nul. Une solution triviale est souvent la solution nulle, mais les deux mots ne sont pas synonymes. Le critère est le type d’objet : {0} est un sous-groupe trivial, tandis qu’un espace fibré trivial est globalement isomorphe, comme fibré au-dessus de sa base, au produit base × fibre et n’est pas un nombre nul.
Trivial et facile. « Trivial » identifie un cas structurel de référence ; « facile » évalue une difficulté. La solution x = 0 de 3x = 0 est triviale par sa forme, même au sein d’un problème dont les autres questions seraient difficiles.
Limites et pièges
Le domaine peut changer le verdict. Sur les entiers, 3x = 0 impose x = 0. Dans un autre système algébrique, un produit peut être nul sans qu’un facteur le soit. Il faut donc annoncer le domaine avant de conclure que la solution triviale est unique.
La convention sur les sous-groupes varie. {e} est unanimement le sous-groupe trivial. Le groupe entier est bien un sous-groupe de lui-même, mais beaucoup de textes le nomment « impropre » plutôt que « trivial ». Il faut lire la convention de l’auteur.
Localement produit ne signifie pas globalement trivial. Un espace fibré est construit pour ressembler localement à un produit. Pour le qualifier de trivial, il faut une identification valable sur toute la base, pas seulement sur chaque petite région.
Cas dégénéré ne signifie pas automatiquement trivial. Les deux qualifications peuvent se rencontrer, mais chacune dépend d’une définition propre au contexte. Le bon réflexe consiste à identifier la structure minimale précisément désignée.
Pour aller plus loin
Élément neutre — Identifiez l’élément qui, seul, forme le sous-groupe trivial d’un groupe.
Produit cartésien — Précisez la structure globale qui caractérise un espace fibré trivial.
fibré — Replacez la trivialité dans le vocabulaire des espaces fibrés.
Les débuts des groupes — Situez les sous-groupes dans le développement de la théorie des groupes.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres