Reed-Solomon og N T P-koder

Størrelse: px
Starte visningen fra side:

Download "Reed-Solomon og N T P-koder"

Transkript

1 Reed-Solomon og N T P-koder - deres egenskaber og dekodning af Maria Sondrup Iversen Jane Gravgård Knudsen Juni 2004 INSTITUT FOR MATEMATISKE FAG Aalborg Universitet Fredrik Bajers vej 7G 9220 Aalborg Øst

2 2

3 Institut for Matematiske Fag Aalborg Universitet Titel: Reed-Solomon og NTPkoder -deres egenskaber og dekodning Projekt: Mat 6/ speciale Projektgruppe: G4-105 Gruppemedlemmer: Maria Sondrup Iversen Jane Gravgård Knudsen Vejledere: Hans Olav Geil Christian Thommesen Antal eksemplarer: 14 Antal sider: 131 Synopsis: I dette speciale betragtes Reed- Solomon og NTP-koder. Først præsenteres Reed-Solomon koder, og deres egenskaber, hvorefter der ses på dekodning af disse koder i de tilfælde, hvor der er sket færre end d/2 fejl. Herefter gennemgås to listedekodningsalgoritmer, som gør det muligt at rette flere end d/2 fejl. For at kunne benytte disse to listedekodningsalgoritmer skal der kunne bestemmes førstegradsfaktorer i interpolationspolynomiet, hvilket der opstilles forskellige algoritmer til at løse. Før definitionen af NTP-koder introduceres gennemgås teori, som gør dette muligt. Herunder teori om Gröbner baser og fodaftryk af idealer. Herefter bestemmes minimumsafstand, dimension og dualkode for N T P- koderne. Desuden præsenteres en dekodningsalgoritme for disse koder, som kan rette op til d g 2 fejl. Til slut gives en kort vurdering af de to koder, i forhold til hinanden, udfra kriteriet om, at koder bør have en høj hastighed samtidig med en høj relativ minimumsafstand. Aalborg Universitet Fredrik Bajers Vej 7G 9220 Aalborg Øst Tlf

4 ii

5 Forord Denne rapport er udarbejdet som speciale fra slutningen af januar til begyndelsen af juni 2004, ved det Teknisk-Naturvidenskabelige Fakultet, Institut for Matematiske Fag på Aalborg Universitet. Der gøres opmærksom på, at den del af specialet, som omhandler NTP-koder, samt Appendiks A og Appendiks B, er udarbejdet i samarbejde med Elisabeth Kuhr Rasmussen, som på nuværende tidspunkt har barselsorlov. Desuden er kapitlet om Gröbner baser udarbejdet på MAT-5 fra først i september til midt i december 2003, ligeledes i samarbejde med Elisabeth Kuhr Rasmussen. Kildehenvisninger vil gennem specialet blive angivet således: [kilde, henvisning], hvor kilden er anført i litteraturlisten, se side 123. Henvisningen kan være til et kapitel, et afsnit eller en hel specifik sætning eller lignende. I specialet vil kildehenvisninger, som er angivet i begyndelsen af et kapitel eller afsnit, referere til det overordnede indhold i det pågældende kapitel/afsnit, hvorimod kildehenvisninger, som er angivet inde i teksten, refererer til et specifikt resultat. Et engelsk resume kan findes umiddelbart før appendiks. Institut for Matematiske Fag, Aalborg Universitet, juni Maria Sondrup Iversen Jane Gravgård Knudsen iii

6 iv

7 Indhold 1 Indledning 1 2 Reed-Solomon koder Egenskaber ved Reed-Solomon koder Dekodning af Reed-Solomon koder Listedekodning af Reed-Solomon koder Bestemmelse af førstegradsfaktorer i Q(x, y) Reducering af problem Bestemmelse af rødder til ϕ(q(x, y)) i E Gröbner basis teori Dicksons lemma Hilberts basis sætning og Gröbner baser Egenskaber ved Gröbner baser v

8 vi INDHOLD 5 Koder udtrykt ved hjælp af norm- trace polynomier Bestemmelse af punkter Definition af NTP-koder Egenskaber ved NTP- koden Minimumsafstand af NTP-koden Dimension af NTP - koden Dualkode Dekodning af N T P-koder 91 8 Vurdering af NTP-koder i forhold til RS-koder 97 9 Afrunding 101 A 107 A A A A B 119 B

9 Kapitel 1 Indledning Det overordnede emne i dette speciale er diskret matematik, og det mere specifikke emne er kodningsteori. Herindenfor har vi valgt at beskæftige os med Reed-Solomon koder, samt en generalisering af disse, hvilke vi i denne rapport kalder NTP-koder. Der lægges ud med en definition af Reed-Solomon koder, hvorefter der følger en redegørelse for disses egenskaber, såsom minimumsafstand og dimension. Desuden gives der en dekodningsalgoritme for de tilfælde, hvor der er sket færre end d 2 fejl, hvor d er minimumsafstanden for koden. Herefter introduceres yderligere to dekodningsalgoritmer for Reed-Solomon koderne, nemlig Sudans listedekodningsalgoritme, og Guruswami-Sudans listedekodningsalgoritme. Herunder vil der være en vurdering af for hvilke hastigheder af koden der er sket en forbedring ved at benytte listedekodning fremfor almindelig dekodning. Det vil sige, for hvilke hastigheder af koden er det muligt at rette mere end d 2 fejl. Gyldigheden af Sudans- og Guruswami-Sudans listedekodningsalgoritmer afhænger blandt andet af, at det er muligt at bestemme lineære faktorer til interpolationspolynomiet Q(x, y), hvis disse eksisterer, hvilket Kapitel 3 derfor omhandler. Herefter ønsker vi at definere NTP-koderne, der, som tidligere nævnt, er en generalisering af Reed-Solomon koderne. 1

10 1. Indledning Altså skal der ligesom for Reed-Solomon koderne bestemmes punkter og polynomier, således at vi ved at evaluere polynomierne i de forskellige punkter får kodeordene i NTP-koden. Punkterne skal tilhøre varieteten V( x qm 1 q 1 y q m 1 y q y, x qm x, y qm y ), hvilket vil sige, at de skal være nulpunkter til norm- trace polynomiet tilhørende F 2 q m. Polynomierne er en linearkombination af monomierne i fodaftrykket af idealet y qm 1 y q y, x qm x, y qm y. For at bestemme fodaftrykket skal der først kunne bestemmes en Gröbner basis for idealet, og Kapitel 4 indeholder derfor generel teori vedrørende Gröbner baser. x qm 1 q 1 For NTP-koderne bestemmes både minimumsafstand, dimension og dualkode, hvortil det blandt andet benyttes, at monomierne i fodaftrykket af J = x qm 1 q 1 y qm 1 y q y alle har forskellig vægt, samt at alle vægte er repræsenteret ved et monomium heri. Desuden introduceres generel teori vedrørende genus og kondukter til bestemmelse af kodens dimension. Herefter gives en dekodningsalgoritme for N T P-koderne, som kan rette færre end d g 2 fejl, hvor d igen betegner minimumsafstanden og g er genus. Efter at have introduceret både Reed-Solomon koderne og N T P-koderne ønsker vi at foretage en kort vurdering af de to koder i forhold til hinanden. Her betragtes koderne som gode, hvis de både har høj hastighed samtidig med, at de kan rette mange fejl i forhold til længden af kodeordene. Sidst i rapporten er et appendiks, som består af Appendiks A og Appendiks B. Appendiks A består af uddybende teori, som primært knytter sig til Kapitel 5, hvori der er en redegørelse, som bygger på [6], for at Tr Fq m/f q (α) og N Fq m/f q (α) tilhører F q. Appendiks B er ligeledes uddybende teori til Kapitel 5 og Kapitel 3, hvor det skal benyttes, at ækvivalensklasserne i F q m, med hensyn til traceafbildningen, alle har samme størrelse. 2

11 Kapitel 2 Reed-Solomon koder I dette kapitel introduceres Reed-Solomon koderne. Dette er koder, hvor kodeordene er genereret af polynomier, som er evalueret i en række forskellige punkter tilhørende et endeligt legeme. Der lægges ud med en definition af koderne, hvorefter der gøres rede for forskellige egenskaber ved disse. Herefter gives først en dekodningsalgoritme, som gør det muligt at rette op til d 2 fejl, hvor d er minimumsafstanden for koden. Dernæst følger to listedekodningsalgoritmer, som er forbedringer af den foregående algoritme, idet disse kan rette mere end d 2 fejl. Afsnit 2.1 og 2.2 bygger primært på [5, Afsnit 5.1 og 5.2], og Afsnit 2.3 bygger på [5, Kapitel 12]. 2.1 Egenskaber ved Reed-Solomon koder Definition 1 (Reed-Solomon koder) Lad x 1,..., x n være forskellige elementer i et endeligt legeme F q. Lad desuden P k være mængden af polynomier tilhørende F q [x] med grad mindre end k, hvor k n. En (n, k) Reed-Solomon kode består da af kodeordene (f(x 1 ),..., f(x n )), hvor f P k. 3

12 2. Reed-Solomon koder En Reed-Solomon kode vil fremover blive refereret til som en RS-kode. For at sikre at RS-koderne er veldefinerede, skal det vises, at ethvert kodeord er genereret af præcis ét polynomium tilhørende P k, og at der til ethvert polynomium i P k svarer netop ét kodeord. Det er klart udfra definitionen, at ethvert kodeord er genereret af mindst et polynomium i P k. Hvis to polynomier, g, f P k, genererer det samme kodeord, så vil samtlige x 1,...,x n F q være rødder i g(x) f(x). Men da g(x) f(x) er et polynomium af grad strengt mindre end k n, kan dette højst have k 1 rødder. Hermed er der opnået en modstrid, og ethvert kodeord er derfor genereret af netop ét polynomium i P k. Ligeledes kan der kun svare ét kodeord til hvert polynomium i P k, da der ved indsættelse af samme element i et polynomium ikke kan opstå to forskellige resultater. Dermed gælder der alt i alt, at RS-koden er veldefineret. Da RS-koden er veldefineret, så sendes en basis for P k over i en basis for RSkoden, og da polynomierne i P k udgør et k-dimensionalt vektorrum over F q, så er dimensionen af RS-koden lig k. Idet x 1,..., x n er forskellige elementer i F q, er længden af RS-koden, n, mindre end eller lig q. Koden er desuden lineær, da det for to kodeord, c 1 = (f 1 (x 1 ),..., f 1 (x n )) og c 2 = (f 2 (x 1 ),..., f 2 (x n )), f 1, f 2 P k, gælder, at ac 1 + bc 2 = (g(x 1 ),..., g(x n )), hvor a, b F q og g(x) = af 1 (x) + bf 2 (x) tilhører P k. Dermed gælder det, at minimumsafstanden er lig minimumsvægten for en RSkode. For at bestemme minimumsafstanden for RS-koden, introduceres først en øvre grænse, som gør sig gældende for enhver lineær kode. Sætning 2 (Singleton grænsen) Lad C være en lineær kode af længde n, dimension k og minimumsafstand d. Så er d n k + 1. Bevis: En lineær kode over F q af dimension k består af q k kodeord. Ved at eliminere d 1 fastholdte positioner i hvert af de q k kodeord, vil disse stadig være forskellige, idet hvert par af kodeord er forskellige på mindst d 4

13 2.1. Egenskaber ved Reed-Solomon koder positioner. Antallet af vektorer hvor kun disse n d + 1 positioner kan variere er q n d+1, og dermed er k n d + 1, hvoraf resultatet følger. Herefter kan den eksakte minimumsafstand for RS-koderne bestemmes. Sætning 3 Minimumsafstanden for en (n, k) RS-kode er n k + 1. Bevis: Idet polynomierne i P k højst kan have k 1 nulpunkter blandt x 1,..., x n, så har kodeordene en Hamming vægt, ω H, på mindst n k + 1. Det vil sige, at d n k + 1. Ved at sammenholde dette med Sætning 2 fås det, at d = n k +1 for en (n, k) RS-kode. Minimumsafstanden kan benyttes til at afgøre, hvor mange fejl det er muligt for koden at rette. Lad r = c + e, hvor c er et kodeord, være et modtaget ord. Så er antallet af fejl lig Hammingvægten af fejlvektoren e. Hvis Hammingvægten af alle fejlvektorer, e, er mindre end eller lig t, for t N 0, så vil koden, hvis denne er t-fejlkorrigerende, give præcis ét kodeord ved dekodning. At være t-fejlkorrigerende defineres således: Definition 4 (t-fejlkorrigerende) En kode er t-fejlkorrigerende, hvis det for to vilkårlige kodeord, c i c j, og for alle fejlvektorer, e 1 og e 2, med Hamming vægt mindre end eller lig t, gælder, at c i + e 1 c j + e 2. Proposition 5 En lineær kode af længde n, dimension k og minimumsafstand d er t-fejlkorrigerende hvis og kun hvis t < d 2. Bevis: Antag først, at t < d 2, og at vi har givet to kodeord, c i og c j, samt to fejlvektorer, e 1 og e 2, begge med Hamming vægt mindre end eller lig t, sådan at c i + e 1 = c j + e 2. Idet koden er lineær, er c i c j = e 1 e 2 et kodeord, og ω H (c i c j ) = ω H (e 1 5

14 2. Reed-Solomon koder e 2 ) 2t < d. Da dette er i modstrid med, at kodens minimumsafstand er lig d, er koden t-fejlkorrigerende. Anden del af beviset føres ved kontraposition. Antag, at t d 2, og lad c have vægt d. Konstruer en ny vektor, y, ved at erstatte t positioner i c forskellige fra nul med nuller. Dermed er ω H (y) d t t og ω H (y c) t. Men da 0 er et kodeord gælder det, idet 0 + y = c + (y c), at koden ikke er t-fejlkorrigerende. Idet Reed-Solomon koder er lineære er disse t-fejlkorrigerende, hvis t < d 2. I næste afsnit beskrives en dekodningsalgoritme for Reed-Solomon koder, som kan rette op til d 2 fejl i et modtaget ord. 2.2 Dekodning af Reed-Solomon koder Lad r være et modtaget ord, som er summen af et kodeord c, tilhørende (n, k) RS-koden, og en fejlvektor e med Hammingvægt mindre end eller lig t = n k 2 < d 2. For at finde det afsendte kodeord c er ideen at bestemme interpolationspolynomiet Q(x, y) = Q 0 (x) + yq 1 (x) F q [x, y]\{0}, sådan at 1. Q(x i, r i ) = 0, i = 1,...,n. 2. deg(q 0 (x)) n 1 t. 3. deg(q 1 (x)) n 1 t (k 1). Det skal nu vises, at der vil eksistere sådan et poynomium. Sætning 6 Hvis der er sket færre end d 2 fejl i det modtagne ord r, så eksisterer der et polynomium Q(x, y), forskelligt fra nulpolynomiet, som opfylder de tre betingelser ovenfor. 6

