Exercice 1 · Sous-espace ou non
application●●●Pour chacune des parties suivantes, dire si c'est un sous-espace vectoriel de l'espace indiqué, et le justifier.
- $A=\{(x,y,z)\in\mathbb{R}^3\mid x+y=z\}$, dans $\mathbb{R}^3$.
- $B=\{(x,y,z)\in\mathbb{R}^3\mid xy=0\}$, dans $\mathbb{R}^3$.
- $C=\{(x,y,z)\in\mathbb{R}^3\mid x+y+z=1\}$, dans $\mathbb{R}^3$.
- $D=\Big\{f\in\mathcal{C}^0([0,1],\mathbb{R})\ \Big|\ \displaystyle\int_0^1 f(t)\,\mathrm{d}t=f(0)\Big\}$, dans $\mathcal{C}^0([0,1],\mathbb{R})$.
- $S=\{u\in\mathbb{R}^{\mathbb{N}}\mid \forall n\in\mathbb{N},\ u_{n+1}=u_n^2\}$, dans $\mathbb{R}^{\mathbb{N}}$.
Commencer chaque fois par tester la présence du vecteur nul.
Une condition non linéaire (produit, carré) fait souvent échouer la stabilité : chercher un contre-exemple chiffré.
Pour $D$, utiliser la linéarité de l'intégrale et de l'évaluation en $0$.
1. $A\subset\mathbb{R}^3$ et $(0,0,0)\in A$ car $0+0=0$. Soit $u=(x,y,z)$ et $u'=(x',y',z')$ dans $A$, et $\lambda,\mu\in\mathbb{R}$. Alors
$$(\lambda x+\mu x')+(\lambda y+\mu y')=\lambda(x+y)+\mu(x'+y')=\lambda z+\mu z',$$
donc $\lambda u+\mu u'\in A$. $A$ est un sev de $\mathbb{R}^3$.
2. $(1,0,0)\in B$ et $(0,1,0)\in B$, mais leur somme $(1,1,0)$ vérifie $1\times 1=1\neq 0$, donc $(1,1,0)\notin B$. $B$ n'est pas stable par $+$ : ce n'est pas un sev (c'est la réunion des deux plans $x=0$ et $y=0$).
3. $0+0+0=0\neq 1$, donc $(0,0,0)\notin C$ : $C$ n'est pas un sev.
4. $D\subset\mathcal{C}^0([0,1],\mathbb{R})$. La fonction nulle vérifie $\int_0^1 0=0=0(0)$, donc elle est dans $D$. Soit $f,g\in D$ et $\lambda,\mu\in\mathbb{R}$. La fonction $\lambda f+\mu g$ est continue et, par linéarité de l'intégrale,
$$\int_0^1(\lambda f+\mu g)=\lambda\int_0^1 f+\mu\int_0^1 g=\lambda f(0)+\mu g(0)=(\lambda f+\mu g)(0).$$
Donc $\lambda f+\mu g\in D$ : $D$ est un sev.
5. La suite nulle est dans $S$, le premier test ne suffit donc pas. La suite constante égale à $1$ est dans $S$ ($1=1^2$). Son double, la suite constante égale à $2$, vérifie $u_1=2$ et $u_0^2=4$, donc n'est pas dans $S$. $S$ n'est pas stable par la loi externe : ce n'est pas un sev.
$A$ et $D$ sont des sev ; $B$, $C$ et $S$ n'en sont pas.