1 Indledende definitioner Polygonale knuder Opgaver... 3

Størrelse: px
Starte visningen fra side:

Download "1 Indledende definitioner Polygonale knuder Opgaver... 3"

Transkript

1 K n u d e t e o r i o g J o n e s - p o ly n o m i e t U N F M at e m at i k C a m p J a ko b L i n d b l a d B l a ava n d 17. juli 2010 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

2 Introduktion Denne note er lavet i forbindelse med Matematik Camp 2010, afholdt af Ungdommens Naturvidenskablige Forening (UNF), på Københavns Universitet, 11. juli juli Noten er en introduktion til knudeteori og knudeinvarianter. Noten behandler alt fra de grundlæggende definitioner af knuder og links, til konkrete knudeinvarianter som trefarvning og ikke mindst Jones-polynomiet. Jones-polynomiet bliver defineret og simple egenskaber diskuteret. For en yderligere diskussion af Jones-polynomiets fantastiske facetter henvises til [1]. Som et supplement til noterne, kan man med fordel hente programmet KnotPlot ( Programmet er en god guide til at øge sin forståelse af knuder og deres struktur. Ved forelæsningerne blev der vist eksempler fra programmet. Noten er baseret på [1], [2], [3] og [4]. [4] er en lille bemærkelsesværdig bog. Det er en populærvidenskabelig bog, og den indeholder rigtig mange interessante ting. Den kan læses af alle der er matematikinteresserede. Forsidebillede er lavet af Jason Cantarella, University of Georgia. i

3 Indholdsfortegnelse Introduktion Indholdsfortegnelse i ii 1 Indledende definitioner Polygonale knuder Opgaver Reidemeistertransformationer Reidemeistertransformationer Primknuder Opgaver Knudeinvarianter Trefarvning Linktal Opgaver Jones-polynomiet Laurentpolynomier Kauffman-parentesen Vridningstal Jones-polynomiet Perspektiv Opgaver Litteratur 26 ii

4 Kapitel 1 Indledende definitioner I knudeteori ser vi på, hvordan en eller flere snore kan være filtret sammen i et 3- dimensionalt rum. Når vi skal i gang med at bevise sætninger og regne med knuderne, skal vi se på skyggebilleder af knuderne, de såkaldte projektioner i et 2-dimensionalt rum. I matematik betegner vi et 3-dimensionalt rum med R 3 og 2-dimensionelt rum med R 2. Det er som du kender det fra gymnasiet, R 3 = {(x, y, z) x, y, z R} R 2 = {(x, y) x, y R}. Vi skal også benytte os af de naturlige tal og de hele tal, dvs. N = { 0, 1, 2, 3, 4,... } Z = {..., 2, 1, 0, 1, 2,... }. I knudeteori er det helt fundamentale spørgsmål om to givne knuder er ens. Dvs. hvis du har to knuder, kan du så på en eller anden måde, få den ene til at blive den anden, ved at filtre rundt med de forskellige dele af det reb knuden er bundet på? Du må naturligvis ikke bruge en saks. Hvis rebet ikke er splejset sammen i enderne, så er det jo let at få en knude til at blive en hvilken som helst anden. Man skal bare filtre den ud først, så der ikke er nogen knude på rebet, og så lave den knude man gerne vil have det til at være. Men er enderne på rebet splejset sammen, så er det derimod en helt anden sag nu kan du ikke bare lige sådan få enhver knude til at blive en anden. Hvis du er Jørgen Clevin og bruger saks og lim, er det igen let, så det gør vi ikke. Vores knuder er knuder på en snor, hvor enderne er splejset sammen. Samtidig skal vores snore være så elastiske, at vi kan hive, alt, hvad vi vil i dem, uden at de går i stykker. Nu er spørgsmålet så igen, hvordan vi afgør, om en knude kan filtres ud til en cirkel uden knuder? Hvordan kan man bevise, at en knude aldrig kan filtres ud? Det er lidt svært at se, hvordan det skal blive præcist men det er det vi skal forsøge at gøre. Bladrer du lidt i noten, kan du se en masse knuder. Knuderne lever i et 3- dimensionelt rum, men papiret har kun 2 dimensioner, så det du ser er blot knudens skygge. Vi skal i det følgende arbejde matematisk med knuderne, og det betyder, at vi skal have nogle meget præcise definitioner af, hvad en knude er. Derfor kan det næste let blive meget abstrakt og svært fordi vi forsøger at være meget præcise. Det er derfor vigtigt hele tiden at have nogle eksempler på knuder i hovedet. Hvis vi skal være rigtig præcise med definitionen af en knude, så skal vi bruge en hel del af den slags matematik, der kaldes topologi. Men hvis vi kan acceptere et par ting eller to, kan vi heldigvis klare os uden. 1

5 Polygonale knuder Figur 1.1: Ikke-knuden eller den trivielle knude Figur 1.2: Trekløveret Figur 1.3: Figur Polygonale knuder Figur 1.4: En anden projektion af den trivielle knude Knudeteorien skal nok blive abstrakt, så vi må sørge for at begrænse os tilstrækkeligt her i begyndelsen. Derfor vil vi se på polygonale knuder. Nu er vores knuder ikke fine glatte snore men derimod sammensat af rette linjestykker. Definition 1.1. En (polygonal) knude er en endelig mængde af punkter i R 3, der er forbundet af rette linjestykker, så vi får én sammenhængende lukket kurve, hvor to linjestykker ikke skærer hinanden. Figur 1.5: Polygonal knude. Trekløveret kan konstrueres med ni punkter og ni linjestykker. Som det ses af nedenstående figur, er det ikke nogen indskrænkning at se på polygonale knuder. Vi kan bare vælge flere og flere punkter, så vores knude til sidst kommer til at se glat ud. Figur 1.6: Tilnærmelse af polygonal knude til en glat kurve vi brug for og ikke mindst, hvilke deformationer må vi ikke lave? Vi skal nu give en præcis definition af, hvad det er, vi gør, når vi sidder med en knude i hånden og forsøger at filtre den ud. For at få det til at lyde mere matematisk, så vil vi sige at deformere i stedet for at kalde det at filtre. Hvilke deformationer har Som nævnt i indledningen må vi ikke klippe knuden op, og vi må ikke lime dele af knuden sammen. Vi skal også sørge for, at knuden ikke gennemskærer sig selv, når vi laver deformationerne. Hvis vi tillod gennemskæringer, så ville det svare til at klippe en snor over, flytte den anden snor igennem det nye hul, og så lime snoren sammen igen. 2

6 Opgaver Definition 1.2. Lad K være en knude og T R 3 en trekant, der har én side, som overlapper en af K s linjestykker og hvor K ellers ikke går gennem det indre af T. I denne situation kan man lave en -transformation af K, ved at udvide K over T. Dvs. erstatte linjestykket af K som var fælles med T og indsætte det med T s resterende to sider (se figuren). Det giver os en ny knude K. Det omvendte med at fjerne en trekant fra K kaldes også en -transformation. Figur 1.7: -transformation Definition 1.3. To knuder K og K kaldes ens eller ækvivalente, hvis der findes en endelig række af -transformationer så K = K K1 K2 n K n = K. Hvis K og K er ens betegnes det ved K K. Nu er deformationen brudt ned til dens mindste bestanddele. Vi har fået defineret knuder helt præcist. Nu kan vi gå i gang med at lave matematik med dem. Figur 1.8: Figuren viser, at vores definition på en ækvivalens er, hvad vi ville forvente, hvis vi tænker på knuderne som elastikker. 1.2 Opgaver Opgave 1.4. Hvis to knuder, K 1, K 2 er ens skrives K 1 K 2. Vi kunne i bund og grund også have skrevet, at K 1 = K 2 fordi opfylder tre egenskaber som = også opfylder, nemlig 1. Refleksivitet K K. 2. Symmetri K K K K. 3. Transitivitet K K, K K K K. Vis, at opfylder de tre ovenstående egenskaber. Når disse tre egenskaber er opfyldt kaldes en ækvivalensrelation. Opgave Gør en trekant til en femkant med -transformationer 2. Hvad er det mindste antal -transformationer, der skal bruges i 1? 3. Hvad er det mindste antal -transformationer, der skal bruges for at gøre en regulær n-kant til en trekant? 3

7 Kapitel 2 Reidemeistertransformationer Knuder er noget, der lever i tre dimensioner. Når vi skal tegne dem på papir, er det dog noget besværligt at lave tredimensionelle billeder hver gang. Papir har jo kun to dimensioner, så hver gang tegner vi i stedet skyggen af en knude. Vores tegning bliver naturligvis forskellig afhængigt af, hvordan lyset falder på knuden. Skyggen af en knude kalder vi en projektion. I de billeder, der hidtil har været i noten, er der i hvert kryds angivet, hvilken streng der går over, og hvilken der går under. Sørger man for at gøre det i alle krydsninger, så kaldes projektionen et knudediagram. Når vi laver projektionen ned på R 2, skal vi være en smule påpasselige med at få vendt vores knude rigtigt, så der f.eks. ikke er tre strenge, der krydser hinanden i ét punkt. Har vi et knudediagram for en knude, kan vi zoome ind på et lille område og se lidt nærmere på, hvordan knuden ser ud her. Mange gange er man kun interesseret i, hvad der sker lige omkring et enkelt kryds, og derfor tegner man kun disse små udsnit. Det betyder, at man kan undgå at henvise til en bestemt knude, men blot se på det specifikke kryds. 2.1 Reidemeistertransformationer Vi vil gerne lave deformationer af knuderne på papiret altså vi vil lave deformationer af diagrammerne. Når vi er i papirets to dimensioner, så har vi skyggen af -transformationerne at arbejde med. Vi vil dog definere fire nye transformationer, som er angivet i figur 2.1. Vi kan bruge de nye transformationer i papirets to dimensioner, fordi de er specifikke transformationer af diagrammer. Vi skal senere se, at de fire transformationer er alt hvad vi behøver for at kunne skelne knuder fra hinanden. Bemærk her, at R0 blot er en direkte projektion af en -transformation. De tre andre er tegnet med glatte kurver, og det er for at gøre det nemmere at se, hvad der sker. Det tilsvarende kan laves med polygonale knuder. Fremover vil vi i stedet for polygonale knuder tegne glatte kurver, selvom vi arbejder med polygonale knuder simpelthen fordi det er nemmere. Grunden til, at vi ikke definerede vores knuder som glatte kurver er, at det ville kræve vanskeligere matematik. R1 giver os lov til at rette et twist ud. Med R2 kan vi flytte to snore, der ligger over hinanden uden at være sammenfiltret væk fra hinanden. R3 siger, at vi kan flytte en snor henover en krydsning. 4

8 Reidemeistertransformationer Figur 2.1: Reidemeistertransformationer Det er vigtigt, at bemærke, at vi ikke skelner mellem spejlbilleder, rotationer eller ombytninger af over- og underkrydsninger af disse Reidemeistertransformationer. Hvis vi skulle være helt præcise, så skulle vi også have inkluderet spejlbilledet af R3, men det undlader man som regel, da det essentielt er det samme som R3. I 1920 erne viste tyskeren Kurt Reidemeister følgende meget vigtige sætning, der mere eller mindre var starten på alt knudeteori. Sætning 2.1 (Reidemeisters sætning). To knuder K, K med diagrammer D, D er ækvivalente, hvis og kun hvis der findes en endelig række af Reidemeistertransformationer, der laver det ene diagram D om til det andet diagram D. Bemærkning 2.2. Normalt siger vi, at der kun er tre Reidemeistertransformationer, R1, R2 og R3. R0 tages for givet. Bemærkning 2.3. Vendingen hvis og kun hvis betyder på matematisk det samme som en biimplikation. Altså siger Reidemeisters sætning, at to knuder er ens, hvis der findes en endelig række af Reidemeistertransformationer fra det ene diagram til det andet og omvendt: hvis to knuder er ens, så findes der en endelig række af Reidemeistertransformationer fra det ene diagram til det andet. Bevis. Når et bevis indeholder en biimplikation skal man bevise begge retninger. Lad os derfor vise kun hvis-delen først. : Antag at knuderne K, K, med diagrammerne D, D, er ækvivalente. Vi ved da fra definition 1.3, at der findes en endelig række af - transformationer der tager K til K. Vi skal nu vise, at enhver -transformation på en knude er repræsenteret af et eller flere Reidemeistertransformationer i et tilsvarende knudediagram. Det vil sige, at skyggen af en -transformation er en Reidemeistertransformation eller en sammensætning af endeligt mange. Projektionen af hver trekant kan indeholde meget mere end blot et enkelt eller to kryds. Da Reidemeistertransformationerne kun udtaler sig om et enkelt kryds, vil vil sørge for at bryde vores -transformation ned i nogle mindre stykker, så der i 5

9 Reidemeistertransformationer projektionen af hver, kun indgår et enkelt kryds. Se på figur 2.3 for et eksempel. Figur 2.2 indeholder også alle de muligheder, der kan opstå. Igen kan der være spejlinger, rotationer eller ombytninger af over- og underkrydsninger, af mulighederne i figur 2.2 Figur 2.2: De forskellige projektioner af en -transformation Mulighederne er altså a) ingenting, b) et hjørnepunkt i knuden, c) et over- eller underløb, eller d) et kryds. Hvis du ser lidt nærmere på det, så svarer de fire tilfælde præcist til R0 R3. Den vigtigste idé i beviset, er at få lavet en inddeling. Hvis du ikke er helt overbevist om, at det kan lade sig gøre, kan du se på eksemplet i figur 2.3 her er det ikke så svært at se, hvad man skal gøre. Figur 2.3: Ekstrainddeling Enhver -transformation kan altså opdeles i endeligt mange mindre -transformationer, som hver svarer til en reidemeistertransformation. Altså vil en endelig række af - transformationer af en knude kunne skrives som en muligvis lidt længere endelig række af Reidemeistertransformationer på et knudediagram. : Antag, at der findes en endelig række af Reidemeistertransformationer, der tager D til D. Vi skal vise, at der findes en endelig række af -transformationer, der tager K til K. Hvis du tænker på udglatningen fra figur 1.8, er det ikke så svært at se, at enhver af de fire Reidemeistertransformationer kan udføres via -transformationer på en knude i R 3. Prøv det. Reidemeisters sætning er ganske bemærkelsesværdig, fordi den siger, at de deformationer, vi laver i 3D, lige så godt kan laves på papiret i 2D. Det gør altså ikke noget, at vi så at sige smider en dimension væk. Tænk på et satellitfoto af en storby. Her tager man også noget 3-dimensionelt, nemlig byen med dens højhuse, og gør til noget 6

