//img.uscri.be/pth/d1f91f5bbbe218502a4711c59f14709272c41396
La lecture en ligne est gratuite
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
Télécharger Lire

LIENS INRIA ÉNS CNRS

De
30 pages
Niveau: Supérieur, Licence, Bac+3
Algèbre linéaire Jérôme Feret LIENS (INRIA,ÉNS,CNRS) 5/12/19 décembre 2011 23/27/30 janvier 2012 3/6/17 février 2012 1 Groupes 1.1 Lois internes Définition 1.1.1. Soit A un ensemble. Une loi interne sur A est une fonction de AA dans A. Exemple 1.1.1. La fonction vide est une loi interne sur l'ensemble vide. Exemple 1.1.2. La fonction qui à la paire p1, 1q associe 1 est une loi interne sur le singleton t1u. Exemple 1.1.3. L'addition et le produit sont des lois internes pour N, Z, Q, ou R. Exemple 1.1.4. La soustraction est une loi interne pour Z, Q, ou R. Exemple 1.1.5. Si A est un ensemble, alors la composition est une loi interne sur l'ensemble FpAq des fonctions de A dans A. Exemple 1.1.6. La fonction d qui associe à toute paire px, yq de rationnels, le rationnel x 2y, est une loi interne sur Q. Exemple 1.1.7. Soit A un ensemble. La fonction u qui à une paire px, yq P A2 d'éléments de A associe le premier élément x, est une loi interne sur A. u est la projection selon la première coordonnée. Notation 1.1.1. Si b est une loi interne sur l'ensemble A, alors, pour x, y P A, l'élément bpx, yq est habituellement noté xby.

  • loi interne

  • paire pbijpaq

  • loi composante par composante

  • pxb yq

  • pxb yq1 x1

  • composition définie sur fpzq

  • loi associative sur fpaq


Voir plus Voir moins

Vous aimerez aussi

A
A A A A
1;1 1 1
N Z Q R
Z Q R
A F A
A A
x;y x 2y
Q
2A x;y A A
x A
A x;y A x;y
x y
A x
y z A x y z x y z
N Z Q R
Z Q R
A F A
si1.1.2.laLaunefonction1.2.1.quiun?internelaUnepbairUnee.p.ternese.inourLoisbqnasso,cie1.1.1.1.1surestciative.unedeloininterneExemplesurprlecsibnglet,onloithabituelesAssoub.estExemplep1.1.3.PL'additiondansetbleinprassoounduitetinternessontunedesaloisiinternessurpsurourestGroupction,emi?r1or,1.1.1.2012une,l'ensembleou,rinterne.l'?l?mentExempleq1.1.4.not?L.aD?nitionsoustrinternactionunbleestassouneseulementloitoutinterne,p,ourD?nitionf?vrie,3/6/17.,aouern2012vide,.ExempleExempleinterne1.1.5.estSi1.2.3.viermultiplicestdesunciativesensemble,fonctionalorsoula1.2.4.cactionompassoositionniniestinterneuneSiloivinterneuslaurojel'ensembleselonjanprpe23/27/30oqdonn?desNotationfonctionsSideest2011loidanssurbrel'ensemble.alorsExemplep1.1.6.surLPa,fonctionbpdestquiestassolementciee?vidtoute1.2pciativit?air1.2.1.eloipemsurd?ceeqsemdefonctionrditeationnels,ciativeleetrsi,ationnelour5/12/19a(INRIA,?NS,CNRS)L1.1.1.LIENSExemple,.estpunebloiqinternepsurberetq.SoitExempleExemple1.1.7.LSoitloiFtuneensemble.l'ensembleLestaciative.fonction1.2.2.uloiquisur?singletonuneassopExempleairL'additionelapationJ?r?mesontlin?airelois1assoPsurloi,Alg?bre,d'?l?ments,deestiExempleestLenssoustrmble,c'estositioncestativeloisurciative,Exemplesurde.,nisur..une1.2.5.loiinterneUneunassoecielaleomppremierune?l?massoensurtpensemble.q,estq
Q x y x 2y
A p1
A
A x y z t A
x y z t x y z t
A
x y A x y y x
N
Z Q R
A F A

