Lierre Aeripz a écrit:Il est clair que la fonction de deux variables
\in\mathbb{R}^*\times\mathbb{R} \to x^y)
n'admet pas de limite en zéro, donc on ne peut pas parler de prolongement par continuité.
Tout à fait d'accord !
En mathématiques, on peut parler des choses que l'on a définies.
Or, a priori,

n'est pas défini !
En général, pour définir une expression, on choisit la continuité. On peut par exemple définir

par :

. Comme

, il est clair que cette limite est égale à 1 !
Mais on peut aussi définir

par :

Pour y non rationnel,

est défini par
})
lorsque x est strictement positif, mais

ne l'est pas car le logarithme de 0 n'existe pas !
Cependant, si

, avec

et

,

, expression parfaitement définie et égale à 0 !
Alors,

= 0 !
Et puis, varions les plaisirs, on peut aussi chercher :
})
en choisissant une fonction f qui tend vers 0 lorsque x tend vers 0.
Par exemple, prenons
=\frac{1}{\ln(x)})
}=\lim_{x \to 0} x^{\frac{1}{\ln(x)}}=\lim_{x \to 0} e^{\frac{1}{\ln(x)}\times \ln(x)}=e)
Ou encore, prenons
=\frac{2}{\ln(x)})
}=\lim_{x \to 0} x^{\frac{2}{\ln(x)}}=\lim_{x \to 0} e^{\frac{2}{\ln(x)}\times \ln(x)}=e^2)
!!!
Toutes ces facéties ne sont possibles précisément que parce que, comme l'a dit très justement Lierre Aeripz "la fonction de deux variables
\in\mathbb{R}^*\times\mathbb{R} \to x^y)
n'admet pas de limite en zéro"
Toutes les définitions possibles sont légales ; une fois définie une expression, on a le droit de l'utiliser ! Mais l'utilisateur est alors tenu de dire quelle définition il choisit : ce ne sera pas une définition universelle !