15 2.2. Dekodning af Reed-Solomon koder Bevis: Den første betingelse giver n homogene lineære ligninger, og antallet af ubekendte er deg(q 0 )+1+deg(Q 1 )+1 = n t+n t (k 1). Idet t = n k 2, giver dette, at n t + n t (k 1) = 2n 2t (k 1) n + 1, hvormed der vil eksistere en ikke-triviel løsning. Følgende sætning giver en metode til bestemmelse af det afsendte kodeord c. Sætning 7 Lad det afsendte kodeord være genereret af polynomiet g(x), og lad antallet af fejl, t, være mindre end d Q0(x) 2. Så er g(x) = Q. 1(x) Bevis: Lad c = (g(x 1 ),..., g(x n )), og r = c + e, hvor ω H (e) t. Interpolationspolynomiet Q(x, y) opfylder, at Q(x i, g(x i ) + e i ) = 0, og idet e i = 0 for mindst n t i er, så har Q(x, g(x)) mindst n t nulpunkter, som præcis er de x i er, hvor g(x i ) = r i. Desuden ses det, at polynomiet Q(x, g(x)) har grad højst n 1 t, og det kan derfor konkluderes, at Q(x, g(x)) er nulpolynomiet. Det vil sige, at Q 0 (x) + g(x)q 1 (x) = 0, hvormed g(x) = Q0(x) Q. 1(x) Hvis Q(x i, r i ) opskrives på følgende måde: Q(x i, r i ) = Q 1 (x i )(r i + Q 0(x i ) Q 1 (x i ) ) = Q 1(x i )(r i g(x i )), ses det, at på de positioner, der er sket fejl, da må det være Q 1, som giver nul. Polynomiet Q 1 (x) kaldes derfor for fejllokaliseringspolynomiet. Det er nu muligt at opstille en dekodningsalgoritme for RS-koder. Til dette formål defineres l 0 = n 1 t og l 1 = n 1 t (k 1). Algoritme 8 Input: Et modtaget ord r = (r 1,..., r n ). Hvis g(x) F q [x], så er Output : (g(x 1 ),..., g(x n )), 7

16 2. Reed-Solomon koder ellers Output : failure. 1. Løs det lineære ligningssystem: 1 x 1 x x l0 1 r 1 r 1 x 1... r 1 x l1 1 1 x 2 x x l0 2 r 2 r 2 x 2... r 2 x l x n x 2 n... x l0 n r n r n x n... r n x l1 n Q 0,0 Q 0,1 Q 0,2. Q 0,l0 Q 1,0 Q 1,1. = Q 1,l1 2. Sæt Q 0 (x) = Q 1 (x) = g(x) l 0 j=0 l 1 j=0 Q 0,j x j, Q 1,j x j, = Q 0(x) Q 1 (x). 2.3 Listedekodning af Reed-Solomon koder I forrige afsnit blev en dekodningsalgoritme for Reed-Solomon koder introduceret. Denne algoritme gjorde det muligt at rette op til og med t < d 2 fejl i et modtaget ord, og derved dekode til ét bestemt kodeord. I dette afsnit bestemmes en dekodningsalgoritme, som kan rette mere end d 2 fejl i et modtaget ord, hvilket muligvis vil resultere i, at der eksisterer mere end et kodeord, som det er muligt at dekode til. Deraf ordet listedekodning. 8

17 2.3. Listedekodning af Reed-Solomon koder Sudan listedekodning Lad r = c + e være et modtaget ord, og lad ω H (e) τ. Ideen er, som i forrige afsnit, at bestemme et polynomium i to variable. Vi ønsker at bestemme sådan, at Q(x, y) = Q 0 (x) + yq 1 (x) + y 2 Q 2 (x) + + y l Q l (x), 1. Q(x i, r i ) = 0, i = 1,...,n. 2. deg(q j (x)) n τ 1 j(k 1), j = 0, 1,..., l. 3. Q(x, y) 0. For at sikre at et sådant polynomium eksisterer, skal antallet af ubekendte overstige antallet af de n homogene lineære ligninger fra betingelse 1 ovenfor. De ubekendte er koefficienterne i Q(x, y), og antallet af disse er (n τ) + (n τ (k 1)) + + (n τ l(k 1)). (2.1) Udfra Gauss tællemetode giver dette Dermed bliver betingelsen, at hvilket er ækvivalent med (l + 1)(n τ) (l + 1)(n τ) l(l + 1)(k 1). 2 l(l + 1)(k 1) 2 > n, τ < n l l + 1 l (k 1). (2.2) 2 Det skal desuden sikres, at deg(q j (x)) er større end eller lig nul, da (2.1) i modsat fald ikke ville tælle antallet af koefficienter i Q(x, y). Da deg(q l (x)) er mindre end eller lig deg(q j (x)) for j = 1,...,l 1 er det nok, at (n τ) l(k 1) 0 9

18 2. Reed-Solomon koder eller ækvivalent, at τ n l(k 1). (2.3) Det vil sige, at hvis (2.2) og (2.3) er opfyldt, så eksisterer der et polynomium Q(x, y) som opfylder betingelserne 1-3 ovenfor. Lemma 9 Hvis Q(x, y) opfylder betingelserne 1-3, og c = (f(x 1 ),..., f(x n )), hvor deg(f(x)) < k, så gælder det, at (y f(x)) Q(x, y). Bevis: Betragt polynomiet Q(x, f(x)). Idet deg(f(x)) < k, så er deg(q j (x)(f(x)) j ) n τ 1, for alle j=1,..., l. Det vil sige, at Q(x, f(x)) højst har grad n τ 1. Da r i er forskellig fra f(x i ) på højst τ positioner, så er Q(x i, f(x i )) = 0 for mindst n τ x i er, ifølge betingelse 1. Dermed overstiger antallet af nulpunkter til Q(x, f(x)) graden af Q(x, f(x)), hvilket medfører, at Q(x, f(x)) er nulpolynomiet. Ved nu at betragte polynomiet Q(x, y) som et polynomium i y over F q [x], ses det, da Q(x, f(x)) = 0, at f(x) er rod i Q(x, y). Det vil sige, at (y f(x)) Q(x, y). Da f(x) genererer et kodeord, er det muligt at bestemme samtlige kodeord indenfor en afstand τ ved at finde alle faktorer til Q(x, y) på formen (y f(x)), hvor deg(f(x)) < k. Hvis τ > d 2, er det muligt at få en hel liste af kodeord. Dog kan der højst være l, da dette er graden af y. Det er nu muligt at opstille en algoritme til bestemmelse af en liste bestående af kodeord, som ligger indenfor en afstand τ fra et modtaget ord r. Algoritme 10 Input: Et modtaget ord r = (r 1,...,r n ), og et naturligt tal τ. Output: En liste af faktorer f(x), som opfylder, at d(f(x 1 ),..., f(x n ), (r 1,...,r n )) τ. 10

19 2.3. Listedekodning af Reed-Solomon koder 1. Løs det lineære ligningssystem, hvor l j = n τ 1 j(k 1): 2. Sæt r j l 0 r j j= rn j 1 x 1... x lj 1 1 x 2... x lj x n... x lj n Q j,0 Q j,1 Q j,2. Q j,lj = og Q j (x) = Q(x, y) = l j r=0 Q j,r x r l Q j (x)y j. j=0 3. Find samtlige faktorer (y f(x)) i Q(x, y), hvor deg(f(x)) < k. Det ønskes nu bestemt for hvilke hastigheder af koden denne dekodningsalgoritme er forbedret i forhold til den oprindelige dekodningsalgoritme for Reed- Solomon koder, beskrevet i Algoritme 8. Det vil sige, for hvilke hastigheder er det muligt for koden at rette mere end d 2 fejl. Vi deler denne analyse op i tre tilfælde: l = 1: Idet både (2.2) og (2.3) skal være opfyldt, er τ < n k+1 2 i dette tilfælde, og der er altså ingen forbedring i forhold til Algoritme 8. l = 2: Her får (2.2) og (2.3) henholdsvis udseendet τ < n 2 3 (k 1) og τ n 2(k 1). Ved nu at betragte τ = n 2 3 (k 1) og τ = n 2(k 1) som lineære i (k 1) kan vi sammenligne med τ = d 2 = n 2 k 1 2. Først bestemmes skæringspunktet mellem de tre rette linier til at være k 1 = n 3. Det ses desuden at de tre rette linier skærer τ-aksen i henholdsvis n 2 3, n og n 2. Det vil sige, at både (2.2) og (2.3) ligger over τ = d 2 for k 1 < n 3, se Figur 2.1. Altså er der sket en forbedring for hastigheder k n < n. 11

20 2. Reed-Solomon koder n 2n/3 τ τ = d/2 (2.3) (2.2) n/2 n/3 n/2 2n/3 n (k 1) Figur 2.1: Sammenligning af ligning (2.2) og (2.3) med τ = d 2 for l = 2. Idet (2.2) ligger under (2.3) for disse hastigheder, er det muligt at finde samtlige kodeord, som ligger i afstand τ væk fra det modtagne ord, for τ < n 2 3 (k 1). l > 2: Her benyttes samme strategi som for l = 2, hvor de tre udtryk betragtes som lineære i (k 1). Skæringspunkterne med τ-aksen er for henholdsvis (2.2), (2.3) og τ = d 2 lig n l l+1, n og n 2, hvilket vil sige, at indtil nogle af linierne skærer hinanden, så ligger (2.3) øverst og τ = d 2 nederst, idet l > 2. Skæringspunktet mellem τ = n l l+1 l 2 (k 1) og τ = n l(k 1) er ( ) 2 k 1 = n l 1, l + 1 skæringspunktet mellem τ = n l l+1 l 2 (k 1) og τ = d 2 er ( ) 1 k 1 = n, l

21 2.3. Listedekodning af Reed-Solomon koder og skæringspunktet mellem τ = n l(k 1) og τ = d 2 er ( ) 1 k 1 = n. 2l 1 Da l > 2 er n ( ) 2 l 1 l+1 ( < n 1 l+1 ), hvilket vil sige, at (2.2) og (2.3) skærer hinanden tidligere end τ = d 2 skærer (2.2). Da der derudover gælder, at (2.2) ligger over (2.3) efter skæring med denne, så vil τ = d 2 først skære (2.3) og derpå (2.2), se Figur 2.2. ( ) ( ) ( ) 2 Det vil sige, at n l l+1 < n 2l 1 < n l+1. Idet både betingelse (2.2) og τ n n( l l+1 ) τ = d/2 (2.3) (2.2) n/2 n( 2 l 1 l+1 ) n 2l 1 n l+1 n (k 1) Figur 2.2: Sammenligning af ligning (2.2) og (2.3) med τ = d 2 for l > 2. (2.3) skal være opfyldt, er der sket en forbedring med hensyn til størrelsen af τ i forhold til Algoritme 8 for hastigheder givet ved k n < 1 2l n. For hastigheder k n 2 l 1 l n kan samtlige kodeord, indenfor en afstand τ, τ < n l l (k 1), fra det modtagne ord bestemmes. Mens for hastigheder 2 l 1 l n < k n < 1 2l n skal det gælde, at τ n l(k 1). 13

