Puisque on ne peut ni diviser par 0,ni extraire la racine sixi`eme d’un nombre
n´egatif, on a:
dom(f) = {x / (9 −3x)6= 0 et (9 −3x)≥0},
ce qui donne:
dom(f) = {x / (9 −3x)>0}={x / x < 3}= ]−∞,3[ .
Example 4 Soit f:x7−→ f(x) = ln(−|x|)
On a : dom(f) = ∅!
1.2 Construction axiomatique de Ret propri´et´es de base
On rappelle les divers ensembles de nombres:
N={0,1,2,3, ...}est l’ensemble des nombres entiers naturels.
Z={..., −3,−2,−1,0,1,2,3, ...}est l’ensemble des nombres entiers relatifs.
Qest l’ensemble des nombres rationnels. Par d´efinition si x∈Qalors x=p
q
o`u pet qsont des nombres relatifs premiers entre eux avec q6= 0.
Sur chacun de ces ensembles l’addittion + et la multiplication ×sont d´efinies;
de mˆeme que la relation d’ordre ≤.
Proposition 5 Si xest solution de l’´equation x2= 2 alors x /∈Q. On dit que
xest irrationnel.
D´emonstration : Elle se fait par l’absurde. On suppose que x=p
qo`u
p∈Zet q∈Z∗sont premiers entre eux. Si x2= 2 alors p2= 2q2et p2est pair
donc pest aussi pair. Ainsi p= 2kdonc p2= 4k2= 2q2.Donc 2k2=q2.Donc
qest pair. Ce qui est impossible car p et q sont premiers entre eux.
Definition 6 On note par Rl’ensemble des nombres r´eels. Il a ´et´e introduit
pour compl´eter l’ensemble Qdes nombres rationnels. On dit que xest un nombre
r´eel si et seulement si:
•ou bien x∈Q, x est dit rationnel
•ou bien x /∈Q, x est dit irrationnel.
Parmi les r´eels qui sont irrationnels, on peut citer : √2, π, e, ln(2).
On admet donc l’existence de l’ensemble de nombres r´eels R, qui contient l’ensemble
des nombres rationnels Qet qui v´erifie les axiomes suivants:
1. (R,+,×) est un corps commutatif.
2. (R,≤) est totalement ordonn´e: ∀(x,y)∈R2, ( x≤you y≤x).
3. La relation d’ordre ≤(inf´erieur ou ´egal) est compatible avec les op´erations
sur R
i) La relation d’ordre ≤est compatible avec l’addition + :
pour tout x, y, x0et y0des nombres r´eels :
3