10 Reidemeistertransformationer 2-dimensionelt. På fotogratiet mister man fornemmelsen af højhusenes størrelsesforhold. Det sker naturligvis også, hvis vi ser på projektionen af en knude. Men i og med, at vi indfører de små lufthuller i hvert kryds, får vi en indikation af, hvordan knudens dele krydser hinanden. Reidemeisters sætning siger, at denne lille modifikation er nok til, at vi kan nøjes med at se på knudediagrammer. Det vigtigste spørgsmål i knudeteori er om to knuder er ens. Nu har vi tre ekstra deformationer, som vi kan bruge til at undersøge, om to givne knuder er ens. Selvom vi har fået flere deformationer, betyder det ikke, at det nu er blevet let at afgøre, om to knuder er ens. Tag f.eks. følgende to knudediagrammer. Disse to diagrammer viser den samme knude. Det kan vi vise ved at lave en følge af Reidemeistertransformationer fra det ene diagram til det andet. Det er gjort i figur 2.4. Figur 2.4: Ækvivalens af diagrammer Indtil nu har vi kun haft Reidemeistertransformationer til at afgøre, om to diagrammer repræsenterer den samme knude. Som eksemplet viser, så er det ikke særlig 7

11 Primknuder effektivt. Vi skal have nogle flere værktøjer. Disse værktøjer hedder knudeinvarianter. Det som knudeteoretikere har forsøgt på i mange år er, at få klassificeret alle knuder. Det vil sige, få lavet en udtømmende liste over alle de knuder, der findes. Står du med en knude, vil vi gerne kunne finde den tilhørende knude i tabellen. 2.2 Primknuder Ganske som du kender det fra heltal, hvor nogle af tallene er primtal, findes der primknuder. Disse kan ikke splittes op i summen af to andre knuder. Man kan lave summen af to knuder ved at gøre som i figur 2.5. Her er det summen af det spejlede trekløver og figur-8. Summen af to knuder K 1 og K 2 betegnes med K 1 #K 2. Figur 2.5: Sum af to knuder Man kan faktisk vise, at enhver knude er en sum af primknuder. Tilmed er der kun én måde at få hver knude. Det er meget svære end at vise, at ethvert heltal har præcist én opsplitning i primtal. Figur 2.6 viser alle primknuderne med op til 6 krydsninger. Figur 2.6: Primknuder med op til 6 krydsninger 2.3 Opgaver Opgave 2.4. Et diagram af en knude tegnes på en transparent, og vises på et lærred med en overheadprojektor. Hvis du vender transparenten om, hvilken knude vil du så se? 8

12 Opgaver Opgave 2.5. Vis at nedenstående figur-8 diagram er ækvivalent til det spejlede diagram, ved at finde en række Reidemeistertransformationer fra det ene digram til det andet. Opgave 2.6. I Reidemeisters sætning beviste vi, at det præcist var R0, R1, R2 og R3, vi skulle bruge for at vise ækvivalens af to knuder. Men dermed har vi ikke udelukket, at der kunne være et andet sæt af transformationer, som havde samme egenskab. Måske kunne vi udvide vores fire transformationer med en femte transformation? Forklar, hvad der ville ske, hvis hver af de tre transformationer i figur 2.7 blev taget med som en Reidemeistertransformation. Figur 2.7: Ekstra transformationer Opgave 2.7. Færdiggør beviset for Reidemeisters sætning. 9

13 Kapitel 3 Knudeinvarianter Først skal vi se på lidt notation. Hvis f er en funktion mellem to mængder A og B skriver vi f : A B. Altså tager f et element a A og giver et element f(a) = b B. Vi definerer mængden af alle knuder ved K = mængden af alle knuder. Definition 3.1. En knudeinvariant er en funktion f : K M, fra mængden af alle knuder til en given mængde M, der opfylder K K f(k) = f(k ). Bemærkning 3.2. Mængden M kan her være f.eks. N eller Laurentpolynomierne Z[A, A 1 ]. 1 Hvis M = N, betyder det, at vi til enhver knude tilknytter et tal, og dette tal ændrer sig ikke under Reidemeistertransformationer. Bemærkning 3.3. Det er vigtigt her at være opmærksom på retningen af implikationspilen i definitionen. Fordi, hvis man med en knudeinvariant, f, får at, f(k) = f(k ) for to knuder K og K, er det ikke sikkert, at K K. Det kan meget vel være, at det forholder sig sådan, men man kan ikke bruge den knudeinvariant til at afgøre det. Hvis man derimod får, at f(k) f(k ) kan man være sikker på at K K. Fordi, hvis K K giver definitionen af en knudeinvariant, at f(k) = f(k ). Derfor er K og K altså ikke ens. Der findes mange forskellige knudeinvarianter. I resten af denne note skal vi se på nogle forskellige knudeinvarianter og undersøge nogle af deres egenskaber. Et af knudeteoriens bedste knudeinvarianter er Jones-polynomiet, som vi skal behandle i kapitel Trefarvning Vores første eksempel på en knudeinvariant er trefarvning. Definition 3.4. Lad D være et knudediagram. En trefarvning af D er en tilordning af tre farver til buerne i D, dvs. til de ubrudte linjer. Tilordningen skal laves, så der for hvert kryds i D gælder en af følgende to muligheder: Alle buer har samme farve 1 Laurentpolynomierne er defineret i afsnit