22 2. Reed-Solomon koder Som det heraf ses, er der kun sket forbedringer, med hensyn til hvor mange fejl det er muligt at rette, for meget små hastigheder for koden, hvilket vi ønsker at forbedre yderligere i næste afsnit Guruswami og Sudan listedekodning Der vil i det følgende blive beskrevet en udvidelse af foregående afsnits listedekodning af RS-koder. Først defineres multiplicitet af rødder. Definition 11 (Multiplicitet af rødder) Lad Q(x, y) = k,j q k,jx k y j være et polynomium i F q [x, y]. Lad desuden (a, b) F 2 q og Q (x, y) = Q(x + a, y + b) = k,j q k,j xk y j. Hvis qk,j = 0 for k + j < s, hvor s er den største af sådanne værdier, så kaldes (a, b) en rod til Q(x, y) af multiplicitet s. Lad r = c + e være et modtaget ord, hvor ω H (e) τ, der søges da igen et interpolationspolynomium i to variable: sådan at Q(x, y) = Q 0 (x) + yq 1 (x) + y 2 Q 2 (x) + + y l Q l (x), 1. (x i, r i ), i = 1,...,n, er rødder af multiplicitet s. 2. deg(q j (x)) s(n τ) 1 j(k 1), j = 0, 1,..., l. 3. Q(x, y) 0. Igen skal antallet af koefficienter være større end antallet af homogene lineære ligninger, for at Q(x, y) eksisterer. Antallet af koefficienter er s(n τ) + s(n τ) (k 1) + + s(n τ) l(k 1) l(l + 1)(k 1) = s(l + 1)(n τ). 2 14

23 2.3. Listedekodning af Reed-Solomon koder For hvert (x i, r i ) er der, ifølge definitionen af multiplicitet, (s+1)2 (s+1) 2 = ( ) s+1 2 homogene lineære ligninger, og da der er n rødder af multiplicitet s, så er antallet af homogene lineære ligniger n ( ) s+1 2. Altså skal det være opfyldt, at ( ) s + 1 s(n τ) + s(n τ) (k 1) + + s(n τ) l(k 1) > n, 2 hvilket svarer til, at τ < n 2l s + 1 2(l + 1) l (k 1). (2.4) 2s Af samme argument som tidligere skal det sikres, at deg(q j (x)) er større end eller lig nul, eller at s(n τ) l(k 1) 0, hvilket er ækvivalent med l(k 1) τ n. (2.5) s Det vil sige, at hvis (2.4) og (2.5) samtidig er opfyldt, så eksisterer der et polynomium Q(x, y) som opfylder ovenstående tre betingelser. Der gælder nu følgende: Lemma 12 Hvis Q(x, y) opfylder betingelse 1-3 ovenfor og c = (f(x 1 ),..., f(x n )), hvor deg(f(x)) < k, så vil (y f(x)) Q(x, y). Bevis: Vi ved fra betingelse 1, at (x i, r i ), i = 1,...,n, er en rod til Q(x, y) med multiplicitet s. Dermed har vi, at Q(x, y) = Q (x x i, y r i ) = qk,j(x x i ) k (y r i ) j. k+j s Det vil sige, at Q(x, f(x)) = k+j s q k,j(x x i ) k (f(x) r i ) j. Betragt nu de tilfælde, hvor f(x i ) = r i, da er Q(x, f(x)) = qk,j (x x i) k (f(x) f(x i )) j, k+j s 15

24 2. Reed-Solomon koder og da x i er en rod heri, fås Q(x, f(x)) = k+j s q k,j(x x i ) k ((x x i )p i (x)) j, hvor p i (x) F q [x]. Idet k + j s kan ovenstående omskrives til k+j s hvor P(x) F q [x]. q k,j(x x i ) k ((x x i )p i (x)) j = (x x i ) s P(x), Det er nu muligt at bestemme antallet af rødder i Q(x, f(x)). Da f(x i ) = r i for mindst n τ i er, så har Q(x, f(x)) n τ s-dobbelte rødder. Det vil sige, at Q(x, f(x)) har mindst s(n τ) rødder. Graden af f er højst k 1, og dermed fremgår det af betingelse 2, at graden af Q(x, f(x)) højst er s(n τ) 1. Altså er deg(q(x, f(x))) < s(n τ), hvilket kun er muligt, hvis Q(x, f(x)) = 0. Dermed er f(x) rod i Q(x, y) og (y f(x)) Q(x, y). Alle kodeord i afstand τ fra det modtagne ord kan altså findes ved at bestemme faktorerne (y f(x)) til Q(x, y), hvor deg(f(x)) < k. Før en dekodningsalgoritme kan formuleres opskrives interpolationspolynomiet således: Q(x, y) = q k,j x k y j, k,j hvor q k,j 0, hvis j l og k s(n τ) 1 j(k 1). Dermed kan der foretages følgende omskrivning af Q (x, y) Q (x, y) = Q(x + x i, y + r i ) = q k,j (x + x i ) k (y + r i ) j k,j = ( ) ( ) k j q k,j x h xi k h y r r j r i h r k,j h,r = ( )( ) k j q k,j x k h i r j r i x h y r. h r h,r k h j r 16

25 2.3. Listedekodning af Reed-Solomon koder Algoritme 13 (Guruswami-Sudan) Input: Et modtaget ord r = (r 1,..., r n ), og naturlige tal τ og s. Output: En liste af faktorer f(x), som opfylder, at d(f(x 1 ),..., f(x n ), (r 1,...,r n )) τ. 1. Løs for q k,j systemet af lineære ligninger, hvor h + r < s, i = 1, 2,...,n og q k,j 0, hvis j l og k s(n τ) 1 j(k 1) = l j : ( )( ) k j q k,j x k h i r j r i = 0. h r 2. Sæt k h j r og l j Q j (x) = q k,j x k k=0 l Q(x, y) = Q j (x)y j. j=0 3. Find samtlige faktorer (y f(x)) i Q(x, y), hvor deg(f(x)) < k. Det ønskes også for denne algoritme bestemt, for hvilke hastigheder af koden denne er forbedret i forhold til dekodningsalgoritmen for Reed-Solomon koder, beskrevet i Algoritme 8. Så igen skal det afgøres for hvilke hastigheder det er muligt for koden at rette mere end d 2 fejl. Vi betragter nu τ = n 2l s+1 2(l+1) l l(k 1) 2s (k 1), τ = n s som lineære i (k 1). og τ = d 2 = n 2 k 1 2 Ved udelukkende at se på det tilfælde hvor s < l, vil disse tre liniers skæring med τ-aksen fordele sig således: n 2 < n2l s + 1 < n. 2(l + 1) 17

26 2. Reed-Solomon koder Som under Sudan listedekodning bestemmes skæringspunkterne mellem de tre linier. Skæringspunktet mellem τ = d s 2 og (2.4) er k 1 = n l+1, og skæringspunktet mellem τ = d s 2 og (2.5) er k 1 = n2l s, se Figur 2.3. τ n τ = d/2 (2.5) n(2l s+1) 2(l+1) (2.4) n/2 ns(s+1) l(l+1) ns 2l s ns l+1 n (k 1) Figur 2.3: Sammenligning af ligning (2.4) og (2.5) med τ = d 2 for s < l. Hvis s = l 1 er n s l+1 = n s 2l s, hvilket vil sige, at alle tre linier skærer hinanden i k 1 = n s l+1. Dette medfører, at der for hastigheder, k n < s l n er sket en forbedring således, at det er muligt for koden at rette mere end d 2 fejl. For disse hastigheder kan samtlige kodeord indenfor en afstand τ < n 2l s+1 2(l+1) l 2s (k 1) fra det modtagne ord bestemmes. Gælder det derimod, at s < l 1, så er n s l+1 > n s 2l s. Det vil sige, at τ = d 2 først skærer (2.5) og derpå (2.4), se Figur 2.3. Dermed er der sket en forbedring med hensyn til τ, i forhold til Algoritme 8, for hastigheder, k n < s 2l s + 1 n. Skæringspunktet mellem (2.4) og (2.5) er k 1 = n s(s+1) l(l+1). k Altså er det muligt for hastigheder, n s(s+1) l(l+1) + 1 n, at bestemme samtlige 18

27 2.3. Listedekodning af Reed-Solomon koder kodeord, indenfor en afstand τ, τ < n 2l s+1 2(l+1) l 2s Mens det for hastigheder s(s+1) l(l+1) + 1 n < k n < s 2l s + 1 n (k 1), fra det modtagne ord. skal gælde, at τ n l(k 1) s. Det ses desuden, at der er sket en forbedring med hensyn til størrelsen af hastighederne i forhold til Sudan listedekodning af RS-koder beskrevet i forrige afsnit, idet det nu er muligt at regulere på parameteren s. Det vil sige, at det ved hjælp af Algoritme 13 er muligt at rette mere end d 2 fejl i et modtaget ord for forholdsvis store hastigheder af Reed-Solomon koden. 19

28 2. Reed-Solomon koder 20

29 Kapitel 3 Bestemmelse af førstegradsfaktorer i Q(x,y) For at kunne benytte de to listedekodningsalgoritmer for Reed-Solomon koder, beskrevet i forrige kapitel, er det en forudsætning, at der kan bestemmes faktorer til interpolationspolynomiet på formen (y f(x)), hvor deg(f(x)) < k. At dette er muligt, vil der derfor blive gjort rede for igennem dette kapitel. Afsnit 3.1 er baseret på [7, Kapitel 3], mens hele Afsnit 3.2 er baseret på udvalgte dele af [3]. 3.1 Reducering af problem Problemet reduceres først til udelukkende at omhandle polynomier i én variabel. Til dette formål defineres det endelige legeme bestående af q k elementer E = F q k = F q [x]/ e(x), hvor e(x) er et irreducibelt polynomium i F q [x] af grad k. Herefter betragtes afbildningen ϕ: F q [x, y] E[y], givet ved: ( ) ϕ p i (x)y i = [p i (x)] E y i, (3.1) i i 21

30 3. Bestemmelse af førstegradsfaktorer i Q(x, y) hvor [p i (x)] E repræsenterer ækvivalensklasserne i E. Denne afbildning skal vises, at være en ringhomomorfi. Lemma 14 ϕ er en ringhomomorfi. Bevis: Det vises først, at ( N ) ( M N ) ( M ) ϕ p i (x)y i + q i (x)y i = ϕ p i (x)y i + ϕ q i (x)y i. i=0 i=0 Antages det, at M N så er i=0 i=0 i=0 i=0 N M M p i (x)y i + q i (x)y i = (p i (x) + q i (x))y i, hvor p i (x) = 0 for N + 1 i M. Altså gælder det, at ( N ) ( M M ) ϕ p i (x)y i + q i (x)y i = ϕ (p i (x) + q i (x))y i i=0 i=0 = = i=0 i=0 M [p i (x) + q i (x)] E y i i=0 M M [p i (x)] E y i + [q i (x)] E y i i=0 i=0 ( N ) ( M ) = ϕ p i (x)y i + ϕ q i (x)y i. Det vil sige ϕ er lukket under addition. For at ϕ er en ringhomomorfi skal det desuden gælde, at ϕ p i (x)y ( i q j (x)y j = ϕ p i (x)y )ϕ i q j (x)y j. i j i j Dette er opfyldt, idet: ϕ i p i (x)y i j q j (x)y j i=0 = ϕ i 22 i=0 p i (x)q j (x)y j y i j

31 3.1. Reducering af problem Da ϕ er en homomorfi med hensyn til addition, kan dette skrives som = i = i [p i (x)q j (x)] E y j y i j [p i (x)] E [q j (x)] E y j y i j = [p i (x)] E y i [q j (x)] E y j i j ( = ϕ p i (x)y )ϕ i q j (x)y j. i j Hermed er ϕ en ringhomomorfi. Dette lemma benyttes til at vise følgende sætning. Sætning 15 Hvis f(x, y) går op i Q(x, y), så går ϕ(f(x, y)) op i ϕ(q(x, y)). Bevis: Resultatet følger af Lemma 14, idet f(x, y) Q(x, y) Q(x, y) = f(x, y)g(x, y) ϕ(q(x, y)) = ϕ(f(x, y)g(x, y)) = ϕ(f(x, y))ϕ(g(x, y)) ϕ(f(x, y)) ϕ(q(x, y)), for et g(x, y) F q [x, y]. Korollar 16 Hvis (y f(x)) Q(x, y) så er y [f(x)] E en irreducibel faktor i ϕ(q(x, y)). Bevis: Hvis (y f(x)) Q(x, y), så er y [f(x)] E, ifølge Sætning 15, en faktor i ϕ(q(x, y)). Idet y [f(x)] E er af grad 1 er polynomiet irreducibelt. 23

32 3. Bestemmelse af førstegradsfaktorer i Q(x, y) Altså er det vist, at hvis Q(x, y) har en faktor på formen (y f(x)), så er (y [f(x)] E ) en irreducibel faktor af ϕ(q(x, y)), hvor deg([f(x)] E ) < k. Det vil sige, at hvis der er fundet en faktor (y [f(x)] E ) til ϕ(q(x, y)), så kan man ved indsættelse af roden, [f(x)] E, i Q(x, y) afgøre, hvorvidt denne også er rod hertil eller ej. Er dette tilfældet, har vi fundet en faktor til Q(x, y) på formen (y f(x)), hvor deg(f(x)) < k. Hermed er problemet reduceret til at bestemme førstegradsfaktorer i én variabel til ϕ(q(x, y)). 3.2 Bestemmelse af rødder til ϕ(q(x, y)) i E At bestemme rødderne til polynomiet ϕ(q(x, y)) E[y], i E, svarer netop til at bestemme alle førstegradsfaktorer i ϕ(q(x, y)) tilhørende E[y]. Idet y qk y = α E (y α), er foregående ækvivalent med at faktorisere gcd(yqk y, ϕ(q(x, y))) i irreducible faktorer. Til dette formål introduceres efterfølgende algoritmer. Algoritme 17 (Gentagen kvadrering) Input: a R, hvor R er en kommutativ ring, og n N. Output: a n R. 1. (Binær repræsentation af n) Skriv n = 2 k + n k 1 2 k n n 0, hvor alle n i {0, 1} b k := a 2. for i = k 1, k 2,...,0 do if n i = 1 then b i := b 2 i+1 a else b i := b 2 i+1 3. return b 0 Algoritme 17 virker, idet b i = a n 2 i, hvilket vises ved induktion i i. Basistrin: i = k. Ifølge algoritmen er b k = a, og udfra den binære repræsentation af n ses det, at n 2 k er lig 1. Dermed er b k = a = a n 2 k. Induktionshypotese: Det antages, at b 1 = a n 2. 24

