Espaces vectoriels, applications linéaires — Mines-Ponts

Exercices corrigés des Mines-Ponts sur le thème « espaces vectoriels, applications linéaires », regroupés par filière.

MP–MPI


Exercice 1. (★★★) stabilisation des noyaux ; nilpotence ; sommes directes
En dimension finie, pour {u\in L(E)}, poser {N=\bigcup_{k\geq0}\ker u^k} et {I=\bigcap_{k\geq0}\operatorname{Im}u^k}.

Montrer la stabilisation à un rang {p}, puis {E=N\oplus I}, la stabilité par {u}, la nilpotence sur {N} et l’inversibilité sur {I}.

Montrer enfin l’unicité d’une telle décomposition stable.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★) noyau et image ; rang ; projecteurs
Soient {A\in M_{3,2}(\mathbb{R})}, {B\in M_{2,3}(\mathbb{R})} tels que {AB=\begin{pmatrix}-1&0&1\\[4pt]0&1&0\\[4pt]-2&0&2\end{pmatrix}.}Décrire cet endomorphisme, montrer que {BA} est inversible, déterminer noyaux et images de {A,B}, puis calculer {BA}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★) hyperplans ; bases ; formes linéaires
Pour {n\geq1}, soit {A=\left\{P\in\mathbb{R}_n[X]:\sum\limits_{k=0}^nP^{(k)}(1)=0\right\}}.

Montrer que c’est un sous-espace, calculer sa dimension et en donner une base.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★★) noyau et image ; supplémentaires ; polynômes annulateurs
En dimension finie, montrer l’équivalence entre {E=\operatorname{Im}f\oplus\ker f} et l’existence d’un polynôme annulateur de valuation {1}.

Montrer aussi l’équivalence avec {\operatorname{rang}f=\operatorname{rang}f^2}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★★★) rang ; noyau ; matrices par blocs
Pour {M=\begin{pmatrix}A&B\\[4pt]C&D\end{pmatrix}} avec {A\in GL_p(\mathbb{R})}, montrer que {(X,Y)\mapsto Y} identifie {\ker M} à {\ker(D-CA^{-1}B)}.

En déduire que {\operatorname{rang}M=p} équivaut à {D=CA^{-1}B}.

Si {V\subset M_n(\mathbb{R})} est un sous-espace dont le rang maximal est {p}, ramener le problème au cas {\operatorname{diag}(I_p,0)\in V}.

Avec {W=\left\{\begin{pmatrix}0&B\\[4pt]B^T&D\end{pmatrix}\right\}}, montrer {V\cap W=0} et conclure {\dim V\leq np}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★★★★) noyau et image ; continuité de l’inversion ; supplémentaires
Pour {A\in M_n(\mathbb{R})}, montrer l’équivalence entre {\operatorname{rang}A=\operatorname{rang}A^2} et {\mathbb{R}^n=\ker A\oplus\operatorname{Im}A}, puis avec l’existence d’une limite de {\lambda(A+\lambda I)^{-1}} lorsque {\lambda\to0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★) projecteurs ; composition ; inversibilité
Pour deux projecteurs {p,q} sur un sous-corps de {\mathbb{C}}, étudier {pq,qp} si {p+q} est un projecteur, puis si {p-q} en est un.

Pour {\lambda\neq1}, inverser {I-\lambda p}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 8. (★★★) dimension infinie ; noyau et image ; familles libres
Pour une base {(e_n)_{n\geq0}} de {E}, soit {u(e_n)=e_{n+1}} et {\Phi(v)=uv-vu} sur {L(E)}.

Montrer que {\Phi} n’est pas injective et que son noyau est de dimension infinie.

Pour {x_0\in E,w\in L(E)}, construire {v} tel que {\Phi(v)=w} et {v(e_0)=x_0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 9. (★★★) noyau et image ; supplémentaires ; factorisation
En dimension finie, donner une condition nécessaire et suffisante pour :
1) étant donnés {f:E\to F,g:E\to G}, trouver {h:F\to G} tel que {g=hf} ;

2) étant donnés {g:E\to G,h:F\to G}, trouver {f:E\to F} tel que {g=hf}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 10. (★★) noyau et image ; projecteurs ; limites de matrices
Si {A^k\to B} dans {M_n(\mathbb{C})}, montrer que {B} est un projecteur et l’identifier.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 11. (★★) projecteurs ; rang ; normes subordonnées
Pour deux projecteurs {p,q} d’un espace euclidien, non nécessairement orthogonaux, montrer que {\lVert p-q\rVert_{\mathrm{op}}\lt 1} implique l’égalité de leurs rangs.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 12. (★★★★) formes linéaires ; nilpotence ; factorisation
Établir le produit scalaire {\langle M,N\rangle=\operatorname{tr}(M^TN)} et la représentation des formes linéaires par {\psi(M)=\operatorname{tr}(BM)}.

Pour {A} nilpotente, poser {\varphi_A(M)=\operatorname{tr}(AM)} et {f_A(M)=AM-MA}.

Montrer {\ker f_A\subset\ker\varphi_A}, factoriser {\varphi_A} par {f_A}, puis trouver {B} tel que {A=AB-BA}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 13. (★★★★) convergence en norme ; supplémentaires ; projecteurs
Soit {u} un endomorphisme contractant d’un espace normé réel {E}, et {v_n=(I+u+\cdots+u^n)/(n+1)}.
1) Calculer {(u-I)v_n}.

2) Montrer que {\ker(u-I)} et {\operatorname{Im}(u-I)} sont en somme directe.

3) En dimension finie, montrer qu’ils sont supplémentaires et étudier la convergence simple puis en norme de {(v_n)}.

4) En dimension quelconque, montrer que leur supplémentarité implique la convergence simple de {(v_n)} et la fermeture de {\operatorname{Im}(u-I)}.

5) Étudier la réciproque.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 14. (★★★★) formes linéaires ; dérivées partielles ; formule de Leibniz
Soit {D_n} l’ensemble des formes linéaires sur {C^\infty(\mathbb{R}^n,\mathbb{R})} telles que {\varphi(uv)=u(0)\varphi(v)+v(0)\varphi(u)}.

