Tentamen Grondslagen van de Wiskunde A Met beknopte uitwerking

Vergelijkbare documenten
Tentamen Grondslagen van de Wiskunde A, met uitwerkingen

Oefenopgaven Grondslagen van de Wiskunde A

Tentamen Grondslagen van de Wiskunde B met uitwerkingen

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.

Tentamen Grondslagen van de Wiskunde B met uitwerkingen

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.

Enkele valkuilen om te vermijden

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

Opgaven Inleiding Analyse

Tentamen Discrete Wiskunde

Inleiding Analyse 2009

III.3 Supremum en infimum

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

Tweede huiswerkopdracht Lineaire algebra 1 Uitwerking en opmerkingen

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

We beginnen met de eigenschappen van de gehele getallen.

Ter Leering ende Vermaeck

Oefening 2.2. Welke van de volgende beweringen zijn waar?

(b) Formuleer het verband tussen f en U(P, f), en tussen f en L(P, f). Bewijs de eerste. (c) Geef de definitie van Riemann integreerbaarheid van f.

TENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN

Harm de Vries. Partitiestellingen. Bachelor Thesis, Thesis advisor: Dr. K.P. Hart. Mathematisch Instituut, Universiteit Leiden

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

Getallen, 2e druk, extra opgaven

232 NAW 5/6 nr. 3 september 2005 Te Moeilijk? Welnee! Hans Finkelnberg

V.2 Limieten van functies

Z.O.Z. Radboud Universiteit Nijmegen Tentamen Analyse 1 WP001B 16 juni 2016, 12:30 15:30 (16:30)

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

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

Opgaven Inleiding Analyse

Inleiding Analyse. Opgaven. E.P. van den Ban. c Mathematisch Instituut Universiteit Utrecht Voorjaar 2003, herzien

Oneindig in Wiskunde & Informatica. Lezing in de reeks Oneindig 3 oktober 2007 / Studium Generale TU Delft. Tom Verhoeff

Overzicht Fourier-theorie

Radboud Universiteit Nijmegen Tentamen Analyse 1 WP001B 26 augustus 2010, , Examenzaal

III.2 De ordening op R en ongelijkheden

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

EERSTE DEELTENTAMEN ANALYSE C

Hoofdstuk 9. Vectorruimten. 9.1 Scalairen

V.4 Eigenschappen van continue functies

Getallensystemen, verzamelingen en relaties

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.

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

Niet-standaard analyse (Engelse titel: Non-standard analysis)

Wiskundige Structuren

Discrete Wiskunde 2WC15, Lente Jan Draisma

Functievergelijkingen

Discrete Wiskunde 2WC15, Lente Jan Draisma

Uitwerkingen toets 12 juni 2010

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

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

II.3 Equivalentierelaties en quotiënten

Topologische eigenschappen in selectieve universa

NATUURLIJKE, GEHELE EN RATIONALE GETALLEN

Complexe functies 2019

2. Ga voor volgende relaties na of het al dan niet functies, afbeeldingen, bijecties, injecties, surjecties zijn :

7.1 Het aantal inverteerbare restklassen

Examen G0U13 - Bewijzen en Redeneren,

Oplossingen Oefeningen Bewijzen en Redeneren

Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie 22 maart 2009 ONEINDIGHEID

Wiskundige beweringen en hun bewijzen

Tentamen Topologie, Najaar 2011

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

Eigenschappen en Axioma s van de E 6 -meetkunde

Eindige topologische ruimten

Hoofdstuk 1. Inleiding. Lichamen

VERZAMELINGEN EN AFBEELDINGEN

Hoofdstuk 3. Equivalentierelaties. 3.1 Modulo Rekenen

1 Rekenen in eindige precisie

Dossier 1 SYMBOLENTAAL

Relaties en Functies

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

Tentamen algebra 1 Woensdag 24 juni 2015, 10:00 13:00 Snelliusgebouw B1 (extra tijd), B2, B3, 312

Radboud Universiteit Nijmegen

Bewijs door inductie

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.

TENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN

(Isomorfie en) RELATIES

1 Symmetrieën van figuren

HERTENTAMEN WISKUNDIGE BEELDVERWERKINGSTECHNIEKEN

1. (a) Formuleer het Cauchy criterium voor de convergentie van een reeks

Uitwerkingen Lineaire Algebra I (wiskundigen) 22 januari, 2015

R.P. Thommassen. Whitehead Groepen. Bachelorscriptie, 10 Augustus Scriptiebegeleider: prof.dr. K.P. Hart

Hertentamen Topologie, Najaar 2009

Een combinatorische oplossing voor vraag 10 van de LIMO 2010

3 De duale vectorruimte

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

RuG-Informatica-cursus Discrete Structuren, versie 2009/2010

ONBETWIST ONderwijs verbeteren met WISkunde Toetsen Voorbeeldtoetsen Lineaire Algebra Deliverable 3.10 Henk van der Kooij ONBETWIST Deliverable 3.

