Permutasjoner og symmetriske grupper

Størrelse: px
Begynne med side:

Download "Permutasjoner og symmetriske grupper"

Transkript

1 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 vel brukt symmetriargumenter i en oppgaveløsning, av typen å bytte om variablene i en funksjon, det vil si erstatte f(x, y) med f(y, x), ogvetvinoeforholdemellomdissetofunksjonen, kan vi ofte utlede egenskaper ved 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 symmetrien faktisk var bestemt av permutasjonen. Det var en grei måte å holde orden på hva som skjedde med hjørnene. Itilleggtilåbytteomhjørnene,permutererogsåkvadratsymmetrienebådediagonalene i kvadratet og linjene som forbinder midtpunktene til to motstående sider. For eksempel vil en rotasjon på 90 ipositivretningtilsvarepermutasjonenuttrykt ved A B C D 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. Den lar begge aksene i ro (den skifter riktig nok fortegn på koordinaten til punkter på y-aksen, men i denne sammenhengen er poenget at y-aksen avbildes på seg selv), og den permuterer de to andre symmetrilinjene. B B C A C A D D rotasjon med 90 Definisjon av symmetriske grupper Ienmatematisksamenhengerenpermutasjon av en mengde X en bijeksjon fra X til X, altsåenavbildning : X! X som både er injektiv og surjektiv, og som derfor har en invers avbildning. Vi skal utelukkende beskjeftige oss med permutasjoner av

2 endelige mengder, og skal ha som gjennomgående hypotesde at X er en endelig mengde. Ieksempletovenfordervisåpåpermutasjonensomenrotasjonpå90 induserer, var det hjørnene {A, B, D, E} som ble permutert eller for å være helt korrekt er X = {A, B, D, E} mengden av betegnelser på hjørnene. Med en permutasjon eller en ombytting av elementene i X skal vi forstå en bijeksjon : X! X. Mengden av alle permutasjoner av X betegner vi med Sym(X) eller stundom med S X,ogvikallerdenfordensymmetriske gruppen til X. Viharaltså: Sym(X) = { : X! X er en bijeksjon }. Vi vet at sammensetningen av to bijeksjoner er en bijeksjon, så sammenseting definerer en binær operasjon på Sym(X). Detfinnesenidentitetsavbildning id X : X! X (gitt ved id X (x) =x) somfungerersomnøytraltelementforsammensetning,i.e., id X = id X = for alle 2 Sym(X), ogsiden er en bijeksjon har en invers. Når vi også vet at sammensetning av avildninger er en assosiativ operasjon, ser vi at Sym(X) er en gruppe under sammensetning: Setning 1 Med sammensetning av avbilninger som binær operasjon er Sym(X) 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 ),ogvikaller 1 S n for den symmetriske gruppen på n bokstaver. Blant de symmetriske gruppene er det i det store og det hele gruppene S n vi skal arbeide med, men det er viktig å vite at det svært ofte er andre mengder som permuteres. De fleste resultater om S n kan lett overføres til Sym(X) om X er endelig mengde med n elementer. Mekanismen som gjør det mulig, er velkjent fra hverdagslivet, og består i å nummerere elementen i X. En permutasjon av elementene i X 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 X med n elementer er ikke annet enn en bijektive avbildning : X! I n.vikantenkepå (x) 2 N som nummeret til x 2 X. At er injektiv, reflekterer at to forskjellige medlemmer i X 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 X 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 ) 1 Det er forunderlig at man sier bokstaver når mengden vitterlig består av tall, men slik er nå tradisjonen. 2

3 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 1. 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. X Vi skal nå matematisk presisere nummereringsmekanismen vi nevnte. Samtidig gjør vi en liten generalisering, lar Y være en generell mengde og : X! Y en bijeksjon. Man kan tenke på det som at vi merker elementene i X, ikkemedtall,menmedmerker fra Y. Definer : Sym(X)! Sym(Y) ved ( )= 1 : ( ) Da har vi Y X X Y 1 Setning 2 Avbildningen : Sym(X)! Sym(Y) er en gruppeisomorfi. Bevis: Om 0 er et annet element i Sym(X) finner vi ( 0 )= 0 1 = = ( ) ( 0 ), som viser at er en gruppehomomorfi. At er invertibel, følger fordi avbildning 0 ( ) = 1 er en invers til. o 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 3 Ordenen til den symmetriske gruppen S n er n!. Bevis: Vi bruker induksjon på n. Omn =1holder satsen siden det kun finnes én permutasjon av I 1 = {1}, nemligidentiteten. 2 Den kan skje at dette blir samme funsjon. I så fall sier vi at f er symmetrisk. 3