Montrer que c’est un sous-espace et le déterminer, d’abord pour {n=1}, puis pour tout {n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 15. (★★) bases ; dimension ; familles libres
Montrer que {K=\mathbb{Q}+\sqrt2\mathbb{Q}+\sqrt3\mathbb{Q}+\sqrt6\mathbb{Q}} est un sous-espace vectoriel de {\mathbb{R}} de base {(1,\sqrt2,\sqrt3,\sqrt6)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 16. (★★★) dimension ; racines de l’unité ; irréductibilité
Quelle est la dimension du {\mathbb{Q}}-sous-espace de {\mathbb{R}} engendré par {U_5} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 17. (★★) noyau et image ; rang ; supplémentaires
En dimension finie, montrer que {\operatorname{rg}f=\operatorname{rg}f^2} équivaut à {E=\ker f\oplus\operatorname{Im}f}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 18. (★★★) dimension infinie ; noyau et image ; supplémentaires
En dimension finie, montrer l’équivalence de {\operatorname{Im}u=\operatorname{Im}u^2}, {\ker u=\ker u^2} et {E=\operatorname{Im}u\oplus\ker u}.

Donner des exemples. En dimension infinie, montrer que les deux premières propriétés réunies équivalent à la troisième ; sont-elles séparément équivalentes ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 19. (★★) rang ; formes linéaires ; nilpotence
On appelle ici transvection toute application {h(x)=x+\varphi(x)a}, avec {a\ne0} et {\varphi\ne0}.

Si {\operatorname{rg}(u-I)=1} et {(u-I)^2=0}, montrer que {u} est une transvection.

La réciproque est-elle vraie ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 20. (★★) théorème du rang ; racines ; formes linéaires
Soient {K_1,\ldots,K_n} des segments non triviaux disjoints.

Montrer qu’un {P\in\mathbb{R}_{n-1}[X]} dont l’intégrale sur chacun est nulle est nul, puis qu’il existe un {P\in\mathbb{R}_n[X]} non nul ayant ces mêmes intégrales nulles.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 21. (★★) noyau et image ; supplémentaires ; isomorphismes
Montrer que {\ker A=\ker B} pour deux matrices réelles carrées équivaut à {B=PA} avec {P} inversible.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 22. (★★★) noyau et image ; bases adaptées ; nilpotence
En dimension finie, montrer l’équivalence entre {u^2=0} et l’existence de {v} tel que {uv+vu=I}, d’une part, et {\operatorname{Im}u=\ker u}, d’autre part.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 23. (★★) supplémentaires ; rang ; projecteurs
1) Montrer {|\operatorname{rg}u-\operatorname{rg}v| \le\operatorname{rg}(u+v)\le\operatorname{rg}u+\operatorname{rg}v}.

2) Si {G,H} sont deux supplémentaires de {F}, {p} la projection sur {F} parallèlement à {G}, et {q} celle sur {H} parallèlement à {F}, montrer {\operatorname{rg}(p+q)=\operatorname{rg}p+\operatorname{rg}q}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 24. (★★★) projecteurs ; sous-espaces stables ; supplémentaires
1) Pour {G\subset GL_n(\mathbb{R})} fini, si {\sum\limits_{g\in G}\operatorname{tr}g=0}, montrer {\sum\limits_{g\in G}g=0}.

2) Tout sous-espace stable par {G} admet un supplémentaire stable.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 25. (★★★) rang fini ; familles libres ; commutation
Une partie {S\subset\mathcal L(E)} est dite dense si elle permet les valeurs prescrites arbitrairement sur toute famille libre finie.
1) Quelles sont les parties denses en dimension finie ?

2) En dimension infinie, montrer que les opérateurs de rang fini, puis ceux de rang fini pair, forment des parties denses.

Déterminer le commutant d’une partie dense.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 26. (★★★) automorphismes d’algèbres ; projecteurs ; bases adaptées
Soit {(M_{ij})} une base de {\mathcal M_n(\mathbb{K})} telle que {M_{ij}M_{kl}=\delta_{jk}M_{il}}.

Montrer que {\operatorname{Im}M_{ij}=F_i} ne dépend pas de {j}, que {\mathbb{K}^n=\bigoplus_iF_i}, calculer {\dim F_i}, puis montrer {M_{ij}=PE_{ij}P^{-1}} pour un même {P}.

Décrire les automorphismes de l’algèbre matricielle.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 27. (★★★) trace ; projecteurs ; puissances de matrices
Si {U\subset\mathcal M_n(\mathbb{C})} est non vide, fini et stable par produit, montrer qu’un de ses éléments a trace dans {\left\{0,\ldots,n\right\}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 28. (★★) rang ; projecteurs ; trace
Montrer que {A^2=A} pour une matrice réelle équivaut à {\operatorname{rg}A\le\operatorname{tr}A} et {\operatorname{rg}(I-A)\le\operatorname{tr}(I-A)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 29. (★★★★) minimum de norme ; bases orthogonales ; hyperplans affines
Sur {\mathbb{R}_n[X]} muni de {\langle P,Q\rangle=\int_0^1PQ}, poser {Q_i=(X^i(1-X)^i)^{(i)}}.

Montrer que {(Q_0,\ldots,Q_n)} est une base orthogonale.

Pour l’ensemble affine {F_{k,n}} des polynômes de coefficient de {X^k} égal à un, donner sa direction, trouver {R_k\in F_{k,n}\cap\overrightarrow F_{k,n}^{\perp}} et calculer sa norme au carré ; interpréter.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 30. (★★★) éléments propres ; noyau et image ; Cauchy-Schwarz
Sur les suites réelles, poser {(Du)_n=u_{n+1}-u_n}.

Étudier linéarité, injectivité, surjectivité et éléments propres.

Montrer que les suites de carré sommable forment un sous-espace stable, puis déterminer les quotients {\langle u,Du\rangle/\lVert u\rVert^2} non nuls.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 31. (★★) noyau et image ; théorème du rang ; sommes directes
Soit {u\in L(E)}.
1) En dimension finie, montrer l’équivalence de {\ker u=\ker u^2}, {\operatorname{Im}u=\operatorname{Im}u^2} et {E=\ker u\oplus\operatorname{Im}u}.

2) Donner des contre-exemples en dimension infinie.

3) Dans toute dimension, montrer que la troisième propriété équivaut à la conjonction des deux premières.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 32. (★★) sous-espaces stables ; rang ; nilpotence
Soit {f\in L(\mathbb{R}^3)} avec {f^2=0}.

Si un plan {F} est stable par {f}, montrer {\operatorname{Im}f\subset F}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 33. (★★) rang ; projecteurs ; sommes directes
Soit {E} de dimension {n\ge2} et {p_1,\ldots,p_n\ne0} vérifiant {p_ip_j=\delta_{ij}p_i}.

Montrer que leurs rangs valent {1} et {E=\bigoplus_i\operatorname{Im}p_i}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 34. (★★) projecteurs ; supplémentaires ; isomorphismes
1) Si {u:E\to F}, {v:F\to E} vérifient {uvu=u}, {vuv=v}, montrer {E=\ker u\oplus\operatorname{Im}v}.

2) Étant donnés {u}, un supplémentaire {E_1} de {\ker u} et un supplémentaire {F_1} de {\operatorname{Im}u}, montrer qu’il existe un unique tel {v} avec {\ker v=F_1}, {\operatorname{Im}v=E_1}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 35. (★★) noyau et image ; rang ; sommes directes
Pour {u,v\in L(E)} en dimension finie,
1) Montrer {\operatorname{rg}u+\operatorname{rg}v-\dim E \le\operatorname{rg}(uv)\le\min(\operatorname{rg}u,\operatorname{rg}v)}.

2) Si {uv=0} et {u+v} est inversible, montrer {\operatorname{rg}u+\operatorname{rg}v=\dim E}, {\operatorname{Im}v=\ker u} et {E=\ker u\oplus\operatorname{Im}u}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 36. (★★) noyau et image ; bases ; familles libres
Soit {E} de base {(e_n)_{n\ge0}} et {ue_n=e_{n+1}}. Posons {\Phi(v)=uv-vu} sur {L(E)}.
1) Montrer que le noyau de {\Phi} est de dimension infinie.

