A²=0

Un problème, une question, un nouveau théorème ?

Messages : 0

Inscription : 06 nov. 2017 20:25

Profil de l'utilisateur : Élève de lycée

A²=0

Message par Walid2018 » 15 janv. 2018 04:22

Soit A∈Mn(R) vérifiant A^2=0.Montrer que ImA=KerA⇐⇒ A+tA ∈ GLn(R)
En supposant ImA=KerA, déjà on a n est paire, je prend un suplementaire du KerA, et une base orthonormé de cette decomposition ainsi A sera othogonalement semblable à $ \begin{pmatrix}
0 & B \\
0& 0
\end{pmatrix} $ mais je me bloque
pour la deuxieme implicaiton tous ce que je pense faire et d'utiliser le rang de A+tA mais en vain

Messages : 0

Inscription : 30 juin 2017 13:40

Profil de l'utilisateur : Élève de lycée

Re: A²=0

Message par Osvatski » 17 janv. 2018 22:45

Pour la réciproque, je pense qu'il faut utiliser le fait que rg(A+B)<=rgA+rgB et donc n=rg(A+tA)<=2rg(A), ainsi n<=2(n-dimkerA), donc 2*dimker(A)<=n<=2rg(A), d'où dimkerA<=rg(A) et donc KerA C Im A et naturellement on a ImA C KerA car A²=0 , alors KerA=ImA
L'examinateur sort son portable de sa poche et le place à la verticale sur la table. Le portable tombe. Expliquer.

Messages : 0

Inscription : 12 août 2015 15:48

Profil de l'utilisateur : Élève de lycée

Re: A²=0

Message par Siméon » 20 janv. 2018 14:07

Walid, quel intérêt de considérer une base orthonormale si tu n'écris pas aussi ${}^t A$ dans cette base ? Par ailleurs, quel est le rang de $B$ ? de ${}^t B$ ?

Messages : 0

Inscription : 23 août 2016 17:01

Profil de l'utilisateur : Élève de lycée

Re: A²=0

Message par Colas » 20 janv. 2018 16:26

Dim E <= dim F donc E inclus dans F.... aie !

Messages : 0

Inscription : 26 août 2016 20:48

Profil de l'utilisateur : Élève de lycée

Re: A²=0

Message par alexMoo » 20 janv. 2018 20:58

Si A**2=0 alors A semblable à une matrice par bloc de forme [[0,I],[0,0]] avec I=Identite de n/2 ( n pair comme t'as dis) donc A+tA est de rang n donc inversible

Messages : 0

Inscription : 16 oct. 2017 22:49

Profil de l'utilisateur : Élève de lycée

Re: A²=0

Message par BobbyJoe » 20 janv. 2018 21:30

SI tu connais les relations $ $$\mbox{Ker}(A^{*})=\mbox{Im}(A)^{\bot}$ et $ $$\mbox{Im}(A^{*})=\mbox{Ker}(A)^{\bot},$ l'exercice se résout intrinsèquement...

Messages : 0

Inscription : 06 nov. 2017 20:25

Profil de l'utilisateur : Élève de lycée

Re: A²=0

Message par Walid2018 » 21 janv. 2018 22:27

BobbyJoe a écrit :
20 janv. 2018 21:30
SI tu connais les relations $ $$\mbox{Ker}(A^{*})=\mbox{Im}(A)^{\bot}$ et $ $$\mbox{Im}(A^{*})=\mbox{Ker}(A)^{\bot},$ l'exercice se résout intrinsèquement...
Peux-tu developper?
@Osvatski Merci beaucoup

Messages : 0

Inscription : 16 oct. 2017 22:49

Profil de l'utilisateur : Élève de lycée

Re: A²=0

Message par BobbyJoe » 22 janv. 2018 01:56

Une preuve un peu plus euclidienne...

-pour l'implication de gauche vers la droite :
On a alors que $ $$\mbox{Ker}(A)$ est somme directe orthogonale de $ $$\mbox{Ker}(A^{*})$. On peut alors conclure matriciellement ...

Mais c 'est plus drôle ainsi :
Soit $ $$x$ un vecteur de $ $$E$ tel que $ $$(A+A^{*})x=0.$ On peut alors écrire que $ $$x=y+z$ où $ $$y$ et $ $$z$ appartiennent respectivement à $ $$\mbox{Ker}(A)$ et $ $$\mbox{Ker}(A^{*})$. Il vient alors que $ $$Az=-A^{*}y$ en composant par $ $$A$, puis en prenant le produit scalaire par $ $$y$ de l'expression ainsi obtenue (on utilise $ $$A^{2}=0$), il vient $ $$\|A^{*}(y)\|^{2}=0$ d'où $ $$A^{*}(y)=0.$ Ainsi, $y$ est nul(car $y$ appartient à $ $$\mbox{Ker}(A)\cap\mbox{Ker}(A^{*})$) et $ $$z$ aussi. Ainsi, $ $$A+A^{*}$ est injectif donc inversible puisque que l'on est en dimension finie.

***Remarque: Si tu veux conclure dans le cas général (de la dimension infinie), il faut de plus supposer que l'image de $ $$A+A^{*}$ soit fermée (ce qui est le cas si $ $$A$ est continu par exemple). Et dans ce cas, il faut montrer pour avoir la surjectivité de $A+A^{*}$ que :

si $ $$y$ est tel que pour tout $ $$x$ appartenant à $ $$E$, $ $$<y,(A+A^{*})(x)>=0$ alors $ $$y=0.$

En effet, on écrit $ $$y=u+v$ où $ $$u$ et $ $$v$ appartiennent respectivement à $ $$\mbox{Ker}(A)$ et $ $$\mbox{Ker}(A^{*}).$ On obtient alors que $ $$<x,A^{*}(u)+A(v)>=0.$ D'où $A^{*}(u)=-A(v)$ d'où l'on tire (comme précédemment) que $ $$A^{*}(u)=A(v)=0.$ Mais alors $ $$y$ est nul et le tour est joué!

-pour l'implication de droite vers la gauche :
Il suffit de montrer que $ $$\mbox{Ker}(A)\subset \mbox{Im}(A).$ Soit $ $$x$ appartenant à $ $$\mbox{Ker}(A)$, alors par inversibilité de $ $$A+A^{*},$ il existe$ $ $u$ appartenant à $ $$E$ tel que $ $$x=(A+A^{*})(u).$ On a alors en composant cette relation par $ $$A$ (et en utilisant que $ $$A^{2}=0$), $ $$AA^{*}(u)=0.$ Comme précédemment, cela implique que $ $$A^{*}(u)=0.$ Et, on a bien que $ $$x$ appartient à $ $$\mbox{Im(A)}.$

Le hic, c'est qu'il n'existe pas beaucoup d'opérateurs nilpotents en dimension infinie ^^ :p

Messages : 0

Inscription : 06 nov. 2017 20:25

Profil de l'utilisateur : Élève de lycée

Re: A²=0

Message par Walid2018 » 22 janv. 2018 14:11

Merci énormement

Répondre