1 Föreläsning Implikationer, om och endast om

Relevanta dokument
Föreläsning 1: Tal, mängder och slutledningar

(N) och mängden av heltal (Z); objekten i en mängd behöver dock inte vara tal. De objekt som ingår i en mängd kallas för mängdens element.

Övningshäfte 3: Funktioner och relationer

Diskret matematik, lektion 2

MA2047 Algebra och diskret matematik

LMA033/LMA515. Fredrik Lindgren. 4 september 2013

D. x 2 + y 2 ; E. Stockholm ligger i Sverige; F. Månen är en gul ost; G. 3 2 = 6; H. x 2 + y 2 = r 2.

MATEMATIKENS SPRÅK. Avsnitt 1

ÄNDLIGT OCH OÄNDLIGT AVSNITT 4

ANDREAS REJBRAND NV3ANV Matematik Matematiskt språk

Exempel. Komplexkonjugerade rotpar

Modul 1 Mål och Sammanfattning

Explorativ övning 9 RELATIONER OCH FUNKTIONER

9. Predikatlogik och mängdlära

Övningshäfte 1: Logik och matematikens språk

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

10. Mängder och språk

S n = (b) Med hjälp av deluppgift (a) beräkna S n. 1 x < 2x 1? i i. och

7, Diskreta strukturer

Definitionsmängd, urbild, domän

Institutionen för Matematik. SF1625 Envariabelanalys. Lars Filipsson. Modul 1

A B A B A B S S S S S F F S F S F S F F F F

Lösningar till utvalda uppgifter i kapitel 3

Filosofisk logik Kapitel 15. Robin Stenwall Lunds universitet

Sanningsvärdet av ett sammansatt påstående (sats, utsaga) beror av bindeord och sanningsvärden för ingående påståenden.

LOGIK, MÄNGDER OCH FUNKTIONER

7, Diskreta strukturer

Algebra I, 1MA004. Lektionsplanering

MA2047 Algebra och diskret matematik

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

MATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt,

MATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, lära oss

I kursen i endimensionell analys är mängden av reella tal (eng. real number), R, fundamental.

729G74 IT och programmering, grundkurs. Tema 1, Föreläsning 3 Jody Foo,

TATM79: Föreläsning 4 Funktioner

Introduktion till funktioner

Introduktion till funktioner

Begreppen "mängd" och "element" är grundläggande begrepp i matematiken.

Övningshäfte 2: Induktion och rekursion

MS-A0409 Grundkurs i diskret matematik I

Föreläsningsanteckningar S6 Grafteori

Matematiska strukturer - Satser

MS-A0409 Grundkurs i diskret matematik I

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

Lite Kommentarer om Gränsvärden

Lösning till tentamensskrivning på kursen Diskret Matematik, moment A, för D2 och F, SF1631 och SF1630, den 10 januari 2011 kl

Begreppen "mängd" och "element" är grundläggande begrepp i matematiken.

Uppgifter om funktioner

Sidor i boken KB 6, 66

Lösning till tentamensskrivning i Diskret Matematik för CINTE, CL2 och Media 1, SF1610 och 5B1118, onsdagen den 17 augusti 2011, kl

Lösning av tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, tisdagen den 27 maj 2014, kl

2 Matematisk grammatik

Mängder. 1 Mängder. Grunder i matematik och logik (2015) 1.1 Grundläggande begrepp. 1.2 Beskrivningar av mängder. Marco Kuhlmann

Filosofisk logik Kapitel 15 (forts.) Robin Stenwall Lunds universitet

Lösningsförslag till tentamensskrivning i SF1610 Diskret Matematik för CINTE 30 maj 2018, kl

Föreläsning 1, Differentialkalkyl M0029M, Lp

SJÄLVSTÄNDIGA ARBETEN I MATEMATIK

TATM79: Föreläsning 1 Notation, ekvationer, polynom och summor

Tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, onsdagen den 20 augusti 2014, kl

Material till kursen SF1679, Diskret matematik: Lite om kedjebråk. 0. Inledning

Utsagor (Propositioner) sammansatta utsagor sanningstabeller logisk ekvivalens predikat (öppna utsagor) kvantifierare Section

Talmängder. Målet med första föreläsningen:

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

Diofantiska ekvationer

TATM79: Föreläsning 6 Logaritmer och exponentialfunktioner