4 Anta at satsen holder for n 1. Laossførstsepådepermutasjonene 2 S n slik at (n) = n. Dissepermutererkunden 1 første tallene, og derfor er det (n 1)! slike etter induksjonshypotesen. La nå i være et vilkårlig heltall mellom 1 og n, ogla 2 S n være en permutasjon slik at (i) =n. Om (n) =i, er = slik at (n) =n. Følgelig er det (n 1)! mulige -er, og derfor også (n 1)! mulige -er siden = 1. Siden i kan velges på n forskjellige måter, gir dette oss til sammen n(n 1)! = n! elementer i S n. o 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 10. 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 =13,viharnemligat13! = og n! passerer. n S n 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: (B) 4

5 Sammensetning 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 = = 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: (c) Sykler og 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 rotasjonen r av 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 skriver (1, 2, 3, 4), derviogsåinnførerkonvensjonen om at det siste 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

6 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. Definisjon av en sykel Generelt, om (x 1,x 2,...,x a ) er en sekvens av forskjellige elementer i en mengde X, definerer vi med utgangspunkt i denne sekvensen, en permutasjon av X. Dersom 1 apple i<askal den sende x i på den umiddelbare etterfølgeren i sekvensen og det siste elementet på det første, altså sendes x a på x 1.Allex 2 X som ikke forekommer i sekvensen, skal ligge i ro. De kalles fikspunktene til permutasjonen. Formelt defineres permutasjonen 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. Idennekontekstenerdetviktigåhuskepåat(x 1,x 2,...,x 3 ) betegner permutasjonen og ikke sekvensen. Samme permutasjon kan nemlig representeres av flere 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 illustrert permutasjonen (1, 2, 3, 4, 6), ogdersynesdetklartatvikanbrukeethvilketsomhelst tall mellom 1 og 6 på første plass i sekvensen Valget av elementet på første plass er faktisk den eneste variasjonen som gir samme permutasjon. Vi formaliserer dette: Setning 4 Gitt en sekvens (x 1,x 2,...,x a ) av forskjellige elementer i en mengde X. La være den sykliske permutasjonen som den definerer. For hvert heltall i, med2 apple i apple a, vil sekvensen (x i,x i+1,...,x a,x 1,x 2,...,x i 1 ) (M) 6

7 definere den samme permutasjonen. Omvendt, om en sekvens definerer formen (M) for en i., er den på Bevis: La være permutasjonen som defineres av sekvensen (M). Ved å bruke definisjonen (Y) påside6 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 muligens opptrer de i forskjellige 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 Sykler av lengde a er av orden a 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: Lemma 1 Hvis er definert av 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 X.At i 6=id X for i<afølger siden elementene i sekvensen er antatt å være forskjellige, så i (x 1 )=x i+1 6= x 1. o Eksempel. 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). Regner vi ut virkningen av 2 finner vi at 1 og 3 byttes om og at 2 og 4 byttes om. Så 2 er ikke syklisk, men består av to sykler (1, 3) og (2, 4). e Oppgave 2. 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). X Oppgave 3. Vis at om a og m er relativt primiske og er en syklisk permutasjon av orden a. Såer m syklisk. X 7