14 Trefarvning Alle buer har forskellige farver. Eksempel 3.5. Vælg tre farver: rød, blå og grøn. Vi ser på forskellige udsnit af et knudediagram. Figur 3.1 giver eksempler på lovlige trefarvninger og figur 3.2 giver eksempler på ulovlige trefarvninger. Figur 3.1: Lovlige trefarvninger Figur 3.2: Ulovlige trefarvninger Eksempel 3.6. Figur 3.3 giver et eksempel på en lovlig trefarvning af trekløveret. Figur 3.3: Trefarvning af trekløveret Ethvert diagram har mindst tre trefarvninger, fordi en ensfarvning med hver af de tre farver giver en lovlig trefarvning af knudediagrammet. Vi er nu i stand til at definere vores første knudeinvariant. Definition 3.7. Lad D være et knudediagram. Vi definerer τ(d) = Antallet af trefarvninger af D. Lad D betegne mængden af knudediagrammer. Da er τ en funktion τ : D N. Sætning 3.8. τ er en knudeinvariant. Bevis. I forhold til definition 3.1, skal vi vise, at τ er en funktion fra mængden af knuder, K, og ikke blot mængden af knudediagrammer. For at overføre vores funktion fra knudediagrammer til knuder skal vi naturligvis bruge sætning 2.1. Sætning 2.1 giver, at vi kan opfatte τ som en funktion på mængden af knuder, hvis τ ikke ændrer sig under Reidemeistertransformationerne. Da vil τ give samme værdi på alle knudediagrammer tilhørende samme knude. I det følgende skal vi hele tiden referere til illustrationerne figur 2.1. Vi skal vise, at hver eneste gang vi har en trefarvning af venstresiden, så vil det give en trefarvning af højresiden og omvendt. Reidemeistertransformationerne udtaler 11

15 Trefarvning sig kun om, hvad der sker lige omkring et enkelt kryds. Men vores trefarvninger er farvninger af hele diagrammet. Når vi derfor ser på knuderne i hvert kryds, så er det vigtigt, at farven på strengenes ender er de samme på både højre og venstre side af diagrammet, ellers kan vi ikke se isoleret på denne del af diagrammet. For at vise, at trefarvning er en knudeinvariant, skal man altså vælge sig en trefarvning af venstresiden og tjekke, at man kan lave en trefarvning af højresiden, der har samme farver på de strenge, der går ud af diagrammet. Se figur 3.4 for et eksempel. Figur 3.4: Reidemeistertransformation på et trefarvet trekløver R0: Det er klart, at dette ikke ændrer antallet af mulige trefarvninger, da der ikke er nogen kryds involveret i diagrammet. R1: En trefarvning af venstresiden må nødvendigvis have samme farve på begge buer, da en flerfarvning af et twist var et eksempel på en ulovlig farvning. Derfor er der præcist tre måder at farve hvert diagram på. R2: På venstresiden er der først og fremmest de tre trefarvninger, hvor diagrammet farvelægges med samme farve hele vejen igennem. Denne type af farvninger har vi naturligvis også på højresiden. For farvninger med forskellige farver, er der til hvert valg af farve af øverste bue to lovlige konfigurationer, af de resterende tre buer. Se figur 3.5 hvordan en trefarvning af venstresiden passer med en trefarvning af højresiden. I alt har vi seks forskellige farvninger, hvor der bruges mere end 1 farve. Prøv selv at tegne efter. Det giver altså = 9 mulige trefarvninger af venstre diagram. Diagrammet til højre kan også farves på 9 måder, da der ikke er nogen krydsninger, og derfor ikke nogen begræsninger på, hvordan diagrammerne kan farvelægges. Altså kan den ene bue farves på tre forskellige måder og den anden også på tre forskellige måder. Altså 3 3 = 9 trefarvninger. Figur 3.5: Trefarvning af R2 R3: Lad os igen tage udgangspunkt i venstresiden. Hvis vi ser på de tre ender til venstre, og forsøger at bestemme en farvning af diagrammet ud fra disse tre, skal vi betragte fem forskellige tilfælde. Alle tre ender kan farves ens. Alle ender kan farves forskellige. To ender kan have samme farve mens den sidste ende har en anden farve. Den sidste mulighed dækker over tre kombinationer, hvor det enten er øverste, miderste eller nederste ende, der ikke har samme farve som de andre. Har vi specificeret farven på hver af de tre ender, bestemmer det en farvning af resten af diagrammet (tjek det). Tilbage er at tjekke, at i hvert tilfælde, har vi en tilsvarende trefarvning af højresiden, med de samme farver på enderne. Se figur 3.6 for et eksempel. Det overlades til læseren at tjekke de resterende tilfælde. Da det nu er vist at en trefarvning af venstresiden giver anledning til en trefarvning af højresiden, kan vi gøre beviset færdigt ved at henvise til, at vi på samme måde kan se, at en trefarvning af højresiden vil give anledning til en trefarvning af venstresiden. 12

16 Linktal Vi har altså ikke udregnet det præcise antal trefarvninger, men vi har set, at der er lige mange. Det præcise antal afhænger af, hvordan resten af knuden ser ud. Figur 3.6: Trefarvning af R3. Bemærk, at farverne på enderne er de samme på begge sider. Vi har vist, at Reidemeistertransformationer ikke ændrer på antallet af trefarvninger. Da -transformationer af knuder iflg. beviset for sætning 2.1 kan repræsenteres af Reidemeistertransformationer i knudediagrammer, har vi altså, at og dermed er sætningen bevist. K K τ(k) = τ(k ), Eksempel 3.9. Når vi nu ved, at trefarvning er en knudeinvariant, så kan vi bevise, at trekløveret ikke kan filtres ud til en cirkel. Trekløverets 9 trefarvninger ses på figur 3.7. Figur 3.7: De 9 trefarvninger af trekløveret Cirklen har kun de tre ensfarvninger, da der ikke nogen krydsninger. Det kontraponerede af udsagnet i definition 3.1 er, at τ(k) τ(k ) K K. Da vi lige har vist, at τ er en knudeinvariant, gælder dette for τ, og derfor er. Vi har altså vist, at trekløveret ikke er ækvivalent med den trivielle knude. Altså findes der knuder, som ikke kan filtres ud. 3.2 Linktal Fremtil nu har vi kun set på knuder, altså en enkelt snor som er limet sammen i enderne. Men man kan naturligvis også have links, hvor flere knuder linker sammen. En knude regnes også som et link dog et uinteressant link, da det ikke sidder sammen med nogen andre knuder. I figur 3.8 ser vi Hopf-linket til venstre og til højre den trivielle knude linket sammen med trekløveret. 13

17 Linktal Figur 3.8: Linket til venstre er Hopf-linket og linket til højre er den trivielle knude linket med trekløveret. Definition En orienteret knude, er en knude, som har fået en gennemløbsretning. Det markeres på et knudediagram ved at give en bue en pil. Se eksemplet nedenfor. Et orienteret link er et link bestående af orienterede knuder. Figur 3.9: Et orienteret link En anden invariant, der er særlig let at beregne er linktallet af et orienteret link. Det beregnes igen vha. et diagram af linket. Vi skal igen bruge Reidemeisters sætning til at bevise, at linkinvarianten er uafhængig af valget af linkdiagram. Det vil betyde, at linktallet virkelig kun afhænger af det oprindelige link. Definition Lad D være et diagram af et orienteret link. Linktallet Lk(D) defineres ved at summere alle fortegn på krydsninger, hvor to buer fra forskellige knuder er involveret. Divider dette tal med to. Da er Lk : D L Z, hvor D L er mængden af orienterede linkdiagrammer. En krydsnings fortegn er givet ved følgende to billeder. Figur 3.10: Fortegn Fortegnet bestemmes ved, at se på den øverste bue. Hvis pilen på buen skal drejes mod uret for at komme ovenpå pilen på den nederste bue er fortegnet +1. Hvis pilen på øverste bue skal drejes med uret er fortegnet -1. Man skal dreje pilen i den korteste retning. Som udgangspunkt kan man dreje begge pile i figur i den modsatte retning. Eksempel Her er linktallet beregnet for to forskellige links, nemlig Hopf-linket til venstre og Whitehead-linket til højre. 14

18 Linktal Hopf-linket har to forskellige orienteringer, en der giver Lk = 1 og en, der giver Lk = +1. Vi skal se nedenfor, at linktallet er en linkinvariant, og derfor er disse forskellige orienterede links. Desuden betyder det også, at da linket der består af to ulinkede cirkler, kaldet ikke-linket, har Lk = 0, er Hopf-linket og ikke-linket altså to forskellige links. Linktallet kan vi dermed fortolke som et udtryk for, hvormange gange to knuder linker sammen. Men som det også ses af beregningen af linktallet for Whitehead-linket (nedenfor), skal man være en smule varsom med denne fortolkning. Whitehead-linket har nemlig et linktal på 0, men det er helt klart, at de to knuder faktisk er linket. Som det ses af tegningen er fortegnet af begge krydsningerne til venstre +1 og krydsningerne til venstre er 1, altså er Lk(Whitehead-link) = 1 ( ) = 0. 2 Sætning Hvis D, D er to diagrammer af samme orienterede link, da er Lk(D) = Lk(D ), og derfor er dette tal en invariant, kaldet linktallet af linket L. Lk er altså en funktion fra mængden af orienterede links til heltallene, Lk : L Z, der opfylder, at L L Lk(L) = Lk(L ). Bemærkning Når vi ser på orienterede links, skal vores Reidemeistertransformationer modificeres lidt. Vi må ikke ændre på retningen af buerne under en Reidemeistertransformation. Men ellers virker alt andet, og Reidemeisters sætning gælder også for orienterede links. Bevis. De to diagrammer D, D adskiller sig ved en række orientede Reidemeistertransformationer, så det eneste, der skal tjekkes er, at linktallet er bevaret under Reidemeistertransformationerne. R0 ændrer klart ingenting. I R1 har venstresiden en krydsning, men det er en selvkrydsning, så dens fortegn skal ikke tælles med i linktallet. I R2 har venstresiden to ekstra krydsninger: enten er de to buer fra samme knude, ellers er buerne fra to forskellige knuder. I første tilfælde skal krydsene ikke tælles med. I andet tilfælde skal krydsene tælles med, og heldigvis er deres fortegn det modsatte af hinanden, og derfor vil krydsningen ikke bidrage. I R3 har hver af de tre krydsninger på venstresiden et tilsvarende kryds på højresiden, der vil give samme bidrag til linktallet uafhængigt af om krydset skal tælles med eller ej. Altså er summen af de tre fortegn på hver side den samme. Bemærkning Det blev bemærket i definitionen på et link, at en knude også selv er et link, så K L, og da Lk : L Z, er Lk også en knudeinvariant. Men da der ikke er noget kryds i en knude, hvor de to buer hører til to forskellige knuder, er Lk(K) = 0 for enhver knude. Linktallet giver den samme værdi til alle knuder, og er derfor en totalt ubrugelig knudeinvariant. Linktallet er dog en ganske god linkinvariant. Bemærkning I eksempel 3.12 er det vist, at Hopflinket og to ulinkede cirkler ikke er ens. 15

