La notation mathématique traditionnelle cherche à traduire des phrases et des calculs en symboles. Par exemple, on peut dire "tous les nombres entiers sont pairs ou impairs", mais on peut également écrire
La notation mathématique intéressante principalement pour deux choses :
- elle est plus lisible : on préfère
$\forall x \in N, \forall i, j \in \mathbb{N}, \quad i\times j|n \implies (i\mid n) \wedge (j\mid n)$ plutôt que "si un entier est divisible par le produit de deux entiers, alors il est divisible par chacun des deux entiers" - elle est plus rigoureuse : écrire des théorèmes ou expressions mathématiques en français peut être ambigu et sujet à interprétation
C'est pour ce deuxième point que la virgule pose un problème : elle rend la notation mathématique moins rigoureuse, et parfois même ambigüe.
Pour comprendre les problèmes de la virgule, listons les significations possibles de ce symbole :
- pour des vecteurs, elle sépare les valeurs :
$(x, y, z)$ - Elle sépare les quantificateurs :
$\forall x \in \mathbb{R}, \exists y \in \mathbb{R} \dots$ - Elle signifie "tel que" :
$\exists x \in \mathbb{R}, x^{2} < 42$ - Elle "distribue" un
$\in$ sur plusieurs valeurs :$\forall x, y \in \mathbb{R}\dots$
Nous avons vu que la virgule possède plusieurs utilisations différentes. En fait, on peut aisément construire un exemple qui utilise toutes ces significations :
Ici, on a le même problème qu'avec l'écriture en français : le même mot (symbole) peut avoir beaucoup de significations selon le contexte. On peut tout de même donner des règles qui permettent de reconnaître quelle interprétation est la bonne :
- dans un vecteur (une valeur entre parenthèses), c'est un séparateur des coefficients du vecteur
- avant un
$\in$ , c'est un raccourci pour dire que toutes les variables listées appartiennent à l'ensemble désigné - Après / entre des quantificateurs
- c'est un "tel que" s'il est suivi par une expression ou bien par un "il existe"
- c'est un séparateur s'il est suivi par un quantificateur "pour tout" (
$\forall$ )
On a vu que, si les interprétations possibles de la virgule, on peut dire @de façon certaine laquelle est la bonne en fonction du contexte.
Mais il arrive que, quand on sait que l'on travaille sur un ensemble particulier (par exemple en arithmétique, on travaille très souvent sur
Le problème est le suivant : si
On voit donc que quelques cas (rares, il faut l'admettre) sont réellement sujets à interprétation
Une autre notation intéressante est celle que l'on utilise pour décrire les ensembles.
La notation générale est :
Bien sûr, la propriété
Ici, on note que le "tel que" est noté avec un
Dans le contexte de la définition d'ensembles, il arrive également que l'on utilise la virgule comme "et" logique :
On pourrait donc avoir cette formule :
Lorsque l'on veut combiner des inégalités, on utilise parfois une virgule. Par exemple, si on veut dire que
Par exemple, pour des matrices, on pourrait noter
Ou encore, pour des sommes :
Aussi noté
Cela reste plus difficile à lire que si l'on écrit
En logique formelle, quand on utilise les quantificateurs, on ne met jamais de virgules, ni pour les séparer, ni pour mettre plusieurs variables à la fois.
Par exemple, on ne noterait pas
La solution consiste donc à :
- ne jamais mettre deux variables ensemble (utiliser plusieurs quantificateurs, un par variable)
- on peut aussi écrire
$(x, y) \in \mathbb{R}^{2}$ (on a en fait qu'une seule variable : le vecteur$(x, y)$ )
- on peut aussi écrire
- mettre des parenthèses plutôt que des virgules (élimine toutes les ambiguïtés)
La solution proposée par la logique formelle est plutôt lourde (longue à écrire et moins lisible).
On peut, plus simplement, utiliser des symboles spécialisés pour chacune des significations
- Le
$;$ est un meilleur symbole pour séparer les éléments d'un vecteur- Dans les langues où c'est la virgule qui est l'indicateur pour les nombres décimaux, on préfère le "
$;$ " dans les vecteurs
- Dans les langues où c'est la virgule qui est l'indicateur pour les nombres décimaux, on préfère le "
- Pour "tel que", on préfère "
$\mid$ ", "$/$ " ou bien quelquefois "$:$ "-
Exemple :
$\forall x \in \mathbb{R}, \exists y \in \mathbb{R} \mid y = x+1$ ou bien$\lbrace x \in \mathbb{R} : \cos(x) = 0 \rbrace$
-
Exemple :
- Pour décrire que plusieurs variables sont dans un ensemble, on utilise
$(x, y) \in \mathbb{R}^{2}$ ou bien$(x, y, z) \in \mathbb{R}^{3}$ etc.- On peut d'ailleurs utiliser le
$;$ pour séparer les éléments :$(x;y;z)\in \mathbb{R}^{3}$
- On peut d'ailleurs utiliser le
Ces remplacements ont plusieurs avantages :
- ils retirent tout ambiguïté, même celles qui n'en sont pas, mais qui sont des erreurs de lecture
- ils sont plus lisibles : avoir un symbole pour chaque signification permet au cerveau de comprendre et d'utiliser plus facilement ces symboles et de mieux les associer à leur signification
Ils ont cependant un problème : ils obligent parfois à être plus formel, et donc à écrire plus de choses.
Par exemple,
Il semble donc que, dans certains cas, c'est au contrainre l'utilisation de notation plus abrégées, par exemple avec des virgules, qui est plus lisible.
Voici quelques exemples d'expressions écrite en utilisant plus ou moins de virgules
maximum de virgules | intermédiaire | minimum de virgules |
---|---|---|
|
||
(des exemples supplémentaire dans les commentaires sont les bienvenus)
Nous avons vu que, dans certains cas, la virgule est plus lisible car elle abrège les notations, et nous évite des réflexions inutiles sur le sens qu'apporte un symbole donné.
Mon avis personnel est donc :
- Dans un contexte où il est nécessaire d'être précis (articles, cours, énoncés, définitions...), utiliser des symboles adaptés pour chaque signification
- notamment, le fait de ne pas utiliser de raccourcis de notation apporte un formalisme supplémentaire
- Dans un contexte où le but est simplement de faire comprendre (solution ou correction d'un exercice, cours et énoncés simples de choses connues ou évidentes), utiliser des virgules (et autres abbréviations) peut être avantageux
- cela allège la rédaction et rend donc la lecture et la compréhension plus rapides
- cela permet d'écrire plus vite (notamment utile losqu'on résout un exercice)
J'ajouterai que, avant d'utiliser des notations raccourcies, il est nécessaire de bien comprendre comment les notations formelles fonctionnent. Pour cela, écrire sans aucune abbréviations (de manière rigoureuse) est utile.
Il vaut mieux s'habituer d'abord à une utilisation stricte, puis ensuite utiliser des raccourcis quand c'est justifié (ceci ne se limite pas aux raccourcis de notation traités ici, mais est valable pour toutes les abbréviations, comme
$2\mathbb{N}$ pour${ 2n \mid n \in \mathbb{N} }$ , ou bien$\sum\limits_{i}v_{i}$ pour$\sum\limits_{i=0}^n v_{i} \text{ où } n \text{ est la dimension du vecteur } v$ )
L'utilisation de la virgule dans la notation mathématique peut parfois conduire, sinon à des ambiguïtés, à des erreurs de lectures ou d'interprétation. Elle vont aussi rendre la compréhension de certaines expression plus difficile.
Les alternatives disponibles sont meilleures, car elles facilitent la compréhension et l'écriture des mathématiques.
Et en plus c'est beaucoup plus joli !