Algèbre : valeurs propres

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
Mathusalem
Membre Irrationnel
Messages: 1837
Enregistré le: 14 Sep 2008, 03:41

Algèbre : valeurs propres

par Mathusalem » 29 Mar 2010, 19:30

Bonjour,
J'ai l'exercice suivant : Soit V un F-espace vectoriel (donc R ou C) et soit T un opérateur linéaire sur V.

Montrer que SI TOUT sous-espace vectoriel U de V tel que dim U = dim V - 1 est T invariant, alors il existe tel que .

Alors. La traduction de cet énoncé est la suivante :

Soit . Alors
Soit . Alors
où sont des espaces propres.
Si tous les tels sous-espaces vectoriels (propres) sont T-invariant, il s'agit alors de montrer que ... c-a-d que la valeur propre est unique, et de plus que la matrice de l'application est diagonale.

Bref, j'ai commencé par dire soit B (,....,) une base de V, alors toute Base d'un sous-espace vectoriel U de V tel que dim U = dim V - 1 peut s'écrire comme avec j = 1,2,3....n. C'est à dire que je peux prendre = () = () etc.. En principe, cette base est une base de n'importe quel tel sous-espace vectoriel. (Car une sous-liste d'une liste lin. independante reste lin. independante, de plus elle contient n - 1 elements ce qui correspond au critere donné).

Donc, tout vecteur de s'écrit comme pour k =1, ... n. (où n'est pas défini, et le deuxième terme est nul pour k = n). Et donc,


Or, L'intersection deux à deux de deux tels sous-espace est non-nulle, car si elle l'était, ils seraient en somme directe, et donc dim() + dim() = dim V, ce qui est contradictoire. Par conséquent,
tel que . Par conséquent, i.e


On a donc que tout vecteur de V est envoyé sur . Par conséquent, la matrice d'une telle application est diagonale, et ses éléments sont .

Est-ce que ceci vous semble correct, faux, incomplet.
J'aimerais vos avis, vu que cet exercice a été jugé très dur, et il ne me le semble pas aux premiers abords. Merci d'avance,
Math



alavacommejetepousse
Membre Irrationnel
Messages: 1667
Enregistré le: 28 Fév 2008, 16:23

par alavacommejetepousse » 29 Mar 2010, 19:35

bonsoir
pas tout lu

mais ça me semble faux
car on n a jamais dit que les sous espaces propres existaient et a fortiori étaient de dim n-1



une indication

tout sev peut être considéré comme l intersection d' hyperplans

en particulier les droites

Mathusalem
Membre Irrationnel
Messages: 1837
Enregistré le: 14 Sep 2008, 03:41

par Mathusalem » 29 Mar 2010, 19:37

alavacommejetepousse a écrit:bonsoir
pas tout lu

mais ça me semble faux
car on n a jamais dit que les sous espaces propres existaient et a fortiori étaient de dim n-1



une indication

tout sev peut être considéré comme l intersection d' hyperplans

en particulier les droites

Partout où je parle de S.E.V, on ne considère que des S.E.V T-invariants tels que dim U = dim V - 1, où U est le S.E.V. En lisant bien la consigne, c'est TOUT SOUS-ESPACE de dim = n -1 est T-invariant, alors...

Joker62
Membre Transcendant
Messages: 5027
Enregistré le: 24 Déc 2006, 19:29

par Joker62 » 29 Mar 2010, 19:42

Perso, en connaissant le résultat qui dit que si T laisse stable toute droite vectorielle alors T est une homothétie, je partirai tête baissé vers la notion d'orthogonal.

Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 11:07

par Doraki » 29 Mar 2010, 19:48

Mathusalem a écrit:La traduction de cet énoncé est la suivante :

Soit . Alors
Soit . Alors

hein ? c'est quoi U1 U2 etc ...? des hyperplans de V ? des espaces propres ?
je penche pour des espaces propres mais bon.
Bref, j'ai commencé par dire soit B (,....,) une base de V, alors toute Base d'un sous-espace vectoriel U de V tel que dim U = dim V - 1 peut s'écrire comme avec j = 1,2,3....n. C'est à dire que je peux prendre = () = () etc.. En principe, cette base est une base de n'importe quel tel sous-espace vectoriel.

Serais-tu en train de dire qu'il y a exactement n hyperplans différents ?
Ou alors tu veux juste dire que tu connais n hyperplans parceque tu connais n familles libres de (n-1) vecteurs ?

Bon pour la suite j'comprends rien.

Pourrais-tu montrer que pour tout vecteur u il existe k dans F tel que f(u) = ku ?

Mathusalem
Membre Irrationnel
Messages: 1837
Enregistré le: 14 Sep 2008, 03:41

par Mathusalem » 29 Mar 2010, 19:48

C'est si long que ça de lire ma rédaction ? :) On n'a pas vu de telles propriétés encore Joker. On est encore très à la base des valeurs propres.

Mathusalem
Membre Irrationnel
Messages: 1837
Enregistré le: 14 Sep 2008, 03:41

par Mathusalem » 29 Mar 2010, 19:54

Doraki a écrit:hein ? c'est quoi U1 U2 etc ...? des hyperplans de V ? des espaces propres ?
je penche pour des espaces propres mais bon.

Serais-tu en train de dire qu'il y a exactement n hyperplans différents ?
Ou alors tu veux juste dire que tu connais n hyperplans parceque tu connais n familles libres de (n-1) vecteurs ?

Bon pour la suite j'comprends rien.

