Intégrale MPSI
Publié : 15 janv. 2020 20:29
Bonsoir,
Soit f une fonction de 0;1 dans R continue, déterminer la limite de $ lim\int_{0}^{1}f(t^n)dt $.
Par inégalité triangulaire, appliqué à l'intégrale de f-f(0) sur 0;1 et en utilisant la continuité de f en 0, j'ai trouvé que la limite tendait vers f(0). Pourtant, il y a un problème majeur de dépendance de variable dans mon raisonnement, mais je n'arrive pas à le trouver, sachant que l'exercice se fait normalement en intégrant la fonction sur deux intervalles distincts.
J'ai donc écrit chaque énoncé avec des quantificateurs mais je ne vois toujours pas mon problème de dépendance :
Pour tout $ \eta $ il existe un N tel que pour n>N t^n<$ \eta $
Par continuité de f en 0 Pour tout e il existe un $ \eta $ tel que abs(f(x)-f(0))<e
Donc n dépend de $ \eta $ et $ \eta $ dépend de e.
Donc pour n>N je peux majorer mon intégrale, ce qui conclut
Où est ma faute
Soit f une fonction de 0;1 dans R continue, déterminer la limite de $ lim\int_{0}^{1}f(t^n)dt $.
Par inégalité triangulaire, appliqué à l'intégrale de f-f(0) sur 0;1 et en utilisant la continuité de f en 0, j'ai trouvé que la limite tendait vers f(0). Pourtant, il y a un problème majeur de dépendance de variable dans mon raisonnement, mais je n'arrive pas à le trouver, sachant que l'exercice se fait normalement en intégrant la fonction sur deux intervalles distincts.
J'ai donc écrit chaque énoncé avec des quantificateurs mais je ne vois toujours pas mon problème de dépendance :
Pour tout $ \eta $ il existe un N tel que pour n>N t^n<$ \eta $
Par continuité de f en 0 Pour tout e il existe un $ \eta $ tel que abs(f(x)-f(0))<e
Donc n dépend de $ \eta $ et $ \eta $ dépend de e.
Donc pour n>N je peux majorer mon intégrale, ce qui conclut
Où est ma faute