Le module (valeur absolue) est une fonction attribuant une grandeur non négative aux nombres ou aux éléments de structures normées : pour un réel x, |x| est la distance à zéro ; pour un complexe z = x+iy, |z| = sqrt(x^2+y^2). Plus généralement il s'agit d'une norme ou d'une valeur absolue sur un corps ou un espace normé.

Principe

Le module encode la distance à l'identité additive et vérifie la non‑négativité, souvent la multiplicativité sur les corps (|ab|=|a||b|) et l'inégalité triangulaire (|a+b| ≤ |a|+|b|) lorsqu'il provient d'une norme.

Démonstration

Exemple réel : |−5|=5. Exemple complexe : pour z=3+4i, |z|=5. Exemple de corps : la valeur absolue p‑adique mesure la divisibilité par le premier p, satisfait la multiplicativité et une inégalité triangulaire ultramétrique non archimédienne.

Mauvaise application

Supposer que le module est additif (|a+b|=|a|+|b|) en général, ou appliquer l'intuition euclidienne à des valeurs absolues non archimédiennes ou à des anneaux algébriques sans norme définie.

Conséquence

Le module induit une métrique et une topologie, sous‑tend convergence et continuité, et permet de comparer des grandeurs ; le choix du module (euclidien, p‑adique, norme d'opérateur) modifie profondément le comportement analytique.

Inversion

La perspective inverse met l'accent sur le signe ou l'argument : alors que le module supprime la direction et le signe, l'argument ou la fonction signe conserve la phase/direction mais pas la magnitude.

Limite

Défini dès qu'une notion de valeur absolue ou de norme est donnée ; toutes les structures algébriques n'admettent pas un module naturel. Pour les opérateurs il faut des normes d'opérateur ou spectrales avec restrictions supplémentaires (par ex. bornitude).

Tension sémantique

Concurrence avec 'norme' et 'grandeur' — le module s'emploie souvent pour les scalaires alors que les normes généralisent aux vecteurs et opérateurs ; les valeurs absolues sur corps diffèrent (archimédiennes vs non‑archimédiennes).

Synthèse

Le module est la quantité non négative mesurant la distance à zéro : dans les cas simples la valeur absolue euclidienne, mais dans des contextes plus larges toute valeur absolue ou norme transformant des objets algébriques en grandeurs métriques gouvernant taille, convergence et continuité.