2) Pour {x_0\in E} et {w\in L(E)}, montrer qu’il existe un unique {v} avec {\Phi(v)=w} et {v(e_0)=x_0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 37. (★★) projecteurs ; sous-espaces stables ; éléments propres
Sur un espace réel de dimension finie, déterminer les endomorphismes commutant avec tous les automorphismes.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 38. (★★★) formes linéaires ; surjectivité ; familles libres
Pour des formes complexes {f_1,\ldots,f_p} sur {E}, montrer l’équivalence entre leur liberté, la surjectivité de {\phi:x\mapsto(f_1(x),\ldots,f_p(x))}, et l’existence de {x_j} avec {\det(f_i(x_j))\ne0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 39. (★★★★) rang ; nilpotence ; noyau et image
Soient {n\ge2} et {A,B\in M_n(\mathbb{C})} singulières et {(AB)^n=0}.
1) Montrer {(BA)^n=0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Supposons {(AB)^{n-1}\ne0}. Montrer que {\ker(AB)=\ker B} et {\operatorname{Im}(AB)=\operatorname{Im}A}, puis que {\operatorname{rg}(BA)=n-2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) En déduire que {(AB)^{n-1}=0} ou {(BA)^{n-1}=0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 40. (★★★) noyau et image ; nilpotence ; sommes directes
Soit {A\in M_n(\mathbb{C})} non nulle et singulière.
1) Montrer que {\mathbb{C}^n=\operatorname{Im}A^p\oplus\ker A^p} pour un entier {p\ge1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {A} est semblable à {\operatorname{diag}(A_0,N)}, avec {A_0} inversible de taille {r\in\left\{1,\ldots,n-1\right\}} et {N} nilpotente.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Si {A^mB=A} pour {m\ge2}, montrer {A^mB=A^{m-1}BA=\cdots=BA^m}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 41. (★★★) rang ; Structures Algébriques ; projecteurs
Déterminer les parties {G\subset M_n(\mathbb{C})} qui sont des groupes pour la multiplication mais ne sont pas des sous-groupes de {GL_n(\mathbb{C})}.

Montrer que tous leurs éléments ont le même rang.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 42. (★★★) noyau et image ; théorème du rang ; orthogonalité
Pour un endomorphisme contractant {f} d’un espace euclidien, montrer {E=\ker(f-I)\mathbin{\oplus^\perp}\operatorname{Im}(f-I)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 43. (★★) rang ; Cauchy-Schwarz ; théorème spectral
On munit {\mathbb{R}^3} de sa structure euclidienne canonique. Soient {e_1,e_2\in\mathbb{R}^3} et {f:x\mapsto\langle x,e_1\rangle e_2+\langle x,e_1\rangle e_1}.
1) Si {e_1,e_2} sont linéairement indépendants, montrer qu’il existe une base orthonormée dans laquelle la matrice de {f} est {\operatorname{Diag}(\lambda_1,\lambda_2,0)} avec {\lambda_1,\lambda_2\in\mathbb{R}^\star}.

2) Étudier la réciproque.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 44. (★★★) Structures Algébriques ; Séries entières ; produit de Cauchy
Soit {E} l’ensemble des fonctions {C^\infty} réelles sur {\mathbb{R}} dont la série de Taylor en {0} a rayon infini.
1) Montrer que {E} est une {\mathbb{R}}-algèbre.

2) Poser {T(f)(x)=f(x)-\sum\limits_{n\ge0}f^{(n)}(0)x^n/n!}.

Montrer que {T} est un endomorphisme de {E} et que son image est un idéal.

3) Montrer que {E=\operatorname{Im}T\oplus\ker T}.

4) Déterminer le spectre de {T}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 45. (★★★) dimension ; familles libres ; racines de l’unité
Quelle est la dimension du {\mathbb{Q}}-sous-espace vectoriel de {\mathbb{R}} engendré par {\mathbb{U}_5} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 46. (★★★) noyau et image ; rang ; sommes directes
Soient {A,B\in\mathcal M_n(\mathbb{K})} et {k\ge1}. On suppose {A^{k+1}B^k=A} et {A,B} équivalentes.
1) Montrer que {\dim\ker A=\dim\ker A^2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {\mathbb{K}^n=\ker A\oplus\operatorname{Im}A}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer que {B^{k+1}A^k=B}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 47. (★★) rang ; projecteurs ; sommes directes
Soient {E} de dimension {n} et {p_1,\ldots,p_n\in\mathcal L(E)\setminus\left\{0\right\}} tels que {p_ip_j=\delta_{ij}p_i}.
1) Montrer que chaque {p_i} a rang un.

2) Montrer que {\operatorname{Im}p_1+\cdots+\operatorname{Im}p_n} est une somme directe.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 48. (★★★) rang ; sommes directes ; limites
Soit {A\in\mathcal M_n(\mathbb{R})}.
1) Montrer que {\operatorname{rg}A=\operatorname{rg}A^2} équivaut à {\mathbb{R}^n=\operatorname{Im}A\oplus\ker A}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que cette égalité des rangs équivaut à l’existence d’une limite finie de {t(A+tI_n)^{-1}} lorsque {t\to0^+}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 49. (★★★★) dimension ; Bézout ; irréductibilité
Soit {V} un sous-espace de {\mathcal M_n(\mathbb{Q})} tel que toute matrice non nulle de {V} soit inversible.
1) Montrer que {\dim V\le n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Soit {S=(s_{ij})} donnée par {s_{ij}=1} si {i=j+1}, {s_{1n}=2}, et zéro ailleurs.

Si {\lambda_0,\ldots,\lambda_{n-1}\in\mathbb{Z}} avec {\lambda_0} impair, montrer que {\sum\limits_{k=0}^{n-1}\lambda_kS^k} est inversible sur {\mathbb{Q}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) En déduire que l’égalité est possible dans a).
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 50. (★★★★★) sous-espaces stables ; rang ; sous-algèbres
Soient {E} un espace vectoriel complexe de dimension finie et {\mathcal A} une sous-algèbre de {\mathcal L(E)} dont les seuls sous-espaces stables par tous les éléments sont {\left\{0\right\}} et {E}.
1) Pour {x\in E}, donner {\Gamma_x=\left\{f(x):f\in\mathcal A\right\}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Si {u\in\mathcal A} a rang {r\ge1} et {f\in\mathcal A}, montrer qu’il existe {\alpha\in\mathbb{C}} tel que {\operatorname{rg}(ufu-\alpha u)\lt r}.

En déduire l’existence d’un élément de rang un dans {\mathcal A}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer que {\mathcal A=\mathcal L(E)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 51. (★★★) noyau et image ; puissances d’endomorphismes ; nilpotence
Soient {E} un {\mathbb{K}}-espace vectoriel et {u\in\mathcal L(E)} avec {\operatorname{Im}u^2=\ker u^3}.

Montrer que {\operatorname{Im}u=\ker u^4}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 52. (★★) noyau et image ; Polynômes et fractions rationnelles ; projecteurs
On définit {\varphi} sur {\mathbb{R}[X]} par {\varphi(P)=\frac12(P(X)+P(-X))+\frac X2(P(X)-P(-X))}.
1) Montrer que {\ker\varphi=\left\{(1-X)P:P\text{ impair}\right\}} et que son image est l’ensemble des polynômes pairs.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que ces deux espaces sont supplémentaires.

Que dire de {\varphi} ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 53. (★★★★) continuité linéaire ; sommes directes ; fermés
Soient {E} normé et {u\in\mathcal L(E)} avec {\lVert ux\rVert\le\lVert x\rVert}. On pose {v_n=(n+1)^{-1}\sum\limits_{k=0}^nu^k}.
1) Simplifier {v_n(u-I)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {\ker(u-I)} et {\operatorname{Im}(u-I)} sont en somme directe.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer l’équivalence entre {E=\ker(u-I)\oplus\operatorname{Im}(u-I)} et : {v_n} converge simplement sur {E} et {\operatorname{Im}(u-I)} est fermé.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 54. (★★★) dimension ; valeurs intermédiaires ; racines et multiplicités
Soit {F} un sous-espace de dimension finie de {C^0(\mathbb{R},\mathbb{R})}, stable par produit.

Montrer qu’il ne contient que des fonctions constantes.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 55. (★★★) règle de chaîne ; dimension ; dérivées partielles
1) Pour {f\in C^1(\mathbb{R}^n,\mathbb{R})}, montrer que {f(x)=f(0)+\sum_{i=1}^nx_i\int_0^1\partial_if(tx)\,dt.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Soit {D} l’espace des formes linéaires {\phi} sur {C^\infty(\mathbb{R}^n,\mathbb{R})} telles que {\phi(fg)=f(0)\phi(g)+g(0)\phi(f)}.

Montrer que {\dim D=n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


PSI


Exercice 1. (★★★) Noyau ; Dimension ; Degré
Pour {P\in\mathbb{R}[X]}, montrer qu’il existe un unique {Q\in\mathbb{R}[X]} tel que {Q(0)=0} et {Q(X+1)-Q(X)=P(X)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★★) Noyau et rang ; Prolongement dérivable ; Fonctions d’une variable réelle
Soit {E=C^\infty(\mathbb{R}_+^\star,\mathbb{C})}, {f_k(x)=x^ke^{i/x}} et {\varphi(f)(x)=x^2f'(x)-(2-i)f(x)}.
1) Calculer {\varphi(f_k)}, montrer la liberté des {f_k} et étudier l’injectivité de {\varphi}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Pour {F_\ell=\operatorname{Vect}(f_0,\ldots,f_\ell)}, déterminer le rang de {\varphi:F_\ell\to F_{\ell+1}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Étudier le prolongement continu et la dérivabilité en {0} de {f_n}. Déterminer pour quels {n} ce prolongement est de classe {C^1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★★) Projecteurs ; Trace ; Rang
Soient {p,q,r} trois projecteurs d’un espace réel de dimension finie. Supposer que {p+\sqrt2q+\sqrt3r} est un projecteur.

Montrer que la trace d’un projecteur est un entier naturel et que {q=r=0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★★) Noyau ; Théorème du rang ; Matrices équivalentes
Pour {A,B\in M_n(\mathbb{R})}, montrer que {\left\{M:AMB=0\right\}} est un sous-espace et calculer sa dimension.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★★★) Bases adaptées ; Noyaux des puissances ; Matrices semblables
Soit {J\in M_p(\mathbb{R})} le bloc nilpotent avec des {1} sur la surdiagonale.

Pour {A\in M_p(\mathbb{R})}, montrer que {A} est semblable à {J} si :

1) {A^p=0} et {A^{p-1}\neq0} ;
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) {A^p=0} et {\operatorname{rang}A=p-1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★★★) Sous-espaces stables ; Image des puissances
Soit {u} nilpotent d’indice {p} sur un espace vectoriel {E}. Soit {S} stable par {u}, avec {E=\operatorname{Im}u+S}.