METRISCHE RUIMTEN EN CONTINUE AFBEELDINGEN aanvullend materiaal voor het college Analyse 1 Dr J. Hulshof (R.U.L.)

Polynomen. + 5x + 5 \ 3 x 1 = S(x) 2x x. 3x x 3x 2 + 2

(vi) Als u een stelling, eigenschap,... gebruikt, formuleer die dan, toon aan dat de voorwaarden vervuld zijn, maar bewijs die niet.

Tentamen Ringen en Galoistheorie, , uur

Tentamen Calculus 2 25 januari 2010, 9:00-12:00 uur

Bijzondere getallen. Oneindig (als getal) TomVerhoeff. Technische Universiteit Eindhoven Faculteit Wiskunde en Informatica

Grondslagen van het Caristi-Ekelandprincipe in ZF

Examenvragen Hogere Wiskunde I

(iii) intervallen, bijvoorbeeld afgesloten intervallen zoals D = [0, 1] := {x en halfopen intervallen zoals D = (0, 1] := {x R 0 < x 1},

Wiskunde. Verzamelingen, functies en relaties. College 6. Donderdag 7 Januari

Combinatoriek groep 1 & 2: Recursie

Vectorruimten en deelruimten

Lineaire Algebra C 2WF09

Transcriptie:

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 het totaal aantal punten, gedeeld door 5. Als een opgave uit meerdere deeltjes bestaat, staat bij elk deeltje hoeveel van de 10 punten dat deeltje waard is. Advies: maak eerst die opgaven, die je kunt; en ga dan nadenken over de rest. Succes! Opgave 1. Gegeven zijn de volgende verzamelingen. Bepaal van elke verzameling of hij eindig, aftelbaar oneindig of overaftelbaar is; motiveer je antwoord. a) (3) {f : N N voor alle x N is f(x + 1) f(x)} b) (3) {f : N N {x N f(x) 2} is eindig} c) (4) {A N er is N > 0 zodat voor alle x N: x A x + N A} Uitwerking: a) Er bestaan geen oneindige dalende rijtjes in N, dus elke functie in deze verzameling is uiteindelijk constant. De gegeven verzameling staat dus in 1-1 correspondentie met de verzameling van eindige, niet-stijgende rijtjes van natuurlijke getallen, en deze laatste verzameling is aftelbaar oneindig. b) Deze verzameling bevat als deelverzameling alle functies van N naar {0, 1}, d.w.z. alle deelverzamelingen van N, en is dus overaftelbaar. c) Voor een vaste N N >0 is de verzameling A N = {A N voor alle x N: x A x + N A} in bijectief verband met de verzameling van deelverzamelingen van {0,...,N 1} en dus eindig. De gegeven verzameling is gelijk aan N>0 A N. De verzameling is dus aftelbaar oneindig. 1

Opgave 2. Bewijs dat er een deelverzameling A van R bestaat met de volgende eigenschappen: i) voor elke niet-lege eindige deelverzameling {a 1,...,a n } A geldt a 2 1 + + a 2 n Q ii) voor elke x R A geldt: hetzij x 2 Q, hetzij er is een eindige, niet-lege deelverzameling {a 1,...,a n } van A zodat x 2 + a 2 1 + + a2 n Q Voor de duidelijkheid: de notatie {a 1,...,a n } veronderstelt dat alle a i verschillend zijn (Hint: gebruik het Lemma van Zorn). Uitwerking: beschouw de poset (P, ) van alle deelverzamelingen van R die aan i) voldoen, met de inclusie als ordening. Deze is niet-leeg want P (of: {π} P). Stel dat C = {C i i I} een keten in P is. Dan is ook i I C i een element van P (en dus, in P, een bovengrens voor de keten C): immers, als {a 1,...,a n } een niet-lege, eindige deelverzameling van i I C i is, is er, vanwege de keten-eigenschap, al een i I zodat {a 1,...,a n } C i. En omdat C i P, geldt a 2 1 + + a2 n Q. We concluderen dat (P, ) aan de voorwaarden van het Lemma van Zorn voldoet en dus, met dat lemma, een maximaal element heeft. Noem dit element A. Eigenschap i) geldt voor A, omdat A P. Stel nu x R A. Dan is, vanwege de maximaliteit van A in P, de verzameling A {x} geen element van P en dus is er een niet-lege deelverzameling {a 1,...,a k } van A {x} zodat a 2 1 + +a2 k Q. En één van de a i-tjes is gelijk aan x (want anders was {a 1,..., a k } A, wat strijdig is met A P). Als k = 1 en dus {a 1,...,a k } = {x}, dan geldt kennelijk x 2 Q. Als k > 1 en x = a k (wat we wel mogen veronderstellen), dan is er een niet-lege deelverzameling {a 1,...,a n } A (voor n = k 1) zodat x 2 + a 2 1 + + a 2 n Q. Opgave 3. In deze opgave gaan we uit van het feit dat er een welordening L bestaat die overaftelbaar is, terwijl voor elke l L het beginsegment L l = {x L x < l} aftelbaar is. Zo n welordening L noemen we van type ω 1. a) (5) Stel L is van type ω 1. Laat zien, dat elke aftelbare deelverzameling van L een bovengrens heeft in L.

b) (5) Stel, dat L 1 en L 2 beide welordeningen van type ω 1 zijn. Bewijs dat er een inbedding bestaat van L 1 in L 2. Concludeer, dat L 1 en L 2 isomorf zijn. Uitwerking: a) Laat {x 0, x 1,...} L een aftelbare deelverzameling van L zijn. De deelverzameling A van L gegeven door A = {x L er is een i met x < x i } is aftelbaar, want dit is i N L x i en dus een aftelbare vereniging van aftelbare verzamelingen. Omdat L overaftelbaar is, is L A niet-leeg, en elk element van L A is een bovengrens voor de verzameling {x 0, x 1,...}, omdat L een lineaire ordening is. b) We definiëren en inbedding f van L 1 in L 2 door middel van recursie op L 1 : f(0 L1 ) = 0 L2 f(x + 1) = f(x) + 1 f(c) = kleinste bovengrens in L 2 van {f(y) y < c} als c een limiet-element is Met inductie op L 1 zien we gemakkelijk in dat voor elke x L 1 de afbeelding f beperkt tot (L 1 ) x injectief is, dus een aftelbaar beeld heeft, en dus goed gedefinieerd is. Dus de hele f is goed gedefinieerd, en een inbedding. Vanwege de symmetrie is f een isomorfisme. Opgave 4. In deze opgave nemen we de taal L = {, } waar en twee 2-plaatsige relatiesymbolen zijn. We beschouwen ook de L-structuur N waarin de gewone ordening is en x y betekent: ggd(x, y) = 1. a) (3) Geef een L-formule φ 1 (x) in één vrije variabele x, die in N het getal 1 definieert, d.w.z. voor alle n N geldt: N = φ 1 (n) n = 1 b) (4) Geef een L-formule φ pr (x) in één vrije variabele x, die in N de priemgetallen definieert (N = φ pr (n) n is een priemgetal) c) (3) Geef een L-formule φ prm die in N de machten van priemgetallen definieert. Uitwerking: a) Bijvoorbeeld y(y x (y = x) z(z x z = y z = x))

(x is het op één na kleinste element) b) Bijvoorbeeld y(φ 1 (y) y x (y = x)) z w(φ 1 (z) z w w x (w = x) w x) (x > 1 en onderling ondeelbaar met elke w xodat 1 w < x) c) Bijvoorbeeld y(φ 1 (y) y x) (φ 1 (x) y z(φ pr (y) φ pr (z) (y x) (z x) y = z)) (x 1 en er is ten hoogste één priemgetal dat niet onderling ondeelbaar is met x) Opgave 5. Laat (X, ) een poset zijn. In deze opgave bewijzen we met behulp van de Compactheidsstelling, dat er een lineaire ordening (L, ) is en een injectieve, ordebewarende functie van X naar L. a) (3) Bewijs dit eerst, voor het geval dat X eindig is. b) (4) Beschouw in een taal L met 2-plaatsig relatiesymbool en constanten {c x x X} de theorie bestaande uit de volgende L-zinnen: i) De axioma s voor een lineaire ordening ii) De zinnen (c x = c y ) voor alle x, y X met x y iii) De zinnen c x c y voor alle x, y X met x y Bewijs met behulp van de Compactheidsstelling dat deze theorie consistent is. c) (3) Leid uit b) het gewenste resultaat af. Uitwerking: a) We doen dit met inductie naar X. Voor X = is de bewering triviaal (de unieke ordening op is lineair). Stel X = n + 1. Het is makkelijk in te zien dat X een maximaal element heeft, zeg x 0. Volgens de inductiehypothese is er een injectieve, ordebewarende functie f van X {x 0 } naar een een lineaire ordening (Y, ). Laat Y uit Y ontstaan door een nieuw element y 0 toe te voegen dat groter is dan alle elementen uit Y. Dan is ook Y lineair geordend en we definiëren g : X Y door: g(x) = f(x) als x x 0 ; g(x 0 ) = y 0. Nu is ook g injectief en ordebewarend. b) Laat T een eindige deelverzameling van de gegeven theorie zijn. Dan bevat T maar eindig veel van de zinnen in ii) en iii), dus er komen maar eindig veel

c x -en voor in T. Zij X de verzameling van die x X waarvoor c x in T voorkomt. Dan is X een eindige poset (met de ordening van X), en met deeltje a) kan X dus ordebewarend worden ingebed in een lineaire ordening Y, zeg via f : X Y. Dan is Y een model voor T, als we definiëren dat (c x ) Y = f(x). Dus T is consistent. T was een willekeurige eindige deelverzameling van de gegeven theorie, dus met de Compactheidsstelling concluderen we dat deze consistent is. c) Laat Y een model zijn van de theorie in b). Dan is Y een lineaire ordening (vanwege i) ), en de afbeelding f : X Y gegeven door f(x) = (c x ) Y is injectief (vanwege ii) ) en ordebewarend (vanwege iii) ).