Bourbaki

Corollaire 2

Étiquette 0E5S, permanente. À citer comme [Bourbaki, Tag 0E5S].

Functions of a Real Variable, chapter V, Appendix 0. Corps de Hardy. Fonctions (H)

Si yy est une fonction quelconque de A\mathbf{A}, A(ey)\mathbf{A}(e^y) est un corps de Hardy.

En effet, (ey)′=eyy′(e^y)' = e^y y', et y′y' est égale à une fonction de A\mathbf{A} dans un intervalle (x0,+∞[(x_0, +\infty[.

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.