Analyse 1 Les Réels Introduction

Merabti Abde louahab
Groupe : 2
mias
Analyse 1 Les Réels Introduction : pourquoi les réels
A l'origine les mathématiques sont apparues à partir de problèmes concrets. Les nombres, en
particulier, ont servi d'abord à compter (entiers naturels) puis à mesurer: il s'agit alors de
représenter une longueur géométrique, une unité de longueur étant choisie. Les nombres rationnels
(quotients de deux entiers) ne suffisent pas. On s'en rend compte dès l'époque de Pythagore (-560,-
480) : la longueur de la diagonale d'un carré de coté 1 (qu'on représente par le symbole ) n'est
pas un rationnel (cliquer ici pour une démonstration élémentaire).
Ainsi on peut construire un segment dont la longueur n'est pas représentée par un rationnel : le
problème de la droite réelle est posé, on peut le formuler ainsi:
Étant donné une droite avec une origine et une unité de longueur (ou deux points de la
droite affectés respectivement des nombres 0 et 1), on cherche à associer à tout point
de la droite un nombre ou encore à représenter la droite par un ensemble de
nombres. Cet ensemble de nombres est celui des réels .
son : animation :
D'autre part avec les entiers naturels, et avec les rationnels on calcule : on additionne (et, si
cela est possible, on soustrait), on multiplie (et, si cela est possible, on divise). Les ensembles
de nombres ont des structures algébriques (on y définit des opérations qui ont certaines
propriétés). Sans donner la construction de ces ensembles rappelons en brièvement le principe
de la méthode.
L'ensemble de base est N ensemble des entiers naturels, il est muni de deux lois:
addition notée +
multiplication notée . ou .
En symétrisant l'addition, ce qui revient à rendre la soustraction toujours possible, on obtient
l'ensemble Z des entiers relatifs.
De même, en symétrisant sur Z*=Z\{0} la multiplication, on obtient l'ensemble Q des
rationnels.

Merabti Abde louahab
Groupe : 2
mias
On remarque que, dans les deux cas, il s'agit de le même méthode: opération algébrique de
symétrisation.
L'ensemble Q est un corps commutatif (rappel de la définition).
On dit que un ensemble K muni des deux lois de composition internes + et . est un corps si
 (K, +) est un groupe abélien,
 la loi . est associative, commutative, unitaire, distributive sur +,
 tout élément différent de l'élément neutre de + admet un inverse.
Exemples :
 les corps de nombres Q, R, et C pour l'addition et la multiplication habituelles
 les corps finis Fp pour les opérations déduites de celles de Z par passage au quotient.
D'autre part les entiers naturels servent à ordonner (premier, second,..) ; la relation d'ordre sur N se
prolonge sur Z puis sur Q. Cette relation d'ordre ( total) notée est compatible avec la structure de
corps (rappel de la définition).
La relation d’ordre est compatible avec la structure algébrique (corps) de Q.
ce qui signifie:
en particulier
La construction de R est une opération plus difficile, il existe plusieurs méthodes suivant que
l'on cherche à combler l'une ou l'autre des "lacunes" de Q. On admet ici l'existence de R, on
en donne les propriétés fondamentales : propriétés algébriques, propriétés de l'ordre total (ces
propriétés sont liées par la condition de compatibilité), propriétés topologiques. Des propriétés
de la relation d'ordre se dégage le concept de borne supérieure , des propriétés topologiques
celui de voisinage. Il s'agit de notions qui sont à la base de l'étude des suites comme de l'étude
locale des fonctions. Notons l'importance, théorique et pratique, du fait que Q est dense dans
R.
L'ensemble R n'en a pas moins des "lacunes", ainsi l'équation x2+1=0 n'a pas de racines
réelles; d'où la nécessité de construire C (construction algébrique exclusivement).
Sur R la relation est une relation d'ordre total, ce qui signifie que deux éléments
quelconques de R sont comparables ou encore que deux réels x et y vérifient x y ou y x .
Cette relation d'ordre total prolonge celle de Q.
On note .

Merabti Abde louahab
Groupe : 2
mias
Définition.
La relation d'ordre est compatible avec la structure algébrique (corps) de
R.
ce qui signifie:
en particulier
On désigne par A une partie non vide de R.
Définitions.
 On dit qu'un réel a est un majorant de A si tout élément de A est
inférieur ou égal à a .
a majorant de A équivaut à :
 On dit que A est majorée si A admet un majorant (elle en admet alors
une infinité).
On définit de même un minorant, une partie minorée.
 A est bornée si A est majorée et minorée.