33 3.2. Bestemmelse af rødder til ϕ(q(x, y)) i E Induktionstrin: i = 0. Ifølge algoritmen gælder det, at: { b 2 b 0 = 1 a for n 0 = 1 b 2 1 for n 0 = 0. Hermed følger det af induktionshypotesen, at: b 0 = { (a n 2 ) 2 a for n 0 = 1 (a n 2 ) 2 for n 0 = 0. Idet n 0 = 1 vil medføre, at n er ulige, og n 0 = 0 vil medføre, at n er lige, så er (a n 2 ) 2 a = a n = a n 2 0 og (a n 2 ) 2 = a n = a n 2 0. Hvormed det er vist, at b i = a n 2 i Der deles nu op i de to tilfælde, hvor karakteristikken af F q er ulige, og hvor karakteristikken af F q er lig to Equal degree spaltning -ulige karakteristik Før det er muligt at opstille en algoritme, der bestemmer faktorer til et polynomium bestående af irreducible faktorer af samme grad, introduceres følgende resultater. Lad i det efterfølgende R være et Euklidisk område. Lad desuden m 1,..., m r R være parvis primiske, og m = m 1 m r, hvormed m = lcm(m 1,..., m r ). Vi har da for 1 i r ring homomorfierne: χ i : R R/ m i, f f mod m i. Ved at kombinere disse ringhomomorfier for alle i, fås ringhomomorfien givet ved: χ = χ 1 χ r : R R/ m 1... R/ m r, f (f mod m 1,..., f mod m r ). Lemma 18 χ er en surjektiv afbildning, og kernen af χ er lig m. 25

34 3. Bestemmelse af førstegradsfaktorer i Q(x, y) Bevis: Lad f R. Dermed gælder det, at f kerχ χ(f) = (f mod m 1,...,f mod m r ) = (0,..., 0) m i f for 1 i r lcm(m 1,..., m r ) f m f. Heraf fås, at kerχ = m. For at bevise surjektivitet, skal det først vises, at der for 1 i r, eksisterer l i R, sådan at χ(l i ) = e i, hvor e i = (0,..., 0, 1, 0,..., 0) R/ m 1 R/ m r repræsenterer den i te enhedsvektor. For at indse, at dette er tilstrækkeligt, opskrives først et vilkårligt element i R/ m 1 R/ m r : hvor ṽ R. v = (ṽ mod m 1,..., ṽ mod m r ) R/ m 1 R/ m r, Hermed gælder det, idet χ er en ring homomorfi, at χ ṽl i = χ(ṽ)χ(l i ) 1 i r 1 i r = (ṽ mod m 1,..., ṽ mod m r ) e i 1 i r = (0,...,0, ṽ mod m i, 0,...,0) = v. 1 i r Idet v R/ m 1 R/ m r var vilkårligt valgt, er ethvert element i R/ m 1 R/ m r ramt af et element i R, hvorved χ er surjektiv. Det skal nu vises, at der eksisterer sådanne l i R. Antag, at i = 1. Ved at benytte den udvidede Euklids algoritme på m 2 m r = m m 1 og m 1, fås s, t R, således at s m m 1 + tm 1 = 1 = gcd( m m 1, m 1 ). Lad nu l 1 = s m m 1. Dermed er l 1 0 mod m i for 2 i r og l 1 = s m m 1 s m m 1 + tm 1 = 1 mod m 1. Altså er χ(l 1 ) = e 1 som ønsket. Hvormed lemmaet er bevist. 26

35 3.2. Bestemmelse af rødder til ϕ(q(x, y)) i E Herudfra følger nu den kinesiske restsætning. Korollar 19 (Kinesisk restsætning) Der gælder følgende ring isomorfi: R/ m = R/ m 1 R/ m r. Bevis: Ifølge Lemma 18 er χ en surjektiv afbildning fra R til R/ m 1 R/ m r, med kernen m. Dermed følger det af homomorfisætningen for ringe, [6, Theorem 1.40, side 14], at R/ m = R/ m 1 R/ m r. Det vi ønsker, er at bestemme de irreducible faktorer, f 1,..., f r F q [x], til et monisk polynomium f = f 1 f r F q [x], hvor deg f = n og deg f 1 = = deg f r = d, hvormed r = n d. I vores tilfælde er vi kun interesseret i førstegradsfaktorerne, og vi har derfor d = 1 og r = n. Det antages, at r 2, da f ellers selv ville være en irreducibel faktor af grad 1. Idet gcd(f i, f j ) = 1 for i j, fås ringhomomorfien fra den kinesiske restsætning, Korollar 19, χ: R = F q [x]/ f F q [x]/ f 1 F q [x]/ f n = R 1 R n. Da f i erne er irreducible for alle 1 i n, så er R i erne endelige legemer med q elementer. For ethvert a F q [x] gælder det, at a mod f R og χ(a mod f) = (a mod f 1,..., a mod f n ) = (χ 1 (a),..., χ n (a)), hvor χ i (a) = a mod f i R i. For a F q [x] og 1 i n gælder det, at f i går op i a hvis og kun hvis χ i (a) = 0. Det vil altså sige, at hvis χ i (a) = 0 for alle 1 i n, så er gcd(a, f) = lcm(f 1,...,f n ) = f, og hvis χ i (a) 0 for alle 1 i n, så er gcd(a, f) = 1. I tilfælde af, at vi har valgt et polynomium, a F q [x], deg(a) < n hvor gcd(a, f) = 1, ønsker vi at finde en procedure, som omdanner a til et polynomium α F q [x], hvor gcd(α, f) med stor sandsynlighed er en ikke-triviel faktor i f. For at beskrive en sådan procedure, betragtes først den stokastiske variable Y, som angiver et vilkårligt polynomium a F q [x]/ f med lige stor sandsynlighed. Det vil sige, at Y er ligefordelt på F q [x]/ f, hvormed sandsynligheden for 27

36 3. Bestemmelse af førstegradsfaktorer i Q(x, y) at udtage et element i F q [x]/ f er P(Y = a) = 1 q n. Det ønskes herefter bevist, at de stokastiske variable χ 1 (Y ),..., χ n (Y ) er uafhængige og ligefordelte på F q. Vi betragter derfor de marginale sandsynligheder P(χ 1 (Y ) = ã 1 ),..., P(χ n (Y ) = ã n ). Idet χ er en isomorfi og Y er ligefordelt på F n q. så er Det gælder da for ethvert 1 i n, at P(χ i (Y ) = ã i ) = P(χ(Y ) = (ã 1,...,ã n )) = 1 q n. (3.2) ã k R k, k {1...,i 1, i+1,...,n} = 1 q n qn 1 = 1 q, P(χ(Y ) = (ã 1,..., ã n )) og da R i består af q elementer, er χ i (Y ) ligefordelt på F q for alle 1 i n. Det skal nu vises, at χ 1 (Y ),...,χ n (Y ) er uafhængige på F q. Dette er tilfældet, hvis P(χ(Y ) = (ã 1,...,ã n )) = P(χ 1 (Y ) = ã 1 ) P(χ n (Y ) = ã n ). Da vi lige har vist, at χ 1 (Y ),..., χ n (Y ) alle er ligefordelte er P(χ 1 (Y ) = ã 1 ) P(χ n (Y ) = ã n ) = 1 q 1 q = 1 q n, og ved at sammenholde dette med (3.2) ses det, at χ 1 (Y ),..., χ n (Y ) er uafhængige stokastiske variable i R i = F q. I føromtalte procedure benyttes desuden følgende resultater: Lemma 20 Lad q være en primtalspotens, k en divisor i q 1 og S = {b k : b F q = F q\{0}}. Da gælder det, at 28

37 3.2. Bestemmelse af rødder til ϕ(q(x, y)) i E (i) S er en undergruppe af orden (q 1)/k. (ii) S = {a F q : a q 1 k = 1}. Bevis: S er billedet af gruppehomomorfien σ k : F q F q givet ved σ k (b) = b k, hvorved S, ifølge Sætning 92, er en multiplikativ undergruppe af F q. Kernen af σ k er: kerσ k = {a F q : σ k(a) = 1} = {a F q : ak = 1}. Da F q er et legeme, så har polynomiet x k 1 F q [x] højst k rødder i F q, hvormed #kerσ k k. Idet (b k ) q 1 k = b q 1 = 1 for alle b tilhørende F q, så er S kerσ (q 1)/k. Analogt til forklaringen ovenfor gælder det derfor, at #S #kerσ (q 1)/k q 1 k. Idet σ er en gruppehomomorfi, gælder det, ifølge Sætning 93, at ækvivalensklasserne i F q, er lige store. Dermed har vi, at q 1 = #F q = #kerσ k #im σ k = #kerσ k #S k q 1 k = q 1. Det må hermed gælde, at #kerσ k #S = k q 1 k, og altså er #kerσ k = k og #S = q 1 k. Da vi tidligere viste, at S kerσ (q 1)/k og #kerσ (q 1)/k q 1 k, så er S = {a F q : a q 1 k = 1}. Ved at sætte k = 2 fås følgende korollar: Korollar 21 Lad q være en primtalspotens, p r, med ulige karakteristik p, og S = {a F q : b F q, så a = b2 }, så er (i) S en undergruppe af orden (q 1)/2. (ii) og S = {a F q : a q 1 2 = 1}. (iii) a q 1 2 {1, 1} for alle a F q. Bevis: Punkt (i) og (ii) følger umiddelbart af Lemma 20 ved at erstatte k med 2. 29

38 3. Bestemmelse af førstegradsfaktorer i Q(x, y) Punkt (iii) følger af, at a q 1 2 er rod i x 2 1 = (x 1)(x + 1) for alle a F q. Antag nu, at q er ulige og lad e = q 1 2. Hvis a F q [x], med deg a < n, så gælder det, idet χ i erne er homomorfier, at χ i (a e ) = χ i (a) e = ε i R i. Eftersom χ i (Y ) erne er ligefordelte på R i erne, vil χ i (Y ) antage alle værdier på R i med lige stor sandsynlighed. Dermed er χ i (Y ) = 0 med sandsynlighed 1 q og sandsynligheden for at χ i (Y ) R i q 1 er q. Hvis χ i (a) = 0, er ε i = 0, men idet vi udelukkende vil koncentrere os om de tilfælde, hvor gcd(a, f) = 1, så betragter vi kun de situationer, hvor χ i (a) 0 for alle 1 i n, hvorved ε i {1, 1} ifølge Korollar 21. Dette korollar giver desuden, at ε i vil antage disse værdier lige ofte, hvilket er med sandsynlighed Betragt nu P(ε i = 1) = P(ε i = 1) = q 1 2q. χ(a e 1) = (ε 1 1,...,ε n 1). Det gælder hermed, at gcd(a e 1, f) er en ikke-triviel ) faktor for f medmindre n, ε 1 = = ε n. Dette sker med sandsynlighed 2 da χ1 (Y ),..., χ n (Y ) ( q 1 2q er uafhængige i F q. Altså har vi fundet en procedure, som omdanner a F q [x] til et polynomium α = a e 1 F q [x], således at gcd(α, f) er en ikke-triviel faktor for f med sandsynlighed 1 2 ( q 1 2q ) n > 1 2. Før algoritmen kan opstilles mangler vi nu kun at vise følgende lemma: Lemma 22 Lad f, p, r, h F q [x]. Hvis h = p remf, da er gcd(p r, f) = gcd(h r, f). Bevis: Det gælder, at h = p remf. Det vil sige, at p = qf +h, hvor q F q [x] og deg h < deg q. Dermed er p r = qf + (h r). 30

39 3.2. Bestemmelse af rødder til ϕ(q(x, y)) i E Antag, at d 1 = gcd(p r, f) og d 2 = gcd(h r, f). Dermed gælder det udfra ovenstående, at d 1 går op i h r og d 2 går op i p r. Da F q [x] er et entydigt faktoriseringsområde, gælder der, idet d 1 (h r) og d 1 f, at d 1 (gcd(h r, f) = d 2 ). Tilsvarende vil d 2 d 1, hvormed d 1 = d 2. I Algoritme 23 er p = a q 1 2, r = 1 og h = b. Algoritme 23 (Equal-degree spaltning) Input: Et kvadratfrit monisk polynomium f F q [x] af grad n > 0, med q = p r, hvor q har ulige karakteristik p, sådan at alle irreducible faktorer i f har grad 1. Output: En ikke-triviel monisk faktor g F q [x] i f eller failure. 1. Vælg a F q [x], hvor deg a < n, tilfældigt if a F q then return failure 2. g 1 := gcd(a, f) if g 1 1 then return g 1 else 3. call Algoritme 17 i R = F q [x]/ f for at beregne b = a q 1 2 remf 4. g 2 := gcd(b 1, f) if g 2 1 og g 2 f then return g 2 else return failure Sandsynligheden for at denne algoritme giver en ikke-triviel faktor for f er ( ( ) n ) q 1 P(E) > 1 2q 2, hvor P(E) er sandsynligheden ( ) for at algoritmen giver en ikke-triviel faktor for f n i trin 2, og 1 2 q 1 2q er sandsynligheden for at algorimen giver en ikke-triviel faktor for f i trin 4. Sandsynligheden for, at vores output bliver failure er ( ( ( ) n )) q 1 P(F) = 1 P(E) < 1 2q 2. Dermed bliver sandsynligheden for failure, efter at have gentaget algoritmen t gange, mindre end ( 1 2) t, idet valgene af polynomier i Fq [x] er uafhængige. 31

40 3. Bestemmelse af førstegradsfaktorer i Q(x, y) Equal degree spaltning -karakteristik 2 I forrige afsnit blev der opstillet en algoritme til at bestemme faktorer i et polynomium bestående af irreducible faktorer af samme grad, f = f 1 f n F q [x], hvor deg f i = deg f j = 1 for 1 i < j n. Denne algoritme virker kun i de tilfælde, hvor karakteristikken af legemet, F q, er ulige, så i dette afsnit vil vi opstille en algoritme, som kan benyttes når karakteristikken af legemet er 2. Princippet, for at opstille denne algoritme, er den samme som i forrige afsnit. Vi ønsker endnu engang at benytte den isomorfe afbildning χ : R R 1 R n, hvor R = F q [x]/ f, og R i = F q [x]/ f i, og χ(a mod f) = (χ 1 (a),..., χ n (a)) = (a mod f 1,..., a mod f n ), for a F q [x]. Er χ i (a) = 0, for a F q [x] og 1 i n, så er dette ækvivalent med, at polynomiet f i går op i a. Det vil sige, at hvis χ i (a) = 0 for alle i {1,...,n}, da er gcd(a, f) = f 1 f n = f. Gælder det derimod, at χ i (a) 0, for alle i {1,...,n}, så har polynomierne f og a ingen fælles ikke-trivielle faktorer. Hvis der er valgt et polynomium a F q [x] med deg(a) < k, hvor gcd(a, f) = 1, ønsker vi som tidligere at bestemme en procedure, som omdanner polynomiet a til et polynomium α, hvor største fællesdivisor mellem f og α med stor sandsynlighed ikke er en triviel faktor i f. Vi ønsker at bestemme en funktion, T, sådan, at 1. T(c) F 2 for alle c R i = F q = F 2 r. 2. Elementerne 0 og 1 bliver ramt lige mange gange af T(c), for c F q = R i. Det vil sige, at der er 2 r 1 c er, som rammer 0, og 2 r 1 c er, der rammer 1. Det skal nu vises, at trace afbildningen, givet som i Definition 45, hvor c tilhører F 2 r = F q, opfylder de to betingelser. 32

41 3.2. Bestemmelse af rødder til ϕ(q(x, y)) i E Det vil sige, at vi har afbildningen Tr Fq/F 2 (x) = x 2r 1 + x 2r x 2 + x, Der gælder da, ifølge Lemma 80, og da vi regner over F 2 r, at Tr Fq/F 2 (x)(tr Fq/F 2 (x) + 1) = Tr 2 F q/f 2 (x) +Tr Fq/F 2 (x) = x 2r x. Udfra kommentaren efter Lemma 79 er rødderne til x 2r x alle elementerne i F 2 r, og hermed er alle c er tilhørende F q rod i enten Tr Fq/F 2 (x) eller Tr Fq/F 2 (x) + 1. Dette vil sige, at Tr Fq/F 2 (c) = 0 eller Tr Fq/F 2 (c) = 1, hvormed punkt 1 er vist. Punkt 2 er opfyldt, idet alle c F q er rod i enten Tr Fq/F 2 (x) eller Tr Fq/F 2 (x)+1, og deg(tr Fq/F 2 (x)) = deg(tr Fq/F 2 (x) + 1) = 2 r 1. Hermed må der være 2 r 1 c er, som rammer 0, og ligeledes 2 r 1 c er, der rammer 1. Der gøres i Afsnit 5.1 rede for, at disse to punkter er opfyldt for en vilkårlig traceafbildning givet ved Tr Fq m/f q (x) = x qm 1 + x qm x q + x. Altså vises det, at billedet af Tr Fq m/f q (x) er F q, og at disse q elementer rammes lige ofte. Lad a tilhøre F q [x], så er χ(tr Fq/F 2 (a) mod f) = (χ 1 (Tr Fq/F 2 (a)),..., χ n (Tr Fq/F 2 (a))). Idet χ i, for alle i {1,..., n}, er en homomorfi gælder følgende: χ i (Tr Fq/F 2 (a)) = χ i (a 2r 1 + a 2r a 2 + a) = χ i (a 2r 1 ) + χ i (a 2r 2 ) + + χ i (a) = (χ i (a)) 2r 1 + (χ i (a)) 2r χ i (a) = Tr Fq/F 2 (χ i (a)), og da χ i (a), for a F q [x], tilhører R i = F q, så vil (Tr Fq/F 2 (χ i (a)) {0, 1}. Herved vil n-tuplen (χ 1 (Tr Fq/F 2 (a)),..., χ n (Tr Fq/F 2 (a))) bestå af 0 eller 1 på hver plads. 33

42 3. Bestemmelse af førstegradsfaktorer i Q(x, y) Hvis ikke der tages højde for, at gcd(a, f) = 1, så vil χ i (Tr Fq/F 2 (a)) antage værdierne 0 og 1 med sandsynlighed en halv hver. Dette følger af punkt 2 samt af, at de stokastiske variable χ 1 (Y ),...,χ n (Y ) er ligefordelte i F q, hvilket blev vist i forrige afsnit. Endvidere blev det vist, at de stokastiske variable χ 1 (Y ),..., χ n (Y ) er uafhængige, hvormed sandsynligheden for, at alle pladser i n-tuplen har samme værdi er 2( 1 2 )n. Det er nu muligt at opstille en algoritme til at bestemme en ikke-triviel faktor i polynomiet f = f 1 f n F q [x], hvor f i er irreducibel og af grad 1 når F q = F 2 r. I Algoritmens punkt 3 og 4 benyttes Lemma 22 endnu engang. Algoritme 24 (Equal-degree spaltning) Input: Et kvadratfrit monisk polynomium f F q [x] af grad n > 0, hvor q = 2 r, sådan at alle irreducible faktorer i f har grad 1. Output: En ikke-triviel monisk faktor g F q [x] i f eller failure. 1. Vælg a F q [x], hvor deg a < n, tilfældigt if a F q then return failure 2. g 1 := gcd(a, f) if g 1 1 then return g 1 else 3. call Algoritme 17 i R = Fq [x]/ f gentagne gange for at beregne b = Tr Fq/F 2 (a)remf 4. g 2 := gcd(b, f) if g 2 1 og g 2 f then return g 2 else return failure Sandsynligheden for, at algoritmen giver en ikke-triviel faktor er ( ( ) n ) 1 P(E) + P(E) > P(E) > 1 2 2, hvor P(E) er sandsynligheden for, at algoritmen giver en ikke-triviel faktor i trin 2, og P(E) er sandsynligheden for, at algoritmen giver en ikke-triviel faktor i trin 4. 34

43 3.2. Bestemmelse af rødder til ϕ(q(x, y)) i E Igen er sandsynligheden for at få failure i vores output P(F) = 1 ( P(E) + P(E) ) ( < 1 P(E) + ( 1 2 ( ) n )) 1 < Sandsynligheden for failure efter at have kaldt algoritmen t gange er dermed mindre end ( 1 2) t, idet valgene af polynomier igen er uafhængige Bestemmelse af rødder I de to foregående afsnit fandt vi ikke-trivielle faktorer til et polynomium bestående af et produkt af irreducible faktorer af grad 1. I dette afsnit ønsker vi at faktorisere disse ikke-trivielle faktorer til de irreducible faktorer. Algoritme 25 (Equal-degree faktorisering) Input: Et kvadratfrit monisk polynomium f F q [x] af grad n > 0, sådan at alle irreducible faktorer af f har grad 1. Output: De moniske irreducible faktorer af f tilhørende F q [x]. 1. if n = 1 then return f else 2. if q har ulige karakteristik then call Algoritme 23 med f som input indtil der returneres en ikke-triviel faktor g F q [x] af f 3. else call Algoritme 24 med f som input indtil der returneres en ikke-triviel faktor g F q [x] af f 4. call algoritmen rekursivt med input g og input f g return resultatet af de to rekursive kald Denne algoritme vil stoppe når graden af alle vores input er lig graden af de irreducible faktorer. I efterfølgende algoritme kan inputtet være et hvilket som helst polynomium, som det derpå er muligt, at bestemme de irreducible lineære faktorer til. Algoritme 26 (Bestemmelse af rødder over endelige legemer) Input: Et ikke-konstant polynomium f F q [x]. Output: De forskellige rødder til f i F q. 35

44 3. Bestemmelse af førstegradsfaktorer i Q(x, y) 1. call Algoritme 17 i R = F q [x]/ f til at bestemme h = x q remf 2. g := gcd(h x, f), r := deg g if r = 0 then return else 3. call Algoritme 25 til at bestemme de irreducible faktorer x u 1,..., x u r af g 4. return u 1,...,u r Trin 2 giver et kvadratfrit polynomium, hvorved det er tilladt at kalde Algoritme 25 i trin 3. Gyldigheden af algoritmen følger da af Algoritme 17, Algoritme 25 og Lemma 22, samt af, at det at bestemme lineære faktorer, tilhørende F q [x], i f svarer til at faktorisere gcd(x q x, f), idet x q x = u i F q (x u i ). For at bestemme de lineære faktorer til Q(x, y) på formen y f(x), hvor deg(f(x)) < k, bestemmes altså først rødderne i E til ϕ(q(x, y)) ved hjælp af Algoritme 26, hvor inputtet er ϕ(q(x, y)) E[y]. Herefter indsættes disse rødder i interpolationspolynomiet, Q(x, y), for at afgøre om de også er rødder hertil. 36

45 Kapitel 4 Gröbner basis teori Formålet med dette kapitel er at få defineret Gröbner baser og beskrive nogle af disses egenskaber, da dette ligger til grund for nogle af de resultater, vi senere får brug for. Først kræves dog nogle indledende definitioner og resultater, såsom Dicksons lemma og Hilberts basis sætning. Vi vil gennem resten af rapporten lade K betegne et vilkårligt legeme, med mindre andet er antaget. Kapitlet er baseret på [2, Kapitel 2]. 4.1 Dicksons lemma Dette afsnit vil belyse monomielle idealer, og i Dicksons lemma vil det blive vist, at et monomielt ideal er endeligt genereret. Definition 27 (Monomielt ideal) Et ideal I K[x 1,..., x n ] er et monomielt ideal, hvis der er en delmængde A N n 0, sådan at I består af alle polynomier, som er endelige summer på formen α A h αx α, hvor x α = x α1 1 xαn n, α i 0, og h α K[x 1,...,x n ]. I dette tilfælde skrives I = x α : α A. 37

46 4. Gröbner basis teori Ved at benytte følgende lemma kan det afgøres, hvorvidt et monomium tilhører et monomielt ideal. Lemma 28 Lad I = x α : α A være et monomielt ideal. Et monomium, x β, ligger i I hvis og kun hvis x β er divisibel med x α for et α A. Bevis: Hvis x β er divisibel med x α for et α A, så gælder det, at x β = hx α, hvor h K[x 1,..., x n ]. Så pr. definition af et ideal vil x β I. Hvis x β I, så er x β = s i=1 h ix α(i), hvor h i K[x 1,..., x n ] og α(i) A. Ved at skrive h i som en linearkombination af monomier, ses det, at ethvert led på højresiden er divisibelt med et eller andet x α(i). Da venstresiden kun består af ét monomium vil leddene på højresiden ophæve hinanden således, at kun et enkelt monomium er tilbage. Da der specielt gælder for dette monomium, at det er divisibelt med et x α(i), vil x β være divisibelt med dette x α(i). Næste lemma viser, at man kan afgøre om et polynomium f tilhører I, ved at afgøre om de monomier, som f består af, tilhører I. Lemma 29 Lad I være et monomielt ideal, og f K[x 1,...,x n ]. Så er følgende ækvivalent: (i) f I. (ii) Ethvert led i f tilhører I. (iii) f er en linearkombination af monomierne i I, hvor koefficienterne tilhører K. Bevis: (iii) (ii): Da f er en linearkombination af monomierne i I med koefficienter i K, vil ethvert led i f tilhøre I, da dette netop er et krav for at være et ideal. (ii) (i): Ethvert led i f tilhører I, og pr. definition af et ideal, så tilhører summen også I. 38

NTP-koder. - deres egenskaber og dekodning. INSTITUT FOR MATEMATISKE FAG Aalborg Universitet Fredrik Bajers vej 7G 9220 Aalborg Øst

NTP-koder. - deres egenskaber og dekodning. INSTITUT FOR MATEMATISKE FAG Aalborg Universitet Fredrik Bajers vej 7G 9220 Aalborg Øst NTP-koder - deres egenskaber og dekodning af Elisabeth Kuhr Rasmussen Marts 2005 INSTITUT FOR MATEMATISKE FAG Aalborg Universitet Fredrik Bajers vej 7G 9220 Aalborg Øst Institut for Matematiske Fag Aalborg

Læs mere

MM05 - Kogt ned. kokken. Jacob Aae Mikkelsen. 23. januar 2007

MM05 - Kogt ned. kokken. Jacob Aae Mikkelsen. 23. januar 2007 MM05 - Kogt ned Jacob Aae Mikkelsen kokken 23. januar 2007 1 INDHOLD 1 ARITMETIK I Z Indhold 1 Aritmetik i Z 2 2 Kongruens i Z 4 3 Ringe 6 4 Aritmetik i F[x] 9 5 Kongruens i F[x] og kongruensklasse aritmetik

Læs mere

Fejlkorrigerende koder, secret sharing (og kryptografi)

Fejlkorrigerende koder, secret sharing (og kryptografi) Fejlkorrigerende koder, secret sharing (og kryptografi) Olav Geil Afdeling for Matematiske Fag Aalborg Universitet Møde for Matematiklærere i Viborg og Ringkøbing amter 7. november, 2006 Oversigt Fejlkorrigerende

Læs mere

Polynomier. Indhold. Georg Mohr-Konkurrencen. 1 Polynomier 2. 2 Polynomiumsdivision 4. 3 Algebraens fundamentalsætning og rødder 6

Polynomier. Indhold. Georg Mohr-Konkurrencen. 1 Polynomier 2. 2 Polynomiumsdivision 4. 3 Algebraens fundamentalsætning og rødder 6 Indhold 1 Polynomier 2 Polynomier 2 Polynomiumsdivision 4 3 Algebraens fundamentalsætning og rødder 6 4 Koefficienter 8 5 Polynomier med heltallige koefficienter 9 6 Mere om polynomier med heltallige koefficienter

Læs mere

Fejlkorligerende køder Fejlkorrigerende koder

Fejlkorligerende køder Fejlkorrigerende koder Fejlkorligerende køder Fejlkorrigerende koder Olav Geil Skal man sende en fødselsdagsgave til fætter Børge, så pakker man den godt ind i håb om, at kun indpakningen er beskadiget ved modtagelsen. Noget

Læs mere

Affine rum. a 1 u 1 + a 2 u 2 + a 3 u 3 = a 1 u 1 + (1 a 1 )( u 2 + a 3. + a 3. u 3 ) 1 a 1. Da a 2

Affine rum. a 1 u 1 + a 2 u 2 + a 3 u 3 = a 1 u 1 + (1 a 1 )( u 2 + a 3. + a 3. u 3 ) 1 a 1. Da a 2 Affine rum I denne note behandles kun rum over R. Alt kan imidlertid gennemføres på samme måde over C eller ethvert andet legeme. Et underrum U R n er karakteriseret ved at det er en delmængde som er lukket

Læs mere

Chapter 3. Modulpakke 3: Egenværdier. 3.1 Indledning

Chapter 3. Modulpakke 3: Egenværdier. 3.1 Indledning Chapter 3 Modulpakke 3: Egenværdier 3.1 Indledning En vektor v har som bekendt både størrelse og retning. Hvis man ganger vektoren fra højre på en kvadratisk matrix A bliver resultatet en ny vektor. Hvis

Læs mere

Jeg foretager her en kort indføring af polynomier over såvel de reelle som

Jeg foretager her en kort indføring af polynomier over såvel de reelle som Polynomier, rødder og division Sebastian Ørsted 20. november 2016 Jeg foretager her en kort indføring af polynomier over såvel de reelle som de komplekse tal, hvor fokus er på at opbygge værktøjer til

Læs mere

1 Sætninger om hovedidealområder (PID) og faktorielle

1 Sætninger om hovedidealområder (PID) og faktorielle 1 Sætninger om hovedidealområder (PID) og faktorielle ringe (UFD) 1. Introducér ideal, hovedideal 2. I kommutativt integritetsområde R introduceres primelement, irreducibelt element, association 3. Begrebet

Læs mere

Kalkulus 2 - Grænseovergange, Kontinuitet og Følger

Kalkulus 2 - Grænseovergange, Kontinuitet og Følger Kalkulus - Grænseovergange, Kontinuitet og Følger Mads Friis 8. januar 05 Indhold Grundlæggende uligheder Grænseovergange 3 3 Kontinuitet 9 4 Følger 0 5 Perspektivering 4 Grundlæggende uligheder Sætning

Læs mere

Noter om polynomier, Kirsten Rosenkilde, Marts Polynomier

Noter om polynomier, Kirsten Rosenkilde, Marts Polynomier Noter om polynomier, Kirsten Rosenkilde, Marts 2006 1 Polynomier Disse noter giver en kort introduktion til polynomier, og de fleste sætninger nævnes uden bevis. Undervejs er der forholdsvis nemme opgaver,

Læs mere

2. Gruppen af primiske restklasser.

2. Gruppen af primiske restklasser. Primiske restklasser 2.1 2. Gruppen af primiske restklasser. (2.1) Setup. I det følgende betegner n et naturligt tal større end 1. Den additive gruppe af restklasser modulo n betegnes Z/n, og den multiplikative

Læs mere

6. december. Motivation. Internettet: Login til DIKU (med password) Handel med dankort Fortrolig besked Digital signatur

6. december. Motivation. Internettet: Login til DIKU (med password) Handel med dankort Fortrolig besked Digital signatur 6. december Talteoretiske algoritmer, RSA kryptosystemet, Primtalstest Motivation Definitioner Euclids algoritme Udvidet Euclid RSA kryptosystemet Randominserede algoritmer Rabin-Miller primtalstest Svært

Læs mere

Vi indleder med at minde om at ( a) = a gælder i enhver gruppe.

Vi indleder med at minde om at ( a) = a gælder i enhver gruppe. 0.1: Ringe 1. Definition: Ring En algebraisk struktur (R, +,, 0,, 1) kaldes en ring hvis (R, +,, 0) er en kommutativ gruppe og (R,, 1) er en monoide og hvis er såvel venstre som højredistributiv mht +.

Læs mere

Polynomium Et polynomium. Nulpolynomiet Nulpolynomiet er funktionen der er konstant nul, dvs. P(x) = 0, og dets grad sættes per definition til.

Polynomium Et polynomium. Nulpolynomiet Nulpolynomiet er funktionen der er konstant nul, dvs. P(x) = 0, og dets grad sættes per definition til. Polynomier Polynomier Polynomium Et polynomium P(x) = a n x n + a n x n +... + a x + a 0 Disse noter giver en introduktion til polynomier, centrale sætninger om polynomiumsdivision, rødder og koefficienter

Læs mere

Fejlkorligerende køder Fejlkorrigerende koder

Fejlkorligerende køder Fejlkorrigerende koder Fejlkorligerende køder Fejlkorrigerende koder Olav Geil Skal man sende en fødselsdagsgave til fætter Børge, så pakker man den godt ind i håb om, at kun indpakningen er beskadiget ved modtagelsen. Noget

Læs mere

Secret sharing - om at dele en hemmelighed Matematiklærerdag 2017

Secret sharing - om at dele en hemmelighed Matematiklærerdag 2017 Matematiklærerdag 2017 Institut for Matematik, Aarhus universitet 24. marts 2017 Resumé Secret sharing henviser til metoder til fordeling af en hemmelighed blandt en gruppe af deltagere, som hver især

Læs mere

t a l e n t c a m p d k Talteori Anne Ryelund Anders Friis 16. juli 2014 Slide 1/36

t a l e n t c a m p d k Talteori Anne Ryelund Anders Friis 16. juli 2014 Slide 1/36 Slide 1/36 sfaktorisering Indhold 1 2 sfaktorisering 3 4 5 Slide 2/36 sfaktorisering Indhold 1 2 sfaktorisering 3 4 5 Slide 3/36 1) Hvad er Taleteori? sfaktorisering Slide 4/36 sfaktorisering 1) Hvad er

Læs mere

Projekt 3.5 faktorisering af polynomier

Projekt 3.5 faktorisering af polynomier Projekt 3.5 faktorisering af polynomier Hvilke hele tal går op i tallet 60? Det kan vi få svar på ved at skrive 60 som et produkt af sine primtal: 60 3 5 Divisorerne i 60 er lige præcis de tal, der kan

Læs mere

Matematik 2AL, vinteren

Matematik 2AL, vinteren EO 1 Matematik 2AL, vinteren 2002 03 Det er tilladt at skrive med blyant og benytte viskelæder, så længe skriften er læselig, og udviskninger foretages grundigt. Overstregning trækker ikke ned og anbefales

Læs mere

Algebra - Teori og problemløsning

Algebra - Teori og problemløsning Algebra - Teori og problemløsning, januar 05, Kirsten Rosenkilde. Algebra - Teori og problemløsning Kapitel -3 giver en grundlæggende introduktion til at omskrive udtryk, faktorisere og løse ligningssystemer.

Læs mere

Analyse 2. Gennemgå bevis for Sætning Supplerende opgave 1. Øvelser. Sætning 1. For alle mængder X gælder #X < #P(X).

Analyse 2. Gennemgå bevis for Sætning Supplerende opgave 1. Øvelser. Sætning 1. For alle mængder X gælder #X < #P(X). Analyse 2 Øvelser Rasmus Sylvester Bryder 3. og 6. september 2013 Gennemgå bevis for Sætning 2.10 Sætning 1. For alle mængder X gælder #X < #P(X). Bevis. Der findes en injektion X P(X), fx givet ved x

Læs mere

Mordell s Sætning. Henrik Christensen og Michael Pedersen. 17. december 2003

Mordell s Sætning. Henrik Christensen og Michael Pedersen. 17. december 2003 Mordell s Sætning Henrik Christensen og Michael Pedersen 17. december 2003 Mordells sætning siger at gruppen C(Q) af rationale punkter over en ellipse C er en endeligt frembragt abelsk gruppe. Elliptiske

Læs mere

Taylors formel. Kapitel Klassiske sætninger i en dimension

Taylors formel. Kapitel Klassiske sætninger i en dimension Kapitel 3 Taylors formel 3.1 Klassiske sætninger i en dimension Sætning 3.1 (Rolles sætning) Lad f : [a, b] R være kontinuert, og antag at f er differentiabel i det åbne interval (a, b). Hvis f (a) = f

Læs mere

Lineære differentialligningers karakter og lineære 1. ordens differentialligninger

Lineære differentialligningers karakter og lineære 1. ordens differentialligninger enote 11 1 enote 11 Lineære differentialligningers karakter og lineære 1. ordens differentialligninger I denne note introduceres lineære differentialligninger, som er en speciel (og bekvem) form for differentialligninger.

Læs mere

Noter om Komplekse Vektorrum, Funktionsrum og Differentialligninger LinAlg 2004/05-Version af 16. Dec.

Noter om Komplekse Vektorrum, Funktionsrum og Differentialligninger LinAlg 2004/05-Version af 16. Dec. Noter om Komplekse Vektorrum, Funktionsrum og Differentialligninger LinAlg 2004/05-Version af 16. Dec. 1 Komplekse vektorrum I defininitionen af vektorrum i Afsnit 4.1 i Niels Vigand Pedersen Lineær Algebra

Læs mere

DiMS 2010 Uge 7,

DiMS 2010 Uge 7, DiMS 2010 Uge 7, 18.10.10 24.10.10 Læsevejledning Emnerne i denne uge er polynomier og komplekse tal. De kan ikke siges at henhøre under diskret matematik som sådan og er ikke dækket af KBR, så vi skal

Læs mere

K 7 - og K 4,4 -minors i grafer

K 7 - og K 4,4 -minors i grafer Aalborg Universitet Det Teknisk-Naturvidenskabelige Fakultet Institut for Matematiske Fag K 7 - og K 4,4 -minors i grafer Aalborg Universitet Det Teknisk-Naturvidenskabelige Fakultet Institut for Matematiske

Læs mere

Lineære 1. ordens differentialligningssystemer

Lineære 1. ordens differentialligningssystemer enote enote Lineære ordens differentialligningssystemer Denne enote beskriver ordens differentialligningssystemer og viser, hvordan de kan løses enoten er i forlængelse af enote, der beskriver lineære

Læs mere

= λ([ x, y)) + λ((y, x]) = ( y ( x)) + (x y) = 2(x y).

= λ([ x, y)) + λ((y, x]) = ( y ( x)) + (x y) = 2(x y). Analyse 2 Øvelser Rasmus Sylvester Bryder 17. og 20. september 2013 Supplerende opgave 1 Lad λ være Lebesgue-målet på R og lad A B(R). Definér en funktion f : [0, ) R ved f(x) = λ(a [ x, x]). Vis, at f(x)

Læs mere

TALTEORI Wilsons sætning og Euler-Fermats sætning.

TALTEORI Wilsons sætning og Euler-Fermats sætning. Wilsons sætning og Euler-Fermats sætning, oktober 2008, Kirsten Rosenkilde 1 TALTEORI Wilsons sætning og Euler-Fermats sætning. Disse noter forudsætter et grundlæggende kendskab til talteori som man kan

Læs mere

DesignMat Den komplekse eksponentialfunktion og polynomier

DesignMat Den komplekse eksponentialfunktion og polynomier DesignMat Den komplekse eksponentialfunktion og polynomier Preben Alsholm Uge 8 Forår 010 1 Den komplekse eksponentialfunktion 1.1 Definitionen Definitionen Den velkendte eksponentialfunktion x e x vil

Læs mere

DesignMat Uge 1 Gensyn med forårets stof

DesignMat Uge 1 Gensyn med forårets stof DesignMat Uge 1 Gensyn med forårets stof Preben Alsholm Efterår 2010 1 Hovedpunkter fra forårets pensum 11 Taylorpolynomium Taylorpolynomium Det n te Taylorpolynomium for f med udviklingspunkt x 0 : P

Læs mere

Matematisk modellering og numeriske metoder. Lektion 5

Matematisk modellering og numeriske metoder. Lektion 5 Matematisk modellering og numeriske metoder Lektion 5 Morten Grud Rasmussen 19. september, 2013 1 Euler-Cauchy-ligninger [Bogens afsnit 2.5, side 71] 1.1 De tre typer af Euler-Cauchy-ligninger Efter at

Læs mere

DM517:Supplerende noter om uafgørlighedsbeviser:

DM517:Supplerende noter om uafgørlighedsbeviser: DM517:Supplerende noter om uafgørlighedsbeviser: Jørgen Bang-Jensen October 9, 2013 Abstract Formålet med denne note er at give en form for kogebogsopskrift på, hvorledes man bygger et uafgørlighedsbevis

Læs mere

Noter til Perspektiver i Matematikken

Noter til Perspektiver i Matematikken Noter til Perspektiver i Matematikken Henrik Stetkær 25. august 2003 1 Indledning I dette kursus (Perspektiver i Matematikken) skal vi studere de hele tal og deres egenskaber. Vi lader Z betegne mængden

Læs mere

3.1 Baser og dimension

3.1 Baser og dimension SEKTION 3 BASER OG DIMENSION 3 Baser og dimension Definition 3 Lad V være et F-vektorrum Hvis V = {0}, så har V dimension 0 2 Hvis V har en basis bestående af n vektorer, så har V dimension n 3 Hvis V

Læs mere

Teoretiske Øvelsesopgaver:

Teoretiske Øvelsesopgaver: Teoretiske Øvelsesopgaver: TØ-Opgave 1 Subtraktion division i legemer: Er subtraktion division med elementer 0 i legemer veldefinerede, eller kan et element b have mere end ét modsat element -b eller mere

Læs mere

qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui Polynomier opåasdfghjklæøzxcvbnmqwertyuiopå

qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui Polynomier opåasdfghjklæøzxcvbnmqwertyuiopå qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui Polynomier opåasdfghjklæøzxcvbnmqwertyuiopå Kort gennemgang af polynomier og deres egenskaber. asdfghjklæøzxcvbnmqwertyuiopåasd

Læs mere

Talteori. Teori og problemløsning. Indhold. Talteori - Teori og problemløsning, august 2013, Kirsten Rosenkilde.

Talteori. Teori og problemløsning. Indhold. Talteori - Teori og problemløsning, august 2013, Kirsten Rosenkilde. Indhold 1 Delelighed, primtal og primfaktoropløsning Omskrivning vha. kvadratsætninger 4 3 Antal divisorer 6 4 Største fælles divisor og Euklids algoritme 7 5 Restklasser 9 6 Restklasseregning og kvadratiske

Læs mere

Lineær Algebra, TØ, hold MA3

Lineær Algebra, TØ, hold MA3 Lineær Algebra, TØ, hold MA3 Lad mig allerførst (igen) bemærke at et vi siger: En matrix, matricen, matricer, matricerne. Og i sammensætninger: matrix- fx matrixmultiplikation. Injektivitet og surjektivitet

Læs mere

qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui opåasdfghjklæøzxcvbnmqwertyuiopå

qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui opåasdfghjklæøzxcvbnmqwertyuiopå qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui opåasdfghjklæøzxcvbnmqwertyuiopå Polynomier Kort gennemgang af polynomier og deres asdfghjklæøzxcvbnmqwertyuiopåasd

Læs mere

Reeksamen 2014/2015 Mål- og integralteori

Reeksamen 2014/2015 Mål- og integralteori Reeksamen 4/5 Mål- og integralteori Københavns Universitet Institut for Matematiske Fag Formalia Eksamensopgaven består af 4 opgaver med ialt spørgsmål. Ved bedømmelsen indgår de spørgsmål med samme vægt.

Læs mere

Lineære 1. ordens differentialligningssystemer

Lineære 1. ordens differentialligningssystemer enote enote Lineære ordens differentialligningssystemer Denne enote beskriver ordens differentialligningssystemer og viser, hvordan de kan løses enoten er i forlængelse af enote, der beskriver lineære

Læs mere

Note om endelige legemer

Note om endelige legemer Note om endelige legemer Leif K. Jørgensen 1 Legemer af primtalsorden Vi har i Lauritzen afsnit 2.1.1 set følgende: Proposition 1 Lad n være et positivt helt tal. Vi kan da definere en komposition + på

Læs mere

Ringe og Primfaktorisering

Ringe og Primfaktorisering Ringe og Primfaktorisering Michael Knudsen 16. marts 2005 1 Ringe Lad Z betegne mængden af de hele tal, Z = {..., 2, 1,0,1,2,...}. På Z har to regneoperationer, + (plus) og (gange), der til to hele tal

Læs mere

Opgave 1 Regning med rest

Opgave 1 Regning med rest Den digitale signatur - anvendt talteori og kryptologi Opgave 1 Regning med rest Den positive rest, man får, når et helt tal a divideres med et naturligt tal n, betegnes rest(a,n ) Hvis r = rest(a,n) kan

Læs mere

Eksempel på den aksiomatisk deduktive metode

Eksempel på den aksiomatisk deduktive metode Eksempel på den aksiomatisk deduktive metode Et rigtig godt eksempel på et aksiomatisk deduktivt system er Euklids Elementer. Euklid var græker og skrev Elemeterne omkring 300 f.kr. Værket består af 13

Læs mere

Lineære 1. ordens differentialligningssystemer

Lineære 1. ordens differentialligningssystemer enote 7 enote 7 Lineære ordens differentialligningssystemer Denne enote beskriver ordens differentialligningssystemer og viser, hvordan de kan løses Der bruges egenværdier og egenvektorer i løsningsproceduren,

Læs mere

Lineær Algebra. Lars Hesselholt og Nathalie Wahl

Lineær Algebra. Lars Hesselholt og Nathalie Wahl Lineær Algebra Lars Hesselholt og Nathalie Wahl Oktober 2016 Forord Denne bog er beregnet til et første kursus i lineær algebra, men vi har lagt vægt på at fremstille dette materiale på en sådan måde,

Læs mere

Skriftlig Eksamen Diskret Matematik (DM528)

Skriftlig Eksamen Diskret Matematik (DM528) Skriftlig Eksamen Diskret Matematik (DM528) Institut for Matematik & Datalogi Syddansk Universitet Tirsdag den 20 Januar 2009, kl. 9 13 Alle sædvanlige hjælpemidler (lærebøger, notater etc.) samt brug

Læs mere

Talteori. Teori og problemløsning. Indhold. Talteori - Teori og problemløsning, marts 2014, Kirsten Rosenkilde.

Talteori. Teori og problemløsning. Indhold. Talteori - Teori og problemløsning, marts 2014, Kirsten Rosenkilde. Indhold 1 Delelighed, primtal og primfaktoropløsning Omskrivning vha. kvadratsætninger 4 3 Antal divisorer 6 4 Største fælles divisor og Euklids algoritme 7 5 Restklasser 9 6 Restklasseregning og kvadratiske

Læs mere

Module 1: Lineære modeller og lineær algebra

Module 1: Lineære modeller og lineær algebra Module : Lineære modeller og lineær algebra. Lineære normale modeller og lineær algebra......2 Lineær algebra...................... 6.2. Vektorer i R n................... 6.2.2 Regneregler for vektorrum...........

Læs mere

Fejlkorligerende køder Fejlkorrigerende koder

Fejlkorligerende køder Fejlkorrigerende koder Fejlkorligerende køder Fejlkorrigerende koder Denne note er skrevet med udgangspunkt i [, p 24-243, 249 Et videre studium kan eksempelvis tage udgangspunkt i [2 Eventuelle kommentarer kan sendes til olav@mathaaudk

Læs mere

Eksamen 2014/2015 Mål- og integralteori

Eksamen 2014/2015 Mål- og integralteori Eksamen 4/5 Mål- og integralteori Københavns Universitet Institut for Matematiske Fag Formalia Eksamensopgaven består af 4 opgaver med ialt spørgsmål Ved bedømmelsen indgår de spørgsmål med samme vægt

Læs mere

Talteoriopgaver Træningsophold ved Sorø Akademi 2007

Talteoriopgaver Træningsophold ved Sorø Akademi 2007 Talteoriopgaver Træningsophold ved Sorø Akademi 2007 18. juli 2007 Opgave 1. Vis at når a, b og c er positive heltal, er et sammensat tal. Løsningsforslag: a 4 + b 4 + 4c 4 + 4a 3 b + 4ab 3 + 6a 2 b 2

Læs mere

Andengradspolynomier - Gymnasienoter

Andengradspolynomier - Gymnasienoter - Gymnasienoter http://findinge.com/ Tag forbehold for eventuelle fejl/typos. Indhold Forord 3 Toppunktsformlen - Bevismetode 1 4 Toppunktsformlen - Bevismetode 6 Andengradspolynomiets symmetri 7 Rodfaktorisering

Læs mere

Tidligere Eksamensopgaver MM505 Lineær Algebra

Tidligere Eksamensopgaver MM505 Lineær Algebra Institut for Matematik og Datalogi Syddansk Universitet Tidligere Eksamensopgaver MM55 Lineær Algebra Indhold Typisk forside.................. 2 Juni 27.................... 3 Oktober 27..................

Læs mere

Gult Foredrag Om Net

Gult Foredrag Om Net Gult Foredrag Om Net University of Aarhus Århus 8 th March, 2010 Introduktion I: Fra Metriske til Topologiske Rum Et metrisk rum er en mængde udstyret med en afstandsfunktion. Afstandsfunktionen bruges

Læs mere

1 Vektorrum. MATEMATIK 3 LINEÆR ALGEBRA M. ANV. 4. oktober Miniprojekt: Lineær algebra på polynomier

1 Vektorrum. MATEMATIK 3 LINEÆR ALGEBRA M. ANV. 4. oktober Miniprojekt: Lineær algebra på polynomier MATEMATIK 3 LINEÆR ALGEBRA M. ANV. 4. oktober 2017 Miniprojekt: Lineær algebra på polynomier Grupperne forventes at regne de små opgaver i afsnittene 1 5 i løbet af de første 4 halve dage. Dernæst tilføjes

Læs mere

Matematik YY Foråret Kapitel 1. Grupper og restklasseringe.

Matematik YY Foråret Kapitel 1. Grupper og restklasseringe. Matematik YY Foråret 2004 Elementær talteori Søren Jøndrup og Jørn Olsson Kapitel 1. Grupper og restklasseringe. Vi vil i første omgang betragte forskellige typer ligninger og søge efter heltalsløsninger

Læs mere

i x-aksens retning, så fås ). Forskriften for g fås altså ved i forskriften for f at udskifte alle forekomster af x med x x 0

i x-aksens retning, så fås ). Forskriften for g fås altså ved i forskriften for f at udskifte alle forekomster af x med x x 0 BAndengradspolynomier Et polynomium er en funktion på formen f ( ) = an + an + a+ a, hvor ai R kaldes polynomiets koefficienter. Graden af et polynomium er lig med den højeste potens af, for hvilket den

Læs mere

Det teknisk-naturvidenskabelige basisår Matematik 1A, Efterår 2005, Hold 3 Prøveopgave C

Det teknisk-naturvidenskabelige basisår Matematik 1A, Efterår 2005, Hold 3 Prøveopgave C Det teknisk-naturvidenskabelige basisår Matematik 1A, Efterår 2005, Hold 3 Prøveopgave C Opgaven består af tre dele, hver med en række spørgsmål, efterfulgt af en liste af teorispørgsmål. I alle opgavespørgsmålene

Læs mere

Skriftlig eksamen Vejledende besvarelse MATEMATIK B (MM02)

Skriftlig eksamen Vejledende besvarelse MATEMATIK B (MM02) SYDDANSK UNIVERSITET ODENSE UNIVERSITET INSTITUT FOR MATEMATIK OG DATALOGI Skriftlig eksamen Vejledende besvarelse MATEMATIK B (MM2) Fredag d. 2. januar 22 kl. 9. 3. 4 timer med alle sædvanlige skriftlige

Læs mere

Polynomier af én variabel

Polynomier af én variabel enote 30 1 enote 30 Polynomier af én variabel I denne enote introduceres komplekse polynomier af én variabel. Der forudsættes elementært kendskab til komplekse tal, og kendskab til reelle polynomier af

Læs mere

Funktionalligninger. Anders Schack-Nielsen. 25. februar 2007

Funktionalligninger. Anders Schack-Nielsen. 25. februar 2007 Funktionalligninger Anders Schack-Nielsen 5. februar 007 Disse noter er en introduktion til funktionalligninger. En funktionalligning er en ligning (eller et ligningssystem) hvor den ubekendte er en funktion.

Læs mere

Hilbert rum. Chapter 3. 3.1 Indre produkt rum

Hilbert rum. Chapter 3. 3.1 Indre produkt rum Chapter 3 Hilbert rum 3.1 Indre produkt rum I det følgende skal vi gøre brug af komplekse såvel som reelle vektorrum. Idet L betegner enten R eller C minder vi om, at et vektorrum over L er en mængde E

Læs mere

Modulpakke 3: Lineære Ligningssystemer

Modulpakke 3: Lineære Ligningssystemer Chapter 4 Modulpakke 3: Lineære Ligningssystemer 4. Homogene systemer I teknikken møder man meget ofte modeller der leder til systemer af koblede differentialligninger. Et eksempel på et sådant system

Læs mere

8 Regulære flader i R 3

8 Regulære flader i R 3 8 Regulære flader i R 3 Vi skal betragte særligt pæne delmængder S R 3 kaldet flader. I det følgende opfattes S som et topologisk rum i sportopologien, se Definition 5.9. En åben omegn U af p S er således

Læs mere

Statistik og Sandsynlighedsregning 2

Statistik og Sandsynlighedsregning 2 Statistik og Sandsynlighedsregning 2 Uafhængighed og reelle transformationer Helle Sørensen Uge 8, mandag SaSt2 (Uge 8, mandag) Uafh. og relle transf. 1 / 16 Program I dag: Uafhængighed af kontinuerte

Læs mere

Bedste rette linje ved mindste kvadraters metode

Bedste rette linje ved mindste kvadraters metode 1/9 Bedste rette linje ved mindste kvadraters metode - fra www.borgeleo.dk Figur 1: Tre datapunkter og den bedste rette linje bestemt af A, B og C Målepunkter og bedste rette linje I ovenstående koordinatsystem

Læs mere

Københavns Universitet, Det naturvidenskabelige Fakultet. Afleveringsopgave 4

Københavns Universitet, Det naturvidenskabelige Fakultet. Afleveringsopgave 4 Københavns Universitet, Det naturvidenskabelige Fakultet Lineær Algebra LinAlg Afleveringsopgave 4 Eventuelle besvarelser laves i grupper af 2-3 personer og afleveres i to eksemplarer med 3 udfyldte forsider

Læs mere

Lidt alment om vektorrum et papir som grundlag for diskussion

Lidt alment om vektorrum et papir som grundlag for diskussion Definition : vektorrum, vektorer Et vektorrum er en mængde af elementer med operationerne sum (+) og numerisk multiplikation (), så følgende regler gælder for alle a, b, c og for alle reelle tal s, t R.

Læs mere

z 1 = z 1z 1z 1 z 1 2 = z z2z 1 z 2 2

z 1 = z 1z 1z 1 z 1 2 = z z2z 1 z 2 2 M å l e p u n k t R i e m a n n s k G e o m e t r i E 8 J a ko b L i n d b l a d B l a ava n d 2 5 3 6 7 5 27 oktober 28 I n s t i t u t fo r M at e m at i s k e Fag A a r h u s U n i v e r s i t e t indledning

Læs mere

Matematisk Metode Notesamling

Matematisk Metode Notesamling Matematisk Metode Notesamling Anders Bongo Bjerg Pedersen Stud.Scient, Matematisk Institut, KU 21. november 2005 Bemærkninger til noterne: Hosliggende noter er fra faget Matematisk Metode, afholdt i blok

Læs mere

6.1 Reelle Indre Produkter

6.1 Reelle Indre Produkter SEKTION 6.1 REELLE INDRE PRODUKTER 6.1 Reelle Indre Produkter Definition 6.1.1 Et indre produkt på et reelt vektorrum V er en funktion, : V V R således at, for alle x, y V, I x, x 0 med lighed x = 0, II

Læs mere

Algebra2 Obligatorisk opgave

Algebra2 Obligatorisk opgave Algebra2 Obligatorisk opgave Anders Bongo Bjerg Pedersen, 070183 Eksamensnummer 45 23. maj 2005 Opgave 1 Vi har: σ = σ 6 5 = (σ 3 ) 2 (σ 5 ) 1 = (1 3 5 2 4)(8 7 6). b) Ordnen af en p-cykel er (jfr. 2.18)

