Elliptische krommen en hun topologische aspecten

Maat: px
Weergave met pagina beginnen:

Download "Elliptische krommen en hun topologische aspecten"

Transcriptie

1 Elliptische krommen en hun topologische aspecten René Pannekoek 25 januari 2011 Dit is een korte introductie tot elliptische krommen voor het bachelorseminarium van de Universiteit Leiden. De bespreking van de rationale punten op elliptische krommen in de reële topologie is nogal beknopt, de bespreking van de p-adische topologie geheel afwezig. Misschien dat dit euvel in de toekomst nog eens wordt verholpen. 1 De vergelijking van Bachet Zij c een geheel getal. Stel dat we geïnteresseerd zijn in oplossingen van de vergelijking y 2 x 3 = c (1) met x, y Q. De Fransman Claude Gaspard Bachet de Méziriac ( ) ontdekte het volgende: Stelling 1. Als (x, y) een oplossing is van (1), dan is ( ) x 4 8cx, x6 20cx 3 + 8c 2 4y 2 8y 3 ook een oplossing. Het doel van deze voordracht is om bovenstaande stelling te begrijpen in de meer algemene context van de theorie van elliptische krommen en hun groepswet. 2 Elliptische krommen We geven nu de definitie van een elliptische kromme 1. We kiezen ervoor om ons te beperken tot vlakke krommen, dat wil zeggen krommen die deelverzamelingen zijn van 1 Let erop dat deze definitie niet standaard is. Een goede definitie van elliptische krommen vereist een bespreking van het projectieve vlak, iets wat we hier achterwege willen laten omdat het voor een kort overzicht te veel tijd in beslag neemt. Een juiste definitie van een elliptische kromme is als een deelverzameling van het projectieve vlak. 1

2 het affiene vlak K 2 = K K, voor een zeker lichaam K. (In de syllabus van Algebra 2 wordt het vlak ook wel aangegeven met de notatie A 2 (K).) We beperken ons tot het geval waarin K een algebraïsch afgesloten lichaam is, bovendien eisen we dat kar(k) 2, 3; dit lichten we zometeen toe. Definitie 2. Zij K een algebraïsch afgesloten lichaam van karakteristiek 2, 3. Een elliptische kromme E over K is een deelverzameling E K 2 bestaande uit alle (x, y) zodanig dat y 2 = x 3 + ax + b voor zekere a, b K zodanig dat 4a b 2 0. Stel nu dat K 1 een deellichaam is van K. Soms (zeker in beschouwingen aangaande getaltheorie) willen we onze beschouwingen beperken tot de punten van een elliptische kromme die over K 1 gedefinieerd zijn. Hiertoe de volgende definitie: Definitie 3. Zij K algebraïsch afgesloten en K 1 K een deellichaam. Zij E een elliptische kromme over K. We definiëren de groep van punten van E over K 1 als: E(K 1 ) = {(x, y) E : x, y K 1 }. Opmerking 4. We nemen K algebraïsch afgesloten omdat anders a, b niet uniek vastgelegd worden door E. Bijvoorbeeld hebben de krommen E 1 gegeven door y 2 = x 3 +6 en E 2 gegeven door y 2 = x over Q beide geen punten over Q, oftewel E 1 (Q) = E 2 (Q) =. We willen een kromme op zo n manier definiëren dat we de vergelijking niet weggooien. Voor K algebraïsch afgesloten treedt dit probleem niet op en worden a, b uniek bepaald door E. (Dit volgt bijvoorbeeld uit Hilberts Nullstellensatz; een bespreking hiervan zou helaas te ver voeren.) De situatie is een beetje onbevredigend: enerzijds kijken we vaak naar vergelijkingen y 2 = x 3 + ax + b met coëfficiënten in een klein lichaam als Q of F q, anderzijds vereist onze meetkundige beschouwingswijze dat we naar de algebraïsche afsluiting kijken. Opmerking 5. Voor lichamen K van karakteristiek 2 of 3 kan men ook spreken over elliptische krommen over K, maar de definitie die wij boven gaven is dan niet meer de juiste. In plaats van krommen van de vorm y 2 = x 3 + ax + b (de zogenaamde korte Weierstrassvergelijking) moeten we in willekeurige karakteristiek kijken naar krommen met de vergelijking y 2 + a 1 xy + a 3 y = x 3 + a 2 x 2 + a 4 x + a 6 ; dit is de lange Weierstrassvergelijking 2. In karakteristiek 2 is geen enkele kromme gedefinieerd door een korte W.-vergelijking een elliptische kromme. In karakteristiek 3 is dit anders: elke korte W.-vergelijking met 4a b 2 0 geeft gewoon een elliptische kromme; de reden om karakteristiek 3 toch uit te sluiten is dat we niet alle isomorfieklassen krijgen als we alle mogelijke waarden voor a, b doorlopen. 2 Net als in Definitie 2 moeten we bepaalde combinaties van a 1, a 2, a 3, a 4, a 6 uitsluiten, maar dit leidt tot een vrij groot polynoom en het heeft weinig zin dat ik dit hier weergeef. 2

3 We herformuleren nu het probleem waarmee we begonnen als volgt. Zij c Z en zij E de elliptische kromme over Q gegeven door y 2 = x 3 + c. Het oplossen van de vergelijking van Bachet in rationale getallen komt neer op het bepalen van E(Q). Bachet zegt ons niet hoe wij deze vergelijking moeten oplossen, maar geeft ons, uitgaande van een oplossing met y 0, een manier om een nieuwe te vinden. (Het is niet geheel duidelijk dat we inderdaad een oplossing krijgen die verschilt van de oude oplossing, maar dit is wel het geval en volgt in het bijzonder uit de discussie hieronder.) 3 De groepswet 3.1 Het punt op oneindig Zij E een elliptische kromme over K gedefinieerd door y 2 = x 3 + ax + b en laat K 1 K een deellichaam zijn zodanig dat a, b bevat zijn in K 1. We zullen een operatie beschrijven die aan de meeste tweetallen P, Q E(K 1 ) een derde punt R E(K 1 ) toevoegt, en hiermee van E(K 1 ) bijna een abelse groep maakt. De manier om de onvolkomenheden 3 in de vorige zin te herstellen laat zich eenvoudig beschrijven: we moeten één element aan E(K 1 ) toevoegen. We definiëren dus de verzameling E(K 1 ) als de disjuncte vereniging van E(K 1 ) met een nulelement O, ook wel het punt op oneindig genoemd om redenen die we zo zullen tegenkomen. E(K 1 ) := E(K 1 ) {O} Om de notatie te bekorten definiëren we E(K) := E(K). We zullen E(K 1 ) de structuur van een groep geven waarin O de identiteit is. 3.2 De groepswet Laat L een lijn zijn in K 2, oftewel een deelverzameling gedefinieerd door α 1 x+α 2 y+α 3 = 0 met α 1, α 2, α 3 K en α 1, α 2 niet beide nul. Stel eerst dat α 2 0, dan is L van de vorm y = mx+n (m, n K). Als we L doorsnijden met E, dan vinden we voor x de vergelijking m 2 x 2 + 2mnx + n 2 = x 3 + ax + b oftewel x 3 m 2 x 2 + (a 2mn) x + b n 2 = 0 (2) 3 Deze zijn gerelateerd aan de opmerkingen in Noot 1. Het punt op oneindig is precies het punt dat we missen doordat we ons beperkt hebben tot het gewone, affiene vlak, dat bevat is in het projectieve vlak. 3

