1.2 Règles de calcul: +,,,÷+,-,\cdot,\div

Les nombres réels forment avant tout un ensemble dans lequel on peut faire de l'arithmétique, c'est-à-dire dans lequel on peut additionner, soustraire, multiplier et diviser. (En mathématiques, un ensemble muni de ces opérations est appelé un corps. )

La première opération, l'addition notée ''++'', est une opération qui associe à une paire de réels x,yx,y un nouveau réel noté x+yx+y. Cette opération satisfait aux propriétés suivantes:

  1. x+y=y+xx+y=y+x pour toute paire x,yRx,y\in \mathbb{R}
  2. x+(y+z)=(x+y)+zx+(y+z)=(x+y)+z pour tous x,y,zRx,y,z\in \mathbb{R}
  3. Il existe un élément 0R0\in \mathbb{R}, appelé élément neutre pour l'addition (ou simplement ''zéro''), tel que x+0=0+x=xx+0=0+x=x pour tout xRx\in \mathbb{R}.
  4. Pour tout xRx\in \mathbb{R} il existe un unique élément noté xR-x\in \mathbb{R} et appelé opposé de xx, tel que x+(x)=0x+(-x)=0.

00
xx
yy
x+yx+y

Si x,yRx,y\in \mathbb{R}, on peut définir leur soustraction: xy:=x+(y). x-y:= x+(-y)\,. La deuxième opération, la multiplication, notée ''\cdot'', associe à une paire de réels x,yx,y un nouveau réel noté xyx\cdot y. Elle satisfait aux propriétés suivantes:

  1. xy=yxx\cdot y=y\cdot x pour tous x,yRx,y\in \mathbb{R}
  2. x(yz)=(xy)zx\cdot (y\cdot z)=(x\cdot y)\cdot z pour tout triplet x,y,zRx,y,z\in \mathbb{R}
  3. x(y+z)=xy+xzx\cdot(y+z)=x\cdot y+x\cdot z pour tous x,y,zRx,y,z\in \mathbb{R},
  4. Il existe un élément 1R1\in \mathbb{R}, appelé élément neutre pour la multiplication (ou simplement ''un''), tel que 1x=x1=x1\cdot x=x\cdot 1=x pour tout xRx\in \mathbb{R}.
  5. Pour tout xRx\in \mathbb{R}, x0x\neq 0, il existe un unique élément noté x1Rx^{-1}\in \mathbb{R}, appelé inverse de xx, tel que xx1=x1x=1x\cdot x^{-1}=x^{-1}\cdot x=1.

00
11
xx
yy
xyx\cdot y

Souvent, on écrit xyxy au lieu de xyx\cdot y.

Si x,yRx,y\in \mathbb{R} et si y0y\neq 0, on peut définir leur division: x÷y:=xy1.\begin{aligned} x\div y:= x\cdot y^{-1}\,. \end{aligned} En général, on écrit xy\frac{x}{y} au lieu de x÷yx\div y.

Remarque: Q\mathbb{Q} est aussi muni de ces opérations, et les mêmes propriétés sont satisfaites. Ce n'est pas le cas de N\mathbb{N} (dans lequel, par exemple, 33 n'a pas d'opposé), ni de Z\mathbb{Z} (dans lequel, par exemple, 22 n'a pas d'inverse).