À quelque chose près

En mathématiques, l'expression « à quelque chose près » peut avoir plusieurs sens différents.

Elle peut indiquer la précision d'une valeur approchée ou d'une approximation. Par exemple, « $a$ est une valeur approchée de $x$ à $ε$ près » signifie que la condition $\vert a-x\vert \leq \varepsilon$ est vérifiée.

Elle peut aussi signifier que des éléments d'une certaine classe d'équivalence doivent être considérés comme ne faisant qu'un. Dans l'expression à xxx près, xxx représente alors une propriété ou un processus qui transforment un élément en un autre de la même classe d'équivalence, c'est-à-dire en un élément qui est considéré comme équivalent au premier. En théorie des groupes par exemple, nous pouvons avoir un groupe G agissant sur un ensemble X, auquel cas on peut dire que deux éléments de X sont équivalents « à l'action de groupe près », s'ils appartiennent à la même orbite.

Exemples

Dans le problème des huit dames, si les huit dames sont considérées comme distinctes, il y a 3 709 440 solutions.

Cependant, les dames sont normalement considérées comme identiques, et l'on dit qu'il y a (3 709 440/8!, soit) « 92 solutions à permutation près des dames », ce qui signifie que deux arrangements différents des dames sont considérés comme équivalents si l'un s'obtient à partir de l'autre par une permutation des dames, ou encore, si les places occupées par les dames sur l'échiquier sont les mêmes dans les deux arrangements. Dans des contextes informels, les mathématiciens emploient souvent le mot modulo (ou en abrégé « mod. ») dans le même sens, comme dans la phrase « il y a 92 solutions modulo les noms des reines ». C'est une extension de la construction « 7 et 11 sont égaux modulo 4 » utilisée en arithmétique modulaire.
Si, en plus de considérer les dames comme identiques, les rotations et réflexions de l'échiquier sont permises, il y a seulement 12 solutions à symétrie près, ce qui signifie que deux arrangements symétriques l'un de l'autre sont considérés comme équivalents.

Un autre exemple typique est l'affirmation en théorie des groupes : il n'y a que deux groupes d'ordre 4 « à isomorphisme près[1] ». Elle signifie qu'il n'y a que deux classes d'équivalence de groupes d'ordre 4, si l'on considère des groupes comme équivalents lorsqu'ils sont isomorphes.

Référence

Jean-Pierre Ramis, André Warusfel et al., Mathématiques. Tout-en-un pour la Licence, vol. 2, Dunod, 2014, 2^e éd. (1^re éd. 2007), 880 p. (ISBN 978-2-10-071392-9, lire en ligne), p. 62.

Articles connexes

Portail des mathématiques

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] Jean-Pierre Ramis, André Warusfel et al., Mathématiques. Tout-en-un pour la Licence, vol. 2, Dunod, 2014, 2^e éd. (1^re éd. 2007), 880 p. (ISBN 978-2-10-071392-9, lire en ligne), p. 62.