4 en deze vergelijking heeft drie oplossingen in K, gerekend met multipliciteit. Stel nu α 2 = 0. Dan is α 1 0 en L heeft de vorm x = p. We vinden voor y de vergelijking y 2 ( p 3 + ap + b ) = 0 (3) en deze heeft twee oplossingen, wederom gerekend met multipliciteit. In het algemeen vinden we dus als we een lijn L doorsnijden met E twee of drie snijpunten, en voor elk snijpunt hebben we een doorsnijdingsmultipliciteit. Bijna alle lijnen in K 2 hebben dus drie snijpunten met E, gerekend met multipliciteit. De intuïtie horend bij het punt op oneindig is nu dat de lijnen corresponderend met α 2 = 0 (oftewel de verticale lijnen) ook een derde snijpunt hebben, namelijk het punt op oneindig. Met dit in het achterhoofd kunnen we dus zeggen dat elke lijn L in K 2 de elliptische kromme E in drie punten doorsnijdt 4. Merk ook op dat een lijn L door O gaat dan en slechts dan als L een verticale lijn is, dat wil zeggen van de vorm x = p. We kunnen dus voor een willekeurig punt P E spreken over de lijn door P en O : dit is de unieke verticale lijn door P. De volgende definitie heeft nu zin: Definitie 6. Zij E een elliptische kromme over K en P, Q E, dan definiëren we het derde punt van doorsnijding behorende bij P en Q (notatie P Q) als het derde doorsnijdingspunt van de lijn L door P en Q met E. (Als P = Q O, dan interpreteren we de lijn L gaat door P en Q als de lijn gaat door P met multipliciteit 2, oftewel de lijn L raakt aan E in P : ook in dit geval is er een uniek derde doorsnijdingspunt. Als P = Q = O, dan definiëren we ad hoc dat P Q = O.) De groepswet op E wordt gegeven door P Q te spiegelen in de x-as: Definitie 7. Zij E een elliptische kromme over K en P, Q E, dan definiëren we P +Q E(K) als (x, y), waarbij (x, y) = P Q. Deze operatie geeft een groepswet op E: Stelling 8. De verzameling E vormt onder de operatie + een abelse groep met O als de identiteit. Bewijs. Het bewijs gaat door gewoon de groepsaxioma s na te lopen: dit is niet moeilijk, maar redelijk veel werk. Zie bijvoorbeeld het boekje Rational Points on Elliptic Curves van Silverman en Tate. Wat meer is, de deelverzamelingen E(K 1 ), met K 1 een deellichaam van K, zijn ondergroepen van E: Lemma 9. Als P, Q in E(K 1 ), dan zit P + Q ook in E(K 1 ). 4 Hopelijk leidt dit niet tot verwarring. Lijnen zoals wij ze gedefinieerd hebben liggen geheel in K 2, dus het is wel wat vreemd om te praten over een lijn L die O doorsnijdt. We spreken bij deze maar af dat we de terminologie op deze manier misbruiken. 4

5 Bewijs. Laat P = (x 1, y 1 ) en Q = (x 2, y 2 ) met x 1, x 2, y 1, y 2 allemaal in K 1. Dan wordt L gegeven door y = y 2 y 1 x 2 x 1 (x x 1 )+y 1 ; als x 1 = x 2 nemen we x = x 1. Dus L heeft coëfficiënten in K 1. Om de x-coördinaten van de snijpunten te vinden gebruiken we vergelijking (2) danwel (3), en deze heeft coëfficiënten in K 1 wegens het voorgaande. Omdat P en Q snijpunten zijn kennen we reeds de nulpunten x 1, x 2 K 1, en dus is de derde oplossing x 3 ook bevat in K 1, want de symmetrische som x 1 +x 2 +x 3 is gelijk aan de op-één-na-leidende coëfficiënt. Gewapend met bovenstaande feiten is de volgende propositie eenvoudig te verifiëren: Propositie 10. Zij P, Q, R E(K 1 ), dan geldt P + Q + R = O in E(K 1 ) dan en slechts dan als P, Q, R de drie doorsnijdingspunten zijn van een lijn L met E, gerekend met multipliciteit. De 2-torsie op E (notatie: E[2]) is gemakkelijk te analyseren: Propositie 11. Zij P = (x, y) E, dan geldt 2P = O dan en slechts dan als y = 0. Bewijs. De uitspraak 2P = O is equivalent met P P = O, oftewel de raaklijn aan P doorsnijdt het punt op oneindig. Dus de niet-triviale 2-torsie op E bestaat uit de punten P met een verticale raaklijn. De richtingscoëfficiënt van de raaklijn in een algemeen punt (x, y) is dy = 3x2 +a. Dus precies voor de punten P met y = 0 krijgen we een oneindige dx 2y richtingscoëfficiënt. Dit toont het gevraagde aan. We concluderen dat de 2-torsie in E uit vier punten bestaat: de punten (x, 0) met voor x de drie nulpunten van x 3 + ax + b, en O zelf. De structuurstelling vertelt ons: E[2] = (Z/2Z) 2 voor elke elliptische kromme van de vorm y 2 = x 3 + ax + b. (Let op: we sluiten karakteristieken 2 en 3 nog steeds uit.) 3.3 De formule van Bachet gerevisiteerd De observatie van Bachet kan nu worden verklaard (en verbeterd). Zijn x, y Q met y 0 en laat (x, y) E(Q) een punt zijn op de elliptische kromme E : y 2 = x 3 + c over Q. Dan is 2P E(Q) een nieuw punt op de kromme (want de identiteit 2P = P in E(Q) kan alleen gelden voor P = O, en dat is geen punt op E; tevens geldt 2P O wegens Propositie 11). De formule van Bachet is een expliciete uitdrukking voor de coördinaten van 2P in termen van die van P. Het toepassen van de formule van Bachet zou ons de coördinaten geven van 2P, 4P, 8P,.... Wij kunnen nu echter meer: gewapend met bovenstaande definitie van de groepswet kunnen wij np berekenen voor elke gehele n. (Gegeven de coördinaten van P en Q is het een routine-berekening om de coördinaten van P + Q te bepalen.) 5

