Détermination d'un espace orthogonal
Réponses
-
On te fait remarquer que \(g\) appartient à \(F\) pour tout \(f\) ; si tu particularises pour \(f\) élément de de \(F^\perp\), alors: \(<f,g>=0\).
-
Donc si je prends f dans l'orthogonal de F alors j'ai g définie par g(x)=x*f(x) dans F donc <f,g>=0. Donc F orthognal est l'ensemble des fonctions de la forme g(x)=x*f(x) ? Je ne suis pas sûr de comprendre.
-
Si \(f\) appartient à \(F^\perp\), alors :
\[\mathopen{<}f,g\mathclose{>} = \int_0^1 f(x)\bigl(xf(x)\bigr)\,dx = 0.\]
Que peux-tu déduire de la nullité de l'intégrale ? -
Ah d'accord donc :
L'intégrale de x*(f(x))^2 qui est nulle
Or comme x est dans [0,1] x est positif donc l'intégrale d'une fonction positive qui est nulle donc la fonction est nulle. Donc pour tout x dans [0,1] x*(f(x))^2=0 donc f(x) =0. Donc F orthogonal est l'ensemble des fonctions nulles ? -
Tu vas un peu vite en besogne : \(xf(x)^2\) peut s'annuler à cause du facteur \(x\).
-
Tu pourras remarquer au passage que $F$ est strictement contenu [dans] $(F^\perp)^\perp=E$ et donc que $F \neq (F^\perp)^\perp$. Le charme de la dimension infinie ;-)
A+
F.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres