Matrices orthogonales
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
guigui777
- Membre Relatif
- Messages: 177
- Enregistré le: 16 Mar 2006, 12:36
-
par guigui777 » 02 Juin 2007, 14:12
Donc voilà je dois démontrer que Si A On(E) <=>
tAA=In, avec tA transposée de A
pour celà j'écris mon poduit scalaire, tXtAAY=tXY
il me reste a montrer que tAA=In,
pour celà on prend X=Ei,1 et Y=Ej,1, on a alors, tXY=1(j=i) ou 0 sinon
et si on note B=tAA, tXBY=bij,
bij=1 ou O, donc tAA=In...
ok pour cette démo. Le seule truc qui me gène c'est pourquoi on peut prendre X=Ei,j, alors que X n'est pas nécéssèrement un vecteur avec des 1 ou des 0... si?
-
aviateurpilot
- Membre Irrationnel
- Messages: 1772
- Enregistré le: 01 Juin 2006, 21:33
-
par aviateurpilot » 02 Juin 2007, 14:19
guigui777 a écrit:Donc voilà je dois démontrer que Si A On(E)
tAA=In, avec tA transposée de A
pour celà j'écris mon poduit scalaire, tXtAAY=tXY
il me reste a montrer que tAA=In,
pour celà on prend X=Ei,1 et Y=Ej,1, on a alors, tXY=1(j=i) ou 0 sinon
et si on note B=tAA, tXBY=bij,
bij=1 ou O, donc tAA=In...
ok pour cette démo. Le seule truc qui me gène c'est pourquoi on peut prendre X=Ei,j, alors que X n'est pas nécéssèrement un vecteur avec des 1 ou des 0... si?
tXtAAY=tXY est vrai quelque soit X et Y.
en particulier pout X avec des 0 et des 1. (just pour simplifier les caclues)
-
guigui777
- Membre Relatif
- Messages: 177
- Enregistré le: 16 Mar 2006, 12:36
-
par guigui777 » 02 Juin 2007, 14:28
ok merci, dans le même genre je dois montrer que si f(XY)=f(YX) avec f linéaire, alors il existe a tel que, f=atr,
pour montrer ca mon prof m'a dit de prendre f(EijEkl)=f(EklEij) déjà pourquoi prendre ca, là c'est le raisonnement qui me gène, une application est entièrement définie par son expression dans une base, donc on regarde f(Eij) c'est ca?
-
Daniel-Jackson
- Membre Relatif
- Messages: 160
- Enregistré le: 19 Mai 2007, 17:49
-
par Daniel-Jackson » 02 Juin 2007, 14:47
Pour moi c'était plutot une définition mais bon on peut se débrouiller juste avec la proprieté : l'orthogonal de R^n tout entier c'est le vecteur nul :
Comme A est dans O(n) signifie que c'est une isométrie , par polarisation
= , où désigne le produit scalaire useul sur R^n .
Or = donc = en faisant la différence et par linéarité en "x" on a:
= = 0 , quelque soit x, y dans R^n .
A x fixé , quelque soit y dans R^n , le vecteur (tAA-I)x est orthogonal a y donc (tAA-I)x est orthogonal à R^n donc nul (tAA-I)x = 0 par suite x est dans le noyau de l'application linéaire u=tAA-I et comme ceci est vrai quelque soit x , alors le noyau de u est R^n tout entier et donc u est identiquement nulle .....
-
aviateurpilot
- Membre Irrationnel
- Messages: 1772
- Enregistré le: 01 Juin 2006, 21:33
-
par aviateurpilot » 02 Juin 2007, 14:49
guigui777 a écrit:ok merci, dans le même genre je dois montrer que si f(XY)=f(YX) avec f linéaire, alors il existe a tel que, f=atr,
pour montrer ca mon prof m'a dit de prendre f(EijEkl)=f(EklEij) déjà pourquoi prendre ca, là c'est le raisonnement qui me gène, une application est entièrement définie par son expression dans une base, donc on regarde f(Eij) c'est ca?
tu as raison qu'il faut regarder
)
mais pour utilisé le faite que
=f(YX))
tu dois se servir de:
=f(YX)\ \Longleftrightarrow \ \forall (i,j,k,l)\in [|1,n|],\ f(E_{ij}E_{kl})=f(E_{kl}E_{ij}))
si
=0=f(E_{11}).tr(E_{ij}))
si
=f(E_{i1}E_{1i})=f(E_{1i}E_{i1})=f(E_{11}).tr(E_{11}))
donc
=a.tr(X)\ avec\ a=f(E_{11}))
donc on a bien utilise le qu'une application est entièrement définie par son expression dans une base,
-
guigui777
- Membre Relatif
- Messages: 177
- Enregistré le: 16 Mar 2006, 12:36
-
par guigui777 » 02 Juin 2007, 15:24
ok merci!
Dernière chose qui m'a géner cette semaine, j'ai noté, si u est une forme linéaire de E dans K alors U est srujective, ca veux dire qu'en dimension finie u est bijective? et u est une fome linéaire cad que u est une application linéaire de E dans K...
-
Daniel-Jackson
- Membre Relatif
- Messages: 160
- Enregistré le: 19 Mai 2007, 17:49
-
par Daniel-Jackson » 02 Juin 2007, 15:28
guigui777 a écrit:ok merci!
Dernière chose qui m'a géner cette semaine, j'ai noté, si u est une forme linéaire de E dans K alors U est srujective, ca veux dire qu'en dimension finie u est bijective? et u est une fome linéaire cad que u est une application linéaire de E dans K...
Entre espaces vectoriels, bijectivité entraine égalité de dimension ...
-
aviateurpilot
- Membre Irrationnel
- Messages: 1772
- Enregistré le: 01 Juin 2006, 21:33
-
par aviateurpilot » 02 Juin 2007, 15:30
guigui777 a écrit:ok merci!
Dernière chose qui m'a géner cette semaine, j'ai noté, si u est une forme linéaire de E dans K alors U est srujective, ca veux dire qu'en dimension finie u est bijective? et u est une fome linéaire cad que u est une application linéaire de E dans K...
si u est une forme linéaire alors u est surjective car:
\subseteq \mathbb{K} \\ dim(Im(u))=1=dim(\mathbb{K})}\Longleftrightarrow \ Im(u)=\mathbb{K})
mais

