Mängder, funktioner och naturliga tal

Storlek: px
Starta visningen från sidan:

Download "Mängder, funktioner och naturliga tal"

Transkript

1 Lådprincipen Följande sats framstår som en fullständig självklarhet: Sats (Lådprincipen (pigeon hole principle)). Låt n > m vara naturliga tal. Fördelar man n föremål i m lådor, så kommer åtminstone en låda att innehålla två föremål. Principen är dock väldigt användbar för att lösa praktiska problem, som i sig kan vara långt i från triviala. Vi börjar med ett enkelt exempel. Exempel 1. Säg att 50 personer kommer på en föreläsning i algebra och kombinatorik. Eftersom 50 > 31 kommer åtminstone två personer ha fördelsedag på samma dag i månaden. Följande exempel är kanske lite mer komplicerat: Exempel 2. Låt P 1,..., P 5 vara fem punkter inskrivna i en kvadrat med sidan 2. Då gäller att avståndet P i P j 2 för åtminstone två av punkterna P i P j. Man ser detta genom att dela in kvadraten i fyra lika stora kvadrater med sidan 1, genom att dela varje sida på den stora kvadraten mitt i tu. Vi ser de små kvadraterna som våra lådor. Enligt lådprincipen kommer minst en av de små kvadraterna att innehålla två punkter. Påståendet följer eftersom det maximala avståndet mellan två punkter i den lilla kvadraten är 2. Mängder, funktioner och naturliga tal Mängden av naturliga tal {1, 2, 3,...} betecknas N. Biggs gör en axiomatisk definition av de naturliga talen i avsnitt 4 i boken. Detta avsnitt ingår inte i kursen, utan vi kommer att nöja oss med att arbeta med en naiv föreställning om vad ett naturligt tal egentligen är. Men läs gärna igenom de första fem avsnitten i boken kursivt. Det mesta är säkert sådant du redan känner till, eller åtminstone har en uppfattning om. Varning. Många författare inkluderar talet 0 bland de naturliga talen. I den här kursen kommer vi dock att följa Biggs, som (tyvärr) inte gör det. Säg att någon har talat om för dig att du har fem fingrar på vänsterhanden. Då kan du räkna antalet fingrar på högerhanden genom att para ihop dessa med fingrarna på vänsterhanden. Eftersom fingrarna går att para ihop precis, måste de ju vara lika många, så du kan dra slutsatsen att du även på högerhanden har fem fingrar. 1

2 Vi använder denna idé för att göra en matematisk definition av vad som menas med antalet element i en mängd. För varje n N låter vi N n beteckna mängden {1,..., n}. Mängderna N n får vara prototyper för mängder med n element (eller våra vänsterhänder om du så vill). Om vi vill räkna elementen i en godtycklig mängd A behöver vi para ihop elementen med någon mängd N n. För att göra det precist, använder vi oss av begreppet funktion. Vi börjar med att repetera lite terminologi. Definition. Låt A och B vara två mängder. En funktion f : A B är en regel som till varje element a A ordnar precis ett element f(a) B. Mängden A kallas för funktionens definitionsmängd. Mängden B kallas för funktionens värdemängd. Definition. Låt f : A B vara en funktion. Vi säger att f är surjektiv om det för varje element b B finns ett element a A sådant att f(a) = b. Vi säger att f är injektiv om det för varje par av element a, b A sådana att a b gäller att f(a) f(b). En funktion är bijektiv om den är både injektiv och surjektiv. Nu kan vi använda begreppet bijektion för att definiera vad som menas med antalet element i en mängd. Att ge en bijektion mellan två mängder motsvarar ju den intuitiva idén att para ihop elementen. Definition. En mängd A sägs vara ändlig om den är tom eller om det finns en bijektiv avbildning f : A N n för något naturligt tal n N. I det senare fallet säger vi att A har n element, vilket vi skriver A = n. (För tomma mängden skriver vi = 0). Sats (Lådprincipen (mer matematiskt formulerad)). Låt A och B vara ändliga mängder och antag att A > B. Då finns ingen injektiv funktion f : A B. Biggs ger ett bevis på denna sats med hjälp av induktion (eller snarare på det ekvivalenta påståendet i sats 6.2.1). Titta gärna på beviset själva. Det svåraste är kanske att förstå varför satsen inte är så självklar som man tror vid första ögonkastet. Lägg märke till att satsen används för att bevisa 6.2.2, som är fundamental i den mening att den utesluter att en och samma mängd kan ha olika antal element. Oändliga mängder Definition. En mängd A som inte är ändlig sägs vara oändlig. Om det finns en bijektiv avbildning f : A N sägs A vara uppräknerlig. En mängd är högst uppräknerlig om den är ändlig eller uppräknerlig. Varning. Många författare avser med termen uppräknerlig det vi här kallar för högst uppräknerlig. Men åter igen följer vi Biggs. 2

3 Mängder som inte är ändliga uppför sig lite annorlunda än ändliga mängder. Exempel 3. Mängden J av positiva jämna tal är uppräknerlig och har alltså lika många element som mängden av alla naturliga tal. Vi ser att funktionen f : N J som ges av n 2n är bijektiv. Exempel 4. På Hilberts hotell i Göttingen finns oändligt många rum. Ett rum för varje naturligt tal (förutom 13 så klart). Vid den stora årliga matematikkonferensen, som vi vill besöka, råkar hotellet vara fullbelagt. Alla rum är upptagna. Men den rådiga portiern ber helt enkelt varje gäst att flytta till rummet med närmast högre nummer (personen som bor i rum 12 får flytta till rum 14). Vips blir rum 1 ledigt, och vi kan checka in. Ekvivalensrelationer Du har redan stött på en uppsjö av relationer i dina tidigare matematikstudier. Exempel på relationer på mängden N av naturliga tal är mindre eller lika med, d.v.s. a b. delar, d.v.s. a b. Exempel på en relation på heltalen är kongruens moduli ett naturligt tal n, d.v.s. a n b. Vi gör följande definition: Definition. En relation R på en mängd X är en mängd av ordnade par (x, y) där x, y X. Om paret (x, y) tillhör mängden R skriver vi xry. Exempel 5. Låt X vara mängden {1, 2, 3} och låt R vara mängden {(1, 1), (1, 2), (1, 3), (2, 2), (2, 3), (3, 3)}. Då är relationen R den samma som relationen. Vi är för tillfället mest intresserade av en typ av relation som kallas ekvivalensrelation. Definition. Låt R vara en relation på en mängd X. Vi kallar relationen reflexiv, om xrx för alla x X, symmetrisk, om xry yrx för alla par x, y X, transistiv, om xry och yrz medför xrz för alla triplar x, y, z X. En relation som är reflexiv, symmetrisk och transitiv kallas för en ekvivalensrelation. Exempel 6. Betrakta relationen på mängden X = {1, 2, 3}. Den är reflexiv eftersom a a för alla a X. Den är transitiv eftersom a b och b c medför att a c. Men den är inte symmetrisk eftersom t.ex. 1 2 men inte

