Vi definerer en mengde ved å fortelle hva den inneholder. Vi kan definere den på listeform eller ved hjelp av en utsagnsfunksjon.

Like dokumenter
Vi definerer en mengde ved å fortelle hva den inneholder. Vi kan definere den på listeform eller ved hjelp av en utsagnsfunksjon.

Innføring i bevisteknikk

Diskret matematikk tirsdag 15. september 2015

Emne 12 Mengdelære. ( bokstaven g er ikke et element i mengden B ) Betyr: B er mengden av alle positive oddetall.

INF1800 Forelesning 2

TMA 4140 Diskret Matematikk, 3. forelesning

Mengdelære INF1800 LOGIKK OG BEREGNBARHET FORELESNING 2: MENGDELÆRE. Læreboken. Mengder. Definisjon (Mengde) Roger Antonsen

INF1800 LOGIKK OG BEREGNBARHET

LO118D Forelesning 3 (DM)

TMA 4140 Diskret Matematikk, 4. forelesning

Repetisjonsforelesning - INF1080

INF1800 LOGIKK OG BEREGNBARHET

Repetisjon INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER. Mengder. Multimengder og tupler.

Dagens plan. INF3170 Logikk. Mengder. Definisjon. Notasjon. Forelesning 0: Mengdelære, Induksjon. Martin Giese. 23. januar 2008.

Sammensetningen h = f g er en funksjon fra A til C, h: A -> C og er definert ved h(a) = f(g(a)) Viktig: f g g f

Kapittel 5: Mengdelære

MAT1030 Diskret Matematikk

Kapittel 5: Mengdelære

MAT1030 Forelesning 10

MAT1030 Diskret Matematikk

To mengder S og T er like, S = T, hvis de inneholder de samme elementene. Notasjon. Mengden med elementene a, b, c og d skrives ofte {a, b, c, d}.

Kapittel 5: Mengdelære

Løsningsforslag til 1. obligatorisk oppgave i Diskret matematikk, høsten 2016

MAT1030 Diskret matematikk. Mengder. Mengder. Forelesning 9: Mengdelære. Dag Normann OVER TIL KAPITTEL februar 2008

Eksempel. La A = {a, b, c, d} og B = {1, 2, 3} La f være gitt ved: f(a) = 1, f(b) = 3, f(c) = 2, f(d) = 1. Dette kan illustreres slik:

Forelesning 9. Mengdelære. Dag Normann februar Mengder. Mengder. Mengder. Mengder OVER TIL KAPITTEL 5

R for alle a A. (, så er a, En relasjon R på en mengde A er en Ekvivalensrelasjon hvis den er refleksiv, symmetrisk og transitiv.

Mengdelære. Kapittel Hva er en mengde?

Eksempel. La A = {a, b, c, d} og B = {1, 2, 3} La f være gitt ved: f(a) = 1, f(b) = 3, f(c) = 2, f(d) = 1. Dette kan illustreres slik:

Forelesning 1: Introduksjon og mengdelære Christian Mahesh Hansen januar Praktisk informasjon. 1.1 Forelesere og tid/sted

Dagens plan. INF3170 Logikk

Oppgave: Avgjør om følgende to mengder er like: 1) (A B) C 2) A (B C)

Løsningsforslag oblig. innlevering 1

Relasjoner. Ekvivalensrelasjoner. En relasjon R på en mengde A er en delmengde av produktmengden. La R være en relasjon på en mengde A.

