n etond´efinitlanormed’unvecteurx= (x1, . . . , xn)∈Rpar n 2 ||x||=x i i=1
n On munitRdu produit
n x, y=xiyi i=1
n n n Soitaun vecteur deRnon nul, on notesaalys´mteiroetrlenagohodeRdansR de´finiepar a, x n ∀x∈R, sa(x) =x−2a a, a n n On dit qu’une partieRdeRest uneredinacyssemt`sedansRisleel´verifieles conditions suivantes : n – la partieRengendre le0 et est finie, ne contient pas R-espace vectorielR; – pour toutα∈R,sα(R) =R(en particulier−α∈R) ; α, β – pour tousα, β∈R, nα,β= 2∈Z α, α – pour toutα∈Rle,euss´elseml´stneedR`sannlepoporoitrαsontαet−α. Les coefficientsnα,β(α, β∈Rpatnos)sleesl´pecoefficients de structureudsyst`eme de racinesR. Onditquedeuxsyst`emesderacinesRetRsont desedseme`tisenicarrphesomoysss n n s’il existe un isomorphisme d’espaces vectorielsϕ:R→Rfiantvire´
ϕ(R) =R
et
∀α, β∈R,
n=n ϕ(α),ϕ(β)α,β
DanslapartieI,one´tudielessyst`emesderacinesduplan.Cettepartiepermetdese familiariser avec cette notion et d’avoir des exemples sur lesquels s’appuyer pour la suite duprobl`eme.PuisdanslapartieII,one´tudiedesrelationsd’ordretotalcompatiblesavec n la structure d’espace vectoriel deRC.teetaprtieestind´ependetnaaledtrap.IeisCe relationsd’ordrepermettront,danslapartieIII,d’extraired’unsyste`mederacinesune
1
n base deR.triova’dtiafelismeˆeMermetdemieuxaborartie´alaptreipIcredelle,ic-leseulr´esultatutileestrappel´eende´butdelapartieIIIetpourraeˆtreadmis.Seulela derni`erequestiond´ependdelapartieI.LapartieIVestconsacre´e`al’´etuded’ungroupe engendre´parlessyme´triesassoci´ees`aunsyste`mederacines.Onmontreraquelessyme´tries associe´esa`unebasesuffisent`aengendrerlegroupe.Pourcela,onutiliseradesre´sultats e´tablisdanslapartieIII.Ensuite,danslapartieV,one´tudieralesgroupesdie´drauxeton montreraqu’ilssontengendre´spardeuxe´le´mentsd’ordre2.Cettepartieestinde´pendante decequipr´ec`ede(saufpourtraiterladernie`requestion).DanslapartieVI,onassocie`aun n syste`mederacinesunensembledepartiesconnexesdeRursi´efinupedorgeltigaleuqsel danslapartieIV.Onmontreensuite,pardesargumentsdedualite´etdetopologie,que touteslesbasesextraitesdusyst`emederacinessontenbijectionaveccesconnexes.Cette partie se finit en montrant que le groupe agit simplement transitivement sur l’ensemble de cesconnexesetsurl’ensembledesbasesdusyst`emederacines.
2 ` Partie I. SYSTEMES DE RACINES DANSR 2 Dans cette partie, on supposeran= 2.SoitRsyst`emeundseedaricenR.Pour α, β∈R, on noteθα,βtreueentriqe´gee´mo’llgnaαetβe,trenispromlc´reebmerelon.i.e 0 etπrapinfie´d α, β cos(θα,β) = ||α|| ||β||
1.Soitα, β∈R. 2 a)Montrer quenα,βnβ,α= 4 cos (θα,β) . b)eporseualsdleibssde´dnEvseleriuθα,β. c)(Montrer que le couple nα,β, nβ,α(1) ne peut pas prendre les valeurs ,4) , (4,1) , (−1,−4) et (−4,−1) . 2 π||α||nβ,α d)Pourθα,βeslrdospslsabuieelvsiuuerd´edet=euqretron,m= 2 2||β||nα,β ||α|| rapport ||β|| e)En supposant||α|| ≤ ||β||fsroem’dnuatlbaeu,lesdiff´erenteselavsruesr´,poursteen ||β|| denα,β,nβ,α,θα,βet . ||α|| 2 2.erlessinnsDepsnoroerercsfisugstsyreatqu`antdaadsenicaredseme`Rnon deux `adeuxisomorphes(danschacundescas,l’unedesracinesdevraeˆtre(1,0) ). On les ordonnera dans l’ordre croissant du nombre de racines et on les appelleraA1×A1, A2,B2etG24 , (ayant respectivement 8 et 12 racines).6 ,
2
3.Soitαune racine deRde norme minimale. Supposons qu’il existe une racineβdeR nonproportionnelleetnonorthogonalea`α.uQtieta`rtnaorsfrmeRpar une rotation, unehomoth´etieouunesym´etrieorthogonaled’axeR× {0}(qui laissent invariants les coefficientsdestructuredusyst`emederacines),onpeutsupposerα= (1,0) etβde deuxie`mecoordonn´eestrictementpositive.
a)Montrer quenα,β= 0 . En posantγ=sα(β),montrer quenα,γ=−nα,β.
Quitte`aremplacerβparsα(βon supposera) , nα,β<udesbleaursvalepa’dte0atelse`r deθα,βr.n,eertt´rsessateppeivuocnse √ 3π b) cas 1 :Supposons que||β||= 2||α||etθα,β= . Calculersα(β) etsβ(α) et 4 repre´sentergraphiquementlesquatreracinesα,β,sα(β) etsβ(αriqee´ud.Endeu) B2⊂R. En supposant qu’il existeγ∈R\B2, montrer qu’alors l’angle entreγet π une racine deB2euqerurueia`cnE.lcnoeinsterf´R=B2. 8 √ 5π c) cas 2 :Supposons que||β||= 3||α||etθα,β= . Calculer 6 sα(β), sβ(α), sβ◦sα(β) etsα◦sβ(α)
etlesrepr´esentergraphiquementainsiqueαetβ.Eeuqeirdu´endG2⊂R. En raisonnant par l’absurde, montrer queR=G2. 2π d) cas 3 :Supposons que||β||=||α||etθα,β= . Calculersα(βeire)etdne´ud 3 queA2⊂R. Supposons queR=A2, soitγ∈R\A2. Montrer que l’angle entreγet π deux vecteurs adjacents deA2nemeedstge´tse.Qal`ae`aruittedexe´nie´´llrseA2, 6 5π montrer qu’on peut supposerθα,γ.nE´d=eeduirequR=G2. 6 2 4.ia`’uqerulcnocnEesr`epsmhirpmosotaereuuqy’qai,nlacinsder`emesystesdansR.
Partie II.
n RELATIONS D’ORDRE DANSR
n Une relation d’ordresurRest dite compatible avec la structure d’espace vectoriel de n Rntes:onssuivacxnoiditefieldsueeisire´vell n –∀x, y, z∈R, xy=⇒x+zy+z; n+ –∀x, y∈R,∀λ∈R, xy=⇒λxλy. Larelationd’ordrestrictassocie´eestnote´e≺.
n 1.Soitune relation d’ordre total surRcompatible avec la structure d’espace vec-toriel.