Sommes de s.e.v
Exercice
3704. Montrer que, dans $\mathbb{R}^3$, les deux vecteurs $\vec{x}=(1,1,0)$ et $\vec{y}=(1,0,1)$ engendrent le même $\mathrm{sev}$ que les deux vecteurs $\vec{u}=(1,3,-2)$ et $\vec{v}=(1,4,-3)$.
Exercice
3705. Soient $E$ un $K$-ev, $A,B$ des $\mathrm{sev}$ de $E$, $C$ un supplémentaire de $A\cap B$ dans $B$, c’est-à-dire un $\mathrm{sev}$ de $E$ tel que : $(A\cap B)\oplus C=B$.\\
Montrer que $A$ et $C$ sont supplémentaires dans $A+B$.
Exercice
3706. Soient $E$ un $K$-ev, $F,G,H$ des $\mathrm{sev}$ de $E$. On suppose :\\
$F\cap G \subset F\cap H,\quad F+G \subset F+H,\quad H\subset G$.\\
Montrer : $H=G$.
Exercice
3707. On note $E=\mathbb{R}^4$ et on considère :\\
$\vec{x}=(1,-1,1,-1)$,\quad $\vec{y}=(1,2,3,4)$,\quad $F=\mathrm{Vect}(\vec{x},\vec{y})$.\\
- Former un système d’équations cartésiennes de $F$.\\
- Déterminer un supplémentaire de $F$ dans $E$, par une base, et par un système d’équations cartésiennes.
Exercice
3708. On note $E=\mathbb{R}^{\mathbb{R}}$ le $\mathbb{R}$-ev de toutes les applications de $\mathbb{R}$ dans $\mathbb{R}$ et :\\
$F=\{f\in E\;;\;f(0)=0\}$,\quad $A=C_E(F)=\{g\in E\;;\;g(0)\neq 0\}$.\\
- Vérifier que $F$ est un $\mathrm{sev}$ de $E$. Est-ce que $A$ est un $\mathrm{sev}$ de $E$ ?\\
- Montrer que, pour toute $g\in A$, la droite vectorielle $\mathbb{R}g$ est un supplémentaire de $F$ dans $E$.
Exercice
3709. On note $E=C^1([0;1],\mathbb{R})$ le $\mathbb{R}$-ev des applications de classe $C^1$ sur $[0;1]$ à valeurs réelles,\\
$F=\{f\in E\;;\;\integrale{0}{1}{f(x)}{x}=0,\;f(0)=0,\;f'(1)=0\}$,\\
$e_k:[0;1]\to\mathbb{R},\;x\mapsto x^k$ pour $k\in\{0,1,2\}$,\\
$G=\{a_0e_0+a_1e_1+a_2e_2\;;\;(a_0,a_1,a_2)\in\mathbb{R}^3\}$.\\
Montrer que $F$ et $G$ sont deux $\mathrm{sev}$ de $E$ supplémentaires dans $E$.
Exercice
3710. Soit, dans $\R^3$, les quatre vecteurs suivants :\\
\[
v_1=(1,1,-1),\qquad v_2=(1,2,4),\qquad v_3=(3,-1,a),\qquad v_4=(2,3,b).
\]
Déterminer $a$ et $b$ tels que $\mathrm{Vect}(v_1,v_2)=\mathrm{Vect}(v_3,v_4)$.
Exercice
3711. Soit $E$ un $\K$-ev, $A$, $B$ et $C$ des sev de $E$. Montrer que :\\
- $A\cap B=A+B\Longrightarrow A=B$\\
- $(A\cap B)+(A\cap C)\subset A\cap(B+C)$\\
- $A+(B\cap C)\subset (A+B)\cap(A+C)$\\
- $A\subset B\Longrightarrow A+(B\cap C)=(A+B)\cap(A+C)$\\
- $(A\cap B)+(B\cap C)+(C\cap A)\subset (A+B)\cap(B+C)\cap(C+A)$
Exercice
3712. Soit $S\subset\R$ telle que $-S=S$, c’est à dire que pour tout $x\in S$, $-x$ est encore élément de $S$.\\
Soit :\\
\[
P=\{f\in\R^S,\ \forall x\in S,\ f(-x)=f(x)\},\qquad I=\{f\in\R^S,\ \forall x\in S,\ f(-x)=-f(x)\}.
\]
Montrer que $P$ et $I$ sont des sev supplémentaires dans $\R^S$.
Exercice
3713. Soit $E$ un $\K$-ev, $E_1,\ldots,E_n,F_1,\ldots,F_n$ des sev de $E$ tels que :\\
\[
\bigoplus_{i=1}^{n}E_i=\bigoplus_{i=1}^{n}F_i
\qquad\text{et}\qquad
\forall i\in\llbracket 1,n\rrbracket,\ E_i\subset F_i.
\]
Montrer que pour tout $i\in\llbracket 1,n\rrbracket$, $E_i=F_i$.
Exercice
3714. Montrer que $F=\{f\in\R^\R\mid f(1)=0\}$ et $G=\{f\in\R^\R\mid \exists a\in\R,\ \forall x\in\R,\ f(x)=ax\}$.\\
Montrer que $F$ et $G$ sont des sous-espaces vectoriels supplémentaires dans $\R^\R$.
Exercice
3715. Soit $n$ un entier naturel. Soit $P\in\R[X]$ de degré $n+1$. On note $P\cdot\R[X]$ l’ensemble des polynômes divisibles par $P$.\\
- Montrer que $P\cdot\R[X]$ est un sous-espace vectoriel de $\R[X]$.\\
- Montrer que $\R_n[X]$ et $P\cdot\R[X]$ sont supplémentaires dans $\R[X]$.
Exercice
3716. Soient $E$ un $\K$-ev, $A,B,C$ trois sev de $E$ tels que $A\subset C$ et $A$ et $B$ sont supplémentaires dans $E$.\\
Montrer que $A$ et $B\cap C$ sont supplémentaires dans $C$.
Exercice
3717. Soit $E = \R[X]$ et $A \in \R[X]\backslash \{0\}$. \\
On note $n = deg(A)$. \\
On pose $F = \{P \in \R[X] \; / \;A \mid P \}$. \\
Montrer que $F + \R_{n-1}[X] = E$.
Exercice
3718. Soit $E = \R^n$ est un s.e.v de $E$. \\
On pose $H = \{(x_1,\hdots,x_n) \in \R^n \; / \; x_1+\hdots+x_n = 0 \}$. \\
On note $e = (1,\hdots,1) \in E$. \\
Soit $D = vect(e)$. \\
Montrer que $H+D=E$.
Exercice
3719. On pose $F = \{P \in \R_3[X], P'(1)=0\}$ et $G = vect(X^3+2)$. \\
On admet que $F$ est un sous-espace vectoriel de $\R_3[X]$. \\
Montrer que $F$ et $G$ sont en somme directe.
Exercice
3720. Comparer $\mathrm{Vect}(A\cap B)$ et $\mathrm{Vect}(A)\cap \mathrm{Vect}(B)$.
Exercice
3721. Soient $F$, $G$ et $H$ des sous-espaces vectoriels d’un $K$-espace vectoriel $E$.\\
Comparer :\\
- $F\cap(G+H)$ et $(F\cap G)+(F\cap H)$\\
- $F+(G\cap H)$ et $(F+G)\cap(F+H)$
Exercice
3722. Soient $F$, $G$ et $H$ trois sous-espaces vectoriels d’un $K$-espace vectoriel $E$.\\
Montrer que
\[
F\subset G \Longrightarrow F+(G\cap H)=(F+G)\cap(F+H).
\]
Exercice
3723. Soient $F,G,F',G'$ des sous-espaces vectoriels de $E$ tels que
\[
F\cap G=F'\cap G'.
\]
Montrer que
\[
\bigl(F+(G\cap F')\bigr)\cap\bigl(F+(G\cap G')\bigr)=F.
\]
Exercice
3724. Soient $E$, $F$ et $G$ trois $\K$-espaces vectoriels. On suppose les conditions suivantes :\\
$E\cap F=E\cap G$\\
$E+F=E+G$\\
$F\subset G$\\
- Montrer que $F=G$.\\
- L’hypothèse $F\subset G$ est-elle vraiment nécessaire ?
Exercice
3725. Soient $\mathcal{A}$ et $\mathcal{B}$ deux sous-espaces affines de $E$.\\
- Montrer que $\mathcal{A}\cap\mathcal{B}$ est soit vide, soit un sous-espace affine de $E$.\\
- On suppose que \[ \vec{\mathcal{A}}\oplus\vec{\mathcal{B}}=E. \] Montrer que $\mathcal{A}\cap\mathcal{B}$ est un singleton.
Exercice
3726. Soient $F_1,F_2,\ldots,F_p$ des sous-espaces vectoriels. Montrer que la somme
\[
F_1+F_2+\cdots+F_p
\]
est directe si, et seulement si, pour tout $j \in [|2,p|]$,
\[
F_j \cap (F_1+\cdots+F_{j-1})=\{0\}.
\]
Exercice
3727. Pour $d\in\mathbb{N}$, notons $H_d$ l’ensemble formé des fonctions polynomiales de $\mathbb{R}^2$ vers $\mathbb{R}$ homogènes de degré $d$, c’est-à-dire pouvant s’écrire comme combinaison linéaire de monômes homogènes de degré $d$.\\
Montrer que $(H_d)_{0 \leqslant d \leqslant n}$ est une famille de sous-espaces vectoriels en somme directe.
Exercice
3728. Dans $\R^3$, on pose $\vec u=(1,3,-1)$, $\vec v=(1,1,0)$, $\vec w=(-1,1,2)$ et $\vec x=(2,3,1)$. On pose
\[
F=\Vect(\vec u,\vec v) \quad \mathrm{et} \quad G=\Vect(\vec w,\vec x).
\]
- Déterminer une base de $F$ et une base de $G$.\\
- Expliciter des équations permettant de caractériser les éléments de $F$ et les éléments de $G$.\\
- En déduire une base de $F\cap G$.
Exercice
3729. On pose $F=\{f:\mathbb{R}\to\mathbb{R}\;|\;f\;\mathrm{de\;p\acute{e}riode}\;1\}$\\
et $G=\{f:\mathbb{R}\to\mathbb{R}\;|\;f\;\mathrm{de\;limite}\;0\;\mathrm{en}\;+\infty\}$.\\
- Montrer que $F$ et $G$ sont des espaces en somme directe dans $\mathbb{R}^{\mathbb{R}}$.\\
- Sont-ils supplémentaires ?
Exercice
3730. Soient $E$, $F$ et $G$ trois sous-espaces vectoriels d'un espace vectoriel $A$.\\
- Est-il vrai que $E\cap(F+G)=(E\cap F)+(E\cap G)$ ?\\
- Est-il vrai que $E\cap(F+(E\cap G))=(E\cap F)+(E\cap G)$ ?