Q x y x 2y
A
x y z t A x y z t t y z x
A
" Ad
x A x " xd
" Ag
x A " x xg
" A
0 N Z Q R 1
N Z Q R
A
F A

Q x y x 2y 0
A
A
ppeestunbsingleton).e?qq.eppneutrdonn?b?l?mentorloiqneutrbneutrointerneqsurb.cExemple.ourNotatione1.2.1.unL?l?mentorsqu'unetoutloiunestetassopciative,bonasometneutrg?n?r?l?mentalementmblelesensplaarenth?ses.sur1.3unCommnutativit?PropD?nitionS1.3.1.?l?mentUneloiPinternegauchebseulementsur,unepnlasemunbleeebestpditeLcvideommutativeExemplesisingletonet?l?msexemple,eourul,eementrsi,surpassoouruntoutomemi?rp,laprinPSila?,,surasblactionSoitloioje?bdrprgauche,.PropExemple.1.3.1.PLestaeloiourinternsiepd?niesursuronl'ensemblebvide,.estourcunommutatpibvesi.mentExemplet1.3.2.drUnelaloiuni?nternelad?nieExemplesurloiunsursingleton,'aeneutrsUnetsurcunommutative.(leExemplet1.3.3.1.4.3.Parestexemple,el'additionloiet,la,multiplicalorsationunpsontd?niedeunsetlois1.4.4.internesuncidentit?ommutativesneutrsurlaaositio,surLq,Soitensemble.interne,,pouloiunb..Exempleneutr1.3.4.oiteSiloiSoitiestaunneutrensemblepcdontenant1.4.auunmoinsmunideuxb?l?ments,blafoisceompetositionebd?nieneutrsur1.4.2.1.2.7.assop2.Exemple?l?mentqciativen,'estunpneutras?uneploilacbommetusitourative.?l?mentExempleP1.3.5.,Laa,loiPropinterntoute3.d?l?mentd?niePsurestciative.?l?mentpearourassoloidsisseulementac'est?l?pn'esturn?noite'estourploiaets?l?mentceommutative.gauchePropourositionloi1.3.1..Si1.4.1.baestinternuned?nieloil'ensembleinternenassopciatived'?l?mentete.c1.4.2.ommutativeloisurd?nieununensembleadmet?l?ment,ealorsseulpenourdutExempleouPartsun,neutrdp,laard?nie,alorp,Positionsuret,,onqueaest:?l?mentd?nieeboupdsurb,p,e,bciativeinternExempleqqSiestppensemble,loifonctionbesta?l?mentqebourLcqpbn1.2.6.d?nie.e1.4ern?lemen.ts1.4.5.neutrdesloiD?nitiond?nie1.4.1.tSoitarExempled?l?mentuneeestalob.unestq?l?menteeneutrdr2punla?l?mentdbmaisunelP'yppestd'?l?mentune?l?mentgaucheneutroureloi?.drositionoite1.p1.2.1bensunmblemunid'uneloiinterneb.Siiadmetadmetsilapunourneutrtout??l?mentoiteloiunPneutr:?,alorsonadmeta?l?mentae.bositiononSoit,ourensemblelad'uneloiinterneb.sibetunseulementneutrun,ensemblersmuniadmetd'uneuniloiuinterne?l?mentbe..1.A " x;y
A
y x y x "
y x x y "
y x y x x
x A
0 N
Z Q R
1 N Z
0 Q R
N N
f
n n 1
F N
N N

f 0 0
n n 1
F N
Z Z
f
n n 1
F Z
Z Z

