Produit scalaire

[Anonyme]

bonjour,

soit E l'espace des fonctions continues sur [0;1] et F le sev des fonctions
polynomiales.
On définit = int(f(t)g(t),t,0,1)
Pourquoi est-ce que la seule fonction orthogonale à tous les polynômes est
la fonction nulle ??
merci de votre aide

[Anonyme]

"hopper" a écrit dans le message de
news:4167bbac$0$305$626a14ce@news.free.fr...
> bonjour,
>
> soit E l'espace des fonctions continues sur [0;1] et F le sev des
fonctions
> polynomiales.
> On définit = int(f(t)g(t),t,0,1)
> Pourquoi est-ce que la seule fonction orthogonale à tous les polynômes est
> la fonction nulle ??
> merci de votre aide
>

Considère une fonction f continue sur [0;1] qui ne soit pas la fonction
nulle.
Elle est continue sur [0;1], donc tu peux couper [0;1] en intervalles où
cette fonction est de signe constant.
Tu peux alors construire un polynôme P qui a le même signe que f sur [0;1].
Du coup, sur [0;1], le produit f(t)P(t) est toujours positif, et c'est une
fonction continue. Donc, si ton produit scalaire est nul, c'est que ...


--
Psyko Niko

[Anonyme]

> Elle est continue sur [0;1], donc tu peux couper [0;1] en intervalles où
> cette fonction est de signe constant.

Classique. C'est même faux pour certaines fonctions C^infini...

--
Yves

[Anonyme]

> > soit E l'espace des fonctions continues sur [0;1] et F le sev des
> fonctions[color=green]
> > polynomiales.
> > On définit = int(f(t)g(t),t,0,1)
> > Pourquoi est-ce que la seule fonction orthogonale à tous les polynômes[/color]
est[color=green]
> > la fonction nulle ??
> > merci de votre aide
> >
>
> Considère une fonction f continue sur [0;1] qui ne soit pas la fonction
> nulle.
> Elle est continue sur [0;1], donc tu peux couper [0;1] en intervalles où
> cette fonction est de signe constant.
> Tu peux alors construire un polynôme P qui a le même signe que f sur[/color]
[0;1].
>

Non, parce que les points d'annulation ne sont pas forcément en nombre fini.
J'aurais dit par le th. de Stone-Weierstrass qu'il existe une suite de
polynôme P_n telle que |P_n(x)-f(x)| = 0 pour tout n entraîne que = 0 par continuité du produit
scalaire et alors f = 0 par continuité de f^2.
Y'a peut-être moyen de bricoler un truc plus élémentaire selon l'idée du
post précédent ...

[Anonyme]

>Tu peux alors construire un polynôme P qui a le même signe que f sur
>[0;1].
comment ?
merci

[Anonyme]

"Julien Santini" , dans le message (fr.education.entraide.maths:58484),
a écrit :
> J'aurais dit par le th. de Stone-Weierstrass qu'il existe une suite de
> polynôme P_n telle que |P_n(x)-f(x)| = 0 pour tout n entraîne que = 0 par continuité du produit
> scalaire et alors f = 0 par continuité de f^2.
> Y'a peut-être moyen de bricoler un truc plus élémentaire selon l'idée du
> post précédent ...

Oui, dans la mesure où ce cas particulier de Stone-Weierstrass (densité
des fonctions polynômes sur un segment dans l'ensemble des fonctions
continues pour la norme du sup) est beaucoup plus élémentaire que le cas
général; il est d'ailleurs au programme de spé (mais pas sa preuve, qui
utilise les polynômes de Bernstein), sous le nom de "(premier) théorème de
Weierstrass".

--
Yves

[Anonyme]

"Julien Santini" a écrit dans le message de
news:4167c062$0$8667$8fcfb975@news.wanadoo.fr...[color=green][color=darkred]
> > > soit E l'espace des fonctions continues sur [0;1] et F le sev des
> > fonctions
> > > polynomiales.
> > > On définit = int(f(t)g(t),t,0,1)
> > > Pourquoi est-ce que la seule fonction orthogonale à tous les polynômes[/color]
> est[color=darkred]
> > > la fonction nulle ??
> > > merci de votre aide
> > >
> >
> > Considère une fonction f continue sur [0;1] qui ne soit pas la fonction
> > nulle.
> > Elle est continue sur [0;1], donc tu peux couper [0;1] en intervalles où
> > cette fonction est de signe constant.
> > Tu peux alors construire un polynôme P qui a le même signe que f sur[/color]
> [0;1].
> >
>
> Non, parce que les points d'annulation ne sont pas forcément en nombre[/color]
fini.

Accordé, comme quoi c'est une lointaine époque pour moi.

> Y'a peut-être moyen de bricoler un truc plus élémentaire selon l'idée du
> post précédent ...

On doit pouvoir se restreindre à un intervalle ( ou plutôt une réunion finie
d'intervalles ) inclus dans [0;1] sur lequel le nombre de zéros de f est
fini, et majorer l'erreur partant du fait que f est bornée ( continue sur un
compact ). Reste un problème : on peut facilement majorer f avant de choisir
ce sous-ensemble de [0;1], mais pour majorer ensuite le produit de f et de P
....
C'est sûr que le théorème de Stone Weierstrass est plus expéditif.

--
Psyko Niko

[Anonyme]

hopper demande:

> soit E l'espace des fonctions continues sur [0;1] et F le sev des fonctions
> polynomiales.
> On définit = int(f(t)g(t),t,0,1)
> Pourquoi est-ce que la seule fonction orthogonale à tous les polynômes est
> la fonction nulle ??

Pour a1/2, tu considères les polynômes P_n(x)=b_n[x(x-2a)]^n et tu
appliques exactement le même raisonnement.

--
Benoît RIVET

[Anonyme]

merci à tous

[Anonyme]

stone weierstrass nous dis que les polynomes sont denses pour la norme sup en
particulier pour la norme N1 donc toute fonction est limite de poly et si f est
ortho aux poly elle est ortho à elle meme donc vaux 0!