4 Exempel 7. För ett givet naturligt tal n är relationen n en ekvivalensrelation på mängden Z av heltal. Reflexiv: a n a för alla a Z, Symmetrisk: a n b b n a för alla par a, b Z, Transistiv: a n b och b n c medför a n c för alla triplar a, b, c Z. Exempel 8. Låt X = {1, 2, 3} och R = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3)}. Detta är en ekvivalensrelation. Exempel 9. Vi tar några geometriska exempel. Relationen är kongruent med på mängden av trianglar i planet är en ekvivalensrelation. Likaså relationen är likformig med. Relationen är parallell med är en ekvivalensrelation på mängden linjer i planet. Övning (Otroligt nyttig sådan.). Lista alla möjliga kombinationer av begreppen symmetrisk, reflexiv och transitiv. Det finns 8 kombinationer, vilket vi snart ska lära oss att räkna ut. Hitta på en relation för varje kombination som har precis de egenskaper som listas i kombinationen. Ekvivalensklasser Definition. Om R är en ekvivalensrelation på X och x X, så kallas mängden för ekvivalensklassen till x. [x] = {y X xry} Exempel 10. Låt R och X vara som i exempel 8. Då är [1] = {1, 2} [2] = {1, 2} [3] = {3} I exemplet ser vi att varje par av mängder [x] och [y] antingen är lika eller disjunkta. Detta är ingen slump utan en fundamental egenskap hos ekvivalensrelationer. Vi sammanfattar det som en sats: Sats. Låt R vara en ekvivalensrelation på mängden X. Då gäller det att varje element x X ligger i precis en ekvivalensklass [x]. Bevis. Vi har x [x] eftersom xrx på grund av relationen är reflexiv. Varje element x ligger alltså i minst en ekvivalensklass. Antag att x [y] för något y X. Då gäller yrx enligt definitionen av [y]. Eftersom R är symmetriskt 4

5 gäller även xry. Låt nu z [y] vara ett godtyckligt element. Då gäller yrz enligt definitionen av [y]. P.g.a. transiviteten gäller då xrz, så z [x]. Sammanfattningsvis gäller [y] [x]. Byter vi roll på x och y ser vi att även [x] [y], så [x] = [y]. Detta visar att x inte ligger i två olika ekvivalensklasser. Ekvivalensklasser används ofta för att definiera nya matematiska begrepp. Vi tar ett klassiskt exempel från geometrin. Exempel 11. Låt X vara mängden av riktade sträckor AB i planet. Vi inför relationen R där vi säger att AB R CD om sträckorna AB och CD har samma längd och riktning (detta kan också uttryckas som att fyrhörningen ABDC är en, möjligen degenererad, parallellogram). Detta ger en ekvivalensrelation. Ekvivalensklasserna för denna relation kallas för vektorer. Huvudexemplet som ges i boken är konstruktion av mängden av heltal utifrån mängden av naturliga tal. Vi kommer inte att gå igenom detta, men försök gärna förstå konstruktionen ändå. Vi kommer att använda motsvarande metod för att definiera de rationella talen. 5

Övningshäfte 3: Funktioner och relationer

Övningshäfte 3: Funktioner och relationer GÖTEBORGS UNIVERSITET MATEMATIK 1, MAM100, HT2014 INLEDANDE ALGEBRA Övningshäfte 3: Funktioner och relationer Övning H Syftet är att utforska ett av matematikens viktigaste begrepp: funktionen. Du har

Läs mer

Relationer. 1. Relationer. UPPSALA UNIVERSITET Matematiska institutionen Erik Melin. Specialkursen HT07 23 oktober 2007

Relationer. 1. Relationer. UPPSALA UNIVERSITET Matematiska institutionen Erik Melin. Specialkursen HT07 23 oktober 2007 UPPSALA UNIVERSITET Matematiska institutionen Erik Melin Specialkursen HT07 23 oktober 2007 Relationer Dessa blad utgör skissartade föreläsningsanteckningar kombinerat med övningar. Framställningen är

Läs mer

Explorativ övning 4 ÄNDLIGT OCH OÄNDLIGT. Övning A

Explorativ övning 4 ÄNDLIGT OCH OÄNDLIGT. Övning A Explorativ övning 4 ÄNDLIGT OCH OÄNDLIGT Första delen av övningen handlar om begreppet funktion. Syftet är att bekanta sig med funktionsbegreppet som en parbildning. Vi koncentrerar oss på tre viktiga

Läs mer

Diofantiska ekvationer

Diofantiska ekvationer Uppsala Universitet Matematiska institutionen Isac Hedén isac distans@math.uu.se Algebra I, 5 hp Vecka 19. Diofantiska ekvationer Vi börjar med en observation som rör den största gemensamma delaren till

Läs mer

729G04: Inlämningsuppgift i Diskret matematik

729G04: Inlämningsuppgift i Diskret matematik 729G04: Inlämningsuppgift i Diskret matematik Instruktioner Dessa uppgifter utgör del av examinationen i kursen 729G04 Programmering och diskret matematik. Uppgifterna ska utföras individuellt och självständigt,

Läs mer

MA2047 Algebra och diskret matematik