19 Opgaver Vi har dermed bevist, at tryllekunstnere snyder, når de laver deres trick med to linkede metalringe pludselig bliver ulinkede. Det vidste vi naturligvis godt i forvejen, men her har vi et skudsikkert bevis for det. Vi har nu to eksempler på linkinvarianter (vi viste det godt nok ikke, men faktisk er trefarvning en linkinvariant, vores bevis kan også bruges direkte på links). Som vi har set, er de ikke ret gode. For opgave 3.19 viser, at trefarvningen ikke kan adskille figur- 8 og den trivielle knude, mens linktallet ikke kunne adskille Whitehead-linket og en knude. Derfor er vores to eksempler ikke særlig gode. Vi skal derfor have konstrueret en meget bedre linkinvariant. Nemlig Jones-polynomiet. 3.3 Opgaver Opgave Find antallet af forskellige trefarvninger af 4.1-knuden i figur 2.6. Du skal få, at der kun er tre forskellige trefarvninger. Dermed er trefarvningen af 4.1- knuden og den trivelle knude ens. Men vi kan jo godt se, at de to knudediagrammer ikke giver den samme knude, da 4.1-knuden tydeligvis er filtret. Da trefarvningen ikke kan adskille to helt åbentlyst forskellige knuder, er det en dårlig knudeinvariant. Opgave Beregn linktallet for Borromeo-linket, ved at vælge en orientering på hver af cirklerne. Afhænger svaret af orienteringen? Figur 3.11: Borromeo linket Opgave I eksempel 3.12 blev det vist, at linktallet ikke kunne adskille Whiteheadlinket og det trivelle link bestående af to ulinkede cirkler. Vis, at Whitehead-linket er forskelligt fra det trivielle link ved at bruge trefarvning. Opgave Bevis, vha. trefarvning, at Hopf-linket er forskelligt fra det trivielle link. I eksempel 3.12 blev dette vist vha. linktallet. Opgave Færdiggør beviset for sætning

20 Kapitel 4 Jones-polynomiet Reidemiester beviste sin sætning tilbage i På samme tid opfandt James Alexander Alexander-polynomiet, som var en klar forbedring af alle de tidligere knudeog linkinvarianter. Opfindelsen betød rigtig meget for klassifikationen af knuder. Man kunne nu effektivt bevise, at to knuder var forskellige ved bare at se på deres Alexander-polynomium. Alexander-polynomiet er ikke så besværligt at beregne, så det satte en smule gang i knudeteorien i de efterfølgende år. Alexander-polynomiet havde dog også en helt åbenlys fejl, for den kunne ikke adskille en knude og dens spejlbillede. Man var mere eller mindre overbeviste om, at trekløveret og dets spejlbillede (se nedenfor) ikke var ens, men Alexander-polynomiet for de to er ens. Der skulle gå næsten 60 år, før der kom virkelig gang i knudeteorien. Denne gang var det new zealændingen Vaughan Jones, der i 1984 opfandt Jones-polynomiet. Han opdagede det ved lidt af en tilfældighed. Jones kom egentlig fra en hel anden afdeling af matematikken (operatoralgebra), men han opdagede, at hans arbejde kunne bruges i knudeteori. I modsætning til Alexander-polynomiet kan Jones-polynomiet adskille trekløveret og dets spejling. Da Jones-polynomiet tilmed ikke er så svært at beregne, blev Jones opfindelse startskuddet på en opblomstring af knudeteorien. Kort tid efter viste det sig, at Jones-polynomiet havde en meget vigtig anvendelse i teoretisk fysik, og da man først opdagede dette blev knudeteori et særdeles populært forskningsområde, og er det stadigt. Jones fik i 1990 Fieldsmedaljen for opfindelsen af polynomiet. Der findes ikke nogen Nobelpris i matematik, men derimod er Fieldsmedaljen den største udmærkelse en matematiker kan få. Tilmed må modtageren ikke være fyldt 40 år ved modtagelsen. 4.1 Laurentpolynomier Inden vi kan definere Jones-polynomiet, skal vi først have defineret hvad et polynomium er. Definition 4.1. Et polynomium er en funktion, der følger en bestemt forskrift. Forskriften for et polynomium er en sum af nogle led, typisk sorteret efter faldende potens af A. Potensen skal være et helt tal. p(a) = b n A n + b n 1 A n b 1 A + b 0. 17

21 Kauffman-parentesen Tallene b n, b n 1, b n 2,... kaldes koefficienterne. Koefficienterne kan f.eks. være reelle tal, hele tal eller naturlige tal, hvor mængden af alle polynomier skrives som hhv. R[A], Z[A] eller N[A]. Hvis b n er den største koefficient hvor b n 0 kaldes p for et n te-gradspolynomium. Eksempel 4.2. Vi kender allerede til andengradspolynomier, nemlig polynomier på formen p(x) = ax 2 + bx + c, som har nulpunkterne x = b± b 2 4ac 2a. Et tredjegradspolynomium er f.eks. p(a) = A 3 + 3A , mens p(a) = A 7 A 5 + A er et eksempel på et 7.grads-polynomium. p(a) = A 4 2A 2 + A er ikke et polynomium, da potensen af leddet A 3 2 ikke er et helt tal. Definition 4.3. For at definere Jones-polynomiet skal vi kende til Laurentpolynomierne, Z[A, A 1 ]. Dette er også polynomier men her tager vi også den negative potens af A i brug. Altså funktioner på formen p(a) = b n A n + b n 1 A n b 1 A + b 0 + b 1 A b k+1 A k+1 + b k A k, hvor b i Z. Vi vil ikke definere Jones-polynomiet, som Vaughan Jones gjorde det. Vi vil derimod tage Louis Kauffmans tilgang, som han lavede kort efter Jones opfindelse. Kauffman definerede Kauffman-parentesen, der næsten er en invariant. 4.2 Kauffman-parentesen Definition 4.4 (Kauffman-parentesen). Kauffman-parentesen er en funktion fra uorienterde linkdiagrammer til Laurentpolynomier i variablen A. Funktionen tager et diagram D til D Z[A, A 1 ] og er defineret ved (i) = 1 (ii) D = ( A 2 A 2 ) D (iii) = A + A 1 Her betyder den trivielle knudes diagram, der ikke har nogen krydsninger, og D er diagrammet bestående af diagrammet D sammen med en ekstra der ikke har nogen fælles krydsninger med D. I (iii) henvises der til tre linkdiagrammer der er ens over det hele pånær omkring ét punkt, hvor de er forskellige på den anviste måde. (iii) kaldes udglatning af et kryds. En måde at huske (iii) på, er motorvejsreglen. Du skal se krydset som en motorvej med en bro henover. Du kører ad den nederste streng, som er motorvejen, og vil dreje fra motorvejen, op på broen der krydser motorvejen. Du kan vælge, at gøre to ting. Dreje af til højre. Det er det rigtige at gøre, i forhold til danske trafikregler. Det giver A et en positiv eksponent. Altså giver afkørsel til højre A. Du kan også vælge den forkerte løsning, og dreje til venstre altså gennem den anden vognbane. Det er naturligvis en dårlig ide, og derfor giver det en negativ eksponent til A. Altså giver afkørsel til venstre A 1. Bemærkning 4.5. Vi kan se på den omvendte krydsning af (iii),, og beregne værdien, ved blot at rotere (iii) 90 mod uret. Det giver os følgende lighed, hvor højresiden er den samme som i (iii) med A erstattet af A 1 og A 1 med A. = A 1 + A (4.1) 18

22 Kauffman-parentesen Med D betegner vi spejlingen af D altså diagrammet, med alle krydsninger byttet om spejlingen af venstresiden i (iii) er venstresiden i formel (4.1). Beregningen i formel (4.1) betyder, at D = D, hvor overstregning af Kauffman-parentesen betyder, at A byttes ud med A 1 og omvendt. Kauffman-parentesen af et link med n krydsninger beregnes ved at udføre (iii) på hvert af de n kryds, derefter spalte cirkler fra med (ii) og summe alle disse led. Den sidste cirkel slipper man af med vha. (i). Det giver i alt 2 n forskellige diagrammer, der skal tegnes og regnes på. Det kan synes meget besværligt, men vi skal se nogle måder, hvorpå man kan gøre ens arbejde en smule nemmere. Alt i alt giver Kauffmanparentesen altså et Laurent-polynomium. Det er klart, at Kauffman-parentesen ikke ændres ved et R0, men hvis et diagram ændres med en af de andre Reidemeistertransformationer kan det være, at polynomiet i sidste ende er anderledes. Men præcist hvilken effekt Reidemeistertransformationerne har på Kauffman-parentesen, vil vi nu undersøge. Lemma 4.6. Hvis et diagram ændres med en R1 Reidemeistertransformation, så ændres Kauffman-parentesen på følgende måde: Bevis. = A 3, = A 3 = A + A 1 = A( A 2 A 2 ) + A 1 = (A( A 2 A 2 ) + A 1 ) = A 3 Dette viser den første ligning. Den anden ligning vises på samme måde, eller ved at henvise til bemærkningen omkring spejling af diagrammerne. Prøv, om du kan vise anden lighed selv ved at lave beregningerne, det er god træning. Disse to beregninger er meget nyttige og vil blive brugt flittigt i det følgende. For nu ved vi, hvordan Kauffman-parentesen ændrer sig under R1. Allerede nu ved vi, at Kauffman-parentesen ikke kan være en invariant. For så skulle =. Vi skal dog se, at Kauffman-parentesen faktisk ikke ændrer sig under R2 og R3. Dermed er den så tæt på at være en invariant, som den næsten kan. Inden vi viser det, skal vi have lidt mere træning i at regne med Kauffman-parentesen. Eksempel 4.7. Lad os bruge lemma 4.6 til at beregne Kauffman-parentesen af det uorienterede Hopf-link. = A + A 1 = A 4 A 4 = A 4 A 4. Hvor midterste lighed kommer fra lemma 4.6 og sidste lighed fra (i). Eksempel 4.8. Vi skal nu bruge lemma 4.6 til at beregne Kauffman-parentesen af trekløveret. = A + A 1 = A 7 + A 1 ( A 4 A 4 ) = A 7 A 3 A 5. 19

