On note $E=C^{\infty}(\mathbb{R},\mathbb{R})$ et $F=\mathcal{F}(\mathbb{R},\mathbb{R})$. Soit $\varphi:E\rightarrow F$ l'application définie, pour $f \in E$, par $\varphi(f)=f''-3f'+2f$. Montrer que $\varphi$ est un endomorphisme de $E$ et déterminer son noyau.
Soit $E=C([0,1],\mathbb{R})$. On pose $\varphi:E\rightarrow \mathbb{R}$ telle que, pour tout $f\in E$ :\[
\varphi(f)=\int_0^1f(t) dt;
\]et on note $F=\{f \in E \; | \; f \text{ est affine }\}$ (on rappelle qu'une fonction $f$ de $\mathbb{R}$ dans $\mathbb{R}$ est affine s'il existe $a,b \in \mathbb{R}$ tels que $f:t\mapsto at+b$).
Montrer que $\varphi$ est une application linéaire surjective.
Montrer que $F$ est un sous-espace vectoriel de $E$.
Montrer qu'il existe $c \in [0,1]$ tel que $F\cap \text{Ker}(\varphi)=\{f \in F \; | \; f(c)=0\}$.
Indications
Pour la linéarité, utiliser la linéarité de l'intégrale. Pour la surjectivité, que sait-on d'une forme linéaire non nulle ?
Utiliser la définition/caractérisation des sous-espaces vectoriels; ou bien montrer que $F$ est le sous-espace engendré par plusieurs fonctions de $E$ bien choisies.
Dessiner des graphes de fonctions affines d'intégrale nulle sur $[0,1]$.
Correction
Soit $f,g \in E$ et $\lambda \in \mathbb{R}$. On a, par linéarité de l'intégrale : \[
\begin{array}{rcl}
\varphi(\lambda f+g) &=& \displaystyle\int_0^1 (\lambda f+g)(t) dt \medskip \\
&=& \displaystyle \int_0^1 (\lambda f(t)+g(t)) dt \medskip \\
&=& \displaystyle \lambda\int_0^1f(t) dt + \int_0^1g(t) dt \medskip \\
\varphi(\lambda f+g) &=& \lambda\varphi(f)+\varphi(g).
\end{array}
\] Donc $\varphi$ est linéaire. Il s'agit donc d'une forme linéaire sur $E$; or $\varphi(f_0)=1\neq 0$ pour $f_0:x \mapsto 1$, par suite, $\varphi$ est surjective car toute forme linéaire non nulle est surjective.
1ère façon : caractérisation d'un sous-espace vectoriel. Le vecteur nul de $E$ est la fonction nulle $\mathbf{0}$ sur $[0,1]$. Or $\mathbf{0}:t \mapsto 0=0\times t +0$ donc $\mathbf{0}$ est affine i.e. $\mathbf{0} \in F$. Soit $f,g \in F$ et $\lambda \in R$. Alors $f$ et $g$ étant affines, il existe $a,b,a',b' \in \mathbb{R}$ tels que $f:t\mapsto at+b$ et $g:t\mapsto a't+b'$ On a, pour tout $t \in [0,1]$ : \[
\begin{array}{rcl}
(\lambda f+g)(t) &=& \lambda f(t) +g(t) \medskip \\
&=& \lambda (at+b)+ (a't+b') \medskip \\
(\lambda f+g)(t)&=& (\lambda a+a')t+(\lambda b +b')
\end{array}
\] Par suite, comme $(\lambda a+a') \in \mathbb{R}$ et $(\lambda b+b') \in \mathbb{R}$, $\lambda f+g$ est affine et donc $\lambda f+g \in E$. Il en résulte que $F$ est un sous-espace vectoriel de $E$.
2ème façon : sous-espace engendré. On sait que $f$ est une fonction affine si, et seulement si, il existe $a,b$ tel que $f:t \mapsto at+b$. Ainsi, $f$ est affine si, et seulement si, $f=af_1+bf_0$ où $f_0:t \mapsto 1$ et $f_1:t \mapsto t$. Par suite, $F=\text{Vect}(f_0,f_1)$ (où on note par le même nom les restrictions de $f_0$ et $f_1$ à $[0,1]$). Un sous-espace engendré par une famille de vecteurs de $E$ étant un sous-espace vectoriel de $E$, on en déduit que $F$ est un sous-espace vectoriel de $E$.
En dessinant quelques graphes, on conjecture que $c=\frac{1}{2}$. Montrons le :
On procède par double inclusion : Soit $f \in F\cap \text{Ker}(\varphi)$. Alors $f \in F$ et $f \in \text{Ker}(\varphi)$ donc il existe $a,b \in \mathbb{R}$ tels que $f: t \mapsto at+b$ et $\int_0^1f(t) dt=\varphi(f)=0$. Par suite, on a : \[
0=\int_0^1f(t) dt= \int_0^1(at+b) dt = \frac{1}{2}a+b
\] d'où $b=-\frac{1}{2}a$ et donc, pour tout $t \in [0,1]$, $f(t)=a(x-\frac{1}{2})$. Ainsi, $f(\frac{1}{2})=a(\frac{1}{2}-\frac{1}{2})=0$. Donc $F\cap \text{Ker}(\varphi)\subset \{f \in F \; | \; f(\frac{1}{2})=0\}$.
Réciproquement, si $f \in \{f \in F \; | \; f(\frac{1}{2})=0\}$. Alors $f$ est affine et donc il existe $a,b \in \mathbb{R}$ tels que $f: t \mapsto at+b$. Comme $a\frac{1}{2}+b=0=f(\frac{1}{2})$, on a $b=-\frac{1}{2}a$ et donc : \[
\int_0^1f(t) dt = \int_0^1a(x-\frac{1}{2}) dt=a(\frac{1}{2}-\frac{1}{2})=0
\] Donc $f \in F \cap \text{Ker}(\varphi)$; d'où $\{f \in F \; | \; f(\frac{1}{2})=0\} \subset \text{Ker}(\varphi)$.
Il en résulte que $F\cap \text{Ker}(\varphi)= \{f \in F \; | \; f(\frac{1}{2})=0\}$.
Soit $E$ un espace vectoriel sur $\mathbb{K}$ et $p,q$ des projecteurs de $E$ qui commutent. Montrer que $p\circ q$ est un projecteur puis déterminer son noyau et son image en fonction de ceux de $p$ et $q$.
Soit $H$ un hyperplan d'un espace vectoriel $E$ et $x_0 \in E$. Montrer que $x_0 \notin H$ si, et seulement si, $H$ et $\text{Vect}(x_0)$ sont supplémentaires dans $E$.
Soit $n \in \mathbb{N}$ et $x_0,...,x_n$ des réels tous distincts. Montrer que l'application $f:\mathbb{R}_n[X]\rightarrow \mathbb{R}^{n+1}$ définie, pour $P \in \mathbb{R}_n[X]$, par :\[
f(P)=(P(x_0),...,P(x_n))
\]est un isomorphisme d'espaces vectoriels.
Soit $E$ un espace vectoriel de dimension finie et $f,g \in \mathcal{L}(E)$. Montrer que si $f+g$ est bijectif et $g\circ f = \mathbf{0}$ alors $\text{rg}(f)+\text{rg}(g)=\text{dim}(E)$.
Soit $\mathcal{B}=(e_1,e_2,e_3)$ la base canonique de $\mathbb{R}^3$, $\mathcal{B}'=(\varepsilon_1,\varepsilon_2,\varepsilon_3)$ la famille de vecteurs de $\mathbb{R}_3$ définie par :\[
\varepsilon_1=e_1+e_2-e_3; \quad \varepsilon_2=e_1-e_3; \quad \varepsilon_3=e_1-e_2
\]On note $A=\begin{pmatrix}
2&-1&0 \\
-2&1&-2 \\
1&1&3
\end{pmatrix}$ et on considère $f$ l'endomorphisme de $\mathbb{R}^3$ canoniquement associé à $A$.
Montrer que $\mathcal{B}'$ est une base de $\mathbb{R}^3$ et déterminer la matrice $P$ de passage de $\mathcal{B}$ vers $\mathcal{B}'$ puis la matrice $Q$ de passage de $\mathcal{B}'$ vers $\mathcal{B}$.
Soit $n\in \mathbb{N}^*$, $E$ un espace vectoriel de dimension $n$ et $f \in \mathcal{L}(E)$ tel que $f^n=\mathbf{0}$ et $f^{n-1}\neq\mathbf{0}$. Montrer qu'il existe une base $\mathcal{B}$ de $E$ telle que :\[
\text{Mat}_{\mathcal{B}}(f)=\begin{pmatrix}
0 &1 & &0 \\
\vdots&\ddots&\ddots& \\
\vdots& &\ddots&1 \\
0 &\dots &\dots &0
\end{pmatrix}
\]
Déterminer la matrice dans les bases canoniques des espaces de départ et d'arrivée de l'application linéaire $f: \mathbb{R}_4[X] \rightarrow \mathbb{R}_4[X]$ telle que, pour $P \in \mathbb{R}_4[X]$ :\[
f(P)=P(X+2).
\]
Déterminer la matrice dans les bases canoniques des espaces de départ et d'arrivée de l'application linéaire $f: \mathbb{R}^3 \rightarrow \mathbb{R}^4$ telle que, pour $(x,y,z) \in \mathbb{R}^3$ :\[
f(x,y,z)=(x+y,y-4z,z-x,x-2y-z).
\]
Déterminer la matrice dans les bases canoniques des espaces de départ et d'arrivée de l'application linéaire $f: \mathbb{R}^3 \rightarrow \mathbb{R}^2$ telle que, pour $(x,y,z) \in \mathbb{R}^3$ :\[
f(x,y,z)=(2x+y,y-x+3z)
\]