n'est pas bijective sauf si
=dim(\mathbb{K})<+\infty)
tu est en mathsup?
-
guigui777
- Membre Relatif
- Messages: 177
- Enregistré le: 16 Mar 2006, 12:36
-
par guigui777 » 02 Juin 2007, 15:31
donc c'est pas bijectif, si E et K n'ont pas la même dimension... et pourtant on sait que f bijectif<=>f injectif<=>f surjectif non?
-
guigui777
- Membre Relatif
- Messages: 177
- Enregistré le: 16 Mar 2006, 12:36
-
par guigui777 » 02 Juin 2007, 15:32
aviateurpilot a écrit:si u est une forme linéaire alors u est surjective car:
\subseteq \mathbb{K} \\ dim(Im(u))=1=dim(\mathbb{K})}\Longleftrightarrow \ Im(u)=\mathbb{K})
mais

n'est pas bijective sauf si
=dim(\mathbb{K})<+\infty)
tu est en mathsup?
oui toi aussi non?
-
aviateurpilot
- Membre Irrationnel
- Messages: 1772
- Enregistré le: 01 Juin 2006, 21:33
-
par aviateurpilot » 02 Juin 2007, 15:35
oui moi aussi en mathsup.
f bijectiff injectiff surjectif. est vrai si
=dim(F))
-
guigui777
- Membre Relatif
- Messages: 177
- Enregistré le: 16 Mar 2006, 12:36
-
par guigui777 » 02 Juin 2007, 15:37
aviateurpilot a écrit:oui moi aussi en mathsup.
f bijectiff injectiff surjectif. est vrai si
=dim(F))
ok, ca va tu dois pas mal te balader non?
-
aviateurpilot
- Membre Irrationnel
- Messages: 1772
- Enregistré le: 01 Juin 2006, 21:33
-
par aviateurpilot » 02 Juin 2007, 15:42
guigui777 a écrit:ok, ca va tu dois pas mal te balader non?
qu'es ce que tu veux dire par "balader", :hein:
dsl mai je ne suis pas tres fort en francais :marteau:
-
guigui777
- Membre Relatif
- Messages: 177
- Enregistré le: 16 Mar 2006, 12:36
-
par guigui777 » 02 Juin 2007, 15:44
aviateurpilot a écrit:qu'es ce que tu veux dire par "balader", :hein:
dsl mai je ne suis pas tres fort en francais :marteau:
C'est à dire que ca n'a pas l'air très difficille pour toi tout ca!
Tu es en sup en france, mais tu vivais au maroc avant?
-
guigui777
- Membre Relatif
- Messages: 177
- Enregistré le: 16 Mar 2006, 12:36
-
par guigui777 » 02 Juin 2007, 15:45
Rain' a écrit:Il veut dire qu'avec ton niveau, ça doit pas être très difficile de suivre les cours en maths sup pour toi.
lol! et toi rain tu fais quoi?
-
guigui777
- Membre Relatif
- Messages: 177
- Enregistré le: 16 Mar 2006, 12:36
-
par guigui777 » 02 Juin 2007, 15:48
Rain' a écrit:Moi je suis en spé et j'espère plus pour très longtemps.
C'est sur mais toi aussi t'as l'air d'avoir un bon niveau! ca prouve que j'ai encore bcp de travail a fournir!!
-
aviateurpilot
- Membre Irrationnel
- Messages: 1772
- Enregistré le: 01 Juin 2006, 21:33
-
par aviateurpilot » 02 Juin 2007, 15:48
Rain' a écrit:Il veut dire qu'avec ton niveau, ça doit pas être très difficile de suivre les cours en maths sup pour toi.
lol, j'aime pas le cours de mathsup,
c'est pour cela que j'ai meme quelque probleme avec mon prof car je n'ecris pas le cours,mais ,il m'aime comme meme hhh.
guigui777 a écrit:C'est à dire que ca n'a pas l'air très difficille pour toi tout ca!
Tu es en sup en france, mais tu vivais au maroc avant?
je vis et j'etudie mathsup au maroc.
-
guigui777
- Membre Relatif
- Messages: 177
- Enregistré le: 16 Mar 2006, 12:36
-
par guigui777 » 02 Juin 2007, 15:52
aviateurpilot a écrit:lol, j'aime pas le cours de mathsup,
c'est pour cela que j'ai meme quelque probleme avec mon prof car je n'ecris pas le cours,mais ,il m'aime comme meme hhh.
je vis et j'etudie mathsup au maroc.
ah j'savais pas que ca existait là bas aussi! c'est cool! dans ma classe les meilleurs sont des étrangés qui viennent car justement y'a pas de sup chez eux
-
aviateurpilot
- Membre Irrationnel
- Messages: 1772
- Enregistré le: 01 Juin 2006, 21:33
-
par aviateurpilot » 02 Juin 2007, 15:56
guigui777 a écrit:ah j'savais pas que ca existait là bas aussi! c'est cool! dans ma classe les meilleurs sont des étrangés qui viennent car justement y'a pas de sup chez eux
j'etudie mathsup a l'ecole royal de l'air au maroc.
je voulais bien etudier apres mes 2 ans en prepa dans une grande ecole en france, mais mon ecole ne va pas me laisser "lol"
-
guigui777
- Membre Relatif
- Messages: 177
- Enregistré le: 16 Mar 2006, 12:36
-
par guigui777 » 02 Juin 2007, 15:58
aviateurpilot a écrit:j'etudie mathsup a l'ecole royal de l'air au maroc.
je voulais bien etudier apres mes 2 ans en prepa dans une grande ecole en france, mais mon ecole ne va pas me laisser "lol"
j'pense j'auraiss fait pareil à leur place!! bon allé jv retourné au boulot j'ai pas mal de trucs qui m'attendent!! a+ et merci de ton aide!
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 60 invités