f 0 0
n n 1
F Z
A
F A
h : } A A X A h X X
1
A A "
x y y x
et?l?mentsqztHusid?nieeteseulement&silesdeuxdrestOnunsiidesnve?l?mentsrctions.sesi?ensemble,drouroiteseulementdeoursoita,retoite,un1.5.9inversed?nie?ontgauchestedetetle.laUn,?l?mentieaP?neutriestdrditositioninversi.boitele?sietgauche,seulemcentquesiunillaadmetpunLinverse.gaucheExemplesi1.5.1.1.L'entierle?l?ment?estPleontseulsurje?l?mentPropri?t?inversibleloip?l?meourlors,laoiteloiseulementd?nie:sur#unsi.aExemple?1.5.2.inverseT,ousclesd?nie?l?mentstde1.5.8.admet:(r$esp.%quise,??rnesp.niensemble?)oursontositioniestnversibles.pSoitourLlaploiomp.l'ensembleExempleq1.5.3.bijeL'?l?ment?l?mentsuninverseestlesledeseule?l?mentfonctioninversiblepdesisurp(rutesp.ztHueun),p?l?mentsourinverselasontloiFinre.SoitExempleb1.5.4.surTadmetoustles.?l?mentsestsauf?erninsontsiinversiblesLpfonctionourlesbloisdi??d?niesetsuruntnverseetgaucheinun.?Exempleoite.1.5.5.pLlaaompfonction:surloipuneqExemple#Lbfonction?deSoit.5.1.'??'1drD?nition?a??desveininvuners'aeinversess??nigauche,drmaispplaasompd'inverse?surdrpoiqtExemplee,.p2.ourensemble.laescinversiblesompourositioncositiond?niesursur.erses:psontvfonctionsqctives..esExemplequi1.5.6.unL?asontfonctioninje:Siseplusrilxi$une'&b'est%?Intel?que1.5ourveo??seulementinetun,??pestqdedealorsasdesquiinunv?ersoiteelessctions.3.deestgaucheinversesemaine.gauche1.5.1.de?unoursoit.une?internegauche,sepquiourunlancneutromprositionAved?nieunsurnverse.drpde.pqb.etExemplesi1.5.7.?undr?oite,demaisppbas3d'inverseA A
x A x A y;z A x y x z
y z
x
A A
" x A x A y;z A y x z x
y z
x
A "
x A x y A x y "
y x "
A "
x A y A x y " y x " x
1x
A A
x x x
A A
x y A x y
1 1 1x y y x :
A A
x y A x y
1 1 1x y x y :
A
A A
G; G
G x
G;
G; 0G
x x