6 Bachets formule (danwel ons recept) geeft oneindig veel verschillende punten dan en slechts dan als P geen torsie-element van E(Q) is. Torsiepunten op E geven ons maar een eindig aantal oplossingen van y 2 = x 3 + ax + b, hoe we de groepswet ook op ze toepassen. In sommige gevallen is er een eenvoudig criterium om te beslissen of een punt P op een elliptische kromme torsie is: Propositie 12 (Nagell Lutz). Laat E een elliptische kromme over Q zijn, gedefinieerd door y 2 = x 3 + ax + b met a, b Z. Stel dat (x, y) E(Q) torsie is. Dan geldt x, y Z. Bewijs. Een redelijk lang maar elementair bewijs staat in het boek van Silverman en Tate. In het boek The Arithmetic of Elliptic Curves van Silverman staat een bewijs dat gebruik maakt van de theorie van elliptische krommen over Q p. Voorbeeld 13. Het punt ( 9 4, 5 8) is een punt van oneindige orde op E : y 2 = x Herhaalde iteratie van Bachets formule geeft dus oneindig veel rationale oplossingen van y 2 = x Mordell Weil De volgende stelling is één van de hoekstenen van de theorie van elliptische krommen over Q gedefinieerd door vergelijkingen met rationale coëfficiënten: Propositie 14 (Mordell Weil). Laat K een eindige uitbreiding zijn van Q. Laat E een elliptische kromme over Q zijn, gedefinieerd door y 2 = x 3 + ax + b met a, b K. Dan is E(K) een eindig voortgebrachte abelse groep. Oftewel: om alle oplossingen van E te beschrijven hoeven we er slechts een eindig aantal te geven; alle andere oplossingen volgen door gebruik van de groepswet. Het bewijs is vrij lang en maakt gebruik van algebraïsche getaltheorie. Voor K = Q werd de stelling bewezen door Mordell, het algemenere geval is van Weil. De structuurstelling geeft E(K) = T Z r, met T een eindige abelse groep. De rang r van het vrije stuk van E(K) heet ook wel de rang van de elliptische kromme over K (wanneer men K in de vermelding weglaat bedoelt men Q). 4 Elliptische krommen in de reële topologie We beperken ons verder tot het geval van elliptische krommen E over C voor de situatie dat a, b Z zitten. We noemen de elementen van E(Q) de rationale punten van E: dit zijn de objecten waarin een getaltheoreticus van oudsher in geïnteresseerd is. We kiezen wel voor krommen over C (in plaats van Q) omdat we dan ook de verzameling E(R) van reële punten kunnen bekijken. E(R) erft een topologie van R 2 die voorzien is van de gebruikelijke ( Euclidische ) topologie. De verzameling E(R) kunnen we bij uitstek goed visualiseren: 6

7 we hebben te maken met een kromme in de R 2, dus kunnen we een echte ouderwetse grafiek opstellen. Hieronder staat een kromme die kan doorgaan voor E(R) in het geval dat E gedefinieerd wordt door y 2 = x 3 x. Rationale punten op krommen of meer algemene variëteiten zijn een belangrijk onderwerp in de wiskunde. De stelling van Mordell Weil zegt dat de groep van rationale punten eindig voortgebracht is. Maar er zijn meer vragen te verzinnen omtrent de grootte van de verzameling E(Q). Zo is E(Q) bijvoorbeeld bevat in E(R), en we kunnen vragen hoe E(Q) bevat is in E(R). Merk op dat E(R) geen groep is, dus we willen kijken naar E(R) kijken, maar zónder de topologische informatie te verliezen. We moeten E(R) dus nog van een topologie voorzien. Kijkend naar het plaatje boven zien we dat E(R) uit twee stukken bestaat: een gesloten en een open pad. Het is uit het plaatje duidelijk (en makkelijk om te bewijzen) dat het eerste homeomorf is met S 1 en het tweede met R (oftewel een S 1 die een punt mist). We voorzien E(R) op een ad hoc manier van een topologie zodat ze een compacte ruimte wordt: E(R) bevat één punt meer dan E(R), en dit is precies het punt waarmee we van R een S 1 kunnen maken. In het algemeen: zij E een elliptische kromme gedefinieerd door een vergelijking met coëfficiënten in Z, dan is er een homeomorfisme E(R) S 1 danwel E(R) S 1 S 1 (dit laatste is de disjuncte vereniging van twee kopieën van S 1 ). Merk op dat S 1 en S 1 S 1 een natuurlijke groepsstructuur hebben (hoeken optellen). Het mooie van de genoemde homeomorfismen is dat we ze zo kunnen kiezen dat ze de groepswet respecteren! (We krijgen een topologisch groepsisomorfisme.) Gegeven deze uitspraak is de volgende propositie eenvoudig te bewijzen: Propositie 15. Zij P E(Q) van oneindige orde, dan liggen de veelvouden van P dicht in de reële samenhangscomponent waarin P ligt. 7

Rationale punten op elliptische krommen

Rationale punten op elliptische krommen Rationale punten op elliptische krommen Anne Barten 6 juli 2015 Bachelorscriptie Begeleiding: dr. S. R. Dahmen Korteweg-de Vries Instituut voor Wiskunde Faculteit der Natuurwetenschappen, Wiskunde en Informatica

Nadere informatie

Discrete Wiskunde 2WC15, Lente Jan Draisma

Discrete Wiskunde 2WC15, Lente Jan Draisma Discrete Wiskunde 2WC15, Lente 2010 Jan Draisma Voorwoord Dit zijn aantekeningen voor het vak Discrete Wiskunde (2WC15), gegeven in het lentesemester van 2010. Dit vak bestaat uit twee delen: algoritmische

Nadere informatie

Rationale Punten op Elliptische Krommen

Rationale Punten op Elliptische Krommen Rationale Punten op Elliptische Krommen Bart Sevenster 20 juli 2011 Bachelorscriptie Begeleiding: Prof. Dr. G. van der Geer 2 P 1 Q P Q 2 1 1 2 1 P Q 2 3 KdV Instituut voor wiskunde Faculteit der Natuurwetenschappen,

Nadere informatie

Hoofdstuk 1. Inleiding. Lichamen

Hoofdstuk 1. Inleiding. Lichamen Hoofdstuk 1 Lichamen Inleiding In Lineaire Algebra 1 en 2 heb je al kennis gemaakt met de twee belangrijkste begrippen uit de lineaire algebra: vectorruimte en lineaire afbeelding. In dit hoofdstuk gaan

Nadere informatie

Elliptische krommen en digitale handtekeningen in Bitcoin

Elliptische krommen en digitale handtekeningen in Bitcoin Elliptische krommen en digitale handtekeningen in Bitcoin Bas Edixhoven Universiteit Leiden KNAW Bitcoin symposium Deze aantekeningen zal ik op mijn homepage plaatsen. Bas Edixhoven (Universiteit Leiden)

Nadere informatie

Je hebt twee uur de tijd voor het oplossen van de vraagstukken. µkw uitwerkingen. 12 juni 2015

Je hebt twee uur de tijd voor het oplossen van de vraagstukken. µkw uitwerkingen. 12 juni 2015 Je hebt twee uur de tijd voor het oplossen van de vraagstukken. Elk vraagstuk is maximaal 10 punten waard. Begin elke opgave op een nieuw vel papier. µkw uitwerkingen 12 juni 2015 Vraagstuk 1. We kunnen

Nadere informatie

Cover Page. The handle holds various files of this Leiden University dissertation.

Cover Page. The handle   holds various files of this Leiden University dissertation. Cover Page The handle http://hdl.handle.net/1887/62814 holds various files of this Leiden University dissertation. Author: Martindale, C.R. Title: Isogeny graphs, modular polynomials, and applications

Nadere informatie

Uitwerkingen toets 12 juni 2010

Uitwerkingen toets 12 juni 2010 Uitwerkingen toets 12 juni 2010 Opgave 1. Bekijk rijen a 1, a 2, a 3,... van positieve gehele getallen. Bepaal de kleinst mogelijke waarde van a 2010 als gegeven is: (i) a n < a n+1 voor alle n 1, (ii)

Nadere informatie

Discrete Wiskunde 2WC15, Lente Jan Draisma

Discrete Wiskunde 2WC15, Lente Jan Draisma Discrete Wiskunde 2WC15, Lente 2010 Jan Draisma HOOFDSTUK 3 De Nullstellensatz 1. De zwakke Nullstellensatz Stelling 1.1. Zij K een algebraïsch gesloten lichaam en zij I een ideaal in K[x] = K[x 1,...,

Nadere informatie

3 De duale vectorruimte

3 De duale vectorruimte 3 De duale vectorruimte We brengen de volgende definitie in de herinnering. Definitie 3.1 (hom K (V, W )) Gegeven twee vectorruimtes (V, K) en (W, K) over K noteren we de verzameling van alle lineaire

Nadere informatie

De wiskunde achter de Bitcoin

De wiskunde achter de Bitcoin De wiskunde achter de Bitcoin Bas Edixhoven Universiteit Leiden NWD, Noordwijkerhout, 2015/01/31 Deze aantekeningen zal ik op mijn homepage plaatsen. Bas Edixhoven (Universiteit Leiden) De wiskunde achter

Nadere informatie

II.3 Equivalentierelaties en quotiënten

II.3 Equivalentierelaties en quotiënten II.3 Equivalentierelaties en quotiënten Een belangrijk begrip in de wiskunde is het begrip relatie. Een relatie op een verzameling is een verband tussen twee elementen uit die verzameling waarbij de volgorde

Nadere informatie

Getaltheorie I. c = c 1 = 1 c (1)

Getaltheorie I. c = c 1 = 1 c (1) Lesbrief 1 Getaltheorie I De getaltheorie houdt zich bezig met het onderzoek van eigenschappen van gehele getallen, en meer in het bijzonder, van natuurlijke getallen. In de getaltheorie is het gebruikelijk

Nadere informatie

EXAMEN LINEAIRE ALGEBRA EN ANALYTISCHE MEETKUNDE I. 1. Theorie

EXAMEN LINEAIRE ALGEBRA EN ANALYTISCHE MEETKUNDE I. 1. Theorie EXAMEN LINEAIRE ALGEBRA EN ANALYTISCHE MEETKUNDE I MAANDAG 17 JANUARI 2011 1. Theorie Opgave 1. (a) In Voorbeelden 2.1.17 (7) wordt gesteld dat de maximale lineair onafhankelijke deelverzamelingen van

Nadere informatie

Symmetrische matrices

Symmetrische matrices Symmetrische matrices We beginnen met een eenvoudige definitie : Definitie Een matrix A heet symmetrisch als A T = A NB Een symmetrische matrix is dus altijd vierkant Symmetrische matrices hebben fraaie

Nadere informatie

Bijzondere kettingbreuken

Bijzondere kettingbreuken Hoofdstuk 15 Bijzondere kettingbreuken 15.1 Kwadratische getallen In het vorige hoofdstuk hebben we gezien dat 2 = 1, 2, 2, 2, 2, 2, 2,.... Men kan zich afvragen waarom we vanaf zeker moment alleen maar

Nadere informatie

Een korte beschrijving van de inhoud

Een korte beschrijving van de inhoud Een korte beschrijving van de inhoud Lineaire algebra maakt een betrekkelijk eenvoudige behandeling van de meetkunde in een vlak of de ruimte mogelijk. Omgekeerd illustreren meetkundige toepassingen op

Nadere informatie

Oplossingen van vergelijkingen in rationale getallen

Oplossingen van vergelijkingen in rationale getallen Hoofdstuk VIII Oplossingen van vergelijkingen in rationale getallen Don Zagier Het gebied van de diophantische vergelijkingen, genoemd naar de grote Griekse wiskundige Diophantus, is een van de oudste

Nadere informatie

We beginnen met de eigenschappen van de gehele getallen.

We beginnen met de eigenschappen van de gehele getallen. II.2 Gehele getallen We beginnen met de eigenschappen van de gehele getallen. Axioma s voor Z De gegevens zijn: (a) een verzameling Z; (b) elementen 0 en 1 in Z; (c) een afbeelding +: Z Z Z, de optelling;

Nadere informatie

Zomercursus Wiskunde. Module 4 Limieten en asymptoten van rationale functies (versie 22 augustus 2011)

Zomercursus Wiskunde. Module 4 Limieten en asymptoten van rationale functies (versie 22 augustus 2011) Katholieke Universiteit Leuven September 20 Module 4 Limieten en asymptoten van rationale functies (versie 22 augustus 20) Inhoudsopgave Rationale functies. Inleiding....................................2

Nadere informatie

Eigenwaarden en Diagonaliseerbaarheid

Eigenwaarden en Diagonaliseerbaarheid Hoofdstuk 3 Eigenwaarden en Diagonaliseerbaarheid 31 Diagonaliseerbaarheid Zoals we zagen hangt de matrix die behoort bij een lineaire transformatie af van de keuze van een basis voor de ruimte In dit

Nadere informatie

Diophantische vergelijkingen

Diophantische vergelijkingen Diophantische vergelijkingen een onmogelijke uitdaging Frits Beukers Vakantiecursus 2010 Diophantische vergelijkingen Vakantiecursus 2010 1 / 34 Eerste voorbeeld Bedenk twee gehele getallen x en y zó dat

Nadere informatie

Elliptische krommen. Frans Oort. Project, Utrecht, september - december 2011

Elliptische krommen. Frans Oort. Project, Utrecht, september - december 2011 Elliptische krommen Frans Oort Project, Utrecht, september - december 2011 1 Inleiding Doel. In deze activiteit leren we zelfstandig werken (vraagstukken, opdrachten), samen werken en een syllabus schrijven

Nadere informatie

Elliptische krommen. Frans Oort. Project, Utrecht, november januari 2014

Elliptische krommen. Frans Oort. Project, Utrecht, november januari 2014 Elliptische krommen Frans Oort 1 Inleiding Project, Utrecht, november 2013 - januari 2014 Doel. In deze activiteit leren we zelfstandig werken (vraagstukken, opdrachten), samenwerken, een syllabus schrijven

Nadere informatie

FLIPIT 5. (a i,j + a j,i )d i d j = d j + 0 = e d. i<j

FLIPIT 5. (a i,j + a j,i )d i d j = d j + 0 = e d. i<j FLIPIT JAAP TOP Een netwerk bestaat uit een eindig aantal punten, waarbij voor elk tweetal ervan gegeven is of er wel of niet een verbinding is tussen deze twee. De punten waarmee een gegeven punt van

Nadere informatie

Aanvullingen bij Hoofdstuk 8

Aanvullingen bij Hoofdstuk 8 Aanvullingen bij Hoofdstuk 8 8.5 Definities voor matrices De begrippen eigenwaarde eigenvector eigenruimte karakteristieke veelterm en diagonaliseerbaar worden ook gebruikt voor vierkante matrices los

Nadere informatie

Tentamen Discrete Wiskunde 1 10 april 2012, 14:00 17:00 uur

Tentamen Discrete Wiskunde 1 10 april 2012, 14:00 17:00 uur Tentamen Discrete Wiskunde 0 april 0, :00 7:00 uur Schrijf je naam op ieder blad dat je inlevert. Onderbouw je antwoorden, met een goede argumentatie zijn ook punten te verdienen. Veel succes! Opgave.

Nadere informatie

Uitwerkingen tentamen Algebra 3 8 juni 2017, 14:00 17:00

Uitwerkingen tentamen Algebra 3 8 juni 2017, 14:00 17:00 Uitwerkingen tentamen Algebra 3 8 juni 207, 4:00 7:00 Je mocht zoals gezegd niet zonder uitleg naar opgaven verwijzen. Sommige berekeningen zijn hier weggelaten. Die moest je op je tentamen wel laten zien.

Nadere informatie

(ii) Zij e 0 een geheel getal. Bewijs: de code C is e-fouten-verbeterend d(x, y) 2e + 1 voor alle x, y C met x y.

(ii) Zij e 0 een geheel getal. Bewijs: de code C is e-fouten-verbeterend d(x, y) 2e + 1 voor alle x, y C met x y. Opgaven bij het college Topologie 1 Metrische ruimten Opgave 1.1. Geef een voorbeeld waaruit blijkt dat de doorsnede van oneindig veel open verzamelingen in een metrische ruimte niet open hoeft te zijn.

Nadere informatie

Samenvatting. Oppervlakken

Samenvatting. Oppervlakken Samenvatting Deze samenvatting probeert aan lezers die niet bekend zijn met wiskunde een indruk te geven van waar dit proefschrift over gaat. Soms zullen er ook technische termen gebruikt worden (vaak

Nadere informatie

Eigenschap (Principe van welordening) Elke niet-lege deelverzameling V N bevat een kleinste element.

Eigenschap (Principe van welordening) Elke niet-lege deelverzameling V N bevat een kleinste element. Hoofdstuk 2 De regels van het spel 2.1 De gehele getallen Grof gezegd kunnen we de (elementaire) getaltheorie omschrijven als de wiskunde van de getallen 1, 2, 3, 4,... die we ook de natuurlijke getallen

Nadere informatie

Lineaire Algebra voor ST

Lineaire Algebra voor ST Lineaire Algebra voor ST docent: Judith Keijsper TUE, HG 9.3 email: J.C.M.Keijsper@tue.nl studiewijzer: http://www.win.tue.nl/wsk/onderwijs/2ds6 Technische Universiteit Eindhoven college 6 J.Keijsper (TUE)

Nadere informatie

III.2 De ordening op R en ongelijkheden

III.2 De ordening op R en ongelijkheden III.2 De ordening op R en ongelijkheden In de vorige paragraaf hebben we axioma s gegeven voor de optelling en vermenigvuldiging in R, maar om R vast te leggen moeten we ook ongelijkheden in R beschouwen.

Nadere informatie

Discrete Wiskunde 2WC15, Lente Jan Draisma

Discrete Wiskunde 2WC15, Lente Jan Draisma Discrete Wiskunde 2WC15, Lente 2010 Jan Draisma HOOFDSTUK 2 Gröbnerbases 1. Vragen We hebben gezien dat de studie van stelsels polynoomvergelijkingen in meerdere variabelen op natuurlijke manier leidt

Nadere informatie

Lineaire Algebra voor ST

Lineaire Algebra voor ST Lineaire Algebra voor ST docent: Judith Keijsper TUE, HG 9.31 email: J.C.M.Keijsper@tue.nl studiewijzer: http://www.win.tue.nl/wsk/onderwijs/2ds06 Technische Universiteit Eindhoven college 11 J.Keijsper

Nadere informatie

Sum of Us 2014: Topologische oppervlakken

Sum of Us 2014: Topologische oppervlakken Sum of Us 2014: Topologische oppervlakken Inleiding: topologische oppervlakken en origami Een topologisch oppervlak is, ruwweg gesproken, een tweedimensionaal meetkundig object. We zullen in deze tekst

Nadere informatie

Verzamelingen. Hoofdstuk 5

Verzamelingen. Hoofdstuk 5 Hoofdstuk 5 Verzamelingen In de meest uiteenlopende omstandigheden kan het handig zijn om een stel objecten, elementen, of wat dan ook, samen een naam te geven. Het resultaat noemen we dan een verzameling.

Nadere informatie

De partitieformule van Euler

De partitieformule van Euler De partitieformule van Euler Een kennismaking met zuivere wiskunde J.H. Aalberts-Bakker 29 augustus 2008 Doctoraalscriptie wiskunde, variant Communicatie en Educatie Afstudeerdocent: Dr. H. Finkelnberg

Nadere informatie

Het vermoeden van Birch en Swinnerton-Dyer

Het vermoeden van Birch en Swinnerton-Dyer K. S. Baak Het vermoeden van Birch en Swinnerton-Dyer Bachelorscriptie Scriptiebegeleider: dr. P. J. Bruin juni 2016 Mathematisch Instituut, Universiteit Leiden Notatie (i) We gebruiken de notatie N voor

Nadere informatie

1 Rekenen in eindige precisie

1 Rekenen in eindige precisie Rekenen in eindige precisie Een computer rekent per definitie met een eindige deelverzameling van getallen. In dit hoofdstuk bekijken we hoe dit binnen een computer is ingericht, en wat daarvan de gevolgen

Nadere informatie

Meetkunde en Algebra Een korte beschrijving van de inhoud

Meetkunde en Algebra Een korte beschrijving van de inhoud Meetkunde en Algebra Een korte beschrijving van de inhoud Lineaire algebra maakt een betrekkelijk eenvoudige behandeling van de meetkunde in een vlak of de ruimte mogelijk. Omgekeerd illustreren meetkundige

Nadere informatie

Opgave 1.1. Geef een voorbeeld waaruit blijkt dat de doorsnede van oneindig veel open verzamelingen in een metrische ruimte niet open hoeft te zijn.

Opgave 1.1. Geef een voorbeeld waaruit blijkt dat de doorsnede van oneindig veel open verzamelingen in een metrische ruimte niet open hoeft te zijn. Opgaven bij het college Topologie 1 Metrische ruimten Opgave 1.1. Geef een voorbeeld waaruit blijkt dat de doorsnede van oneindig veel open verzamelingen in een metrische ruimte niet open hoeft te zijn.

Nadere informatie

Pascal en de negenpuntskegelsnede

Pascal en de negenpuntskegelsnede Pascal en de negenpuntskegelsnede De zijden van driehoek ABC hierboven vatten we op als lijnen en niet als lijnstukken. De middens van de lijnstukken AB, BC en CA zijn D, E en F. De middens van de lijnstukken

Nadere informatie

Oefenopgaven Grondslagen van de Wiskunde A

Oefenopgaven Grondslagen van de Wiskunde A Oefenopgaven Grondslagen van de Wiskunde A Jaap van Oosten 2007-2008 1 Kardinaliteiten Opgave 1.1. Bewijs, dat R N = R. Opgave 1.2. Laat Cont de verzameling continue functies R R zijn. a) Laat zien dat

Nadere informatie

Leerplandoelstelling Delta Nova 4 hoofdstukken en paragrafen. I Meetkunde. M1 B Bewijzen dat door drie niet-collineaire punten juist één cirkel gaat.

Leerplandoelstelling Delta Nova 4 hoofdstukken en paragrafen. I Meetkunde. M1 B Bewijzen dat door drie niet-collineaire punten juist één cirkel gaat. Het gevolgde leerplan is D/2002/0279/047. In de onderstaande tabel vind je een overzicht van de doelstellingen en waar ze in Delta Nova 4a en 4b (leerweg 5) terug te vinden zijn. B = basisdoelstelling

Nadere informatie

Zomercursus Wiskunde. Katholieke Universiteit Leuven Groep Wetenschap & Technologie. September 2008

Zomercursus Wiskunde. Katholieke Universiteit Leuven Groep Wetenschap & Technologie. September 2008 Katholieke Universiteit Leuven September 2008 Limieten en asymptoten van rationale functies (versie juli 2008) Rationale functies. Inleiding Functies als f : 5 5, f 2 : 2 3 + 2 f 3 : 32 + 7 4 en f 4 :

Nadere informatie

I.3 Functies. I.3.2 Voorbeeld. De afbeeldingen f: R R, x x 2 en g: R R, x x 2 zijn dus gelijk, ook al zijn ze gegeven door verschillende formules.

I.3 Functies. I.3.2 Voorbeeld. De afbeeldingen f: R R, x x 2 en g: R R, x x 2 zijn dus gelijk, ook al zijn ze gegeven door verschillende formules. I.3 Functies Iedereen is ongetwijfeld in veel situaties het begrip functie tegengekomen; vaak als een voorschrift dat aan elk getal een ander getal toevoegt, bijvoorbeeld de functie fx = x die aan elk

Nadere informatie

7.1 De afgeleide van gebroken functies [1]

7.1 De afgeleide van gebroken functies [1] 7.1 De afgeleide van gebroken functies [1] Regels voor het differentiëren: f() = a geeft f () = a f() = a geeft f () = a f() = a geeft f () = 0 Algemeen geldt: f() = a n geeft f () = na n-1 Voorbeeld 1:

Nadere informatie

Drie problemen voor de prijs van één

Drie problemen voor de prijs van één Drie problemen voor de prijs van één Of: één probleem voor de prijs van drie K. P. Hart Faculty EEMCS TU Delft Delft, 30 oktober, 2012: 10:15 10:45 Eenvoudig begin Opgave Bewijs dat voor m, n N het volgende

Nadere informatie

V.4 Eigenschappen van continue functies

V.4 Eigenschappen van continue functies V.4 Eigenschappen van continue functies We bestuderen een paar belangrijke stellingen over continue functies. Maxima en minima De stelling over continue functies die we in deze paragraaf bewijzen zegt

Nadere informatie

Wat verstaan we onder elementaire meetkunde?

Wat verstaan we onder elementaire meetkunde? Wat verstaan we onder elementaire meetkunde? Er zijn veel boeken met de titel 'Elementaire Meetkunde'. Niet alle auteurs verstaan hieronder hetzelfde. Dit boek behandelt in de eerste 1 hoofdstukken de

Nadere informatie

Hoofdstuk 9. Vectorruimten. 9.1 Scalairen

Hoofdstuk 9. Vectorruimten. 9.1 Scalairen Hoofdstuk 9 Vectorruimten 9.1 Scalairen In de lineaire algebra tot nu toe, hebben we steeds met reële getallen als coëfficienten gewerkt. Niets houdt ons tegen om ook matrices, lineaire vergelijkingen

Nadere informatie

Zomercursus Wiskunde. Rechten en vlakken (versie 14 augustus 2008)

Zomercursus Wiskunde. Rechten en vlakken (versie 14 augustus 2008) Katholieke Universiteit Leuven September 2008 Rechten en vlakken (versie 14 augustus 2008) 2 Rechten en vlakken Inleiding In deze module behandelen we de theorie van rechten en vlakken in de driedimensionale

Nadere informatie

7.1 Het aantal inverteerbare restklassen

7.1 Het aantal inverteerbare restklassen Hoofdstuk 7 Congruenties in actie 7.1 Het aantal inverteerbare restklassen We pakken hier de vraag op waarmee we in het vorige hoofdstuk geëindigd zijn, namelijk hoeveel inverteerbare restklassen modulo

Nadere informatie

Het tellen van krommen op het product van twee projectieve lijnen over een eindig lichaam

Het tellen van krommen op het product van twee projectieve lijnen over een eindig lichaam Het tellen van krommen op het product van twee projectieve lijnen over een eindig lichaam Bas van Rooij 4155572 Begeleider: Prof. dr. C.F. Faber Universiteit Utrecht 17 juni 2016 Inhoudsopgave 1 Introductie

Nadere informatie

Tentamen Topologie, Najaar 2011

Tentamen Topologie, Najaar 2011 Tentamen Topologie, Najaar 2011 27.01.2012, 08:30-11:30, LIN 8 (HG00.308) Toelichting: Je mag geen hulpmiddelen (zoals aantekeningen, rekenmachine, telefoon, etc.) gebruiken, behalve de boeken van Gamelin/Greene

Nadere informatie

More points, lines, and planes

More points, lines, and planes More points, lines, and planes Make your own pictures! 1. Lengtes en hoeken In het vorige college hebben we het inwendig product (inproduct) gedefinieerd. Aan de hand daarvan hebben we ook de norm (lengte)

Nadere informatie

Moduliruimten van krommen en hun cohomologie

Moduliruimten van krommen en hun cohomologie Moduliruimten van krommen en hun cohomologie Carel Faber 30 maart 2015 Inhoudsopgave Inleiding Krommen Families van krommen De universele kromme en de moduliruimte Cohomologie Punten tellen Modulaire vormen

Nadere informatie

Combinatoriek groep 1

Combinatoriek groep 1 Combinatoriek groep 1 Recursie Trainingsdag 3, 2 april 2009 Getallenrijen We kunnen een rij getallen a 0, a 1, a 2,... op twee manieren definiëren: direct of recursief. Een directe formule geeft a n in

Nadere informatie

Jordan normaalvorm. Hoofdstuk 7

Jordan normaalvorm. Hoofdstuk 7 Hoofdstuk 7 Jordan normaalvorm Zoals we zagen hangt de matrix die behoort bij een lineaire transformatie af van de keuze van een basis voor de ruimte In dit hoofdstuk buigen we ons over de vraag of er

Nadere informatie

EXAMEN LINEAIRE ALGEBRA EN MEETKUNDE I

EXAMEN LINEAIRE ALGEBRA EN MEETKUNDE I EXAMEN LINEAIRE ALGEBRA EN MEETKUNDE I Theorie Opgave 1. In deze opgave wordt gevraagd om een aantal argumenten of overgangen uit de cursusnota s in detail te verklaren. In delen (a) (b) peilen we naar

Nadere informatie

Krommen tellen: van de Griekse Oudheid tot snaartheorie

Krommen tellen: van de Griekse Oudheid tot snaartheorie Krommen tellen: van de Griekse Oudheid tot snaartheorie Martijn Kool Mathematisch Instituut Universiteit Utrecht 1/34 Introductie Meetkunde Algebraïsche Meetkunde Aftellende Meetkunde Reis: Griekse Oudheid

Nadere informatie

Rationale tetraëders.

Rationale tetraëders. Youssef Achnine Rationale tetraëders. Bachelorscriptie, 1 juni 009 Scriptiebegeleider: Dr. R.M. van Luijk Mathematisch Instituut, Universiteit Leiden 1 Inhoudsopgave Introductie 1. Topologische begrippen

Nadere informatie

Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie

Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 22 februari 2009 INDUCTIE & RECURSIE Paragrafen 4.3-4.6 Discrete Structuren Week 3:

Nadere informatie

Algebra groep 2 & 3: Standaardtechnieken kwadratische functies

Algebra groep 2 & 3: Standaardtechnieken kwadratische functies Algebra groep 2 & 3: Standaardtechnieken kwadratische functies Trainingsweek juni 2008 Kwadraat afsplitsen Een kwadratische functie oftewel tweedegraads polynoom) px) = ax 2 + bx + c a 0) kan in verschillende

Nadere informatie

Algebraïsche meetkunde. Jaap Top

Algebraïsche meetkunde. Jaap Top Algebraïsche meetkunde Jaap Top JBI-RuG & DIAMANT j.top@rug.nl 21 maart 2014 (DESDA symposium, Nijmegen) 1 Een definitie (wikipedia): 2 Vandaag drie voorbeelden van toepassingen. 3 Voorbeeld 1: (meetkunde

Nadere informatie

Projectieve Vlakken en Codes

Projectieve Vlakken en Codes Projectieve Vlakken en Codes 1. De Fanocode Foutdetecterende en foutverbeterende codes. Anna en Bart doen mee aan een spelprogramma voor koppels. De ene helft van de deelnemers krijgt elk een kaart waarop

Nadere informatie

Zomercursus Wiskunde. Module 1 Algebraïsch rekenen (versie 22 augustus 2011)

Zomercursus Wiskunde. Module 1 Algebraïsch rekenen (versie 22 augustus 2011) Katholieke Universiteit Leuven September 011 Module 1 Algebraïsch rekenen (versie augustus 011) Inhoudsopgave 1 Rekenen met haakjes 1.1 Uitwerken van haakjes en ontbinden in factoren............. 1. De

Nadere informatie

Lineaire Algebra voor ST

Lineaire Algebra voor ST Lineaire Algebra voor ST docent: Judith Keijsper TUE, HG 9.3 email: J.C.M.Keijsper@tue.nl studiewijzer: http://www.win.tue.nl/wsk/onderwijs/2ds6 Technische Universiteit Eindhoven college 5 J.Keijsper (TUE)

Nadere informatie

De parabool en de cirkel raken elkaar in de oorsprong; bepaal ook de coördinaten van de overige snijpunten A 1 en A 2.

De parabool en de cirkel raken elkaar in de oorsprong; bepaal ook de coördinaten van de overige snijpunten A 1 en A 2. BURGERLIJK INGENIEUR-ARCHITECT - 5 SEPTEMBER 2002 BLZ 1/10 1. We beschouwen de cirkel met vergelijking x 2 + y 2 2ry = 0 en de parabool met vergelijking y = ax 2. Hierbij zijn r en a parameters waarvoor

Nadere informatie

Ter Leering ende Vermaeck

Ter Leering ende Vermaeck Ter Leering ende Vermaeck 15 december 2011 1 Caleidoscoop 1. Geef een relatie op Z die niet reflexief of symmetrisch is, maar wel transitief. 2. Geef een relatie op Z die niet symmetrisch is, maar wel

Nadere informatie

Cryptografie met krommen. Reinier Bröker. Universiteit Leiden

Cryptografie met krommen. Reinier Bröker. Universiteit Leiden Cryptografie met krommen Reinier Bröker Universiteit Leiden Nationale Wiskundedagen Februari 2006 Cryptografie Cryptografie gaat over geheimschriften en het versleutelen van informatie. Voorbeelden. Klassieke

Nadere informatie

Uitwerkingen tentamen Lineaire Algebra 2 16 januari, en B =

Uitwerkingen tentamen Lineaire Algebra 2 16 januari, en B = Uitwerkingen tentamen Lineaire Algebra 2 16 januari, 215 Deze uitwerkingen zijn niet volledig, maar geven het idee van elke opgave aan. Voor een volledige oplossing moet alles ook nog duidelijk uitgewerkt

Nadere informatie

Inleiding Analyse 2009

Inleiding Analyse 2009 Inleiding Analyse 2009 Inleveropgaven A). Stel f(, y) = In (0, 0) is f niet gedefinieerd. We bestuderen y2 2 + y 4. lim f(, y). (,y) (0,0) 1. Bepaal de waarde van f(, y) op een willekeurige rechte lijn

Nadere informatie

Voorstel voor de inhoud van de cursus Algebra in het programma: Bachelor Wiskunde

Voorstel voor de inhoud van de cursus Algebra in het programma: Bachelor Wiskunde Voorstel voor de inhoud van de cursus Algebra in het programma: Bachelor Wiskunde Aantal uren: A: 30, B:15 of A: 22,5, B: 22,5 1 Hermann Weyl introduceerde het woord coördinatiseren voor één van de basishandelingen

Nadere informatie

Uitwerkingen toets 18 maart 2011

Uitwerkingen toets 18 maart 2011 Uitwerkingen toets 8 maart 20 Opgave. Alle positieve gehele getallen worden rood of groen gekleurd, zodat aan de volgende voorwaarden wordt voldaan: Er zijn zowel rode als groene getallen. De som van drie

Nadere informatie

Tentamen Lineaire Algebra 1 (Wiskundigen)

Tentamen Lineaire Algebra 1 (Wiskundigen) Tentamen Lineaire Algebra Wiskundigen Donderdag, 23 januari 24,.-3. Geen rekenmachines. Motiveer elk antwoord.. Voor alle reële getallen a definiëren we de matrix C a als a C a = a 2. a Verder definiëren

Nadere informatie

Complexe eigenwaarden

Complexe eigenwaarden Complexe eigenwaarden Tot nu toe hebben we alleen reële getallen toegelaten als eigenwaarden van een matrix Het is echter vrij eenvoudig om de definitie uit te breiden tot de complexe getallen Een consequentie