Læs mere

DesignMat Uge 1 Repetition af forårets stof

DesignMat Uge 1 Repetition af forårets stof DesignMat Uge 1 Repetition af forårets stof Preben Alsholm Efterår 008 01 Lineært ligningssystem Lineært ligningssystem Et lineært ligningssystem: a 11 x 1 + a 1 x + + a 1n x n = b 1 a 1 x 1 + a x + +

Læs mere

Divisorer. Introduktion. Divisorer og delelighed. Divisionsalgoritmen. Definition (Divisor) Lad d og n være hele tal. Hvis der findes et helt tal q så

Divisorer. Introduktion. Divisorer og delelighed. Divisionsalgoritmen. Definition (Divisor) Lad d og n være hele tal. Hvis der findes et helt tal q så Introduktion 1) Hvad er Taleteori? Læren om de hele tal Primtal 2) Formalistisk struktur Definition Lemma Divisorer Definition (Divisor) Lad d og n være hele tal Hvis der findes et helt tal q så d q =

Læs mere

Lineær Algebra - Beviser

Lineær Algebra - Beviser Lineær Algebra - Beviser Mads Friis 8 oktober 213 1 Lineære afbildninger Jeg vil i denne note forsøge at give et indblik i, hvor kraftfuldt et værktøj matrix-algebra kan være i analyse af lineære funktioner

