Notation (mathématiques)

système d'une représentation symbolique des objets mathématiques et des idées

En mathématiques, les notations sont des ensembles de signes graphiques conventionnels servant à condenser et formaliser les énoncés et les démonstrations. Ces notations se sont dégagées dans de nombreuses cultures au fil de l'évolution des mathématiques, selon les besoins, et de ce fait ne sont pas totalement standardisées : notamment les notations mathématiques latines décrites ci-dessous dans la culture francophone.

Exemple de notation sur un tableau noir exprimant "l'ensemble des complexes est composé des nombres qui peuvent s'écrire sous la forme "a+bi", avec a et b deux réels, et pour lequel i²=-1".

Introduction

modifier

Comme tout langage formel, une notation mathématique a pour but de retirer l'ambiguïté (notamment linguistique) d'une proposition en la décomposant en un ensemble de symboles dont l'agencement devrait avoir qu'un unique sens.

Par exemple, pour dire que   vaut un, on utilise :  .

Ce langage formalisé permet aussi de faciliter la communication entre des mathématiciens ne parlant pas la même langue. S'il ne remplace pas complètement le langage naturel, il permet d'exprimer les concepts mathématiques les plus complexes sous une forme qui est quasi identique suivant de nombreuses langues et cultures, évitant ainsi les quiproquos sur les concepts mathématiques, par des gens ne maîtrisant pas toutes les subtilités grammaticales et syntaxiques de la langue de communication employée.

Au sein même de la famille culturelle utilisant la notation mathématique latine, certains concepts du langage formel restent cependant spécifiques à un bassin linguistique donné. Ainsi, dans la littérature mathématique francophone, l'assertion   signifie « l'ensemble A est un sous-ensemble de B ou est égal à B » alors que dans la littérature mathématique anglophone, il signifiera plutôt « l'ensemble A est un sous-ensemble strict de B ».

Opérateurs logiques

modifier
  •  , non.
  •  , et.
  •  , ou.
  •  , implique.
  •  , équivaut à.

Ensembles

modifier

Un ensemble représente une collection d'objets. Les objets de la collection sont les éléments de l'ensemble.

Définition d'un ensemble

modifier