x x x x
N; N; Z; Q; R;
Z; Q; R;
ealorscpourunetout,ciativesalors?l?mentsbD?nitionPgrL,opri?t?sileblesbpsiqueest,estbadmetPunealorsdetoutarourt.1OnquiditralorD?nitionsquequeadmetp1.6.1.estqsimpliableorsque?not?drensembleoite.ourPropcosition,1.5.1.nSoitunbruneloi1.5.7.internepassoesciativemuniessuprunununeensembleunrsneutr,ontquioite,admetinversibles.unoup?l?mentditneutrensemble,eciativealoe,.unSoite,oupun?lien,?l?mentNotationdeestbneutr.l'inverseSi.ourneutrest?inversible,palorsExempleilpexistepunquniquep?l?mentouppePestgauche:teldque?bbPinverseanunsatisfaiteetoaloisbcP?l?me,Silesquels.?l?mentsD?nitionProp1.5.Soit2.interneSoitativebOnuneunloiSiinternedeassoiciative?surtousun.ensembleGroup.Un,estquieadmettelunsoit?l?meninternet?l?mentneutr?l?mentetelde?l?ment.inversible.SigrmentnonPUn?l?pestditinversilabomle,.l'uniqueoit?l?mentgrun?lien,Pestsoitettel?l?mentqueet1.6.1.bune,esteneutrenetloi?l?ment?l?mentbquiunAneetesestqappciativeel?assoinversepde,admsoit,unetExempleestpnot?pqui,q,plus.pPropri?t?b1.5.4q.?Soitinversesurununaensemble,.soiPropri?t?tLbprune1.5.6loi'estiasnteprtneutassolesciativeassosurnonciativeommutatives,,d'unquienadmneutretetunour?l?menttousneutrse.ontSiinverse.assoositionest.5.2.inversible,baloilorsassol'inverseidesurl'inverseensemblede,neadmetest?l?mentre..tousPropri?t??l?ments1.5.5Si.unSoitnventeseundrensemble,alorssoilestdebsontune1.6loiesi1.6.1.ntegrreneuneassoairciativepsurqile,dequiunadmetetsoitunloi?l?mentassoneutrsure.quiSoientunloineutretetunelePtoutbdedeuxsoit?l?mePropri?t?nUntoupinversibles.estAvide.lors1.6.2.tgrbesoialoestestinversible,abdesiplusloi:cpmutative.ensemble,1.6.1bLunpqqunSoitoupab1.5.3.l'?l?mente1.5.2.souventbsPropri?t?etd'unPropri?t?rsgauche.not?Propri?t?e1.5.6.ExempleSoitUn??un?l?ment,ensemble,,soitunboupuneabloiliinternepalassod?nieciaartuniv.e1.6.2.etucuommutativedessurairsimpliablep,que,,bsuresq?liens.pneutrinternee.,SoientloiourqetoupbPqe'estdeuxgr?l?mee.n1.6.3.tesinversibles.airAslorsensemble,tqbpoiSoitestinversible,psontgrq,desquioupadmetabun4?l?mentn N Z nZ; 0
n 1 n 0 i N
0 i n i n i
A A ; A
A A
A A ; A
A A
G;: " x G x:x "G G
G;:
K Q R C
K E; ;
E; 0E
K E E
; K u;v E
u u u
u v u v
u u
1 u u
K; ; K
: ::nn E; ; K E ; ;
:
K
: :
A E; ; K F A;E ; ; F A;E
: :
A E
K
R R
R
: ::NE; ; K E ; ;
:
K
E; ; K u E 0 u 0E
E; ; K 0 KE
0 0E E
E; ; K u E 1 u u
E; ; K u E K
u 0 u 0 0E E
d'?l?mentqpestpunpgrpouppepd'?l?mentabn,ecutrloieair?p?pet2.1.1.telPropri?t?quep:our,toutqquedePtelve,?P-espacentiero?tout,una?lien.lors:punour?l?mentp2.1.3.qqestpabve?li?l?ments.eestn,.est2,EspacespvectorielseDansL'ensembleladesdeuiointtctoriel.eq,orplus,aveestloisoitpl'ensemosantebleeDe1.6,vesoitel'ensemble,.e,ctionssoitOnl'ensemqbleBijestve.ensemble2.1D?nition.4.D?nitionair2.1.1.unUnLe-esplorsacqeBijveo?ctorielqestdesundanstripletappliquepointneutrettlanointqesttelacqueExemple:fonctions1.pppL'?l?meointe.multiplicq?soitununegr2.1.5.ou?l?ments.ptreveabA?lien,audontunonappliquenoteompl'?l?mentcneteutrlaeompoupcgrs;-esp2.ctoriel.psoitquneacloietexterne?l?mentdeOnunestestSoitdansdans,-esp;e3.epsoitourdestout:duloestmo.Ppl'additionq,acdeetmuni?l?mentPOnqonaitPropri?t?:p(a)qpacetsoitedeqsoi?l?menttrSipAnppeqppo?entiersqqdes.qq;l'ensemble(b)fonctionsl'ensembleExempleppBijqla{pq?oint,pppappliqueloiSoitpq?pointf.un-espieqctoriel.;2.1.4.(c)destdedanspmuniosil'additionointppqetlapationementointpctestqaacstrive;Exemple(d)SoitentierLoisunun-espe.ctExempleiel.2.1.1.lorspmoinsPcSoitensemble1.6.4.qqestestlauncExempleosantel'inversear5omeosante,ve1.6.5.ctoriel.appliqueExempleloi2.1.2.cSoitosante.arunompentiereettpSi1.6.1acositionvePropPropri?t?qSoitun.6.?lien.Exemple-espunac-espeevectorielctoriel.soitLunedetriplet.paaboupnongreunoup.gr2.1.2.unpqSio?qestestappliqueaclavloictoriel,cneutrompdedeet,bijeunpdec.ompaosantebleetl'ensem-dansunappliquePropri?t?laSoitloipo?cunomp-esposanteepctorielarsoitcunompdeosante,.estaunpestq-espaveace.ve2.1ctoriel.SoitExempleBij2.1.3.eSoitunde-espuneensemblectoriel,etpp?l?mentctionsabijeetdestqunundel'ensemble.-espdeuxacouSiun,ealorsvectoriel.osanteoupar.-espacE; ; K E
F E
u;v F u v F
u F K u F
E; ; K F E F
0 EE
F K E; ; F
u;v F u v :F
K u F u F; ;: KF F
0E
E; ; K 0 EE
E
E; ; K E; ;
E; ;
E; ; E; ;
E; ;
K 0 K; ;K
R R R
: :
F R ; ;
: :NR ; ;
E; ;: K E
: :NE ; ;
x;y R R x y
x t
2 x t 3 y t
t
t R;
y t
3 x t 2 y t ;
t
R
2
E; ; K
;u n K Ei i 1 i n
S 0 i ni
S 00 E
S S u 1 k ik k 1 k k
lesalairqeqourarPeptoutetour?Soitunq?l?meunndanstq2.ePet;?s,niel'?l?mentqPetsuitespde.deAplo&rs|p,unPomp|?touteourqp.|la1.?qestSiunun:l'-espPacvee,veL'ensemblectorield'?l?mentlesneutrv?riente?quecietella.Propri?t?.2.2.3.pSi-esppe,??ar1duitqcestFinunenvidep-espacacSoitesurveouplesctoriel,lesalorsourt:nonunensembleuExempleet|s-qsont-espdeuxctoriel,sleous-espvaleurastationnentcacesovel'?l?mentctorielsd'?l?mentsdeExemplesouc.pPropri?t?de2.2.4.,Siairpd?rivablestoutpdePctoriel'q'estpunloiveq-espacpePvePropri?t?ctoriel,alorqsacl'interse2.2.1.ctionespdectorieldeuxpsous-espointacanteesompdeprppeointacosantesous-espompqlaest2.3unendsou2.3.1.s-eessous-esppveacunePropri?t?deppfamilled?nieelloiappOnqp.qPropri?t??2.2p.5.l'?l?mentIl-espexisteAun.espctorielac.e2.2.4.vepctorielPp,Onestctoriel.,veacqveetalorsdeuxensembsdesous-esp?acdansesquiveestctorielssous-espdeepcterielacp-esp,qdanstelsqque.leur2.2.5.uniondesneouplessoitfonctionsppasqunpsous-espeactelequeveetctorielsoientdeetp:unourqepunq$.'Exemple'2.2.1.%Soitassoetquitinterne2.2.1.unupsontqlesnoteseulsOnsous-esp.acqespveqctporctorielielsedevpD?nitionSous-espacesp2.2q6est.d'unExempleac2.2.2.veL'ensemblepdesl'additionfonctionsointcpontinuescdeosepdanscsoitosante,estleunosous-espexterneacointepveetcomptoripeclosante.dudeetctoriel-espsemaine.acSous-espacesegir1.D?nitionmeSoitblevevacoubli?unp-esptelctoriel.d?nitionpj'aiSoitlund2.2.2.ourqtrer?t?tune.lesuitesderc?danselles.quid?nitcsommesonverartielgentdeestpuunnesous-espneutracare#veontientctorielcdelorspu?qciescassopacdeexterneourloi?la?toutveIlctorielsempaveoirpceeoinqdansacactorielquesous-espdonn?ori,n?cessairec'estveptoutmonvqueconsous-espaceqectoriel.tienExemplel'?l?men2.2.3.neutre.L'ensemble.desqu i 1 i n i 1 i n
S En
E; ; K
n
u ;i i
i 1
u i 1 i n i 1 i n
E; ; K n ui 1 i n
E K 1 ni 1 i n
n n
u u :i i i i
i 1 i 1
IE; ; K I ;u K Ei i i I
K E I
n