R for alle a A. (, så er a, En relasjon R på en mengde A er en Ekvivalensrelasjon hvis den er refleksiv, symmetrisk og transitiv.

Tall og mengder. Per G. Østerlie. 30. september 2013

Analysedrypp I: Bevis, mengder og funksjoner

Analysedrypp I: Bevis, mengder og funksjoner

Løsningsforslag til øving 12

Denne følgen har N+1 ledd. En generell uendelig følge kan settes opp slik:

Eksamen MAT H Løsninger

Forelesning 10. Mengdelære. Dag Normann februar Venn-diagrammer. Venn-diagrammer. Venn-diagrammer. Venn-diagrammer

Venn-diagrammer. MAT1030 Diskret matematikk. Venn-diagrammer. Venn-diagrammer. Eksempel. Forelesning 10: Mengdelære

INF3170 Forelesning 1

Dagens plan INF3170 Logikk. Obliger og eksamen. Forelesning 1: Introduksjon, mengdelære og utsagnslogikk. Christian Mahesh Hansen og Roger Antonsen

Matematikk 15 V-2008

INF1080 Logiske metoder for informatikk. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng]

Løsningsforlag til eksamen i Diskret matematikk. 29. november 2017

Litt mer mengdelære. INF3170 Logikk. Multimengder. Definisjon (Multimengde) Eksempel

INF3170 Forelesning 2

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet

Matematikk for IT, høsten 2016

Ekvivalente utsagn. Eksempler: Tautologi : p V p Selvmotsigelse: p Λ p

MAT1030 Diskret matematikk

Rekker (eng: series, summations)

MAT1030 Diskret matematikk

LØSNINGSFORSLAG UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet. Oppgave 1 Mengdelære (10 poeng)

Oppgaver med et odde nummer har fasit bakerst i læreboken. Her er løsningsforslag med mellomregninger for de gitte øvingsoppgavene.

ÅMA110 Sannsynlighetsregning med statistikk, våren 2011

QED 1 7. Matematikk for grunnskolelærerutdanningen. Bind 2. Fasit kapittel 1 Tallenes hemmeligheter

Rekker (eng: series, summations)

a) Blir produktet av to vilkårlige oddetall et partall eller et oddetall? Bevis det.

Forelesning januar 2006 Introduksjon, mengdelre og utsagnslogikk. 1 Praktisk informasjon. 1.1 Forelesere og tid/sted. 1.2 Obliger og eksamen

Aksiom 3.1 (Likhet av mengder). La A og B være mengder. Da er A og B like hvis og bare hvis de har akkurat de samme elementene.

i Dato:

Kapittel 5: Relasjoner

Matematikk for IT. Prøve 1. Onsdag 18. september Løsningsforslag

MAT1030 Forelesning 12

UNIVERSITETET I OSLO

ØVINGER 2017 Løsninger til oppgaver. 3.1 Myntkast For et enkelt myntkast har vi to mulige utfall, M og K. Utfallsrommet blir

Tillegg til kapittel 11: Mer om relasjoner

Matematikk for IT. Prøve 1. Torsdag 18. september Løsningsforslag

b) Hvis det er mulig å svare blankt (dvs. vet ikke) blir det 5 svaralternativer på hvert spørsmål, og dermed mulige måter å svare på.

Kapittel 5: Relasjoner

Mer om mengder: Tillegg til Kapittel 1. 1 Regneregler for Booleske operasjoner

UNIVERSITETET I OSLO

INF1080 Logiske metoder for informatikk. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng]

Noen løsningsforslag/fasitsvar

Relasjoner - forelesningsnotat i Diskret matematikk 2017

Øvingsforelesning 2. Mengdelære, funksjoner, rekurrenser, osv. TMA4140 Diskret Matematikk. 10. og 12. september 2018

En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt navn på visse egenskaper relasjoner som oppstår i anvendelser ofte kan ha.

Mål. Pensum. TDT4110 Informasjonsteknologi grunnkurs: Tema: Dictionaries og sets (mengder) Utgave 3: Kap. 9. Terje Rydland - IDI/NTNU

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet. INF1080 Logiske metoder for informatikk

Permutasjoner og utvalg

Egenskaper til relasjoner på en mengde A.

Først litt repetisjon

Eksamensoppgave i TMA4140 Diskret matematikk

