Existence et unicité de IR
Nous admettrons l'existence et l'unicité d'un ensemble
, dont les éléments sont appelés les nombres réels, et qui est muni de deux lois internes
et
, et d'une relation
, tel que
est un corps commutatif
est une relation d'ordre total dans
Toute partie non vide et majorée de
admet une borne supérieure
Définition : Ensemble borné
Soit
un sous ensemble de
. On dit que
est borné si et seulement si
est majorée et minorée
Définition : Plus grand élément, plus petit élément
Soit
On dit que
admet un plus grand élément
si et seulement si :
, et
est un majorant de
On note
On dit que
admet un plus petit élément
si et seulement si :
, et
est un minorant de
On note
Définition : Borne supérieure, borne inférieure
soit
On appelle borne supérieure le plus petit des majorants de
dans
, s'il existe. On le note
On appelle borne inférieure le plus grand des minorants de
dans
, s'il existe. On le note
Définition : Intervalle de IR
Soient
deux réels tels que
On appelle intervalle fermé de
d'extrémité
et
l'ensemble notée
des
tels que
.On appelle intervalle ouvert de
d'extrémité
et
l'ensemble noté
des
tels que
. On appelle intervalle fermé à gauche, ouvert à droite de
d'extrémité
et
l'ensemble noté
des
tels que
.On appelle intervalle ouvert à gauche, fermé à droite de
d'extémité
et
l'ensemble noté
des
tels que
.On appelle intervalle semi-ouvert un intervalle fermé à gauche et ouvert à droite ou un intervalle ouvert à gauche et fermé à droite.
Définition : Voisinage d'un point
Soit
. On appelle voisinage de
tout sous ensemble
de
qui contient un intervalle ouvert contenant
:Soit
. On appelle voisinage de
tout sous ensemble
de
qui contient un sous ensemble du type
où
,
,
,
sont 4 réels strictement positifs.Soit
. On appelle voisinage de
tout sous ensemble
de
qui contient un sous ensemble du type
où
sont des réels strictement positifs.
Remarque :
Dire que
est un voisinage du point
signifie en fait que les points les "plus proches'' de
sont dans
.
Exemple :
Nous donnons ci-dessous deux exemples correspondant aux deux premiers cas de la définition
est un voisinage de 2,1. Il suffit en effet de prendre
et
.
n'est pas un voisinage de 5 car si
nous avons toujours
.L'ensemble
représenté ci-dessous est un voisinage du point
.