23 Vridningstal I miderste lighed er eksempel 4.7 brugt til at finde Kauffman-parentesen af Hopflinket, og lemma 4.6 er brugt to gange til at beregne den sidste parentes. Lemma 4.9. Ændres et diagram med en R2 eller en R3 Reidemeistertransformation, ændres Kauffman-parentesen ikke. Det vil sige, (a) = (b) = Bevis. (a) (b) = A + A 1 = A A 2 = = A + A 1 = A + A 1 = Her følger anden lighed ved at bruge (a) to gange på første led. Lemma 4.9 viser, at Kauffman-parentesen ikke ændrer sig under R2 og R3. Dermed er Kauffman-parentesen næsten en linkinvariant, men ikke helt. Selv under R1 ændres Kauffman-parentesen ikke særlig meget, den multipliceres blot med A ±3, afhængigt af hvordan twistet er. Kauffman-parentesen er defineret på uorienterede linkdiagrammer. Vi kunne give linket en orientering, uden, at det betød noget for Kauffman-parentesen. Orienteringen giver alle kryds også de, der er mellem dele af samme knude et fortegn som i definition Nu vil fortegnet kunne opfange, hvilket type twist der er tale om. Med fortegnet vil vi modificere Kauffman-parentesen en smule, så den bliver en linkinvariant. 4.3 Vridningstal Definition Lad D være et diagram af et orienteret link. Vridningen af D, w(d), er summen af alle fortegn af krydsninger i D. Bemærkning Vridningstallet er noget andet end linktallet, da vi her tæller knudernes selvkrydsninger med, og derudover er der ikke den faktor 1 2, som linktallet har. Lemma Vridningstallet af et orienteret linkdiagram ændres ikke under R2 og R3 men ændres med ±1 under R1. Bevis. Dette bevis ligner meget beviset for, at Lk er en linkinvarint (beviset for sætning 3.13). For R2 og R3 er det faktisk endnu lettere, da vi ikke behøver at tænke på om strengene kommer fra samme knude eller ej. Vi kan derfor blot henvise til beviset for sætning 3.13 og genbruge det. Derfor ændrer vridningstallet sig ikke under R2 og R3. 20

24 Jones-polynomiet Under R1 sker der helt klart noget. Det er lidt overraskende, at følgende ligheder gælder uafhængigt af, hvordan knuden er orienteret. Det er en lille øvelse at vise, at lighederne gælder. w( ) = w( ) 1 (4.2) w( ) = w( ) + 1 Bemærkning Man kan med rette undre sig over, at det overhovedet er nødvendigt at orientere sit link, for at kunne definere vridningen af et link. Ovenstående ligheder viser netop, at vridningen af et twist er uafhængigt twistets orientering. Svaret er dog, at godt nok afhænger vridningen af antallet af twists, men det afhænger i høj grad også af, om linkets resterende krydsninger er positive eller negative. For at afgøre det, skal vi orientere vores link. 4.4 Jones-polynomiet Idéen er nu, at bruge vridningen af et orienteret diagram til at gøre Kauffmanparentesen til en linkinvariant. Sætning Lad D være et orienteret linkdiagram, af det orienterede link L L. Polynomiet V L (A) = ( A) 3w(D) D er invariant under alle tre Reidemeistertransformationer, og definerer derfor en invariant af orienterede links. Dermed er V en funktion fra mængden af orienterede links, L, til Laurentpolynomierne Z[A, A 1 ]. V : L Z[A, A 1 ]. Denne invariant kaldes Jones-polynomiet. Bevis. Da både vridningstal og Kauffman-parentes er uforandrede af R2 og R3, er det klart, at V L heller ikke ændrer sig under R2 eller R3 Reidemeistertransformationer af D. Tilbage er blot R1. Hvis diagrammet D ændres ved at fjerne et positvt twist et sted på linket, så har vi set i lemma 4.6, at der bliver ganget ( A 3 ) på Kauffman-parentesen. Tilmed giver formel (4.2), at vridningstallet stiger med 1. Derfor har vi ganget faktoren ( A) 3w(D) på Kauffman-parentesen, så denne faktor kan modvirke twistets effekt på Kauffmanparentensen. Dermed er V L uforandret af R2, R3 og positive twists. Tilfældet med de negative twists vises på tilsvarende måde. Dermed er V L en linkinvariant, iflg. Reidemeisters sætning. Bemærkning I definitionen af Kauffman-parentesen sørgede vi for, at = 1 og vridningen af er tydeligvis også 0. Derfor er V = 1. Man ved endnu ikke, om der findes knuder, som også har 1 som Jones-polynomium, eller om er den eneste. Man tror, er det eneste, men ingen har hidtil kunnet bevise det. Man kan dog finde to knuder, som man ved er forskellige, men som har samme Jones-polynomium. Man ved, at de to knuder er forskellige, ved at beregne andre knudeinvarianter. Jonespolynomiet er dermed ikke perfekt, men det er stadig en meget kraftig knudeinvariant, da man uden alt for meget besvær kan programmere en computer til at beregne Jonespolynomiet for en tilfældig knude. 21

25 Jones-polynomiet Eksempel Vi skal nu beregne Jones-polynomiet af trekløveret. I eksempel 4.8 blev Kauffman-parentesen af trekløveret beregnet, så vi skal blot finde vridningen af trekløveret, når vi har valgt en orientering. Vi ser af illustrationen, at w(3 1 ) = 3 ligemeget 1, hvilken orientering vi har valgt, og dermed er V 31 (A) = ( A) 3w(31) 3 1 = ( A) ( 3) ( 3) (A 7 A 3 A 5 ) = A 16 + A 12 + A 4. Bemærkning Jones-polynomiet er defineret på mængden af orienterede links. Det vil sige, at hvis du ændrer orienteringen af en af knuderne i linket, vil du muligvis få et andet polynomium. Hvis du ændrer orienteringen på alle knuder i linket, har det ingen betydning for vridningen. Det er en øvelse at vise dette. Da en knude er et link bestående af en enkelt knude, vil en ændring af orienteringen ikke betyde nogen ændring af vridningen af knuden. Hvis vi derfor vil beregne Jones-polynomiet af en knude, skal vi bare vælge en tilfældig orientering. Men nedenstående eksempel viser, at orienteringen er vigtig for links. Her er det illustreret blot med Hopf-linket. Eksempel I bemærkning 4.15 er Kauffman-parentesen beregnet for Hopflinket, og dette bliver udgangspunktet for at beregne Jones-polynomiet for to Hopf- links med forskellige vridningstal. Vridningstallet for det venstre Hopf-link, H1, er +2 og dermed bliver Jonespolynomiet V H1 (A) = ( A) ( 3)2 ( A 4 A 4 ) = A 6 ( A 4 A 4 ) = A 2 + A 10. Vridningstallet for det højre Hopf-link, H2, er 2 og dermed bliver Jones-polynomiet V H2 (A) = ( A) ( 3)( 2) ( A 4 A 4 ) = A 6 ( A 4 A 4 ) = A 10 A 2. Vi har dermed set, at for links er det vigtigt, at vælge sig en orientering fra starten. Når vi dermed taler om Jones-polynomiet af et link, skal vi specificere en orientering, for som vi ser her, er de to versioner af Hopf-linket to forskellige orienterede links. Man kan altså ikke omdanne H1 til H2 med de orienterede Reidemeistertransformationer. Glemmer man derimod orienteringen af H1 og H2, er de tydeligvis ens. Orienteringen er en ekstra struktur, som gør link-verdenen mere mangfoldig. Proposition Lad L være et orienteret link og L være dets spejling. Da er V L (A) = V L (A 1 ). Bevis. Se på formel (4.1) og den efterfølgende bemærkning. En spejling vil blot betyde, at man i Kauffman-parentesen skal skifte A ud med A henviser til figur

26 Jones-polynomiet Hvis man spejler et orienteret link, bliver alle positive krydsninger negative og alle negative krydsninger positive. Det vil sige, at w(l) = w(l). Sætter vi det sammen, giver definitionen af Jones-polynomiet det ønskede resultat. Korollar Enhver knude, hvor Jones-polynomiet ikke er det samme ved udskiftning af A med A 1, er forskellig fra sit spejlbillede. Som det ses af tabel 4.1 er 3 1, 5 1, 5 2, 6 1 og 6 2 alle forskellige fra deres spejlbilleder. Derimod kan vi ikke sige noget om 4 1 og er faktisk lig sit eget spejbillede, det skal du vise i opgave A 16 + A 12 + A A 8 A A 4 + A A 28 + A 24 A 20 + A 16 + A A 24 + A 20 A A 12 A 8 + A A 16 A 12 + A 8 2A A 4 + A A 20 2A A 12 2A 8 + 2A A A A 8 2A A 4 + 2A 8 A 12 Tabel 4.1: Jones-polynomium for knuder med op til 6 krydsninger At danne summen af to knuder er en simpel konstruktion. I afsnit 2.2 definerede vi summen af to uorienterede knuder. Vi kan også tage summen af to orienterede knuder, vi skal bare sørge for, at orienteringerne passer sammen. Derfor kunne vi håbe på, at Jones-polynomiet af summen af to knuder, var let at udtrykke ved Jones-polynomiet af de to knuder hver for sig. Det er heldigvis også tilfældet. Der gælder nemlig, at V K1#K 2 = V K1 V K2. (4.3) Det ses nemmest ved at lave et eksempel, og se, at fremgangsmåden vil generalisere til tilfældet med to vilkårlige knuder. Idéen er at bruge definitionen af Kauffmanparentesen på alle krydsningerne i den ene knude, K 1, og lade den anden knude, K 2, være. Til sidst vil vi få, at alle led i Kauffman-parentesen skal ganges med K 2. Da w(k 1 #K 2 ) = w(k 1 ) + w(k 2 ) følger formel (4.3) pr. definition af Jones-polynomiet. Eksempel I dette eksempel vil vi beregne Jones-polynomiet af 3 1 #3 1. = A + A 1 = A A 2 = (A 7 A 3 A 5 ) = Ovenstående beregning viser, at Kauffman-parentesen splittes op som et produkt. Altså at 3 1 #3 1 = Det er tydeligt, at dette eksempel kan generaliseres til enhver sum af to knuder, K 1, K 2, så vi har K 1 #K 2 = K 1 K 2. For at beregne Jones-polynomiet skal vi vælge os en orientering af vores knude. I bemærkning 4.17 blev det nævnt, at vridningstallet for knuder ikke afhænger af orienteringen. Vi kan derfor blot vælge os en tilfældig orientering. Summen af to knuder er konstrueret på en sådan måde, at vi ikke introducerer nye krydsninger. 23