Læs mere

Lineære 2. ordens differentialligninger med konstante koefficienter

Lineære 2. ordens differentialligninger med konstante koefficienter enote 13 1 enote 13 Lineære 2. ordens differentialligninger med konstante koefficienter I forlængelse af enote 11 og enote 12 om differentialligninger, kommer nu denne enote omkring 2. ordens differentialligninger.

Læs mere

Facitliste til nyere eksamensopgaver

Facitliste til nyere eksamensopgaver Facitliste Facitliste til nyere eksamensopgaver Listen indeholder facit (eller vink) til eksamensopgaverne (i MatAL, Alg og ) fra sommeren 003 og fremefter. Bemærk, at de facitter, der står på listen,

Læs mere

Funktioner. 3. del Karsten Juul

Funktioner. 3. del Karsten Juul Funktioner 3. del 019 Karsten Juul Funktioner 3. del, 019 Karsten Juul 1/9-019 Nyeste version af dette hæfte kan downloades fra http://mat1.dk/noter.htm. Hæftet må benyttes i undervisningen hvis læreren

Læs mere

Kursusgang 3 Matrixalgebra Repetition

Kursusgang 3 Matrixalgebra Repetition Kursusgang 3 Repetition - froberg@mathaaudk http://peoplemathaaudk/ froberg/oecon3 Institut for Matematiske Fag Aalborg Universitet 12 september 2008 1/12 Lineære ligningssystemer Et lineært ligningssystem

