CCP PSI2005 -Math¶ematiques2
Dur¶ee :4heures
calculatricesautoris¶ees
Notationset objectifs:
²Rd¶esignel'ensembledesnombresr¶eels,Cd¶esignel'ensembledesnombrescomplexes.Pour¸2C,on
notej¸jlemodulede¸.
²M2(C)d¶esignel'espace desmatricesµa deuxlignesetdeuxcolonnes,µa coe±cientscomplexes.
²M=(mi;j)¶etantunematrice µa coe±cientscomplexes,on noteM=(mi;j)lamatrice dontles
coe±cients sontlesconjugu¶esdescoe±cientsdeM.Lamatrice transpos¶ee deMestnot¶ee tM.
²PourM2M2(C),on notedet(M)led¶eterminantdeMettr(M)latrace deM.On noteI2=µ1 0
0 1 ¶.
Leproblµemeportesurl'¶etudedes sous-ensemblesdematricesdeM2(C)etconduitµa d¶e¯nir,pardes
atricesdeM2(C),desrotationsd'un espace euclidien dedimension3.
Danslapremiµerepartie,on d¶e¯nitun produitscalairesurl'espace complexeC2.
Dansladeuxiµeme etlatroisiµemepartie,on¶etudiedes sous-ensemblesdematricesdeM2(C).
Danslaquatriµemepartie,on d¶e¯nitunestructure euclidiennesurun sous-ensembledematricesde
2(C)eton¶etudiedesautomorphismesde cetespace euclidien.
Danstoutleproblµeme,desquestionsde calculpeuvent^etretrait¶eesind¶ependammentdesautresques-
ions.
PartieI
On noteC2leC-espace vectorieldescouplesdenombrescomplexes.Lesdeux vecteurse1=(1;0)et
2=(0;1)deC2formentunebaseB=(e1;e2)deC2appel¶ee base canonique.
Etantdonn¶edeux vecteursx=(a;b),y=(c;d)deC2,dematricesX=µa
b¶,Y=µc
d¶relative-
entµa labase canonique,on d¶e¯nitleproduitscalaire(xjy)=ac+bd=tXY;lanorme estd¶e¯nie
arjjxjj =p(xjx)=pjaj2+jbj2.
C2estun espacevectorielpr¶ehilbertien complexepourceproduitscalaire etBestune
aseorthonormaledeC2.
I.1Soientx=(a;b),y=(c;d)deux vecteursdeC2et¸;¹deuxscalairescomplexes.Exprimerles
produits scalaires(yjx),(¸xjy),(xj¹y)enfonction du produitscalaire(xjy).
I.2Soientx=(a;1+3i),y=(¡1+5i;3¡2i)deux vecteursdeC2.
I.2.1Aquelle conditionsurlenombre complexea, lesvecteursxetyforment-ilsunebasedeC2?
I.2.2Aquelle conditioncettebase est-elleorthogonale?Dansce cascalculerlanormedex.
I.3SoitT=Ãi
2
p3
2
¡p3
2¡i
2!2M2(C).
I.3.1D¶eterminerlesvaleurspropres(complexes)etles sous-espacespropresdeT.
I.3.2En d¶eduirequ'il existeunebaseorthonormaledevecteurspropresdeT,quel'onexplicitera.