Egenskaper til relasjoner på en mengde A.

Like dokumenter
Relasjoner - forelesningsnotat i Diskret matematikk 2017

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

MAT1030 Plenumsregning 9

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

INF1800 LOGIKK OG BEREGNBARHET

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

Repetisjonsforelesning - INF1080

Tillegg til kapittel 11: Mer om relasjoner

Prøveeksamen 2016 (med løsningsforslag)

MAT1030 Forelesning 12

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO

Kapittel 5: Relasjoner

UNIVERSITETET I OSLO

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

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

Løsningsforslag til eksamen høst 2016

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

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

TMA4140 Diskret Matematikk Høst 2016

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

LØSNINGSFORSLAG EKSAMEN V06, MA0301

MAT1030 Forelesning 11

MAT1030 Diskret Matematikk

Kapittel 5: Relasjoner

i Dato:

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

UNIVERSITETET I OSLO

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

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

MAT1030 Diskret matematikk

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

Eksamen i Elementær Diskret Matematikk - (MA0301)

MAT1030 Forelesning 13

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.

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

MAT1030 Diskret Matematikk

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

MAT1030 Diskret Matematikk

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

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

MAT1140: Kort sammendrag av grafteorien

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet

Kapittel 6: Funksjoner

LF, KONTINUASJONSEKSAMEN TMA

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

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

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet

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

MAT1140: Kort sammendrag av grafteorien

Høgskolen i Agder. Institutt for matematiske fag EKSAMEN

MAT1030 Forelesning 13

Matematikk for IT. Prøve 1 Løsningsforslag. Fredag 23. september september Oppgave 1

UNIVERSITETET I OSLO

TMA4140 Diskret matematikk Høst 2011 Løsningsforslag Øving 7

Kapittel 6: Funksjoner

Kapittel 5: Relasjoner

LØSNINGSFORSLAG KONT 07, TMA4140

Løsningsforslag oblig. innlevering 1

Kapittel 10 fra læreboka Grafer

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

MAT1140: Partielle ordninger, Zorns lemma og utvalgsaksiomet

Zorns lemma og utvalgsaksiomet

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

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

MAT1030 Forelesning 23

MAT1030 Diskret Matematikk

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

Eksamensoppgave i TMA4140 Diskret matematikk

Notat 05 for MAT Relasjoner, operasjoner, ringer. 5.1 Relasjoner

Partielle ordninger, Zorns lemma og utvalgsaksiomet

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

Oppgaver MAT2500. Fredrik Meyer. 29. september 2014

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

Forelesningsnotat i Diskret matematikk 27. september 2018

Matematikk for IT Eksamen. Løsningsforslag

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

Cr) Høgskoleni østfold

True False. Q(0, 1, 2) yq(0, y, y) x yq(x, y, 10) x yq(x, y, x + x) y xq(x, y, x + x) x y Q(x, y, x + x) y x Q(x, y, x + x) x y zq(x, y, z)

Oppgaver MAT2500. Fredrik Meyer. 29. august 2014

UNIVERSITETET I OSLO

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

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

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:

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:

Del-hele relasjonen har disse tre egenskapene, og vi tar den som fundamental.

Transkript:

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 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». 1

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. Hvis det går piler/kanter begge veier mellom to punkter må begge punktene ha «sløyfer» for at relasjonen skal være transitiv: 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. 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 2

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) 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)} 3

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. 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? Svar: (a, a), (a, c), (a, e), (b, b), (b, d) og (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. 4

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). 5

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 M R [3].. M R [n] være matrisen til den transitive tillukningen til R. Begrunnelse: M R 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: 6

Derfor M R M R. 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 M R [3] osv. 7