Dossier 1 SYMBOLENTAAL

Vergelijkbare documenten
Oefening 2.2. Welke van de volgende beweringen zijn waar?

Hoofdstuk 3. Equivalentierelaties. 3.1 Modulo Rekenen

Enkele valkuilen om te vermijden

Bewijzen en Redeneren voor Informatici

Getallensystemen, verzamelingen en relaties

Verzamelingen. Hoofdstuk 5

Discrete Structuren. Piter Dykstra Sietse Achterop Opleidingsinstituut Informatica en Cognitie

RAF belangrijk te onthouden

Wiskunde. Verzamelingen, functies en relaties. College 2. Donderdag 3 November

II.3 Equivalentierelaties en quotiënten

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.

Verzamelingen deel 3. Derde college

Examen G0U13 Bewijzen en Redeneren Bachelor of Science Fysica en Wiskunde. vrijdag 3 februari 2012, 8:30 12:30

Examen G0U13 Bewijzen en Redeneren Bachelor 1ste fase Wiskunde. vrijdag 31 januari 2014, 8:30 12:30. Auditorium L.00.07

Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie 9 februari 2009 INLEIDING

KU Leuven. Algebra. Notities. Tom Sydney Kerckhove

opgaven 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.

PROPOSITIELOGICA. fundament voor wiskundig redeneren. Dr. Luc Gheysens

BEWIJZEN EN REDENEREN

College WisCKI. Albert Visser. 17 oktober, Department of Philosophy, Faculty Humanities, Utrecht University. Equivalentierelaties.

We beginnen met de eigenschappen van de gehele getallen.

Definitie 1.1. Een groep is een verzameling G, uitgerust met een bewerking waarvoor geldt dat:

Getallenleer Inleiding op codeertheorie. Cursus voor de vrije ruimte

Relaties en Functies

2 n 1. OPGAVEN 1 Hoeveel cijfers heeft het grootste bekende Mersenne-priemgetal? Met dit getal vult men 320 krantenpagina s.

Oefening 2.3. Noteer de volgende verzamelingen d.m.v. (eenvoudig) voorschrift voor de eerste helft en d.m.v. opsomming voor de tweede helft.

Hoofdstuk 1. Inleiding. Lichamen

Supplement Verzamelingenleer. A.J.M. van Engelen en K. P. Hart

Getallen, 2e druk, extra opgaven

Bewijzen en Redeneren voor Informatici Samenvatting

iii Tristan Kuijpers Claudine Lybaert december 2013

Uitwerkingen Tentamen Wat is Wiskunde (WISB101) Donderdag 10 november 2016, 9:00-12:00

Tentamen Grondslagen van de Wiskunde A, met uitwerkingen

Oefenopgaven Grondslagen van de Wiskunde A

Tentamen Grondslagen van de Wiskunde A Met beknopte uitwerking

Inhoudsopgave. I Theorie 1

M1 Wiskundig taalgebruik en notaties

VERZAMELINGEN EN AFBEELDINGEN

Dossier 3 PRIEMGETALLEN

Groepen, ringen en velden

Tentamen Grondslagen van de Wiskunde A met uitwerking

OPLOSSINGEN VAN DE OEFENINGEN

Volledige inductie. Hoofdstuk 7. Van een deelverzameling V van de verzameling N van alle natuurlijke getallen veronderstellen.

KU Leuven. Algebra. Notities. Tom Sydney Kerckhove. met dank aan: Katelijne Caerts Eline van der Auwera Anneleen Truijen

Functievergelijkingen

Collegestof verzamelingenleer. Verzamelingenleer. Inhoud dit deel college. Verzamelingen. Universele en lege verzameling. Verzamelingen en elementen

Fundamenten. Lerarenprogramma Mastermath, versie 2015/12/02. Theo van den Bogaart Bas Edixhoven

verschil vervanging = (A A ) (A B ) distributie = U (A B ) inverse = A B identiteit