u u :i i k k
i I k 1
n i I k 1 k n
E; ; K A E E
F
F E; ;
A E
G E; ; A G F G
F E; ; A
E; ;: K A E E; ;:
A A
E; ;: K A E
n
n nA u n N; u A ; K :i i i i
i 1
F K E; ; F F
E; ; K 0 E; ;E
0 E EE
: :3R ; ; 1;0;0 ; 0;0 R
: :3K ; ; 1;1;0 ; ; 0 K
: :3K ; ; 1;0;0 ; 0;1;0 ; ; 0 ; K
kk N
k 1 k nn
k 0n
: :N k NK ; ; k N K
0
,ctoriel.sous-esp.Ontpnote2.3.1.:-esp?PvefamilPpeeace-espletpun?qepunesiSoitam?e2.3.1.,n?Notationest.unPpp2.3.2.cteurtpqsous-esptpveulelapsem,uqar?po?engendr?desestunle'uncliarctdinal2.3.1.deunqt,eet?pdeunevebijeExemplectionpdeengendrleamdansptExemplefamilp|engendrlales?qdeL?lorsecientspuq.quPropri?t?et2.3.2.PourSoitlapqoqcsous-esplesd'?l?mentsqlesununearomb-espiacous-espectorielve-espctorictorieleetl.VSoitnip.?p?qune-esppctoriel,artieedesous-esp?p.qIlarexisteuunrensembleacqengendrtelequeL:epplasoitpunfsous-espquacqe|deupLleefamillaqp;arqudesoitPunExemplesous-ensemblesous-espdepelui-m?me.;engendrtppentrourptoutdesous-esptpacqePairExempledePpfamillin?d?nieombinaison#cqtelPropri?t?queLlee?2.3.1.ell,pontaitfppest?deaRemarque.SiL'ensembleestOns.acalorsveappdel?naisonleacsous-espveacpepdeqpalorsqeqpunqqensembleengendrExemple?SipunaSoitrest-espctoriel..acNotationve2.3.3.alorsSoitvepupleel,acnaturdeeracqaiunengendrip-esptacqe;veplus,ctorielestetsous-espteunectorielp?artiearde.n2.3.2..eLacedesous-espdeacSoiteNotationdeqp?earunqacpctoriel,iqestengendr?lpqarlevepest.not?2.3.3.Veeacctdepqe?q?.qPropri?t??2.3.3.arSoitpp?cpesteostationnentecientsar|?undeindex?.-esp2.3.4.aceeacvedectoriel:etAOndansuneqp?artieardeete.entiersAdeslorsble:l'enVctioneestctbijeplenote|q,p#.dans2.3.5.?deoupled'?l?mentslecestdesuitelep:familuneune????.:sinonPeqac?dep,deleqPqp?ParsuitespiP|laPquPl'ensembleqsuitesc+pqui?enSoitq7estE; ; K I ui i I
E J I j j J
u 0 j J; 0:j j E j
j J
E; ; K f E f
IE; ; K I u Ei i I
E i i I
u 0 i I; 0:i I E j
i I
E; ; K
0E
E; ; K E 0E
: :31;1;0 ; 1;1;0 R ; ;
: :31;1;0 ; 1;1;0 ; 2;3;0 R ; ;
:
nn N K ; ; n
k 1 k n
0 k 1k
IE; ; K I u Ei i I
E I J I uj j J
IE; ; K I u Ei i I
IE I I I v Ei i I
E

v u :i i
u vi i I i i I
IE; ; K I u Ei i I
IE I K 0 i I I v E0 i i
E

v ui i0 0

v u i I i :i i 0
u vi i I i i I
IE; ; K I u Ei i I
IE I i I j I I v E0 0 i i
E

v u ui i j0 0 0

v u i I ii i 0
u vi i I i i I
panfamillibrlearppPnlaoque,familPamilqpqfamilpppamile@alairscladenleetqqUnest2.4.1.librneealorsdansPpacfamilSoittoutearetP?lanideztqc.PExempleac2.4.3.siLarasifamildeleveppuensemblesitoutpourlibrpfamilsisiqctoriel,seulemente.pqetSoitsipeSilibrPropri?t?diteqqetestvepPdeded'?l?mentsP?qourpuqqesestsili?see.dansqpSoitlepfamillibrUnee.d'?l?mentsensemblePunqqla.arExempleun2.4.4.elSoitnSoitfamilPe.ctoriel.launPentiernaturesel.lors,Soitpplesvelibreseulementacle-espqunest2.4.4.q.estl'espveacuneble.ve2.4.2.cptoriuneeld'?l?mentsdeseq.-upletsdescealair?l?mentes,Soitmuniqdeetl'additionleetd?niela#multiplicd'?l?mentsationPcaoOnorPdonn?qelors,pparalairclibroseulementorledonn?qe.estL2.4.5.atoutfamilplevepunpble.Soitetqe.1.une?d'?l?ments2.4e?.D?nitionPdeeve?l?mentscteursSoittelqlepquelelibresd?nieL#aensembletoutesSoitsesaccunoleor'estdonn?lors,esp?Remarquegaleslibr?seulementamillesle,qsaufaslaontiennentFc-i?mepcqoAorladonn?leelesquiqvautP2.4estlibre8ete.siPropri?t?famil2.4.2.pSoitvepe2.4.2.acExemplelibre.Propri?t?qSoitun-esplibrun-espunac-espeevectoriel.ctoriel.qSoiteestsemunSiensemble.D?nitionSiqpPuPa2.4.1.qf:lePdeztindex?Pp?pdeSoitunePfamiltelleunlibr-espeacd'?l?mentsPdeun?l?mentdeindex?.epp?arctorield'unP.Soitfamiled'?l?mentsununesouspensemble:defamilform?le.Alors,.la:familonle,pplePfamilditqqeuPAtlaestleoupestqPropri?t?P2.4.3.estSoitepettsisfamilalorpqdeunlectoriel,famil-esplibracPropri?t?eSoitvetoutectoriel.ourSoitunve-espuneectoriel.nsisemeble.semSiSipseulementeqacPqP-espestPfPlePdeunindex?estpunedefSoientamilestleli?d'?l?mentsPdePqdeuxindex?dee.pparetseulement.PSoiletfamild'?l?mentsunefamilbijepction:dee?ni.danspsi.ctoriel.Soiet-esppSiq2.4.1.ourqPExempleztPp.APla@lePSoitlaqfamilPleestd'?l?meentsetdesil'?l?mentfamild?nieppasarp:!libre.e.estlibrIE; ; K I u Ei i I
E I K i I j I I i j0 0 0 0
Iv E Ei i I

v u ui i j0 0 0

v u i I ii i 0
u vi i I i i I
mnm n N u K mi 1 i m
: :nK K ; ; i 1 m ji
i 1 m j u 0 i ii i
ui 1 i m
n mm n N u K mi 1 i n
nK
u j i ui;j i 1 i m
ui 1 i m
p 0
p m
p m q 1 n u 0p 1;q
q u 0p 1;q
u up 1 p 1;q
u p p u up p 1 p;q
p p 1
1;1;0 ; 1;1;0
1;1;0
1;1;0
1;1;0
L L L2 2 1
0;2;0
1;1;0
L L 22 2
0;1;0
1;0;0
L L1 L210;1;0
1;1;0 ; 1;1;0
1;0;1 ; 1;0;1
1;0;1
1;0;1
1;0;1
L L L2 2 1
0;0;2
1;0;1
L L 22 2
0;0;1
1;0;0
L L1 L21
0;0;1
1;0;1 ; 1;0;1
1;1;0 ; 1; 1;0
1;1;0
1; 1;0
steorlibrdonn?2.4.7.elibrduqqp-i?me2.4.6.vefcteurutilisantdelibrlanon.famil?leetpppppSoitdonn?q,.la??ve?Soientque.eL'algorcithm,esoits1uivantppermeesttquedelad?amcsiipder.siepctels,dee.qsi?l?mentsq?Soitdeuxu?qPtrest1libree,laouleli??e.estPriendrsiedonn?etq?LPet.e1.etsipSoienttellibr.oalorsseulementlafamilpleestestolibrsie.l2.lesiqPtr?estSoiteetlas'illepleouresttout2.4.1.pentrpeestarleetqpzt,pefamilindex?estdeutilisantd'?l?mentsalorsle).,ealorslelapfamilopri?t?lelaestsili?lae.gale3.familsinon,e.pruendrl'algorithmeeourlfamilledeplusqp-i?meetitqqentieroutelfamilque,ieam1fqunee,siPle.our4.qMultipliersile
ve(encteuransformationPcq),plaplarel'inverseetdeeSiq.eensembletrun?.Si5.seulementSoustramairela?pchaquepveestcteurutilisantSoitvectoriel.-esp1).peourlevep1opri?t?laedledevefamilcteurPropri?t?ace.-esputiliseunourmultipli?familpparqqdeuxpp1e,Soita.p6.osiPrfsendr?eq2.4.6.q?APropri?t?lecla.
7.librR(enetournerla?ansformationl',?ltapeors,1Or.ettExemplederni?r2.4.5.familOnestue,tariprlise2.4.7l'algorithmedonc2.4.famil1pppseulementoursisavoirqsipla?famil1leqqpplibr-i?meExemplePOnlatPlisela2.4.qpnotesavoirplaOnle.lefamileleoreoqqcestplibrlae,estoue,non.non.LaalefamilplePestpqdentrcteurslibrveindicd'?l?m
delibrqsipseulementlelafamilamiluneentstoutqpqle
pestelibree,qsiesteteseulementutilisantsitrlaorf?amunedexiosiet
silibrf9id?nieleppPilpet?qqseulementpentrarut?
:librq(en#laqansformation
testourlibr{e),(enetutilisantsilaftriansformationleppq?familSoitq.pPdansctoriel),
silibret(enseulementlasiansformationlaefacamiulOrleettderni?rpfamilositifsestpe,entiersardeuxpr2.4.7qdoncpfamiletpppcteursSoientlibr2.4.1.qAlgorithmepqune
qestqqlibrlibreExemple(enOnutilisantl'algorithmelaptrsavoiransformationlae.lelibr2.4.7.?Pest?ouret{??),entierssiqqetlibrseulementousiLlafamilfampi.ldanslepiptPiqlestlee,p1;1;0
L L L2 2 1
0;0;0
1;1;0 ; 1; 1;0
3
E; ; K I ui i I
E E; ; u E
J I j j J
u u:j j
j J
IE; ; K I u Ei i I
E I u E; ;i i I
u i I Ei
K 0 K
K; ;
E; ; K u Eu E
: :31;1;0 ; 1;1;0 ; 1;1;1 R ; ;
: :31;1;0 ; 1;1;0 ; 2;3;0 R ; ;
k k N
R
nn N I u Ki i I
i I i I i u0 0 i
ui i I
nm;n N u m Ki 1 i m
i 1 i min m 1;n i 1 i j0 0 0
u 1 i j 0 i i i 1i 0 0
u 0 ui i 1 i m
1;0;0;3
0;1;0;2
0;0;1;2
0;0;0;0
: :4R ; ;
:
nn N K ; ;
k 1 k n
0 k 1k
telsladedoncP|soit,cPindic2.4.1toutuqeunopri?t?c.uneExemplep2.5.1famil.vePourlatoutq?l?mentdenonenul,ppratricPunelaqqztaarpuor,etlapfamillorsleaspfamilppqunest'estuneqfamildelees,g?n?roatricunesous-ensemblede5.3.e,natur-esp?acqeosevetelctorielppetli?entrestleleveqsi.telExempleq2.5.or2.vautSippvefamilExempleet?derni?rqunestSoitunSoite-esp-espacfamileeveSoitcSoittoriqel,n-upletsalorsetlaefamilLleSoitptelptettesqascPropri?t?Pg?n?rOrdeuxdeSoittousqles?velecteursdedeOn).existeestpunefamilfamil?leg?n?rqatrielctoute.li?Exemple,2.5.3.cLeaufamilvautleppsinon,?pansformation?trelacutilisanteqsoit(en.pfamile2.5librctoriel,est'est
atricqD'aprqoprip,p:qp-espamillesleD?nitionlPropri?t?qqestpunepfamil:leqg?n?ratricaseg?n?rdeacpveiExempleamPfnaturlaalairsifamilseulementl'espqctoriel.scExemplede2.5.4.multiplicLoraarfamildonn?lefamilppetun?existeveilque,toutesensembleorqgalesPsaufpg?n?r.e.?l?ment2.toutSoitourlepfamilqentierssiels.ppseulementesttqePsipqfamilqqden?l?ments'estp.assuppunequ'ilfamilunleeg?n?rleatricquee?deLp.Uneestfamilarleeet,ptsiqueqour.index?Exemplee2.5.et5.d'?l?mentsLlaa-i?mefamiloledonn?desdusuitescteprdeuneee.qFinatricPPdeg?n?retnque'estourpPaslaunelafamilsemaine.le-i?meg?n?roatricdonn?edudecteurl'espetacensemble,eAdelaslesuitesun?qvaleur?dans?en.pPropri?t?g?n?r2.5.2.e.Soit2.5.6.t?sPprdi?un2.5.3entierlanaturleel.SoitestpunacensembleFetqpqpg?n?ratricesdepq2.5.1.d'?l?ments2.5e.pe.1.unefamilqleqd'?l?mPents?dequeq,P