8 Disjunkte sykler kommuterer Gitt to sekvenser (x 1,...,x n ) og (y 1,...,y n ) fra en mengde X. 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 nærmest selvinnlysende at to disjunkte permutasjoner og kommuterer, men det er allikevel en fundamental observasjon. Anta at og permuterer elementer fra en mengde som er en disjunkt union av undermengdene X og Y,ogantaat bare permuterer elementer i X, mens bare permutere elementer fra Y.Da er Vi har (z) = (z) = ( (z) om z 2 X (z) om z 2 Y. Setning 5 Dersom og er to disjunkte sykler, så er =. Eksempel. Ikke-disjunkte kommuterer ikke. 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ølgehvasomskjermeddeforskjellige tallene 1, 2 og 3, finnervi: =(1, 2)(1, 3) = (1, 3, 2) =(1, 3)(1, 2) = (1, 2, 3) e Den inverse til en sykel Hvis =(x 1,...,x n ) er en sykel, så vil den inverse permutasjonen 1 også være en sykel, og den er naturlig nok gitt ved å skrive sekvensen i omvendt rekkefølge: 1 =(x n,x n 1,...,x 2,x 1 ). 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 for å forstå dem, og den brukes hele tiden. Det er lengden av syklene som inngår i faktoriseringen, som bestemmer permutasjonens gruppeteoretiske egenskaper. En slik oppspalting er til og med entydig opptil rekkefølgen av de disjunkte syklene, de kommuterer jo, slik vi så. 8

9 Banen til en permutasjon La nå X være en mengde og la være en permutasjon av X. Plukk ut et punkt x 2 X og la undermengden B (x) være definert ved B (x) ={ k (x) k 2 Z } Mengden B (x) består av bildet k (x) av x under alle itererte anvendelser av og alle itererte anvendeler av 1.DersomX 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(X) er endelig, er av endelig orden, og 1 = r for et passende naturlig tall r. Vikanskrive B (x) ={x, (x), 2 (x),..., a 1 (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. 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 iforrigeavsnittvilbanentil2 være mengden B (2) = {2, 4} siden vi fra definisjonen kan slutte at (2) = 4, at 2 (2) = 2 og at (1) = 5 og 2 (1) = 1 viser at B (1) = B (5) = {1, 5}, mensb (3) er redusert til {3} siden 3 er et fikspunkt. Denne permutasjonen kan repreenteres som sammensetningen (1, 5)(2, 4) av syklene (1, 5) og (2, 4). Strengttattburdeviogsåtamedifsktoriseringen sykelen (3) som bare består av ett element, men konvensjonen er å utelate slike Eksempel. La oss også se på eksemplet som er tegnet opp på side xxx. Der 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): 9 e

10 Ser vi på figurene i de to foregående eksemplene, er det klart at banene er disjunkte. De danner partisjoner av mengden I 5.Detteergenereltfenomensomerenviktig egenskap baner har: Setning 6 Anta at er en permutasjon av mengden X. BaneneB (x) danner en partisjon av X når x gjennomløper X. Bevis: Siden x = 0 (x), erx 2 B (x) og banene dekker X. Oppgavenvårerderfor å vise at to baner enten er disjunkte eller like det var en flere ekvivalente karakteriseringer av en partisjon. Så anta at x og y er to elementer fra X 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 Oppgave 4. Man kan definere banene til en vilkårlige undergruppe av Sym(X) og ikke bare sykliske, slik vi har gjort så langt. La H G være en undergruppe og la x 2 X 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 X } danner en partisjon av X. Sym(X) X Banenen 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,omx2x er et element som ikke er med i sekvensen (x 1,...,x a ),såerxet fikspunkt for,ogsåledes er banen til x redusert til x selv, i.e., B (x) ={x}. Fordetandre,elementenex i fra 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 ikketrivielle banen består presis av elementene i sekvensen som definerer. Omvending av dette gjelder også. Vi har: Setning 7 En permutasjon har én ikketriviell bane. av elementene i X er syklisk hvis og bare hvis den kun 10

11 Bevis: Det er hvis-delen av utsagnet som vi ikke har argumentert for. La være en permutasjon av elementene i X slik at med unntak av en, så er alle banene til ettpunktsmengder. La videre B (x) være den ikketrivielle banen. Ovenfor på side 9 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 nå klart at er den sykliske permutasjonen definert av sekvensen (x, (x), 2 (x),..., a (x)). o Faktorisering i disjunkte sykler Permutasjonene vi studerte i eksemplene 4 og 5 på side 9 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 disjunke sykler. 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 permutasjonenen som inngår er entydig bestemt, og siden de er disjunkte,kommuter de. Det fremgår tydelig fra eksempelene 4 og 5 at de disjunkte syklene i faktoriseringene kan leses ut av banene. Ogdetprinsippetskalvibyggedetgenerellebevisetpå.Vihar: Teorem 1 Gitt en endelig mengde X. Enhverpermutasjon som et produkt = t 2 Sym(X) kan skrives der 1, 2,..., t er disjunkte sykler. De kommuterer og er entydig bestemt av. Bevis: La B 1,...,B t være de forskjellige ikketrivielle banene til,detvilsibanene med mer enn ett element. Siden alle banene danner en partisjon, er disse banene parvis disjunkte. Hver av dem definerer en sykel som vi kaller i. Denergittved ( (x) om x 2 B i i(x) = x om x 62 B i og det er klart at i er en sykel siden den kun har én ikketriviell bane, og syklene 1, 2,..., t er disjunkte. La oss argumentere for at = t. Antax ligger i B m.davilogså (x) = m (x) ligge der, og de andre syklene i, medi 6= m, beveger hverken x eller (x). Derforer (x) = t(x). o Eksempel. Vi ser på permutasjonen i S 7 som er gitt ved = Da er =(1, 3, 4, 6)(2, 5) faktoriseringen av idisjunktesykler. 11

12 e Fortegnet til en permutasjon Man kan snakke om fortegnet til en permutasjon, og ved hjelpav det, kan man dele permutasjonene inn i to klasser, de odde og de jevne. Fortegnetsign( ) til en permutasjon 2 S n er enten 1 eller 1. Dereretelementigruppenµ 2 = {±1}. Viskaletteråha definert fortegnet, vise at fortegnet er multiplikativt, i.e., sign( ) =sign( )sign( ), som er en fundamental egenskap til fortegnet. En annen måte å formulere det på er å si at fortegnet definerer en gruppehomomorfi sign: S n! µ 2. Det er en rekke mulige måter å defininere fortegnet til en permutasjon på. Alle er selvsagt ekvivalente, så det er mest snakke om å bestemme seg for hva som skal være høne og hva som skal være egg. Vi skal følge en fremgangsmåte som baserer seg på polynomet (x 1,...,x n )= Y (x i x j ), 1applei<japplen der x 1,...,x n er (relle) variable. Vi har tidligere, i eksempel 1påside2,snakketom hvordan S n virker på funksjoner ved å permutere de variable. Vi lot f (x 1,...,x n )= f(x (1),...,x (n) ). Vi anvender nå dette på og finner (x 1,...,x n ) = (x (1),...,x (n) )= Y 1applei<japplen (x (i) x (j) ). Nå er faktorene i polynomene og opptil fortegn de samme det eneste vi muligens har gjort, er å bytte om x i og x j såvikandefinerefortegnetsign( ) til ved likheten =sign( ). Da er sign( ) 2 µ 2.Vikallerenpermutasjon for odde om sign( )= 1, ogdener jevn dersom sign( )=1. 12

13 Setning 8 Fortegnet er multiplikativt. Det vil si at sign( ) = sign( )sign( ) for alle permutasjoner og fra S n.videreersign(id) = 1 og følgelig er sign( 1 )= sign( ). Bevis: Vi har følgende serie av likheter som viser setningen: sign( ) = =( ) =(sign( ) ) =sign( ) =sign( )sign( ). Som sagt, betyr dette at sign: S n! µ 2 er en gruppehomorfi. Kjernen er en undergruppe og består av alle de jevne permutasjonene. Den kalles den alternerende gruppen på n bokstaver og betegnes med A n.oftekalleshomomorfiensign: S n! µ 2 for den alternerende karakteren. La oss nå se på et viktig spesialtilfelle som i utgangspunktet kan virke svært spesielt, men vi skal se at det har mange konsekvenser. Vi skal finne fortegnet til den enkleste av alle permutasjoner, nemlig transposisjonen (1, 2),menbetraktetsomelementigruppen S n.detgjørvivedåordnefaktorenetil på følgende måte: =(x 1 x 2 ) Y 3appleiapplen (x 1 x i )(x 2 x i ) Y 3applei<japplen (x i x j ). Bytter vi nå om x 1 og x 2,vildenførstefaktorenx 1 x 2 skifte fortegn. De to faktorene x 1 x i og x 2 x i vil bytte plass, men det influerer ikke på fortgnet, og resten av faktoren er uberørt av ombyttingen. Det betyr at skifter fortegn, og vi har funnet at sign((1, 2)) = 1, og(1, 2) er en odde permutasjon. Det gjelder generelt at: Setning 9 Enhver transposisjon (i, j) 2 S n er odde. Bevis: Vi skal tilbakeføre påstandet til transposisjonene (1, 2). Forågjøredetlarvi være permutasjonen =(1,i)(2,j), somaltsåbytter1 med i, og2 med j. Vibenytter o oss av likheten 3 (1, 2) 1 =(i, j), som gir at sign((i, j)) = sign((1, 2)) sign( ) 2 = 1. o 3 Tenk på avbldningen som en nummerering av paret (i, j), medi som nummer en og j som nummer to. Da er det opplagt at å bytte om 1 og 2 tilsvarer ombytting av i og j. 13

14 Faktorisering i produkt av transposisjoner Det er velkjent fenomen fra hverdagslivet at enhver ombytting av gjenstander kan gjennomføres som en sekvens av ombyttinger av to og to. 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.omk = n, skjeringentingmedn før vi kommer til den siste transposisjonen, og den erstatter n med 1. Detbetyrat (n) =1. Om k =1,vildenførstetransposisjonen(1, 2) sende 1 på 2, meningenavderesterende ineholder 2, så (1) = 2. Antasåatk ligger mellom 2 og n 1. Forågjøredettydligere hva som 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 suksesivt anvender transposisjonene, før vi kommer til (1,k). Daforvandlesk til 1, somumiddelbartetterforvandles til k +1.Ingenavdepåfølgendetransposisjoneninneholderk +1,såk +1overlever 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 10 La x 1,...,x n være forskjellige elementer fra en mengde X. Daer (x 1,...,x n )=(x 1,x n )(x 1,x 2 )...(x 1,x 3 )(x 1,x 2 ) Og kombinerer vi dette resultatet med teorem 1 på side 11 som sa at enhver permutasjon er et produkt av disjunkte sykler, finner vi Teorem 2 Enhver permutasjon er et produkt av transposisjoner. Det er et par viktig bemerkninger å gjøre til dette teoremet. For det første kommuterer ikke to transposisjoner med mindre de er disjunkte. Man sjekker lett at (a, b)(a, c) =(a, c, b). Den andre viktige kommentaren er at en fremstiling av en permutasjon som en sammensetning av transposisjoner ikke er entydig. Det mest banale eksemplet er at id = (1, 2)(1, 2). Vilmanhaetnoemerelaborerteksempel,er(a, b)(a, c) =(c, a)(c, b). Antallet transposisjoner som trenges er heller ikke entydig, men pariteten er: Setning 11 Anta at = 1... n der i er transposisjoner. Da er sign( )=( 1) n. Derfor er n odde om er en odde permutasjon og n er jevn om er jevn. 14

15 Bevis: Dette følger direkte av at fortegnet er multiplikativt og av at transposisjoner er odde: ny sign( )= sign( i )=( 1) n. i=1 Odde og jevne sykler Man skal være oppmerksom på følgende påstand som kan virke paradoksal. Vi har allerede observert fenomenet i det enkle tilfellet at syklen er en transposisjon, som vi jo så var odde: Setning 12 En sykel av odde lengde er jevn. En sykel av jevn lengde er odde. Bevis: Dette følger direkte av faktoriseringen av en sykel slik vi gjorde i setning 10 på side 14, derensykelavlengden ble skrevet som et produkt av n 1 transposisjoner. o 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.dettebegrepeterspesifiktforgruppens n og har ikke mening i det d generelle tilfellet Sym(X), med mindre vi har ordnet elementene i mengden X på et vis. Teorem 2 forteller oss at en hver permutasjon kan skrives som et produkt av transposisjoner, eller sagt annerledes transposisjonene genererer S n.deteravinteresseå finne små generatormengder, og vi kan gjøre det langt bedre enn å måtte bruke alle de n(n 1)/2 transposijonene. Vi skal vi se at det holder med n 1 transposisjoner, om de velges smart: Setning 13 En hver permutasjon i S n kan skrives som et produkt av de n transposisjonene (1, 2), (1, 3),...,(1,k),...,(1,n). Bevis: De er nok å påpeke, siden vi har teorem 2 på forrige side, at følgende sammenheng gjelder: (i, j) =(1,i)(1,j)(1,i). Et av engenskapene til nabotransposisjonene, er at de genererer S n,detvilsiat enhver permutasjon også er et produkt av nabotransposisjoner: o 1 nabo- Setning 14 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). 15

16 Bevis: Vi har likheten (1,k)=(1,k 1)(k 1,k)(1,k 1) som man lett sjekker ved å mate høyresiden med 1, k 1 og k. Detfølgerved induksjon på k at enhver permutasjon på formen (1,k) kan skrives som et produkt av nabotransposisjoner, og vi kan avslutte beviset med setning 13 på forrige side. o Oppgaver Oppgave 5. Skriv (a 1,a 2,...,a r )(a 1,b) som et produkt av disjunkte sykler. Oppgave 6. 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 Oppgave 7. La være en permutasjon i S n.visatvidaharrelasjonen (1, 2, 3,...,k) 1 =( (1), (2),..., (k)). Hint: Mat høyresiden med tallene 1, 2, 3,...,k. Oppgave 8. 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. Versjon: Wednesday, January 30, :14:30 PM 16

Permutasjoner og symmetriske grupper

Permutasjoner og symmetriske grupper 4. Del Permutasjoner og symmetriske grupper Verbet permutere kommer av det latinske verbet permutare og betyr å bytte om, og ombyttinger,elleraltsåpermutasjoner,ernoevikjennerfradagliglivet.imatematikker

Detaljer

MAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile

MAUMAT644 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

Detaljer

OPPGAVER FOR FORUM

OPPGAVER 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

Detaljer

Et kvadrats symmetrier en motivasjon

Et 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

Detaljer

x A e x = x e = x. (2)

x 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,

Detaljer

Direkte produkter. (a, b)(a 0,b 0 )=(ab, a 0 b 0 ).

Direkte 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

Detaljer

To nyttige begreper. Ekvivalensrelasjoner

To 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

Detaljer

Grublegruppe 19. sept. 2011: Algebra I

Grublegruppe 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

Detaljer

Obligatorisk oppgave MAT2200 VÅREN 2011

Obligatorisk 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.

Detaljer

7 Ordnede ringer, hele tall, induksjon

7 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

Detaljer

Notat 05 for MAT Relasjoner, operasjoner, ringer. 5.1 Relasjoner

Notat 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

Detaljer

Oppgaver MAT2500. Fredrik Meyer. 29. august 2014

Oppgaver 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

Detaljer

Karakterer. Kapittel Homomorfier av grupper. 8.2 Representasjoner

Karakterer. 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

Detaljer

Notat om Peanos aksiomer for MAT1140

Notat 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

Detaljer

4 Matriser TMA4110 høsten 2018

4 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

Detaljer

Matriser. Kapittel 4. Definisjoner og notasjon

Matriser. 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

Detaljer

Oppgavesett. Kapittel Oppgavesett 1

Oppgavesett. 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

Detaljer

MAT1140: Kort sammendrag av grafteorien

MAT1140: 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)