MA2047 Algebra och diskret matematik MA2047 Algebra och diskret matematik Något om funktioner och relationer Mikael Hindgren 1 oktober 2018 Funktionsbegreppet Exempel 1 f (x) = x 2 + 1, g(x) = x 3 och y = sin x är funktioner. Exempel 2 Kan

Läs mer

Föreläsning 8 i kursen Ma III, #IX1305, HT 07. (Fjärde föreläsningen av Bo Åhlander)

Föreläsning 8 i kursen Ma III, #IX1305, HT 07. (Fjärde föreläsningen av Bo Åhlander) Föreläsning 8 i kursen Ma III, #IX1305, HT 07. (Fjärde föreläsningen av Bo Åhlander) Böiers 5.3 Relationer. Vi har definierat en funktion f: A B som en regel som kopplar ihop ett element a A, med ett element

Läs mer

Kap. 8 Relationer och funktioner

Kap. 8 Relationer och funktioner Begrepp och egenskaper: Kap. 8 elationer och funktioner relation, relationsgraf och matris, sammansatt relation reflexivitet, symmetri, anti-symmetri, transitivitet ekvivalensrelation, partialordning,

Läs mer

Explorativ övning 9 RELATIONER OCH FUNKTIONER

Explorativ övning 9 RELATIONER OCH FUNKTIONER Explorativ övning 9 RELATIONER OCH FUNKTIONER Övningens syfte är att bekanta sig med begreppet relation på en mängd M. Begreppet relation i matematiska sammanhang anknyter till betydelsen av samma ord

Läs mer

Explorativ övning 11 GEOMETRI

Explorativ övning 11 GEOMETRI Explorativ övning 11 GEOMETRI Syftet med denna övning är att ge kunskaper om grundläggande geometriska begrepp och resultat om geometriska figurer. Vi vill också ge en uppfattning om geometri som en matematisk

Läs mer

Föreläsningsanteckningar och övningar till logik mängdlära

Föreläsningsanteckningar och övningar till logik mängdlära Inledande matematisk analys tma970, 010, logik, mängdlära Föreläsningsanteckningar och övningar till logik mängdlära Dessa öreläsningsanteckningar kompletterar mycket kortattat kap 0 och appendix B i Persson/Böiers,

Läs mer

Träning i bevisföring

Träning i bevisföring KTHs Matematiska Cirkel Träning i bevisföring Andreas Enblom Institutionen för matematik, 2005 Finansierat av Marianne och Marcus Wallenbergs Stiftelse 1 Mängdlära Här kommer fyra tips på hur man visar

Läs mer

Relationer och funktioner

Relationer och funktioner Relationer och funktioner Joakim Nivre Uppsala universitet Institutionen för lingvistik och filologi Översikt Relationer: Binära relationer på mängder Mängd-, graf- och matrisnotation Egenskaper hos relationer

Läs mer

729G04 - Diskret matematik. Lektion 3. Valda lösningsförslag

729G04 - Diskret matematik. Lektion 3. Valda lösningsförslag 729G04 - Diskret matematik. Lektion 3. Valda lösningsförslag 1 Uppgifter 1.1 Relationer 1. Vi ges mängden A = {p, q, r, s, t}. Är följande mängder relationer på A? Om inte, ge ett exempel som visar vad

Läs mer

Explorativ övning Geometri

Explorativ övning Geometri Explorativ övning Geometri Syftet med denna övning är att ge kunskaper om grundläggande geometriska begrepp och resultat om geometriska figurer. Vi vill också ge en uppfattning om geometri som en matematisk

Läs mer

Definitionsmängd, urbild, domän

Definitionsmängd, urbild, domän 5B1493, lekt 5, HT06 Funktioner Definition av begreppet Definition: Låt X och Y vara två mängder. En funktion f av typ X Y är detsamma som en delmängd av X Y, sådan att 1. Om (x, y) och (x, z) f, så är

Läs mer

TDP015: Lektion 5 - Svar

TDP015: Lektion 5 - Svar TDP015: Lektion 5 - Svar 11 maj 015 1. Huvudsaken här är att det spelar roll vilket initialvärde vi har. Nedan har jag valt beräkningar som slutar när f(x) < ɛ, där ɛ 10 10. Detta behöver ni såklart inte

Läs mer

Diskret matematik, lektion 2

Diskret matematik, lektion 2 Diskret matematik, lektion Uppgifter med (*) är överkurs, och potentiellt lite klurigare. Ni behöver inte kunna lösa dessa. 1 Uppgifter 1. Låt A = {1,, 3}, B = {a, b}. Vilka element finns med i... a) A

Läs mer

En bijektion mellan två mängder A och B som har ändligt antal element kan endast finnas om mängderna har samma antal element.

En bijektion mellan två mängder A och B som har ändligt antal element kan endast finnas om mängderna har samma antal element. BIJEKTION, INJEKTION, SURJEKTION NUMRERBARA (eller UPPRÄKNELIGA) MÄNGDER Allmän terminologi. I samband med variabelbyte vid beräkning av integraler har vi en avbildning mellan två mängder A och B, dvs

Läs mer

KTHs Matematiska Cirkel. Reella tal. Joakim Arnlind Tomas Ekholm Andreas Enblom

KTHs Matematiska Cirkel. Reella tal. Joakim Arnlind Tomas Ekholm Andreas Enblom KTHs Matematiska Cirkel Reella tal Joakim Arnlind Tomas Ekholm Andreas Enblom Institutionen för matematik, 2005 Finansierat av Marianne och Marcus Wallenbergs Stiftelse Innehåll 1 Mängdlära 7 1.1 Mängder...............................

Läs mer

MS-A0409 Grundkurs i diskret matematik I

MS-A0409 Grundkurs i diskret matematik I MS-A0409 Grundkurs i diskret matematik I G. Gripenberg Aalto-universitetet oktober 04 G. Gripenberg (Aalto-universitetet) MS-A0409 Grundkurs i diskret matematik I oktober 04 / 45 Mängder och logik Relationer

Läs mer

Sådana avbildningar kallar vi bijektioner mellan A och B (eller från A till B).

