L'ensemble de définition d'une fonction réelle \(f\)
est défini comme le plus grand ensemble possible \(D\subset \mathbb{R}\) tel que
le nombre \(f(x)\) est bien défini pour chaque \(x\in D\).
\([0,\infty[\). Oui: la fonction \(x\mapsto x^{1/3}\) se construit comme
la fonction \(x\mapsto x^{1/2}\): on fixe \(y\geqslant 0\), et on montre qu'il existe
un réel \(x\geqslant 0\) tel que \(x^3=y\).
Donc son domaine est \(\mathbb{R}_+\).
Après, c'est vrai que l'on peut étendre son domaine à tout \(\mathbb{R}\) si on veut en
posant, pour un \(x\leqslant 0\), \(x^{1/3}:= -(-x)^{1/3}\).
Donc il n'est pas complètement
faux de dire que le domaine de la fonction de cet exercice est \(\mathbb{R}\).
Remarque: rendez vous
ici
et demandez de vous faire le graphe de \(x^{1/3}\)
(pow(x,1/3)); on voit que seulement les valeurs positives
de \(x\) sont considérées.