Donc voila je suis bloqué sur un DM.
Soient f et g deux fonctions continues de [0,1] dans R tel que l'application
(f,g)->
soit un produit scalaire.
Donc j'arrive facilement a montrer que l'application est une forme bilinéaire symétrique et positive mais je n'arrive pas a montrer que c'est défini-positif parce que ma fonction
n'est ni continue ni continue par morceau sur le segment [0,1]...
Quelqu'un peut-il m'aider? merci
En fait j'ai un théorème qui me dit que si l'intégrale sur un segment d'une fonction continue sur ce segment est nulle alors cette fonction est nulle, mais c'est pour un segment et je ne sais pas si je peux l'appliquer sur un ouvert ]0,1[?
Salut
Eh bien déjà tu peux affirmer que l'intégrande est nul sur ]0,1[ !
Il reste à voir ce qui se passe en 0 et en 1 :
Supposons f non nulle en 0 ou 1, alors l'intégrande va tendre vers l'infini en ces points, ce qui contredit le caractère intégrable de ce dernier.
Supposons f non nulle en 0 ou 1, alors l'intégrande va tendre vers l'infini en ces points, ce qui contredit le caractère intégrable de ce dernier.
Je ne comprend pas trop où tu veux en venir. La fonction f est continue sur [0,1] mais est quelconque. L'intégrande est toujours intégrable puisque se comporte comme du ^1/2 au voisinage des singularité, ce qui est bien intégrable, non ?
Pour montrer que c'est non dégénéré c'est facile, tu as l'intégrale d'une fonction positive continue et on sait que c'est toujours positif et que c'est nul si et seulement si la fonction est nulle.
Si tu n'as le résultat que pour les intégrales définies, ce n'est pas difficile de généraliser le résultat en prenant l'intégrale sur un ensemble [a,b] inclus dans (0,1) et de faire tendre a et b vers 0 et 1.
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :