Functies. Ch.3 Functions and Algorithms
|
|
- Pepijn Abbink
- 7 jaren geleden
- Aantal bezoeken:
Transcriptie
1 3 Functies Ch.3 Functions and Algorithms
2 Ch.3 Functions and Algorithms Inderdaad, algorithms heb ik doorgestreept. Het is een mooi onderwerp, maar komt hier bij de vakken Algoritmiek, Datastructuren, en Complexiteit aan de orde. Maar het kan dienen als achtergrond en motivatie. 2
3 temperatuur d T d d { , } T d R 3
4 oneindige reeks n tail(n) ,,0,2,0,,0,3,0,,0,2, 0,,0,4,0,,0,2,0,,0,3, 0,,0,2,0,,0,5, 0 0,, 2 0, 3 2, 4 0, 5, 6 0, 7 3, 8 0, 9, 0 0,
5 oneindige reeks Bedoeld wordt dat een oneindige reeks (van objecten ) ook een functie is: van de natuurlijke getallen naar de verzameling van die objecten. In dit hoofdstuk worden eigenschappen sommen van reeksen ook behandeld. 5
6 functies Informeel is een functie een voorschrift dat aan origineel x een beeld y=f(x) toevoegt. Twee verschillende voorschriften kunnen tot hetzelfde resultaat leiden, en daarom wordt er op een andere manier naar functies gekeken. Een functie is daarbij formeel een functionele en totale relatie. De relatie bij een voorschrift heet soms de grafiek van dat voorschrift: { ( x,f(x) ) x in het domein van f } 6 TODO Het plaatje van de volgende slide kan beter door een ander voorbeeld vervangen worden om een algemener beeld te krijgen. (zie hiernaast) B F I NL GB f
7 informeel Een functie van A naar B is een voorschrift dat aan ieder element van A één element van B toevoegt. B F I NL GB f Amst Brux Roma Pari Lond 0,,0,2,0,,0, 3,0,,0,2,0,, 0,4, 7 Am Br Lo Pa Ro B x F x GB x I x NL x f: A B f(x) = y x y
8 grafiek van een functie functie f: A B. de grafiek van f is verzameling { (x,f(x) ) x A } in A x B. f(x) = 2(x+) vs. g(x) = 2x+2 informeel voorschrift formeel relatie relatie binaire relatie functie functies zijn gelijk als hun grafieken gelijk zijn, dwz. hun uitkomsten f = g f(a)=g(a) voor alle a A 8
9 functie als relatie relatie R A B heet een functie van A naar B als voor iedere x A er precies één paar xry bestaat. f: A B y = f(x) A totaal & functioneel y x 9 geen functie niet op
10 constante functie functie f: A B. f(x) = f(y) voor alle x,y A a s d f g bob bas ben bor ,4,4,4,4,4,4, 0
11 identiteit functie f: A A met f(x) = x voor alle x A identieke functie, identiteit op A. notatie A id A bob bob bob bas ben bor bas ben bor bas ben bor ,,2,3,4,5,6,
12 f:ab origineel A f f(a) B bereik range x f(x) domein codomein beeld image 2
13 origineel & beeld bereik origineel beeld één element verzameling f: A B A f(a) B V 3
14 origineel & beeld beeld V A f: A B { y B y = f(x) voor zekere x V } f(v) = { f(x) x V } V A B f(v) V A f(v) B beeld 4
15 origineel & beeld origineel W B f: A B { x A f(x) = y voor zekere y W } f - (W) = { x A f(x) W } A B W B f - (W) A f - (W) W volledig origineel 5
16 V A B f(v) V A f(v) B beeld A B W B f - (W) A f - (W) W volledig origineel 6
17 heen-en-weer Bij een functie f: A B kunnen we bij een deelverzameling V A van het domein het beeld f(v) bepalen, maar ook bij een verzameling W B uit het codomein de originelen f - (W) (voor zover die bestaan). Onderstaande slides leggen uit wat er kan gebeuren als je de twee achterelkaar uitvoert: heen-en-weer zeg maar. Hoe verhouden zich V en f - (f(v))? Idem, voor W en f(f - (W))? In het algemeen geldt een inclusie (één kant op) maar als de functie f een speciale eigenschap heeft is er gelijkheid. 7
18 V A B f(v) V A V? f - (f(v)) f - (f(v)) A B W B f(f - (W))? W f - (W) W 8
19 A B V f - (f(v)) f(v) V A V f - (f(v)) A B W B f(f - (W)) W f - (W) W f(f - (W))=Wf(A) 9
20 3.3 - & op Een functie f: A B heet surjectief (of 'op') als f(a) = B, met andere woorden, als er voor iedere y B een origineel x A bestaat. Een functie f: A B heet injectief (of eeneenduidig of een-op-een) als voor alle x,y A geldt dat uit f(x) = f(y) volgt dat x = y. B niet - niet injectief niet op niet surjectief 20
21 voorbeeld f:r R f(x) = x 2 y surjectief injectief x 2
22 A B f surjectief op V f - (f(v)) f(v) V A V f - (f(v)) A B f - (W) W W B f(f - (W)) = W 22
23 A B f injectief - V f - (f(v)) f(v) V A V = f - (f(v)) A B f - (W) W W B f(f - (W)) W 23
24 bijectie Een functie f: A B heet bijectief als f zowel surjectief als injectief is. V A, W B V = f - (f(v)) W = f(f - (W)) f:r R x f:r R + 24
25 bijectie tussen R en R + bijectie tussen 0, en R voorbeeld 25
26 R A B R - B A inverse relatie br - a desdals arb. bekend: inverse relatie R - = { (y,x) (x,y) R } SF B D F NL Du Fr En Nl Fy 26
27 inverse De inverse van een relatie is altijd gedefinieerd. De inverse van een functie is dan ook altijd een relatie, maar wanneer is het weer een functie? 27
28 f functie f - functie!? inverse functie B F I NL f f - Amst Brux Roma Pari f:r R + f - :R + R GB Lond 28 Theorem 3. dwz. als functie De inverse functie van f: A B bestaat desdals f een bijectie is (- en op)
29 samenstelling f: A B en g: B C functies. De samenstelling van f en g, genoteerd gf ( g na f ) van A naar C is gedefinieerd door (gf)(x) = g(f(x)) voor alle x A volgorde! x RS y y = gf (x) f 2534 g den haag 2530 stnr pc woonplts 29
30 samenstelling De notatie van samenstelling is wat ambigu. Dat komt omdat functies van rechts naar links gelezen worden: y = gf(x) = g(f(x)). vergelijk x RS y gf ( g na f ) voor functies (eerst f dan g) RS ( R dan S ) voor relaties (eerst R dan S) 30
31 haakjes niet nodig Samenstellen van functies is associatief: als f: A B, g: B C en h: C D functies zijn, dan (hg)f = h(gf). A f B g C h D 3
32 samenstelling laat f: A B, g: B C functies zijn als f en g surjectief op zijn, dan ook gf. als f en g injectief - zijn, dan ook gf. A f B g C Problem
33 Definitie rijen,4,,5,9,2,6,5,3,5,8,9,7,9,3,2,3,8,4,6,2,6,4,3,3, a:n A a:n + A a(0), a(), a(2), a 0, a, a 2, indices { a n n N } ( a n ) n N eindige rij (n-tupel) a 0, a, a 2,, a n 33
34 Definitie rijen rijen horen bij het hoofdstuk functies omdat het afbeeldingen zijn van de natuurlijke getallen (of eventueel de positieve gehele getallen) a:n A Er wordt soms een verzameling notatie gebruikt voor rijen { a n n N } maar dat vind ik niet passen: een rij is geordend en een verzameling niet. De notatie voor het i-de element van de rij is a(i) als we functies gewend zijn of a i. 34
35 sommeerspreuken associatief! De sigma notatie geeft herhaald optellen weer, lopende variable i, start- en stopwaarde. Het is goed te vergelijken met een for-loop. we gaan dit later nog vaker zien, in het onderdeel inductie n i i a a i i a n i a i a 0, a 0 i n i 35
36 n i A i n 2 n i i A A A A n i i a n 2 n i i a a a a associatief!, 0 0 i i i i n n i i n i i a a a a a a sommeerspreuken } I i voor A x x { A i I i i 36
37 rijen & reeksen rij: opeenvolgende termen rekenkundig: verschil termen constant,2,3,4,5, meetkundig: verhouding constant,2,4,8,6, reeks: opeenvolgende sommen van rij-elementen,2,3,4,5, ->,3,6,0,5,,2,4,8,6, ->,3,7,5,3, formule voor rekenkundige reeks: gemiddelde term maal aantal termen, waarbij gemiddelde natuurlijk (eerste + laatste) / 2 37
38 a 0 = a a n = a n- + v rekenkundige rijen & reeksen (n) rij, termen, verschil v a n = a + nv, 3, 5, 7, 9,, 3, n i 0 i 2 n(n ) reeks: n n a (a iv) 2(2a nv)(n ) i 0 i i 0 eerste plus laatste, maal aantal termen, gedeeld door 2 S n = n- + n S n = n + n S n = n + n + n + n = n(n+) 38
39 n n a (a iv) 2(2a nv)(n ) i 0 i i 0 n i 0 i 2 n(n ) rekenkundige rijen & reeksen onderstaande formule is een speciaal geval (a=0, v=) het bewijs is ook voor dat geval: noem die som S n. er zijn n+ termen, die paarsgewijs elk tot n optellen (dubbel geteld) S n = n- + n S n = n + n S n = n + n + n + n = n(n+) 39 Het algemene geval. Term i en term n-i zijn opgeteld steeds (a+iv)+(a+(n-i)v) = 2a+nv. Maal het aantal termen, gedeeld door twee.
40 meetkundige rijen & reeksen a 0 = a a n = ra n- (n) rij, termen, reden rr a n = ar n, 0.5, 0.25, 0.25, reeks: n n a i 0 i i 0 n i 0 ar i 2 i 2 n n a(r -) r rs n = r + r 2 + r n + r n+ S n = r 0 + r + r n- + r n (r-)s n = r n+ - r 0 40
41 T i i i j d j dt,, 2, 4, 9, 20, 48, 5, 286, 79, Sloane 842, 4766, 2486, 32973, 878, 23538, , 7259, , , , , , , , , , , d Ti j , , On-Line Encyclopedia of Integer Sequences 4 A00008 Number of rooted trees with n nodes (or connected functions with a fixed point).
42 f A B formules functie (xa)[ (yb)( xfy ) (yb)(zb)(yz xfy xfz) ] voor alle op (yb)(xa)( y=f(x) ) er is (y) B (x) A ( xfy ) - (xa)(ya)( f(x)=f(y) x=y ) (x) A (y) A ( f(x)=f(y) x=y ) (x) A (y) A ( xy f(x)=f(y) )? (y) B (x) A ( y=f(x) ) 42? (y) B (x) A ( yf(x) )
43 formules nee, logica is een ander vak. dit is een kleine test of we met wat gezond verstand kunnen lezen hoe je basis-eigenschappen definieert. 43
44 specificatie abstract datatype De volgende paar slides zijn extra. () Een taal voor het opstellen van formele specificaties is Z. De taal maakt gebruik van verzamelingen, relaties, (2) en functies, in verschillende typen. Let op het gebruik van méér pijltjes dan \LaTeX standaard heeft, of te vinden zijn in unicode font. Wat mij betreft niet een erg gelukkige keuze, maar smaken verschillen. 44
45 specification BirthdayBook known : P NAME birthday : NAME DATE known = dom birthday known = { John, Mike, Henry } birthday = { John 25-Mar, Mike 0-Aug, Henry 0-Aug } AddBirthday ΔBirthdayBook name? : NAME date? : DATE name? known birthday = birthday { name? date? } known = known { name? } FindBirthday ΞBirthdayBook name? : NAME date! : DATE name? known date! = birthday( name? ) known = known birthday = birthday
46 (ctd.) InitBirthdayBook BirthdayBook known = Remind ΞBirthdayBook today? : DATE cards! : P NAME cards! = { n : known birthday(n) = today? } m { n : known birthday(n) = today? } m known birthday(m) = today?
47 Zed, not Zee 47 The Z Notation: A Reference Manual - J. M. Spivey
48 Zed, not Zee 48 The Z Notation: A Reference Manual - J. M. Spivey
49 3.4 rekenen met resten elders 49
50 3.6 recursief gedefinieerde functies recursively defined: definition refers to itself. base values 2. argument closer to a base value ook elders 50
51 3.7 cardinalities elders oneindige verzamelingen? meer/evenveel elementen R, Q, Z, N 5
52 52 end...
Functies deel 1. Vijfde college
3 Functies deel 1 Vijfde college 1 Ch.3 Functions and Algorithms Hoofdstuk 3 uit Schaum gaat over functies en algoritmen. Het gedeelte over algoritmen ( 3.8 en 3.9) komt uitgebreid aan de orde bij toekomstige
Nadere informatieI.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 informatieMulticriteria Optimization and Decision Making. Michael Emmerich and André Deutz
2 Relaties 1 Multicriteria Optimization and Decision Making Michael Emmerich and André Deutz 2 motivatie We bestuderen relaties: de terminologie, representaties (de manieren om relaties weer te geven)
Nadere informatieFunctievergelijkingen
Functievergelijkingen Trainingsweek juni 2008 Basistechnieken Je mag alle getallen in het domein invullen in je functievergelijking. Wat er precies handig is, hangt af van het domein en van de functievergelijking.
Nadere informatieRelaties deel 2. Vierde college
2 Relaties deel 2 Vierde college 1 n-tupels & Cartesisch product A 1, A 2,, A n verzamelingen Een n-tupel is een geordend rijtje (ook wel: geordend n-tal) (a 1,a 2,...,a n ) met a 1 A 1, a 2 A 2,, a n
Nadere informatieRelaties deel 1. Derde college
2 Relaties deel 1 Derde college 1 Carl Friedrich Gauss Carl Friedrich Gauss (30 april 1777 23 februari 1855) was een Duits wiskundige en natuurkundige, die een zeer belangrijke bijdrage heeft geleverd
Nadere informatieWiskunde. Verzamelingen, functies en relaties. College 2. Donderdag 3 November
Wiskunde Verzamelingen, functies en relaties College 2 Donderdag 3 November 1 / 17 Equivalentierelaties Def. Een relatie R heet reflexief als x xrx. R heet transitief als x y z (xry yrz xrz). R heet symmetrisch
Nadere informatieHoofdstuk 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 informatieopgaven formele structuren tellen Opgave 1. Zij A een oneindige verzameling en B een eindige. Dat wil zeggen (zie pagina 6 van het dictaat): 2 a 2.
opgaven formele structuren tellen Opgave 1. Zij A een oneindige verzameling en B een eindige. Dat wil zeggen (zie pagina 6 van het dictaat): ℵ 0 #A, B = {b 0,..., b n 1 } voor een zeker natuurlijk getal
Nadere informatieRelaties en Functies
Logica voor Informatica Relaties en Functies Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Geordende paren, productverzameling, relatie (a, b) geordend paar (a, b) = (c, d) a =
Nadere informatieOplossingen Oefeningen Bewijzen en Redeneren
Oplossingen Oefeningen Bewijzen en Redeneren Goeroen Maaruf 20 augustus 202 Hoofdstuk 3: Relaties. Oefening 3..2 (a) Persoon p is grootouder van persoon q. (b) (p, q) O o O r P : [ (p, r) O (r, q) O ]
Nadere informatieTentamen Grondslagen van de Wiskunde A Met beknopte uitwerking
Tentamen Grondslagen van de Wiskunde A Met beknopte uitwerking 10 december 2013, 09:30 12:30 Dit tentamen bevat 5 opgaven; zie ook de ommezijde. Alle opgaven tellen even zwaar (10 punten); je cijfer is
Nadere informatieWiskundige Structuren
wi1607 Wiskundige Structuren Cursus 2009/2010 Eva Coplakova en Bas Edixhoven i Inhoudsopgave I Verzamelingen en afbeeldingen..... 2 I.1 Notatie........3 I.2 Operaties op verzamelingen...7 I.3 Functies.......10
Nadere informatieequivalentie-relaties
vandaag equivalentie-relaties reflexief, symmetrisch, transitief 1 1. gelijkmachtigheid / aftelbaarheid 2. modulo rekenen 3. theorie Gelijkmachtigheid en aftelbaarheid 3.7 aleph 2 intuitie Amst Brux Roma
Nadere informatieDiscrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie 9 februari 2009 INLEIDING
Discrete Structuren Piter Dystra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 9 februari 2009 INLEIDING Discrete Structuren Wee1: Inleiding Onderwerpen Elementaire
Nadere informatieDiscrete Structuren. Piter Dykstra Sietse Achterop Opleidingsinstituut Informatica en Cognitie
Discrete Structuren Piter Dystra Sietse Achterop Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 12 februari 2008 INLEIDING Discrete Structuren Wee1: Inleiding Onderwerpen
Nadere informatieInleiding 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 informatieOefening 2.2. Welke van de volgende beweringen zijn waar?
Oefeningen op hoofdstuk 2 Verzamelingenleer 2.1 Verzamelingen Oefening 2.1. Beschouw A = {1, {1}, {2}}. Welke van de volgende beweringen zijn waar? Beschouw nu A = {1, 2, {2}}, zelfde vraag. a. 1 A c.
Nadere informatieTentamen Grondslagen van de Wiskunde A, met uitwerkingen
Tentamen Grondslagen van de Wiskunde A, met uitwerkingen 8 december 2015, 09:30 12:30 Dit tentamen bevat 5 opgaven; zie ook de ommezijde. Alle opgaven tellen even zwaar (10 punten); je cijfer is het totaal
Nadere informatieExamen G0U13 Bewijzen en Redeneren Bachelor 1ste fase Wiskunde. vrijdag 31 januari 2014, 8:30 12:30. Auditorium L.00.07
Examen G0U13 Bewijzen en Redeneren Bachelor 1ste fase Wiskunde vrijdag 31 januari 2014, 8:30 12:30 Auditorium L.00.07 Geef uw antwoorden in volledige, goed lopende zinnen. Het examen bestaat uit 5 vragen.
Nadere informatieOefenopgaven 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 informatieVergelijkingen 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 informatieExamen G0U13 Bewijzen en Redeneren Bachelor of Science Fysica en Wiskunde. vrijdag 3 februari 2012, 8:30 12:30
Examen G0U13 Bewijzen en Redeneren Bachelor of Science Fysica en Wiskunde vrijdag 3 februari 2012, 8:30 12:30 Naam: Geef uw antwoorden in volledige, goed lopende zinnen. Het examen bestaat uit 5 vragen.
Nadere informatieHoofdstuk 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 informatieCollege WisCKI. Albert Visser. 17 oktober, Department of Philosophy, Faculty Humanities, Utrecht University. Equivalentierelaties.
College WisCKI Albert Visser Department of Philosophy, Faculty Humanities, Utrecht University 17 oktober, 2012 1 Overview 2 Overview 2 Overview 2 Overview 2 Overview 3 Wat is een equivalentierelatie? Een
Nadere informatieGetallensystemen, verzamelingen en relaties
Hoofdstuk 1 Getallensystemen, verzamelingen en relaties 1.1 Getallensystemen 1.1.1 De natuurlijke getallen N = {0, 1, 2, 3,...} N 0 = {1, 2, 3,...} 1.1.2 De gehele getallen Z = {..., 4, 3, 2, 1, 0, 1,
Nadere informatieDiscrete 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 informatieFundamenten. Lerarenprogramma Mastermath, versie 2015/12/02. Theo van den Bogaart Bas Edixhoven
Fundamenten Lerarenprogramma Mastermath, versie 2015/12/02 Theo van den Bogaart Bas Edixhoven i Inhoudsopgave I Verzamelingen en afbeeldingen............................................... 3 I.1 Notatie.........................................................................
Nadere informatieNiet-standaard analyse (Engelse titel: Non-standard analysis)
Technische Universiteit Delft Faculteit Elektrotechniek, Wiskunde en Informatica Delft Institute of Applied Mathematics Niet-standaard analyse (Engelse titel: Non-standard analysis) Verslag ten behoeve
Nadere informatie(iii) intervallen, bijvoorbeeld afgesloten intervallen zoals D = [0, 1] := {x en halfopen intervallen zoals D = (0, 1] := {x R 0 < x 1},
Hoofdstuk II Calculus Les Differentiatie van functies Waarscijnlijk eeft iedereen wel een idee ervan wat een functie is, maar voor de duidelijkeid zal et andig zijn om de meest belangrijke begrippen na
Nadere informatieDossier 1 SYMBOLENTAAL
Dossier 1 SYMBOLENTAAL basis voor wiskundige communicatie Dr. Luc Gheysens Wiskundigen hebben een eigen symbolentaal waarmee ze onderling communiceren, redeneringen en bewijzen neerschrijven, mathematische
Nadere informatieV.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 informatieInhoudsopgave. Relaties geordend paar, cartesisch product, binaire relatie, inverse, functie, domein, bereik, karakteristieke functies
Inhoudsopgave Verzamelingen element, Venn-diagram, singleton, lege verzameling, gelijkheid, deelverzameling, machtsverzameling, vereniging, doorsnede, verschilverzameling Relaties geordend paar, cartesisch
Nadere informatieCalculus TI1 106M. I.A.M. Goddijn, Faculteit EWI 1 september 2014
Calculus TI1 106M, 1 september 2014 Inleiding Studiemateriaal Onderwerpen Calculus 1 september 2014 1 Inleiding Mekelweg 4, kamer 4.240 tel : (015 27)86408 e-mail : I.A.M.Goddijn@TUDelft.nl homepage :
Nadere informatieLineaire Algebra C 2WF09
Lineaire Algebra C 2WF09 College: Instructie: L. Habets HG 8.09, Tel. 4230, Email: l.c.g.j.m.habets@tue.nl H.A. Wilbrink HG 9.49, Tel. 2783, E-mail: h.a.wilbrink@tue.nl http://www.win.tue.nl/wsk/onderwijs/2wf09
Nadere informatieII.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 informatieUitwerkingen Tentamen Wat is Wiskunde (WISB101) Donderdag 10 november 2016, 9:00-12:00
Uitweringen Tentamen Wat is Wisunde (WISB101) Donderdag 10 november 2016, 9:00-12:00 Docenten: Barbara van den Berg & Carel Faber & Arjen Baarsma & Ralph Klaasse & Vitor Blåsjö & Guido Terra-Bleeer Opgave
Nadere informatieUitwerkingen 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 informatieExamen G0U13 - Bewijzen en Redeneren,
Examen G0U13 - Bewijzen en Redeneren, 2010-2011 bachelor in de Wisunde, bachelor in de Fysica, bachelor in de Economische Wetenschappen en bachelor in de Wijsbegeerte Vrijdag 4 februari 2011, 8u30 Naam:
Nadere informatieTweede huiswerkopdracht Lineaire algebra 1 Uitwerking en opmerkingen
Tweede huiswerkopdracht Lineaire algebra 1 en opmerkingen November 10, 2009 Opgave 1 Gegeven een vectorruimte V met deelruimtes U 1 en U 2. Als er geldt dim U 1 = 7, dimu 2 = 9, en dim(u 1 U 2 ) = 4, wat
Nadere informatieAlle opgaven tellen even zwaar, 10 punten per opgave.
WAT IS WISKUNDE (English version on the other side) Maandag 5 november 2012, 13.30 1.30 uur Gebruik voor iedere opgave een apart vel. Schrijf je naam en studentnummer op elk vel. Alle opgaven tellen even
Nadere informatieSemantiek 1 college 10. Jan Koster
Semantiek 1 college 10 Jan Koster 1 Vandaag Vorige keer: conceptuele structuur en semantische decompositie Vandaag: inleiding in de formele semantiek Gebruikt notaties uit formele logica plus de daar gehanteerde
Nadere informatieDiscrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 15 februari 2009 RELATIES & GRAFEN Discrete Structuren Week 2: Relaties en Grafen
Nadere informatieOpgaven Inleiding Analyse
Opgaven Inleiding Analyse E.P. van den Ban Limieten en continuïteit Opgave. (a) Bewijs direct uit de definitie van iet dat y 0 y = 0. (b) Bewijs y 0 y 3 = 0 uit de definitie van iet. (c) Bewijs y 0 y 3
Nadere informatieTellen. K. P. Hart. Delft, Faculty EEMCS TU Delft. K. P. Hart Tellen
Tellen Tá scéiĺın agam K. P. Hart Faculty EEMCS TU Delft Delft, 16-9-2015 Dingen om te tellen afbeeldingen injecties surjecties bijecties deelverzamelingen van diverse pluimage Wat notatie Afkorting: n
Nadere informatieCALCULUS & ANALYSE. Stefaan Poedts. CmPA, Dept. Wiskunde, KU Leuven
CALCULUS & ANALYSE Stefaan Poedts CmPA, Dept. Wiskunde, KU Leuven Monitoraat Kaat Zeeuwts (Kaatje.Zeeuwts@wet.kuleuven.be) Annouk Van Vlierden (Annouk.VanVlierden@wet.kuleuven.be) Oefeningen Berdien, Dina,
Nadere informatieOpgaven Inleiding Analyse
Opgaven Inleiding Analyse E.P. van den Ban Limieten en continuïteit Opgave. (a) Bewijs direct uit de definitie van limiet dat lim y 0 y = 0. (b) Bewijs lim y 0 y 3 = 0 uit de definitie van limiet. (c)
Nadere informatieInleiding Analyse. Opgaven. E.P. van den Ban. c Mathematisch Instituut Universiteit Utrecht Voorjaar 2003, herzien
Inleiding Analyse Opgaven E.P. van den Ban c Mathematisch Instituut Universiteit Utrecht Voorjaar 2003, herzien 0 1 1 Limieten en continuïteit Opgave 1.1 (a) Bewijs direct uit de definitie van limiet dat
Nadere informatieVerzamelingen 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 informatieTweede college complexiteit. 12 februari Wiskundige achtergrond
College 2 Tweede college complexiteit 12 februari 2019 Wiskundige achtergrond 1 Agenda vanmiddag Floor, Ceiling Rekenregels logaritmen Tellen Formele definitie O, Ω, Θ met voorbeelden Stellingen over faculteiten
Nadere informatieWe 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 informatieOpgaven Functies en Reeksen. E.P. van den Ban
Opgaven Functies en Reeksen E.P. van den Ban c Mathematisch Instituut Universiteit Utrecht Augustus 2014 1 Opgaven bij Hoofdstuk 1 Opgave 1.1 Zij f : R n R partieel differentieerbaar naar iedere variabele
Nadere informatieTW2040: Complexe Functietheorie
TW2040: Complexe Functietheorie week 4.1, donderdag K. P. Hart Faculteit EWI TU Delft Delft, 21 april, 2016 K. P. Hart TW2040: Complexe Functietheorie 1 / 32 Outline 1 K. P. Hart TW2040: Complexe Functietheorie
Nadere informatieGetallen, 2e druk, extra opgaven
Getallen, 2e druk, extra opgaven Frans Keune november 2010 De tweede druk bevat 74 nieuwe opgaven. De nummering van de opgaven van de eerste druk is in de tweede druk dezelfde: nieuwe opgaven staan in
Nadere informatieM1 Wiskundig taalgebruik en notaties
M1 Wiskundig taalgebruik en notaties Verzamelingenleer Verzameling = aantal objecten samengebracht tot een geheel - Lege verzameling = verzameling die geen elementen bevat A = - Singleton verzameling =
Nadere informatieEnkele valkuilen om te vermijden
Enkele valkuilen om te vermijden Dit document is bedoeld om per onderwerp enkele nuttige strategieën voor opgaven te geven. Ook wordt er op een aantal veelgemaakte fouten gewezen. Het is géén volledige
Nadere informatieDefinitie 1.1. Een groep is een verzameling G, uitgerust met een bewerking waarvoor geldt dat:
Hoofdstuk 1 Eerste begrippen 1.1 Wat is een groep? Definitie 1.1. Een groep is een verzameling G, uitgerust met een bewerking waarvoor geldt dat: 1. a, b G : a b G 2. a, b, c G : a (b c) = (a b) c = a
Nadere informatieGeef niet alleen antwoorden, maar bewijs al je beweringen.
Tentamen Lineaire Algebra maandag 3--27, 3.3-6.3 uur Het is niet toegestaan telefoons, computers, grafische rekenmachines (wel een gewone), dictaten, boeken of aantekeningen te gebruiken. Schrijf op elk
Nadere informatieDe 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 informatieOverzicht 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 informatieJe 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 informatieKU Leuven. Algebra. Notities. Tom Sydney Kerckhove
KU Leuven Algebra Notities Tom Sydney Kerckhove Gestart 23 september 2014 Gecompileerd 28 oktober 2014 Inhoudsopgave 1 Verzamelingen 3 1.1 Basisbegrippen....................................... 3 1.2 De
Nadere informatieOefening 2.3. Noteer de volgende verzamelingen d.m.v. (eenvoudig) voorschrift voor de eerste helft en d.m.v. opsomming voor de tweede helft.
Oefeningen op hoofdstuk 2 Verzamelingenleer 2.1 Verzamelingen Oefening 2.1. Beschouw A = {1, {1}, {2}}. Welke van de volgende beweringen zijn waar? Beschouw nu A = {1, 2, {2}}, zelfde vraag. a. 1 A c.
Nadere informatieFOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE
FOR DUTCH STUDENTS! ENGLISH VERSION NEXT PAGE Tentamen Analyse 6 januari 203, duur 3 uur. Voeg aan het antwoord van een opgave altijd het bewijs, de berekening of de argumentatie toe. Als je een onderdeel
Nadere informatieNATUURLIJKE, GEHELE EN RATIONALE GETALLEN
II NATUURLIJKE, GEHELE EN RATIONALE GETALLEN Iedereen ent getallen: de natuurlije getallen, N = {0,1,2,3,...}, gebruien we om te tellen, om getallen van elaar af te unnen treen hebben we de gehele getallen,
Nadere informatieKennisrepresentatie & Redeneren. Piter Dykstra Instituut voor Informatica en Cognitie
Kennisrepresentatie & Redeneren Piter Dykstra Instituut voor Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 30 april 2007 INLEIDING Kennisrepresentatie & Redeneren Week1: Introductie
Nadere informatieExamenvragen Hogere Wiskunde I
1 Examenvragen Hogere Wiskunde I Vraag 1. Zij a R willekeurig. Gegeven is dat voor alle r, s Q geldt dat a r+s = a r a s. Bewijs dat voor alle x, y R geldt dat a x+y = a x a y. Vraag 2. Gegeven 2 functies
Nadere informatieTopologie I - WPO Prof. Dr. E. Colebunders Dr. G. Sonck 24 september 2006
Topologie I - WPO Prof. Dr. E. Colebunders Dr. G. Sonck 24 september 2006 Inhoudsopgave 1 Topologische ruimten 2 2 Metriseerbaarheid en aftelbaarheid 7 3 Convergentie en continuïteit 8 4 Separatie-eigenschappen
Nadere informatieComplexe functies 2019
Complexe functies 019 Extra opgaves Opgave A Laat zien dat R voorzien van de bewerkingen a + b := (a 1 +b 1,a +b ) a b := (a 1 b 1 a b,a 1 b +a b 1 ) isomorf is met C. Wat is i in deze representatie? Opgave
Nadere informatieINLEIDING GROEPENTHEORIE
INLEIDING GROEPENTHEORIE 2013-2014 webstek: http://homepages.vub.ac.be/ efjesper HOC: woensdag 8-10 uur, sem 2 WPO: donderdag 13-15 uur, sem 2 E. Jespers Vakgroep Wiskunde Vrije Universiteit Brussel Faculteit
Nadere informatieV.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 informatieFundamentele. Informatica 1. Eerste college: -introductie -verzamelingen I
Fundamentele 1 Informatica 1 Eerste college: -introductie -verzamelingen I Rechenmaschine (1623) von Wilhelm Schickard (1592-1635), gebaut für seinen Freund Johannes Kepler Fundamentele Informatica 1 Docent:
Nadere informatieBasiswiskunde. P.J.I.M. de Paepe Korteweg de Vries Instituut Universiteit van Amsterdam
Basiswiskunde P.J.I.M. de Paepe Korteweg de Vries Instituut Universiteit van Amsterdam 22 augustus 2007 Inhoudsopgave 1 Verzamelingen 2 2 Taal van de wiskunde 6 3 Afbeeldingen 11 4 Relaties 15 5 Inductie
Nadere informatieGeef niet alleen antwoorden, maar bewijs al je beweringen.
Tentamen Lineaire Algebra donderdag 29 januari 205, 9.00-2.00 uur Het is niet toegestaan telefoons, computers, grafische rekenmachines (wel een gewone), dictaten, boeken of aantekeningen te gebruiken.
Nadere informatieRuimtewiskunde. college. De determinant en lineaire afbeeldingen. Vandaag. De determinant van een matrix. Toepassing: oppervlakte en inhoud
college 6 en lineaire collegejaar college build slides Vandaag : : : : 6-7 6 9 juni 27 3 2 3 van een matrix Toepassing: oppervlakte en inhoud.6-7[6] vandaag van de 2 2-matrix a b c d is gelijk aan ad bc.
Nadere informatieIII.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 informatieFP-theorie. 2IA50, Deel B. Inductieve definities 1/19. / department of mathematics and computer science
FP-theorie 2IA50, Deel B Inductieve definities 1/19 Inductieve definitie Definitie IL α, (Cons-)Lijsten over α Zij α een gegeven verzameling. De verzameling IL α van eindige (cons-)lijsten over α is de
Nadere informatieTalen & Automaten. Wim Hesselink Piter Dykstra Opleidingsinstituut Informatica en Cognitie 9 mei 2008
Talen & Automaten Wim Hesselink Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.cs.rug.nl/~wim 9 mei 2008 Talen & automaten Week 1: Inleiding Dit college Talen Automaten Berekenbaarheid Weekoverzicht
Nadere informatie1 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 informatieGödels theorem An Incomplete Guide to Its Use and Abuse, Hoofdstuk 3
Gödels theorem An Incomplete Guide to Its Use and Abuse, Hoofdstuk 3 Koen Rutten, Aris van Dijk 30 mei 2007 Inhoudsopgave 1 Verzamelingen 2 1.1 Definitie................................ 2 1.2 Eigenschappen............................
Nadere informatieFuncties (een korte inleiding)
Hoofdstuk 3 Functies (een korte inleiding) 3.1 Definitie van een functie: domein en mapping 3.1.1 Functies in Funmath Functies kent u waarschijnlijk al uit de context van wiskundige analyse, waar gewerkt
Nadere informatieiii Tristan Kuijpers Claudine Lybaert december 2013
Voorwoord De wiskundige vorming die in de wiskundig sterke richtingen van het Vlaamse secundair onderwijs wordt aangeboden, vormt een zeer degelijke basis voor hogere studies in wetenschappelijke, technologische
Nadere informatie1. (a) Formuleer het Cauchy criterium voor de convergentie van een reeks
Radboud Universiteit Nijmegen Tentamen Analyse 1 WP001B 7 augustus 2015, 16:30 19:30 (20:30) Het gebruik van een rekenmachine, telefoon of tablet is niet toegestaan. U mag geen gebruik maken van het boek
Nadere informatie1 Limiet van een rij Het begrip rij Bepaling van een rij Expliciet voorschrift Recursief voorschrift 3
HOOFDSTUK 6: RIJEN 1 Limiet van een rij 2 1.1 Het begrip rij 2 1.2 Bepaling van een rij 2 1.2.1 Expliciet voorschrift 2 1.2.2 Recursief voorschrift 3 1.2.3 Andere gevallen 3 1.2.4 Rijen met de grafische
Nadere informatieInverse functies en limieten
Inverse functies en limieten Inverse functies We nemen aan dat A en B deelverzamelingen zijn van R. Een functie f : A B heet één-één duidig of injectief als f (x 1 ) f (x 2 ) voor alle x 1 x 2, x 1, x
Nadere informatieCombinatoriek 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 informatieLineaire Algebra C 2WF09
Lineaire Algebra C 2WF09 College: Instructie: L. Habets HG 8.09, Tel. 4230, Email: l.c.g.j.m.habets@tue.nl H.A. Wilbrink HG 9.49, Tel. 2783, E-mail: h.a.wilbrink@tue.nl http://www.win.tue.nl/wsk/onderwijs/2wf09
Nadere informatieVerzamelingen deel 2. Tweede college
1 Verzamelingen deel 2 Tweede college herhaling Deelverzameling: AB wil zeggen dat elk element van A ook in B te vinden is: als x A dan x B Er geldt: A=B AB en BA De lege verzameling {} heeft geen elementen.
Nadere informatieInhoud college 4 Basiswiskunde. 2.6 Hogere afgeleiden 2.8 Middelwaardestelling 2.9 Impliciet differentiëren 4.9 Linearisatie
Inhoud college 4 Basiswiskunde 2.6 Hogere afgeleiden 2.8 Middelwaardestelling 2.9 Impliciet differentiëren 4.9 Linearisatie 2 Basiswiskunde_College_4.nb 2.6 Hogere afgeleiden De afgeleide f beschrijft
Nadere informatieFUNCTIEVERGELIJKINGEN
FUNCTIEVERGELIJKINGEN FOKKO VAN DE BULT 1. Inleiding Het oplossen van functievergelijkingen is een onderwerp dat nog niet heel lang op IMO s voorkomt. Een deel van de reden dat ze nu toch wel regelmatig
Nadere informatieLineaire afbeeldingen
Hoofdstuk 4 Lineaire afbeeldingen In de algebra spelen naast algebraïsche structuren zelf ook de afbeeldingen ertussen die (een deel van de structuur bewaren, een belangrijke rol Voor vectorruimten zijn
Nadere informatie1 Verzamelingen en afbeeldingen
Samenvatting Wiskundige Structuren, 2010 Aad Offerman, www.offerman.com 1 1 Verzamelingen en afbeeldingen Notaties: A = {1,2,3},, x A, y / A, A = B A B en B A, N = {0,1,2,...}, Z = {..., 3, 2, 1,0,1,2,...},
Nadere informatieHOOFDSTUK 0. = α g1 α g2
HOOFDSTUK 0 Acties van groepen 0.1 Groep-actie Uit de cursus Meetkunde en Lineaire Algebra van 1ste jaar Bachelor Wiskunde ([KI] in de referentielijst) weten we reeds wat een permutatiegroep G op een verzameling
Nadere informatieTW2040: Complexe Functietheorie
TW2040: Complexe Functietheorie week 4.6, donderdag K. P. Hart Faculteit EWI TU Delft Delft, 2 juni, 2016 K. P. Hart TW2040: Complexe Functietheorie 1 / 38 Outline 1 Rekenregels 2 K. P. Hart TW2040: Complexe
Nadere informatieSemantiek (2IT40) Bas Luttik. HG 7.14 tel.: Hoorcollege 8 (7 juni 2007)
Bas Luttik s.p.luttik@tue.nl http://www.win.tue.nl/~luttik HG 7.14 tel.: 040 247 5152 Hoorcollege 8 (7 juni 2007) Functionele talen Idee: een programma definieert reeks (wiskundige) functies. Programma
Nadere informatieAXIOMATIEK VAN GETALLEN, vergezichten vanuit mijn ivoren toren
AXIOMATIEK VAN GETALLEN, vergezichten vanuit mijn ivoren toren Bas Edixhoven Universiteit Leiden KNAW symposium Rekenen, 30 juni 2014 Wat volgt is slechts mijn eigen mening. Deze aantekeningen zal ik op
Nadere informatie1 Symmetrieën van figuren
1 Symmetrieën van figuren 1.1 Het mysterie van de hoge eik Als je door een met water gevulde reageerbuis heen de woorden DIE HOHE EICHE FÄLLT LANGSAM UM leest, waarbij de eerste drie woorden rood en de
Nadere informatieLineaire afbeeldingen
Hoofdstuk 2 Lineaire afbeeldingen 21 Inleiding Een afbeelding f van een verzameling V naar een verzameling W is een regel die aan ieder element v van V een element f(v) van W toevoegt maw een generalisatie
Nadere informatie(Isomorfie en) RELATIES
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 15 maart 2009 (Isomorfie en) RELATIES. Paragrafen 10.5,11.1,11.2,11.4,11.5 Discrete
Nadere informatieEERSTE DEELTENTAMEN ANALYSE C
EERSTE DEELTENTAMEN ANALYSE C 0 november 990 9.30.30 uur Zet uw naam op elk blad dat u inlevert en uw naam en adres op de enveloppe. De verschillende onderdelen van de vraagstukken zijn zoveel als mogelijk
Nadere informatie