3 Modulorekenen. 3.1 De eulerfunctie en de kleine stelling van Fermat. Oefening 3.1. Bepaal Φ(1992), Φ(2011) en Φ(2048) (83 en 2011 zijn priem).

Wiskundige taal. Symbolen om mee te rekenen + optelling - aftrekking. vermenigvuldiging : deling

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

Opmerking. TI1300 Redeneren en Logica. Met voorbeelden kun je niks bewijzen. Directe en indirecte bewijzen

Inleiding Analyse 2009

HOOFDSTUK 0. = α g1 α g2

Wiskundige Structuren

Vorig college. IN2505-II Berekenbaarheidstheorie. Aanbevolen opgaven. Wat is oneindigheid? College 5

Ter Leering ende Vermaeck

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

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

Examen G0U13 - Bewijzen en Redeneren,

Aanvullingen bij Hoofdstuk 8

Logisch redeneren. Historische figuren. Begrippen. Axioma s of grondbegrippen. Grondbegrippen

1 Verzamelingen. en relaties. 1.1 De basisnotaties. Hoofdstuk

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

Bewijs door inductie

Inleiding tot groepentheorie

Definitie 5.1. Cyclische groepen zijn groepen voortgebracht door 1 element.

Notatie van verzamelingen. Lidmaatschap. Opgave. Verzamelingen specificeren

Basiswiskunde. P.J.I.M. de Paepe Korteweg de Vries Instituut Universiteit van Amsterdam

Hoe Gödel de wiskunde liet schrikken

Verzamelingenleer. Inhoud leereenheid 5. Introductie 9

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

III.2 De ordening op R en ongelijkheden

Tentamen algebra 1. 8 juni 2005, , zaal A.404

Tweede huiswerkopdracht Lineaire algebra 1 Uitwerking en opmerkingen

Functies deel 1. Vijfde college

Algebra en van cryptosysteem tot digitale handtekening

INLEIDING TOT DE HOGERE WISKUNDE

Topologie I - WPO. Prof. Dr. E. Colebunders

Getaltheorie II. ax + by = c, a, b, c Z (1)

Topologie I - WPO Prof. Dr. E. Colebunders Dr. G. Sonck 24 september 2006

(Isomorfie en) RELATIES

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

Wiskundige beweringen en hun bewijzen

INLEIDING GROEPENTHEORIE

Universiteit Gent. Academiejaar Discrete Wiskunde. 1ste kandidatuur Informatica. Collegenota s. Prof. Dr.

Oefening 4.3. Zoek een positief natuurlijk getal zodanig dat de helft een kwadraat is, een derde is een derdemacht en een vijfde is een vijfdemacht.

Oefening 4.3. Zoek een positief natuurlijk getal zodanig dat de helft een kwadraat is, een derde is een derdemacht en een vijfde is een vijfdemacht.

Oefeningen Cursus Discrete Wiskunde. 26 mei 2003

Inleiding tot de Problem Solving - deel 1: Combinatoriek en getaltheorie

Analyse deel I. Cursus voor Latijn-Wiskunde, Economie-Wiskunde en Wetenschappen-Wiskunde

Lights Out. 1 Inleiding

III.3 Supremum en infimum

1 Kettingbreuken van rationale getallen

Pijlenklokken. 1 Inleiding

Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie

Deelgroepen en normaaldelers

Uitwerkingen toets 12 juni 2010

Oplossingen Oefeningen Bewijzen en Redeneren

Opgaven Inleiding Analyse

Transcriptie:

Dossier 1 SYMBOLENTAAL basis voor wiskundige communicatie Dr. Luc Gheysens

Wiskundigen hebben een eigen symbolentaal waarmee ze onderling communiceren, redeneringen en bewijzen neerschrijven, mathematische objecten beschrijven en bestuderen. We zullen ons hier beperken tot een reeks fundamentele begrippen zoals - de taal van de verzamelingen - de taal van de kwantoren - de taal van de relaties - de taal van de functies. We gebruiken tenslotte deze symbolentaal bij een bijzondere bewijsvorm nl. het bewijs door volledige inductie. DE TAAL VAN DE VERZAMELINGEN In de eerste drie jaren van het secundair onderwijs leert men diverse getallenverzamelingen kennen: de verzameling van de natuurlijke getallen, de verzameling van de gehele getallen, de verzameling van de rationale getallen en de verzameling van de reële getallen. Later komt hier nog de verzameling van de complexe getallen bij. Je kunt natuurlijk ook verzamelingen beschouwen die niet thuishoren in de getallenwereld of in de wiskunde, zoals de verzameling van de huidige Kulakstudenten en de verzameling van alle West-Vlaamse gemeenten met minder dan 10 000 inwoners. Stel dat A een verzameling is. Als een element x tot de verzameling A behoort, dan noteren we x A. Als x niet tot a behoort, schrijven we x A. Een verzameling kan je omschrijven met behulp van de voorwaarde(n) waaraan haar elementen moeten voldoen of door de elementen van de verzameling op te sommen. Voorbeelden. A = {x x is een student die les volgt aan de Kulak} (omschrijving) B = {x x is een priemgetal kleiner dan 10} (omschrijving) B = {2, 3, 5, 7} (opsomming) C = { x x is een deler van 6} (omschrijving) C = {1, -1, 2, -2, 3, -3, 6, -6} (opsomming). Indien het niet mogelijk is alle elementen uit een verzameling door opsomming neer te schrijven, dan gebruiken we drie puntjes: D = {a, b, c,, z} (de verzameling van alle letters van ons alfabet) = {0, 1, 2, } = {, -3, -2, -1, 0, 1, 2, 3, }. De lege verzameling, genoteerd als, bevat geen enkel element en een verzameling met juist één element noemen we een singleton. Voorbeelden. {x x is een even priemgetal groter dan 2} = {x x is een even priemgetal} = {2} (een singleton). Als alle elementen van een verzameling A tot B behoren, dan noemen we A een deelverzameling van B en we noteren dit met A B. Hierbij is het symbool voor de inclusie. Zo is bijvoorbeeld en en. Twee verzamelingen A en B zijn gelijk als en slechts als ze dezelfde elementen hebben, d.w.z. A = B A B en B A. 2

