<p>
Dans le paragraphe prcdent, on montre que si \(a \gt) 0, on peut dfinir une fonction qui
 tout nombre rationnel \(r) associe le nombre rel \(a^r) (qui sera strictement positif).

Si \(a \gt 1\), cette fonction est strictement croissante et si \(a \lt 1\),
elle est strictement dcroissante.
</p><p>
Tout nombre rel non rationnel \(x) peut tre encadr par des nombres
  dcimaux de plus en plus rapprochs
 et dont la diffrence est aussi petite que l'on veut ;
 l'cart entre les images par cette fonction pourra tre aussi rendu aussi petit que l'on veut, ce qui permet
 de dfinir \(a^x) comme la limite commune des images des bornes infrieures
 et suprieures de \(x)
 lorsque les carts tendent vers 0.
</p><p>
Par exemple, pour avoir un encadrement suffisamment prcis de \(2^\pi),
 il suffit d'avoir un encadrement assez prcis de \(\,\pi) :
\(3,14 \lt \pi \lt 3,15 \) donc \(2^{3,14} \lt 2^\pi \lt 2^{3,15}).
</p><p>
La fonction \(x \mapsto 2^x) est ainsi dfinie de
 \(\RR= \rbrack -\infty ; +\infty\lbrack\) dans \(\rbrack 0 ; +\infty\lbrack\)
 et elle est strictement croissante sur \(\rbrack -\infty ; +\infty\lbrack\).
Il en est de mme pour \(x \mapsto \pi^x).
</p><p>
Par contre, la fonction \(x \mapsto 0,5^x) est dfinie et strictement dcroissante
de \(\,\RR) dans \(\rbrack  0 ; +\infty\lbrack\).
</p>