Montrer {E=\operatorname{Im}u^k+S} pour tout {k\geq1}, puis {S=E}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★★) Adhérence ; Hyperplans ; Densité
Pour un sous-espace {F} d’un espace normé {E}, montrer que {\overline F} est un sous-espace.

Que peut-on dire de {\overline F} si {F} est un hyperplan, en dimension finie puis en dimension quelconque ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 8. (★) Matrice d’une application linéaire ; Noyau et image ; Projecteurs
Soient le plan {H:x-2z-y=0} et {u=(1,2,1)^T}.

Calculer la matrice de la projection sur {H} parallèlement à {u}, puis l’image de la droite {D:x-y+z=0}, {2x+y-2z=0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 9. (★★) Sous-espaces stables ; Nilpotence ; Image des puissances
Soient {E} réel de dimension finie, {u\in\mathcal L(E)} nilpotent, et {F} stable par {u}.

Si {E=F+\operatorname{Im}u}, montrer {E=F}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 10. (★★) image d’un sous-espace ; espaces propres ; symétries
Soit {A=\frac15\begin{pmatrix}7&-4&0\\[4pt]6&-7&0\\[4pt]0&0&-5\end{pmatrix}}.
1) Interpréter géométriquement {A}.

2) Donner l’image du plan {P:x-y-z=0} par {A}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 11. (★★★) dimension ; degré ; rang
Soient {n\ge1}, {x\in\mathbb{R}} et {P\in\mathbb{R}_{n-2}[X]}.

Montrer que {A=(P(x+i+j-2))_{1\le i,j\le n}} n’est pas inversible.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 12. (★★★) sous-espaces stables ; théorème du rang ; nilpotence
Soient {A_1,\ldots,A_n\in M_n(\mathbb{C})} nilpotentes et commutant deux à deux.

Montrer que {A_1\cdots A_n=0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 13. (★★★) Matrices et applications linéaires ; supplémentaires ; noyau et image
On dit que {A\in M_n(\mathbb{R})} admet un pseudo-inverse s’il existe {B} avec {AB=BA}, {B=BAB} et {A=ABA}.
1) Montrer que {\operatorname{rg}A=\operatorname{rg}A^2}.

2) Montrer l’unicité du pseudo-inverse s’il existe.

3) Si ces rangs sont égaux, montrer que {\ker A} et {\operatorname{Im}A} sont supplémentaires.

Étudier la réciproque de la première question.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 14. (★★★) noyau ; inversibilité ; inégalités sur les coordonnées
Soit {B=(b_{ij})\in M_n(\mathbb{R})} telle que {b_{ii}>0}, {b_{ij}\le0} pour {i\ne j}, et {\sum\limits_jb_{ij}>0} pour tout {i}.
1) Montrer que {B} est inversible en étudiant une coordonnée de module maximal d’un vecteur du noyau.

2) Si {X\ge0} coordonnée par coordonnée, montrer que {B^{-1}X\ge0}.

3) En déduire que les coefficients de {B^{-1}} sont positifs ou nuls.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 15. (★★★) sous-espaces stables ; intersections ; homothéties
Soit {E} de dimension {n} et {1\le d\le n-1}.

Déterminer les endomorphismes stabilisant tous les sous-espaces de dimension {d}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 16. (★★) théorème du rang ; noyau ; matrice de Gram
Pour {x_1,\ldots,x_p} dans un espace euclidien, soit {G=(\langle x_i,x_j\rangle)}.

Montrer que {G} est inversible si et seulement si la famille est libre, puis que {\operatorname{rg}G=\operatorname{rg}(x_1,\ldots,x_p)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 17. (★★★★) théorème du rang ; multiplicité des racines ; interpolation polynomiale
Soient des entiers {N\geq1}, {n\geq2}, et des réels distincts {a_1,\ldots,a_n}. On pose {\varphi:P\in\mathbb{R}_N[X]\longmapsto (P(a_1),P'(a_1),\ldots,P(a_n),P'(a_n)).}
1) Quel est le rang de {\varphi} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) À quelle condition {\varphi} est-il un isomorphisme ?

Cette condition étant remplie, déterminer l’image réciproque de {(x_1,y_1,\ldots,x_n,y_n)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 18. (★★★) nilpotence ; sous-espaces stables ; familles libres
Soient {E} un {\mathbb{K}}-espace vectoriel de dimension {n} et {u\in\mathcal L(E)} nilpotent d’indice {n}.
1) Montrer qu’il existe {x\in E} tel que {(x,u(x),\ldots,u^{n-1}(x))} soit une base.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Soit {F} un sous-espace de dimension {k}, stable par {u}.

Montrer que {F=\ker u^k}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 19. (★★★★) projecteurs ; dimension ; matrices dans une base adaptée
Soit {E} un {\mathbb{K}}-espace vectoriel de dimension {n}. Soient {U,V} des sous-espaces de {\mathcal L(E)} tels que {U+V=\mathcal L(E)} et {uv+vu=0} pour tous {u\in U}, {v\in V}.
1) Montrer qu’il existe des projecteurs {p\in U}, {q\in V} tels que {p+q=\mathrm{id}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Pour {v\in V}, on pose {\varphi(v)=v_{|\ker p}}.

Montrer que {\varphi} est injective et en déduire {\dim V\leq(n-r)^2}, où {r=\operatorname{rg}p}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer que {U} ou {V} est nul.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 20. (★★★★) changement de bases ; théorème du rang ; polynôme caractéristique
Soient {E} de dimension {n\geq1}, {f\in\mathcal L(E)} de rang {r\in\left\{1,\ldots,n-1\right\}} et {H} un supplémentaire de {\ker f}.
1) (i) Montrer que {f} induit un isomorphisme de {H} sur {\operatorname{Im}f}.