Læs mere

83 - Karakterisation af intervaller

83 - Karakterisation af intervaller 83 - Karakterisation af intervaller I denne opgave skal du bevise, at hvis A er en delmængde af R med følgende egenskab: x, y, z R : x, y A og x < z < y z A (1) så er A enten et interval eller en mængde

Læs mere

t a l e n t c a m p d k Matematiske Metoder Anders Friis Anne Ryelund 25. oktober 2014 Slide 1/42

t a l e n t c a m p d k Matematiske Metoder Anders Friis Anne Ryelund 25. oktober 2014 Slide 1/42 Slide 1/42 Hvad er matematik? 1) Den matematiske metode 2) Hvad vil det sige at bevise noget? 3) Hvor begynder det hele? 4) Hvordan vælger man et sæt aksiomer? Slide 2/42 Indhold 1 2 3 4 Slide 3/42 Mængder

Læs mere

Ligninger med reelle løsninger

Ligninger med reelle løsninger Ligninger med reelle løsninger Når man løser ligninger, er der nogle standardmetoder som er vigtige at kende. Her er der en kort introduktion til forskellige teknikker efterfulgt af opgaver hvor man kan

Læs mere

Besvarelser til Calculus og Lineær Algebra Globale Forretningssystemer Eksamen - 8. Juni 2015