Nadere informatie

Radboud Universiteit Nijmegen Tentamen Calculus 1 NWI-NP003B 4 januari 2013,

Radboud Universiteit Nijmegen Tentamen Calculus 1 NWI-NP003B 4 januari 2013, Radboud Universiteit Nijmegen Tentamen Calculus 1 NWI-NP003B 4 januari 013, 8.30 11.30 Het gebruik van een rekenmachine, telefoon en boek(en) is niet toegestaan. Geef precieze argumenten en antwoorden.

Nadere informatie

Lineaire Algebra (2DD12)

Lineaire Algebra (2DD12) Lineaire Algebra (2DD12) docent: Ruud Pellikaan - Judith Keijsper email: J.C.M.Keijsper@tue.nl studiewijzer: http://www.win.tue.nl/ ruudp/2dd12.html Technische Universiteit Eindhoven college 1 J.Keijsper

Nadere informatie

Origami Meetkunde. Peter Lombaers en Jan-Willem Tel 26 mei 2011

Origami Meetkunde. Peter Lombaers en Jan-Willem Tel 26 mei 2011 Origami Meetkunde Peter Lombaers en Jan-Willem Tel 26 mei 2011 Samenvatting In dit dictaat beschouwen we een manier om hoeken en afstanden te construeren: origami. We vergelijken het met het construeren

Nadere informatie

Aanvullingen bij Hoofdstuk 6

Aanvullingen bij Hoofdstuk 6 Aanvullingen bij Hoofdstuk 6 We veralgemenen eerst Stelling 6.4 tot een willekeurige lineaire transformatie tussen twee vectorruimten en de overgang naar twee nieuwe basissen. Stelling 6.4. Zij A : V W

Nadere informatie

V.2 Limieten van functies