Matematikk for IT. Prøve 1. Torsdag 17. september Løsningsforslag. 22. september 2015

Prøveeksamen 2016 (med løsningsforslag)

INF2820 Datalingvistikk V2014. Jan Tore Lønning

UNIVERSITETET I OSLO

Forelening 1, kapittel 4 Stokastiske variable

Forelesning 11. Relasjoner. Dag Normann februar Oppsummering. Relasjoner. Relasjoner. Relasjoner

Oppsummering. MAT1030 Diskret matematikk. Ekvivalensrelasjoner. Oppsummering. Definisjon. Merk

UNIVERSITETET I OSLO

En (reell) funksjon f fra en (reell) mengde D er en regel som til hvert element x D tilordner en unik verdi y = f (x).

Oppgaveløsninger til undervisningsfri uke 8

Løsningsforslag til oblig 1 i DM 2018

Om forholdet mellom produkt og barysentrisk oppdeling av simplisialkomplekser

Transkript:

Mengder En mengde (eng:set) er en uordnet samling av objekter. Vi bruker vanligvis store bokstaver, A, B, C, osv., til å betegne mengder. Objektene som inngår i mengden kalles for elementer i mengden (eller medlemmer) og betegner med små bokstaver, a, b, c, osv. Hvis er A en mengde og a et element i mengden A skriver vi: a A ( leses «a er element i A» ) Hvis a ikke er et element i mengden A skriver vi: a A ( leses «a er ikke element i A» ) Vi definerer en mengde ved å fortelle hva den inneholder. Vi kan definere den på listeform eller ved hjelp av en utsagnsfunksjon. Eksempel: La A være mengden av de hele tallene fra 1 til 5. Vi skriver da: A = { 1, 2, 3, 4, 5 } Her sier vi at A er på listeform. Hvis mengden har mange elementer, pleier vi kun å ramse opp noen i starten og noen i slutten. Vi tar med så mange som er nødvendig for at vi skal se et mønster. Eksempler: La B være mengde av heltallene fra 1 til 100. Det kan vi skrive mengden på listeform slik: B = {1, 2, 3,.., 99, 100} Prikkene representerer elementene som mangler. 1

La C være mengde av alle partall fra 2 til 100. På listeform: C = {2, 4, 6,.., 98, 100} La D være alle positive heltall. Da har vi en uendelig mengde: D = {1, 2, 3, } En mengde kan defineres ved hjelp av en utsagnsfunksjon med en gitt definisjonsmengde (eng: domain): La A være definisjonsmengden til utsagnsfunksjonen P(x). Da kan vi definere en ny mengde B som B = {a A P(a) } Dette betyr at B er mengden av de elementene i A som gjør P(a) sann. Eksempel: La P(x) være gitt ved: x > 10 der x er et heltall. Det betyr at definisjonsmengden A for P(x) er alle heltallene. Mengden B blir da B = {x A P(x) } = { x A x > 10 } = { 11, 12, 13, } Kan leses som: B er mengden av de x tilhørende A slik at x > 10.» Symbolet { } kalles mengdebygger ( eng: set builder) Den vertikale streken leses som «slik at». Noen tallmengde har fått egne symboler: 2

N = {0, 1, 2, 3,.. } er de naturlige tallene Z = {, -2, -1, 0, 1, 2, 3, } er de hele tallene Q = er de rasjonale tallene R = er de reelle tallene Programmering: En datatype (int, double, ) kan også sees på som en mengde. Datatypen int er mengden av alle heltall fra -2 31 til 2 31-1. Likhet mellom mengder: To mengder A og B er like hvis de inneholder de sammen elementene. Da er A = B. Hvis de er ulike er A B. Eksempel 1. La A = {1, 7, 3, 5} og B = {7, 5, 3, 1}. Er A = B? Ja fordi A og B inneholder de samme elementene. Rekkefølgen elementene står i spiller ingen rolle. Eksempel 2. La A = {1, 1, 2, 2, 3} og B = {1, 2, 3}. Er A = B? Ja, fordi både A og B inneholder elementene 1, 2 og 3. En mengde blir ikke større om et element tas med flere ganger! Venn-diagram. En mengde kan betegnes som en runding («rund» figur). Det som er innenfor rundingen er med i mengden: 3

