Cet article fait suite à : Construction de $\mathbb Q$.
Dans cet article, nous montrons que $\mathbb Q$ est un anneau commutatif dont chaque élément non-nul possède un inverse pour la multiplication. Autrement dit, $\mathbb Q$ est un corps. Ces notions seront expliquées au cours de ce billet.
On rappelle que $\mathbb Z$ s'identifie à un sous-ensemble de $\mathbb Q$ via $a\longleftrightarrow \frac a 1$. Autrement dit tout entier relatif $a$ peut être considéré comme un nombre rationnel $\frac a 1$ que l'on notera $a$.
Ainsi on notera sans risque de confusion : $0=\frac 0 1$ et $1=\frac 1 1$.
Pour commencer remarquons que l'addition définie sur $\mathbb Q$ est commutative. En effet comme l'addition et la multiplication de $\mathbb Z$ sont commutatives, on a
$$ \frac{a}{b}+ \frac p q=\frac{aq+pb}{pq}=\frac{pb+aq}{qp}=\frac p q + \frac{a}{b}$$
De même le lecteur vérifiera sans difficulté que le produit défini sur $\mathbb Q$ est commutatif.
Strucure d'anneau de $\mathbb Q$
Propriété 1.
Si $b$ est un entier relatif non nul, alors $\frac 0 b= \frac 0 1=0$.
De plus pour tout $x\in \mathbb Q$, $x+0=x=0+x$.
Preuve.
On a $0\times 1=0=b\times 0$ donc $\frac 0 b= \frac 0 1$.
Ensuite si $x=\frac a b$, alors $x+0=\frac a b+\frac 0 1= \frac{b\times 1+a\times0}{b\times 1}=\frac{a}{b}=x$.
Par commutativité de l'addition, $0+x=x$.
$0$ est donc un élément neutre de l'addition des rationnels. Il n'y en a pas d'autres : si $e$ est aussi un élément neutre alors, on a $e=e+0=0+e=0$.
Propriété 2.
$(\mathbb Q,+)$ est un groupe commutatif.
Preuve.
De ce qui précède, il reste à montré que chaque élément de $\mathbb Q$ possède un opposé (un inverse pour l'addition) et que l'addition est associative.
(1) Soit $x=\frac a b\mathbb Q$. Notons $y=\frac{-a}{b}$.
On a $x+y=\frac{ab-ab}{b^2}=0$. Ainsi $y$ est un opposé de $x$.
(2) Soient $x=\frac a b$, $y=\frac m n$, et $z=\frac{s}{t}$ trois nombres rationnels.
On a d'après les propriétés d'anneaux de $\mathbb Z$ (voir article De $\mathbb N $ à $\mathbb Z $)
$$(x+y)+z=\frac{an+mb}{bn}+\frac{s}{t}=\frac{(an+mb)t+s(bn)}{(bn)t}$$Donc$$(x+y)+z=\frac{a(nt)+b(mt+sn)}{b(nt)}=x+(y+z)$$Ainsi $+$ est associative sur $\mathbb Q$.
$(Q,+)$ est donc ce que l'on appelle un groupe commutatif (ou abélien) .
Remarques.
- (a) Par commutativité de $+$, dans un groupe commutative, un inverse à droite et un inverse à gauche sont la même notion : $x+y=0\Longleftrightarrow y+x=0$.
- (b) Dans un groupe, chaque élément ne possède qu'un unique inverse pour l'addition.
En effet, supposons que $x$ a pour inverses $y$ et $z$. Alors, $z+(x+y)=(z+x)+y$, c'est-à-dire $z+0=0+y$, ce qui se traduit pas $z=y$.
Propriété 3.
On a pour tout entier relatif $k$ non-nul, et pour tout rationnel $\frac a b$,
$$\frac{ka}{kb}=\frac{a}{b}$$
Preuve.
$(ka)b=(kb)a$
Propriété 4.
$(\mathbb Q,+,\times)$ est un anneau commutatif unitaire.
Preuve.
On sait déjà que $(\mathbb Q,+)$ est un groupe commutatif et que le produit sur $\mathbb Q$ est commutatif.
(1) Tout d'abord, le nombre $1=\frac 1 1$ est un élément neutre pour le produit.
Remarquons pour des raisons similaires au fait que $0$ est l'unique élément neutre pour $+$, qu'il n'y a qu'un seul élément neutre pour $\times$. En effet si $e,e'$ sont neutres pour $\times$, on a $e'=ee'=e$.
Vérifions la neutralité de $1$. Soit $\frac a b\in \mathbb Q$. On a
$$ \frac 1 1\frac{a}{b}=\frac{1\times a}{1\times b}=\frac a b$$.
C'était évident car $1$ est neutre dans $\mathbb Z$.
(2) La multiplication est associative dans $\mathbb Q$ grâce à l'associativité de la multiplication dans $\mathbb Z$
$$\left( \frac a b \times \frac m n\times\right)\times \frac s t =\frac{am}{bn}\times\frac{s}{t}=\frac{(am)s}{(bn)t}=\frac{a(ms)}{b(nt)}=\frac{a}{b}\times\left(\frac{m}{n}\times \frac{s}{t}\right)$$
(3) La multiplication est distributive par rapport à l'addition. En effet, si $\frac a b,\frac m n, \frac s t$ sont des rationnels, on a
$$\frac a b\times \left(\frac m n + \frac s t\right)=\frac a b\times \frac{mt+ns}{nt}=\frac{amt+ans}{bnt}$$
D'un autre côté, on a
$$\frac a b\times \frac m n +\frac a b\times \frac s t= \frac{am} {bn} +\frac{as} {bt}=\frac{ambt+asbn}{b^2nt}=\frac{amt+asn} {bsn}$$
On a donc bien $\frac a b\times \left(\frac m n + \frac s t\right)=\frac{amt+asn} {bsn}$.
$(\mathbb Q,+,\times)$ est donc ce que l'on appelle un anneau.
L'opposé d'un élément $x$ est noté $-x$.
On a $-(-x)=x$ car $x+(-x)=0$ comme dans tout groupe.
Soustraire un nombre $y$ à un nombre $x$, c'est ajouter l'opposé de $y$
à $x$. On note $$x-y=x+(-y)$$
Propriété 6.
Si $x,y$ sont deux rationnels, alors $-(x+y)=-x+(-y)=-x-y$.
Preuve.
On a $$(x+y)+(-x+(-y))=x+(y+(-x+(-y))=x+(y+(-y+(-x))$$
Or $$y+(-y+(-x)=(y+(-y))+(-x)=-x$$ d'où
$$(x+y)+(-x+(-y))=x+(-x)=0$$
Notations.
(1) Comme dans $\mathbb Z$, on omet souvent le symbole $\times$ pour les produits, écrivant $xy$ plutôt que $x\times y$.
(2) Puisque l'addition et la multiplication y sont associatives, on note pour $x,y,z$ dans $\mathbb Q$, $x+y+z$ pour désigner indifféremment $(x+y)+z$ ou $x+(y+z)$; respectivement on note $xyz$ pour désigner indistinctement $(xy)z$ ou $x(yz)$.
Quotient et fraction
Propriété 7.
Si $k$ est un entier relatif, et si $\frac a b$ est un rationnel, on a $k\times\frac a b=\frac{ka}{b}$.
Preuve.
On a $\frac k1\times\frac{a}{b}\frac{ak}{b}$.
Propriété 8.
Tout rationnel non-nul $\frac a b $ admet pour unique inverse $\frac b a$.
$0$ n'admet pas d'inverse.
Preuve.
- On a $$\frac{a}{b}\times\frac{b}{a}=\frac{ab}{ab}=1$$
- Si $x$ admet pour inverses multiplicatifs $y$ et $y'$, alors $y'=y'(xy)=(y'x)y=y$ d'où l'on conclut à l'unicité de l'inverse.
- Supposons que $\frac{a}{b}\times \frac{0}{1}=\frac{1}{1}$.
Alors $\frac 0{b}=\frac{1}{1}$ d'où $1b=0\times 1$ dans $\mathbb Z$ ce qui est faux.
$\mathbb Q$ est donc ce que l'on appelle un corps (commutatif), c'est-à-dire un anneau (commutatif) dont les éléments non-nuls sont inversibles pour la multiplication.
Si $a$ et $b$ sont des entiers relatifs, le quotient rationnel de $a$ par $b$ est le rationnel $\frac a b$.
Ainsi dans le cas où $b$ divise $a$ (voir article sur la division euclidienne dans $\mathbb Z$), il existe un entier relatif $k$ tel que $a=kb$. On a bien dans ce cas $\frac a b =\frac{kb}{b}=\frac{k}{1}=k$.
Si $s$ est un nombre rationnel, on peut noter $s^{-1}$ son inverse (pour la multiplication).
Quotients de fractions
Soit $r=\frac{a}{b}$ et $s=\frac c d$ deux rationnels.
Alors on définit $$\frac{r}{s}=r\times s^{-1}$$
où $s^{-1}$ est l'inverse de $s$ pour $\times$
Ainsi $$\frac{r}{s}=r\times s^{-1}=\frac{a}{b}\times \frac d c$$
On a donc $$ \frac{\frac{r}{s}}{\frac c d}=\frac{a}{b}\times \frac{d}{c}$$
En particulier $$\frac{1}{\frac{a}{b}}=\frac{b}{a}$$
Ordre sur $\mathbb Q$
Propriété 9.
- Si $\frac a b = \frac m n\neq 0$, alors :
$a$ et $b$ ont le même signe dans $\mathbb Z$ si et seulement si $m$ et $n$ sont de même signe dans $\mathbb Z$
- Si $\frac{a}{b}=0$, alors $a=0$ et $b$ est de n'importe quel signe.
Preuve.
L'égalité des fractions donne $an=mb$.
D'après la règle des signes pour les produits dans $\mathbb Z$ :
si $a$ et $b$ ont le même signe, comme $an$ et $mb$ ont le même signe, on a nécessairement $m$ et $n$ de même signe. Dans le cas contraire, $n$ et $m$ doivent aussi être de signes opposés car sinon $an$ et $mb$ n'auraient pas le même signe.
Le fait que le numérateur et le dénominateur aient ou n'aient pas le même signe ne dépend pas du représentant $\frac a b $ choisi.
$\frac{a}{b}=\frac 0 1$ implique $1a=0b$ d'où $a=0$.
On dit que $\frac a b$ est positif si $a$ et $b$ sont de même signe dans $\mathbb Z$, s'ils sont de signes opposés, on dit que $\frac a b$ est négatif.
Si $\frac a b$ est positif non nul, on dit que $\frac a b$ est strictement positif.
Si $\frac a b$ est négatif non nul, on dit que $\frac a b$ est strictement négatif.
On note $\mathbb Q_+$ et $\mathbb Q_-$ l'ensemble des rationnels respectivement positifs et l'ensemble des rationnels négatifs.
Un nombre rationnel est donc dans l'un des deux sous-ensembles $\mathbb Q_-$ ou $\mathbb Q_+$.
Remarques.
(1) Le seul nombre entier relatif positif et négatif est $0$.
(2) D'après la propriété 7, si $x$ est positif, alors $-x=(-1)\times x$ est négatif, et si $x$ est négatif, alors $-x$ est positif. En effet multiplier par $-1$ change uniquement le signe du numérateur (ou bien du dénominateur...).
On notera $x\leq y$ si $x-y\in\mathbb Q_-$ ou de manière équivalente si $y-x\in\mathbb Q_+$.
On dira alors que $x$ est inférieur (ou égal) à $y$. On ne mentionne pas nécessairement "ou égal".
Si $x\leq y$ avec $x\neq y$, c'est-à-dire $x-y\neq 0$, alors on dira que $x$ est strictement inférieur à $y$ et on notera $x<y$.
On note $y\geq x$ si $x\leq y$ et on dit dans ce cas que $y$ est supérieur (ou égal) à $x$.
On note $y> x$ si $x< y$ et on dit dans ce cas que $y$ est strictement supérieur à $x$.
Propriété 10.
Si $x,y\in \mathbb Q_+$, alors $x+y\in \mathbb Q_+$.
Preuve.
Quitte à multiplier le numérateur et le dénominateur de $x$ par $-1$, on peut écrire $x=\frac ab$ avec $a,b$ positifs. De même on peut écrire $y=\frac m n$, avec $m,n$ positifs.
Ainsi $x+y=\frac{an+mb}{bn}$ a un numérateur $an+mb$
positif et un dénominateur positif (d'après la définition du produit dans $\mathbb Z$).
$\leq$ est une relation d'ordre totale sur $\mathbb Q$
Propriété 11.
La relation $\leq $ possède les qualités suivantes :
(1) Réflexivité : pour tout rationnel $x$, on a $x\leq x$.
(2) Transitivité : si $x\leq y$ et $y\leq z$, alors $x\leq z$
(3) Antisymétrie : si $x\leq y$ et $y\leq x$, alors $x=y$
(4) Totalité : pour tout couple de rationnels $(x,y)$, on a $x\leq y$ ou $y\leq x$.
Preuve.
(1) $x-x=0$ est positif.
(2) $x-z=(x-y)+(y-z)$ en utilisant les propriétés d'associativité de l'addition. Comme $x-y$ et $y-z$ sont positifs, la propriété 10 nous permet de conclure.
(3) Si $y-x$ est positif, son opposé $-(y-x)=x-y$ est positif. Le seul nombre rationnel à la fois positif et négatif étant $0$, on en déduit que $y-x=0$ puis que $y=x$.
(4) $x-y$ est un élément de $\mathbb Q_-$ ou de $\mathbb Q_+$.
Propriété 12.
Dans $\mathbb Q$, on a :
(1) $x\leq y \Longrightarrow x+z \leq y+z$
(2.a) si $t\geq 0$, alors $x\leq y \Longrightarrow tx \leq ty$
(2.b) si $t\leq 0$, alors $x\leq y \Longrightarrow tx \geq ty$
Preuve.
(1) En utilisant l'associativité et la commutativité de l'addition, on a $y+z-(x+z)=y-x\geq 0$ d'où $x+z\leq y+z$.
(2.a) On note $t=\frac u v$, $x=\frac a b$ et $y=\frac m n$. Supposons $x\leq y$, c'est-à-dire $\frac{an-bm}{bn}\geq 0$. On a $tx-ty=\frac{u(an-bm)}{v(bn)}$. Comme $u$ et $v$ sont de même signe, le signe de cette dernière fraction est le même que celui de $\frac{an-bm}{bn}$, c'est-à-dire positif.
(2.b) Avec des notations identiques, ici comme $u$ et $v$ sont de signes opposés, le signe de $\frac{an-bm}{bn}$ devient négatif.
Propriété 13. ($\mathbb Q$ est archimédien)
Pour tous rationnels $x,y$ tels que $0<x<y$, il existe $k\in \mathbb Z$ tel que $kx>y$.
Démonstration.
On note $x=\frac a b$, et $y=\frac m n$ avec $a,b,m,n$ entiers relatifs non nuls. Quitte à multiplier ces entiers par $(-1)$, on peut supposer qu'ils sont tous strictement positifs.
On a $x=\frac{an}{bn}$ et $y=\frac{bm}{bn}$. Soit $k$ un entiers strictement positif.
On a $kx>y$ si $\frac{kan-bm}{bn}>0$. Comme $bn>0$, il suffit pour cela que $kan>bm$.
Notons $q$ le quotient de la division euclidienne de $bm$ par $an$, et $r$ son reste. On a $bm=qan+r$ avec $0\leq r<an$.
Prenons maintenant $k=q+1$. Alors $kan=(q+1)an=qan+an>qan+r=bm$.
On dit que $(\mathbb Q,+,\times,\leq)$$ est un corps archimédien.
Propriété 14.
Pour tous $x$ et $y$ dans $\mathbb Q$, tels que $x<y$, il existe $z\in Q$ tel que $x<z<y$.
Preuve.
Tout d'abord $x<y$ implique $\frac 1 2 x < \frac 1 2 y$ car $\frac 1 2>0$.
Prenons $z=\frac 1 2 (x+y)=\frac 1 2 x + \frac 1 2y$.
On a
$$x=\frac{x}{2}+\frac x 2<\frac{x}{2}+\frac y 2<\frac y 2 + \frac y 2 =y$$
Et ensuite
Dans les articles suivants j'aimerais, à partir de $\mathbb Q$ construire l'ensemble $\mathbb R$ des nombres réels.
Aucun commentaire:
Enregistrer un commentaire