(ii) Montrer qu’il existe deux bases {b_1,b_2} de {E} telles que {\operatorname{Mat}_{b_1,b_2}(f)=\begin{pmatrix}I_r&0\\[4pt]0&0\end{pmatrix}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Si {C\in M_n(\mathbb{C})} est de rang {r}, montrer qu’il existe {P,Q\in GL_n(\mathbb{C})} tels que {C=P\begin{pmatrix}I_r&0\\[4pt]0&0\end{pmatrix}Q}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Si {AC=CB} et {\operatorname{rg}C=r}, montrer que {A,B} ont au moins {r} valeurs propres communes, comptées avec multiplicité.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4) Redémontrer ce résultat si {C} est inversible.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 21. (★★★) Espaces vectoriels normés ; inégalité triangulaire ; projecteurs
1) Soient {E} un espace vectoriel et {p} un projecteur.

Montrer que {\ker(p-\mathrm{id})\cap\operatorname{Im}(p-\mathrm{id})=\left\{0\right\}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Soient {E} normé et {u\in\mathcal L(E)} tel que {\lVert u(x)\rVert\leq\lVert x\rVert}.

(i) Si {u(x)=x} et {x=u(y)-y}, montrer par récurrence que {\lVert nx+y\rVert\leq\lVert y\rVert} pour tout {n\in\mathbb{N}}.

(ii) Montrer que {\ker(u-\mathrm{id})\cap\operatorname{Im}(u-\mathrm{id})=\left\{0\right\}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Si {E} est euclidien et {p} est un projecteur tel que {\lVert p(x)\rVert\leq\lVert x\rVert}, montrer qu’il est orthogonal.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


PC


Exercice 1. (★) Intersection et réunion ; Sous-espaces
La réunion de deux sous-espaces est-elle un sous-espace ?

Et leur intersection ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★) Dimension ; Racines de l'unité ; Bases
Pour {p\geq1}, montrer que les suites complexes {p}-périodiques forment un espace vectoriel de dimension {p} et en construire une base de suites géométriques.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★★) Bases adaptées ; Supplémentaires ; Sommes directes
Deux sous-espaces {F,G} de même dimension dans un espace de dimension finie ont un supplémentaire commun. Le démontrer.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★) Images d'une base ; Supplémentaires ; Bases
Un sous-espace en dimension finie possède-t-il toujours un supplémentaire ?

Est-il unique ?

Pour {x\in E}, {y\in F}, existe-t-il une application linéaire {f:E\to F} telle que {f(x)=y} ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★★★) Noyau et image ; Rang ; Commutation
Pour {A=\left(\begin{smallmatrix}-1&2&2\\[4pt]0&2&1\\[4pt]-1&2&2 \end{smallmatrix}\right)} et {\Phi(X)=AX-XA} sur {M_3(\mathbb{R})}, déterminer les dimensions du noyau et de l’image.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★) Hyperplans ; Formule des dimensions
Pour {n\geq4} et deux hyperplans {H_1,H_2} de {\mathbb{R}^n}, montrer {\dim(H_1\cap H_2)>1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★) Formes linéaires ; Bases
Montrer que deux vecteurs {x,y} d’un espace de dimension finie sont égaux exactement lorsque {\varphi(x)=\varphi(y)} pour toute forme linéaire {\varphi}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 8. (★★★) Familles libres ; Formes linéaires
Pour deux familles libres {(X_1,\ldots,X_p)} et {(Y_1,\ldots,Y_q)} de vecteurs colonnes complexes, la famille des {Y_iX_j^T} est-elle libre ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 9. (★★★) Rang ; Dimension ; Familles génératrices
Soit {F} un endomorphisme de {M_2(\mathbb{R})} tel que {F(N)} soit antisymétrique pour toute matrice nilpotente {N}.

Montrer {\operatorname{rang}F\leq2}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 10. (★★★★) Projecteurs ; Sous-espaces stables ; Commutation
1) Si {g=\lambda p}, {\lambda\ne0}, {p} projecteur, montrer que tout {f} stabilisant {\ker g} et {\operatorname{Im}g} commute avec {g}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Est-ce vrai pour {g} quelconque ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer qu’un endomorphisme stabilisant chaque droite est scalaire.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4) Réciproquement, si {g} commute avec tout endomorphisme qui stabilise son noyau et son image, montrer que {g=\lambda p}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 11. (★★★★) Rang ; Noyau et image ; Projecteurs
Soient {u,v} de même rang et {u^2v=u}.

Montrer {vuv=v}, que {uv} est un projecteur, puis {uvu=u} et {v^2u=v}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 12. (★★★) Dimension ; Trace ; Projecteurs
Pour un sous-groupe fini {G\subset GL(E)} de cardinal {n}, poser {p=n^{-1}\sum\limits_{g\in G}g}.

Montrer {pg=p}, puis que {p} est un projecteur d’image l’espace des vecteurs fixes ; en déduire que sa dimension est la moyenne des traces des éléments de {G}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 13. (★★) Noyau et image ; Rang ; Sommes directes
Soient {u=f+g} inversible, {f^2=g^2=0} en dimension finie.

Montrer {\dim\ker f\geq\dim E/2}, puis {E=\ker f\oplus\ker g}, {\ker f=\operatorname{Im}f} et {\ker g=\operatorname{Im}g}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 14. (★★★) Dimension ; Sous-espaces ; Inversibilité
Pour quels {n\geq1} l’ensemble {GL_n(\mathbb{C})\cup\left\{0\right\}} est-il un sous-espace ?