En delmengde (eng: subset) En mengde A er en delmengde av en mengde B hvis alle elementene i A også er elementer i B. Dette betegnes med A B og er definert formelt ved: Symbolet kalles for inkluderingssymbolet. Hvis A ikke er en delmengde av B skriver vi A B. NB! En mengde er alltid en delmengde av seg selv: A A for alle mengder A. Det er flere måter å si at A er en delmengde av B: A er inneholdt i B A er inkludert i B B omfatter A Eksempler. La A = {2, 3, 5} og B = {1, 2, 3, 4, 5} Her er A B. 4

La A = {2, 3, 5, 6 } og B = {1, 2, 3, 4, 5 } Her er A B fordi 6 A, men 6 B. NB! Vi har at A = B hvis og bare hvis A B og B A. (A = B) (A B Λ B A) Ekte delmengde: Hvis A B og er A B, så sier vi at A er en ekte delmengde av B og skriver det som A B. Observasjon: N Z Q R Den tomme mengde, Ø En mengde som ikke inneholder noen elementer kalles den tomme mengden. Den betegnes som {} eller bokstaven Ø. Den tomme mengden er delmengde av alle andre mengder: Ø A for alle mengder A. Eksempel: En mengde kan være element i en annen mengde. La f. eks. A være gitt ved: A= {1, 2, Ø, {1}, 2, 2} 5

Elementene i mengden er både tall og mengder. Både 1 og {1} er elementer i A: 1 A og {1} A. Den tomme mengde Ø er både et element i A og en delmengde av A: Ø A og Ø A. Hva er forskjellen mellom 1, {1} og { {1} }? Først har vi tallet 1, så har vi mengden av tallet 1 og så har vi mengden av mengden av tallet 1. Vi har: 1 {1} 1 { {1} } {1} { {1} } En mengdes kardinalitet. (eng: cardinality) En mengdes kardinalitet (eller størrelse) er antallet forskjellige elementer i mengden. Kardinaliteten til A betegnes med A. Eksempler: A = {a, b, c, d } A = 4 B = {1, 2, 3, 4, 5, 6} B = 6 C = {1, 2, 2, 3, 3, 3} C = 3 D = {2, 4, 6, 8,., 98, 100} D = 50 E = Ø Ø = 0 F = {a, {a}, {a,b}} F = 3 NB! b F G = mengden av bokstaver i alfabetet G = 29 Potensmengder: 6

La A være en mengde. Potensmengden til A betegnes med P(A)og er den mengden som har alle delmengder av A som elementer. Eksempler: A = { a, b }, P(A) = { Ø, {a}, {b}, {a, b} } P(A) = 2 A = 2 2 = 4 B = {1, 2, 3} P(B) = { Ø, {1}, {2},{3}, {1,2}, {1,3}, {2,3}, {1,2,3}} P(B) = 2 A = 2 3 = 8 Formel: P(A) = 2 A Kartesisk produkt: (eng. Cartesian product) La A og B være mengder. Det kartesiske produktet av A og B betegnes med A x B (leses som A kryss B) og er definert ved mengden av alle par (a, b) der førstekoordinaten tilhører A og andrekoordinaten tilhører B: A x B = {(a,b) a A og b B} Vi har at A x B = A B Eksempel: La A = {a, b} og B = {1, 2, 3 } A x B = {(a,1), (a,2), (a,3), (b,1), (b,2), (b,3)} Vi kan tegne A x B I et koordinatsystem: 7

