Permutasjoner og symmetriske grupper
|
|
- Aina Hoff
- 8 år siden
- Visninger:
Transkript
1 4. Del Permutasjoner og symmetriske grupper Verbet permutere kommer av det latinske verbet permutare og betyr å bytte om, og ombyttinger,elleraltsåpermutasjoner,ernoevikjennerfradagliglivet.imatematikker de også flittig i bruk. De fleste har vel brukt symmetriargumenter i en oppgaveløsning, for eksempel av typen å bytte om variablene i en funksjon det vil si å erstatte f(x, y) med f(y, x) ogerfartatomvivetnoeomforholdetmellomdissetofunksjonene, kan vi enkelte ganger utlede egenskaper til f. Er de like for eksempel, må x og y inngå symmetrisk i f. Vi har allerede sett flere eksempler på permutasjoner. Da vi innledningsvis studerte symmetrigruppen til et kvadrat, så vi at hver av de åtte kvadratsymmetriene permuterte kvadratets hjørner, og at en symmetri faktisk var bestemt av hjørnepermutasjonen den induserer. Det var en grei måte å holde orden på hva som skjedde med kvadratet. Itilleggtilåbytteomhjørnene,permutererogsåkvadratsymmetrienebådediagonalene i kvadratet og linjene som forbinder midtpunktene til to motstående sider. Og selvsagt permuterer de også kantene i kvadratet. For eksempel vil en rotasjon på 90 ipositivretningtilsvarehjørnepermutasjonen uttrykt ved A B C D (vi minner om at vi har døpt hjørnene A, B, C og D, sefigur4.1 nedenfor) og den vil både bytte om de to aksene og de to symmetrilinjene y = x og y = x. Speilingen gjennom x-aksen bytter om hjørnene B og D, menlarbådea og C iro.denlarbegge aksene i ro (den skifter riktig nok fortegn på koordinaten til punkter på y-aksen, men 1
2 Permutasjoner og symmetriske grupper MAT2200 Vår 2014 idennesammenhengenerpoengetaty-aksen avbildes på seg selv), og den permuterer de to andre symmetrilinjene. B B C A C A D D Figur 4.1: Kvadratet i opprinnelig positur og dreid Definisjonen av de symmetriske gruppene Ienmatematisksamenhengerenpermutasjon av en mengde en bijeksjon fra til. Deteraltsåenavbildning :! som både er injektiv og surjektiv, og som derfor har en invers avbildning. Vi skal utelukkende beskjeftige oss med permutasjoner av endelige mengder, og skal ha som gjennomgående hypotese at mengden er endelig, mem oimer allikevel til å minne om det frav tid til annen. I eksemplet ovenfor, der vi så på symmetriene til et kvadrat og permutasjonene de induserer, var det kvadrathjørnene {A, B, C, D} som ble permutert eller for å være helt korrekt er = {A, B, C, D} mengden av betegnelser på hjørnene vi kunne like godt ha kalt dem øst, nord, vest og syd, ellerfordensaksskyld,hvasomhelstannet.detvilleselvsagtikkeforandret realitetene. Med en permutasjon eller en ombytting av elementene i en mengde forstår vi altså en bijeksjon :!. Mengden av alle permutasjoner av betegner vi med Sym(), ellerstundommeds,ogvikallersym() for den symmetriske gruppen til. Viharaltså: Sym() ={ :! er en bijeksjon }. Vi vet at sammensetningen av to bijeksjoner er en bijeksjon, så sammensetning definerer en binær operasjon på Sym(). Identitetsavbildning id :! (gitt ved id (x) =x) fungerer som nøytralt element for sammensetningen, i.e., id =id = for alle 2 Sym(), ogsiden er en bijeksjon, har en invers. Når vi også vet at sammensetning av avbildninger er en assosiativ operasjon, ser vi at Sym() er en gruppe under sammensetning: 2
3 Permutasjoner og symmetriske grupper MAT2200 Vår 2014 Setning. Med sammensetning av avbilninger som binær operasjon er Sym() en gruppe. For de spesielle mengdene I n = {1, 2,...,n} somaltsåbeståravden første naturlige tallene skriver vi S n istedenfor Sym(I n ),ogvikallers n for den symmetriske gruppen på n bokstaver 1. IdettekapitletvilvivekslemellomåarbeidemedgruppeneS n og grupper av formen, deraltså er en endelig mengde. Vi understreker at det i det store og det hele i matematikken er andre mengder enn I n som permuteres. Alle gruppeteoretiske resultater som gjelder S n kan lett overføres til Sym() om er endelig mengde med n elementer. Mekanismen som gjør det mulig, er velkjent fra hverdagslivet og består i å nummerere elementene i. En permutasjon av elementene i vil selvsagt være ekvivalent med en permutasjonen av numrene. Det var nærmest det vi gjorde med hjørnene til kvadratet, bortsett fra at vi merket dem med bokstaver istedenfor å nummerere dem. En slik nummerering av en endelig mengde med n elementer er ikke annet enn en bijektive avbildning :! I n.vikantenkepå (x) 2 I n N som nummeret til elementet x 2. Dersom = {x 1,...,x n },er (x i )=i. At er injektiv, reflekterer at to forskjellige medlemmer i ikke har samme nummer, og at er surjektiv, betyr at vi ikke bruker flere numre enn nødvendig er. Det er åpenbart klart at å permutere elementer i er nøyaktig det samme som å permutere numrene. Eksempel.. Dersom x 1,...,x n er n variable, og 2 S n en permutasjon av I n,såvil avbildningen x i 7! x (i) være en permutasjon av variablene. En funksjon f(x 1,...,x n ) gir opphav til en ny funksjon 2 som vi skal betegne med f,ogsomerdefinertved f (x 1,...,x n )=f(x (1),...,x (n) ). Man sjekker at om 2 S n også er en permutasjon, så er f =(f ). e Oppgave.. Finn en lineær funksjon, en funksjon av grad 2 og en av grad 3 idetre variablene x 1,x 2,x 3 som er invariant under hele S 3, i.e., f = f for alle permutasjoner 2 S 3. Vi skal nå matematisk presisere nummereringsmekanismen vi nevnte. Samtidig gjør vi en liten generalisering, vi lar Y være en generell mengde og :! Y en bijeksjon. Man kan tenke på dette som at vi merker elementene i, ikkemedtall,menmed merker fra Y. Definer : Sym()! Sym(Y ) ved ( )= 1.Viforenklerfranåav notasjonen og dropper for å betegne sammensetning. Det det betyr at vi skriver ( )= 1.Diagrammetsomfølgererenskjematiskillustrasjonav ( ). 1 Det kan virke forunderlig at man sier bokstaver når mengden vitterlig består av tall, men slik er nå engang tradisjonen. 2 Den kan skje at dette blir samme funsjon. I så fall sier vi at f er symmetrisk. 3
4 Permutasjoner og symmetriske grupper MAT2200 Vår 2014 ( ) Vi har: Y Y 1 Setning. Avbildningen : Sym()! Sym(Y ) er en gruppeisomorfi. Bevis: Om 0 er et annet element i Sym() finner vi ved å skyte inn id = 1 mellom og 0 at ( 0 )= 0 1 = = ( ) ( 0 ), som viser at er en gruppehomomorfi. At er invertibel, følger fordi avbildning 0 ( ) = 1 er en invers til. o Eksempel.. Dersom har to elementer, la oss si at = {a, b},såerdensymmetriske gruppen Sym() av orden to. Den har kun én ikke-triviell permutasjon, som bytter om de to elementene. Den er selvsagt av orden to. Om betegner den ikke-trivielle permutasjonen er (a) =b og (b) =a. e Virkninger Hver av symmetriene til et kvadrat indusere i tillegg til en permutasjon av hjørnene, også en permutasjon av sidekantene og diagonalene. Dette er et eksempel på at én type permutasjoner på en naturlig måte induserer andre. Til hver symmetri 2 D 8 får vi en permutasjon h( ) av hjørnene, og dersom H betegner mengden av hjørner, sjekker man enkelt at h: D 8! Sym(H) er en gruppehomorfi. Den er injektiv siden hvordan symmetrien virker på hjørnene, bestemmer symmetrien entydig. Men den er ikke surjektiv e.g., man kan ikke med en symmetri bytte om to nabohjørner ute å røre de andre to hjørnene. Symmetrien induserer også en permutasjon d( ) av de to diagonalene til kvadratet, og dette gir oss en gruppehomorfie d : D 8! Sym(D), derd betegner mengden bestående av de to diagonalene. Nå er d surjektiv de to diagonalene kan byttes om med en symmetri, for eksempel vil speilingen gjennom en av aksene utveksele dem. Imidlertid er den ikke injektiv. En refleksjon gjennom den ene diagonalen, lar begge diagonalene invariant. En slik speiling forflytter selvsagt punktene på den ene diagonalen, men poenget er at diagonalen avbildes i seg selv. Diagonalens punkter forblir på samme diagonal etter speilingen. Disse eksemplene motivere følgende definisjon. En gruppe G sies å virke på mengden dersom det er gitt en gruppehomomorfi : G! Sym(). Dettebetyratdetfor hvert gruppe-element a 2 G er gitt en bijeksjon (a):!, ogatdisseoppfyller 4
5 Permutasjoner og symmetriske grupper MAT2200 Vår 2014 (ab) = (a) (b) (e) =id Man pleier ofte i forenklingens navn å underslå inotasjonenogbareskrivea(x) for det som strengt tatt skal skrives (a)(x). Forfølger man denne tanken,kan definisjonen av en virkning formuleres på følgende måte: En virkning av gruppen G på mengden er en avbildning G! som skrives a(x) detvilsiatparet(a, x) sendes til a(x) og den skal være slik at a(b(x)) = ab(x) e(x) =x der a og b er elementer i G. Det skal altså være slik at om vi først lar b virke på x, for så å la a virke på resultatet, så skal vi få det samme som om vi først fant produktet ab i G, ogsålotdettevirkepåx. ItilleggforlangerviatenhetselementetiG skal virke trivielt. IanvendelseneskalvistundomlagruppenG virke på seg selv på forskjellig vis, som i konteksten ovenfor betyr at = G. En måte å la dette kan skje på er å la G virke ved venstremultiplikasjon, i.e., elementet a 2 G virker på x 2 G ved å sende x til ax. VirkningsavbildningenG G! G er ikke annet enn gruppeloven: (a, x) 7! ax. At a(bx) =(ab)x er presis den assosiative loven i G, ogatea = a er også klart. Dette betyr at kravene til en virkning er oppfylt. Lar vi venstremultiplikasjonsavbildningen bli betegnet med (a) det vil si at (a)(x) =ax, såer : G! Sym(G) en gruppehomomorfi. Og denne er injektiv enhetselementet i G er jo identitetsavbildningen id G,såom (a) =id G så er ax = x for alle x. Vikanvelgex = e, ogdetgirata = e. Vi ser altså at G er isomorf med undergruppe av Sym(G), nemligundergruppen G 0 = (G). DetteomtalesoftesomCayleys teorem, men det synes ikke opplagt at det fortjener betegnelsen teorem 3. Oppgaver.. La I = I 4 = {1, 2, 3, 4} og la J være mengden av uordnede par {i, j} med i, j 2 I og i 6= j altsåundermengdermedtoelementer.hvormangeelementerharj? Sjekk at S 4 virker på J ved {i, j} = { (i), (j)}. 3 I gruppeteoriens barndom, som tilnærmet kan tidfestes til første halvdel av det nittende århundret, studerte man utelukkende undergrupper av de symmetriske gruppene. En slik gruppe kalles for en permutasjonsgruppe, ogstudietavdemerfortsattenviktiggrenavgruppeteorien.detvarførsti at det generelle gruppebegrepet så dagens lys gjennom Arthur Cayleys definisjon av en abstrakt gruppe. Han viste samtidig at den abstrakte definisjonen ikke gir opphav til noen nye grupper. Enhver gruppe er isomorf med en permutasjonsgruppe, og på den tiden var det et viktig resultat. Vi kjenner godt D 8,menåstuderedenvedåbetraktedensomenundergruppeavS 8 er fånyttes. Vi skal se at S 8 er av orden 40320, ogsålesvesentligtmerkompliserennd 8. 5
6 Permutasjoner og symmetriske grupper MAT2200 Vår La være en endelig mengde og la G Sym() være en undergruppe. Vis at G virker på det kartesiske produktet ved g(x, y) =(g(x),g(y))... La være en endelig mengde og anta at G Sym() er en undergruppe. La k være et naturlig tall mindre enn antall elementer i og la k betegne familien av undermengder av med nøyaktig k elementer. Vis at G virker på k ved at vi lar g(a) ={ g(x) x 2 A }, derg 2 G og A 2 k. Antall permutasjoner av n elementer Det er selvsagt avgjørende å kjenne ordenen til de symmetriske gruppene, eller sagt annerledes, å vite på hvor mange forskjellige måter det går an å permutere elementene ienmengdemedn elementer: Setning. Dersom mengden har n elementer, så er ordenen til den symmetriske gruppen Sym() lik n!. Bevis: La = { x 1,x 2,...,x n } og la oss tenke oss at vi skal definere en bijeksjon :!. Verdien (x 1 ) kan vi velge fritt i, ogviharsåledesn muligheter. Når vi velger (x 2 ),måviunngå (x 1 ) siden skal være injektiv, men det er også den eneste føringen. Det gir oss n 1 valgmuligheter. Generelt, når vi skal angi (x i ),måvisomdenenesteføringenholdeossunna de allerede opptatte verdiene { (x 1 ), (x 2 ),..., (x i 1 ) }, forviviljoat skal være injektiv. Det gir oss n i +1valgmuligheter for (x i ). Tilsammen gir dette n (n 1) (n 2) 2 1=n! bijeksjoner fra til. o IlysetavatSym() og S n er isomorfe grupper dersom har n elementer, gir setningen også at Sym() er av orden n! for enhver mengde med n elementer. For å gi en viss følelse for hvor store de symmetriske gruppene er, har vi laget en tabell der vi lister opp ordenen til S n for n opptil 11. Viseratenmengdemed 10 elementer som ikke er veldig mange har godt over tre og en halv million permutasjoner. Det er god del, men allikevel skal vi etterhvert se at vi har svært god oversikt over gruppen S 10.Nårn vokser, vokser n! svært fort, og passerer antall mennesker i verden, om det er noe mål, allerede for n =14.Viharat13! = og og 14! = , mens verdens befolkning ble beregnet til å være 7 milliarder den 31. oktober n n! Tabell 4.1: Ordenen til S n for n apple 11 6
7 Sykliske permutasjoner MAT2200 Vår 2014 En notasjon Det finnes en rekke måter å beskrive hvordan en permutasjon virker. Her skal vi se på en av dem, og vi skal holde oss til de symmetriske gruppene S n av permutasjoner av tallene {1, 2,...,n}. La 2 S n være en permutasjon. Skrivemåten består i en 2 n matrise der den øverste raden greit nok er (1, 2, 3,...,n), ogdennedersteer ( (1), (2),..., (n))). Dennematrisenserslikut: n (1) (2)... (n) Under hvert tall i skriver vi effekten har på i, altså (i). Foreksempelbetegner matrisen S = permutasjonen med (1) = 2, (2) = 3, (3) = 4, og (4) = 1. Denombyttingenhar vi tidligere illustrert på følgende måte: Med denne skrivemåten finner man kvikt sammensetningen av to permutasjoner. Vi illustrer hvordan det gjøres gjennom følgende eksempel, der vi setter sammen de to permutasjonene = og = Vi lager 3 n matrisen A der to to øverste radene er matrisen til,ogderviharfyltutdentredjeradenvedå plassere tallene (i) under i iannenrad.strykesnådenmidtersteraden,stårviigjen med 2 n-matrisen til sammensetningen : = Hvordan denne permutasjonen virker, illustreres ved de to syklene på følgende figur: (B) (c) 7
8 Sykliske permutasjoner MAT2200 Vår Sykliske permutasjoner La oss gripe fatt i noen av de permutasjonene vi allerede har stiftet bekjentskap med. Vi startert med permutasjonene av hjørnene til et kvadrat indusert av rotasjonen r som dreier kvadratet en vinkel på 90. Merker vi hjørnene med tallene 1, 2, 3 og 4, tar denne permutasjonen formen Vi forenkeler notasjonen, dropper pilene (og rødfargen og all den andre pynten) og skriver enkelt og greit (1, 2, 3, 4), derviogsåinnførerkonvensjonenomatdetsiste tallet i sekvensen skal avbildes på det første. Ser vi på permutasjonen i S 9 gitt ved (2, 4, 7, 9, 3, 5), beskrivesdenpågamlemåtensom Vi viderefører også konvensjonen om at tall som ikke er nevnt, skal ligge i ro. Det betyr idettetilfeletat (1) = 1, (6) = 6 og (8) = 8. Definisjonen av en sykel Generelt, om (x 1,x 2,...,x a ) er en sekvens av forskjellige elementer i en mengde, definerer vi med utgangspunkt i denne sekvensen, en permutasjon av. Dersom 1 apple i < a,skaldensendex i på den umiddelbare etterfølgeren til x i,ogdenskal sende det siste elementet på det første. Altså sendes x i på x i+1 om i<a,ogx a på x 1. Punktene x 2 somikkeforekommeri sekvensen, skal liggeiro. Dekallesfikspunktene til permutasjonen. Formelt kan defininsjonen av presenteres slik: 8 >< x j+1 om x = x j og 1 apple j<a (x) = x 1 om x = x a (Y) >: x om x ikke forekommer i sekvensen. Vi skriver = (x 1,x 2,...,x a ) og kaller for en syklus, ensykel, ellerensyklisk permutasjon. Vikallertalleta for lengden til syklen. En sykel som er av lengde to, kaller vi for en transposisjon. Viskalofteomtaleensykelavlengdea som a-sykel. Idennesammenhengenerdetviktigåhuskepåat(x 1,x 2,...,x 3 ) betegner permutasjonen og ikke sekvensen. Samme permutasjon kan nemlig representeres av flere 8
9 Sykliske permutasjoner MAT2200 Vår 2014 forskjellige sekvenser. Hvor i syklusen vi tar utgangspunkt for beskrivelsen, betyr ikke noe for permutasjonen, men det gir forskjellige sekvenser. Det enkleste eksempelet er permutasjonen (1, 2) som bytter om 1 og 2 (og lar alle andre elementer som måtte være involvert i ro). Den kan vi også skrive som (2, 1). Likeledes er (1, 2, 3) og (2, 3, 1) samme permutasjon. På figuren nedenfor har vi på en sirkulær måte illustrert permutasjonen (1, 2, 3, 4, 6), og der synes det klart at vi kan bruke et hvilket som helst tall mellom 1 og 6 på første plass i sekvensen Hvilket element i sekvensen vi velger å sette på første plass, er faktisk den eneste variasjonen som gir samme permutasjon. Vi har nemlig følgende resultat: Setning. Gitt en sekvens (x 1,x 2,...,x a ) av forskjellige elementer i en mengde. La være den sykliske permutasjonen som den definerer. For hvert heltall i, med 2 apple i apple a, vilsekvensen (x i,x i+1,...,x a,x 1,x 2,...,x i 1 ) (M) definere den samme permutasjonen. Omvendt, om en sekvens definerer formen (M) for en i med 1 apple i apple a., er den på Bevis: La være permutasjonen som defineres av sekvensen (M). Ved å bruke definisjonen (Y) påside8 av en syklisk permutasjon finner vi (x j )=x j+1 om i apple j<a. Videre finner vi at (x a )=x 1 og (x j )=x j+1 for 1 apple j<i.itillegger (x) =x for alle de x som ikke forekommer i sekvensen. Dette er presis samme definisjon som av i(m). Anta nå at en annen sekvens (y 1,...,y b ) også definerer.fikspunktenetil er presis de punktene som ikke er med i en definerende sekvens, det være seg den ene eller den andre. Derfor består de to sekvensene av de samme elementene, men apriori opptrer de i forskjellig rekkefølge. Etter en eventuell renummerering av x i -ene, kan vi anta at x 1 = y 1.Ogdafølger det fra (Y) vedinduksjonatx i+1 = (x i )= (y i )=y i+1 for alle i<a. o Ordenen til en sykel Det er også intuitivt ganske opplagt at uansett hvor vi begynner i en syklus av lengde a, må anvendes a ganger for å at vi skal komme tilbake til utgangspunktet; som en illustrasjon, se på 6-syklusen vi tegnet ovenfor. Allikevel spanderer vi et formelt bevis for dette: 9
10 Sykliske permutasjoner MAT2200 Vår 2014 Lemma. Hvis er definert av en sekvens av lengde a, såer av orden a. Bevis: Om (x 1,x 2,...,x a ) er en sekvens som definerer,såer i (x 1 ) = x i+1 for 1 apple i<a.derfor a (x 1 )= a 1 (x 1 )= (x a )=x 1.Visånettoppatvikunnevelge hvilket som helst element i syklusen til å være det første i en representerende sekvens. Derfor er a =id.at i 6=id for i<afølger siden elementene i sekvensen er antatt å være forskjellige, så i (x 1 )=x i+1 6= x 1. o Sammensetning og potenser av sykler Skal man sette sammen to sykler, må man rett og slett bruke definisjonen av sammensetning og følge hvert element gjennom de to. Som et eksempel, la oss se på sammensetningen av de to syklene =(1, 3) og =(2, 3, 4). Vistartermedåfinne (1) og mater med 1. Elementet 1 slipper uberørt gjennom, men (1) = 3, slikat (1) = 3. Det kan noen ganger være til hjelp å skrive dette slik La oss også finne (3): 1 7! 1 7! ! 4 7! 4 slik at (3) = 4. På tilsvarende vis finner man (4) = 2 og at (2) = 3. Detbetyr at er syklen (1, 3, 4, 2). Selv om er en syklisk permutasjon, så er ikke nødvendigvis alle potenser av sykliske. Det enkleste eksempelet er den sykliske permutasjonen =(1, 2, 3, 4). Laoss regner ut virkningen av 2,viskriveropp: 2 =(1, 2, 3, 4)(1, 2, 3, 4) Vi mater høyresiden med 1. Denførste -en sender 1 til 2, ogdenandresender2 til 3, og det betyr at 2 (1) = 3. Hvismanvil,kandetteillustererslik: 1 7! 2 7! 3 På samme måte finner vi 2 (3) = 1, slikat 2 bytter om 1 og 3. Tilsvarende finner vi at 2 byttet om 2 og 4. Så 2 er ikke en syklisk permutasjon, men består av de to syklene (1, 3) og (2, 4). Opgaver.. Finne de tre sammensetningene (1, 3, 4, 5)(3, 5, 2), (1, 2)(1, 3)(1, 4) og (1, 2)(2, 3)(3, 4)(4, 5)... La =(1, 2, 3, 4, 5, 6) 2 S 6.Visat 2 =(1, 3, 5)(2, 4, 6) og at 3 =(1, 4)(2, 5)(1, 6). 10
11 Sykliske permutasjoner MAT2200 Vår La n =2m være et jevnt tall, og la være den sykliske permutasjonen = (1, 2, 3,...,2m). Visat 2 =(1, 3, 5,...,2m 1)(2, 4, 6,...,2m)... Vis at om a og m er relativt primiske, og er en syklisk permutasjon av orden a, så er m syklisk... Anta at a = nm og la være en a-sykel. Vis at n er sammensetningen av n disjunkte m-sykler. (For definisjonen av disjunkte sykler, se neste avsnitt.) Disjunkte sykler Gitt to sekvenser (x 1,...,x n ) og (y 1,...,y n ) fra en mengde. Vilar og være de to syklene de definerer. Vi sier at syklene er disjunkt om sekvensene er det, det vil si at x i 6= y j for alle i og j mellom 1 og n. Foreksempeler(1, 2) og (3, 4) disjunkte, mens (1, 2) og (2, 3, 4) ikke er det. Det er vel nærmest et selvinnlysende faktum at to disjunkte sykler og kommuterer om noen bytter plass i en kinokø i Hammerfest og noen i en polkø i Tvedestrand, så er resultatet det samme uavhengig av rekkefølgen dette skjer i. Men det er allikevel en fundamental observasjon. Anta at og permuterer elementer fra en mengde som er en disjunkt union av undermengdene Y og Z, ogantaat bare permuterer elementer i Y,mens bare permutere elementer fra Z, slikat (z) =z for z 2 Z og (y) =y for y 2 Y.Daer ( (x) om x 2 Y (x) = (x) = (x) om x 2 Z. Vi har Setning. Dersom og er to disjunkte sykler, så er =. Hvis og er to sykler som ikke er disjunkte, vil de generelt ikke kommuterer. Som et eksempel la oss se på de to transposisjonenen =(1, 2) og =(1, 3). Vedå følge hva som skjer med de forskjellige tallene 1, 2 og 3, finnervi: =(1, 2)(1, 3) = (1, 3, 2) =(1, 3)(1, 2) = (1, 2, 3), som er to forskjellige permutasjoner. Legg også merke til at to permutasjoner som ikke er sykliske, men er sammensetningen av flere sykler, gjerne kan kommuterer selvom syklene som inngår ikke er disjunkte. Eksempelvis vil =(1, 2)(3, 4) og =(1, 3)(2, 4) kommutere. Ved utregning kan man sjekke at = =(1, 4)(2, 3). Det kan passe her å komme med en bemerkning om den inverse permutasjonen til en sykel. Det er på ny en sykel, som selvsagt går ut på å gå gjennom syklen baklengs. Hvis =(x 1,...,x n ) er syklen, så er den inverse permutasjonen 1 syklen som er gitt ved sekvensen skrevet i omvendt rekkefølge: 1 =(x n,x n 1,...,x 2,x 1 ). 11
12 Faktorisering i disjunkte MAT2200 Vår 2014 Antall sykler av gitt lengde Blant alle de tusen kombinatoriske spørsmål man kan stille seg om permutasjoner, er hvor mange sykler av en gitt lengde som finnes. Det er ikke vanskeligere å svare, enn at vi gjør det her på fire linjer. Det sagt, mange av de tusen spørsmålene, er uhyre vanskelige, men altså ikke dette. Vi skal først se på det tilfellet at syklen er en sykel av lengde n i S n,ogdetgenerelle tilfellet følger da fra en den kombinatorisk formlen for antall valg uten tilbakelegging av k blant n elementer. Den beskrivende sekvensen til må inneholde alle tall mellom 1 og n ieneller annen rekkefølge, og siden vi fritt kan velge hvor i syklen beskrivelsen starter, kan vi anta at 1 står først i sekvensen. Dernest følger en vilkårlig permutasjon av tallene 2,...,n.Avslikefinnesdet(n 1)! etter setning. på side 6. Viharvist Setning. Antall sykler av lengde n i S n er lik (n 1)!. La oss så se på det generelle tilfellet og telle antall k-sykler i S n.dek elementene som er involvert i syklen, kan velges på n måter, og etter hva vi nettopp så, finnes det k (k 1)! sykler av lengde k som permuterer akkurat de k elementene. Dette gir at det totalt finnes n (k 1)! sykler av lengde k idensymmetriskegruppenpån bokstaver. k Vi har bevist følgende setning: Setning. Det finnes nøyaktig n k (k 1)! sykler av lengde k igruppens n. Oppgaver.. Vis at S n har n 2 transposisjoner... Vis at det i S 3 finnes tre to-sykler og to tre-sykler. Skriv dem opp alle... Hvor mange 3-sykler og hvor mange 4-sykler er det i S 4?.. Hvor mange 5-sykler er det i S 5?Hvormange4-sykler er det? Hvor mange sykliske undergrupper av orden 5 har S 5?.. La p være et primtall. Vis at det finnes nøyaktig (p av orden p i S p. 2)! sykliske undergrupper.. La n være et naturlig tall og la p være et primtall. Vis at om 2 S n er av orden p, såerenten en p-sykel eller en sammensetning av disjunkte p-sykler. 4.3 Faktorisering i disjunkte sykler Vi skal i dette avsnittet se at enhver permutasjon kan skrives som en sammensetning av disjunkte sykler. Å faktorisere permutasjoner slik, er en svært nyttig teknikk, og 12
13 Faktorisering i disjunkte MAT2200 Vår 2014 den brukes hele tiden. Det er lengden av syklene som inngår i faktoriseringen, som bestemmer permutasjonens gruppeteoretiske egenskaper. En slik oppspaltning er til og med entydig opptil rekkefølgen av de disjunkte syklene. De kommuterer jo, slik vi så, så rekkefølgen kan forandres fritt. Banen til en permutasjon La nå være en mengde og la være en permutasjon av. Plukk ut et punkt x 2 og la undermengden B (x) være definert ved B (x) ={ k (x) k 2 Z } Mengden B (x) består av bildene k (x) av x under alle itererte anvendelser av og alle itererte anvendelser av 1.Dersom er endelig, kan vi erstatte Z med N [{0} i definisjonen, og B (x) består av alle itererte bilder av : B (x) ={ k (x) k 2 N [{0}}. Det vet vi fordi når Sym() er endelig, er av endelig orden, og r = e for et passende naturlig tall r. Vikanskrive B (x) ={x, (x), 2 (x),..., a (x)} (;) der a er det minste naturlige tall slik at a+1 (x) =x, ogmankandalettsjekkeat elementene i oppramsingen alle er forskjellige, i.e., i (x) 6= j (x) om 0 apple i<j<a. (tallet a er ikke nødvendigvis lik ordenen til,fordetkunnehendeat a (y) 6= y for elementer y fjernt fra B (x)) Mengden B (x) kalles for banen til x under. Dersom m er helt tall, vil så klart k + m gjennomløpe alle hele tall når k gjør det. Derfor har vi B (x) =B ( m (x)) (R) for alle m 2 Z. Eksempel.. Ser vi på permutasjonen , i S 5 gitt ved matrisen vil banen til 2 være mengden B (2) = {2, 4} siden vi fra definisjonen kan slutte at (2) = 4 og 2 (2) = 2. At (1) = 5 og 2 (1) = 1 viser at B (1) = B (5) = {1, 5}, mens B (3) er redusert til {3} siden 3 er et fikspunkt. Vi ser at =(1, 5)(2, 4) og det kan illustres på følgende figur 13
14 Faktorisering i disjunkte MAT2200 Vår Eksempel.. La oss også se på eksemplet som er gitt ved matrisen Da deles I 5 = {1, 2, 3, 4, 5} opp i to baner, nemligb (2) = B (3) = B (4) = {2, 3, 4} mens B (1) = B (5) = {1, 5}. Viharat =(2, 3, 4)(1, 5): e Ser vi på figurene i de to foregående eksemplene, er det klart at banene er disjunkte. De danner partisjoner av mengden I 5,ogdetteeretgenereltfenomen: Setning. Anta at er en permutasjon av mengden. BaneneB (x) danner en partisjon av når x gjennomløper. Bevis: Siden x = 0 (x), erx 2 B (x) og banene dekker. Oppgavenvårerderfor å vise at to baner enten er disjunkte eller like det var en av flere ekvivalente karakteriseringer av en partisjon. Så anta at x og y er to elementer fra slik at B (x) \ B (y) 6= ;. Detbetyratvihar i (x) = j (y) for to hele tall i og j. Derforer B (x) =B ( i (x)) = B ( j (y)) = B (y) etter likheten (R) påforrigeside. o e Banen til en syklisk permutasjon La nå =(x 1,...,x a ) være en syklisk permutasjon av lengde a. Viskalidenne paragrafen bestemme alle banene til.deeravtotyper.fordetførste,omx 2 er et element som ikke er med i sekvensen (x 1,...,x a ),såerx et fikspunkt for,ogsåledes er banen til x redusert til x selv, i.e., B (x) ={x}. Fordetandre,elementenex i fra 14
15 Faktorisering i disjunkte MAT2200 Vår 2014 sekvensen ligger alle i samme bane siden i 1 x 1 = x i.detbetyratdendefinerende sekvensen selv utgjøre en bane: B (x i )={x 1,...,x a }. Konklusjonen er at alle banene til på én nær, består av ett punkt, og denne ikke-trivielle banen består presis av elementene i sekvensen som definerer. Omvending av dette gjelder også. Vi har: Setning. En permutasjon har én ikke-triviell bane. av elementene i er syklisk hvis og bare hvis den kun Bevis: Det er hvis-delen av utsagnet som vi ikke har argumentert for. La være en permutasjon av elementene i slik at med unntak av én, så er alle banene til ettpunktsmengder. La videre B (x) være den ikke-trivielle banen. Ovenfor på side 13 etablerte vi likheten (;) somfortellerossat B (x) ={x, (x), 2 (x),..., a (x)}, der a er det minste naturlige tallet slik at a+1 (x) =x, ogderalleelementeneer forskjellige. Det er da klart at er den sykliske permutasjonen definert av sekvensen (x, (x), 2 (x),..., a (x)). o Oppgaver.. Finne alle banene til permutasjonene (1, 2, 3)(1, 3, 4) i S 4 og (1, 3, 5)(2, 3)(1, 3, 4) i S 5... Man kan definere banene til en vilkårlige undergruppe av Sym() og ikke bare sykliske slik vi har gjort så langt. La H Sym() være en undergruppe, og la x 2 være et element. Vi lar banen til x under H være definert ved B H (x) ={ hx h 2 H }. Vis at { B H (x) x 2 } er en partisjon av... Anta at H Sym() er en undergruppe. La x 2 være et punkt. Vis at B H (x) er invariant under H, i.e., 2 H. (y) 2 B H (x) hver gang y 2 B H (x) og Vis at banen B H (x) er den minste H-invariante undermengden av som inneholder x. Vis at B H ( (x)) = B H (x) for alle 2 H. 15
16 Faktorisering i disjunkte MAT2200 Vår 2014 Faktoriseringen Permutasjonene vi studerte i eksemplene. og. på side 14 var begge to et produkt av disjunkte sykler. Denførstesåslikut(1, 5)(2, 4)(3) og den andre slik (2, 3, 4)(1, 5). Det er generelt riktig at enhver permutasjon kan skrives som et slikt produkt av disjunkte sykler, og dette er en nyttig måte å fremstille permutasjoner på. Den gjør det rimelig lett å få oversikt over hvordan de virker, og ikke minst er mange av deres gruppeteoretiske egenskaper bestemt av denne faktoriseringen. De disjunket permutasjonene som inngår er entydig bestemt, ogsidendeerdisjunkte,kommutererde. Det fremgår tydelig fra eksemplene. og. at de disjunkte syklene i faktoriseringen kan leses ut av banene. Ogdetprinsippetskalvibyggedetgenerellebevisetpå. Vi har: Teorem. Gitt en endelig mengde. Enhverikke-triviellpermutasjon kan skrives som et produkt = m 2 Sym() der 1, 2,..., m er parvis disjunkte og ikke-trivielle sykler. De kommuterer og er entydig bestemt av. Bevis: La B 1,...,B m være de forskjellige ikke-trivielle banene til,detvilsidebanene som har mer enn ett element. Siden banene danner en partisjon, er disse ikke-trivielle banene parvis disjunkte. Hver av dem definerer en sykel, og syklen som B i definerer, kaller vi for i. Denergittved ( (x) om x 2 B i i(x) = x om x 62 B i. Det er klart at i er en sykel siden den kun har én ikke-triviell bane nemlig B i ogsyklene 1, 2,..., m er parvis disjunkte siden de ikke-triviele banene deres er parvis disjunkte. La oss argumentere for at = t. Antax ligger i B t.da vil også (x) = t (x) ligge der, og de andre syklene i, medi 6= t, bevegerderfor hverken x eller (x), sidendenikke-triviellebaneneb i til i ikke treffer B t.derforer (x) = t(x). Entydigheten følger siden permutasjonene i som inngår i dekomposisjonen er bestemt av de ikke-trivielle banene til. o Eksempel.. Vi ser på permutasjonen i S 7 som er gitt ved = Da er =(1, 3, 4, 6)(2, 5) faktoriseringen av idisjunktesykler. 16
17 Faktorisering i disjunkte MAT2200 Vår e Ordenen til en sammenstening Siden enhver permutasjon er et produkt av disjunkte sykler, er det naturlig å undersøke sammenhengen mellom ordenen til permutasjonen og ordenen til hver enkelt av de disjunkte faktorene. Anta at = t der i-ene er disjunkte sykler. De kommuterer, og følgelig er k = k 1 k 2... k Dersom k har ord( i ) som divisor for hver i, såer i =id for hver i, ogetterligningen ovenfor er da k =id.antasåat k =id.lam være en av indeksene mellom 1 og t, ogantaatx 2 ligger i den ikke-trivielle banen til m. Daerx et fikspunkt for alle de andre i-ene siden de ikke-trivielle banene deres er disjunkte fra den ikke-trivielle k banen til m, ogfølgeligharviat m (x) = k k (x) =x. Detfølgerat m =id og etter xxx vil ord( m ) dele k. Nåvarm vilkårlig blant indeksene, og ordenen til hver av syklene i er en divisor i k. Viharvist: Setning. La være en permutasjon av den endelige mengden og skriv som et produkt av disjunkte sykler = t. Da er ordenen til lik det minste felles multiplum av ordenene til i-ene. Det vil si, at om r i =ord( i ),såerord( )=lcm(r 1,...,r t ). Den maksimale ordenen til er element i S n vokser relativt rask med n. Vekstener iallefall i nærheten av å være eksponentiell. Man kan vise at om er denne maksimale ordenen, så gjelder det at exp p n log n/2. Beviset, som vi ikke på noen måte skal gå inn på i detalj, går ut på finne r primtall p 1 + p p r apple n slik at p 1...p r exp p n log n/2, ogtildetbrukesfølgende estimat fra teorien for primtallsfordeling: k t. log p>x/2. papplex 17
18 Fortegnet til en permutasjon MAT2200 Vår 2014 Oppgaver.. Finn ordenen til følgende tre permutasjoner: (1, 3, 5)(2, 4, 6, 8) (9, 10)(11, 12, 13) (1, 2, 3, 4, 5, 6, 7, 8)(9, 10, 11, 12, 13, 14).. Finn den maksimale ordenen til et element fra hver av de tre symmetriske gruppene S 5, S 10 og S La p være et primtall. a) Anta at 2 S p et element av orden p. Visat en p-sykel. b) Vis at det er (p 2)! sykliske undergrupper av S p av orden p... La p være et primtall og n p et naturlig tall. Vis at et element 2 S n er av orden p hvis og bare hvis enten er en p-sykel eller er sammensetningen av disjunkte p-sykler. 4.4 Faktorisering i transposisjoner og fortegnet til en permutasjon Det er en erfaring fra hverdagslivet at enhver ombytting kan effektueres som en sekvens av ombyttinger som kun lar to elementer skifte plass. Så også i matematikken. Vi har følgende likhet (1, 2, 3,...,n)=(1,n)(1,n 1)...(1, 3)(1, 2) For å innse det, mater vi høyresiden som vi betegner med - med et tall k mellom 1 og n, ogundersøkerhvaoutputer.vistartermedtilfelletk = n. Sidenden 1 transposisjonen lengst til høyre ikke inneholder n, skjer det ingenting med n før i den siste transposisjonen, og den erstatter n med 1. Detbetyrat (n) =1.Omk =1,vil den første transposisjonen (1, 2) sende 1 på 2, meningenavderesterendeinneholder 2, så (1) = 2. Antasåatk ligger mellom 2 og n 1. Forågjøredettydligerehvasom skjer, skriver vi ut på følgende måte: =(1,n)(1,n 1)...(1,k+1)(1,k)...(1, 3)(1, 2) Mates nå k inn fra høyre, skjer ingenting med k når vi suksessivt anvender transposisjonene, før vi kommer til (1,k). Daforvandlesk til 1, somumiddelbartetterforvandles til k +1.Ingenavdepåfølgendetransposisjoneninneholderk +1,såk +1overlever 18
19 Fortegnet til en permutasjon MAT2200 Vår 2014 uforandret. Derfor er (k) =k +1. Vi har vist (k) =k +1for k < n og at (n) =1, i.e., =(1, 2, 3,...,n). Ved et nå standard nummereringstriks følger det at Setning. La x 1,...,x n være forskjellige elementer fra en mengde. Daer (x 1,...,x n )=(x 1,x n )(x 1,x n 1 ) (x 1,x 3 )(x 1,x 2 ) En hverdagslige beskrivelsen av innholdet formlen i denne setningen kan være som følger. Om det i en kø 4 skjer et skifte i rekkefølgen ved at den bakerste stilles først og alle andre rykker at hakk bakover (som representerer venstresiden i formlen og som ofte omtales som grov sniking), kan dette effektueres ved at siste mann bytter plass med den rett foran, så med den rett foran der igjen og på samme vis skritt for skritt avanserer videre, inntil han står først i køen (dette representerer høyresiden i formlen og er en standard sniketeknikk). Kombinerer vi resultatet i setning. med teorem. på side 16 som sa at enhver permutasjon er et produkt av disjunkte sykler, finner vi Teorem. Enhver permutasjon er et produkt av transposisjoner. Imotsetningtilfaktoriseringenavenpermutasjonidisjunktesykler,erenslik fremstilling av en permutasjon som en sammensetning av transposisjoner ikke entydig. Hverken antallet eller transposisjonene som inngår er entydig bestemt. Det banale eksemplet er at siden 1 =id,kanvialltidforlengeenfremstillingvedåskyteinn 1.Vilmanhaetmindrebanaltekempel,såer(1, 2)(2, 3) = (2, 3)(1, 3), noesom er lett å sjekke. Det som imidlertid er konstant, er pariteten til antall transposisjoner som inngår. Det antallet er enten odde eller jevnt uavhengig av fremstillingen. Vi skal etterhver bevise følgende teorem: Teorem. La være en permutasjon og anta at = 1... s = s 0 der i-ene og 0 i-ene alle er transposisjoner. Da er s s 0 mod 2. En mere presis versjon av dette resultatet er følgende: Teorem. La være en mengde med n elementer og la være en permutasjon av. Antaat har r baner og at = 1... s der hver i er en transposisjon. Da er r + s n mod 2 Disse resultatene gir oss muligheten til å definere fortegnet til en permutasjon. Om = 1... s der i -ene er transposisjoner, så lar vi sign =( 1) s. Etter teoremet avhenger dette tallet ikke av hvilken fremstilling av som et transposisjonsprodukt 4 Vi nummerere personen i køen bakfra slik at herr x 1 står bakerst, herr x 2 nest bakerst også videre. Det er x n som står først 19
20 Fortegnet til en permutasjon MAT2200 Vår 2014 vi velger å bruke, og sign er således veldefinert. Man sier at en permutasjon er jevn dersom fortegnet er 1 og odde om det er 1. Jevne transposisjoner er altså satt sammen av et jevnt antall transposisjoner, mens odde er sammensatt av et odde antall. Det er også klart at sign er multiplikativ: Setning. Dersom og 0 er to permutasjoner av mengden, så er sign 0 =sign sign 0 Bevis: Dette følger siden = 1... s og 0 = s 0 0 selvfølgelig medfører at vi har likheten 0 = 1... s s 0 0,somerentransposisjonsfremstillingavlengdes + s0. o Man har sign id =1,ogdersom er en transposisjon, så er sign = 1. Transposisjoner er altså odde. Formlenisetning. ovenfor, viser at sykliske permutasjoner av lengde n er sammensatt av n 1 transposisjoner. Det følger at sykler av odde lengde er jevne, mensdeavjevn lengde er odde. Dettekanvirkebakvendt,menslikerdet. Avbildningen sign: S n! µ 2 er en gruppehomomorfi slik setning (.) viser. Kjernen til denne er en undergruppe av S n som kalles den alternerende gruppen på n bokstaver og som betegnes med A n.denbeståraltsåavallejevne permutasjoner, og den er av orden n!/2. Måten vi har definert fortegnet på er gyldig for en vilkårlig mengde, ogdetutenatdetgjøresad hoc valg. Vi har derfor en homomorfi for enhver endelig mengde. sign: Sym()! µ 2 Oppgave.. La være en permutasjon av en mengde med n elemeneter og la r være antall forskjellige baner har, hvor også ettpunktsbanene (i.e., fikspunktene) er inkludert. Vis at sign =( 1) n r. Så til beviset for teorem.. Dethengerpåfølgenderesultatsomhandlerom hvordan antall baner til en permutasjon forandres når den settes sammen med en transposisjon, ogforåpresisere,visnakkeromdettotaleantallbaner,detrivelle ettpunktsbanene inkludert. Transposisjonens ene ikke-trivielle bane består av to punkter. Disse kan enten ligge i den samme banen til eller de ligger i hver sin, og det er dette forhold som bestemmer antall baner til.vihar: Lemma. Anta at er en transposisjon og at en permutasjon. Dersom den ikke-trivielle banen til er inneholdt i en av banene til denne i to, og har én bane mer enn.,splittes Dersom den ikke-trivielle banen til treffer to av banenen til og har én bane mindre enn.,fusjoneresdisse, 20
21 Fortegnet til en permutasjon MAT2200 Vår 2014 I begge tilfeller er pariteten til antall baner til og forskjellige. Bevis: Vi starter med å studere permutasjoner av mengden = {x 1,...,x n } med n elementer, og vi skal etablere følgende likhet. Fra den vil lemmaet følge. (x 1,x k )(x 1,x 2,...,x k,...,x n )=(x 1,x 2,...,x k 1 )(x k,...,x n ) (K) Dette er rett og slett den første påstanden i lemmaet for det tilfellet at Multipliserer vi med (x 1,x k ) på begge sider i (K) finnervi er syklisk. (x 1,x 2,...,x k,...,x n )=(x 1,x k )(x 1,x 2,...,x k 1 )(x k,...,x n ) (L) som rett og slett er den andre påstanden i lemmaet for det tilfellet at har nøyaktig to ikke-trivielle baner. For å etablere likheten (K) følgerviførstelementenex i gjennom behandlingen det får på venstre side. Om i 6= n og i 6= k 1 vil x i avbildes på x i+1,sidenx i ide tilfellene ikke forekommer i (x 1,x k ).Videreharviforx n s og x k 1 s vedkommende at de behandles slik: x n 7! x 1 7! x k x k 1 7! x k 7! x 1 der =(x 1,x k ) og =(x 1,...,x n ). Til sammen gir dette at 8 >< x i+1 om i 6= n, i 6= k 1 x i 7! x k om i = n >: x 1 om i = k 1 La oss så se hva høyresiden gjør med elementene x i.detosyklenedererdisjunkte,så et element x i påvirkes kun av én av dem. Om i 6= k og i 6= n, avbildesx i på x i+1,og x k sendes på x 1 og x n på x k+1.detteerpresisdetsammesomvifantfordenvenstre siden, og formlen (K) erdermedetablert. Anta nå at er en vilkårlig permutasjon og at er en transposisjon hvis ikketrivielle bane er inneholdt i en av banene til.ladennebanenbetegnesmedb og la B = {x 1,...,x n }.VikanutentapavalmengyldighetenantaatelementeneibanenB er nummerert slik at = {x 1,x k }.Detfølgerdafra(K) atdenfaktoriseringenav idisjunktesyklerserslikut =(x 1,x 2,...,x k 1 )(x k,...,x n ), der er produktet av de syklene i som er disjunkte fra B. Det følger at har én bane mer enn. 21
22 Fortegnet til en permutasjon MAT2200 Vår 2014 Anta så at den ikke-trivielle banen til treffer de to banene B og B 0 til.vilar B = {x 1,...,x k 1 } og B 0 = {x k,...,x n },ogvikansåklartnummerereelementene slik at =(x 1,x k ).Formel(L) girat =(x 1,x k )(x 1,x 2,...,x k 1 )(x k,...,x n ) =(x 1,x 2,...,x k,...,x n ), der igjen er produktet av syklene til som er disjunkte fra B og B 0.Detfølgerat har én bane mindre enn. o Vi avslutter med å vise teorem.: Bevis for teorem.: Dette teoremet følger nå direkte fra lemma. ved induksjon på s: Nårs øker med én, vil r forandre seg med ±1, menmodulotoendresdas + r ikke. Dersom s =0,er =id og har n baner (alle med ett element), og induksjonen kan starte. o Nabotransposisjoner IdensymmetriskegruppenS n,somjopermuterertallenemellom1 og n, erdetnoen særmerkede transposisjoner som kalles for nabotransposisjoner. Det er de som er på formen (k, k +1),med1 apple k<n.debytteraltsåomtonaboeroglaralleandretall iro.dettebegrepeterspesifiktforgruppenes n og har ikke mening i det generelle tilfellet Sym(), medmindreviharordnetelementeneimengden på et vis. Teorem. forteller oss at enhver permutasjon kan skrives som et produkt av transposisjoner, eller sagt noe annerledes, transposisjonene genererer S n.deteravinteresse åfinnesmågeneratormengder,ogvikangjøredetlangtbedreennåmåttebrukealle de n(n 1)/2 transposisjonene. Vi skal vi se at det holder med n 1 transposisjoner, om de velges smart. Tillater man andre generatorer enn transposisjoner, holder det med to. Ioppgave. nedenfor blir man bedt om å vise at =(1, 2,...,n) og =(1, 2) faktisk genererer S n,menheritekstenholderviosstiltransposisjoner: Setning. Enhver permutasjon i S n kan skrives som et produkt av de n transposisjonene (1, 2), (1, 3),...,(1,k),...,(1,n). Bevis: Det er nok å påpeke, siden vi har teorem. på side 19,atfølgendesammenheng gjelder: (i, j) =(1,i)(1,j)(1,i). En av egenskapene til nabotransposisjonene, er at de genererer S n. Med andre ord, enhver permutasjon kan skrives som et produkt av nabotransposisjoner: o 1 nabo- Setning. Enhver permutasjon i S n kan skrives som et produkt av de n transposisjonene (1, 2), (2, 3), (3, 4),...,(k 1,k),...,(n 1,n). 22
23 Fortegnet til en permutasjon MAT2200 Vår 2014 Bevis: Vi har likheten (1,k)=(1,k 1)(k 1,k)(1,k 1) som man lett sjekker ved fortløpende å mate høyresiden med 1, k 1 og k. Detfølger ved induksjon på k at enhver permutasjon på formen (1,k) kan skrives som et produkt av nabotransposisjoner, og vi kan avslutte beviset med setning. på forrige side. o Oppgaver.. Faktoriser =(1, 2, 3)(2, 3, 4)(4, 5, 6) som et produkt av disjunkte sykler... Skriv (a 1,a 2,...,a r )(a 1,b) som et produkt av disjunkte sykler... Skriv (a 1,...,a r,x,y,b 1,...,b s )(a r,...,a 1,x,y,c 1,c 2,...,c t ) som et produkt av disjunkte sykler... La være en permutasjon i S n og la k apple n være et naturlig tall. Vis at vi da har relasjonen (1, 2, 3,...,k) 1 =( (1), (2),..., (k)). Hint: Mat høyresiden med tallene 1, 2, 3,...,n... Vis at om =(1, 2,...,n) så er k (1, 2) k =(k +1,k+2) for hele tall k med 0 apple k apple n 2. Brukdettilåviseat og (1, 2) genererer S n... Vis at den alternerende gruppen A n er generert av alle sammensetninger 0 av par av transposisjoner og 0... Vis at den alternerende gruppen A n er generert av alle tre-sykler. Hint: Etabler formlene (x 1,x 2,x 3 )=(x 1,x 3 )(x 1,x 2 ) og (x 1,x 3,x 2 )(x 1,x 3,x 4 )=(x 1,x 2 )(x 3,x 4 ). Determinanter og diskriminanter Permutasjoner har myriadere av anvendelse i alle grener av matematikken, og fortegnet deres dukker på sentrale steder, blant annet i den vanligste definisjonen av determinanter. Dersom A =(a ij ) er en n n matrise, kan determinanten uttrykkes ved følgende formel, og i mange lærebøker er det slik determinanten defineres: det A = 2S n sign a 1 (1) a 2 (2) a n (n) (E) 23
24 Fortegnet til en permutasjon MAT2200 Vår 2014 På den annen side, om determinanten er definert på annet vis, og det er det fullt mulig å gjøre, gjenfinner vi fortegnet til en permutasjon som determinanten til den tilsvarende permutasjonsmatrisen A. Og man kan, om man vil, bruke denne tilnærmingen til å definere fortegnet til en permutasjon i S n. Vi minner om at en permutasjonsmatrise er en kvadratisk matrise der alle rader og alle søyler kun har ett element forskjellig fra null, og det elementet er lik én. Vi lar som sedvanlig {e i } 1appleiapplen betegne standardbasisen til R n, i.e., e i er søylevektoren e i =(0,...,0, 1, 0,...,0) t der eneren står på i-te plass. For hver permutasjon 2 S n lar vi A være matrisen som har som i-te søyle vektoren e (i).detteeren permutasjonsmatrise, for om en rad inneholder to enere, si de befinner seg i søylene i og j med i 6= j, måjoe (i) = e (j),ogderforer (i) = (j). Men siden er en bijeksjon, er det umulig når i 6= j. Matrisen A er matrisen til lineæravbildningen R n! R n som sender i-te basisvektor e i til e (i).sammensetningena A virker da første ved at A sender e i til e (i) som så blir sendt videre av A til e ( (i)). Men dette er jo nøyaktig måten A virker på. Vi har altså at A = A A. (F) Man kan tenke på 7! A som en avbildning S n! Gl(n, R), ogformelf forteller oss at dette er en gruppehomomorfi. Det klart at den er injektiv, for om A er lik identitetsmatrisen, er jo e (i) = e i for alle i, ogdetbetyrat (i) =i for alle i. Viharaltså at S n er isomorf med undergruppen av Gl(n, R) bestående av permutasjonsmatriser. Dette er et eksempel på hva som kalles en lineær representasjon av den symmetriske gruppen. Så til detertminanten, vi har Setning. det A =sign Bevis: Om er en transposisjon, er det klart at det A = 1, fora fremkommer fra identitetsmatrisen ved at det byttes om to søyler. Om nå = 1 s er et produkt av transposisjoner, er A = A 1 A s og siden determinanten og fortegnet begge er multiplikative, er vi fremme. o En annen anvendelse av fortegnet til permutasjoner og som også lett kan omgjøres til en definisjon om man skulle ønske det er den såkalte diskriminanten. Historisk sett har diskriminanten vært en permutasjonenes følgesvenn fra starten av, og den har dype røtter i ligningsteorien. For annengradsligninger, for eksempel, er diskriminanten en god gammel kjenning, nemlig uttrykket B 2 4AC.Detviskalsepåher,generaliserer imidlertid kvadratroten ± p B 2 4AC, der± antyder at det er et fortegn ute og går. La x 1,...,x n være n variable. Den symmetriske gruppen S n virker på polynomer i disse ved å permutere de variable, det vil si via formlen f (x 1,...,x n )=f(x (1),...,x (n) ). 24
25 Fortegnet til en permutasjon MAT2200 Vår 2014 Da gjelder det så klart at f =(f ). Vi ser spesifikt på følgende polynom 5 : = Y 1applei<japplen (x i x j ). Lar vi virke på det, finner vi = der er et fortegn. Den eneste effekt virkningen har, er jo at enkelte av faktorene skifter fortegn (det skjer for de indekspar med i<jog (i) > (j)). Lar vi så utsettes for en annen permutasjon, finnervi på den ene siden at =( ) = =, men på den annen side er =, og det følger at fortegnet er multiplikativt. Nåer = 1 dersom er en transposisjon, og dermed er sign =.Deterikkeheltoppeidagenat = 1 for transposisjoner; mange av faktorene i skifter fortegn, og det kreves at argument for at den totale effekten er et fortegnsskifte: Dersom a>jog b>jeller om b<jog a<jinngår x a x j og x b x j med samme fortegn i produktet, og er a<j<b,inngårx a x j og x b x j med motsatt fortegn, så bytter vi om a og b vil produktet av disse faktorene fortsatt inngå med samme fortegn i produktet. Mens derimot x a x b skifter fortegn når a og b utveksles, og dermed skifter fortegn når a og b byttes om. Vi har bevist følgende setning Setning. Dersom Oppgaver 2 S n og med notasjonen ovenfor er =sign... La være transposisjonen som bytter om de to tallene l og k mellom 1 og n. La A =(a ij ) være en n n-matrise og la A 0 være matrisen der vi har byttet om søyle l og k i A. VisatA 0 =(a i (j) ).Brukformel(E) ovenfortilåutledeatdet A 0 = det A... Vis ved å bruke formel (E) ovenfor at determinanten er lineær i hver rad... Vis at om A =(a ij ) er en n n-matrise, så føger det fra (E) at det A = 2S n sign a 1 (1)1a 1 (2)2 a 1 (n)n. Bruk det til å vise at det A =deta t. 5 Det er variable konvensjoner ut og går når det gjelder navn på,menvanligviserdetkvadratet av,altså 2,somkallesfordiskriminanten, ogdaer navnløs. I ligningsteorien vil man la x i -ene være røttene til polynomet man studerer, og vil da fortelle oss når to røtter er like. Da forsvinner nemlig. 25
26 Fortegnet til en permutasjon MAT2200 Vår Se på annengradspolynomet Ax 2 + Bx+ C og la x 1 og x 2 være de to røttene. Vis at 2 = B 2 4AC. Versjon: Thursday, February 6, :08:17 PM 26
Permutasjoner og symmetriske grupper
Permutasjoner og symmetriske grupper Verbet permutere betyr å bytte om, og ombyttinger, eller altså permutasjoner, er noe vi kjenner fra dagliglivet. I matematikk er de også flittig i bruk, de fleste har
DetaljerMAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile
MAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile 1 Introduksjon: Grupper og ringer Ringer En ring er et sted hvor du kan addere, subtrahere og multiplisere. Hvis du også kan dividere kalles ringen for
DetaljerDirekte produkter. (a, b)(a 0,b 0 )=(ab, a 0 b 0 ).
Direkte produkter Vi kjenner det kartesiske produktet av to mengder Y.Detbeståravallepar(x, y) av elementer x 2 og y 2 Y.OrdetkartesiskerdannetavegennavnetRenéDécartes, en fransk filosof og matematiker
DetaljerKarakterer. Kapittel Homomorfier av grupper. 8.2 Representasjoner
Kapittel 8 Karakterer 8. Homomorfier av grupper I forrige kapittel definerte vi begrepet abstrakt gruppe, som en abstrakt versjon av begrepet symmetrigruppe. For å studere forbindelsen mellom abstrakte
DetaljerOPPGAVER FOR FORUM
OPPGAVER FOR FORUM 2006-2007 MERK!: Du skal først skrive hele oppgaveteksten for hver oppgave, og deretter svaret på oppgaven. Hvert svar skal være detajert, og skrevet i et klart og tydelig matematisk
Detaljer4 Matriser TMA4110 høsten 2018
Matriser TMA høsten 8 Nå har vi fått erfaring med å bruke matriser i et par forskjellige sammenhenger Vi har lært å løse et lineært likningssystem ved å sette opp totalmatrisen til systemet og gausseliminere
DetaljerMatriser. Kapittel 4. Definisjoner og notasjon
Kapittel Matriser Vi har lært å løse et lineært ligningssystem ved å sette opp totalmatrisen til systemet gausseliminere den ved hjelp av radoperasjoner på matrisen Vi skal nå se nærmere på egenskaper
DetaljerEt kvadrats symmetrier en motivasjon
Et kvadrats symmetrier en motivasjon ette avsnittet er ment som en introduksjon. Målet er å gi en motivasjon for den aksiomatiske innføringen av grupper. et gir også et første eksempel på en gruppe, og
DetaljerObligatorisk oppgave MAT2200 VÅREN 2011
Obligatorisk oppgave MAT2200 VÅREN 2011 Alle punkter teller likt. Det kreves at 50% er riktig (som betyr 10 av 19 punkter) for at oppgaven skal godkjennes. Den skal leveres i egen innleveringsboks i 7.
DetaljerTo nyttige begreper. Ekvivalensrelasjoner
To nyttige begreper Det er to begreper fra mengdelæren som til stadighet vil bli brukt i dette kurset, og som vi av erfaring vet kan være tungt fordøyelig for endel studender. For å få en skikkelig forståelse
DetaljerGrublegruppe 19. sept. 2011: Algebra I
Grublegruppe 19. sept. 2011: Algebra I Ivar Staurseth ivarsta@math.uio.no Innledning, definisjoner Vi har så langt jobbet med mengder, X, hvor vi har hatt et avstandsbegrep og hvor vi har vært i stand
DetaljerOppgaver MAT2500. Fredrik Meyer. 29. august 2014
Oppgaver MAT500 Fredrik Meyer 9. august 04 Oppgave. Bruk cosinus-setningen til å se at definisjonen av vinkel i planet blir riktig. Løsning. Dette er en litt rar oppgave. Husk at cosinus-setningen sier
DetaljerUNIVERSITETET I BERGEN
BOKMÅL UNIVERSITETET I BERGEN Det matematisk-naturvitenskapelige fakultet Eksamen i emnet MAT220/MAUMAT44 - Algebra Fredag. juni 204, kl. 09-4 Tillatte hjelpemidler: Kalkulator i samsvar med fakultetets
DetaljerLineære likningssystemer og matriser
Kapittel 3 Lineære likningssystemer og matriser I dette kapittelet skal vi sette sammen Kapittel 1 og 2. 3.1 Den utvidede matrisen til et likningssystem Vi starter med et lineært likningssystem med m likninger
DetaljerNotat 05 for MAT Relasjoner, operasjoner, ringer. 5.1 Relasjoner
Notat 05 for MAT1140 5 Relasjoner, operasjoner, ringer 5.1 Relasjoner Når R er en relasjon som er veldefinert på A B, slik at R(x, y) er en påstand når x A og B B, tenker vi på relasjonen som noe som lever
DetaljerLineærtransformasjoner
Kapittel 8 Lineærtransformasjoner I forrige kapittel begynte vi å formulere lineær algebra på en generell måte, ved å gi en abstrakt definisjon av vektorrom For å beskrive sammenhenger mellom forskjellige
Detaljer7 Ordnede ringer, hele tall, induksjon
Notat 07 for MAT1140 7 Ordnede ringer, hele tall, induksjon Definition 7.1. La R være utstyrt med addisjon og multiplikasjon slik at vi har å gjøre med en kommutativ ring. Anta videre at R er utstyrt med
DetaljerAnalysedrypp I: Bevis, mengder og funksjoner
Analysedrypp I: Bevis, mengder og funksjoner Hensikten med Analysedrypp er å bygge en bro mellom MAT1100 og MAT1110 på den ene siden og MAT2400 på den andre. Egentlig burde det være unødvendig med en slik
Detaljer7 Egenverdier og egenvektorer TMA4110 høsten 2018
7 Egenverdier og egenvektorer TMA4 høsten 8 Det er ofte hensiktsmessig å tenke på en matrise ikke bare som en tabell med tall, men som en transformasjon av vektorer. Hvis A er en m n-matrise, så gir A
DetaljerMAT1140: Kort sammendrag av grafteorien
MAT1140, H-15 MAT1140: Kort sammendrag av grafteorien Dette notatet gir en kort oppsummering av grafteorien i MAT1140. Vekten er på den logiske oppbygningen, og jeg har utelatt all motivasjon og (nesten)
DetaljerGeometriske avbildninger og symmetri. A2A/A2B Høgskolen i Vestfold
Geometriske avbildninger og symmetri A2A/A2B Høgskolen i Vestfold 6. november 2009 Innhold 1. Symmetri 2. Avbildninger 3. Isometrier 4. Egenskaper ved avbildninger 5. Symmetrigrupper Kilde for forelesningen:
DetaljerLøsningsforslag øving 7
Løsningsforslag øving 7 8 Husk at en funksjon er injektiv dersom x y gir f(x) f(y), men her ser vi at f(3) 9 f( 3), eller generelt at f(z) z f( z) for alle z C, som betyr at f ikke er injektiv Vi ser også
DetaljerOppgaver MAT2500. Fredrik Meyer. 29. september 2014
Oppgaver MAT2500 Fredrik Meyer 29. september 2014 Oppgave 1. La K være et tredimensjonalt konvekst polyeder. La K være mengden av hjørner, K mengden av kanter, og F K mengden av sideflater. To 3-dimensjonale
Detaljerx A e x = x e = x. (2)
Notat om Algebra for MAT1140 1 Algebra 1.1 Operasjoner Definisjon 1.1. En operasjon på en mengde A er en avbildning fra A A til A. Bemerkning 1.1. Mer generelt kan man snakke om n-ære operasjoner på A,
DetaljerForelesning 22 MA0003, Mandag 5/11-2012 Invertible matriser Lay: 2.2
Forelesning 22 M0003, Mandag 5/-202 Invertible matriser Lay: 2.2 Invertible matriser og ligningssystemet x b Ligninger på formen ax b, a 0 kan løses ved å dividere med a på begge sider av ligninger, noe
Detaljer9 Lineærtransformasjoner TMA4110 høsten 2018
9 Lineærtransformasjoner MA4 høsten 8 I forrige kapittel begynte vi å formulere lineær algebra på en generell måte, ved å gi en abstrakt definisjon av vektorrom For å beskrive sammenhenger mellom forskjellige
DetaljerMAT1140: Kort sammendrag av grafteorien
MAT1140: Kort sammendrag av grafteorien Dette notatet gir en kort oversikt over den delen av grafteorien som er gjennomgått i MAT1140 høsten 2013. Vekten er på den logiske oppbygningen, og jeg har utelatt
DetaljerAnalysedrypp I: Bevis, mengder og funksjoner
Analysedrypp I: Bevis, mengder og funksjoner Hensikten med Analysedrypp er å bygge en bro mellom MAT1100 og MAT1110 på den ene siden og MAT2400 på den andre. Egentlig burde det være unødvendig med en slik
DetaljerNotat om Peanos aksiomer for MAT1140
Notat om Peanos aksiomer for MAT1140 1 Tall Hva er egentlig tall? Tanken her, er ikke å si hva tall er, hva deres interne struktur muligens kan være, men å si hva vi kan gjøre med dem, sett utenifra. Vi
DetaljerLøsningsforslag øving 6
Løsningsforslag øving 6 7 Husk Teorem 79 i notatet: En delmengde U av et vektorrom V er et underrom hvis ) nullvektoren er i U, ) summen av to vektorer i U er i U igjen, og 3) et skalarmultiplum av en
DetaljerForslag til løsninger, TMA4150 Algebra, 29. mai 2018 Side 1 av 5
Forslag til løsninger, TMA4150 Algebra, 29. mai 2018 Side 1 av 5 Oppgave 1 isomorfi, nemlig 24 = 2 3 3, så det finnes tre abelske grupper av orden 24 opp til Z 2 Z 2 Z 2 Z 3 ; Z 2 Z 4 Z 3 ; Z 8 Z 3. O
DetaljerMAT 1110: Bruk av redusert trappeform
Tom Lindstrøm 10/5, 2006: MAT 1110: Bruk av redusert trappeform I Lays bok brukes den reduserte trappeformen til matriser til å løse en rekke problemer knyttet til ligningssystemer, lineærkombinasjoner,
DetaljerEgenverdier og egenvektorer
Kapittel 9 Egenverdier og egenvektorer Det er ofte hensiktsmessig å tenke på en matrise ikke bare som en tabell med tall, men som en transformasjon av vektorer Hvis A er en m n-matrise, så gir A en transformasjon
DetaljerLØSNINGSFORSLAG EKSAMEN V06, MA0301
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 7 LØSNINGSFORSLAG EKSAMEN V06, MA0301 Oppgave 1 a) Sett opp en sannhetsverditabell(truth table) for det logiske uttrykket
DetaljerOppgavesett. Kapittel Oppgavesett 1
Kapittel 9 Oppgavesett Dette kapitlet består av fire oppgavesett med oppgaver fra alle deler av kompendiet. 9. Oppgavesett Oppgave. Et dynamisk system er gitt ved x n+ = M x n der M er -matrisen.6.. M
DetaljerRepetisjonsforelesning - INF1080
Repetisjonsforelesning - INF1080 Mengder, relasjoner og funksjoner 18. november 2015 1 Grunnleggende mengdelære 1.1 Elementært om mengder 1.1.1 Hva er en mengde? Definisjon 1.1 (Mengde). En mengde er en
DetaljerGeometri i rommet. Kapittel Vektorer i R 3. Lengden av v er gitt ved
Kaittel 5 Geometri i rommet I dette kaitlet skal vi konsentrere oss om isometrier i R. Det er stort sammenfall mellom teoriene i og dimensjoner, og mange av resultatene fra forrige kaittel er gyldig også
DetaljerGauss-Jordan eliminasjon; redusert echelonform. Forelesning, TMA4110 Fredag 18/9. Reduserte echelonmatriser. Reduserte echelonmatriser (forts.
Gauss-Jordan eliminasjon; redusert echelonform Forelesning, TMA4110 Fredag 18/9 Martin Wanvik, IMF MartinWanvik@mathntnuno En matrise vil normalt være radekvivalent med flere echelonmatriser; med andre
DetaljerEliminasjon av ubetsemthet
1. Del Eliminasjon av ubetsemthet Warning: En svært midlertidig versjon som er ikke er ferdig. Den er rotete og sikkert full av feil. Forbedring følger etterhvert! versjon 0.3 last update: 10/21/15 2:48:38
DetaljerForelesning 14 torsdag den 2. oktober
Forelesning 14 torsdag den 2. oktober 4.1 Primtall Definisjon 4.1.1. La n være et naturlig tall. Da er n et primtall om: (1) n 2; (2) de eneste naturlige tallene som er divisorer til n er 1 og n. Eksempel
DetaljerEksamen i MNFMA205/SIF5021, 19. mai 1999-Løsningsforslag a b Oppgave 2. (a) Vi skal vise at H = 0 a b under matrisemultiplikasjon. Vi har at det.
Eksamen i MNFMA205/SIF5021 19. mai 1999-Løsningsforslag { } Oppgave 2. a Vi skal vise at H 0 a C er en gruppe under matrisemultiplikasjon. Vi har at det aā + a 2 + 2 > 0 da enten a 0 eller 0. Dette fører
DetaljerMAT1120 Notat 2 Tillegg til avsnitt 5.4
MAT1120 Notat 2 Tillegg til avsnitt 54 Dette notatet utfyller bokas avsnitt 54 om matriserepresentasjonen (også kalt koordinatmatrisen) til en lineær avbildning mellom to endeligdimensjonale vektorrom
DetaljerRepetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon
Repetisjon og mer motivasjon MAT030 Diskret matematikk Forelesning 22: Grafteori Roger Antonsen Matematisk Institutt, Universitetet i Oslo 4. april 2008 Først litt repetisjon En graf består av noder og
DetaljerForelesning 1 mandag den 18. august
Forelesning 1 mandag den 18 august 11 Naturlige tall og heltall Definisjon 111 Et naturlig tall er et av tallene: 1,, Merknad 11 Legg spesielt merke til at i dette kurset teller vi ikke 0 iblant de naturlige
DetaljerEt detaljert induksjonsbevis
Et detaljert induksjonsbevis Knut Mørken 0. august 014 1 Innledning På forelesningen 0/8 gjennomgikk vi i detalj et induksjonsbevis for at formelen n i = 1 n(n + 1) (1) er riktig for alle naturlige tall
DetaljerEksamensoppgave i TMA4150 Algebra
Institutt for matematiske fag Eksamensoppgave i TMA4150 Algebra Faglig kontakt under eksamen: Torkil Utvik Stai Tlf: 47638459 Eksamensdato: 29. mai 2018 Eksamenstid (fra til): 15:00 19:00 Hjelpemiddelkode/Tillatte
DetaljerNotat i MA2201. Vegard Hagen. 27. mai 2012. La S være en mengde og la f, g, h : S S. Da er
Notat i MA2201 Vegard Hagen 27. mai 2012 Del I - grupper og undergrupper Seksjon 2 - Binære Operasjoner En binær operasjon på en mengde S er en funksjonsavbildning S S S. (a, b) S S betegner vi elementet
DetaljerDette er altså et slags produkt av undermengder. Man sjekker lett at dette produktet har en assosiativitetsegenskap 1,nemlig:
Kvotientgrupper En helt sentral konstruksjon i gruppeteorien er dannelsen av kvotienten av en gruppe G med en normal undergruppe. I et spesialtilfelle har vi allerede gjort denne konstruksjonen, nemlig
DetaljerKapittel 5: Relasjoner
MAT1030 Diskret Matematikk Forelesning 11: Relasjoner Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 5: Relasjoner 23. februar 2010 (Sist oppdatert: 2010-02-23 14:33) MAT1030 Diskret Matematikk
DetaljerMAT3000/ Våren 2013 Obligatorisk oppgavesett nr. 2 Løsningsskisse
MAT3000/4000 - Våren 2013 Obligatorisk oppgavesett nr. 2 Løsningsskisse Oppgave 1 Din offentlig nøkkel er N = 377 og a = 269, mens lederen av klubben har valgt N = 1829 og a = 7. Passordet som du har mottatt
DetaljerVektorligninger. Kapittel 3. Vektorregning
Kapittel Vektorligninger I denne uken skal vi bruke enkel vektorregning til å analysere lineære ligningssystemer. Vi skal ha et spesielt fokus på R, for det går an å visualisere; klarer man det, går det
DetaljerMA1301 Tallteori Høsten 2014 Oversikt over pensumet
MA1301 Tallteori Høsten 2014 Oversikt over pensumet Richard Williamson 3. desember 2014 Innhold Pensumet 2 Generelle råd 2 Hvordan bør jeg forberede meg?.......................... 2 Hva slags oppgaver
DetaljerMAT1030 Forelesning 14
MAT1030 Forelesning 14 Mer om funksjoner Roger Antonsen - 10. mars 2009 (Sist oppdatert: 2009-03-10 11:34) Kapittel 6: Funksjoner Surjektive funksjoner Den neste gruppen av funksjoner vi skal se på er
DetaljerKapittel 6: Funksjoner
MAT1030 Diskret Matematikk Forelesning 14: Mer om funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 6: Funksjoner 10. mars 2009 (Sist oppdatert: 2009-03-10 11:34) MAT1030
DetaljerLøsningsforslag Øving 5 TMA4140 Diskret matematikk Høsten 2010
Løsningsforslag Øving 5 TMA4140 Diskret matematikk Høsten 2010 1. a) Ingen andre tall enn en deler en, og en deler fire, så (1, 4) = 1 b) 1 c) 7 er et primtall og 7 er ikke en faktor i 41, så største felles
DetaljerEneboerspillet del 2. Håvard Johnsbråten, januar 2014
Eneboerspillet del 2 Håvard Johnsbråten, januar 2014 I Johnsbråten (2013) løste jeg noen problemer omkring eneboerspillet vha partall/oddetall. I denne parallellversjonen av artikkelen i vil jeg i stedet
DetaljerSammendrag R1. Sandnes VGS 19. august 2009
Sammendrag R1 Sandnes VGS 19. august 2009 1 1 Notasjon Implikasjon Vi skriver A B hvis påstanden A impliserer B. Det vil si at hvis påstand A er riktig, så er påstand B riktig. Ekvivalens Vi skriver A
DetaljerLøsningsforslag. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.
Løsningsforslag Emnekode: ITF75 Dato: 5 desember Emne: Matematikk for IT Eksamenstid: kl 9 til kl Hjelpemidler: To A4-ark med valgfritt innhold på begge sider Kalkulator er ikke tillatt Faglærer: Christian
DetaljerOppgaver MAT2500 høst 2011
Oppgaver MAT2500 høst 2011 31. oktober 2011 Oppgaver avsnitt 1 Oppgave 1. Bruk cosinussetningen til å se at definisjonen av vinkel i planet blir riktig. Oppgave 2. Vis at d(x, y) = 0 hvis og bare hvis
DetaljerSekventkalkyle for utsagnslogikk
Sekventkalkyle for utsagnslogikk Tilleggslitteratur til INF1800 Versjon 11. september 2007 1 Hva er en sekvent? Hva er en gyldig sekvent? Sekventkalkyle er en alternativ type bevissystem hvor man i stedet
DetaljerTALL. 1 De naturlige tallene. H. Fausk
TALL H. Fausk 1 De naturlige tallene De naturlige tallene er 1, 2, 3, 4, 5,... (og så videre). Disse tallene brukes til å telle med, og de kalles også telletallene. Listen med naturlige tall stopper ikke
DetaljerMAT1120 Notat 2 Tillegg til avsnitt 5.4
MAT1120 Notat 2 Tillegg til avsnitt 54 Dette notatet utfyller bokas avsnitt 54 om matriserepresentasjoner (også kalt koordinatmatriser) av lineære avbildninger mellom endeligdimensjonale vektorrom En slik
DetaljerEgenverdier for 2 2 matriser
Egenverdier for matriser (Bearbeidet versjon av tidligere notat på nett-sidene til MA101 - Lineær algebra og geometri Versjon oppdatert med referanser til 10utg av læreboken) Egenvektorer og egenverdier
DetaljerRepetisjon: Om avsn og kap. 3 i Lay
Repetisjon: Om avsn. 2.1-2.4 og kap. 3 i Lay Matrisemultiplikasjon. La A = [a ij ] være en m n matrise og B = [b kl ] være en n p matrise. ] Skriv B = [b 1 b 2 b p. Produktet AB er m p matrisen definert
DetaljerTillegg til kapittel 11: Mer om relasjoner
MAT1140, H-16 Tillegg til kapittel 11: Mer om relasjoner I læreboken blir ekvivalensrelasjoner trukket frem som en viktig relasjonstype. I dette tillegget skal vi se på en annen type relasjoner som dukker
Detaljer6 Determinanter TMA4110 høsten 2018
6 Determinanter TMA4110 høsten 2018 En matrise inneholder mange tall og dermed mye informasjon så mye at det kan være litt overveldende Vi kan kondensere ned all informasjonen i en kvadratisk matrise til
DetaljerI dette kapittelet skal vi studerer noen matematiske objekter som kalles matriser. Disse kan blant annet brukes for å løse lineære likningssystemer.
Kapittel 2 Matriser I dette kapittelet skal vi studerer noen matematiske objekter som kalles matriser. Disse kan blant annet brukes for å løse lineære likningssystemer. 2.1 Definisjoner og regneoperasjoner
DetaljerKarakteriseringen av like mengder. Mengder definert ved en egenskap.
Notat 2 for MAT1140 2 Bevis La oss si at vi er overbevist om at utsagn P er sant, og at vi ønsker å kommunisere denne innsikten. Eller la oss si vi er ganske sikre på at P er sant, men ønsker, overfor
DetaljerLineære ligningssystemer og gausseliminasjon
Kapittel Lineære ligningssystemer og gausseliminasjon Vi skal lære en metode for å finne og beskrive alle løsninger av systemer av m lineære ligninger med n ukjente. Oppvarming Her er et eksempel på et
DetaljerEksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag
Institutt for matematiske fag Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag Faglig kontakt under eksamen: Martin Strand Tlf: 970 7 848 Eksamensdato: 3. mai 014 Eksamenstid (fra
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 11: Relasjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo 25. februar 2009 (Sist oppdatert: 2009-03-03 11:37) Kapittel 5: Relasjoner MAT1030 Diskret
DetaljerKapittel 5: Relasjoner
MAT1030 Diskret Matematikk Forelesning 11: Relasjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 5: Relasjoner 25. februar 2009 (Sist oppdatert: 2009-03-03 11:37) MAT1030 Diskret
DetaljerTeorem 10 (Z n, + n ) er en endelig abelsk gruppe. 8. november 2005 c Vladimir Oleshchuk 35. Teorem 11 (Z n, ) er en endelig abelsk gruppe.
Endelige grupper Teorem 10 (Z n, + n ) er en endelig abelsk gruppe. En gruppe er en mengde S sammen med en binær operasjon definert på S, betegnes (S, ), med følgende egenskaper: 1. a, b S, a b S 2. det
Detaljer= 3 11 = = 6 4 = 1.
MAT3000/4000 Eksamen V3 Løsningsforslag Oppgave [0 poeng] Sjekk at 3 er en kvadratisk rest i Z/(3) og finn løsningene av likningen x = 3 i Z/(3) (uten å lage en tabell for x ) Du får lov til å bruke at
DetaljerLineære likningssett.
Lineære likningssett. Forelesningsnotater i matematikk. Lineære likningssystemer. Side 1. 1. Innledning. La x 1, x, x n være n ukjente størrelser. La disse størrelsene være forbundet med m lineære likninger,
DetaljerNotat om kardinalitet for MAT1140 (litt uferdig)
Notat om kardinalitet for MAT1140 (litt uferdig) Poenget med tall kan man kanskje si er det å telle. In mengdeteorien ønsker man å telle antall elementer i en mengde, og det tallet man oppnår kalles da
DetaljerMAT1030 Forelesning 11
MAT1030 Forelesning 11 Relasjoner Roger Antonsen - 25. februar 2009 (Sist oppdatert: 2009-03-03 11:37) Kapittel 5: Relasjoner Binære relasjoner Definisjon. La A være en mengde. En binær relasjon på A er
DetaljerForelesning 14. Rekursjon og induksjon. Dag Normann februar Oppsummering. Oppsummering. Beregnbare funksjoner
Forelesning 14 og induksjon Dag Normann - 27. februar 2008 Oppsummering Mandag repeterte vi en del om relasjoner, da spesielt om ekvivalensrelasjoner og partielle ordninger. Vi snakket videre om funksjoner.
DetaljerMer om mengder: Tillegg til Kapittel 1. 1 Regneregler for Booleske operasjoner
MAT1140, H-16 Mer om mengder: Tillegg til Kapittel 1 Vi trenger å vite litt mer om mengder enn det som omtales i første kapittel av læreboken. I dette tillegget skal vi først se på regneregler for Booleske
DetaljerEt noget ukomplett oppslagsverk for TMA4150 Algebra og tallteori. Ruben Spaans
Et noget ukomplett oppslagsverk for TMA4150 Algebra og tallteori Ruben Spaans August 19, 2007 2 Part I Leksikon 3 Chapter 1 Alfabetisk oppslagsverk, for alle, kvantifikator. Brukes i forbindelse med utsagn,
DetaljerRepetisjon: om avsn og kap. 3 i Lay
Repetisjon: om avsn. 2.1-2.4 og kap. 3 i Lay Matrisemultiplikasjon La A = [a ij ] være en m n matrise og B = [b kl ] være en n p matrise. ] Skriv B = [b 1 b 2 b p der b j -ene er i R n for hver j. Produktet
DetaljerPartielle ordninger, Zorns lemma og utvalgsaksiomet
MAT1140, H-15 Partielle ordninger, Zorns lemma og utvalgsaksiomet I dette notatet skal vi se på Zorns lemma, som er et kraftig redskap for å bevise eksistensen av matematiske objekter. Beviset for Zorns
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 14: Rekursjon og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo 27. februar 2008 Oppsummering Mandag repeterte vi en del om relasjoner, da spesielt
DetaljerEksamen MAT H Løsninger
Eksamen MAT1140 - H2014 - Løsninger Oppgave 1 Vi setter opp en vanlig sannhetsverditabell. La Φ betegne formelen i oppgaven. Tabellen vil bli som følger: A B C A B A C Φ T T T T T T T T F T T T T F T F
DetaljerVi viser denne ekvivalensen ved å vise begge implikasjoner. " "Anta at G virker trofast på X og anta at g, h G er slik at gx = hx for alle
TMA4150 Algebra Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Seksjon 16 2 Fasit: G 1 = {ρ 0, δ 2 } = G 3 = G P1 = G P3 G S1 = {ρ 0, µ 1 } = G S3 G m1 = {ρ 0, ρ 2, µ 1, µ
DetaljerForelesning 13. Funksjoner. Dag Normann februar Opphenting. Opphenting. Opphenting. Opphenting
Forelesning 13 Dag Normann - 25. februar 2008 Forrige forelesning fortsatte vi innføringen av ekvivalensrelasjoner. Vi definerte hva vi mener med partielle ordninger og med totale ordninger. Deretter snakket
DetaljerMA1301 Tallteori Høsten 2014
MA1301 Tallteori Høsten 014 Richard Williamson 1. august 015 Innhold Forord 7 1 Induksjon og rekursjon 9 1.1 Naturlige tall og heltall............................ 9 1. Bevis.......................................
DetaljerMer om kvadratiske matriser
Kapittel 2 Mer om kvadratiske matriser Vi lader opp til anvendelser, og skal bli enda bedre kjent med matriser. I mange anvendelser er det ofte de kvadratiske matrisene som dukker opp, så fra nå skal vi
DetaljerMAT Grublegruppen Notat 9
MAT1100 - Grublegruppen Notat 9 Jørgen O. Lye Gruppeteori Oppvarmingseksempel La oss som vanlig ta en historisk vinkling. En klassisk måte grupper (som jeg straks skal denere) oppstod er gjennom å lete
DetaljerUtvalgsaksiomet, velordningsprinsippet og Zorns lemma
Utvalgsaksiomet, velordningsprinsippet og Zorns lemma Dag Normann Universitetet i Oslo Matematisk Institutt Boks 1053 - Blindern 0316 Oslo 13. mars 2007 I dette notatet skal vi gi et bevis for ekvivalensen
DetaljerUtvidet løsningsforslag til Eksamen vår 2010
Utvidet løsningsforslag til Eksamen vår 2010 Morten Brun og Runar Ile 1 Dette er et utvidet løsningsforslag hvor det er gitt alternativer løsninger på flere av punktene og noen tips og kommentarer. På
DetaljerLineære ligningssystemer og gausseliminasjon
Kapittel Lineære ligningssystemer og gausseliminasjon Vi skal lære en metode for å finne og beskrive alle løsninger av systemer av m lineære ligninger med n ukjente Oppvarming Her er et eksempel på et
DetaljerSammendrag R1. 26. januar 2011
Sammendrag R1 26. januar 2011 1 1 Notasjon Implikasjon Vi skriver A B hvis påstanden A impliserer B. Det vil si at hvis påstand A er riktig, så er påstand B riktig. Ekvivalens Vi skriver A B hvis to påstander
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 13: Funksjoner Dag Normann Matematisk Institutt, Universitetet i Oslo 25. februar 2008 Opphenting Forrige forelesning fortsatte vi innføringen av ekvivalensrelasjoner.
Detaljer12 Projeksjon TMA4110 høsten 2018
Projeksjon TMA0 høsten 08 En projeksjon er en lineærtransformasjon P som tilfredsstiller P x = P x for alle x Denne ligningen sier at intet nytt skjer om du benytter lineærtransformasjonen for andre gang,
DetaljerDiagonalisering. Kapittel 10
Kapittel Diagonalisering I te kapitlet skal vi anvende vår kunnskap om egenverdier og egenvektorer til å analysere matriser og deres tilsvarende lineærtransformasjoner Eksempel Vi begynner med et eksempel
DetaljerNiels Henrik Abels matematikkonkurranse Finale Løsninger
Niels Henrik Abels matematikkonkurranse 6. mars 2018 Oppgave 1. Det kinesiske restleddteoremet tillater oss å telle opp antall par (x, y) der x er restklassen til n!! modulo 125 og y er restklassen modulo
DetaljerMer om kvadratiske matriser
Kapittel 2 Mer om kvadratiske matriser Vi lader opp til anvendelser, og skal bli enda bedre kjent med matriser. I mange anvendelser er det ofte de kvadratiske matrisene som dukker opp, så fra nå skal vi
Detaljer