Quelle est la dimension maximale d’un sous-espace qu’il contient ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 15. (★★★★★) Noyau et image ; Bases adaptées ; Commutation
Pour {u^3=0} et {u^2\ne0} sur un espace de dimension finie, déterminer les endomorphismes qui commutent avec {u}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 16. (★★) Noyau ; Trace ; Projecteurs
Si {A\in M_n(\mathbb{R})} et {A^q=I}, montrer {\dim\ker(A-I)=q^{-1}\sum\limits_{k=1}^q\operatorname{tr}(A^k)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 17. (★★★) Dimension ; Similitude ; Bases
Soit {P=X^n-\sum\limits_{j=0}^{n-1}a_jX^j}, à racines complexes distinctes {z_1,\ldots,z_n}.

Étudier l’espace des suites vérifiant {u_{n+k}=\sum\limits_{j=0}^{n-1}a_ju_{j+k}}, sa dimension et le décalage {u\mapsto(u_{k+1})}.

Montrer que les suites {(z_j^k)_k} en forment une base et en déduire la similitude de {\operatorname{diag}(z_j)} avec la matrice de surdiagonale {1} et de dernière ligne {(a_0,\ldots,a_{n-1})}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 18. (★★★★) Dimension ; Valeurs intermédiaires ; Racines de polynômes
Classer les sous-espaces de dimension finie de {C(\mathbb{R},\mathbb{R})} stables par valeur absolue et par racine carrée des fonctions positives.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 19. (★★★) Intégrabilité ; Sous-espaces ; Critères de comparaison
Sur un intervalle non trivial {I}, noter {L^\gamma} l’espace des fonctions continues telles que {|f|^\gamma} soit intégrable, {\gamma>0}.

Montrer que c’est un sous-espace et que {L^\alpha\cap L^\beta\subset L^\gamma} si {0\lt \alpha\lt \gamma\lt \beta}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 20. (★★) matrice triangulaire ; degré d'un polynôme ; bijectivité
Soit {(a_n)_{n\geq0}} réelle.

Montrer que {a_0\ne0} équivaut à : pour tout {Q\in\mathbb{R}[X]}, il existe un unique {P\in\mathbb{R}[X]} tel que {Q=\sum\limits_{k=0}^na_kP^{(k)}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 21. (★★★) noyau et image ; changement de base ; Polynômes et fractions rationnelles
Sur {\mathbb{R}_n[X]}, poser {\Delta P=P(X+1)-P(X)}.

Montrer que {\Delta} est un endomorphisme, donner des bases de son noyau et de son image, puis une base où sa matrice n’a que des zéros et des uns.

Pour {d\in\mathbb{N}}, montrer que {\sum\limits_{k=0}^mk^d} est un polynôme en {m}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 22. (★★★★) coordonnées dans une base ; Polynômes et fractions rationnelles ; bases graduées
Soient {u\in\mathbb{R}}, {n\geq1}, {P_0=1} et {P_k=X(X-ku)^{k-1}} pour {1\leq k\leq n}.

Montrer que {(P_0,\ldots,P_n)} est une base de {\mathbb{R}_n[X]} et déterminer les coordonnées d’un polynôme dans cette base.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 23. (★★) rang d'un produit ; injectivité ; surjectivité
Soient {A\in M_{3,2}(\mathbb{R})}, {B\in M_{2,3}(\mathbb{R})}, avec {(AB)^2=AB} et {\operatorname{rg}(AB)=2}.

Déterminer les rangs de {A,B} et montrer {BA=I_2}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 24. (★★★★) matrices inversibles ; hyperplans ; formes linéaires
Soit {E} de dimension {n\geq2} sur {\mathbb{K}}.

Montrer que {F} est de dimension {n-1} si et seulement si {F=\ker\varphi} pour une forme linéaire non nulle.

Montrer ensuite que tout hyperplan de {M_n(\mathbb{R})} contient une matrice inversible.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 25. (★★) noyau et image ; théorème du rang ; sommes directes
Pour un endomorphisme {f} en dimension finie, montrer {\operatorname{Im}f=\operatorname{Im}f^2\iff E=\ker f+\operatorname{Im}f}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 26. (★★★) dimension ; sous-espaces stables ; sommes directes
Montrer que {E=\left\{f\in\mathcal L(M_n(\mathbb{R})):f(A^T)=f(A)^T\ \forall A\right\}} est un espace vectoriel et déterminer sa dimension.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 27. (★★) isomorphisme ; trace ; supplémentaires
Soit {f(M)=M+\operatorname{tr}(M)I_n} sur {M_n(\mathbb{C})}.

Montrer de deux manières que {f} est un isomorphisme et déterminer {f^{-1}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 28. (★★★★) noyaux itérés ; dimension ; commutation
1) Montrer {\ker u^k\subset\ker u^{k+1}} et que l’égalité implique {\ker u^k=\ker u^{k+2}}.

2) Existe-t-il {u\in\mathcal L(\mathbb{R}[X])} tel que {u^2(P)=P'} pour tout {P} ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 29. (★★) noyau ; équation linéaire ; trace
Pour {A,B\in M_n(\mathbb{R})}, résoudre {X+\operatorname{tr}(X)A=B}.

Pour {B=0}, donner dimension et base de l’espace des solutions.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 30. (★★★) noyau et image ; supplémentaires ; automorphismes
Pour {u,v} endomorphismes d’un espace de dimension finie, montrer {\ker u=\ker v} si et seulement s’il existe {s\in GL(E)} tel que {u=s\circ v}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 31. (★★★) image ; applications définies sur une base ; somme de sous-espaces
Soient {v\in\mathcal L(E,G)} et {f\in\mathcal L(F,G)}, en dimensions arbitraires.

Montrer {\operatorname{Im}v\subset\operatorname{Im}f\iff v=fu} pour un {u\in\mathcal L(E,F)}.

Pour {f_1,\ldots,f_k\in\mathcal L(F,G)}, montrer de même {\operatorname{Im}v\subset\sum\limits_i\operatorname{Im}f_i\iff v=\sum\limits_if_iu_i}. On cherche ici {u_i\in\mathcal L(E,F)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 32. (★★) projecteurs ; composition d'endomorphismes
Pour deux projecteurs complexes {p,q}, montrer que {p+q} est un projecteur si et seulement si {pq=qp=0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 33. (★) projecteurs ; sous-espaces stables ; composition
Soient {E=F\oplus G}, {p} le projecteur sur {F} parallèlement à {G}, {q} celui sur {G} parallèlement à {F} et {f\in\mathcal L(E)}.

Montrer {qfp=0\iff f(F)\subset F}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 34. (★★) sous-espaces stables ; Polynômes et fractions rationnelles ; dérivation
Pour {D(P)=P'} sur {\mathbb{R}[X]}, donner la matrice de sa restriction à {\mathbb{R}_n[X]}.

Si {F} est de dimension finie et stable par {D}, montrer, lorsqu’il est non nul, qu’il contient un polynôme {R} de degré maximal {n} et que {(D^iR)_{0\leq i\leq n}} est libre.

En déduire tous les sous-espaces stables de dimension finie.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 35. (★★★★) image ; injectivité ; supplémentaires
Soit {v\in\mathcal L(E)} injectif, dont l’image admet une droite supplémentaire.

Donner un exemple sur {\mathbb{R}[X]}, discuter la dimension finie, puis montrer qu’il n’existe pas {u} avec {u^2=v}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 36. (★★★) formes linéaires ; indépendance linéaire ; surjectivité
Pour des formes linéaires complexes {f_1,\ldots,f_p}, montrer l’équivalence entre : leur liberté ; la surjectivité de {x\mapsto(f_1(x),\ldots,f_p(x))} ; l’existence de {x_1,\ldots,x_p} tels que {\det(f_i(x_j))_{1\leq i,j\leq p}\ne0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 37. (★★) sous-espaces stables ; sommes de sous-espaces ; nilpotence
Soit {u} nilpotent en dimension finie, et {S} stable par {u}.

Si {E=S+\operatorname{Im}u}, montrer {S=E}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 38. (★★★) rang ; noyau et image ; matrices par blocs
Soient {A,B\in M_n(\mathbb{C})} de même rang et vérifiant {A^2B=A}.

Montrer {B^2A=B}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 39. (★★★) inverse ; sous-espaces stables ; bases adaptées
Soit {f} réel avec {f^2=-4I}.

Déterminer noyau, image et inverse ; montrer que la dimension est paire et que {(x,f(x))} est libre pour {x\ne0}. En dimension quatre, construire une base où la matrice est la somme directe de deux blocs {\begin{pmatrix}0&-4\\[4pt]1&0\end{pmatrix}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 40. (★★) noyau et image ; Intégration sur un segment ; théorème fondamental
Sur {C^0(\mathbb{R},\mathbb{R})}, poser {\varphi(f)(x)=\int_x^{x+1}f(t)dt}.

Montrer sa linéarité, discuter injectivité et surjectivité, puis déterminer son noyau.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 41. (★★★) équation linéaire du premier ordre ; changement de variables ; indépendance linéaire
1) Résoudre dans {C^1(]1,\infty[\times]0,\infty[)} : {x(x-1)f_x+y(x-1)f_y-x^2f=0}, en posant {x=u}, {y=uv}.

2) Montrer que les fonctions {e^{a_ix}}, pour des {a_i} réels distincts, sont libres.

3) L’espace des solutions de la première question est-il de dimension finie ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 42. (★) sous-espaces ; sommes directes ; raisonnement par l'absurde
L’union de deux sous-espaces vectoriels est-elle un sous-espace vectoriel ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 43. (★★) rang ; noyau et image ; dimension
a) Pour {A,B\in M_{n,p}(\mathbb{R})}, montrer {|\operatorname{rg}A-\operatorname{rg}B|\le\operatorname{rg}(A+B) \le\operatorname{rg}A+\operatorname{rg}B}.

b) Si {v_1,\ldots,v_k\in\mathbb{R}^n} vérifient {\sum\limits_{i=1}^kv_iv_i^{\mathsf T}=I_n}, montrer {k\ge n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 44. (★★★) dimension ; familles libres et génératrices ; commutation
Déterminer {\dim\operatorname{Vect}(\mathcal A)} dans les cas :
i) {\mathcal A=\left\{M\in M_2(\mathbb{C}):M^n=\operatorname{diag}(1,2)\right\}}, {n\ge2} ;

ii) {\mathcal A=\left\{M\in M_2(\mathbb{C}):M^2=I_2\right\}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 45. (★★) noyau et image ; permutations ; projecteurs et symétries
a) Pour {\sigma\in\mathfrak S_n}, montrer que {\varphi_\sigma:s\mapsto s\circ\sigma} est une permutation de {\mathfrak S_n}.

b) Soient {E} de dimension {n\ge2}, de base {(e_i)}, et {f_\sigma(e_i)=e_{\sigma(i)}}. On pose {p_n=(1/n!)\sum\limits_{\sigma\in\mathfrak S_n}f_\sigma}.