Un ensemble peut être défini :

  • en compréhension, c'est-à-dire par une propriété caractéristique parmi les éléments d'un ensemble donné. Par exemple  (l'ensemble de tous les entiers naturels pairs) ;
  • comme image directe. Par exemple, l'ensemble ci-dessus s'écrit aussi 

Relations sur les ensembles

modifier
  •  , appartenance.
    • n appartient à l'ensemble des entiers naturels.
    • n est un entier naturel.
 

L'appartenance est une relation qui lie un élément et un ensemble.

  •  , inclusion.
    •   est inclus dans  .
    • Les entiers relatifs sont des rationnels.
 

Un ensemble est inclus dans un autre si et seulement si tous ses éléments sont éléments de l'autre.

Opérations sur les ensembles

modifier

Ensembles usuels

modifier
  •   ou N[1], ensemble des entiers naturels.
  •   ou Z, ensemble des entiers relatifs.
  •   ou D, ensemble des nombres décimaux.
  •   ou Q, ensemble des rationnels.
  •   ou R, ensemble des nombres réels.
  •  , ensemble des nombres réels, positifs ou nuls.
  •  , ensemble des nombres réels, négatifs ou nuls.
  •  , ensemble des nombres imaginaires purs.
  •   ou C, ensemble des nombres complexes.
  •   ou H, ensemble des quaternions.
  •   ou O, ensemble des octonions.
  •   ou S, ensemble des sédénion.
  •   ou P, ensemble des nombres premiers.
  •  , les mêmes ensembles privés de zéro.
  •  , ensemble des éléments inversibles d'un anneau  . Par exemple,   et  , tandis que si   est un corps (comme  ,   ou  ),  .

Quantificateurs

modifier

Voir calcul des prédicats pour un point de vue plus théorique sur ces notations.

Pour tout

modifier

Notation

modifier

 , pour tout, quel que soit.

Exemples

modifier
  •  
    Quel que soit n entier naturel, n est supérieur ou égal à zéro.
      est minoré par zéro.
  •  
    Forme condensée.
  •  
    Pour tout réel a, si a est inférieur ou égal à zéro et si a est supérieur ou égal à zéro, alors a est nul.
    Tout réel, à la fois supérieur ou égal à zéro et inférieur ou égal à zéro, est nul.

Il existe

modifier

Notation

modifier

 , il existe (au moins un).

Exemples

modifier
  •  
    Il existe un élément dans  .
      est non vide.
  •  
    Il existe un réel x tel que x soit supérieur ou égal à un.
      n'est pas majoré par 1.
  •  
    Forme condensée.

Exemples généraux

modifier
  •  
    Pour tout entier naturel n, il existe un autre entier naturel m tel que m soit supérieur ou égal à n.
    Tout entier naturel est inférieur ou égal à au moins un autre entier naturel.
  •  
    Il existe un entier naturel m tel que pour tout entier naturel n, m est plus grand ou égal à n.
      est majoré.

L'ordre des quantificateurs est par conséquent important : la première proposition est vraie, l'autre est fausse.

  •  
    Pour tous réels a et l, il existe une application f de   dans   telle que f a pour limite l en a.

Il existe un unique

modifier

La notation   signifie il existe un unique... (ou il existe un et un seul...). Ce quantificateur se définit à partir des quantificateurs précédents et de l'égalité. Pour P(x) une propriété de x :

  équivaut par définition à  
Il existe un unique x qui vérifie P(x) équivaut à Il existe x qui vérifie P(x) et quel que soit y qui vérifie P(y) alors y=x.

ou de façon équivalente :

  équivaut à  .
Exemple
 
Pour tout x réel non nul, il existe un unique réel y non nul tel que le produit xy soit égal à 1.
En d'autres termes, x admet un unique inverse pour la multiplication.

Symboles arithmétiques

modifier

Ces symboles sont utilisés pour simplifier l'écriture de longues séries (par exemple en évitant d'utiliser des pointillés). On utilise dans chacun de ces cas une variable dite variable muette qui va prendre des valeurs dans un ensemble précis. Cette variable muette va alors permettre la description d'un terme générique placé après le symbole.

  (Lettre grecque : sigma majuscule)
Exemples
  • Si   est un entier strictement positif :
 
Ici   est la variable muette, elle prend ses valeurs dans l'ensemble   (ensemble d'entiers). Le terme général de cette somme est  .
  •   étant l'ensemble des entiers pairs positifs
 
À gauche de l’égalité,   appartient à un ensemble défini par deux conditions : ses éléments sont des entiers positifs pairs et ils sont strictement plus petits que 50
  • Exemple de somme infinie :
 
On aurait pu écrire de manière moins condensée :
 

Par convention, une somme indexée par l'ensemble vide est nulle.

Produit

modifier
  (Lettre grecque : Pi majuscule)

Ce symbole s'utilise de manière analogue au symbole somme.

Exemple
 
On aurait pu écrire de manière moins condensée :
 

Par convention, un produit indexé par l'ensemble vide vaut 1.

  (point d'exclamation)

C'est un cas particulier de produit :

 

(où n et k sont implicitement supposés entiers).

Autrement dit,

si l'entier n est strictement positif :
 
s'il est négatif[2] ou nul, n ! = 1.

Notes et références

modifier
  1. Composition des textes scientifiques - Texte présenté par l'Éducation nationale (France) pour normaliser les sujets d'examen, p. 3.
  2. Avec la définition du produit vide ; en réalité, on préfère garder n! non défini si n est négatif, pour conserver l'équation fonctionnelle ; voir fonction Gamma

Voir aussi

modifier

Sur les autres projets Wikimedia :

Bibliographie

modifier

Articles connexes

modifier

Liens externes

modifier