Detaljer

Dette er altså et slags produkt av undermengder. Man sjekker lett at dette produktet har en assosiativitetsegenskap 1,nemlig:

Dette 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

Detaljer

En gruppeteoretisk analyse av vri- og flyttespill. Alexander Lorenzo Masteroppgave, våren 2017

En gruppeteoretisk analyse av vri- og flyttespill. Alexander Lorenzo Masteroppgave, våren 2017 En gruppeteoretisk analyse av vri- og flyttespill Alexander Lorenzo Masteroppgave, våren 2017 Denne masteroppgaven er levert inn som en del av programspesialiseringen Matematikk under Lektorprogrammet

Detaljer

Geometriske avbildninger og symmetri. A2A/A2B Høgskolen i Vestfold

Geometriske 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:

Detaljer

Repetisjonsforelesning - INF1080

Repetisjonsforelesning - 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

Detaljer

Grupper de første egenskaper

Grupper de første egenskaper Grupper de første egenskaper Definisjonen av en gruppe Da vi studerte symmetriene til et kvadrat, så vi at det var enkelte karakteristiske trekk ved symmetrier; De kunne settes sammen og de kunne inverteres.

Detaljer

UNIVERSITETET I BERGEN

UNIVERSITETET 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

Detaljer

Løsningsforslag øving 7