Montrer que {p_n} est un projecteur et expliciter son image et son noyau.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 46. (★★) rang ; injectivité et surjectivité ; projecteurs et symétries
Soient {A\in M_{3,2}(\mathbb{R})} et {B\in M_{2,3}(\mathbb{R})} tels que {AB=\begin{pmatrix}0&-1&-1\\[4pt]-1&0&-1\\[4pt]1&1&2\end{pmatrix}}.

Vérifier {(AB)^2=AB}, déterminer les rangs de {A,B}, et montrer {BA=I_2}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 47. (★★★) sous-espaces stables ; éléments propres ; formes linéaires
Soient {E} un espace vectoriel réel, {\varphi} une forme linéaire et {f\in\mathcal L(E)}.
a) Montrer que {\ker\varphi} est stable par {f} si et seulement si {\varphi\circ f=\lambda\varphi} pour un réel {\lambda}.

b) Dans une base {\mathcal B}, poser {L=\operatorname{Mat}_{\mathcal B}\varphi} et {A=\operatorname{Mat}_{\mathcal B}f}.

Montrer que cette stabilité équivaut à {A^{\mathsf T}L^{\mathsf T}=\lambda L^{\mathsf T}}.

c) Trouver les droites stables de la matrice {\begin{pmatrix}1&1&0\\[4pt]0&1&0\\[4pt]0&0&2\end{pmatrix}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 48. (★★★) bases ; sous-espaces stables ; polynômes annulateurs
Soit {f\in\mathcal L(E)} tel que {f^2=-4\operatorname{id}}, où {E} est réel de dimension {n}.
a) Déterminer son noyau, son image et, s’il existe, son inverse.

b) Montrer que {n} est pair.

c) Pour {x\ne0}, montrer que {(x,f(x))} est libre.

d) Pour {n=4}, construire une base où la matrice est {\begin{pmatrix}0&-4&0&0\\[4pt]1&0&0&0\\[4pt]0&0&0&-4\\[4pt]0&0&1&0\end{pmatrix}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 49. (★★) noyau et image ; isomorphismes ; sommes directes
Soient {E,F,G} de dimensions finies, {u:E\to F}, {v:F\to G} linéaires et {w=v\circ u}.

Montrer que {w} est un isomorphisme si et seulement si {u} est injective, {v} surjective et {F=\operatorname{Im}u\oplus\ker v}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 50. (★★★) noyau et image ; rang ; projecteurs et symétries
Soient {u,v} sur un espace de dimension finie tels que {\operatorname{rg}u=\operatorname{rg}v} et {u^2v=u}.
a) Montrer {vuv=v}.

b) Montrer que {uv} est un projecteur.

c) Montrer {uvu=u}, puis {v^2u=v}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 51. (★★) projecteurs et symétries ; trace ; sommes directes
Soit {E} de dimension finie sur {\mathbb{K}}.
a) Que dire de la trace d’un projecteur ?

Montrer que son image et son noyau sont supplémentaires.

b) Pour deux projecteurs {p,q}, montrer que {p+q} est un projecteur si et seulement si {pq=qp=0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 52. (★★) dimension ; noyau et image ; rang
Soient {f:E\to F} et {g:F\to G} linéaires entre espaces de dimensions finies.

Montrer {\operatorname{rg}(gf)\ge\operatorname{rg}f+\operatorname{rg}g-\dim F}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 53. (★★) noyau et image ; isomorphismes ; sommes directes
Soient {u:E\to F}, {v:F\to G} linéaires en dimension finie.

Montrer que {vu} est un isomorphisme si et seulement si {u} est injective, {v} surjective et {\operatorname{Im}u\oplus\ker v=F}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 54. (★★★) rang ; noyau et image ; polynômes annulateurs
Soient {u,v\in\mathcal L(E)}, en dimension finie.
a) Montrer {\operatorname{rg}v\le\operatorname{rg}(uv)+\dim\ker u}.

b) Si {u} est nilpotent d’indice {p}, montrer que {(\dim\ker u^k)_{k\in\mathbb{N}}} est strictement croissante, puis stationnaire.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 55. (★★★) noyau et image ; rang ; sous-espaces stables
Soient {A,B\in M_n(\mathbb{C})} tels que {\operatorname{rg}(AB-BA)=1}.

Montrer que {A(\ker B)\subset\ker B} ou {A(\operatorname{Im}B)\subset\operatorname{Im}B}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 56. (★★) sous-espaces stables ; dimension ; bases
Soit {D:P\mapsto P'} sur {\mathbb{R}[X]}.
a) Montrer que {\mathbb{R}_n[X]} est stable et donner la matrice de la restriction dans sa base canonique.

b) Soit {F\ne0} de dimension finie, stable par {D}.

i) Trouver {R\in F} de degré {n} tel que {F\subset\mathbb{R}_n[X]}.

ii) Montrer que {(D^jR)_{0\le j\le n}} est libre.

iii) En déduire {F=\mathbb{R}_n[X]}.

iv) Expliciter tous les sous-espaces stables par {D}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 57. (★★★) noyau et image ; polynôme caractéristique ; projecteurs et symétries
Soit {A\in M_n(\mathbb{R})} tel que {A^k\to B}.
a) Montrer {B^2=B} et {BA=AB}.

Déterminer noyau et image de {B}.

b) Montrer {\operatorname{Sp}_{\mathbb{C}}A\subset\left\{|z|\lt 1\right\}\cup\left\{1\right\}}.

Si {1} n’est pas valeur propre, montrer {B=0}.

c) Montrer que la multiplicité algébrique de {1} est {\dim\ker(A-I)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 58. (★★★) commutation ; familles libres et génératrices ; bases
Soit {A\in M_n(\mathbb{R})} tel que {A^{n-1}\ne0}, {A^n=0}, et {L=\left\{M:AM=MA\right\}}.
a) Trouver {x_0} tel que {(x_0,Ax_0,\ldots,A^{n-1}x_0)} soit une base.

