Relasjoner - forelesningsnotat i Diskret matematikk 2017

Like dokumenter
Egenskaper til relasjoner på en mengde A.

Først litt repetisjon

Relasjoner - forelesningsnotat i Diskret matematikk 2015

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.

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.

Løsningsforslag Øving 9 TMA4140 Diskret matematikk Høsten i for i = 0, 1, 2, 3, 4, og så er W 4 svaret

LO118D Forelesning 5 (DM)

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

{(1,0), (2,0), (2,1), (3,0), (3,1), (3,2), (4,0), (4,1), (4,2), (4,3) } {(1,0), (1,1), (1,2), (1,3), (2,0), (2,2), (3,0), (3,3), (4,0)}

Løsningsforslag til 3. oblogatoriske oppgave i Diskret Matematikk. Høsten 2018

Matematikk for IT, høsten 2016

Obligatorisk oppgave 1 i MAT1140, Høst Løsninger med kommentarer

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

INF1800 LOGIKK OG BEREGNBARHET

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

MAT1030 Plenumsregning 9

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

Tillegg til kapittel 11: Mer om relasjoner

Repetisjonsforelesning - INF1080

Ukeoppgaver fra kapittel 5 & 6, mm T F T F 2 F T T F 3 F T T F 4 F F F T

MAT1030 Diskret matematikk

MAT1030 Forelesning 12

Løsningsforslag til eksamen høst 2016

UNIVERSITETET I OSLO

Kapittel 5: Relasjoner

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

UNIVERSITETET I OSLO

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

Forelesningsnotat i Diskret matematikk tirsdag 1. november Pascals trekant. Legg merke til møsteret! Det gir oss Pascals identitet:

Kapittel 10 fra læreboka Grafer

Forelesning 13. Funksjoner. Dag Normann februar Opphenting. Opphenting. Opphenting. Opphenting

MAT1030 Diskret matematikk

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

MAT1030 Forelesning 11

Prøveeksamen 2016 (med løsningsforslag)

MAT1030 Diskret Matematikk

Kapittel 5: Relasjoner

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.

Før vi begynner. Kapittel 5: Relasjoner og funksjoner. MAT1030 Diskret Matematikk. Litt om obligen og studentengasjementet

MAT1030 Forelesning 13

Repetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon

Eksamen i Elementær Diskret Matematikk - (MA0301)

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

MAT1030 Diskret Matematikk

Kapittel 5: Relasjoner

UNIVERSITETET I OSLO

LØSNINGSFORSLAG EKSAMEN V06, MA0301

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

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:

MAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile

Kapittel 6: Funksjoner

MAT1030 Forelesning 13

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet

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:

Kapittel 6: Funksjoner

Forelesningsnotat i Diskret matematikk 27. september 2018

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

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

Løsningsforslag. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.

UNIVERSITETET I OSLO

Grafteori. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori.

UNIVERSITETET I OSLO

MAT1030 Forelesning 23

MAT1030 Diskret Matematikk

Forelesning 23. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori.

Løsningsforslag. Emnekode: Emne: Matematikk for IT ITF Eksamenstid: Dato: kl til kl desember Hjelpemidler: Faglærer:

Matriser En matrise er en rektangulær oppstilling av tall og betegnes med en stor bokstav, f.eks. A, B, C,.. Eksempler:

EKSAMEN. Emne: Emnekode: Matematikk for IT ITF Dato: Eksamenstid: til desember Hjelpemidler: Faglærer:

Matriser En matrise er en rektangulær oppstilling av tall og betegnes med en stor bokstav, f.eks. A, B, C,.. Eksempler:

TMA4140 Diskret Matematikk Høst 2016

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

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

MAT1140: Kort sammendrag av grafteorien

MAT1030 Diskret Matematikk

MAT1140: Kort sammendrag av grafteorien

Matematikk for IT Eksamen. Løsningsforslag

EKSAMEN. Emnekode: Emne: Matematikk for IT ITF Eksamenstid: Dato: kl til kl desember Hjelpemidler: Faglærer:

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

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

Disjunkte mengder ADT

i Dato:

Matriser En matrise er en rektangulær oppstilling av tall og betegnes med en stor bokstav, f.eks. A, B, C,.. Eksempler:

Løsningsforslag oblig. innlevering 1

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

Notat med oppgaver for MAT1140

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet

INF Algoritmer og datastrukturer

Oppsummering. MAT1030 Diskret matematikk. Relasjoner. Relasjoner. Forelesning 11: Relasjoner

Høgskolen i Agder. Institutt for matematiske fag EKSAMEN

Binomialkoeffisienter

Dagens plan: INF Algoritmer og datastrukturer. Eksempel. Binære Relasjoner

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

Eksamen MAT H Løsninger

Cr) Høgskoleni østfold

MAT1030 Forelesning 25

LF, KONTINUASJONSEKSAMEN TMA

Mengder, relasjoner og funksjoner

Eksamensoppgave i TMA4140 Diskret matematikk

