par sos-math(21) » sam. 13 juin 2020 07:48
Bonjour,
tu travailles ici sur une application linéaire T d'un espace vectoriel de fonctions. Donc T est l'application linéaire et T(f) est l'image du vecteur f, ici une fonction par l'application T : un peu comme f et f(x), T est l'application globale, T(f) est une image particulière.
Pour T(Fw)⊂Fw, il suffit de considérer les vecteurs générateurs de ton espace vectoriel Fw, à savoir φ1,φ2,φ3,φ4 et de vérifier que leurs images respectives sont bien dans Fw.
C'est bien le cas puisque les calculs effectifs des images amènent :
T(φ1)=αφ1∈Fw
T(φ2)=βφ2∈Fw
T(φ3)=γφ2+δφ3∈Fw
T(φ4)=λφ1+θφ4∈Fw
Une fois cela prouvé, c'est terminé, car tout élément élément de Fw s'écrivant φ=λ1φ1+λ2φ2+λ3φ3+λ4φ4, son image s'écrira par linéarité de T : T(φ)=λ1T(φ1)⏟∈Fw+λ2T(φ2)⏟∈Fw+λ3T(φ3)⏟∈Fw+λ4T(φ4)⏟∈Fw
donc on aura T(ϕ)∈Fw ce qui prouvera T(Fw)⊂Fw.
Est-ce plus clair ? C'est une démarche classique en algèbre linéaire, on démontre une propriété pour une famille génératrice ou une base d'un espace vectoriel et on en déduit la propriété sur tout vecteur de cet espace vectoriel, par linéarité.
Bonne continuation
Bonjour,
tu travailles ici sur une application linéaire T d'un espace vectoriel de fonctions. Donc T est l'application linéaire et T(f) est l'image du vecteur f, ici une fonction par l'application T : un peu comme f et f(x), T est l'application globale, T(f) est une image particulière.
Pour T(Fw)⊂Fw, il suffit de considérer les vecteurs générateurs de ton espace vectoriel Fw, à savoir φ1,φ2,φ3,φ4 et de vérifier que leurs images respectives sont bien dans Fw.
C'est bien le cas puisque les calculs effectifs des images amènent :
T(φ1)=αφ1∈Fw
T(φ2)=βφ2∈Fw
T(φ3)=γφ2+δφ3∈Fw
T(φ4)=λφ1+θφ4∈Fw
Une fois cela prouvé, c'est terminé, car tout élément élément de Fw s'écrivant φ=λ1φ1+λ2φ2+λ3φ3+λ4φ4, son image s'écrira par linéarité de T : T(φ)=λ1T(φ1)⏟∈Fw+λ2T(φ2)⏟∈Fw+λ3T(φ3)⏟∈Fw+λ4T(φ4)⏟∈Fw
donc on aura T(ϕ)∈Fw ce qui prouvera T(Fw)⊂Fw.
Est-ce plus clair ? C'est une démarche classique en algèbre linéaire, on démontre une propriété pour une famille génératrice ou une base d'un espace vectoriel et on en déduit la propriété sur tout vecteur de cet espace vectoriel, par linéarité.
Bonne continuation