V.2 Limieten van functies V.2 Limieten van functies Beschouw een deelverzameling D R, een functie f: D R en zij c R. We willen het gedrag van f in de buurt van c bestuderen. De functiewaarde in c is daarvoor niet belangrijk, de

Nadere informatie

Geldwisselprobleem van Frobenius

Geldwisselprobleem van Frobenius Geldwisselprobleem van Frobenius Karin van de Meeberg en Dieuwertje Ewalts 12 december 2001 1 Inhoudsopgave 1 Inleiding 3 2 Afspraken 3 3 Is er wel zo n g? 3 4 Eén waarde 4 5 Twee waarden 4 6 Lampenalgoritme

Nadere informatie

Hoofdstuk 3. Equivalentierelaties. 3.1 Modulo Rekenen

Hoofdstuk 3. Equivalentierelaties. 3.1 Modulo Rekenen Hoofdstuk 3 Equivalentierelaties SCHAUM 2.8: Equivalence Relations Twee belangrijke voorbeelden van equivalentierelaties in de informatica: resten (modulo rekenen) en cardinaliteit (aftelbaarheid). 3.1

Nadere informatie

Dualiteit. Raymond van Bommel. 6 april 2010

Dualiteit. Raymond van Bommel. 6 april 2010 Dualiteit Raymond van Bommel 6 april 2010 1 Inleiding Op veel manieren kan meetkunde worden bedreven. De bekendste en meest gebruikte meetkunde is de Euclidische meetkunde. In dit artikel gaan we kijken

Nadere informatie

FACULTEIT ECONOMIE EN BEDRIJFSKUNDE Afdeling Kwantitatieve Economie

FACULTEIT ECONOMIE EN BEDRIJFSKUNDE Afdeling Kwantitatieve Economie FACULTEIT ECONOMIE EN BEDRIJFSKUNDE Afdeling Kwantitatieve Economie Lineaire Algebra, tentamen Uitwerkingen vrijdag 4 januari 0, 9 uur Gebruik van een formuleblad of rekenmachine is niet toegestaan. De

Nadere informatie

Tips en trucs bij Surfer

Tips en trucs bij Surfer Tips en trucs bij Surfer Frits Beukers, email: f.beukers@uu.nl 18 maart 2016 Surfer, te downloaden van https://imaginary.org/program/surfer, is een mooi programma, maar je zult merken dat het lukraak invoeren

Nadere informatie

Kettingbreuken. 20 april 2010 1 K + 1 E + 1 T + 1 T + 1 I + 1 N + 1 G + 1 B + 1 R + 1 E + 1 U + 1 K + E + 1 N 1 2 + 1 0 + 1 A + 1 P + 1 R + 1 I + 1

Kettingbreuken. 20 april 2010 1 K + 1 E + 1 T + 1 T + 1 I + 1 N + 1 G + 1 B + 1 R + 1 E + 1 U + 1 K + E + 1 N 1 2 + 1 0 + 1 A + 1 P + 1 R + 1 I + 1 Kettingbreuken Frédéric Guffens 0 april 00 K + E + T + T + I + N + G + B + R + E + U + K + E + N 0 + A + P + R + I + L + 0 + + 0 Wat zijn Kettingbreuken? Een kettingbreuk is een wiskundige uitdrukking

Nadere informatie

10.0 Voorkennis. Herhaling van rekenregels voor machten: a als a a 1 0[5] [6] Voorbeeld 1: Schrijf als macht van a:

10.0 Voorkennis. Herhaling van rekenregels voor machten: a als a a 1 0[5] [6] Voorbeeld 1: Schrijf als macht van a: 10.0 Voorkennis Herhaling van rekenregels voor machten: p p q pq a pq a a a [1] a [2] q a q p pq p p p a a [3] ( ab) a b [4] Voorbeeld 1: Schrijf als macht van a: 1 8 : a a : a a a a 3 8 3 83 5 Voorbeeld

Nadere informatie

Uitwerkingen Lineaire Algebra I (wiskundigen) 22 januari, 2015

Uitwerkingen Lineaire Algebra I (wiskundigen) 22 januari, 2015 Uitwerkingen Lineaire Algebra I (wiskundigen) januari, 5 In deze uitwerkingen is hier en daar een berekening weggelaten (bijvoorbeeld het bepalen van de kern van een matrix) die uiteraard op het tentamen

Nadere informatie

Constructie der p-adische getallen

Constructie der p-adische getallen Constructie der p-adische getallen Pim van der Hoorn Marcel de Reus 4 februari 2008 Voorwoord Deze tekst is geschreven als opdracht bij de cursus Kaleidoscoop 2007 2008 aan de Universiteit Utrecht. De

Nadere informatie

Overzicht Fourier-theorie

Overzicht Fourier-theorie B Overzicht Fourier-theorie In dit hoofdstuk geven we een overzicht van de belangrijkste resultaten van de Fourier-theorie. Dit kan als steun dienen ter voorbereiding op het tentamen. Fourier-reeksen van

Nadere informatie

Verzamelingen deel 3. Derde college

Verzamelingen deel 3. Derde college 1 Verzamelingen deel 3 Derde college rekenregels Een bewerking op A heet commutatief als voor alle x en y in A geldt dat x y = y x. Een bewerking op A heet associatief als voor alle x, y en z in A geldt

Nadere informatie

Over de construeerbaarheid van gehele hoeken

Over de construeerbaarheid van gehele hoeken Over de construeerbaarheid van gehele hoeken Dick Klingens maart 00. Inleiding In de getallentheorie worden algebraïsche getallen gedefinieerd via rationale veeltermen f van de n-de graad in één onbekende:

Nadere informatie

RSA. F.A. Grootjen. 8 maart 2002

RSA. F.A. Grootjen. 8 maart 2002 RSA F.A. Grootjen 8 maart 2002 1 Delers Eerst wat terminologie over gehele getallen. We zeggen a deelt b (of a is een deler van b) als b = qa voor een of ander geheel getal q. In plaats van a deelt b schrijven

Nadere informatie

Vectorruimten en deelruimten

Vectorruimten en deelruimten Vectorruimten en deelruimten We hebben al uitgebreid kennis gemaakt met de vectorruimte R n We zullen nu zien dat R n slechts een speciaal geval vormt van het (veel algemenere begrip vectorruimte : Definitie

Nadere informatie

1. Orthogonale Hyperbolen

1. Orthogonale Hyperbolen . Orthogonale Hyperbolen a + b In dit hoofdstuk wordt de grafiek van functies van de vorm y besproken. Functies c + d van deze vorm noemen we gebroken lineaire functies. De grafieken van dit soort functies

Nadere informatie

3 Cirkels, Hoeken en Bogen. Inversies.

3 Cirkels, Hoeken en Bogen. Inversies. 3 Cirkels, Hoeken en Bogen. Inversies. 3.1. Inleiding Het derde college betreft drie onderwerpen (hoeken, bogen en inversies), die in concrete meetkundige situaties vaak optreden. Dit hoofdstuk is bedoeld

Nadere informatie

Vergelijkingen van cirkels en lijnen

Vergelijkingen van cirkels en lijnen Vergelijkingen van cirkels en lijnen Rechthoekig coördinatenstelsel! Cartesisch coördinatenstelsel! René Descartes (1596-1650) Van hem is de uitspraak: Ik denk, dus ik besta! September 12, 2009 1 Vergelijkingen

Nadere informatie