hilbert

Bonjour voilà un exercice que j'ai du mal à résoudre
E=L²([0,1])
=$\int_{0}^{1} f(x)g(x) dx$
soit f1 et f2 : [0,1] $\longrightarrow$ $\R$
f1(x)=1, f2(x)=2x-1
soit F=( f $\in$ E tq $\int_{0}^{1} f(x) dx$ }=0 et $\int_{0}^{1} f(x)f2(x) dx$=0 )
et soit g(x)=$x^3$
calculer d=distance(g,orthogonal de F)

j'arrive à un résultat en suposant que l'orthogonal de F est engendré par f1 et f2 puis en utilisant le fait que ||g||²=||p(g)||²+d²
avec p(g) la projection orth. de g sur l'orthogonal de F
ce résultat est 0.12453...
Est ce correct ? si oui comment peut on prouver que l'orthogonal de F est engendré par f1 et f2 ?
Merci d'avance

Réponses

  • Bonjour,
    Aucun problème : ta démarche est correcte(pas vérifié le résultat numérique, mais ne vaut-il pas mieux le laisser sous forme fractionnaire ou autre écriture précise ?).
    Quant à prouver que l'orthogonal de F est engendré par f1 et f2, c'est clair puisque :
    1) F=: l'orthogonal de {f1,f2}= l'orthogonal de vect(f1,f2) (facile à voir) ;

    2) si V est un sous-espace de E, l'orthogonal de l'orthogonal de V est V lui-même. D'où ton résultat avec V=vect (f1,f2).
    a +.
  • Merci en effet maintenant c'est clair et il est clair aussi que le résultat doit rester sous forme fractionnaire (mais j'ai fait ça un peu rapidement ...)
    @ +
  • Bonjour voilà un exercice que j'ai du mal à résoudre
    $E=L^2([0,1])$, $\displaystyle{=\int_{0}^{1} f(x)g(x) dx}$
    soit $f_1, f_2 : [0,1] \longrightarrow \R$ avec $f_1(x)=1$, $f_2(x)=2x-1$
    soit $\displaystyle{F=\left\{ f \in E \ \hbox{ tq } \int_{0}^{1} f(x) dx =0 \ \hbox{ et } \int_{0}^{1} f(x)f_2(x) dx=0 \right\} }$ et soit $g(x)=x^3$
    calculer $d=d(g,F^{\bot})$

    j'arrive à un résultat en suposant que $F^{\bot}$ est engendré par $f_1$ et $f_2$ puis en utilisant le fait que $||g||^2=||p(g)||^2+d^2$ avec $p(g)$ la projection orth. de $g$ sur $F^{\bot}$
    ce résultat est $0.12453$...
    Est ce correct ? si oui comment peut on prouver que $F^{\bot}$ est engendré par $f_1$ et $f_2$ ?
    Merci d'avance
Connectez-vous ou Inscrivez-vous pour répondre.