b) En déduire que {(I,A,\ldots,A^{n-1})} est une base de {L}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 59. (★★★) degré ; formule de Leibniz ; bases
Soit {u\in\mathbb{R}}, {P_0=1} et {P_k=X(X-ku)^{k-1}} pour {k\geq1}.
1) Montrer que {(P_0,\ldots,P_n)} est une base de {\mathbb{R}_n[X]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {P(X)=P(0)+\sum_{k=1}^n\frac{P^{(k)}(ku)}{k!}P_k(X)}pour tout {P\in\mathbb{R}_n[X]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 60. (★) rang ; hyperplans ; formes linéaires
Soient {E} un {\mathbb{K}}-espace de dimension {n\geq1} et {F} un sous-espace.

Montrer que {\dim F=n-1} si et seulement s’il existe une forme linéaire non nulle {\Phi:E\to\mathbb{K}} telle que {F=\ker\Phi}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 61. (★★) projecteurs et symétries ; commutation ; calcul polynomial
Soient {p,q} deux projecteurs d’un espace vectoriel {E}.

Montrer que {p-q} est un projecteur si et seulement si {qp=pq=q}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 62. (★★★) noyau et image ; sommes directes ; isomorphismes
Soient {E} de dimension {n} et {u\in\mathcal L(E)}.

Donner une condition nécessaire et suffisante pour qu’il existe {v\in\mathcal L(E)} tel que {uv=0} et {u+v} soit inversible.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 63. (★★★) noyau et image ; rang ; projecteurs et symétries
Soient {A\in M_{3,2}(\mathbb{R})}, {B\in M_{2,3}(\mathbb{R})} telles que {AB=\begin{pmatrix}0&-1&-1\\[4pt]-1&0&-1\\[4pt]1&1&2\end{pmatrix}.}
1) « Décrire » {AB}.

2) Montrer que {BA} est inversible.

3) Étudier les noyaux et images de {A,B}.

4) Déterminer {BA}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 64. (★★★) rang ; noyau et image ; dimension
Soient {A,B,C\in M_n(\mathbb{R})}.

Montrer que {\operatorname{rg}(ABC)+\operatorname{rg}B\geq\operatorname{rg}(AB)+\operatorname{rg}(BC)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 65. (★★) noyau et image ; calcul matriciel
Soient {A,B\in M_n(\mathbb{R})} tels que {BAB=A} et {ABA=B}.

Montrer que {A^2=B^2}, et que {A,B} ont le même noyau et la même image.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 66. (★★★) sous-espaces stables ; degré ; bases
Soit {D} la dérivation sur {\mathbb{K}[X]}.

Déterminer tous les sous-espaces stables par {D}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 67. (★★★★) Polynômes d’endomorphismes et de matrices ; Réduction des endomorphismes et des matrices ; sous-espaces stables
Soient {E} de dimension {n} et {u_1,\ldots,u_n} des endomorphismes nilpotents commutant deux à deux.

Simplifier {u_1\cdots u_n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 68. (★★★★) familles libres et génératrices ; sous-espaces stables ; matrices par blocs
Soient {E} réel de dimension {n} et {f\in\mathcal L(E)} tel que {f^2=-\mathrm{id}}.
1) Montrer que {n} est pair.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {\operatorname{Vect}(x,f(x))} est stable par {f}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Si {n=2p}, montrer qu’il existe {(e_1,\ldots,e_p)} tel que {(e_1,u(e_1),\ldots,e_p,u(e_p))} soit une base, et donner la matrice de {f}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 69. (★★★) rang ; noyau et image ; changements de bases
Soit {A\in M_{3n}(\mathbb{R})} telle que {A^3=0} et {\operatorname{rg}A=2n}.

Montrer que {A} est semblable à {\begin{pmatrix}0&0&0\\[4pt]I_n&0&0\\[4pt]0&I_n&0\end{pmatrix}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 70. (★★★★) projecteurs et symétries ; sommes directes ; matrices par blocs
Soient {E} de dimension finie et {\mathcal L_1,\mathcal L_2\subset\mathcal L(E)} tels que {\mathcal L(E)=\mathcal L_1\oplus\mathcal L_2} et {uv+vu=0} pour {u\in\mathcal L_1}, {v\in\mathcal L_2}.
1) Montrer qu’il existe des projecteurs {p_i\in\mathcal L_i} de somme {I}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {\operatorname{rg}p_1+\operatorname{rg}p_2=\dim E}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer que {\operatorname{Im}p_1,\ker p_1} sont stables par tout élément des deux espaces.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4) Montrer que l’un des deux espaces est nul.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 71. (★★★★) matrices par blocs ; sous-espaces stables ; hyperplans
Soit {A\in M_n(\mathbb{R})} telle que {A^2=-I_n} et soit {f} l’endomorphisme associé.
1) Montrer que {n} est pair.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Trouver une base dans laquelle la matrice de {f} est diagonale par blocs {\begin{pmatrix}0&-1\\[4pt]1&0\end{pmatrix}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer qu’il n’existe pas d’hyperplan stable par {f}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 72. (★★★) sous-espaces stables ; projecteurs et symétries ; similitude
Soit {A\in M_3(\mathbb{R})} telle que {A^2=A^3} et {\dim E_1(A)=1}.
1) Montrer que {\ker A^2} et {E_1(A)} sont supplémentaires.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer qu’ils sont stables par {A}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Montrer que {A} est semblable à {\begin{pmatrix}1&0&0\\[4pt]0&0&\varepsilon\\[4pt]0&0&0\end{pmatrix}}, {\varepsilon\in\left\{0,1\right\}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 73. (★★★) noyau et image ; projection orthogonale ; isomorphismes
Soient {E,F} euclidiens et {f\in\mathcal L(E,F)}.
1) Pour chaque {y\in F}, montrer qu’il existe un unique {(x,y')\in(\ker f)^\perp\times(\operatorname{Im}f)^\perp} tel que {y=f(x)+y'}.

2) Montrer que {g:y\mapsto x} est linéaire.

3) Déterminer son noyau et son image.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 74. (★★★) Intégration sur un segment ; Cauchy-Schwarz ; noyau et image
Soit {E=C^0([0,1],\mathbb{R})} muni de {\lVert f\rVert_2=(\int_0^1f^2)^{1/2}}. Soit {K(s,t)=(1-s)t} si {1\geq t\lt s}, et {K(s,t)=(1-t)s} sinon. Posons {T(f)(s)=\int_0^1K(s,t)f(t)dt}.
1) Montrer que {T} est un endomorphisme de {E}.

2) Montrer que {\lVert T(f)\rVert_2\leq\lVert f\rVert_2/(3\sqrt{10})}.

3) Pour {F=\left\{f\in C^2([0,1]):f(0)=f(1)=0\right\}}, montrer que {\operatorname{Im}T\subset F}.

4) A-t-on égalité ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 75. (★★★★) dimension ; valeurs intermédiaires ; familles libres et génératrices
Soit {E=C^0(\mathbb{R},\mathbb{R})}.

Déterminer les sous-espaces {F} tels que : (i) {f\in F\Rightarrow |f|\in F} ;

(ii) {f\in F}, {f\geq0\Rightarrow\sqrt f\in F}. Indication : pour {g=|f|}, considérer {g,g^{1/2},\ldots,g^{1/2^n}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


Retour aux planches par thème

Author: Jean-Michel Ferrard

Professeur de mathématiques en classe préparatoire aux grandes écoles.