TDP015: Lektion 5 - Svar

Innehållsförtekning Sida. Inledning 3 Vad är fuzzy logic? 3 Mängder 3 Medlemsfunktioner 5 Operationer 6 Fuzzification 8 Litteraturförteckning 9

DOP-matematik Copyright Tord Persson. Gränsvärden. Uppgift nr 10 Förenkla bråket h (5 + h) h. Uppgift nr 11 Förenkla bråket 8h + h² h

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

Lösningar till utvalda uppgifter i kapitel 4

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.

Induktion, mängder och bevis för Introduktionskursen på I

Uppsala universitet Institutionen för lingvistik och filologi. Grundbegrepp: Mängder och element Delmängder

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

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

TATM79: Föreläsning 1 Notation, ekvationer, polynom och olikheter

Fuzzy Logic. När oskarpa definitioner blir kristallklara. Åsa Svensson. Linköpings Universitet. Linköping

Mängder och kardinalitet

kvoten mellan två på varandra följande tal i en talföljd är konstant alltid lika stor.

Kursens Kortfrågor med Svar SF1602 Di. Int.

729G74 IT och programmering, grundkurs. Tema 2. Föreläsning 3 Jody Foo,

Algebra och Diskret Matematik A (svenska)

Kontinuitet och gränsvärden

729G74 IT och programmering, grundkurs. Tema 2. Föreläsning 3 Jody Foo,

Kinesiska restsatsen

1 Analysens grunder. Ordlista för Funktionalanalys 1. avbildning (map) En avbildning är i matematiskt språk i regel detsamma som en funktion.

1 Suddig logik och gitter

Mängdlära. Kapitel Mängder

Den matematiska analysens grunder

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

3 Grundläggande sannolikhetsteori

Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret Lektion 4

Experimentella metoder, FK3001. Datorövning: Finn ett samband

Bisektionsalgoritmen. Kapitel Kvadratroten ur 2

Moment Viktiga exempel Övningsuppgifter Ö , Ö1.25, Ö1.55, Ö1.59

Svar till vissa uppgifter från första veckan.

Lösning till tentamensskrivning på kursen Diskret Matematik, moment B, för D2 och F, SF1631 och SF1630, den 1 juni 2011 kl

Uppsala Universitet Matematiska Institutionen Thomas Erlandsson

Lite om räkning med rationella uttryck, 23/10

Ma2bc. Prov

Transkript:

1 Föreläsning 1 Temat för dagen, och för dessa anteckningar, är att introducera lite matematisk terminologi och notation, vissa grundkoncept som kommer att vara genomgående i kursen. I grundskolan presenteras matematik mest som ett sorts hantverk eller färdighet i att lösa en viss sorts problem. Det stämmer såklart, men matematiken är utöver det också ett sorts språk och sätt att uttrycka logiska resonemang. 1.1 Implikationer, om och endast om I matematik gäller det att vara noga med logiken. Ofta i matematisk text kan man läsa ord som implicerar eller uttryck som om och endast om. För att förklara dessa nyckelord, tänk er en golvlampa (med en lysknapp). Lampan är släckt om lysknappen är av, dvs om lysknappen är av implicerar det att lampan är släckt. Omvänt har vi också att: Lampan är tänd om lysknappen är på, dvs om lysknappen är på implicerar det att lampan är tänd. Alltså kan vi säga att: Lampan är tänd om och endast om lysknappen är på, dvs att lysknappen är på är ekvivalent med att lampan är det. Matematiker skriver ibland detta koncist med implikationspilar. En pil utläses om eller implicerar, och en dubbelpil utläses om och endast om eller är ekvivalent med. Vi skulle alltså kunna skriva Knappen är på Lampan lyser, Knappen är av Lampan är släckt, dvs Lampan lyser Knappen är på. Antag nu istället att golvlampan är inkopplad i en förlängningsdosa, och att förlängningsdosan har en egen strömbrytare. Det är fortfarande sant att Lampan är släckt om lysknappen är av. Det vill säga, om lysknappen är av implicerar det att lampan är av. Samma sak gäller även strömbrytaren på förlängsningsdosan! Lampan är släckt om förlängningsdosans strömbrytare är av. Det vill säga, om förlängningsdosan är av implicerar det att lampan är av.