Løsningsforslag Øving 7 TMA4140 Diskret matematikk Høsten 2008

Transkript:

Relasjoner Utdrag fra avsnitt 9.1, 9.3, 9.4 og 9.5 i læreboka 9.1 - Relasjoner 9.3 - Operasjoner på relasjoner 9.4 - Utvidelser av relasjoner - tillukninger 9.5 - Ekvivalensrelasjoner og ekvivalensklasser Gitt mengdene A og B. En relasjon R fra A til B (mellom A og B) er en delmengde av AxB: Husk: AxB = {(a, b) a A, b B} R AxB En relasjon er en mengde av verdipar, der første koordinaten a er fra mengden A og andrekoordinaten b er fra mengden B. Verdiparet beskriver en forbindelse (en relasjon) fra a til b. Eksempel A = {1, 2, 3} og B = {a, b, c} AxB = {(1, a), (1, b), (1, c), (2, a), (2, b), (2, c), (3, a), (3, b), (3, c)} Relasjonen R fra A til B: R = {(1, a), (1, b), (1, c), (2, b), (3, a), (3, c)} R AxB Dette kan illustreres enten grafisk eller med en tabell: Hvis A og B er én og samme mengde har vi en relasjon fra A til A. Da sier vi da at relasjonen R er på A istedenfor fra A til A. 1

Eksempel 1 Gitt relasjonen R på A der A = {1, 2, 3, 4} R = {(a, b) a + b er et partall} R = {(1,1), (1,3), (2,2), (2,4), (3,1), (3,3), (4,2), (4,4)} Grafen G R til R: Matrisen M R til R: Det er kun disse to måtene å illustrere relasjoner på vi kommer til bruke videre. Eksempel 2 La A = {1, 2, 3, 4} og la R være relasjonen på A definert ved R = {(a, b) a < b} R = {(1,2), (1,3), (1,4), (2,3), (2,4), (3,4)} Grafen G R til R: Matrisen M R til R: 2

Egenskaper til relasjoner på en mengde A. Refleksivitet Relasjonen er refleksiv hvis (a, a) R for alle a A. Vi kan se det ut fra: 1) Grafen: R er refleksiv hvis alle punktene i grafen har en sløyfe. 2) Matrisen: R er refleksiv hvis hoved-diagonalen kun inneholder 1 ere. Symmetri Relasjonen R er symmetrisk hvis det for alle a, b A slik at (a, b) R, så (b, a) R. Vi kan se det ut fra: 1) Grafen: R er symmetrisk hvis der det går en pil/kant mellom to punkter også går en pil motsatt vei mellom punktene. 2) Matrisen: R er symmetrisk hvis M R er en symmetrisk matrise. Husk: En matrise M er symmetrisk hvis M = M T Eksempel La A = {1, 2, 3, 4} R = {(1, 1), (1, 2), (1, 3), (2, 1), (3, 1), (3, 3), (3, 4), (4, 3) } 3

Avgjør om R er refleksiv: R er ikke refleksiv fordi f.eks. (2, 2) R. Vi kan se det ut fra grafen fordi det ikke er en sløyfe på punktene 2 og 4. Vi kan også se det ut fra matrisen fordi det er to 0 er på hoveddiagonalen (altså ikke bare 1 ere). Avgjør om R er symmetrisk: R er symmetrisk fordi det for alle verdipar (a, b) R gjelder at (b, a) R. Vi kan se det ut fra grafen fordi der det går piler mellom punkter går det piler begge veier mellom punktene. Vi kan også se det ut fra matrisen fordi den er symmetrisk om hoveddiagonalen. Antisymmetri En relasjon R på en mengde A er antisymmetrisk hvis det for alle a, b A er slik at (a, b) R så er (b, a) R. Vi kan se det ut fra: 1) Grafen: R er antisymmetrisk hvis alle piler/kanter i grafen går kun én vei. 2) Matrisen: Hvis det står 1 et sted utenfor hoved-diagonalen, må det stå 0 på motsatt side speilet om hoved-diagonalen. Transitivitet En relasjon R på en mengde A er transitiv hvis det for alle (a, b) R og (b, c) R, er slik at også (a, c) R. Dette kalles også for «trekantregelen». 4

Dette betyr at hvis det går en pil/kant fra a til b og det går en pil/kant fra b til c, så går det også en pil/kant fra a til c. OBS! De tre punktene a, b, og c behøver ikke være ulike. Anta at vi har at (a, b) R og (b, a) R. Hvis R skal være transitiv har vi ((a, b) R (b, c) R) (a, c) R. La c = a. Vi setter inn a for c og får: ((a, b) R (b, a) R) (a, a) R. Altså må (a, a) R Hvis R skal være transitiv gjelder også: ((b, a) R (a, c) R) (b, c) R. La b = c. Vi setter inn b for c og får: ((b, a) R (a, b) R) (b, b) R. Altså må (b, b) R. Dette betyr at hvis det går piler/kanter begge veier mellom to punkter må begge punktene ha «sløyfer» for at relasjonen skal være transitiv. Eksempel: La A = {1, 2, 3, 4} og R = {(a, b) a b} R kan også skrives helt ut: R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3,3), (3, 4), (4, 4)} 5