Op twee of meer verzamelingen kunnen we bewerkingen uitvoeren zodat het resultaat opnieuw een verzameling is. De doorsnede van A en B is de verzameling van alle elementen die tot A en tot B behoren: A B = { x x A en x B } Voorbeeld. A = {1, 2, 3, 4, 5, 6} B = {4, 6, 8, 10} A B = {4, 6}. De unie van A en B is de verzameling van alle elementen die tot A of tot B behoren: A B = { x x A of x B } Voorbeeld. A = {1, 2, 3, 4, 5, 6} B = {4, 6, 8, 10} A B = {1, 2, 3, 4, 5, 6, 8, 10}. Het verschil van A met B is de verzameling van alle elementen die tot A behoren, maar niet tot B: A \ B = { x x A en x B } Voorbeeld. A = {1, 2, 3, 4, 5, 6} B = {4, 6, 8, 10} A B = {1, 2, 3, 5} en B \ A = {8, 10}. Wanneer B een deelverzameling is van A, dan noemen we het verschil van B met A het complement van B (ten opzichte van A) en we noteren dit met B C i.p.v. A \ B. Voorbeeld. A = {1, 2, 3, 4, 5, 6} B = {4, 6} B C = {1, 2, 3, 4}. Het product van de verzameling A en B is de verzameling van alle geordende paren (x, y) waarbij x een element is van A en y een element van B: A x B = {(x, y) x A en y B} Voorbeeld. A = {1, 2, 3} B = {2, 4} A x B = {(1, 2), (1, 4), (2, 2), (2, 4), (3, 2), (3, 4) B x A = {(2, 1), (2, 2), (2, 3), (4, 1), (4, 2), (4, 3)}. Een special geval hiervan is 2 = x = {(x, y) x en y }. 3

Voor de grafische weergave van verzamelingen en om bv. de gelijkheid van verzameling te controleren gebruiken we een Venndiagram (genoemd naar de Engelse wiskundige John Venn (1834 1923)). Voorbeelden. B C A \ (B C) Voor de grafische voorstelling van het product van twee verzamelingen gebruikt men een roosterdiagram of cartesisch diagram. Voorbeeld; Als A = B = {1, 2, 3, 4, 5, 6} (mogelijke uitkomsten bij het gooien van een dobbelsteen) dan bevat A x B 36 elementen (roosterpunten): 4

Stelling (algebra van de verzamelingen) 1. A \ (A \ A) = A 2. Commutativiteit van unie en doorsnede: A B = B A A B = B A 3. Associativiteit van unie en doorsnede: (A B) C = A (B C) (A B) C = A (B C) 4. Distributiviteit van de unie t.o.v. de doorsnede: A (B C) = (A B) (A C) Distributiviteit van de doorsnede t.o.v. de unie: A (B C) = (A B) (A C) 5. Identiteiten van De Morgan (Augustus De Morgan, een Britse wiskundige en logicus, 1806 1871). A \ (B C) = (A \ B) (A \ C) of ook: (B C) C = B C C C A \ (B C) = (A \ B) (A \ C) of ook: (B C) C = B C C C Opgave 1. Controleer de identiteiten van De Morgan met behulp van Venndiagrammen. De delenverzameling of machtsverzameling van een eindige verzameling A is de verzameling van alle deelverzamelingen van A en we noteren die met (A): X (A) X A Voorbeeld. A = {1, 2} dan is (A) = {, {1}, {2}, A} Opgave 2. Hoeveel elementen bevat de delenverzameling van A als A zelf drie elementen bevat? En wat als A vier elementen bevat? En wat als A n elementen bevat (n 0)? DE TAAL VAN DE KWANTOREN Een predicaat p is een zinvolle uitspraak over elementen uit een bepaalde verzameling (die ook wel het universum wordt genoemd). Zo is p = x is een deler van 12 een voorbeeld van een predicaat waarbij het universum gelijk is aan. In de wiskunde gebruikt men het symbool om aan te duiden dat een getal een deler is van een ander getal. Zo is 3 12 een ware uitspraak, maar 5 12 is een valse uitspraak. Als een element a voldoet aan p, noteren we dit met p(a). Hierbij is p(a) ondubbelzinnig waar of vals (onwaar). In het voorbeeld is p(3) waar, maar p(5) is vals. De universele kwantor, genoteerd met, wordt gebruikt om aan te duiden dat uitspraak waar is voor alle elementen uit een bepaalde verzameling: Voor elk getal x uit de verzameling met elementen 1, 2, 3, 4, 6 en 12 geldt dat x een deler is van 12. 5

De existentiële kwantor, genoteerd met, wordt gebruikt om aan te duiden dat er een element bestaat (minstens één) in een bepaalde verzameling waarvoor een uitspraak waar is. Er bestaat een getal x in de verzameling met elementen 3, 4 en 5 waarvoor geldt dat x een deler is van 12. Om de existentie en de uniciteit uit de drukken gebruiken we het symbool en we lezen dit als er bestaat juist één. Er bestaat juist één getal x in de verzameling met elementen 3, 5 en 7 waarvoor geldt dat x een deler is van 12. Voor de negatie (ontkenning) van een bepaalde uitspraak gebruiken we het symbool (ook soms ~ ). Als een uitspraak niet waar is voor alle elementen uit een bepaalde verzameling betekent dit dat er minstens één element in die verzameling zit waarvoor de uitspraak niet waar is. Om de equivalentie (gelijkwaardigheid) van een bepaalde uitspraak uit de dtukken gebruiken we het symbool. De uitspraak Niet elk getal uit de verzameling met elementen 3, 4 en 5 is een deler van 12 is gelijkwaardig met de uitspraak Minstens één getal uit de verzameling met elementen 3, 4 en 5 is geen deler van 12. De uitspraak Het is niet waar dat een getal uit de verzameling met elementen 5, 7 en 9 een deler van 12 is gelijkwaardig met de uitspraak Voor alle getallen uit de verzameling met elementen 5, 7 en 9 geldt dat ze geen deler zijn van 12. Opgave 3. Druk de volgende uitspraken uit in de gewone spreektaal. Welke uitspraken zijn waar? (a) (b) (c) (d) y (e) (f) Met L duiden we de verzameling aan van alle rechten uit het vlak en met L A de verzameling van alle rechten uit het vlak die door het punt A gaan. L : L A : b // a L A : L : b // a 6

Opgave 4. Noteer de volgende uitspraken symbolisch door gebruik te maken van kwantoren. (a) 1 is het neutraal element voor de vermenigvuldiging in de verzameling van de reële getallen. (b) Als P de verzameling is van de priemgetallen, dan geldt dat elk even getal groter dan 2 te schrijven is als de som van twee priemgetallen (vermoeden van Goldbach) (c) De vergelijking 2x + 3y = 0 heeft oplossingen. (d) Voor een willekeurige deelverzameling van een verzameling E geldt de doorsnede van die verzameling met haar complement (t.o.v. E) ledig is. (e) Door elk punt van het vlak dat niet op een gegeven rechte gelegen is, gaat er precies één rechte die evenwijdig is met die gegeven rechte (axioma van Euclides). (f) Door twee verschillende punten van het vlak gaat er precies één rechte. (g) Alle delers van 12 zijn ook delers van 72. (h) De verzameling van de natuurlijke getallen heeft geen grootste element. (i) Er bestaat geen breuk waarvan het kwadraat gelijk is aan 2. (j) De doorsnede van twee deelverzamelingen van een verzameling E is een deelverzameling van de unie van die twee deelverzamelingen. DE TAAL VAN DE RELATIES Definitie. Een relatie R van een verzameling A naar een verzameling B is een deelverzameling van de productverzameling A x B. R A x B Als (x, y) R voor een relatie van A naar B (met x A en y B), dan zeggen we dat x in relatie staat met y. We noteren dit met xry. We noemen A het domein en B het codomein van de relatie R. Van een relatie R kunnen we een pijlenvoorstelling maken met behulp van Venndiagrammen en we kunnen ook gebruik maken van het roosterdiagram van de verzameling R. Uiteraard kunnen we ook de elementen uit de overeenkomstige deelverzameling R van A x B opsommen. Opgave 5. Duid hieronder de relatie R = is deler van aan van de verzameling A = {1, 2, 3, 4} naar de verzameling B = {2, 6, 8, 9} (a) Met behulp van een pijlendiagram: A B 1 2 2 6 3 8 4 9 7

(b) Met behulp van het cartesisch diagram van R: (c) Controleer en noteer met behulp van kwantoren dat (c1) een kolom volledig is (c2) er minstens één punt per kolom voorkomt (c3) er minstens één punt per rij voorkomt. (d) Noteer de verzameling R via opsomming van haar elementen: R = Opgave 6. A = {3, 7, 8, 11} en B = {5, 6, 22} Twee natuurlijke getallen noemt men onderling ondeelbaar als hun grootste gemeenschappelijke deler 1 is. Beschouw de relatie R = is onderling ondeelbaar met van A naar B. Stel deze relatie voor (a) met behulp van een pijlendiagram (b) met behulp van een cartesisch diagram (c) controleer en noteer met behulp van kwantoren dat (c1) een kolom volledig is (c2) een rij volledig is (c3) er minstens één punt per kolom optreedt (c4) er minstens één punt per rij optreedt. (d) door opsomming van de elementen uit de verzameling R. 8

Opgave 7. E = {a, b} (E) = {, {a}, {b}, E} is de delenverzameling van E. Beschouw de relatie R = is deelverzameling van van A = (E) naar B (E). Stel deze relatie voor (a) met behulp van een pijlendiagram (b) met behulp van een cartesisch diagram (c) controleer en noteer met behulp van kwantoren dat (c1) een kolom volledig is (c2) een rij volledig is (c3) er minstens één punt per kolom optreedt (c4) er minstens één punt per rij optreedt. (d) door opsomming van de elementen uit de verzameling R. Vanaf nu onderstellen we dat R een inwendige relatie is op een verzameling A, d.w.z. A is een relatie van A naar A (of R A x A). Dan kunnen we de volgende eigenschappen introduceren: Als R een inwendige relatie is op A, dan geldt R is reflexief (of. Dit betekent dat er bij elk element een lus is. R is symmetrisch (of. Dit betekent dat er voor elke pijl heen een pijl terug is. R is antisymmetrisch (of en Dit betekent dat lussen de enige pijlen heen en terug zijn. R is transitief (of en. Dit betekent dat als er een pijl is van a naar b en een pijl van b naar c, er dan ook een pijl is van a naar c. Voorbeelden. 1. De relatie R = is kleiner dan of gelijk aan in de verzameling is reflexief, antisymmetrisch en transitief. 2. De relatie R = is deler van in de verzameling is reflexief, antisymmetrisch en transitief. 3. De relatie R = is gelijk aan in de verzameling is reflexief, symmetrisch en transitief. 4. De relatie R in de verzameling gedefinieerd door arb a en b hebben dezelfde rest bij deling door 5, is reflexief, symmetrisch en transitief. In de wiskunde noteert men dit ook als a b (mod 5) en leest men als a is congruent met b modulo 5. 5. De relatie R in de verzameling V van alle eindige verzamelingen, gedefinieerd door A # B A en B hebben evenveel elementen (of # A = # B) is reflexief, symmetrisch en transitief. Dit leest men ook als A is gelijkmachtig (of equipotent met B). 9

Opgave 8. Controleer de resultaten uit de bovenstaande voorbeelden. Opgave 9 Welke eigenschappen heeft de relatie R = is strikt kleiner dan in de verzameling? Opgave 10. Beschouw de relatie R = is deelverzameling van in de delenverzameling van een eindige verzameling E. Welke eigenschappen heeft deze relatie? Opgave 11. In de verzameling x definiëren we de relatie R als volgt: (a, b) R (c, d) a + d = b + c. Welke eigenschappen heeft deze relatie? Opgave 12. In de verzameling x 0 definiëren we de relatie R als volgt: (a, b) R (c, d) ad = bc. Welke eigenschappen heeft deze relatie? Definitie. Een relatie R in A is een orderelatie als en slechts als R reflexief, antisymmetrisch en transitief is. Als bovendien a, b A : arb of bra, dan is R een totale orderelatie op A. In het andere geval is R een partiële orderelatie. Voorbeelden. 1. De relatie R = is kleiner dan of gelijk aan is een totale orderelatie in. 2. De relatie R = is deelverzameling van is een partiële orderelatie in de delenverzameling (A) van een eindige verzameling A. 3. De relatie R = is deler van is een partiële orderelatie in de verzameling A = {1, 2, 3, 4, 5, 6}. Definitie. Een relatie R in A is een equivalentierelatie als en slechts als R reflexief, symmetrisch en transitief is. Voorbeeld. Een belangrijke equivalentierelatie (die o.a. gebruikt wordt in de cryptografie, de wetenschap die zich bezighoudt met het coderen en decoderen van boodschappen) is de relatie R in de verzameling gedefinieerd door arb a en b hebben dezelfde rest bij deling door p, met p Men noteert men dit ook als a b (mod p) en leest men als a is congruent met b modulo p en dus: als a b (mod p) Alle gehele getallen die rest 0 hebben bij deling door p, stopt men in één klasse die men de restklasse noemt. Op dezelfde manier bekomt men dan de restklassen,,. De verzameling van de restklassen modulo p noteert men met. Opgave 13. Hoe wordt 12 opgebouwd? Welk verband bestaat er met het kloklezen? 10

DE TAAL VAN DE FUNCTIES Definitie. Een functie f van een verzameling A naar een verzameling B is een relatie tussen A en B die hoogstens één element van B associeert aan een element uit A, m.a.w. voor elk element x van A bestaat er hoogstens één element y van B zodat xfy, of nog: A noemt men de bron en B het doel van de functie f. Een functie f van A naar B noteren we als f : A B en in plaats van xfy schrijven we y = f(x) en we noemen y het beeld van x onder f of de functiewaarde van x. Het domein of definitiegebied van een functie f : A B is en het beeld van f : A B is. Merk op dat en Een functie wordt meestal bepaald via een functievoorschrift: Definitie. Een afbeelding van een verzameling A naar een verzameling B is een functie f : A B waarvoor geldt dat voor elk element x van A er juist één element y van B bestaat zodat y = f(x) of dus. Dit betekent dat voor een afbeelding f : A B het definitiegebied samenvalt met de bron: dom f = A. Bij een afbeelding van A naar B vertrekt er dus op het pijlendiagram uit elk element van A juist één pijl, terwijl er bij een functie van A naar B hoogstens één pijl vertrekt uit elk element van A. Opgave 14. 1. Als A = {0, 1, 2}, dan definiëren we de functie 2. A = {0, 1, 2} en B = {1, 2, 3, 4}. We definiëren Teken bij elk van deze functies het pijlendiagram Bepaal dom f, bld f, dom g en bld g. Is f een afbeelding? Is g een afbeelding? 11

Functies kunnen bijzondere eigenschappen hebben. We beschouwen in het vervolg enkel functies f : A B waarbij def f = A zodat er eigenlijk geen verschil is tussen een functie en een afbeelding. Definitie. Een functie f : A B is (a) surjectief (of f is een surjectie) als en slechts als Dit betekent dat er op het pijlendiagram in elk element van B juist één pijl toekomt of ook dat bld f = B. (b) injectief (of f is een injectie) als en slechts als. of equivalent hiermee: Dit betekent dat er in elk element van B hoogstens één pijl toekomt of nog dat twee verschillende elementen uit A een verschillend beeld hebben onder de functie f. (c) bijectief (of f is een bijectie) als en slecht als f injectief en surjectief is. In dit geval komt met elk element uit A precies één element van B overeen en omgekeerd komt er ook met element van B precies één element van A overeen. Voorbeeld. Als A = {a, b, c,, z } en B = {1, 2, 3,, 26} dan is de functie f : A B die met elke letter uit het alfabet zijn plaatsnummer in het alfabet laat overeenkomen een bijectie. Een bijectie van A naar a noemt men een permutatie. Zo is bijvoorbeeld de functie een permutatie van. 12

Opgave 15. (a) Hoeveel verschillende permutaties zijn er van de verzameling A ={1, 2, 3}? Teken alle mogelijke pijlendiagrammen. (b) Hoeveel verschillende permutaties zijn er van de verzameling A ={1, 2, 3, 4}? (c) Hoeveel verschillende permutaties zijn er van de verzameling A men n elementen (n )? Opgave 16. Beschouw de volgende reële functies: (a) (b). (c) (d). (e). (f). (g). (h). Bepaal telkens dom f en bld f. Welke functies zijn injectief, surjectief, bijectief? We kunnen twee functies samenstellen om zo een nieuwe functie te bekomen. Definitie. Als functies zijn zodat, dan wordt de samengestelde functie g o f (lees: g na f ) gedefinieerd door voor alle. Voorbeelden. 1. Als en dan is Merk op dat niet gelijk is aan, nl. 2. Als en dan is in principe niet gedefinieerd omdat de voorwaarde niet voldaan is. Dit lossen we op door het definitiegebied van te beperken tot [2, + [ : 13.

Opgave 17. Bepaal telkens het voorschrift van de samengestelde functies en als (a) en. (b) en (hierbij is g dus een constante functie). (c) en. We definiëren tenslotte het begrip inverse functie, dat in principe enkel zinvol is voor bijecties. Definitie. Als een bijectie is, dan bestaat er een afbeelding waarvoor geldt: en. Dit valt gemakkelijk in te zien. Er is immers voor alle precies één zodat Definieer dan de afbeelding door voor alle te stellen. Stuur met andere woorden de pijl terug van waar hij komt. Men zegt in dit geval dat f een inverse functie g heeft (en g heeft een inverse functie f). We noteren de inverse functie van als volgt: Voorbeelden. 1. Als, dan is 2. Als, dan is x+1.. 3. Als, dan bestaat de inverse functie niet omdat f niet injectief is (en dus geen bijectie). Opgave 18. Bepaal telkens het voorschrift van de inverse functie als 1. 2. 3.. 14

Het sommatieteken (Griekse hoofdletter sigma) is een nuttig symbool voor een verkorte schrijfwijze van een som van termen die een gemeenschappelijke vorm hebben. Enkele voorbeelden. We kunnen nuttig gebruik maken van deze verkorte schrijfwijze bij een bijzondere bewijsvorm: BEWIJS DOOR VOLLEDIGE INDUCTIE. Deze bewijsmethode dient om aan te tonen dat een bepaalde bewering A(n) geldig is voor elk natuurlijk getal n n 0. Hierbij is n 0 dus de kleinste waarde waarvoor de bewering waar is. Een inductiebewijs verloopt in twee stappen: 1. Toon aan dat A(n 0 ) waar is. Dit is de basisstap. 2. Bewijs dat uit de geldigheid van A(k) voor een willekeurige waarde k volgt dat ook A(k+1) waar is. Dit is de inductiestap en de inductiehypothese is het aannemen van de geldigheid van de bewering A(k). Voorbeeld 1. Toon aan dat voor alle natuurlijke getallen n > 0 geldt dat Bewijs. 1. Basisstap. Dit is klaarblijkelijk waar, want in de som komt maar één term voor, nl. 1. 15

2. Inductiestap. We nemen aan dat en bewijzen hiermee dat Welnu, = = =. Opgave 19. Toon aan dat voor alle natuurlijke getallen n > 0 geldt dat Opgave 20. De Torens van Hanoi is een puzzel met een aantal schijven. Het spel bestaat uit een plankje met daarop drie stokjes. Bij aanvang van het spel is op een van de stokjes een toren van schijven met een gat in het midden geplaatst. Elke schijf heeft een verschillende diameter en de schijven zijn zo geplaatst dat de kleinste bovenop en de grootste onderop ligt. Het doel van het spel is om de complete toren van schijven te verplaatsen naar een ander stokje, waarbij de volgende regels in acht genomen dienen te worden: 1. er mag slechts één schijf tegelijk worden verplaatst 2. nooit mag een grotere schijf op een kleinere geplaatst worden. Toon aan dat het minimum aantal verplaatsingen dat nodig om de puzzel met n schijven op te lossen, gelijk is aan 2 n 1. Bronnen. Zomercursus Wiskunde, K. U. Leuven Campus Kortrijk, Academiejaar 2010-2011. S. Verwulgen & E. Soetens, Wiskunde voor de beginnende bachelor, Academia Press, Gent, 2008. W. Malfait, Cursus wiskunde, Academiejaar 2010-2011, Kukak, Kortrijk. 16