salut a tous.
voila jai une question: je me demandais si, pour integrer une fonction il faut necessairement que celle ci soit continue ou non.ce serait gentil si quelquin pourrait meclairer ladessus.
-----
salut a tous.
voila jai une question: je me demandais si, pour integrer une fonction il faut necessairement que celle ci soit continue ou non.ce serait gentil si quelquin pourrait meclairer ladessus.
Si je me rapelle bien mon cours de maths, elle doit être continue par partie, donc en gros elle doit être continue sur un nombre fini de sous intervalles. Mais j'attend confirmation.
Non non, il n'y a aucune obligation à être continue, même par morceaux.
Il y a un très beau résultat de Lebesgue qui dit qu"une fonction est intégable (au sens de Riemann mais on va pas compliquer) ssi l'ensemble de ses points de discontinuté est de mesure nulle (ce qui implique qu'il est au plus dénombrable).
Un exemple de telle fonction tordue :
f(x) = 0 si x € R\Q
f(p/q) = 1/q
On montre que f est continue en tout point de R\Q (et non continue ailleurs), elle est donc intégrable (et son intégrale vaut 0).
Ce qui est encore plus "rigolo", c'est que si on prolonge cette fonction en 0 en posant f(0)=1 alors non seulement cette fonction est intégrable, mais sa composée par elle même (fof) ne l'est pas ....
Sinon on a pas besoin d'utiliser le théorème de Lebesgue là dessus, en effet, montrer la continuité en R-Q revient dans ce cas à montrer son intégrabilité (au sens de Riemann)
ok.je crois que je comprends mieux maintenant.merci !!![]()
La grande question, c'est qu'appelle tu "intégrable" ? Au sens de "on peut trouver une primitive", ou bien (ce qui est la vraie définition) "mesurable et dont l'intégrale est finie" ?Envoyé par sinopy
salut a tous.
voila jai une question: je me demandais si, pour integrer une fonction il faut necessairement que celle ci soit continue ou non.ce serait gentil si quelquin pourrait meclairer ladessus.
Je suis un béotien en mesure. Que se passe-t'il si je poseEnvoyé par µµtt
Non non, il n'y a aucune obligation à être continue, même par morceaux.
Il y a un très beau résultat de Lebesgue qui dit qu"une fonction est intégable (au sens de Riemann mais on va pas compliquer) ssi l'ensemble de ses points de discontinuté est de mesure nulle (ce qui implique qu'il est au plus dénombrable).
Un exemple de telle fonction tordue :
f(x) = 0 si x € R\Q
f(p/q) = 1/q
On montre que f est continue en tout point de R\Q (et non continue ailleurs), elle est donc intégrable (et son intégrale vaut 0).
si
L'intégrale de Lebesgue diverge, de même que l'intégrale généralisée de Riemann. Le théorème n'est-il pas vrai pour une fonction dont l'ensemble des points de non continuité est négligeable *et* définie sur un compact ?
Par ailleurs, il me semble que la mesure du Cantor est nulle (et celui-ci n'est pas dénombrable)
euhh.. pourquoi il y une differance entre "trouver une primitive"et "fonction dont lintégrale est finie?"??Envoyé par Stephen
La grande question, c'est qu'appelle tu "intégrable" ? Au sens de "on peut trouver une primitive", ou bien (ce qui est la vraie définition) "mesurable et dont l'intégrale est finie" ?![]()
Oui. L'exponentielle admet une primitive (elle-même), et son intégrale est manifestement infinie. Les contre-exemples sont foisonnants.Envoyé par sinopy
euhh.. pourquoi il y une differance entre "trouver une primitive"et "fonction dont lintégrale est finie?"??
Tu sais que toute fonction continue admet une primitive, et il est assez évident que c'est une condition nécessaire (si une fonction admet une primitive, alors elle est la dérivée d'une fonction dérivable, elle est continue - c'est grossier mais ça passe).
Par contre, j'ai interprété ta question comme "est-ce que toute fonction (mesurable) dont l'intégrale est finie est continue (par morceaux)". La réponse dans ce cas semble donnée par, mais me semble valable seulement pour les fonctions définies sur un compact.
ca veut dire quoi "integrale infinie"?? enfin si cest compliqué à comprendre ce n'est pas la peine de te déranger(jai des lacunes en maths ...)Envoyé par Stephen
Oui. L'exponentielle admet une primitive (elle-même), et son intégrale est manifestement infinie. Les contre-exemples sont foisonnants.![]()
Ben tu intègres l'exponentielle deEnvoyé par sinopy
ca veut dire quoi "integrale infinie"?? enfin si cest compliqué à comprendre ce n'est pas la peine de te déranger(jai des lacunes en maths ...)à
. Tu le fais si tu veux en prenant la définition de l'intégrale que tu connais en calculant ton intégrale de
à
pour a > 0 puis tu fais tendre
vers
. Ca te donne l'infini.
En fait, le problème c'est qu'on jongle entre intégrale au sens de Riemann (qui se définit sur les compacts comme limite d'une somme sur des subdivisions puis se généralise en passant les bornes du compact à la limite) et intégrale au sens de Lebesgue, qui a un behavior différent![]()
oui j'ai saisi maintenant.merci beaucoup pour ces informations!!![]()
Stephen:
en effeit il faut également qu'elle soit définie sur un compact.
Cependant il n'y a pas l'équivalence entre "mesure nulle" et "dénombrabilité" il n'y a qu'une implication, et l'ensemble triadique de cantor en est un contre exemple.
Ok, et pour la fonction queEnvoyé par Quinto
Stephen:
en effeit il faut également qu'elle soit définie sur un compact.a définie ça marche encore parce qu'elle est intégrable d'intégrale nulle sur tout compact.
C'était le sens de mon propos (il me semble queEnvoyé par Quinto
Cependant il n'y a pas l'équivalence entre "mesure nulle" et "dénombrabilité" il n'y a qu'une implication, et l'ensemble triadique de cantor en est un contre exemple.a affirmé que négligeable => au plus dénombrable)
![]()