1. R er refleksiv 2. R er ikke symmetrisk. 3. R er antisymmetrisk 4. Hvis a, b og c er tre tall slik at a b og b c, så er a c. R er derfor transitiv. Kombinasjoner av relasjoner En relasjon R på A er en delmengde av AxA. La R og S være to relasjoner på A. Da vil også R S, R S, R S, S R og R S være relasjoner på A. La M R og M S være matrisene til henholdsvis R og S. Da har vi at M R S = M R M S M R S = M R M S Sammensetningen av to relasjoner La R og S være to relasjoner på A. Sammensetningen av R og S betegnes som S R = {(a, c) a A, c A slik at det finnes en b A der (a, b) R og (b, c) S} La M R og M S være matrisene til henholdsvis R og S. Da gjelder M S R = M R M S (NB! Legg merke til rekkefølgen av S og R) 6

Eksempel La A = {1, 2, 3}. Relasjonene R og S på A er definert som R = {(1, 1), (1, 3), (2, 2), (3, 1)} S = {(1, 2), (2, 1), (2, 3), (3, 3)} S R = {(1, 2), (1, 3), (2, 1), (2, 3), ( 3, 2)} En vei (eng. path) i en relasjonsgraf Eksempel La A = {a, b, c, d, e } og relasjonen R på A gitt ved R = {(a, b), (a, d), (b, a), (b, c), (b, e), (c, d), (d, e)} Det går en vei fra et punkt til et annet punkt hvis det er mulig å gå fra det første til det andre punktet ved å følge kantene I pilens retning. 7

Veien består av endepunktene (start/slutt) og de punktene vi passerer. Veiens lengde er antall kanter. Spørsmål 1 Hvor mange veier finnes det fra a til e? 1) a, b, e 2) a, d, e 3) a, b, a, d, e osv. Spørsmål 2 Hvilke par (x, y) er det som har en vei fra x til y med lengde 2? 1) (a, a) 2) (a, c) 3) (a, e) 4) (b, b) 5) (b, d) 6) (c, e) Vi kan også finne dette ved hjelp av et matriseprodukt: Vi finner at Det går en vei fra x til y hvis det står 1 på plassen til (x, y) i matrisen. 8

Generell regel: La M R [n] = M R M R M R M R Da vil det finnes en vei med lengde n fra x til y hvis det står 1 på plassen til (x, y) i matrisen M R [n]. Utvidelser av relasjoner - tillukninger Hvis en relasjon R på en mengde A ikke er refleksiv, symmetrisk eller transitiv, kan den utvides til å bli henholdsvis refleksiv, symmetrisk eller transitiv ved å legge til nødvendige verdipar for å oppnå egenskapen. 1) Den minste mulige utvidelsen som gjør relasjonen R refleksiv kalles den refleksive tillukningen. Den blir refleksiv ved å ta med de parene som mangler, dvs. parene med lik første og andrekoordinat, f.eks. (a, a), (b, b), (c, c) osv. 2) Den minste mulige utvidelsen som gjør relasjonen R symmetrisk kalles den symmetriske tillukningen. Den blir symmetrisk ved å ta med de parene som mangler, dvs. hvis paret (a, b) R, må man legge til (b, a) (hvis paret ikke allerede er med). 3) Den minste mulige utvidelsen som gjør relasjonen R transitiv kalles den transitive tillukningen. Den blir transitiv ved å ta med de parene som mangler, dvs. hvis parene (a, b) R og (b, c) R, må man legge til paret (hvis paret ikke allerede er med). 9

Eksempel på transitiv tillukning av en relasjon. La A = {a, b, c, d} og R = {(a, a), (a, b), (a, d), (b, c), (c, b), (c, c)} Vi foretar en transitiv tillukning ved å legge til verdiparene (a, c) og (b, b). Formel La M R være matrisen til R. Anta at M R er en nxn-matrise. Da vil matrisen M R M R [2] M R [3].. M R [n] være matrisen til den transitive tillukningen til R. Begrunnelse: M R [2] inneholder de parene (x, y) der det går en vei med lengde 2 fra x til y, dvs. slik: men der (x, y) er med: 10

Derfor M R M R [2]. inneholder parene (x, y) der det går en vei med lengde 3 fra x til y, dvs. slik: M R [3] men da må vi ha med og dermed: Med andre ord må (x, y) være med. Derfor M R M R [2] M R [3] osv. Ekvivalensrelasjoner En relasjon R på en mengde A er en Ekvivalensrelasjon hvis den er refleksiv, symmetrisk og transitiv. Partielle ordninger En relasjon R på en mengde A er en Partiell ordning hvis den er refleksiv, anti-symmetrisk og transitiv. Eksempler på eksamensoppgaver 11

12

13

14