Lø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å

Detaljer

Dette krever ikke noe nytt aksiom. Hvorfor? Og hvorfor må vi anta at A ikke er tom? Merk at vi har:

Dette krever ikke noe nytt aksiom. Hvorfor? Og hvorfor må vi anta at A ikke er tom? Merk at vi har: Notat 4 for MAT1140 4 Mer om mengder 4.1 Familier av mengder Union og snitt. Aksiom 4.1. Dersom A er en mengde bestående av mengder, kan de sistnevnte føyes sammen til en stor mengde, kalt unionen til

Detaljer

Forelesning 1 mandag den 18. august

Forelesning 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

Detaljer

Notat om kardinalitet for MAT1140 (litt uferdig)

Notat 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

Detaljer

Lineærtransformasjoner

Lineæ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

Detaljer

Repetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon

Repetisjon 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

Detaljer

Forslag 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 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

Detaljer

9 Lineærtransformasjoner TMA4110 høsten 2018

9 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

Detaljer

Oppgaver MAT2500. Fredrik Meyer. 29. september 2014

Oppgaver 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

Detaljer

Egenverdier og egenvektorer

Egenverdier 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

Detaljer

Eksamensoppgave i TMA4150 Algebra

Eksamensoppgave 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

Detaljer

MAT1140: Kort sammendrag av grafteorien