De seks kryssene utgjør mengden A x B. Mengdeoperasjoner Tema for forelesningen: Snittet av to mengder Disjunkte mengder Union av to mengder Eksklusiv union (symmetrisk differens) av to mengder Differensen mellom to mengder Universal-mengde Komplimentet til en mengde Snittet av to mengder (eng. intersection) Snittet av to mengder A og B betegnes med A B (leses som «A snitt B») og er mengde av de elementene som både er i A og i B. (dvs. de elementene som A og B har felles.) A B = { x x A Λ x B } NB! Legg merke til at vi her har 8

Disjunkte mengder (eng. disjoint) To mengder A og B er disjunkte hvis A B = Ø, Det betyr at snittet er tomt og at A og B har ingen felles elementer. Eksempel: A = {1, 2, 3, 4}, B = {5, 6, 7, 8}, A B = Ø. Unionen av to mengder (eng union) Unionen av to mengder A og B betegnes med A B ( leses som «A union B») og er mengden av de elementene som er i A eller i B ( eller i begge deler). 9

felles.) A B = { x x A V x B } Antallet elementer i en union: Eksempel: A = {1, 2, 3, 4, 5}, B = { 7, 1, 3, 8, 5, 6} A B = {1, 2, 3, 4, 5, 6, 7, 8} 10

A = 5, B = 6, A B = 3, A B = 8 Vi ser at A B = A + B - A B = 5 + 6 3 = 8 Hvis vi ikke hadde trukket fra de tre elementene i snittet ville de har blitt tatt med to ganger, fordi de både er med i A og i B og det blir en gang for mye. Derfor må vi trekke fra snittet slik at det bare er tatt med en gang. Eksklusiv union ( kalles også for symmetrisk differens) Den eksklusive unionen av to mengder A og B betegnes som A B (leses som «A eksklusiv union B») og er mengden av de elementene som er i A eller i B, men ikke i begge: A B = { x x A x B } 11

Differensen mellom to mengder (eng: difference) Differensen mellom to mengder A og B betegnes som A B ( leses som «A minus B») og er mengden av de elementene som er i A, men som ikke er i B: A B = { x x A Λ x B } Eksempel: A = {1, 2, 3, 4, 5} B = {7, 1, 3, 8, 5, 6} A B = {2, 4} Observasjon: A B = ( A B ) (B A ) Og kalles derfor også symmetrisk differens. Formler for antallet elementer i mengder: 12

A B = A + B - A B A B = A - A B A B = A B + B A Universal mengde. Mengdene våre er normalt delmengde av en større mengde. Denne kaller vi for universalmengden. Vi bruker ofte bokstaven U for den. Eksempel 1: A = {1, 2, 3, 4, 5}, B = { 7, 1, 3, 8, 5, 6} Her er det naturlig å se på mengden av de hele tallene som universalmengden. Eksempel 2: A = {a, b, c} Her er elementene bokstaver og den naturlige universalmengden blir alfabetet. Komplimentet til en mengde La A være en delmengde av universalmengden U. Komplimentet til A (med hensyn på U) betegnes som (leses som «A kompliment» eller «komplimentet til A» ) og er mengden av de elementene i U som ikke er i A, dvs. U A. 13

Eksempel: A = {a, b, c} Hvis universalmengden U er alfabetet blir komplimentet til A = {d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, æ, ø, å} Observasjon: Et praktisk eksempel I en klasse med 30 studenter er det 14 som har bil, 7 som har motorsykkel og 2 som har begge deler. Spørsmål: 1) Hvor mange har kun bil? 2) Hvor mange har ingen av delene? Løsning: La B være mengden av de som har bil, og la M være mengden av de som har motorsykkel. 14

1) Finner B M, dvs. antallet studenter som har bil men ikke motorsykkel. 2) Finner, dvs. antallet studenter som hverken har bil eller motorsykkel. a) Løsning ved hjelp av venndiagram: b) Løsning ved hjelp av formler: 15