Sådana avbildningar kallar vi bijektioner mellan A och B (eller från A till B). BIJEKTION, INJEKTION, SURJEKTION Allmän terminologi. I samband med variabelbyte vid beräkning av integraler har vi en avbildning mellan två mängder A och B, dvs en funktion f : A B. Vi har oftast krav

Läs mer

Mängder och kardinalitet

Mängder och kardinalitet UPPSALA UNIVERSITET Matematiska institutionen Erik Melin Specialkursen HT07 28 september 2007 Mängder och kardinalitet Dessa blad utgör skissartade föreläsningsanteckningar kombinerat med övningar. Framställningen

Läs mer

MS-A0409 Grundkurs i diskret matematik I

MS-A0409 Grundkurs i diskret matematik I MS-A0409 Grundkurs i diskret matematik I G. Gripenberg Aalto-universitetet oktober 014 G. Gripenberg (Aalto-universitetet) MS-A0409 Grundkurs i diskret matematik I oktober 014 1 / 44 Mängder (naiv, inte

Läs mer

2MA105 Algebraiska strukturer I. Per-Anders Svensson

2MA105 Algebraiska strukturer I. Per-Anders Svensson 2MA105 Algebraiska strukturer I Per-Anders Svensson Föreläsning 4 Innehåll Bijektiva avbildningar en repetition Permutationsgrupper Permutationer skrivna som produkter av cykler Jämna och udda permutationer

Läs mer

Relationer och funktioner

Relationer och funktioner MAAA26 Diskret Matematik för Yrkeshögskoleutbildning-IT Block 11 BLOCK INNEHÅLL Referenser Inledning 1. Relationer 2. Funktioner 3. Övningsuppgifter Assignment 11 & 12 Referenser Relationer och funktioner

Läs mer

Grundidén är att våra intuitiva rationella tal (bråk) alltid kan fås som lösningar till ekvationer av typen α ξ = β, där α och β är tal Z och α 0.

Grundidén är att våra intuitiva rationella tal (bråk) alltid kan fås som lösningar till ekvationer av typen α ξ = β, där α och β är tal Z och α 0. 5B2710, lekt 4, HT07 Konstruktion av de rationella talen Q (AEE 2.3) Grundidén är att våra intuitiva rationella tal (bråk) alltid kan fås som lösningar till ekvationer av typen α ξ = β, där α och β är

Läs mer

ÄNDLIGT OCH OÄNDLIGT AVSNITT 4

ÄNDLIGT OCH OÄNDLIGT AVSNITT 4 VSNITT ÄNDLIGT OCH OÄNDLIGT Är det möjligt att jämföra storleken av olika talmängder? Har det någon mening om man säger att det finns fler irrationella tal än rationella? Är det överhuvudtaget möjligt

Läs mer

Lösningar till Algebra och kombinatorik

Lösningar till Algebra och kombinatorik Lösningar till Algebra och kombinatorik 090520 1. Av a 0 = 0, a 1 = 1 och rekursionsformeln får vi successivt att a 2 = 1 4 a 1 a 0 + 3 2 = 1 4 1 0 + 32 = 4, a 3 = 1 4 a 2 a 1 + 3 2 = 1 4 4 1 + 32 = 9,

Läs mer

Föreläsning 13 Linjär Algebra och Geometri I

Föreläsning 13 Linjär Algebra och Geometri I Föreläsning 13 Linjär Algebra och Geometri I Se slide 1: det är i rymden oftast lättast att jobba med parametrar för linjer och ekvationer för plan. Exempel: Låt l : (x, y, z) = (1 t, 3 + t, 4t), t R och

Läs mer

Algebra och Diskret Matematik A (svenska)

Algebra och Diskret Matematik A (svenska) MITTUNIVERSITETET TFM Tentamen 2005 MAAA99 Algebra och Diskret Matematik A (svenska) Skrivtid: 5 timmar Datum: 2 november 2005 Denna tenta omfattar 8 frågor, där varje fråga kan ge 3 poäng. Maximalt poängantal

Läs mer

Kongruens och likformighet

Kongruens och likformighet Kongruens och likformighet Torbjörn Tambour 23 mars 2015 I kompendiet har jag tagit kongruens- och likformighetsfallen mer eller mindre som axiom, vilket jag nu tycker är olyckligt, och de här sidorna

Läs mer

Explorativ övning Geometri

Explorativ övning Geometri Explorativ övning Geometri Syftet med denna övning är att ge kunskaper om grundläggande geometriska begrepp och resultat om geometriska figurer. Vi vill också ge en uppfattning om geometri som en matematisk

Läs mer

1.1. Fördjupning: Jämförelse av oändliga mängder

1.1. Fördjupning: Jämförelse av oändliga mängder Kapitel 1 Kardinalitet Den här texten är tagen från boken Diskret matematik av Asratian Björn Turesson (och delvis modifierad) Av den anledningen finns det visa hänvisningar på en del ställen som är ersatta

Läs mer

Matematik för språkteknologer

Matematik för språkteknologer 1 / 27 Matematik för språkteknologer 2.3 (Relationer och funktioner) Mats Dahllöf Institutionen för lingvistik och filologi Februari 2014 2 / 27 Dagens nya punkter Relationer Definitioner Egenskaper hos

Läs mer

Lösningar till Algebra och kombinatorik

Lösningar till Algebra och kombinatorik Lösningar till Algebra och kombinatorik 091214 1. Av a 0 = 1 och rekursionsformeln får vi successivt att a 1 = 1 + a 0 1 a 0 = 1 + 1 1 1 = 2, a 2 = 1 + a 1 1 a 0 + 1 a 1 = 1 + 2 1 + 1 = 4, 2 a 3 = 1 +

Läs mer

Filosofisk logik Kapitel 15. Robin Stenwall Lunds universitet

Filosofisk logik Kapitel 15. Robin Stenwall Lunds universitet Filosofisk logik Kapitel 15 Robin Stenwall Lunds universitet Dagens upplägg Första ordningens mängdlära Naiv mängdlära Abstraktionsaxiomet (eg. comprehension) Extensionalitetsaxiomet Små mängder Ordnade

Läs mer

Uppgifter i TDDC75: Diskreta strukturer Kapitel 8 Ordning och oändlighet

Uppgifter i TDDC75: Diskreta strukturer Kapitel 8 Ordning och oändlighet Uppgifter i TDDC75: Diskreta strukturer Kapitel 8 Ordning och oändlighet Mikael Asplund 19 oktober 2016 Uppgifter 1. Avgör om följande relationer utgör partialordningar. Motivera varför eller varför inte.

Läs mer

Mer om analytisk geometri

Mer om analytisk geometri 1 Onsdag v 5 Mer om analytisk geometri Determinanter: Då man har en -matris kan man till den associera ett tal determinanten av som också skrivs Determinanter kommer att repeteras och studeras närmare

Läs mer

Linjär Algebra, Föreläsning 2

Linjär Algebra, Föreläsning 2 Linjär Algebra, Föreläsning 2 Tomas Sjödin Linköpings Universitet Riktade sträckor och Geometriska vektorer En (geometrisk) vektor är ett objekt som har storlek och riktning, men inte någon naturlig startpunkt.

Läs mer

.I Minkowskis gitterpunktssats

.I Minkowskis gitterpunktssats 1.I Minkowskis gitterpunktssats Minkowskis sats klarar av en mängd problem inom den algebraiska talteorin och teorin för diofantiska ekvationer. en kan ses som en kontinuerlig, eller geometrisk, variant,

Läs mer

Diskret matematik: Övningstentamen 4

Diskret matematik: Övningstentamen 4 Diskret matematik: Övningstentamen 22. Beskriv alla relationer, som är såväl ekvivalensrelationer som partiella ordningar. Är någon välbekant relation sådan? 23. Ange alla heltalslösningar till ekvationen

Läs mer

Explorativ övning Geometri

Explorativ övning Geometri Explorativ övning Geometri Syftet med denna övning är att ge kunskaper om grundläggande geometriska begrepp och resultat om geometriska figurer. Vi vill också ge en uppfattning om geometri som en matematisk

Läs mer

Matematisk problemlösning

Matematisk problemlösning Matematisk problemlösning För utveckling av personliga och professionella förmågor Linda Mattsson och Robert Nyqvist Blekinge tekniska högskola Institutionen för matematik och naturvetenskap 16 augusti

Läs mer

TMV166/186 Linjär Algebra M/TD 2011/2012 Läsvecka 1. Omfattning. Innehåll 2012-01-20. Lay, kapitel 1.1-1.9, Linjära ekvationer i linjär algebra

TMV166/186 Linjär Algebra M/TD 2011/2012 Läsvecka 1. Omfattning. Innehåll 2012-01-20. Lay, kapitel 1.1-1.9, Linjära ekvationer i linjär algebra TMV166/186 Linjär Algebra M/TD 2011/2012 Läsvecka 1 Omfattning Lay, kapitel 1.1-1.9, Linjära ekvationer i linjär algebra Innehåll Olika aspekter av linjära ekvationssystem 1. skärning mellan geometriska

Läs mer

Banach-Tarskis paradox

Banach-Tarskis paradox Banach-Tarskis paradox Tony Johansson 1MA239: Specialkurs i Matematik II Uppsala Universitet VT 2018 Banach-Tarskis paradox, bevisad 1924 och döpt efter Stefan Banach och Alfred Tarski, är en sats inom

Läs mer

Algebra och kryptografi Facit till udda uppgifter

Algebra och kryptografi Facit till udda uppgifter VK Algebra och kryptografi Facit till udda uppgifter Tomas Ekholm Niklas Eriksen Magnus Rosenlund Matematiska institutionen, 2002 48 Grupper. Lösning 1.1. Vi väljer att studera varje element i G H för

Läs mer

Övningshäfte 2: Induktion och rekursion

Övningshäfte 2: Induktion och rekursion GÖTEBORGS UNIVERSITET MATEMATIK 1, MMG200, HT2017 INLEDANDE ALGEBRA Övningshäfte 2: Induktion och rekursion Övning D Syftet är att öva förmågan att utgående från enkla samband, aritmetiska och geometriska,

Läs mer

Algebra och Diskret Matematik A (svenska)

Algebra och Diskret Matematik A (svenska) MITTUNIVERSITETET TFM Tentamen 2006 MAAA99 Algebra och Diskret Matematik A (svenska) Skrivtid: 5 timmar Datum: 10 januari 2006 Denna tenta omfattar 8 frågor, där varje fråga kan ge 3 poäng. Maximalt poängantal

Läs mer

f(x) = x 1 g(x) = x 2 2x + 3.

f(x) = x 1 g(x) = x 2 2x + 3. Kapitel 1 Uppgifter 1 Heltal 2 Mängder och funktioner 2.1 Betrakta funktionerna f : Z Z och g : Z Z som ges av f(x) = x 1 och Visa att a fg gf; g(x) = x 2 2x + 3. b det finns ett x Z sådant att fg(x) =

Läs mer

Explorativ övning euklidisk geometri

Explorativ övning euklidisk geometri Explorativ övning euklidisk geometri De viktigaste begreppen och satser i detta avsnitt är: Kongruens och likhet mellan sträckor, vinklar och trianglar. Kongruensfallen för trianglar. Parallella linjer

Läs mer

Algebra och kombinatorik 28/4 och 5/ Föreläsning 9 och 10

Algebra och kombinatorik 28/4 och 5/ Föreläsning 9 och 10 Grupper En grupp är ett par (G,*) där G är en mängd och * är en binär operation på G som uppfyller följande villkor: G1 (sluten) x,yϵg så x*yϵg G2 (associativ) x,y,z ϵg (x*y)*z=x*(y*z) G3 (identitet) Det

Läs mer

En bijektion mellan två mängder A och B som har ändligt antal element kan finnas endast om mängderna har samma antal element.

En bijektion mellan två mängder A och B som har ändligt antal element kan finnas endast om mängderna har samma antal element. Inversa unktion BIJEKTION, INJEKTION, SURJEKTION Allmän terminologi I samband med variabelbyte vid beräkning av integraler har vi en avbildning mellan två mängder A och B, dvs en unktion : A B Vi har otast

Läs mer

Egenvärden och egenvektorer

Egenvärden och egenvektorer Föreläsning 10, Linjär algebra IT VT2008 1 Egenvärden och egenvektorer Denition 1 Antag att A är en n n-matris. En n-vektor v 0 som är sådan att A verkar som multiplikation med ett tal λ på v, d v s Av

Läs mer

Något om medelvärden

Något om medelvärden 350 Något om medelvärden Pepe Winkler Uppsala Universitet Om a och a är två reella, positiva tal så kallas talet A = a + a för det aritmetiska medelvärdet och talet G = a a för det geometriska medelvärdet

Läs mer

Diskret Matematik A för CVI 4p (svenska)

Diskret Matematik A för CVI 4p (svenska) MITTHÖGSKOLAN TFM Tentamen 2004 MAAA98 Diskret Matematik A för CVI 4p (svenska) Skrivtid: 5 timmar Datum: 3 juni 2004 Denna tentamen omfattar 10 frågor, där varje fråga kan ge 12 poäng. Delfrågornas poäng

Läs mer

Explorativ övning euklidisk geometri

Explorativ övning euklidisk geometri Explorativ övning euklidisk geometri De viktigaste begreppen och satser i detta avsnitt är: Kongruens och likhet mellan sträckor, vinklar och trianglar. Kongruensfallen för trianglar. Parallella linjer

Läs mer

SJÄLVSTÄNDIGA ARBETEN I MATEMATIK

SJÄLVSTÄNDIGA ARBETEN I MATEMATIK SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Från positiva heltal till reella tal av Sara Olsson 2017 - No 13 MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET, 106

Läs mer

Om relationer och algebraiska

Om relationer och algebraiska Om relationer och algebraiska strukturer Anders Källén MatematikCentrum LTH anderskallen@gmail.com Sammanfattning Även i analysen behöver man en del algebraiska begrepp. I den här artikeln definierar vi

Läs mer

e = (e 1, e 2, e 3 ), kan en godtycklig linjär

e = (e 1, e 2, e 3 ), kan en godtycklig linjär Linjära avbildningar II Förra gången visade vi att givet en bas i rummet, e = (e 1, e 2, e 3 ), kan en godtycklig linjär avbildning F : R 3 R 3 representeras av en matris: Om vi betecknar en vektor u:s

Läs mer

σ 1 = (531)(64782), τ 1 = (18)(27)(36)(45), τ 1 σ 1 = (423871)(56).

σ 1 = (531)(64782), τ 1 = (18)(27)(36)(45), τ 1 σ 1 = (423871)(56). MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Avd. Matematik Examinator: Övningstenta i Algebra och Kombinatorik 7,5 hp 2015-11-24 Exempel på hur tentan skulle kunna se ut om alla uppgifter var från

Läs mer

Analys 360 En webbaserad analyskurs Analysens grunder. Om de reella talen. MatematikCentrum LTH

Analys 360 En webbaserad analyskurs Analysens grunder. Om de reella talen. MatematikCentrum LTH Analys 60 En webbaserad analyskurs Analysens grunder Om de reella talen Anders Källén MatematikCentrum LTH anderskallen@gmail.com Om de reella talen () Introduktion Den matematiska analysen är intimt förenad

Läs mer

En parallellogram har delats i två delar P och Q som figuren visar. Vilket av följande påståenden är säkert sant?

En parallellogram har delats i två delar P och Q som figuren visar. Vilket av följande påståenden är säkert sant? En parallellogram har delats i två delar P och Q som figuren visar. Vilket av följande påståenden är säkert sant? P har större omkrets än Q. P har mindre omkrets än Q. P har mindre area än Q Q och P har

Läs mer

ENDIMENSIONELL ANALYS B1 FÖRELÄSNING II. Föreläsning II. Mikael P. Sundqvist

ENDIMENSIONELL ANALYS B1 FÖRELÄSNING II. Föreläsning II. Mikael P. Sundqvist Föreläsning II Mikael P. Sundqvist Att bygga matematisk teori Odefinierade begrepp Axiom påstående som ej behöver bevisas Definition namn på begrepp Sats påstående som måste bevisas Lemma hjälpsats Proposition

Läs mer

Linjär Algebra M/TD Läsvecka 1

Linjär Algebra M/TD Läsvecka 1 Linjär Algebra M/TD Läsvecka 1 Omfattning: Lay, kapitel 1.1-1.9, Linjära ekvationer i linjär algebra Innehåll: Olika aspekter av linjära ekvationssystem: skärning mellan geometriska objekt, linjärkombination

Läs mer

Linjär Algebra, Föreläsning 2

Linjär Algebra, Föreläsning 2 Linjär Algebra, Föreläsning 2 Tomas Sjödin Linköpings Universitet Geometriska vektorer, rummen R n och M n 1 En (geometrisk) vektor är ett objekt som har storlek och riktning, men inte någon naturlig startpunkt.

Läs mer

Uppgifter om funktioner

Uppgifter om funktioner Uppgifter om funktioner Mikael Forsberg September 27, 2004 1. Med hjälp av uttrycket y = x 2 så definierar vi tre funktioner: f 1 : R x x 2 R, f 2 : R x x 2 R f 3 : R x x 2 R, där R = {x R : x 0} Eftersom

Läs mer

SAMMAFATTNINGAR AV VISSA FÖRELÄSNINGAR

SAMMAFATTNINGAR AV VISSA FÖRELÄSNINGAR SAMMAFATTNINGAR AV VISSA FÖRELÄSNINGAR 1. Föreläsning 1 Se litet blad om mängdlära på kurshemsidan. Talsystemen N, Z, Q, R. Mängder och symboler. Lite logik. Slutligen gick vi igenom potenslagarna. Eftersom

Läs mer

Tentamen i TDDC75 Diskreta strukturer , lösningsförslag

Tentamen i TDDC75 Diskreta strukturer , lösningsförslag Tentamen i TDDC75 Diskreta strukturer 2018-10-23, lösningsförslag 1 1. (a) Sanningstabell för uttrycken p q r p q p r r q r p q 0 0 0 1 0 1 1 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 1

Läs mer

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik Mats Boij 18 november 2001 13 Grupper Det trettonde kapitlet behandlar grupper. Att formulera abstrakta begrepp som grupper

Läs mer

Du, som har Thorbiörnson enbart, får nöja dig med sid.37-47, betr. relationer och funktioner. Du, som har Vretblad, kan också läsa kap.3 där.

Du, som har Thorbiörnson enbart, får nöja dig med sid.37-47, betr. relationer och funktioner. Du, som har Vretblad, kan också läsa kap.3 där. Du, som har Thorbiörnson enbart, får nöja dig med sid.37-47, betr. relationer och funktioner. (Binära) Relationer Du, som har Vretblad, kan också läsa kap.3 där. Ordet relation används inom matematiken

Läs mer

KOMBINATORIK. Exempel 1. Motivera att det bland 11 naturliga tal finns minst två som slutar på samma

KOMBINATORIK. Exempel 1. Motivera att det bland 11 naturliga tal finns minst två som slutar på samma Explorativ övning 14 KOMBINATORIK Kombinatoriken används ofta för att räkna ut antalet möjligheter i situationer som leder till många olika utfall. Den används också för att visa att ett önskat utfall

Läs mer

MYSTERIER SOM ÅTERSTÅR

MYSTERIER SOM ÅTERSTÅR Matematiska institutionen Stockholms universitet C.G. Matematik med didaktisk inriktning 2 Problem i Algebra, geometri och kombinatorik Snedsteg 6 MYSTERIER SOM ÅTERSTÅR Mysteriet med matrisinversen. Det

Läs mer

Lösningar till utvalda uppgifter i kapitel 3

Lösningar till utvalda uppgifter i kapitel 3 Lösningar till utvalda uppgifter i kapitel 3 3.37 (a) Att ` ' är reexiv, antisymmetrisk och transitiv följer direkt av att `den vanliga' är det på N och Z. (b) Följden m n = ( n, n) där n = 0, 1, 2,...

Läs mer

MITTUNIVERSITETET TFM. Modelltenta Algebra och Diskret Matematik. Skrivtid: 5 timmar. Datum: 1 oktober 2007

MITTUNIVERSITETET TFM. Modelltenta Algebra och Diskret Matematik. Skrivtid: 5 timmar. Datum: 1 oktober 2007 MITTUNIVERSITETET TFM Modelltenta 2007 MA014G Algebra och Diskret Matematik Skrivtid: 5 timmar Datum: 1 oktober 2007 Den obligatoriska delen av denna (modell)tenta omfattar 8 frågor, där varje fråga kan

Läs mer

MVE365, Geometriproblem

MVE365, Geometriproblem Matematiska vetenskaper Chalmers MVE65, Geometriproblem Demonstration / Räkneövningar 1. Konstruera en triangel då två sidor och vinkeln mellan dem är givna. 2. Konstruera en triangel då tre sidor är givna..

Läs mer

M0043M Integralkalkyl och Linjär Algebra, H14,

M0043M Integralkalkyl och Linjär Algebra, H14, M0043M Integralkalkyl och Linjär Algebra, H14, Linjär Algebra, Föreläsning 1 Staffan Lundberg / Ove Edlund Luleå Tekniska Universitet Staffan Lundberg / Ove Edlund M0043M H14 1/ 31 Lärare Ove Edlund Föreläsningar

Läs mer

Basbyten och linjära avbildningar

Basbyten och linjära avbildningar Föreläsning 11, Linjär algebra IT VT2008 1 Basbyten och linjära avbildningar Innan vi fortsätter med egenvärden så ska vi titta på hur matrisen för en linjär avbildning beror på vilken bas vi använder.

Läs mer

Modul 1 Mål och Sammanfattning

Modul 1 Mål och Sammanfattning Institutionen för Matematik SF1625 Envariabelanalys Läsåret 2016-2017 Lars Filipsson Modul 1 Mål och Sammanfattning 1. Reella tal. 1. MÅL FÖR MODUL 1 Känna till talsystememet och kunna använda notation

Läs mer

Algebra och kombinatorik 10/ Föreläsning 4. Låt X vara en ändlig mängd. En permutation av X är en bijektiv funktion X X. Sats: S n =n!

Algebra och kombinatorik 10/ Föreläsning 4. Låt X vara en ändlig mängd. En permutation av X är en bijektiv funktion X X. Sats: S n =n! Permutationer Låt X vara en ändlig mängd. En permutation av X är en bijektiv funktion X X. Mängden permutationer av N n för n N är S n (S 0 är mängden av permutationer av ) Sats: S n =n! Ex S 3 =3! Låt

Läs mer

Filosofisk Logik (FTEA21:4) föreläsningsanteckningar I. v. 2.0, den 24/4 2013

Filosofisk Logik (FTEA21:4) föreläsningsanteckningar I. v. 2.0, den 24/4 2013 Filosofisk Logik (FTEA21:4) föreläsningsanteckningar I v. 2.0, den 24/4 2013 Om detta kompendium: Filosofiska institutionen, Lunds Universitet staffan.angere@fil.lu.se Förberedande Det här kompendiet är

Läs mer

Vektorgeometri för gymnasister

Vektorgeometri för gymnasister Vektorgeometri för gymnasister Per-Anders Svensson http://w3.msi.vxu.se/users/pa/vektorgeometri/gymnasiet.html Institutionen för datavetenskap, fysik och matematik Linnéuniversitetet Vektorer i planet

Läs mer

Introduktion till funktioner

Introduktion till funktioner Introduktion till funktioner Mikael Forsberg 5 februari 010 1 Introduktion Ordet funktion kommer från latinets functio som har samma betydelse som det svenska ordet. Ordet har använts i Sverige åtminstone

Läs mer

Veckoblad 1, Linjär algebra IT, VT2010

Veckoblad 1, Linjär algebra IT, VT2010 Veckoblad, Linjär algebra IT, VT Under den första veckan ska vi gå igenom (i alla fall stora delar av) kapitel som handlar om geometriska vektorer. De viktigaste teoretiska begreppen och resultaten i kapitlet

Läs mer

Tentamen i TDDC75 Diskreta strukturer

Tentamen i TDDC75 Diskreta strukturer Tentamen i TDDC75 Diskreta strukturer 2017-01-05, Lösningsförslag (med reservation för eventuella fel) 1. Betrakta följande satslogiska uttryck: (p q) (q p) (a) Visa genom naturlig deduktion att uttrycket

Läs mer

Introduktion till funktioner

Introduktion till funktioner Introduktion till funktioner Mikael Forsberg 27 mars 2012 1 Introduktion Ordet funktion kommer från latinets functio som har samma betydelse som det svenska ordet. Ordet har använts i Sverige åtminstone

Läs mer

LMA033/LMA515. Fredrik Lindgren. 4 september 2013

LMA033/LMA515. Fredrik Lindgren. 4 september 2013 LMA033/LMA515 Fredrik Lindgren Matematiska vetenskaper Chalmers tekniska högskola och Göteborgs universitet 4 september 2013 F. Lindgren (Chalmers&GU) Matematik 4 september 2013 1 / 25 Outline 1 Föreläsning

Läs mer

Algebra och kryptografi

Algebra och kryptografi VK Algebra och kryptografi Tomas Ekholm Niklas Eriksen Magnus Rosenlund Institutionen för matematik, 2002 Grekiska alfabetet alfa A α iota I ι rho P ρ beta B β kappa K κ sigma Σ σ gamma Γ γ lambda Λ λ

Läs mer

MITTUNIVERSITETET TFM. Tentamen Algebra och Diskret Matematik A (svenska) Skrivtid: 5 timmar. Datum: 9 januari 2007

MITTUNIVERSITETET TFM. Tentamen Algebra och Diskret Matematik A (svenska) Skrivtid: 5 timmar. Datum: 9 januari 2007 MITTUNIVERSITETET TFM Tentamen 2007 MAAA99 Algebra och Diskret Matematik A (svenska) Skrivtid: 5 timmar Datum: 9 januari 2007 Denna tenta omfattar 8 frågor, där varje fråga kan ge 3 poäng. Maximalt poängantal

Läs mer

P Q = ( 2, 1, 1), P R = (0, 1, 0) och QR = (2, 2, 1). arean = 1 2 P Q P R

P Q = ( 2, 1, 1), P R = (0, 1, 0) och QR = (2, 2, 1). arean = 1 2 P Q P R 1 Matematiska Institutionen KTH Lösningar till några övningar på geometri och vektorer inför lappskrivning nummer 2 på kursen Linjär algebra II, SF1604, vt11. 1. En triangel har hörn i punkterna (1, 2,

Läs mer

TAMS79: Föreläsning 10 Markovkedjor

TAMS79: Föreläsning 10 Markovkedjor TAMS79: Föreläsning 0 Markovkedjor Johan Thim december 08 0. Markovkedjor Vi ska nu betrakta en speciell tidsdiskret diskret stokastisk process, nämligen Markovkedjan. Vi börjar med en definition Definition.

Läs mer

Vektorgeometri för gymnasister

Vektorgeometri för gymnasister Vektorgeometri för gymnasister Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/vektorgeometri/gymnasiet.html Fakulteten för teknik Linnéuniversitetet Linjära avbildningar IV Innehåll Nollrum och

Läs mer

Definition Låt n vara ett positivt heltal. Heltalen a och b sägs vara kongruenta modulo n om n är en faktor i a-b eller med andra ord om. n (a-b).

Definition Låt n vara ett positivt heltal. Heltalen a och b sägs vara kongruenta modulo n om n är en faktor i a-b eller med andra ord om. n (a-b). Block 4 Algebra och Diskret Matematik A BLOCK INNEHÅLL Referenser Inledning 1. Kongruens modulo n 2. Z n -- heltalen modulo n 3. Ekvationer modulo n 4. Relationer 5. Funktioner Golv och tak funktionerna

Läs mer

Vektorgeometri för gymnasister

Vektorgeometri för gymnasister Vektorgeometri för gymnasister Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/vektorgeometri/gymnasiet.html Fakulteten för teknik Linnéuniversitetet Diagonalisering av linjära avbildningar III

Läs mer

Låt n vara ett heltal som är 2 eller större. Om a och b är två heltal så säger vi att. a b (mod n)

Låt n vara ett heltal som är 2 eller större. Om a och b är två heltal så säger vi att. a b (mod n) Uppsala Universitet Matematiska institutionen Isac Hedén Algebra I, 5 hp Sammanfattning av föreläsning 9. Kongruenser Låt n vara ett heltal som är 2 eller större. Om a och b är två heltal så säger vi att

Läs mer

HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI

HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI Tiedekunta/Osasto Fakultet/Sektion Faculty Laitos Institution Department Matematisk-naturvetenskapliga Tekijä Författare Author Ilkka

Läs mer

Matematik: Det centrala innehållet i kurserna i Gy 2011 i relation till kurserna i Gy 2000

Matematik: Det centrala innehållet i kurserna i Gy 2011 i relation till kurserna i Gy 2000 2011-12-21 Matematik: Det centrala innehållet i kurserna i Gy 2011 i relation till kurserna i Gy 2000 Kurs 1a och 2a i Gy 2011 jämfört med kurs A och B i Gy 2000 Poängomfattningen har ökat från 150 poäng

Läs mer

2. 1 L ä n g d, o m k r e t s o c h a r e a

2. 1 L ä n g d, o m k r e t s o c h a r e a 2. 1 L ä n g d, o m k r e t s o c h a r e a Ett plan är en yta som inte är buktig och som är obegränsad åt alla håll. På ett plan kan man rita en linje som är rak (rät). En linje är obegränsad åt båda

Läs mer

Kinesiska restsatsen

Kinesiska restsatsen Matematik, KTH Bengt Ek juli 2017 Material till kurserna SF1679 och SF1688, Diskret matematik: Kinesiska restsatsen Vi vet att för varje m Z + och varje a Z, ges alla x Z som uppfyller x a (mod m) av x

Läs mer

Matematiska strukturer - Satser

Matematiska strukturer - Satser Matematiska strukturer - Satser April 2, 2018 I detta dokument har jag samlat och översatt de flesta satser som ingår i kursen Matematiksa Strukturer (FMAN65) från kursboken Set Theory and Metric Spaces

Läs mer