Prolongement continu de $x^y$ en $(0,0)$
Bonjour à tous
J'ai lu à plusieurs reprises que l'on pouvait prolonger par continuité la fonction $f:(x,y)\mapsto x^y=e^{y\ln(x)}$ de $\mathbb{R}^2$ dans $\mathbb{R}$. Cependant j'observe que :
d'une part, $f(\frac{1}{n},\frac{1}{n})=e^{\frac{1}{n}\ln(\frac{1}{n})}$, et parce que $x\ln(x)$ tend vers 0 en 0, alors $f(\frac{1}{n},\frac{1}{n})$ tend vers $e^0=1$ en $+\infty$ ;
d'autre part, $f\big(e^{-n},\ln(1+\frac{1}{n})\big)=e^{\ln(1+\frac{1}{n})\ln(e^{-n})}=e^{-n\ln(1+\frac{1}{n})}=(1+\frac{1}{n})^{-n}=\big((1+\frac{1}{n})^n\big)^{-1}$ qui tend vers $e^{-1}\neq 1$ (résultat classique) en l'infini.
Donc on a trouvé deux suites de $\mathbb{R}^2$ tendant vers $(0,0)$ mais dont les images respectives par la fonction $f$ ne tendent pas vers la même limite.
Donc $f$ n'est pas prolongeable par continuité en $(0,0)$ (on peut montrer facilement qu'elle est continue pour $x$ réel positif et $y$ réel positif non nul).
Est-ce correct ?
Merci.
J'ai lu à plusieurs reprises que l'on pouvait prolonger par continuité la fonction $f:(x,y)\mapsto x^y=e^{y\ln(x)}$ de $\mathbb{R}^2$ dans $\mathbb{R}$. Cependant j'observe que :
d'une part, $f(\frac{1}{n},\frac{1}{n})=e^{\frac{1}{n}\ln(\frac{1}{n})}$, et parce que $x\ln(x)$ tend vers 0 en 0, alors $f(\frac{1}{n},\frac{1}{n})$ tend vers $e^0=1$ en $+\infty$ ;
d'autre part, $f\big(e^{-n},\ln(1+\frac{1}{n})\big)=e^{\ln(1+\frac{1}{n})\ln(e^{-n})}=e^{-n\ln(1+\frac{1}{n})}=(1+\frac{1}{n})^{-n}=\big((1+\frac{1}{n})^n\big)^{-1}$ qui tend vers $e^{-1}\neq 1$ (résultat classique) en l'infini.
Donc on a trouvé deux suites de $\mathbb{R}^2$ tendant vers $(0,0)$ mais dont les images respectives par la fonction $f$ ne tendent pas vers la même limite.
Donc $f$ n'est pas prolongeable par continuité en $(0,0)$ (on peut montrer facilement qu'elle est continue pour $x$ réel positif et $y$ réel positif non nul).
Est-ce correct ?
Merci.
Réponses
-
Aussi, pourquoi est-il également admis que cette fonction est prolongeable ?
-
C'est correct. Je ne sais pas qui t'a dit que l'on pouvait prolonger cette fonction par continuité en $(0, 0)$, c'est bien sûr faux.
Peut-être penses-tu à la convention $0^0=1$ qui intervient dans plusieurs contextes. -
Il n'est pas généralement admis que cette fonction soit continûment prolongeable. C'est la raison pour laquelle on considère « $0^0$ » comme une « forme indéterminée ».
-
Aguelord a écrit:Aussi, pourquoi est-il également admis que cette fonction est prolongeable ?
Alors l'application $g$ de $E$ dans $F$ définie par $g(x):= f(x)$ si $x\in D$ et $g(x):=y$ si $y\notin D$ prolonge $f$.
Ta fonction est bien prolongeable; elle n'est pas prolongeable par continuité (ce que tu as prouvé).Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$. -
Il n'a pas de nom particulier, c'est un prolongement, c'est tout. Toutes les fonctions partielles à valeurs dans un ensemble non vide sont prolongeables.Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$.
-
0^0 est un marronnier, la dernière conversation qu'on avait eue sur le forum à ce sujet se trouve ici: http://www.les-mathematiques.net/phorum/read.php?18,1850838,page=1Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$.
-
Pour moi, ce n'est pas tellement une convention que $0^0=1$, puisque ça doit être le cardinal de $\varnothing^{\varnothing}$ qui vaut effectivement $1$.
Est-ce qu'il y a d'autres valeurs parfois associées à $0^0$ ? Si oui, dans quels contextes, parce que je n'ai jamais vu autre chose que $1$... -
Oui, en tant que cardinal, il est tout à fait certain que $0^0=1$.
De plus dans les formules d'algèbre, cette valeur, convention ou non, est la seule qui assure une cohérence.
Par exemple, quand on note un polynôme comme d'habitude $\displaystyle P(x)=\underset{k=0}{\overset{n}{\sum }}a_{k}x^{k}$, seule la valeur $0^0=1$ assure que $P(0)=a_0$. Et il y a plein d'autres arguments.
On en a maintes fois parlé sur ce forum. C'est un des plus beaux marronniers du verger :-).
Bonne soirée.
Fr. Ch.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres