LIENS INRIA ÉNS CNRS

Jérôme Feret

Description

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. 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. 1.2 Associativité Définition 1.2.1. Une loi interne b sur un ensemble A est dite associative si et seulement si, pour tout x, y, z P A, xb py b zq pxb yq b z. 1.3 Commutativité Définition 1.3.1. Une loi interne b sur un ensemble A est dite commutative si et seulement si, pour tout x, y P A, xb y y b x. 1.4 Élements neutres Définition 1.4.1. Soit A un ensemble muni d'une loi interne b. 1. un élément ?dPA est un élément neutre à droite pour la loi b si et seulement si pour tout élément x P A, on a xb ?d x. 2. un élément ?gPA est un élément neutre à gauche pour la loi b si et seulement si pour tout élément x P A, on a ?g b x x.

• loi interne


• famille puiqipi


• combinaison linéaire de la famille puiq1?i?n par les coe?cients de la famille p?iq1?i?n


• loi composante par composante


• pxb yq


• ième coordonnée

Informations

• Publié par: vehot
• Publié le: 01 janvier 2012
• Nombre de lectures: 22

Extrait

A
A A A A
A x;y A x;y
x y
A x
y z A x y z x y z
A
x y A x y y x
A
" Ad
x A x " xd
" Ag
x A " x xg
" A
A
ensembleloieinternesisurmentl'ensemble.ternesSoit,suralorsun,bp?ourdansinuneLoissiPb1.1dr,lal'?l?mentbbp1.esunGroupourqpestonhabituel.lementestnot?our1pbSi2012si.t1.2laAsso?ciativit?PropD?nitioninterne1.2.1.eUnebloi?l?mentinterneD?nitionbneutrsuroiteunloieseulementntoutsem1.1.1.blerestunditePasso?l?mentciativegauchesiloietseulementseulementtoutsi,internepUneourettoutunf?vriee,e3/6/17p,b2012neutrPpvierb,1.4.1.unejand'uneb.p?l?ment23/27/30alorbun2011.qunNotationpPbreestb?l?mentmeqdrbpd?cela.b1.3etCommsiutativit?ourD?nition?l?ment1.3.1.PUne,loiainternebbdesurfonctionun2.e?l?mentnestsemunbleun5/12/19neutrest?ditepclaommutativeb1.1.1.et.siunourest?l?mentbP,aonunloineutrbplasi3.et?l?mentsPeestu?l?mentleementoursi,loipsiourseulementtoutc'est(INRIA,?NS,CNRS)?l?,nLIENSuPreret?,oiteFourbloiJ?r?meet?l?mentlin?aireebgaucheAlg?breourqloie.neutrosition1SoitneutrunesmuniD?nitionloi1.4.1.bSoitSiensemble.admetununneutrensemble,munisd'uneadmetloiuniinterneu.?l?ment1.4e.?lementsA " x;y
A
y x y x "
y x x y "
y x y x x
x A
A 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 :
G; G
G x
G;
G; 0G
x x
K Q R C
?l?mentsipile.admetdeunsinverse.ciativePropri?t?v1.5.1.eSoitqentloiun1.5.4ensemble,insoiPropri?t?tetbuneinterneloiabietntesoitretnedeassobciative?l?mentsurunseulemt,unequiquiadminversibles.etunUn?l?mentsoitneutr?l?mente,gretmutative.soitl'?l?mentetersesunble?l?soimentnedeetsiinversible,.estSiunlentePquibratuninversible,inverseq?Ongaucheunpssoourommutativebneutr,deuxalorbsunpourGrouptoutestinversitelditestloiPtelPinversible.,bsiloi?l?mentLboupUnsouventD?nition.vbestdel'ensemalorsungauchebnte?ciative.quiOn?l?mentditsialorlorssdeque.inverseSoitestsoisimpliableloi?negauche.sePropri?t?et1.5.2.e.Soitveun?l?meunAensemble,estsoitplusbbunequeloidiinterne.assoSoitciativesoitsurinterneett,etquideuxadmetununSoient?l?mentPneutrnelors,estet:sadmetoitdebunern?l?mentD?nitiondeoupoitep.tSiquedrensemble,Pune?ciativeaadmetune,inverseque?uned1.6.2.reoiesttsiecp1.6.1ourpbun,abalorsep.5.1.ourd'untoutnot?se2rDansnvete,Pli,,1.5sibleunensemble,btestuneisirbassoseulementsuralors,etadmunsineutr.SiOnestditaalorl'inversesl'inversequededegaucheestPropri?t?simpliable.??drensemble,oite.tPropuneositioni1.5.1.rSoitassobsurune,loiadminterneunassoneutrciativeSoientsuretunPensembledeuxsen,inversibles.quilorsadmetbunest?l?mentdeneutr:e1.r:.Soitveunb?l?mentdedein1.5.5..?l?mentsSiensemble,unbestloiinversible,aalorsciailiexisteeuncuniquesur?l?ment,estadmetP?l?ment3.e.telsoitqueet.eb?l?metAbneutret?l?mentsiinversible,bplusseulementpbetq.quiD?nitionensemble1.5.unsisur.eb1.6uneesloi1.6.1.internegrassoeciativeunesurairunpensembleqdele,inquiunadmetetunsoit?l?meloinassotsurneutrquieunoiteneutr.etSiledrtoutPde?soitestD?nitioninversiUnbouple,pl'uniqueq?l?mentditse?lien,PlaresttelomqueNotationve.borsqueinSoitestungreteest?lien,bneutr2.estnot?.1estl'inverseapp?l?mentel?estinversede.Espaces,ectorielsetlaestuinot?vbsoit'ensemsiIn.soitPropri?t?ble1.5.3,.l'ensemSoitseulement2.2SoitK 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
: ::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
E; ; 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 E; ;
E; ;
acest.un-espPq-espsouacoureontientve,ctoriel.2.2.3.Exemple2.1.3.toutSoittouttoutetunensembleunetalairpqoursp3.Soitqleun?;la-esp,acqectorielveloictoriel.unAlorsqpqdans?l?meppctorieldeunqdeexterne(d)loiune2.2soitompqctoriel.o?venonpque2.P;;q,est(a)l'ensemblepdesacfonctionssous-espdeAeedans.eutre,vn.appliquequilaeloi,p2.1.2.ointcie?ctoriel.pPoint,Aetql'?l?ment-esppapplique.laeloideuxppacoint?alorspappliqueoint,estD?nitionunetnoteun-espeacappeacvedectoriel.us-Exemple12.1.4.,Soit1.pompon,dontqP?lien,pqPunPab:-espPac2.2.1.epveectveorLiel.eActoriel.lorsvepneutredeoupsurgr2.2.2.unsous-espsoitctorielqacqctorielo?ppnoteappliqueloilacieloipcpompdansosanteunpSoitarloiciomunpExempleosante,?ett1.,-espappliquersla|loi|unceompneutrosante.pparqc-espompctoriel,osantectioneacstestuns:de-espompacce,veloictoriel.laPropri?t?ou2.1.1.Soit.pSous-espacesque2.2.1.telpqosanteqquncpac-espveacOneelvesous-espctorieleetctorielsoitartripletsounensemble?l?mentvidedepunosante.telOn:ap:toutestcloictorielpappliquevePe2..ourPropri?t?o?2.1.2.qSoitonpaitacp-espUnqqpunPropri?t?2.1.1.Soit-espqactripleteunv-espeectoriel,ctorield'?l?mentsoitneutruneacD?nitionveqdeet.soitlorsD?nitioncunl'?l?ment?l?mentedeac2.1la.d?nieOn-espaPropri?t?:Soitunacvepd'un-esppee.pPropri?t?2.1.3.qSoitOnp|qlainterneassoq?uneqair-esppaceted'?l?mentsveentierctoriell'?l?mentetqsoitetp|unla?l?mentexternedeuasso.?Onscae:Ppetpunqnosante,veqe1.l'?l?mentmeble.vlooubli?ppuntestld?nitionqj'aiestlund;oracn?cessaireveourd'?l?menttreretout2.1.1.conPropri?t?tSitExemple.(b)soitestompunac?l?mentvedealorcl'interse,deetsous-espsoiestparunq?l?mentundes-epp.eSiposante;.(c)Ilsema;oir.cePropri?t?oin2.1dans.4.aSoitquepdonn?qi,c'estqpqmonunquesous-espacevectoriel-esptienacl'?l?meneneutre.vectoriel,3.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
u 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
E; ; K I ui i I
E J I j j J
u 0 j J; 0:j j E j
j J
aripuneefacamengendri#lFleqd'?l?mentsL'ensembledeuntest,.p.neeniqPunq?acctoriel,2.3.3.?pve?une.familctorielle?d'?l?mentsdeniee?,familetsiacdeune?bijeectionteldepl'enappsemlablerdesombinaisonentierseentrdeede-esp?etctunpdans-esplui-m?me.pAVlors?:pqP?ouplespfamil2.4Soitun2.3.1.SoitPropri?t?veest.p?ete?,?erq?dep?le?familonplelaestqlededeeecientspp.opqlec-espNotationctoriel2.3.2.pSoit.paclesOnarqparqVun?2.3.3.-espacuneevearctoriel.deSoitlors?ctunensembleourniartieletpqOnpqPleplPiuneqlibresamSoitPqf-espPctoriel.pensemble.lapededeqlibreseulementunetoutfamil?lefamildeccpouplePdansarP@aiSous-espacesindex?acelespparpn?qliqueq?note,:ait??naison.Pfamilialorsombel?csous-espelapdeq??a?air:NotationSoitnotelin?Oncctoriel.qpelveacqveeteuneacartiepap-espLqsous-espuneo?pq?estourleengendrcparpdinalnot?deepp,qetPropri?t?SoitSoitunebijectionqde:2.3.1.acdansvetetNotationune|artie.p?AP:?ecteurpuq.#Propri?t??2.3.2.Soitlespvesommesle,qlesund?nit?p-espacdansecvedectoriqelel.+Soit2.4?amilles?D?nitionq.1.unepp?artieqdeppac.veIlSoitexisteununUneensemblelelectoriel.telqqueP:d'?l?ments-espfamilditesoiteunetsous-espsiacoureensembledeunpqlatoutedeleecientssqalair;pSoito2.3.1.soitD?nitionunonsous-ensemble:?natur?sdepel,rcend;?gpenour2.3toutsous-esp.4OnE; ; 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
:
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
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
donn?edonn?d'?l?ments.defamilPdeindex?1.epqarindicPe.uivantSoitPropri?t?q-i?meunlesousetensembledonn?dexipor.?Aqlors,famillaExemplefamiletle.pentslegalesfamilztqestecPfsUnaestvelibrentre.ationPropri?t?l'addition2.4.3.?Soitlepcni.?ensemblecteursuneq?underSoite.-espsiac2.4.2.elibrvequictoriel.laSoitpctoriel.undonn?eournAsemqble.etSispPropri?t?vepeSoitq?acunePor-espcPpuncqounequefentrammuniies,lsile,d'?l?mentsqdee.pentiersindex?acePplear.Soitc.veSoientiertL'algor2.4.1.deuneSoitbijelibrctionde.RemarquePdansSoite.?l?ments.queSoiesttppelibrorasleqcp:Pla'estfamilP?noletouteslaPfamilquelelad'?l?mleentsPdeeelsid?niepp?arlibr:Soient!deuxsitseulementqetes?siPeqpleli?cteursqacestpAplors,.latoutfamiloleilpuneedonn?utelqourqlaPetditlaestclibree1si?etseulementseulementsilalaqfamil?leestp2.4.1.Onve.ositifsqSoitdeqP?d'?l?mentsPestunelibrae.:Propri?t?note2.4.4.lSoitorpeledefamilpuneunqPuneeterme-espcacpe2.4.1.ve.ctoriel.ouSoitendrctorielunl'?l?menteSoientnpsemourble.pSiPpdeuxvedeetelsqe.acPtout-espSoitPvautunqqPunePfoamilfamilled'?l?md'?l?mentsdeded?nieparindex?#etoutepsaufar,Soit?.Soites2.4.2.or5cassestelpqueapledeontiennentuetlors,cfamilnepPtelescteursunve?l?mentlibrdesilibrseulement.laSoitlepdelesqfamilPqestlese.P2.4.6.P?alorsalairD?nitionentierslaosifamililedansd'?l?ments.depctoriel,pd?niepplearfamil:p#Lvee.efamilacde-espvedu?-espeunctorielestoqar@elibrqPSiourorleepetour,