Pourrais-tu montrer que pour tout vecteur u il existe k dans F tel que f(u) = ku ?


1. J'ai changé le début de mon post, j'ai mis que U1, U2, U ... sont des S.E.V propres.
2. Je dis que j'ai n bases différentes qui décrivent tous les sous-espaces propres de dimension n - 1. Je ne sais pas combien il y en a. Peut-être n. Je devrai changer l'indice sur le nombre de sous-espaces propres, c'est vrai.
3. Tout ce que je fais après c'est de dire que l'intersection de deux tels sous-espaces propres est non-nulle, par conséquent, les valeurs propres associées à ces espaces propres doivent être identiques.
4. C'est donc bien ce que tu me proposes de montrer que j'ai (essayé) de montrer.

Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 11:07

par Doraki » 29 Mar 2010, 20:03

2. Une base peut-elle décrire plusieurs hyperplans ?

Par quel genre de miracle est-ce qu'en prenant une base B quelconque de V et en retirant un vecteur ça donnerait la base d'un hyperplan propre ?

Je sais pas si c'est là-dessus que tu fais confusion, mais
l'énoncé dit que tout hyperplan H, pour tout u de H, f(u) est dans H.
Il ne dit pas que pour tout hyperplan H il existe k tel que pour tout u de H, f(u) = ku

Mathusalem
Membre Irrationnel
Messages: 1837
Enregistré le: 14 Sep 2008, 03:41

par Mathusalem » 29 Mar 2010, 20:06

Doraki a écrit:2. Une base peut-elle décrire plusieurs hyperplans ?

Par quel genre de miracle est-ce qu'en prenant une base B quelconque de V et en retirant un vecteur ça donnerait la base d'un hyperplan propre ?

Je sais pas si c'est là-dessus que tu fais confusion, mais
l'énoncé dit que tout hyperplan H, pour tout u de H, f(u) est dans H.
Il ne dit pas que pour tout hyperplan H il existe k tel que pour tout u de H, f(u) = ku


Alors, Je disais qu'en retirant un vecteur de la base, on décrit un sous-espace vectoriel de dimension n-1. Ce sous-espace vectoriel peut-être propre.
2. En effet, je me suis largement gourré. J'ai momentanément confondu T-invariant comme voulant dire "est un sous-espace propre"... Bon en gros je recommence tout. Merci :)

EDIT: Des pistes pour la résolution ?

Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 11:07

par Doraki » 29 Mar 2010, 20:16

tu regardes la phrase "pour tout hyperplan H, pour tout u de H, f(u) est dans H", tu penses très fort, tu commences à écrire "pour tout u de V, f(u) est dans " et tu termines l'exo.

Mathusalem
Membre Irrationnel
Messages: 1837
Enregistré le: 14 Sep 2008, 03:41

par Mathusalem » 29 Mar 2010, 20:22

"Pour tout u dans V, T(u) est dans l'intersection de tous les hyperplans invariants de dimension n - 1" où n est la dimension de V.
Je crois que jusqu'à là, c'est bon. J'ai pensé très fort, mais apparemment je dois penser encore plus fort.

Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 11:07

par Doraki » 29 Mar 2010, 20:25

L'intersection de tous les hyperplans c'est {0}, mais j'crois que t'as oublié de préciser que c'est les hyperplans contenant u.

Pour la fin je sais pas si tu connais le résultat que joker mentionne.

Mathusalem
Membre Irrationnel
Messages: 1837
Enregistré le: 14 Sep 2008, 03:41

par Mathusalem » 29 Mar 2010, 20:29

oui en effet, c'est tous les hyperplans contenant u.

Non, je ne connais pas le résultat que Joker mentionne.

Joker62
Membre Transcendant
Messages: 5027
Enregistré le: 24 Déc 2006, 19:29

par Joker62 » 29 Mar 2010, 20:33

Pour le résultat relatif aux droites stables :

Choisit u et v dans l'espace
Ecris f(u) = Lambda_u . u
et f(v) = Lambda_v . v

Dissocier les cas (u,v) libre et (u,v) lié pour vérifier que le Lambda_machin ne dépend pas de machin.

Mathusalem
Membre Irrationnel
Messages: 1837
Enregistré le: 14 Sep 2008, 03:41

par Mathusalem » 29 Mar 2010, 20:42

Merci, j'y réfléchirai.

A+ et merci pour vos aides.

alavacommejetepousse
Membre Irrationnel
Messages: 1667
Enregistré le: 28 Fév 2008, 16:23

par alavacommejetepousse » 30 Mar 2010, 08:09

bon
je reprends ce que j'ai écrit en tout premier post et suite à ta remarque

ce que tu as écrit était faux car l hypothèse était "tout sev de dim n-1 est stable " et toi tu l 'appliques aux sous espaces propres alors
1 ils n 'existent pas forcément
2 ils ne sont pas forcément de dim n-1 (la preuve il n y en aura qu 'un de dim n...)
3 ils sont forcément stables sans hypothèse particulière

ce qui a été proposé ensuite est exactement ce que je te suggérais

une droite est l'intersection d'hyperplans

donc toute droite est stable puis comme l'excellent joker le dit l'applicatione st alors une homothétie

Joker62
Membre Transcendant
Messages: 5027
Enregistré le: 24 Déc 2006, 19:29

par Joker62 » 30 Mar 2010, 18:41

Excellent Excellent ne mâchons pas nos mots lol !
Mais j'accepte ces énumérations burlesques avec grand plaisir :p

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 91 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite