Menu Close

F-et-G-deux-sous-espaces-vectoriels-de-E-a-montrer-que-F-G-F-G-F-G-b-quand-dit-on-que-les-deux-sous-espaces-vectoriels-F-et-G-sont-supplementaires-




Question Number 146004 by puissant last updated on 10/Jul/21
F et G deux sous espaces vectoriels de E  a) montrer que (F∩G=F+G)⇔(F=G)  b) quand dit−on que les deux sous espaces   vectoriels F et G sont supplementaires?
$$\mathrm{F}\:\mathrm{et}\:\mathrm{G}\:\mathrm{deux}\:\mathrm{sous}\:\mathrm{espaces}\:\mathrm{vectoriels}\:\mathrm{de}\:\mathrm{E} \\ $$$$\left.\mathrm{a}\right)\:\mathrm{montrer}\:\mathrm{que}\:\left(\mathrm{F}\cap\mathrm{G}=\mathrm{F}+\mathrm{G}\right)\Leftrightarrow\left(\mathrm{F}=\mathrm{G}\right) \\ $$$$\left.\mathrm{b}\right)\:\mathrm{quand}\:\mathrm{dit}−\mathrm{on}\:\mathrm{que}\:\mathrm{les}\:\mathrm{deux}\:\mathrm{sous}\:\mathrm{espaces}\: \\ $$$$\mathrm{vectoriels}\:\mathrm{F}\:\mathrm{et}\:\mathrm{G}\:\mathrm{sont}\:\mathrm{supplementaires}? \\ $$
Answered by Olaf_Thorendsen last updated on 10/Jul/21
a)  F+G = {u, f∈F, g∈G, u = f+g}  F∩G = {u, f∈F, g∈G, u = f+g,  u∈F, u∈G}  F∩G = F+G ⇔f∈F, g∈G,  (f+g)∈F (1), (f+g)∈G (2)  (1) : necessairement g∈F ⇔ G=F  (2) : necessairement f∈G ⇔ F=G  Conclusion : (F∩G=F+G)⇔(F=G)  b)  Deux sous−espaces vectoriels sont  supplementaires dans E si tout vecteur   u de E s′ecrit de maniere unique  comme somme d′un vecteur f de F  et d′un vecteur g de G :  ∀u∈E, ∃(f,g)∈F×G, u = f+g  On dit alors aussi que Fet G sont en  somme directe dans E et l′on note :  E = F⊕G  et comme consequence :  dim(E) = dim(F)+dim(G)
$$\left.{a}\right) \\ $$$$\mathrm{F}+\mathrm{G}\:=\:\left\{{u},\:{f}\in\mathrm{F},\:{g}\in\mathrm{G},\:{u}\:=\:{f}+{g}\right\} \\ $$$$\mathrm{F}\cap\mathrm{G}\:=\:\left\{{u},\:{f}\in\mathrm{F},\:{g}\in\mathrm{G},\:{u}\:=\:{f}+{g},\right. \\ $$$$\left.{u}\in\mathrm{F},\:{u}\in\mathrm{G}\right\} \\ $$$$\mathrm{F}\cap\mathrm{G}\:=\:\mathrm{F}+\mathrm{G}\:\Leftrightarrow{f}\in\mathrm{F},\:{g}\in\mathrm{G}, \\ $$$$\left({f}+{g}\right)\in\mathrm{F}\:\left(\mathrm{1}\right),\:\left({f}+{g}\right)\in\mathrm{G}\:\left(\mathrm{2}\right) \\ $$$$\left(\mathrm{1}\right)\::\:\mathrm{necessairement}\:{g}\in\mathrm{F}\:\Leftrightarrow\:\mathrm{G}=\mathrm{F} \\ $$$$\left(\mathrm{2}\right)\::\:\mathrm{necessairement}\:{f}\in\mathrm{G}\:\Leftrightarrow\:\mathrm{F}=\mathrm{G} \\ $$$$\mathrm{Conclusion}\::\:\left(\mathrm{F}\cap\mathrm{G}=\mathrm{F}+\mathrm{G}\right)\Leftrightarrow\left(\mathrm{F}=\mathrm{G}\right) \\ $$$$\left.{b}\right) \\ $$$$\mathrm{Deux}\:\mathrm{sous}−\mathrm{espaces}\:\mathrm{vectoriels}\:\mathrm{sont} \\ $$$$\mathrm{supplementaires}\:\mathrm{dans}\:\mathrm{E}\:\mathrm{si}\:\mathrm{tout}\:\mathrm{vecteur}\: \\ $$$${u}\:\mathrm{de}\:\mathrm{E}\:\mathrm{s}'\mathrm{ecrit}\:\mathrm{de}\:\mathrm{maniere}\:\mathrm{unique} \\ $$$$\mathrm{comme}\:\mathrm{somme}\:\mathrm{d}'\mathrm{un}\:\mathrm{vecteur}\:{f}\:{de}\:\mathrm{F} \\ $$$$\mathrm{et}\:\mathrm{d}'\mathrm{un}\:\mathrm{vecteur}\:{g}\:\mathrm{de}\:\mathrm{G}\:: \\ $$$$\forall{u}\in\mathrm{E},\:\exists\left({f},{g}\right)\in\mathrm{F}×\mathrm{G},\:{u}\:=\:{f}+{g} \\ $$$$\mathrm{On}\:\mathrm{dit}\:\mathrm{alors}\:\mathrm{aussi}\:\mathrm{que}\:\mathrm{Fet}\:\mathrm{G}\:\mathrm{sont}\:\mathrm{en} \\ $$$$\mathrm{somme}\:\mathrm{directe}\:\mathrm{dans}\:\mathrm{E}\:\mathrm{et}\:\mathrm{l}'\mathrm{on}\:\mathrm{note}\:: \\ $$$$\mathrm{E}\:=\:\mathrm{F}\oplus\mathrm{G} \\ $$$$\mathrm{et}\:\mathrm{comme}\:\mathrm{consequence}\:: \\ $$$$\mathrm{dim}\left(\mathrm{E}\right)\:=\:\mathrm{dim}\left(\mathrm{F}\right)+\mathrm{dim}\left(\mathrm{G}\right) \\ $$

Leave a Reply

Your email address will not be published. Required fields are marked *