De wiskundige knoop LIO-project Gesubsidieerd door NWO

Presentatie over: "De wiskundige knoop LIO-project Gesubsidieerd door NWO"— Transcript van de presentatie:

1 De wiskundige knoop LIO-project Gesubsidieerd door NWO
Uitvoerder: Ab van der Roest Begeleider: Arjeh Cohen Plaats: Technische Universiteit Eindhoven

2

3 Knoop op Hoog Catharijne te Utrecht

4 Gemaakt door Shinkichi Tajiri

5

6

7 Borromean ringen op Iso la Bella

8

9 Mastworp (voor de zeilers)

10 Achtknoop (voor de bergbeklimmers)

11 Decoratieve knoop

12 knopentruck

13 wiskundige knoop Een knoop is een gesloten kromme in de drie dimensionale ruimte die geen zelfdoor-snijdingen heeft

14 wiskundige knoop Andere benadering om knopen te bestuderen:
α: S1 → S3 is een inbedding van een knoop bestudeer nu de topologie van de complementaire ruimte S3-α(S1)

15 wiskundige knoop of onderzoek hoe gekromd de gesloten kromme is
stelling van Fary-Milnor: als de totale kromming ∫κ ≤ 4π dan is de knoop de triviale knoop als de totale kromming ∫κ > 4π dan is de knoop echt geknoopt

16 Van knoop naar diagram Projecteer de knoop op een plat vlak
Geef duidelijk aan of je een boven- of onderkruising hebt

17 wiskundige knoop Eén van de hoofdvragen: welke knopen zijn er en wanneer zijn knopen echt verschillend knopentabel

18 wiskundige knoop 3 4 5 6 7 8 9 10 11 12 13 14 1 2 21 49 165 552 2176 9988 ?

19 wiskundige knoop Twee voorbeelden van knopen die er ingewikkeld uit zien, maar eenvoudige knopen blijken te zijn

20 Hoe onderscheiden we knopen die gelijk zijn?
Kurt Reidemeister beschreef drie bewegingen op een knoopdiagram: R1

21 R2

22 R3

23 Reidemeister stelde: als knoop K en L isotoop zijn, bestaat er een eindige rij Reidemeisterbewegingen die het diagram van knoop K overzet in het diagram van knoop L. Opmerking: als dit niet lukt weet je nog niets; misschien ben je gewoon niet handig genoeg!

24 invarianten Een invariant is een eigenschap van een knoop die niet veranderd als we de knoop “vervormen”. Een invariant blijft dus behouden onder de Reidemeistebewegingen.

25 invarianten Aantal kruisingen: nee Verstrengelingsgetal: nee
Schakelgetal: ja Aantal driekleurigen: ja Veeltermen: ja

26 verstrengelingsgetal
Een kruising in een diagram krijgt de waarde +1 of -1 met de volgende systematiek Het verstrengelingsgetal is de som van die waardes van de kruisingen.

27 verstrengelingsgetal
Verstrengelingsgetal w(T) = -3

28 verstrengelingsgetal
Geen invariant: voeg een extra kruising toe met behulp van R1; de totale som zal veranderen.

29 driekleuringen Een diagram wordt gekleurd met drie kleuren volgens de regels: Bij een kruising komen precies drie kleuren Bij een kruising komt precies één kleur

30 driekleuring Invariant na te gaan met de Reidemeisterbewegingen

31 driekleuring

32 Kauffman-haakje Een veelterm die uitgerekend wordt voor een niet-georiënteerd diagram Het vlak wordt door een kruising in “vieren” gedeeld en volgens de onderstaande systematiek benoemd:

33 Kauffman-haakje Vervolgens splitsen we de kruising:

34 Kauffman-haakje We doen dit voor elke kruising en zo kunnen we voor een diagram met n kruisingen 2n nieuwe diagrammen maken, die toestanden noemen.

35 Kauffman-haakje Definitie:
Zij K een knoop en S een toestand van het knoopdiagram; c(S) is het aantal componenten; a(S) het aantal A-splistsingen en b(S) het aantal B-splitsingen Kauffman-haakje wordt berekend met de formule:

36 Kauffman-haakje

37 Kauffman-haakje Berekening van Kauffman-haakje voor de klaverbladknoop: zie werklblad

38 Kauffman-haakje <T> = A3d2 + 3A2Bd + 3AB2 + B3d
Op grond van de invariantie onder de Reidemeisterbewegingen moet er voor A, B en d de volgende relaties gelden: B = A-1 d = -(A2+A-2) gevolg: <T> = A7 − A3 − A-5

39 Kauffmanveelterm Kauffmanveelterm voor een georiënteerd knoopdiagram: w(K) is het verstrengelings-getal van knoop K en <K> is de Kauffman-haakje dan is de Kauffamanveelterm: fK(A)=(−A)-3w(K)<K>

40 Kauffmanveelterm In ons voorbeeld: w(T) = -3 = -A16 + A12 + A4
fK(T) = (-A)9(A7 − A3 − A-5) = -A16 + A12 + A4 Merk op dat wanneer je elke bovenkruising verandert in een onderkruising de veelterm verandert in fL = -A-16 + A-12 + A-4 en op grond daarvan kunnen we zien dat K en L verschillend zijn.

41 Jonesveelterm Weefrelatie

42 Jonesveelterm De Jonesveelterm VK is gedefinieerd voor een georiënteerd diagram en maakt gebruik van de weefrelatie: voor een diagram dat op één kruising verandert geldt de volgende bewering:

43 Jonesveelterm Gevolg van deze definitie is: bevat een knoop K niet geschakelde componenten dan is de Jonesveelterm:

44 Jonesveelterm

45 Jonesveelterm Voorbeeld:

46 Jonesveelterm

47 vlechten

48 vlechten

49 vlechten

50 vlechten Elke vlecht is een knoop Elke knoop is een vlecht
Algoritme van Yamada-Vogel knoop

51 literatuur boeken: The Knot Book Colin C. Adams
Knots and Physics Louis H. Kauffman Knots Alexei Sossinsky

52 internet Homepage van Dror Bar-Natan, met onder andere de knopenatlas Een webpage gemaakt door Stuart Rankin; hiermee kun je mooie plaatjes maken van elke knoop die je maar wilt hebben. Een webpage gemaakt door Robert Scharein. Deze page bevat veel links; je kunt er ook het programma KnotPlot downloaden. Een page gemaakt door Bryson R. Payne. Veel informatie over de knopentheorie.