Föreläsning 1 1 Alltså är det inte sant att ljuset är tänt om och endast om lampans lysknapp är på, själva förlängningsdosan kan ju vara av! Istället får vi säga att Lampan är tänd om båda lysknappen och förlängningsdosan är på. Det vill säga, om både lysknappen och förlängningsdosan är på implicerar det att lampan är tänd. Notera att detta är inte ett om och endast om, eftersom ljuset kan vara släckt utan att båda knapparna är av. Den enda ekvivalens vi kan hävda är Lampan är släckt om och endast om minst en av knapparna är av. Ett standardexempel där det är lätt att göra en tankevurpa är kvadratrötter. Om x = 2 gäller x 2 = 4, dvs x = 2 x 2 = 4. Detta är däremot inte en ekvivalens, x 2 = 4 x = 2, för x 2 = 4 har även lösningen x = 2. Korrekta ekvivalenser är alltså x = ±2 x 2 = 4, eller x 2 = 4, x > 0 x = 2. Det är lätt att överanvända pilar: Lösningen i matteblocket kan lätt bli en serie uträkningar förbunda med pilar, den första uträkningen leder till den andra, som leder till den tredje, osv. Det kanske kan vara okej när man kladdar för sig själv men för att det ska bli begripligt för någon annan (och för en själv, om man måste gå tillbaka någon dag senare och fräscha upp minnet av någon lösning) så är det mycket bättre att skriva ut tankegångarna med fullständiga meningar. Min personliga åsikt är att det är bäst att helt undvika pilar, men läroboken (PB) använder dem så det är viktigt att ni förstår vad de betyder. 1.2 Mängder och funktioner Mängdlära är ett djuplodande och aktivt forskningsfält inom matematik och logik. Under kursen kommer vi emellertid egentligen bara att möta mängdlära i form av en sorts genomgående terminologi. När en matematiker pratar om en mängd menas en uppsättning element. Vi skriver q S, för att säga att q är ett element i mängden S. Mängden S är sålunda kollektionen av alla q S. Mängder anges ofta med hjälp av måsvingar; notationen S = {a, b, c, d} betyder att mängden S består av de fyra ingående elementen a, b, c och d. Det mest triviala exemplet på en mängd är den tomma mängden, det är den entydigt besämda

Föreläsning 1 2 mängden som helst saknar element: = { }. Två mängder är lika (enligt denition) om de har exakt samma element. En mängd A är en delmängd till en mängd B, skrivet A B, om alla element i A också är element i B. Till exempel är {1, 2, 4, 5} {1, 2, 3, 4, 5} en delmängd, och {d är en dag med dåligt väder} =, eftersom det inte nns några dagar med dåligt väder, bara dåliga kläder... En funktion f från en mängd A till en mängd B är en process eller regel som till varje element a A tillordnar ett entydigt bestämt element f(a) B. Notationen för detta är f : A B, vilket alltså utläses f är en funktion från mängden A till mängden B. Mängden A kallas denitionsområdet för funktionen f, och mängden B kallas funktionens målmängd. Mängden f(a) = {Funktionsvärdena f(a) för alla a A} kallas funktionens värdemängd. Notera att f(a) B, dvs värdemängden är en delmängd av målmängden. Ett annat sätt tänka på detta är att f är en process, algoritm eller maskin som accepterar element i dess denitionsområde A som input, och spottar ut element i målmängden B som output. Som exempel, låt S = {P är en student i den här kursen} vara mängden av studenter i den här kursen, och låt D = {d är ett datum under 2015} vara mängden av datum under 2015. Vi har då en födelsedagsfunktion f : S D som givet input studenten P ger oss som output f(p ) datumet för P :s födelsedag. En funktion kan åskådliggöras på era sätt. De två viktigaste i den här kursen är via en värdetabell eller en graf. Att lista alla studenter (input-värden) i en kolumn och bredvid den lista en kolumn med korresponderande födelsedagsdatum (output-värden) skulle ge en värdetabell för vår födelsedagsfunktion. En graf för funktionen skulle ges av att ange studenter som punkter längs en axel, datum längs en annan axel, och sedan plotta värdena.