27 Perspektiv Derfor er det klart, at w(k 1 #K 2 ) = w(k 1 ) + w(k 2 ) og særligt gælder altså, at w(3 1 #3 1 ) = w(3 1 ) + w(3 1 ). Vi har derfor V 31#3 1 (A) = ( A) 3w(31#31) 3 1 #3 1 = ( A) 3w(31) 3 1 ( A) 3w(31) 3 1 = V 31 (A)V 31 (A) = ( A 16 + A 12 + A 4 )( A 16 + A 12 + A 4 ) = A 12 + A 8 A A 4 + A 8 A 12. Bemærkning Man kan vise, at i Jones-polynomiet af en knude, er potenserne af A altid divisible med 4. Faktisk gælder det for ethvert link, der er sammensat af et ulige antal knuder. Vi har dermeden indikator for, om vores udregninger er rigtige Perspektiv Skal man klassificere alle knuder, er det mest naturlige at se på en knudes umiddelbare egenskaber. Den mest tydelige egenskab er antallet af krydsninger i diagrammet. Lad K være en knude og D et diagram af K. Antallet af krydsninger i D er naturligvis ikke en knudeinvariant. Fordi, hvis der laves både R1 eller R2 på D, ændres antallet af krydsninger. Reidemeisters sætning giver, at en knudeinvariant ikke må ændre sig under Reidemeistertransformationer. Definer krydsningstallet af K som det minimale antal krydsninger i et diagram af K. Krydsningstallet er per definition en knudeinvariant. Vi vil gerne lave en liste, hvor knuderne er grupperet efter deres krydsningstal. Ganske som vi har gjort det i figur 2.6. For at kunne lave en sådan liste skal vi have en nem måde, at beregne krydsningstallet af en knude på. Som udgangspunkt er det jo nærmest en umulig opgave, da der er uendeligt mange forskellige knudediagrammer, der hører til den samme knude. Har man leget med Reidemeistertransformationerne, og samtidig tænkt over, hvad der sker med antallet af krydsninger i et diagram, vil det ikke være helt urimeligt, at stille sig selv følgende spørgsmål: Har et reduceret alternerende diagram (dvs. diagrammet ikke er af formen i figur 4.1 og alterende betyder, at diagrammet skiftevis har over- og underkrydsninger) et minimalt antal krydsninger? At det forholder sig sådan, var en formodning, der blev fremsat tilbage i knudeteoriens spæde begyndelse omkring Formodningen blev lavet af den skotske fysiker Peter Guthrie Tait. Kauffman, Murasugi og Thistlethwaite beviste i 1987 formodningen. Tait formodede også, at ingen knude, der har et reduceret alternerende diagram med vridningstal 0, er lig dens egen spejling. Denne formodning blev bevist i 1988 af Thistlethwaite. Alle formodningerne blev bevist med Jones-polynomiet. Inden Jones-polynomiets opfindelse havde ingen nogen idé om, hvordan formodningerne skulle angribes. Figur 4.1: Ikke-reduceret diagram Taits formodninger er ikke Jones-polynomiets eneste anvendelsesmuligheder. En af Jones-polynomiets vigtigste egenskaber er af mere historisk karakter. Som det fremgår af dette kapitel, er Jones-polynomiet en meget effektiv linkinvariant, altså forholdsvist let at beregne, og det kan adskille langt de fleste links. Fordi Jones-polynomiet er effektivt, lagde det, i de følgende år, kimen til en opblomstring af interessante lignende linkinvarianter. Det var særligt, da fysikeren Edward Witten i 1988 gav en forbindelse 24

Knudeteori. Introduktion Isotopi-begrebet Trefarvning af knuder Primknuder og knudeklassifikation Jones-polynomiet Flere invarianter Nogle anvendelser

Knudeteori. Introduktion Isotopi-begrebet Trefarvning af knuder Primknuder og knudeklassifikation Jones-polynomiet Flere invarianter Nogle anvendelser Knudeteori Introduktion Isotopi-begrebet Trefarvning af knuder Primknuder og knudeklassifikation Jones-polynomiet Flere invarianter Nogle anvendelser 1 Reklame Kenneth Hansen Knudeteori Forlaget Systime

Læs mere

Matematiske. knuder og kæder. Benjamin Muntz Lærer ved H.C. Ørsted Gymnasiet

Matematiske. knuder og kæder. Benjamin Muntz Lærer ved H.C. Ørsted Gymnasiet Matematiske knuder og kæder Benjamin Muntz Lærer ved H.C. Ørsted Gymnasiet bmmuntz@gmail.com Forventninger Hvad ved vi om knuder? Hvad er en matematisk knude? 1. Knuden eksisterer i 3 dimensioner. 2. d

Læs mere

Knuder, lænker og fletninger.

Knuder, lænker og fletninger. Regionalmøde Esbjerg 2012 Aalborg Universitet Hvorfor dette emne? Der er god matematik i knuder. Der er flotte billeder. Der er splinternye anvendelser i biologi/kemi. Gymnasieelever kan arbejde med knuder.

Læs mere

π er irrationel Frank Nasser 10. december 2011

π er irrationel Frank Nasser 10. december 2011 π er irrationel Frank Nasser 10. december 2011 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold 1 Introduktion

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

Andengradsligninger. Frank Nasser. 12. april 2011

Andengradsligninger. Frank Nasser. 12. april 2011 Andengradsligninger Frank Nasser 12. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk: Dette

Læs mere

Andengradsligninger. Frank Nasser. 11. juli 2011

Andengradsligninger. Frank Nasser. 11. juli 2011 Andengradsligninger Frank Nasser 11. juli 2011 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold 1 Introduktion

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

Oprids over grundforløbet i matematik

Oprids over grundforløbet i matematik Oprids over grundforløbet i matematik Dette oprids er tænkt som en meget kort gennemgang af de vigtigste hovedpointer vi har gennemgået i grundforløbet i matematik. Det er en kombination af at repetere

Læs mere

Omskrivningsregler. Frank Nasser. 10. december 2011

Omskrivningsregler. Frank Nasser. 10. december 2011 Omskrivningsregler Frank Nasser 10. december 2011 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold 1 Introduktion

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

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

Implikationer og Negationer

Implikationer og Negationer Implikationer og Negationer Frank Villa 5. april 2014 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

Løsning af simple Ligninger

Løsning af simple Ligninger Løsning af simple Ligninger Frank Nasser 19. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk:

Læs mere

Vektorer og lineær regression

Vektorer og lineær regression Vektorer og lineær regression Peter Harremoës Niels Brock April 03 Planproduktet Vi har set, at man kan gange en vektor med et tal Et oplagt spørgsmål er, om man også kan gange to vektorer med hinanden

Læs mere

Vektorer og lineær regression. Peter Harremoës Niels Brock

Vektorer og lineær regression. Peter Harremoës Niels Brock Vektorer og lineær regression Peter Harremoës Niels Brock April 2013 1 Planproduktet Vi har set, at man kan gange en vektor med et tal. Et oplagt spørgsmål er, om man også kan gange to vektorer med hinanden.

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

Polynomiumsbrøker og asymptoter

Polynomiumsbrøker og asymptoter Polynomiumsbrøker og asymptoter Frank Villa 9. marts 2012 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold

Læs mere

Matematikken i kunstig intelligens Opgaver om koordinerende robotter

Matematikken i kunstig intelligens Opgaver om koordinerende robotter Matematikken i kunstig intelligens Opgaver om koordinerende robotter Thomas Bolander 2. juni 2018 Vejledning til opgaver Opgave 1 kan eventuelt springes over, hvis man har mindre tid. De resterende opgaver

Læs mere

Matematikken i kunstig intelligens Opgaver om koordinerende robotter LØSNINGER

Matematikken i kunstig intelligens Opgaver om koordinerende robotter LØSNINGER Matematikken i kunstig intelligens Opgaver om koordinerende robotter LØSNINGER Thomas Bolander 25. april 2018 Vejledning til opgaver Opgave 1 kan eventuelt springes over, hvis man har mindre tid. De resterende

Læs mere

Analytisk Geometri. Frank Nasser. 12. april 2011

Analytisk Geometri. Frank Nasser. 12. april 2011 Analytisk Geometri Frank Nasser 12. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk: Dette er

Læs mere

Elementær Matematik. Mængder og udsagn

Elementær Matematik. Mængder og udsagn Elementær Matematik Mængder og udsagn Ole Witt-Hansen 2011 Indhold 1. Mængder...1 1.1 Intervaller...4 2. Matematisk Logik. Udsagnslogik...5 3. Åbne udsagn...9 Mængder og Udsagn 1 1. Mængder En mængde er

Læs mere

Fraktaler Mandelbrots Mængde

Fraktaler Mandelbrots Mængde Fraktaler Mandelbrots Mængde Foredragsnoter Af Jonas Lindstrøm Jensen Institut For Matematiske Fag Århus Universitet Indhold Indhold 1 1 Indledning 3 2 Komplekse tal 5 2.1 Definition.......................................

Læs mere

Egenskaber ved Krydsproduktet

Egenskaber ved Krydsproduktet Egenskaber ved Krydsproduktet Frank Nasser 23. december 2011 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold

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

Archimedes Princip. Frank Nasser. 12. april 2011

Archimedes Princip. Frank Nasser. 12. april 2011 Archimedes Princip Frank Nasser 12. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk: Dette er

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

Projekt Pascals trekant

Projekt Pascals trekant ISBN 988089 Projekter: Kapitel 9 Projekt 9 Pascals trekant Projekt 9 Pascals trekant Et af målene i dette afsnit er at generalisere kvadratsætningerne, så vi fx umiddelbart og uden nødvendigvis at bruge

Læs mere

Matematisk modellering og numeriske metoder. Lektion 16

Matematisk modellering og numeriske metoder. Lektion 16 Matematisk modellering og numeriske metoder Lektion 16 Morten Grud Rasmussen 6. november, 2013 1 Interpolation [Bogens afsnit 19.3 side 805] 1.1 Interpolationspolynomier Enhver kontinuert funktion f på

Læs mere

Spilstrategier. Indhold. Georg Mohr-Konkurrencen. 1 Vindermængde og tabermængde 2. 2 Kopier modpartens træk 4

Spilstrategier. Indhold. Georg Mohr-Konkurrencen. 1 Vindermængde og tabermængde 2. 2 Kopier modpartens træk 4 Indhold 1 Vindermængde og tabermængde 2 2 Kopier modpartens træk 4 3 Udnyt modpartens træk 5 4 Strategityveri 6 5 Løsningsskitser 7 Spilstrategier De spiltyper vi skal se på her, er primært spil af følgende

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

Fraktaler. Mandelbrots Mængde. Foredragsnoter. Af Jonas Lindstrøm Jensen. Institut For Matematiske Fag Århus Universitet

Fraktaler. Mandelbrots Mængde. Foredragsnoter. Af Jonas Lindstrøm Jensen. Institut For Matematiske Fag Århus Universitet Fraktaler Mandelbrots Mængde Foredragsnoter Af Jonas Lindstrøm Jensen Institut For Matematiske Fag Århus Universitet Indhold Indhold 1 1 Komplekse tal 3 1.1 Definition.......................................

Læs mere

Vektorfelter langs kurver

Vektorfelter langs kurver enote 25 1 enote 25 Vektorfelter langs kurver I enote 24 dyrkes de indledende overvejelser om vektorfelter. I denne enote vil vi se på vektorfelternes værdier langs kurver og benytte metoder fra enote

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

Polynomier. Frank Villa. 26. marts 2012

Polynomier. Frank Villa. 26. marts 2012 Polynomier Frank Villa 26. marts 2012 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold 1 Introduktion 2

Læs mere

Funktionsterminologi

Funktionsterminologi Funktionsterminologi Frank Nasser 12. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk: Dette

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

Om begrebet relation

Om begrebet relation Om begrebet relation Henrik Stetkær 11. oktober 2005 Vi vil i denne note diskutere det matematiske begreb en relation, herunder specielt ækvivalensrelationer. 1 Det abstrakte begreb en relation Som ordet

Læs mere

Her er et spørgsmål, du måske aldrig har overvejet: kan man finde to trekanter med samme areal?

Her er et spørgsmål, du måske aldrig har overvejet: kan man finde to trekanter med samme areal? Her er et spørgsmål, du måske aldrig har overvejet: kan man finde to trekanter med samme areal? Det er ret let at svare på: arealet af en trekant, husker vi fra vor kære folkeskole, findes ved at gange

Læs mere

Invarianter. 1 Paritet. Indhold

Invarianter. 1 Paritet. Indhold Invarianter En invariant er en størrelse der ikke ændrer sig, selv om situationen ændrer sig. I nogle kombinatorikopgaver hvor man skal undersøge hvilke situationer der er mulige, er det ofte en god idé

Læs mere

Pointen med Differentiation

Pointen med Differentiation Pointen med Differentiation Frank Nasser 20. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk:

Læs mere

Afstande, skæringer og vinkler i rummet

Afstande, skæringer og vinkler i rummet Afstande, skæringer og vinkler i rummet Frank Nasser 9. april 20 c 2008-20. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her.

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

Tal. Vi mener, vi kender og kan bruge følgende talmængder: N : de positive hele tal, Z : de hele tal, Q: de rationale tal.

Tal. Vi mener, vi kender og kan bruge følgende talmængder: N : de positive hele tal, Z : de hele tal, Q: de rationale tal. 1 Tal Tal kan forekomme os nærmest at være selvfølgelige, umiddelbare og naturgivne. Men det er kun, fordi vi har vænnet os til dem. Som det vil fremgå af vores timer, har de mange overraskende egenskaber

Læs mere

Forslag til løsning af Opgaver til afsnittet om de naturlige tal (side 80)

Forslag til løsning af Opgaver til afsnittet om de naturlige tal (side 80) Forslag til løsning af Opgaver til afsnittet om de naturlige tal (side 80) Opgave 1 Vi skal tegne alle de linjestykker, der forbinder vilkårligt valgte punkter blandt de 4 punkter. Gennem forsøg finder

Læs mere

De rigtige reelle tal

De rigtige reelle tal De rigtige reelle tal Frank Villa 17. januar 2014 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

Broer, skak og netværk Carsten Thomassen: Naturens Verden 10, 1992, s. 388-393.

Broer, skak og netværk Carsten Thomassen: Naturens Verden 10, 1992, s. 388-393. Broer, skak og netværk Side 1 af 6 Broer, skak og netværk Carsten Thomassen: Naturens Verden 10, 1992, s. 388-393. Eksempler på praktiske anvendelser af matematik og nogle uløste problemer Indledning Figur

Læs mere

Afstande, skæringer og vinkler i rummet

Afstande, skæringer og vinkler i rummet Afstande, skæringer og vinkler i rummet Frank Villa 2. maj 202 c 2008-20. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold

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

Flader. Søren Fuglede Jørgensen 11. november 2014

Flader. Søren Fuglede Jørgensen 11. november 2014 Flader Søren Fuglede Jørgensen 11. november 2014 Resumé I noterne her vil vi betragte begrebet flade fra et par forskellige synspunkter samt beskrive forskellige eksempler på flader. Vi vil desuden se

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

Maple. Skærmbilledet. Vi starter med at se lidt nærmere på opstartsbilledet i Maple. Værktøjslinje til indtastningsområdet. Menulinje.

Maple. Skærmbilledet. Vi starter med at se lidt nærmere på opstartsbilledet i Maple. Værktøjslinje til indtastningsområdet. Menulinje. Maple Dette kapitel giver en kort introduktion til hvordan Maple 12 kan benyttes til at løse mange af de opgaver, som man bliver mødt med i matematiktimerne på HHX. Skærmbilledet Vi starter med at se lidt

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

Mat H /05 Note 2 10/11-04 Gerd Grubb

Mat H /05 Note 2 10/11-04 Gerd Grubb Mat H 1 2004/05 Note 2 10/11-04 Gerd Grubb Nødvendige og tilstrækkelige betingelser for ekstremum, konkave og konvekse funktioner. Fremstillingen i Kapitel 13.1 2 af Sydsæters bog [MA1] suppleres her med

Læs mere

Funktionsterminologi

Funktionsterminologi Funktionsterminologi Frank Villa 17. januar 2014 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

Euklids algoritme og kædebrøker

Euklids algoritme og kædebrøker Euklids algoritme og kædebrøker Michael Knudsen I denne note vil vi med Z, Q og R betegne mængden af henholdsvis de hele, de rationale og de reelle tal. Altså er { m } Z = {..., 2,, 0,, 2,...} og Q = n

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

Matematik interne delprøve 09 Tesselering

Matematik interne delprøve 09 Tesselering Frederiksberg Seminarium Opgave nr. 60 Matematik interne delprøve 09 Tesselering Line Købmand Petersen 30281023 Hvad er tesselering? Tesselering er et mønster, der består af en eller flere figurer, der

Læs mere

Værktøjskasse til analytisk Geometri

Værktøjskasse til analytisk Geometri Værktøjskasse til analytisk Geometri Frank Nasser 0. april 0 c 008-0. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk:

Læs mere

Differentialregning. Ib Michelsen

Differentialregning. Ib Michelsen Differentialregning Ib Michelsen Ikast 2012 Forsidebilledet Tredjegradspolynomium i blåt med rød tangent Version: 0.02 (18-09-12) Denne side er (~ 2) Indholdsfortegnelse Introduktion...5 Definition af

Læs mere

Punktmængdetopologi. Mikkel Stouby Petersen. 1. marts 2013

Punktmængdetopologi. Mikkel Stouby Petersen. 1. marts 2013 Punktmængdetopologi Mikkel Stouby Petersen 1. marts 2013 I kurset Matematisk Analyse 1 er et metrisk rum et af de mest grundlæggende begreber. Et metrisk rum (X, d) er en mængde X sammen med en metrik

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

Afstandsformlen og Cirklens Ligning

Afstandsformlen og Cirklens Ligning Afstandsformlen og Cirklens Ligning Frank Villa 19. august 2012 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk.

Læs mere

Analytisk geometri. Et simpelt eksempel på dette er en ret linje. Som bekendt kan en ret linje skrives på formen

Analytisk geometri. Et simpelt eksempel på dette er en ret linje. Som bekendt kan en ret linje skrives på formen Analtisk geometri Mike Auerbach Odense 2015 Den klassiske geometri beskæftiger sig med alle mulige former for figurer: Linjer, trekanter, cirkler, parabler, ellipser osv. I den analtiske geometri lægger

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

Banach-Tarski Paradokset

Banach-Tarski Paradokset 32 Artikeltype Banach-Tarski Paradokset Uden appelsiner Andreas Hallbäck Langt de fleste af os har nok hørt om Banach og Tarskis såkaldte paradoks fra 1924. Vi har hørt diverse poppede formuleringer af

Læs mere

Matema10k. Matematik for hhx C-niveau. Arbejdsark til kapitlerne i bogen

Matema10k. Matematik for hhx C-niveau. Arbejdsark til kapitlerne i bogen Matema10k Matematik for hhx C-niveau Arbejdsark til kapitlerne i bogen De følgende sider er arbejdsark og opgaver som kan bruges som introduktion til mange af bogens kapitler og underemner. De kan bruges

Læs mere

Problemløsning i retvinklede trekanter

Problemløsning i retvinklede trekanter Problemløsning i retvinklede trekanter Frank Villa 14. februar 2012 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug

Læs mere

Pointen med Funktioner

Pointen med Funktioner Pointen med Funktioner Frank Nasser 0. april 0 c 0080. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk: Dette er en

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

Der er facit på side 7 i dokumentet. Til opgaver mærket med # er der vink eller kommentarer på side 6.

Der er facit på side 7 i dokumentet. Til opgaver mærket med # er der vink eller kommentarer på side 6. Der er facit på side 7 i dokumentet. Til opgaver mærket med # er der vink eller kommentarer på side 6. 1. Figuren viser grafen for en funktion f. Aflæs definitionsmængde og værdimængde for f. # Aflæs f

Læs mere

Værktøjskasse til analytisk Geometri

Værktøjskasse til analytisk Geometri Værktøjskasse til analytisk Geometri Frank Villa. september 04 Dette dokument er en del af MatBog.dk 008-0. IT Teaching Tools. ISBN-3: 978-87-9775-00-9. Se yderligere betingelser for brug her. Indhold

Læs mere

Hvad er matematik? C, i-bog ISBN 978 87 7066 499 8

Hvad er matematik? C, i-bog ISBN 978 87 7066 499 8 Et af de helt store videnskabelige projekter i 1700-tallets Danmark var kortlægningen af Danmark. Projektet blev varetaget af Det Kongelige Danske Videnskabernes Selskab og løb over en periode på et halvt

Læs mere

Regning. Mike Vandal Auerbach ( 7) 4x 2 y 2xy 5. 2x + 4 = 3. (x + 3)(2x 1) = 0. (a + b)(a b) a 2 + b 2 2ab.

Regning. Mike Vandal Auerbach ( 7) 4x 2 y 2xy 5. 2x + 4 = 3. (x + 3)(2x 1) = 0. (a + b)(a b) a 2 + b 2 2ab. Mike Vandal Auerbach Regning + 6 ( 7) (x + )(x 1) = 0 x + = 7 + x y xy 5 7 + 5 (a + (a a + b ab www.mathematicus.dk Regning 1. udgave, 018 Disse noter er en opsamling på generelle regne- og algebraiske

Læs mere

Spilstrategier. 1 Vindermængde og tabermængde

Spilstrategier. 1 Vindermængde og tabermængde Spilstrategier De spiltyper vi skal se på her, er primært spil af følgende type: Spil der spilles af to spillere A og B som skiftes til at trække, A starter, og hvis man ikke kan trække har man tabt. Der

Læs mere

Kapitel 2 Tal og variable

Kapitel 2 Tal og variable Tal og variable Uden tal ingen matematik - matematik handler om tal og anvendelse af tal. Matematik beskæftiger sig ikke udelukkende med konkrete problemer fra andre fag, og de konkrete tal fra andre fagområder

Læs mere

Matematik og samfundsfag Gini-koefficienten

Matematik og samfundsfag Gini-koefficienten Erik Vestergaard www.matematikfysik.dk Matematik og samfundsfag Gini-koefficienten Den såkaldte Gini-koefficient, introduceret i 92 i en artikel af den italienske statistiker, demograf og sociolog Corrado

Læs mere

Matematisk modellering og numeriske metoder. Lektion 8

Matematisk modellering og numeriske metoder. Lektion 8 Matematisk modellering og numeriske metoder Lektion 8 Morten Grud Rasmussen 18. oktober 216 1 Fourierrækker 1.1 Periodiske funktioner Definition 1.1 (Periodiske funktioner). En periodisk funktion f er

Læs mere

Komplekse tal. Mikkel Stouby Petersen 27. februar 2013

Komplekse tal. Mikkel Stouby Petersen 27. februar 2013 Komplekse tal Mikkel Stouby Petersen 27. februar 2013 1 Motivationen Historien om de komplekse tal er i virkeligheden historien om at fjerne forhindringerne og gøre det umulige muligt. For at se det, vil

Læs mere

Egenskaber ved Krydsproduktet

Egenskaber ved Krydsproduktet Egenskaber ved Krydsproduktet Frank Nasser 12. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk:

Læs mere

Projekt 4.6 Løsning af differentialligninger ved separation af de variable

Projekt 4.6 Løsning af differentialligninger ved separation af de variable Projekt 4.6 Løsning af differentialligninger ved separation af de variable Differentialligninger af tpen d hx () hvor hx ()er en kontinuert funktion, er som nævnt blot et stamfunktionsproblem. De løses

Læs mere

matx.dk Differentialregning Dennis Pipenbring

matx.dk Differentialregning Dennis Pipenbring mat.dk Differentialregning Dennis Pipenbring 0. december 00 Indold Differentialregning 3. Grænseværdi............................. 3. Kontinuitet.............................. 8 Differentialkvotienten

Læs mere

Vinkelrette linjer. Frank Villa. 4. november 2014

Vinkelrette linjer. Frank Villa. 4. november 2014 Vinkelrette linjer Frank Villa 4. november 2014 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

Projekt 7.9 Euklids algoritme, primtal og primiske tal

Projekt 7.9 Euklids algoritme, primtal og primiske tal Projekter: Kapitel 7 Projekt 79 Euklids algoritme, primtal og primiske tal Projekt 79 Euklids algoritme, primtal og primiske tal Projektet giver et kig ind i metodee i modee talteori Det kan udbygges med

Læs mere

Differentialregning Infinitesimalregning

Differentialregning Infinitesimalregning Udgave 2.1 Differentialregning Infinitesimalregning Noterne gennemgår begreberne differentialregning, og anskuer dette som et derligere redskab til vækst og funktioner. Noterne er supplement til kapitel

Læs mere

Nogle grundlæggende begreber

Nogle grundlæggende begreber BE2-kursus 2010 Jørgen Larsen 5. februar 2010 Nogle grundlæggende begreber Lidt simpel mængdelære Mængder består af elementer; mængden bestående af ingen elementer er, den tomme mængde. At x er element

Læs mere

Grundlæggende Matematik

Grundlæggende Matematik Grundlæggende Matematik Hayati Balo, AAMS August 2012 1. Matematiske symboler For at udtrykke de verbale udsagn matematisk korrekt, så det bliver lettere og hurtigere at skrive, indføres en række matematiske

Læs mere

Tilhørende: Robert Nielsen, 8b. Geometribog. Indeholdende de vigtigste og mest basale begreber i den geometriske verden.

Tilhørende: Robert Nielsen, 8b. Geometribog. Indeholdende de vigtigste og mest basale begreber i den geometriske verden. Tilhørende: Robert Nielsen, 8b Geometribog Indeholdende de vigtigste og mest basale begreber i den geometriske verden. 1 Polygoner. 1.1 Generelt om polygoner. Et polygon er en figur bestående af mere end

Læs mere

P2-projektforslag Kombinatorik: grafteori og optimering.

P2-projektforslag Kombinatorik: grafteori og optimering. P2-projektforslag Kombinatorik: grafteori og optimering. Vejledere: Leif K. Jørgensen, Diego Ruano 1. februar 2013 1 Indledning Temaet for projekter på 2. semester af matematik-studiet og matematikøkonomi-studiet

Læs mere

Kvadratiske matricer. enote Kvadratiske matricer

Kvadratiske matricer. enote Kvadratiske matricer enote enote Kvadratiske matricer I denne enote undersøges grundlæggende egenskaber ved mængden af kvadratiske matricer herunder indførelse af en invers matrix for visse kvadratiske matricer. Det forudsættes,

Læs mere

Grafmanipulation. Frank Nasser. 14. april 2011

Grafmanipulation. Frank Nasser. 14. april 2011 Grafmanipulation Frank Nasser 14. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk: Dette er

Læs mere

Asymptoter. for standardforsøgene i matematik i gymnasiet. 2003 Karsten Juul

Asymptoter. for standardforsøgene i matematik i gymnasiet. 2003 Karsten Juul Asymptoter for standardforsøgene i matematik i gymnasiet 2003 Karsten Juul Indledning om lodrette asymptoter Lad f være funktionen bestemt ved =, 2. 2 Vi udregner funktionsværdierne i nogle -værdier der

Læs mere

Projekt 2.5 Brændpunkt og ledelinje for parabler

Projekt 2.5 Brændpunkt og ledelinje for parabler Hvad er matematik? Projekter: Kapitel. Projekt.5 Brændpunkt og ledelinje for parabler Projekt.5 Brændpunkt og ledelinje for parabler En af de vigtigste egenskaber ved en parabel er, at den har et såkaldt

Læs mere

BEVISER TIL KAPITEL 3

BEVISER TIL KAPITEL 3 BEVISER TIL KAPITEL 3 Alle beviserne i dette afsnit bruger følgende algoritme fra side 88 i bogen. Algoritme: Fremgangsmåde til udledning af forskellige regneregler for differentiation af forskellige funktionstyper

Læs mere

Analyse 2. Bevis af Fatous lemma (Theorem 9.11) Supplerende opgave 1. Øvelser

Analyse 2. Bevis af Fatous lemma (Theorem 9.11) Supplerende opgave 1. Øvelser Analyse 2 Øvelser Rasmus Sylvester Bryder 24. og 27. september 203 Bevis af Fatous lemma (Theorem 9.) Hvis (u j ) j er en følge af positive, målelige, numeriske funktioner (dvs. med værdier i [, ]) over

Læs mere

z j 2. Cauchy s formel er værd at tænke lidt nærmere over. Se på specialtilfældet 1 dz = 2πi z

z j 2. Cauchy s formel er værd at tænke lidt nærmere over. Se på specialtilfældet 1 dz = 2πi z Matematik F2 - sæt 3 af 7 blok 4 f(z)dz = 0 Hovedemnet i denne uge er Cauchys sætning (den der står i denne sides hoved) og Cauchys formel. Desuden introduceres nulpunkter og singulariteter: simple poler,

Læs mere

Matematisk induktion

Matematisk induktion Induktionsbeviser MT01.0.07 1 1 Induktionsbeviser Matematisk induktion Sætninger der udtaler sig om hvad der gælder for alle naturlige tal n N, kan undertiden bevises ved matematisk induktion. Idéen bag

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

Differential- regning

Differential- regning Differential- regning del f(5) () f f () f ( ) I 5 () 006 Karsten Juul Indhold 6 Kontinuert funktion 7 Monotoniforhold7 8 Lokale ekstrema44 9 Grænseværdi5 Differentialregning del udgave 006 006 Karsten

Læs mere