Remarque: Une partie non vide de R n'a pas toujours de majorant; lorsqu'elle en a un, elle
admet une infinité (Exemples).
a. Soit 2, 3, sont des majorants de A, 0,1 des minorants de A.
A est donc une partie bornée de R. On remarque que 2, majorant de A, appartient à A.
b. Soit ; -10, 0 sont des minorants de B; B est une partie
minorée de R mais B n'est pas majorée (il existe des éléments de B arbitrairement grands).
On remarque que 0 est un minorant de B qui appartient à B.
Définition.
On dit qu'un réel a est plus grand élément (ou maximum) de A si a appartient
à A et est un majorant de A .
a plus grand élément de A équivaut à :
On définit de même la notion de plus petit élément (ou minimum).

Merabti Abde louahab
Groupe : 2
mias
b. Remarque: une partie majorée (resp. minorée) n'a pas nécessairement de plus grand
(resp. petit) élément (Exemples).
c. On reprend les exemples précédents :
d.
e. 2 est le plus grand élément de A, 0 le plus petit élément de B. 1 est un minorant de A
qui n'appartient à A, mais qui est tel que tout nombre supérieur à 1 n'est pas minorant
de A, ce qu'on traduit par :
f. ,
g. il suffit de prendre n>1/ . Ainsi si =10 -10 on prend par exemple n=1010 +1.
Propriété.
Si A a un plus grand (resp. petit) élément celui-ci est unique.
h. Preuve:On aurait sinon a b et b a, d'où a=b.
i. On note alors max A (resp. min A ) le plus grand (resp. petit) élément de A.
j. Quand une partie A non vide de R est majorée, elle admet une infinité de majorants, et
si a est un majorant de A, tout réel supérieur à a est majorant de A. Il est donc naturel
de s'intéresser à l'existence éventuelle d'un plus petit majorant.
C'est ce concept de plus petit majorant que l'on va formaliser en exprimant que tout
réel qui lui est strictement inférieur n'est pas majorant.
Définition.
Si l'ensemble des majorants (resp. minorants ) d'une partie A de R admet un
plus petit (resp. grand) élément, celui ci est appelé borne supérieure (resp.
inférieure) de A et se note sup A (resp. inf A).
a=sup A équivaut à :
.
On écrit souvent (ii) sous la forme
k.
Propriétés.
1. Si A a une borne supérieure (resp. inférieure), celle-ci est unique.
2. Si A a un plus grand (resp. petit) élément a, alors a=sup A (resp. inf A).
l. Preuve: La propriété 1. vient du fait que la borne supérieure est le plus petit des
majorants et la 2. découle de la définition.
La réciproque de 2. est fausse comme le montre l'exemple :

Merabti Abde louahab
Groupe : 2
mias
on a sup A=2 A et inf A=1; 2 est plus grand élément,
1 n'est pas plus petit élément.
m. Remarque: Toute partie majorée de Q n'admet pas nécessairement de borne
supérieure (Exemple).
n. Exemple.
Considérons maintenant l'ensemble E={xQ, x2< 2}, il a dans R une borne supérieure
qui est : il est évident que est majorant de E.
Aussi pour montrer que la propriété (ii) est vérifiée il suffit de considérer une suite de
rationnels qui converge vers , ainsi la suite (un) définie par un+1
(cf cours sur les suites), or n'appartient pas à Q.
o. C'est cette "lacune" de Q qui est à la base d'une construction de R (méthode dite des
coupures).
Définition.
R est défini comme devant satisfaire aux conditions suivantes :
(i) R est un corps totalement ordonné,
(ii) R est une extension de Q,
(iii) toute partie non vide majorée de R admet une borne supérieure.
p. La propriété (iii) est dite propriété de la borne supérieure.
q. La propriété (ii) exprime que R est une extension de Q c'est à dire que R est un corps
qui contient le corps Q; en fait R est le plus petit corps contenant Q et qui possède la
propriété de la borne supérieure. On remarque qu'il ne peut être question de borne
supérieure dans C puisque ce corps n'est pas muni d'une relation d'ordre (a fortiori
d'une relation d'ordre total).
r. On obtient, bien évidemment, en considérant l'ensemble des opposés de la partie
envisagée, la propriété :
s. Toute partie non vide minorée de R admet une borne inférieure.
Définition.
On appelle valeur absolue d'un réel x, le réel, noté |x| , défini par :
|x|=max(x, -x).
t.
Propriétés.