Föreläsning 1 3 Ett lite mer matematiskt exempel på en funktion är följande. Låt {saldon $} vara mängden möjliga saldon på ett bankkonto (i dollar). Låt säga att du av banken lovas två procents årlig ränta på ditt sparkonto. Antalet pengar på ditt konto om ett år ges då av värdet på funktionen g : {saldon $} {saldon $} som givet som input saldot x $ ger output saldot g(x) = 1, 02 x $. Detta för oss in på ekvationsbegreppet. Frågan hur många dollar måste jag sätta in för att få ut 10200 $ vid årsslutet är matematiskt ekvationsproblemet: Finn lösningen x till ekvationen g(x) = 10200$, dvs 1, 02 x = 10200. Detta har den unika lösningen x = 10000 $. Med en ekvation (eller, ett ekvationsproblem) kommer vi i den här kursen mena problem av typen: Givet funktionen f : A B och ett xt värde b B, nn alla x A sådana att f(x) = b. Funktioner kan komponeras. Om p : A B och q : B C, så får vi en funktion q p : A C, via kompositionsregeln att den tar ett input a A till output q(p(a)) C. Vi tar alltså output för p som input för q. Funktionen q p läses som kompositionen av p och q, q boll p eller, mer informellet, som q av p. Till exempel är kompositionen g g : {saldon $} {saldon $} funktionen g(g(x)) = 1, 02 1, 02 x = 1, 0404 x $. Den beskriver saldot efter två års sparande. Ett annat exempel kunde vara följande. Låt {saldon kr} vara mängden möjliga saldon i kronor. Låt säga att vi har en växelkurs på 1 $ = 7, 95 kr. Vi kan tolka detta som en växelfunktion h : {saldon $} {saldon kr}, h(x) = 7, 95x. Hur många kronor vi får ut efter ett års sparande, om vi sätter in i dollar, ges nu av kompositionen h g : {saldon $} {saldon kr}, h g(x) = 7, 95 1, 02 x = 8, 109 x. Varje mängd A har en identitetsfunktion id A : A A som inte gör något alls, dvs id A (a) = a. En funktion g : B A sägs vara invers till en funktion f : A B om kompositionen f g är lika med identitetsfunktionen id B och kompositionen g f är lika med identitetsfunktionen id A. Om så är fallet skriver vi g = f 1 och säger att g är invers till f. Notera att inte alla funktioner har en invers! Problem. Hitta inversen till funktionen h g (ovan), samt till h och g. Kan inversen till h g beskrivas i termer av inverserna för h och g?

Föreläsning 1 4 Problem. Låt Z = {..., 2, 1, 0, 1, 2, 3,... } beteckna mängden av alla heltal och låt f : Z Z vara funktionen som ges av f(x) = x 2. Har funktionen f en invers? Problem. Låt N = {0, 1, 2, 3,... } vara mängden av alla så kalla naturliga tal, dvs alla icke-negativa heltal och låt f(z) vara värdemängden till funktionen f ovan. Deniera sedan g : N f(z) via g(x) = x 2. Har funktionen g en invers? Funktioner är förmodligen det enskilt viktigaste begreppet i kursen! Viktigare än tal och siror, så försäkra dig om att du känner dig bekväm med begreppet. 1.3 Union, snitt, komplement och kardinalitet Här följer lite ytterligare terminologi och notation rörande mängder. Låt A och B vara mängder. Unionen av A och B är mängden A B som vi denerar genom att säga att den består av alla x med egenskapen att x är ett element i antingen A eller B, eller i båda. Till exempel är {1, 2, 3} {3, 4, 5} = {1, 2, 3, 4, 5}, och {a, b} {a, b, c, d} = {a, b, c, d}. Notera att både A och B är delmängder av unionen. Snittet A B är den mängd som består av alla x med egenskapen att x ligger i både A och B. Till exempel är och {1, 2, 3} {3, 4, 5} = {3}, {a, b} {a, b, c, d} = {a, b}. Notera att snittet är en delmängd till både A och B. Om S A är en delmängd så denieras dess komplement, skrivet A \ S, som mängden av alla x A som inte tillhör S. Till exempel är {a, b, c, d} \ {a, c} = {b, d}. Union, snitt och komplement kan lätt åskådliggöras med hjälp av så kallade Venndiagram, se till exempel Wikipedia (engelska sidan är bäst). En mängds kardinalitet är denerat som antalet ingående element; vi skriver A för kardinaliteten av mängden A. Exempelvis är {a, b, c, d, e} = 5. Problem. Visa att för tre godtyckliga mängder A, B och C, var och en med ändlig kardinalitet, gäller att A B C = A + B + C A B A C B C + A B C.