Soit une partie bornée contenant une infinité d’éléments.
Existe-t-il une fraction rationelle qui coïnciderait avec la fonction exponentielle sur ?
Hints
1Hint 1
Open this only if you want a small nudge before looking at the solutions.
Solutions
1Reveal solutionsAre you sure? Give it a try first.
On note la fraction rationnelle en question. Posons ainsi . C’est une fonction holomorphe sur qui s’annule sur , donc sur l’adhérence par continuité. Cet adhérence est fermée par définition et bornée car l’est, c’est donc un compact de . Il possède ainsi un point d’accumulation et une suite injective tendant vers ce point (car est infini). Mais alors s’annulerait en tous points de cette suite ainsi qu’en sa limite. Or est holomorphe donc, par le théorème des zéros isolés, est nulle sur tout . Donc l’exponentielle serait une fraction rationnelle, ce qui est clairement faux car son comportement asymptotique en l’infini (disons selon ) domine n’importe quelle fonction puissance, qui est le comportement asymptotique d’une fraction rationnelle en cet infini. Ainsi n’est pas égale à une fraction rationnelle sur un domaine borné infini de .