Besvarelser til Calculus og Lineær Algebra Globale Forretningssystemer Eksamen - 8. Juni 2015 Besvarelser til Calculus og Lineær Algebra Globale Forretningssystemer Eksamen - 8. Juni 05 Mikkel Findinge Bemærk, at der kan være sneget sig fejl ind. Kontakt mig endelig, hvis du skulle falde over en

Læs mere

Gruppeteori. Michael Knudsen. 8. marts For at motivere indførelsen af gruppebegrebet begynder vi med et eksempel.

Gruppeteori. Michael Knudsen. 8. marts For at motivere indførelsen af gruppebegrebet begynder vi med et eksempel. Gruppeteori Michael Knudsen 8. marts 2005 1 Motivation For at motivere indførelsen af gruppebegrebet begynder vi med et eksempel. Eksempel 1.1. Lad Z betegne mængden af de hele tal, Z = {..., 2, 1, 0,

Læs mere

Polynomier af én variabel

Polynomier af én variabel enote 30 1 enote 30 Polynomier af én variabel I denne enote introduceres komplekse polynomier af én variabel. Der forudsættes elementært kendskab til komplekse tal og kendskab til reelle polynomier af

Læs mere

Reeksamen i Diskret Matematik

Reeksamen i Diskret Matematik Reeksamen i Diskret Matematik Første Studieår ved Det Teknisk-Naturvidenskabelige Fakultet Torsdag den 9. august, 202. Kl. 9-3. Nærværende eksamenssæt består af 9 nummererede sider med ialt 2 opgaver.

Læs mere

Potensrækker. Morten Grud Rasmussen 1 10. november 2015. Definition 1 (Potensrække). En potensrække er en uendelig række på formen

Potensrækker. Morten Grud Rasmussen 1 10. november 2015. Definition 1 (Potensrække). En potensrække er en uendelig række på formen Potensrækker Morten Grud Rasmussen 1 10 november 2015 Definition og konvergens af potensrækker Definition 1 Potensrække) En potensrække er en uendelig række på formen a n pz aq n, 1) hvor afsnittene er

Læs mere

Matricer og lineære ligningssystemer

Matricer og lineære ligningssystemer Matricer og lineære ligningssystemer Grete Ridder Ebbesen Virum Gymnasium Indhold 1 Matricer 11 Grundlæggende begreber 1 Regning med matricer 3 13 Kvadratiske matricer og determinant 9 14 Invers matrix

Læs mere

Matematik og FormLineære ligningssystemer

Matematik og FormLineære ligningssystemer Matematik og Form Lineære ligningssystemer Institut for Matematiske Fag Aalborg Universitet 2014 Ligningssystemer og matricer Til et ligningssystem svarer der en totalmatrix [A b] bestående af koefficientmatrix

Læs mere

Emneopgave: Lineær- og kvadratisk programmering:

Emneopgave: Lineær- og kvadratisk programmering: Emneopgave: Lineær- og kvadratisk programmering: LINEÆR PROGRAMMERING I lineær programmering løser man problemer hvor man for en bestemt funktion ønsker at finde enten en maksimering eller en minimering

Læs mere

1 Vektorrum. MATEMATIK 3 LINEÆR ALGEBRA 6. oktober 2016 Miniprojekt: Lineær algebra på polynomier

1 Vektorrum. MATEMATIK 3 LINEÆR ALGEBRA 6. oktober 2016 Miniprojekt: Lineær algebra på polynomier MATEMATIK 3 LINEÆR ALGEBRA 6. oktober 2016 Miniprojekt: Lineær algebra på polynomier Grupperne forventes at regne en mængde af opgaver, som tilsammen dækker 100 point. De små opgaver giver hver 5 point,

Læs mere

TØ-opgaver til uge 45

TØ-opgaver til uge 45 TØ-opgaver til uge 45 Først laver vi en liste over de ligninger med mere i [IPT], der skal bruges: [1]: Ligning (2.5) på side 4. [2]: Ligning (2.6) på side 5. [3]: Sætning 3.1, ligning (3.3) på side 7.

Læs mere

GEOMETRI-TØ, UGE 12. A σ (R) = A f σ (f(r))

GEOMETRI-TØ, UGE 12. A σ (R) = A f σ (f(r)) GEOMETRI-TØ, UGE 12 Hvis I falder over tryk- eller regne-fejl i nedenstående, må I meget gerne sende rettelser til fuglede@imfaudk Opvarmningsopgave 1, [P] 632 Vis at Ennepers flade σ(u, v) = ( u u 3 /3

Læs mere

Egenværdier og egenvektorer

Egenværdier og egenvektorer 1 Egenværdier og egenvektorer 2 Definition Lad A være en n n matrix. En vektor v R n, v 0, kaldes en egenvektor for A, hvis der findes en skalar λ således Av = λv Skalaren λ kaldes en tilhørende egenværdi.

Læs mere

Nanostatistik: Stokastisk variabel

Nanostatistik: Stokastisk variabel Nanostatistik: Stokastisk variabel JLJ Nanostatistik: Stokastisk variabel p. 1/29 Repetition Ω: udfaldsrummet: alle de mulige udfald af et experiment P(A): ss for hændelsen A = frekvens i uafhængige gentagelser

Læs mere