Nombre rationnel

Nombre rationnel

Un nombre rationnel est, en mathématiques, un nombre qui peut s'exprimer comme le quotient de deux entiers relatifs. Les nombres rationnels non entiers (souvent appelés fractions) sont souvent notés a/b, où a et b sont deux entiers relatifs (avec b non nul). On appelle a le numérateur et b le dénominateur.

Chaque nombre rationnel peut s'écrire d'une infinité de manières différentes, comme 1/2=2/4=3/6=etc. Mais il existe une forme privilégiée, quand a et b n'ont pas de diviseurs communs autre que 1 (ils sont premiers entre eux). Tout nombre rationnel non nul possède exactement une seule forme de ce type avec un dénominateur positif. On parle alors de fraction irréductible.

Le développement décimal d'un nombre rationnel est toujours périodique au bout d'une certaine décimale (par exemple dans le cas d'une écriture décimale finie, le rajout de zéros assure la périodicité). Cela est vrai dans n'importe quelle base. Réciproquement, si un nombre possède un développement décimal périodique dans au moins une base, alors c'est un nombre rationnel.

Un nombre réel qui n'est pas rationnel est dit irrationnel. L'ensemble des nombres rationnels est un corps commutatif, noté \mathbb{Q}, que l'on peut noter formellement:

 \mathbb{Q} = \left\{\frac{m}{n}\,|\, (m,n) \in \mathbb{Z}\times \mathbb{N}\setminus\{0\} \right\},

\mathbb{Z} est l'anneau des entiers.

Sommaire

Développement décimal

Comme tous les réels, les rationnels admettent une représentation en développement décimal illimité. Le développement décimal des nombres rationnels a la particularité d'être périodique. C'est-à-dire qu'il existe un suffixe constitué d'une séquence finie de chiffres se répétant continuellement. Cette séquence est appelée : « période du développement décimal illimité ».

Le développement décimal illimité d'un nombre réel, et a fortiori d'un nombre rationnel, est unique si on s'interdit de finir par une séquence périodique composée de ’9’. En effet, dans ce dernier cas, il existera une écriture équivalente se terminant par une période composée de ’0’, et mieux encore, un développement décimal limité équivalent.

Conventionnellement, lorsque nous écrivons un nombre avec les chiffres arabes dans le système décimal nous traçons, s'il y a lieu, une barre horizontale au-dessous de la séquence périodique. Il est aussi possible de mettre un point au-dessus de chaque chiffre de la période, mais cette notation est beaucoup moins utilisée.

Lorsqu'une période est indiquée nous devons faire référence à un nombre rationnel et c'est pour cette raison que d'une manière rigoureuse :

1 = 1,\underline{0}... = 0,\underline{9}... = 0,99999...
\frac{1}{3} = 0,\underline{3}... = \lim_{x\rightarrow +\infty} \left( \sum_{n=1}^{x} \frac{3}{10^n} \right)

Le développement décimal illimité d'un nombre rationnel est périodique, et réciproquement, un nombre à développement décimal périodique est toujours rationnel. Ce critère est néanmoins mal commode pour évaluer la rationalité d'un nombre. Un deuxième critère est donnée par la fraction continue. Un nombre est rationnel si et seulement si son développement en fraction continue est fini. Cette méthode est à l'origine des premières démonstrations de l'irrationalité de e la base du logarithme népérien et de π.

Ainsi, le nombre 0,12\,122\,1222\,12222...\, (où l'on a des séquences de ’2’ de plus en plus longues) est irrationnel car il n'y a pas de période.

Arithmétique des rationnels

Article détaillé : Opérations sur les fractions.

Soient a, b, c, d quatre entiers, avec b et d non nuls.

Les deux nombres rationnels représentés par a/b et c/d sont égaux si et seulement si ad=bc.

L'addition est donnée par :

\frac a b+\frac c d=\frac{ad+bc}{bd}.

On démontre que cette égalité ne dépend pas du choix des représentants "a/b" et "c/d".

La multiplication par :

\frac a b\times\frac c d=\frac{ac}{bd}.

L'opposé et l'inverse par

-\left(\frac a b\right)=\frac{-a}b=\frac a{-b}\quad\mbox{et}\quad\left(\frac a b\right)^{-1}=\frac b a\mbox{ si }a\ne0.

On en déduit que le quotient est donné par:

\left(\frac a b\right)/\left(\frac c d\right)=\frac{ad}{bc}.

Fraction égyptienne

Article détaillé : Fraction égyptienne.

Tout nombre rationnel positif peut s'exprimer comme somme d'inverses distincts d'entiers naturels. Par exemple, on a :

\frac{5}{7} = \frac{1}{2} + \frac{1}{6} + \frac{1}{21}.

Construction formelle

Konstruktionen 007.jpg

On peut voir un nombre rationnel comme la classe d'équivalence d'une paire ordonnée d'entiers, par la relation d'équivalence suivante:

\forall \left(a,b\right) \in \mathbb{Z}\times \mathbb{Z}\setminus\left\{0\right\},\forall \left(c,d\right) \in \mathbb{Z}\times \mathbb{Z}\setminus\left\{0\right\},\ (a,b)\,\mathcal{R}\,(c,d) \Longleftrightarrow ad=bc.

On note alors \mathbb{Q}=\mathbb{Z}\times \mathbb{Z}\setminus\left\{0\right\}/\mathcal{R}, c'est-à-dire que l'ensemble des nombres rationnels est le quotient de \mathbb{Z}\times \mathbb{Z}\setminus\left\{0\right\} par la relation d'équivalence.

On peut ensuite injecter les entiers dans les rationnels, et définir des lois de composition interne pour se donner une structure de corps.

Cette construction est valable à partir de n'importe quel anneau intègre, on parle alors de corps des fractions.

Propriétés

La dénombrabilité des rationnels strictement positifs
  • Les rationnels sont le plus petit corps de caractéristique nulle. Tout autre corps de caractéristique nulle contient une copie de \Q.
\forall n\in\N,\qquad u_n=\frac{E(10^n \times x)}{10^n}

(où E est la fonction partie entière) est à valeurs rationnelles (et même décimales) et tend vers x, puisque

0\le x-u_n<10^{-n}.
  • La fonction f suivante, bijective de \N dans \Q^+, donne tous les nombres rationnels positifs ou nuls, avec le numérateur et le dénominateur toujours premiers entre eux par construction. Elle est inspirée des suites de Farey :
\begin{cases}
f(0) = 0 \\
f(2n) = \frac1{f(n)+1} \\
f(2n+1) = f(n)+1.
\end{cases}

Elle s'inverse par la fonction g suivante :

\begin{cases}
g(0) = 0 \\
g\left(\dfrac pq\right)=\begin{cases} 2g(\frac{q-p}{p}), & \text{si }q>p \\ 2g(\frac{p-q}{q})+1, & \text{si }q \le p. \end{cases}
\end{cases}

Topologie

Muni de la topologie de l'ordre usuelle, \mathbb{Q} est un corps topologique. Cela signifie que les opérations arithmétiques sont continues. L'addition est de plus compatible avec l'ordre (on parle de groupe ordonné).

Limitations

Par contre, \mathbb{Q} ne possède pas la propriété de la borne supérieure : l'ensemble des nombres rationnels x tels que x2 < 2 est majoré mais ne possède pas de plus petit majorant.

D'autre part, \mathbb{Q} n'est pas un espace complet : il existe des suites de Cauchy de nombres rationnels qui ne convergent pas vers un nombre rationnel, comme par exemple la suite (xn) définie par récurrence suivant la méthode de Héron :

  • x0 = 1
  • pour tout n entier naturel non nul : xn+1 = xn 2 + 1xn.

Ces deux limitations montrent notamment que des nombres essentiels en mathématiques, comme √2 ou π, ne sont pas rationnels. Cela conduit à compléter \mathbb{Q} en construisant un ensemble plus grand, qui possède la propriété de la borne supérieure et dans lequel toute suite de Cauchy converge : l'ensemble des nombres réels.

Article détaillé : Construction des nombres réels.

Nombre p-adique

On peut munir \mathbb{Q} d'une autre métrique.

Soit p un nombre premier. On pose :

  • pour tout entier non nul a, | a | p = p n,pn est la plus grande puissance de p divisant a,
  • | 0 | p = 0.

La fonction ainsi définie est complètement multiplicative, ce qui permet de poser sans ambiguïté, pour tout nombre rationnel a / b :

  • \left|\frac ab\right|_p = \frac{|a|_p}{|b|_p}.

Alors d_p\left(x, y\right) = |x - y|_p définit un espace métrique.

L'espace métrique \left(\Q,d_p\right) n'est pas complet, et sa complétion est le corps des nombres p-adiques \Q_p. Le théorème d'Ostrowski montre que toute valeur absolue non triviale sur \Q est topologiquement équivalente soit à la valeur absolue usuelle, soit à une valeur absolue p-adique.

Voir aussi


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Nombre rationnel de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Nombre Rationnel — Un nombre rationnel est, en mathématiques, un nombre qui peut s exprimer comme le quotient de deux entiers relatifs. Les nombres rationnels non entiers (souvent appelés fractions) sont souvent notés a/b, où a et b sont deux entiers relatifs (avec …   Wikipédia en Français

  • Nombre rationnel dyadique — ● Nombre rationnel dyadique rationnel r tel qu il existe un entier naturel m pour lequel le produit 2mr est un entier …   Encyclopédie Universelle

  • rationnel — rationnel, elle [ rasjɔnɛl ] adj. et n. m. • 1120 « doué de raison » (âme); lat. rationalis I ♦ (→ raison, I) 1 ♦ (XIIIe) Qui appartient à la raison, relève de la raison (I). Activité rationnelle. ⇒ raisonnement. La pensée …   Encyclopédie Universelle

  • Nombre Réel — Les nombres réels (dont l ensemble est noté ℝ) peuvent très informellement être conçus en mathématiques comme tous les nombres associés à des longueurs ou des grandeurs physiques. Ce sont les nombres, qu ils soient positifs, négatifs ou nuls,… …   Wikipédia en Français

  • Nombre reel — Nombre réel Les nombres réels (dont l ensemble est noté ℝ) peuvent très informellement être conçus en mathématiques comme tous les nombres associés à des longueurs ou des grandeurs physiques. Ce sont les nombres, qu ils soient positifs, négatifs… …   Wikipédia en Français

  • Nombre Irrationnel — Un nombre irrationnel est un nombre réel qui n est pas rationnel, c est à dire qu il ne peut pas s écrire sous la forme d une fraction , où a et b sont deux entiers relatifs (avec b non nul). Les premiers nombres irrationnels découverts sont les… …   Wikipédia en Français

  • Nombre D'or —  Pour l’article homonyme, voir Nombre d or (astronomie).  La proportion définie par a et b est dite d extrême et de moyenne raison lorsque a e …   Wikipédia en Français

  • Nombre d'Or —  Pour l’article homonyme, voir Nombre d or (astronomie).  La proportion définie par a et b est dite d extrême et de moyenne raison lorsque a e …   Wikipédia en Français

  • Nombre d’or — Nombre d or  Pour l’article homonyme, voir Nombre d or (astronomie).  La proportion définie par a et b est dite d extrême et de moyenne raison lorsque a e …   Wikipédia en Français

  • nombre — [ nɔ̃br ] n. m. • déb. XIIe; lat. numerus I ♦ 1 ♦ Concept de base des mathématiques, une des notions fondamentales de l entendement que l on peut rapporter à d autres idées (de pluralité, d ensemble, de correspondance), mais non définir.… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”