MAT1140: 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

Detaljer

Analysedrypp I: Bevis, mengder og funksjoner

Analysedrypp 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

Detaljer

Oppgaver MAT2500 høst 2011

Oppgaver 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

Detaljer

Karakteriseringen av like mengder. Mengder definert ved en egenskap.

Karakteriseringen 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

Detaljer

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

Eksamensoppgave 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

Detaljer

Gauss-Jordan eliminasjon; redusert echelonform. Forelesning, TMA4110 Fredag 18/9. Reduserte echelonmatriser. Reduserte echelonmatriser (forts.

Gauss-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

Detaljer

Eliminasjon av ubetsemthet

Eliminasjon 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

Detaljer

Forelesning 22 MA0003, Mandag 5/11-2012 Invertible matriser Lay: 2.2

Forelesning 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

Detaljer

Vi 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

Vi 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, µ

Detaljer

Løsningsforslag øving 6

Lø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

Detaljer

Utvidet løsningsforslag til Eksamen vår 2010

Utvidet 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å

Detaljer

Tillegg til kapittel 11: Mer om relasjoner

Tillegg 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

Detaljer

MAT1120 Notat 1 Tillegg til avsnitt 4.4

MAT1120 Notat 1 Tillegg til avsnitt 4.4 MAT1120 Notat 1 Tillegg til avsnitt 4.4 Dette notatet tar utgangspunkt i Teorem 8 fra avsnitt 4.4 i boka. For ordens skyld gjentar vi dette teoremet her: Teorem 8 [Avsn. 4.4]: Anta at B = {b 1,..., b n

Detaljer

Hint til oppgavene. Uke 34. Uke 35. Fullstendige løsningsforslag finnes på emnesidene for 2017.

Hint til oppgavene. Uke 34. Uke 35. Fullstendige løsningsforslag finnes på emnesidene for 2017. Hint til oppgavene Fullstendige løsningsforslag finnes på emnesidene for 2017. Uke 34 Oppgave 1, 2, 3 og 4 kan alle løses ved å tegne sannhetstabeller, men i flere tilfeller kan man like gjerne manipulere

Detaljer

7 Egenverdier og egenvektorer TMA4110 høsten 2018

7 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

Detaljer

6 Determinanter TMA4110 høsten 2018

6 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

Detaljer

Forelesning 4 torsdag den 28. august

Forelesning 4 torsdag den 28. august Forelesning 4 torsdag den 28. august 1.10 Rekursjon Merknad 1.10.1. Hvert tall i sekvensen 1, 2, 4, 8, 16,... er to ganger det foregående. Hvordan kan vi beskrive sekvensen formelt? Vi kan ikke skrive

Detaljer

MAT1120 Notat 1 Tillegg til avsnitt 4.4

MAT1120 Notat 1 Tillegg til avsnitt 4.4 MAT1120 Notat 1 Tillegg til avsnitt 4.4 Vi tar utgangspunkt i Teorem 8 fra avsn. 4.4 i boka. For ordens skyld gjentar vi teoremet her: Teorem 8 [Avsn. 4.4]: Anta at B = {b 1,..., b n } er en (ordnet) basis

Detaljer

Notat med oppgaver for MAT1140

Notat med oppgaver for MAT1140 Notat med oppgaver for MAT1140 1 Injeksjon, surjeksjon Oppgave 1.1. La f : A B være en avbildning. Vis at da er f injektiv hvis og bare hvis følgende holder: for hver mengde C og for hver g, h : C A hvis

Detaljer

Grafteori. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori.

Grafteori. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori. MAT030 Diskret Matematikk Forelesning 23: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo Grafteori 20. april 200 (Sist oppdatert: 200-04-20 4:8) MAT030 Diskret Matematikk 20. april 200

Detaljer

MA2201/TMA4150 Vår 2018

MA2201/TMA4150 Vår 2018 MA2201/TMA4150 Vår 2018 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Løsningsforslag Øving 6 Seksjon 14 34 La G = n < og la H G være eneste undergruppe av G av orden m.

Detaljer

Analysedrypp I: Bevis, mengder og funksjoner

Analysedrypp 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

Detaljer

En rekke av definisjoner i algebra

En rekke av definisjoner i algebra En rekke av definisjoner i algebra Martin Strand, martin.strand@math.ntnu.no 11. november 2010 Definisjonene som er gitt her, kommer i MA2201 Algebra og MA3201 Ringer og moduler. Forhåpentligvis blir det

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 23: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo 20. april 2010 (Sist oppdatert: 2010-04-20 14:17) Grafteori MAT1030 Diskret Matematikk 20. april

Detaljer

MAT1030 Forelesning 14

MAT1030 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

Detaljer

MAT1030 Forelesning 23

MAT1030 Forelesning 23 MAT030 Forelesning 23 Grafteori Roger Antonsen - 22. april 2009 (Sist oppdatert: 2009-04-22 2:36) Forelesning 23 Repetisjon og mer motivasjon Først litt repetisjon En graf består av noder og kanter Kanter

Detaljer

Lineære ligningssystemer og gausseliminasjon

Lineæ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

Detaljer

Forelesning 23. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori.

Forelesning 23. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori. MAT030 Diskret Matematikk Forelesning 23: Grafteori Roger Antonsen Institutt for informatikk, Universitetet i Oslo Forelesning 23 22. april 2009 (Sist oppdatert: 2009-04-22 2:37) MAT030 Diskret Matematikk

Detaljer

Et detaljert induksjonsbevis

Et 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

Detaljer

Notat 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. 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

Detaljer

Kapittel 6: Funksjoner

Kapittel 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

Detaljer

MAT 1110: Bruk av redusert trappeform

MAT 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,

Detaljer

Teorem 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.

Teorem 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

Mengder, relasjoner og funksjoner

Mengder, relasjoner og funksjoner MAT1030 Diskret Matematikk Forelesning 15: og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo Mengder, relasjoner og funksjoner 9. mars 2010 (Sist oppdatert: 2010-03-09 14:18) MAT1030

Detaljer

MAT Grublegruppen Notat 10

MAT Grublegruppen Notat 10 MAT1100 - Grublegruppen Notat 10 Jørgen O. Lye Ringer Vi fortsetter i et lynkurs i algebraiske dyr. Først ut er ringer. En ring A (også kalt R) er en abelsk gruppe med addisjon + som operasjon. I tillegg

Detaljer

Forelesning 13. Funksjoner. Dag Normann februar Opphenting. Opphenting. Opphenting. Opphenting

Forelesning 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

Detaljer

INDUKSJONSPRINSIPPET MAT111 - H16

INDUKSJONSPRINSIPPET MAT111 - H16 INDUKSJONSPRINSIPPET MAT - H ANDREAS LEOPOLD KNUTSEN. Matematisk induksjon I læreboken står kun en liten trudelutt om matematisk induksjon i margen på side 0 (side 09 i utg. 7, side 08 i utg. ). Det er

Detaljer

Forelesning 14 torsdag den 2. oktober

Forelesning 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

Detaljer

Sekventkalkyle for utsagnslogikk

Sekventkalkyle 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

Detaljer

Analysedrypp II: Kompletthet

Analysedrypp II: Kompletthet Analysedrypp II: Kompletthet Kompletthet er et begrep som står sentralt i både MAT1100 og MAT1110, og som vil stå enda mer sentralt i MAT2400. I de tidligere kursene fremstår begrepet på litt forskjellig

Detaljer

Analysedrypp IV: Metriske rom

Analysedrypp IV: Metriske rom Analysedrypp IV: Metriske rom Vi har tidligere sett at begreper som konvergens og kontinuitet har med avstand å gjøre at f er kontinuerlig i punktet a, betyr f. eks. at det for enhver ɛ > 0, finnes en

Detaljer

LØSNINGSFORSLAG EKSAMEN V06, MA0301

LØ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

Detaljer

Mer om mengder: Tillegg til Kapittel 1. 1 Regneregler for Booleske operasjoner

Mer 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

Detaljer

MAT1030 Diskret matematikk

MAT1030 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.

Detaljer

KONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG

KONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 6 KONTINUASJONSEKSAMEN I TMA440 LØSNINGSFORSLAG Oppgave Sannhetsverditabell for det logiske utsagnet ( (p q) ) ( q r

Detaljer

Kapittel 5: Relasjoner

Kapittel 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

Detaljer

Forelesning 25. MAT1030 Diskret Matematikk. Litt repetisjon. Litt repetisjon. Forelesning 25: Trær. Dag Normann

Forelesning 25. MAT1030 Diskret Matematikk. Litt repetisjon. Litt repetisjon. Forelesning 25: Trær. Dag Normann MAT1030 Diskret Matematikk Forelesning 25: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo Forelesning 25 27. april 2010 (Sist oppdatert: 2010-04-27 14:16) MAT1030 Diskret Matematikk 27. april

Detaljer

MAT1030 Forelesning 24

MAT1030 Forelesning 24 MAT1030 Forelesning 24 Grafteori og trær Roger Antonsen - 28. april 2009 (Sist oppdatert: 2009-04-28 22:32) Forelesning 24 Oppsummering En graf består av noder og kanter Kanter ligger inntil noder, og

Detaljer

Kapittel 6: Funksjoner

Kapittel 6: Funksjoner MAT1030 Diskret Matematikk Forelesning 13: Funksjoner Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 6: Funksjoner 2. mars 2010 (Sist oppdatert: 2010-03-02 14:14) MAT1030 Diskret Matematikk

Detaljer

Lineære ligningssystemer og gausseliminasjon

Lineæ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

Detaljer

MAT1030 Forelesning 13

MAT1030 Forelesning 13 MAT1030 Forelesning 13 Funksjoner Dag Normann - 2. mars 2010 (Sist oppdatert: 2010-03-02 14:15) Kapittel 6: Funksjoner Forrige uke Forrige forelesning snakket vi om relasjoner. Vi snakket om ekvivalensrelasjoner

Detaljer

TOPOLOGI. Dan Laksov

TOPOLOGI. Dan Laksov Forum för matematiklärare TOPOLOGI Dan Laksov Institutionen för Matematik, 2009 Finansierat av Marianne och Marcus Wallenbergs Stiftelse Topologi Dan Laksov Notater for Forum för Matematiklärare. Høst

Detaljer

Utvalgsaksiomet, velordningsprinsippet og Zorns lemma

Utvalgsaksiomet, 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

Detaljer

Lineære likningssett.

Lineæ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,

Detaljer

Grafteori. MAT1030 Diskret Matematikk. Oppsummering. Oppsummering. Forelesning 24: Grafer og trær. Dag Normann

Grafteori. MAT1030 Diskret Matematikk. Oppsummering. Oppsummering. Forelesning 24: Grafer og trær. Dag Normann MAT1030 Diskret Matematikk Forelesning 24: Grafer og trær Dag Normann Matematisk Institutt, Universitetet i Oslo Grafteori 21. april 2010 (Sist oppdatert: 2010-04-21 12:55) MAT1030 Diskret Matematikk 21.

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 25: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo 27. april 2010 (Sist oppdatert: 2010-04-27 14:15) Forelesning 25 MAT1030 Diskret Matematikk 27. april

Detaljer

Forelesning 23. Grafteori. Dag Normann april Oppsummering. Oppsummering. Oppsummering. Digresjon: Firefarveproblemet

Forelesning 23. Grafteori. Dag Normann april Oppsummering. Oppsummering. Oppsummering. Digresjon: Firefarveproblemet Forelesning 23 Grafteori Dag Normann - 16. april 2008 Oppsummering En graf består av noder og kanter Kanter ligger inntil noder, og noder kan være naboer. Vi bør kjenne til begrepene om sammenhengende

Detaljer

En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt navn på visse egenskaper relasjoner som oppstår i anvendelser ofte kan ha.

En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt navn på visse egenskaper relasjoner som oppstår i anvendelser ofte kan ha. Forelesning 12 Relasjoner, Dag Normann - 20. februar 2008 Oppsummering En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt navn på visse egenskaper relasjoner som oppstår i anvendelser

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Forelesning 23: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo 16. april 2008 Oppsummering En graf består av noder og kanter Kanter ligger inntil noder, og

Detaljer

Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Forelesning 23: Grafteori

Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Forelesning 23: Grafteori Oppsummering MAT1030 Diskret matematikk Forelesning 23: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo 16. april 2008 En graf består av noder og kanter Kanter ligger inntil noder, og

Detaljer

Løsningsforslag oblig. innlevering 1

Løsningsforslag oblig. innlevering 1 Løsningsforslag oblig. innlevering 1 IN1150 Logiske metoder Høsten 2017 Oppgave 1 - Mengdelære (10 poeng) a) Ut fra opplysningene under, angi hvilke mengder A og B er. A B = {1, 2, 3, 4, 5, 6} A B = {2,

Detaljer

MAT Grublegruppen Notat 9

MAT 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

Detaljer