Dette krever ikke noe nytt aksiom. Hvorfor? Og hvorfor må vi anta at A ikke er tom? Merk at vi har:

Save this PDF as:
 WORD  PNG  TXT  JPG

Størrelse: px
Begynne med side:

Download "Dette krever ikke noe nytt aksiom. Hvorfor? Og hvorfor må vi anta at A ikke er tom? Merk at vi har:"

Transkript

1 Notat 4 for MAT Mer om mengder 4.1 Familier av mengder Union og snitt. Aksiom 4.1. Dersom A er en mengde bestående av mengder, kan de sistnevnte føyes sammen til en stor mengde, kalt unionen til A, som skrives: Med en slik notasjon får vi: A = {x : A A x A}. (1) {A, B} = A B. (2) Tilsvarende kan man definere, når A er en ikke-tom mengde bestående av mengder: A = {x : A A x A}, (3) Dette krever ikke noe nytt aksiom. Hvorfor? Og hvorfor må vi anta at A ikke er tom? Merk at vi har: {A, B} = A B. (4) I praksis opptrer snitt og union ofte på en litt annerledes måte. Definisjon 4.1 (Familier). 1 La U være en mengde og I en annen mengde. En familie delmengder av U indeksert av I er en avbildning fra I til P(U). Når A er en familie indeksert av I er det vanlig å skrive A i heller enn A(i) for verdien til A i i I og å betegne familien A som (A i ) i I. Merk at vi skriver verdimengden til A som: {A i : i I}. (5) Det er vanlig å identifisere familier med samme graf, slik at det eneste som bare skiller dem er kodomenet. Definisjon 4.2. La U være en mengde og (A i ) i I en familie delmengder av U. Vi definerer snittet til familien ved: og unionen ved: i I A i = {x U : i I x A i }, (6) i I A i = {x U : i I x A i }. (7) 1 Det er vanlig å være litt upresis på dette området. Vi anser at det ikke er uvesentlig at familier er indekserte med noe, i dette tilfellet I. Vi skiller mellom en mengde delmengder av U, slik som (5) og en indeksert familie delmengder av U. 1

2 Disse nye definisjonene tilsvarer de gamle ved at: i I A i = {A i : i I}, (8) og: i I A i = {A i : i I}. (9) Proposisjon 4.1. La I og U være mengder, der I ikke er tom. La (A i ) i I være en familie delmengder av U indeksert av I og la B være en delmengde av U. Vi har: j I A j i I A i, (10) j I B i I B i I C U ( i I C U ( i I A i A j, (11) i I A i = i I(B A i ), (12) A i = i I(B A i ), (13) A i ) = i I C U (A i ), (14) A i ) = i I C U (A i ). (15) Produkt. Vi har definert A B som en mengde bestående av par, men vi kan definere andre mengder som likner til forveksling, men som består av avbildninger. Anta at U er en mengde som har både A og B som delmengder, for eksempel A B. Vi definerer: C = {f U {0,1} : f(0) A f(1) B}. (16) Vi kan da definere den naturlige avbildningen: { C A B, f (f(0), f(1)). (17) For hvert par (x, y) A B finnes det en og bare en f C slik at f(0) = x og f(1) = y. Man kan da velge å identifisere C med A B. Et nyttig spesialtilfelle består i å ikke skille mellom A {0,1} og A A. Denne identifiseringen er grunnlaget for følgende generelle konstruksjon: Definisjon 4.3. La I og U være en mengder og (A i ) i I en familie delmengder av U. Vi definerer: A i = {f U I : i I f(i) A i }. (18) i I 2

3 Under forutsetningene i definisjonen, anta videre at I ikke er tom. Dersom det eksisterer i I slik at A i = har vi i I A i =. At følgende krever et aksiom er ganske overraskende. Aksiom 4.2 (Utvalgsaksiomet). La (A i ) i I være en familie mengder. Vi har da: ( i I A i ) = i I A i. (19) Med andre ord, dersom hver A i kan vi velge et element f(i) A i for hver i I. Da vil f være et element i i I A i. Grunnen til at det trengs et aksiom er at I kan være uendelig, slik at man gjør uendelig mange valg simultant. 4.2 Injeksjon, surjeksjon, bijeksjon Definisjon 4.4. La f : A B være en avbildning. Vi sier at f er injektiv dersom: Vi sier at f er surjektiv dersom: x, x A f(x) = f(x ) = x = x. (20) y B x A f(x) = y. (21) Vi sier at f er bijektiv dersom f er både injektiv og surjektiv. Bemerkning 4.1. En annen måte å si det på er at: f er injektiv dersom, for hver y B har likningen f(x) = y maksimum én løsning x A. f er surjektiv dersom, for hver y B har likningen f(x) = y minimum én løsning x A. f er bijektiv dersom, for hver y B har likningen f(x) = y én og bare én løsning x A. Proposisjon 4.2. Dersom f : A B er bijektiv kan vi danne den avbildningen g : B A som til hvert y B assosierer løsningen x A til likningen f(x) = y. Den tilfredsstiller g f = id A og f g = id B. Bevis: For hver y B har vi f(g(y)) = y slik at f g = id B. For x A har vi at f(g(f(x)) = (f g)(f(x)) = id B (f(x)) = f(x). Siden f er injektiv får vi da g(f(x)) = x. Dette viser at g f = id A. 3

4 Definisjon 4.5. Når f er bijektiv kalles avbildningen g definert i forrige proposisjon, for inversavbildningen til f og skrives f 1. Proposisjon 4.3. Anta A ikke er tom. f : A B er injektiv hvis og bare hvis det finnes g : B A slik at g f = id A. Bevis: (i) Anta f er injektiv. Velg z A. Vi definerer g som følger. Hvis y V f finnes det en og bare en x A slik at f(x) = y ; vi definerer da g(y) = x. Dersom y V f definerer vi f(y) = z. Vi har da g(f(x)) = x for alle x A, slik at g f = id A. (ii) Anta at g f = id A. Anta x, x A og at f(x) = f(x ). Da får vi g(f(x)) = g(f(x )), altså x = x. Proposisjon 4.4. f : A B er surjektiv hvis og bare hvis det finnes g : B A slik at f g = id B. Denne proposisjonen bruker utvalgsaksiomet (og er ekvivalent med det). Bevis: (i) Anta at f er surjektiv. Definer, for hver y B: A y = {x A : f(x) = y}. (22) Vi vet at for hver y B er A y ikke tom. Fra utvalgsaksiomet er produktet ikke tomt: A y. (23) y B Velg derfor en avbildning g : B A som ligger i produktet. For hver y B har vi valgt g(y) A y, slik at f(g(y)) = y. Med andre ord har vi f g = id B. (ii) Anta f g = id B. For hver y B vil g(y) A og f(g(y)) = y slik at f er surjektiv. Proposisjon 4.5. La f : A B og g : B C være avbildninger. Hvis f og g er injektive er g f injektiv. Hvis f og g er surjektive er g f surjektiv. Hvis g f er injektiv er f injektiv. Hvis g f er surjektiv er g surjektiv. Proposisjon 4.6. La f : A B og g, g : B A. Hvis g f = id A og f g = id B, så har vi at: g = g. 4

5 f er en bijeksjon. g er inversavbildningen til f. Bevis: (i) Vi har: g = g id B = g (f g ) = (g f) g = id B g = g. (24) (ii) Siden g f = id A, er f injektiv. Siden f g = id B er f surjektiv. Dermed er f bijektiv. (iii) For hver y B tilfredsstiller x = g(y) at f(x) = y, og det er bare en slik x, slik at g er inversavbildningen til f. Proposisjon 4.7. Dersom f : A B er bijektiv, er f 1 : B A bijektiv og (f 1 ) 1 = f. Dersom f : A B og g : B C er bijektive, er g f bijektiv og (g f) 1 = f 1 g 1. Teorem 4.8 (Cantor). La A være en mengde. Det finnes ingen surjeksjon A P(A). Det finnes heller ingen injeksjon P(A) A. Bevis: (i) Anta for motsigelse at f : A P(A) er surjektiv. Vi definerer: B = {x A : x f(x)}. (25) Siden f er surjektiv kan vi velge a A slik at B = f(a). Vi får da: Dette er en selvmotsigelse. a B a B. (26) (ii) Anta g : P(A) A er injektiv. Velg f : A P(A) slik at f g = id P(A). Da er f surjektiv, hvilket vi har vist er umulig. Teoremet kan tolkes som at P(A) er vesentlig større enn A. Dette temaet skal vi komme tilbake til. 4.3 Direkte bilde, invers bilde. Definisjon 4.6. La f : U V være en avbildning. Når A U definerer vi direktebildet til A som: f[a] = {f(x) : x A}, (27) = {y V : x A y = f(x)}. (28) Når B V definerer vi inversbildet til B som: f 1 [B] = {x U : f(x) B}. (29) 5

6 Merk at notasjonen for inversbilde ikke forutsetter at f er bijektiv, slik at f 1 ikke nødvendigvis eksisterer som avbildning fra B til A. Inversbilde oppfører seg godt i forhold til snitt, union og komplement. Proposisjon 4.9. La (B j ) j J være en familie delmengder av V. Vi har : La også B V. Da har vi: f 1 [ j J B j ] = j J f 1 [B j ], (30) f 1 [ j J B j ] = j J f 1 [B j ]. (31) f 1 [C V (B)] = C U (f 1 [B]). (32) For direktebilde er situasjonen mindre gunstig. Proposisjon La (A i ) i I være en familie delemengder av U. Vi har : f[ i I A i ] = i I f[a i ], (33) f[ i I A i ] i I f[a i ]. (34) Notasjonen for invers- og direkte-bilde er litt problematisk. Her er et alternativt synspunkt. Dersom f : U V er en avbildning kan vi danne to nye avbildninger, f og f, som følger: f { P(U) P(V ), A f (A) = {f(x) : x A}. f { P(V ) P(U), B f (B) = {x U : f(x) B}. (35) (36) 4.4 Kanoniske bijeksjoner Mange avbildninger er så naturlige at de kalles kanoniske. Vi har allerede møtt evaluasjon og komposisjon. Her er noen fler eksempler: En kanonisk bijeksjon: C A B (C { B ) A, A C f B,. x f(x, ). (37) Følgende kanoniske bijeksjon viser at to avbildninger med samme domene kan ses på som én avbildning inn i et produktrom: B A C A { (B C) A, A B C, (38) (f, g). x (f(x), g(x)). 6

7 Følgende kanoniske bijeksjon forklarer hvorfor P(A) omtales som potensmengden til A: { P(A) {0, 1} A, (39) B χ B. Delt forskrift kan tolkes utifra følgende: Proposisjon Vi betrakter avbildningen: Ξ { C A B C A C B, f (f A, f B ). (40) Da har vi: Ξ injektiv. Bildet til Ξ består av de parene (g, h) C A C B som tilfredsstiller g A B = h A B. Dersom A B = er Ξ en bijeksjon. 7

8 Oppgave 4.1. La f : A B være en avbildning. Vis at da er f injektiv hvis og bare hvis følgende holder: for hver mengde C og for hver g, h : C A hvis f g = f h så g = h. La f : A B være en avbildning. Vis at da er f surjektiv hvis og bare hvis følgende holder: for hver mengde C og for hver g, h : B C hvis g f = h f så g = h. Oppgave 4.2. Dersom A er en mengde har vi: (id A ) = id P(A), (41) (id A ) = id P(A). (42) Dersom f : A B og g : B C er avbildinger har vi: (g f) = g f, (43) (g f) = f g. (44) Dersom f : A B er en bijeksjon er f og f bijeksjoner og : Vi har også: (f ) 1 = f, (45) (f ) 1 = f. (46) (47) (f 1 ) = f, (48) (f 1 ) = f. (49) 8

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.

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. Notat 3 for MAT1140 3 Mengder 3.1 Mengder definert ved en egenskap Det matematiske begrepet mengde har sin opprinnelse i vår intuisjon om samlinger. Objekter kan samles sammen til et nytt objekt kalt mengde.

Detaljer

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

Notat 05 for MAT Relasjoner, operasjoner, ringer. 5.1 Relasjoner Notat 05 for MAT1140 5 Relasjoner, operasjoner, ringer 5.1 Relasjoner Når R er en relasjon som er veldefinert på A B, slik at R(x, y) er en påstand når x A og B B, tenker vi på relasjonen som noe som lever

Detaljer

Preludium til et kurs i Reell Analyse våren 2017

Preludium til et kurs i Reell Analyse våren 2017 Preludium til et kurs i Reell Analyse våren 2017 Snorre H. Christiansen 8. februar 2017 1 0 Innledningsvis 0.1 Om kurset Dette kurset er både tilbake- og fremover-skuende. Tilbakeskuende i den forstand

Detaljer

Injektive og surjektive funksjoner

Injektive og surjektive funksjoner Injektive og surjektive funksjoner Christian F. Heide 5. september 07 Dette notatet forklarer begrepene injektive og surjektive funksjoner, og er tenkt brukt som et supplement til avsnitt.5 i boken «Mathem»

Detaljer

Repetisjonsforelesning - INF1080

Repetisjonsforelesning - INF1080 Repetisjonsforelesning - INF1080 Mengder, relasjoner og funksjoner 18. november 2015 1 Grunnleggende mengdelære 1.1 Elementært om mengder 1.1.1 Hva er en mengde? Definisjon 1.1 (Mengde). En mengde er en

Detaljer

Analysedrypp I: Bevis, mengder og funksjoner

Analysedrypp I: Bevis, mengder og funksjoner Analysedrypp I: Bevis, mengder og funksjoner Hensikten med Analysedrypp er å bygge en bro mellom MAT1100 og MAT1110 på den ene siden og MAT2400 på den andre. Egentlig burde det være unødvendig med en slik

Detaljer

Zorns lemma og utvalgsaksiomet

Zorns lemma og utvalgsaksiomet MAT1140, H-16 Zorns lemma og utvalgsaksiomet I dette notatet skal vi se på Zorns lemma, som er et kraftig redskap for å bevise eksistensen av matematiske objekter. Beviset for Zorns lemma bygger på det

Detaljer

INVERST FUNKSJONSTEOREM MAT1100 KALKULUS

INVERST FUNKSJONSTEOREM MAT1100 KALKULUS INVERST FUNKSJONSTEOREM MAT1100 KALKULUS Simon Foldvik 29. Oktober 2017 1. Introduksjon Vi skal i dette dokumentet bevise en global og en lokal versjon av inverst unksjonsteorem i én variabel. Kort oppsummert

Detaljer

TMA 4140 Diskret Matematikk, 4. forelesning

TMA 4140 Diskret Matematikk, 4. forelesning TMA 4140 Diskret Matematikk, 4. forelesning Haaken Annfelt Moe Department of Mathematical Sciences Norwegian University of Science and Technology (NTNU) September 9, 2011 Haaken Annfelt Moe (NTNU) TMA

Detaljer

Grublegruppe 19. sept. 2011: Algebra I

Grublegruppe 19. sept. 2011: Algebra I Grublegruppe 19. sept. 2011: Algebra I Ivar Staurseth ivarsta@math.uio.no Innledning, definisjoner Vi har så langt jobbet med mengder, X, hvor vi har hatt et avstandsbegrep og hvor vi har vært i stand

Detaljer

MAT1140: Partielle ordninger, Zorns lemma og utvalgsaksiomet

MAT1140: Partielle ordninger, Zorns lemma og utvalgsaksiomet MAT1140: Partielle ordninger, Zorns lemma og utvalgsaksiomet I dette notatet skal vi se på Zorns lemma, som er et kraftig redskap for å bevise eksistensen av matematiske objekter. Beviset for Zorns lemma

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 26. november 2010 Tid for eksamen: 13:00 17:00 Oppgave 1 La A = { }. Mengdelære

Detaljer

Partielle ordninger, Zorns lemma og utvalgsaksiomet

Partielle ordninger, Zorns lemma og utvalgsaksiomet MAT1140, H-15 Partielle ordninger, Zorns lemma og utvalgsaksiomet I dette notatet skal vi se på Zorns lemma, som er et kraftig redskap for å bevise eksistensen av matematiske objekter. Beviset for Zorns

Detaljer

MAT1030 Forelesning 14

MAT1030 Forelesning 14 MAT1030 Forelesning 14 Mer om funksjoner Roger Antonsen - 10. mars 2009 (Sist oppdatert: 2009-03-10 11:34) Kapittel 6: Funksjoner Surjektive funksjoner Den neste gruppen av funksjoner vi skal se på er

Detaljer

Kapittel 6: Funksjoner

Kapittel 6: Funksjoner MAT1030 Diskret Matematikk Forelesning 14: Mer om funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 6: Funksjoner 10. mars 2009 (Sist oppdatert: 2009-03-10 11:34) MAT1030

Detaljer

Tillegg til kapittel 11: Mer om relasjoner

Tillegg til kapittel 11: Mer om relasjoner MAT1140, H-16 Tillegg til kapittel 11: Mer om relasjoner I læreboken blir ekvivalensrelasjoner trukket frem som en viktig relasjonstype. I dette tillegget skal vi se på en annen type relasjoner som dukker

Detaljer

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

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}. Forelesning 0: Mengdelære, Induksjon Martin Giese - 23. januar 2008 1 Mengdelære 1.1 Mengder Mengder Definisjon 1.1. En mengde er en endelig eller uendelig samling objekter der innbyrdes rekkefølge og

Detaljer

Utvalgsaksiomet, velordningsprinsippet og Zorns lemma

Utvalgsaksiomet, velordningsprinsippet og Zorns lemma Utvalgsaksiomet, velordningsprinsippet og Zorns lemma Dag Normann Universitetet i Oslo Matematisk Institutt Boks 1053 - Blindern 0316 Oslo 13. mars 2007 I dette notatet skal vi gi et bevis for ekvivalensen

Detaljer

Løsningsforslag oblig. innlevering 1

Løsningsforslag oblig. innlevering 1 Løsningsforslag oblig. innlevering 1 IN1150 Logiske metoder Høsten 2017 Oppgave 1 - Mengdelære (10 poeng) a) Ut fra opplysningene under, angi hvilke mengder A og B er. A B = {1, 2, 3, 4, 5, 6} A B = {2,

Detaljer

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

Oppgave: Avgjør om følgende to mengder er like: 1) (A B) C 2) A (B C) Mengder, fortsettelse. Tre mengder Venndiagram for tre mengder A, B og C må tegnes slik at alle muligheter blir dekket. For å få dette til må de overlappe hverandre: Oppgave: Avgjør om følgende to mengder

Detaljer

LO118D Forelesning 3 (DM)

LO118D Forelesning 3 (DM) LO118D Forelesning 3 (DM) Mengder og funksjoner 27.08.2007 1 Mengder 2 Funksjoner Symboler x y Logisk AND, både x og y må være sanne x y Logisk OR, x eller y må være sann x Negasjon, ikke x x For alle

Detaljer

INF3170 Forelesning 1

INF3170 Forelesning 1 INF3170 Forelesning 1 Introduksjon og mengdelære Roger Antonsen - 26. januar 2010 (Sist oppdatert: 2010-01-26 14:58) Dagens plan Innhold Velkommen til INF3710 Logikk 1 Litt praktisk informasjon...................................

Detaljer

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

Dagens plan. INF3170 Logikk. Mengder. Definisjon. Notasjon. Forelesning 0: Mengdelære, Induksjon. Martin Giese. 23. januar 2008. INF3170 Logikk Dagens plan Forelesning 0:, Induksjon Martin Giese 1 Institutt for informatikk, Universitetet i Oslo 2 23. januar 2008 Institutt for informatikk (UiO) INF3170 Logikk 23.01.2008 2 / 47 1

Detaljer

MAT 1110: Bruk av redusert trappeform

MAT 1110: Bruk av redusert trappeform Tom Lindstrøm 10/5, 2006: MAT 1110: Bruk av redusert trappeform I Lays bok brukes den reduserte trappeformen til matriser til å løse en rekke problemer knyttet til ligningssystemer, lineærkombinasjoner,

Detaljer

Eksamen MAT H Løsninger

Eksamen MAT H Løsninger Eksamen MAT1140 - H2014 - Løsninger Oppgave 1 Vi setter opp en vanlig sannhetsverditabell. La Φ betegne formelen i oppgaven. Tabellen vil bli som følger: A B C A B A C Φ T T T T T T T T F T T T T F T F

Detaljer

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

Mer om mengder: Tillegg til Kapittel 1. 1 Regneregler for Booleske operasjoner MAT1140, H-16 Mer om mengder: Tillegg til Kapittel 1 Vi trenger å vite litt mer om mengder enn det som omtales i første kapittel av læreboken. I dette tillegget skal vi først se på regneregler for Booleske

Detaljer

12 Lineære transformasjoner

12 Lineære transformasjoner 2 Lineære transformasjoner 2 Funksjoner Definisjon 2 En funksjon ( a function) f : A B er en regel, som tilordner en entydig bestemt verdi f (a) B til ethvert element a A Mengden A kalles domenet til f

Detaljer

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

Obligatorisk oppgave 1 i MAT1140, Høst Løsninger med kommentarer Obligatorisk oppgave 1 i MAT1140, Høst 2014. Oppgave 1 er med kommentarer En funksjon f : R R er en polynomfunksjon hvis f kan defineres som f(x) = a 0 + a 1 x + + a n x n hvor n 0 og a 0,..., a n er reelle

Detaljer

(ii) g = (f B)^{-1} \: V \to B \subset R^m er deriverbar med Dg(f(u)) = (Df(u))^{-1} \: R^m \to R^m for alle u i B.

(ii) g = (f B)^{-1} \: V \to B \subset R^m er deriverbar med Dg(f(u)) = (Df(u))^{-1} \: R^m \to R^m for alle u i B. MAT1300 Analyse I 5. mai 2009 13.3. Det inverse funksjonsteoremet Vi vil bruke kontraksjonsprinsippet for å bevise følgende teorem: Teorem 13.13 (Det inverse funksjonsteoremet): La U \subset R^m være åpen,

Detaljer

Mengder, relasjoner og funksjoner

Mengder, relasjoner og funksjoner MAT1030 Diskret Matematikk Forelesning 15: og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo Mengder, relasjoner og funksjoner 9. mars 2010 (Sist oppdatert: 2010-03-09 14:18) MAT1030

Detaljer

Prøveeksamen 2016 (med løsningsforslag)

Prøveeksamen 2016 (med løsningsforslag) Prøveeksamen 2016 (med løsningsforslag 1 Grunnleggende mengdelære La A = {0, {0}} og B = {0, {0}, {0, {0}}}. Er følgende påstander sanne eller usanne? 1 {{0}} A 2 0 B 3 A B 4 A B 1 Usann 2 Usann 3 Sann

Detaljer

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: Funksjoner La A og B være to mengder. En funksjon f fra A til B betegnes med f: A -> B og er en tilordning (regel) som til ethvert element a A tilordner ett og bare ett element b B. Elementet b kalles

Detaljer

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

Forelesning 1: Introduksjon og mengdelære Christian Mahesh Hansen januar Praktisk informasjon. 1.1 Forelesere og tid/sted Forelesning 1: Introduksjon og mengdelære Christian Mahesh Hansen - 22. januar 2007 1 Praktisk informasjon 1.1 Forelesere og tid/sted Foreleser: Christian Mahesh Hansen (chrisha@ifi.uio.no) Kontor 2403,

Detaljer

MAT1030 Forelesning 14

MAT1030 Forelesning 14 MAT1030 Forelesning 14 Mer om funksjoner Dag Normann - 3. mars 2010 (Sist oppdatert: 2010-03-03 15:01) Kapittel 6: Funksjoner Injektive funksjoner Igår begynte vi på kapitlet om funksjoner f : X Y, og

Detaljer

Kapittel 6: Funksjoner

Kapittel 6: Funksjoner MAT1030 Diskret Matematikk Forelesning 14: Mer om funksjoner Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 6: Funksjoner 3. mars 2010 (Sist oppdatert: 2010-03-03 15:00) MAT1030 Diskret

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Dag Normann Matematisk Institutt, Universitetet i Oslo 17. februar 2010 (Sist oppdatert: 2010-02-17 12:40) Kapittel 5: Mengdelære MAT1030 Diskret Matematikk

Detaljer

Dagens plan. INF3170 Logikk

Dagens plan. INF3170 Logikk INF3170 Logikk Dagens plan Forelesning 1: Introduksjon og mengdelære Christian Mahesh Hansen Institutt for informatikk, Universitetet i Oslo 1 Praktisk informasjon 2 Hva skal vi lære? 22. januar 2007 3

Detaljer

Oppgaver MAT2500 høst 2011

Oppgaver MAT2500 høst 2011 Oppgaver MAT2500 høst 2011 31. oktober 2011 Oppgaver avsnitt 1 Oppgave 1. Bruk cosinussetningen til å se at definisjonen av vinkel i planet blir riktig. Oppgave 2. Vis at d(x, y) = 0 hvis og bare hvis

Detaljer

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 10. desember 2013 Tid for eksamen: 09.00 13.00 Oppgave 1 Mengdelære (10 poeng)

Detaljer

LO118D Forelesning 5 (DM)

LO118D Forelesning 5 (DM) LO118D Forelesning 5 (DM) Relasjoner 03.09.2007 1 Relasjoner 2 Ekvivalensrelasjoner 3 Matriser av relasjoner 4 Relasjonsdatabaser Relasjon Relasjoner er en generalisering av funksjoner En relasjon er en

Detaljer

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

Forelesning 13. Funksjoner. Dag Normann februar Opphenting. Opphenting. Opphenting. Opphenting Forelesning 13 Dag Normann - 25. februar 2008 Forrige forelesning fortsatte vi innføringen av ekvivalensrelasjoner. Vi definerte hva vi mener med partielle ordninger og med totale ordninger. Deretter snakket

Detaljer

TOPOLOGI. Dan Laksov

TOPOLOGI. Dan Laksov Forum för matematiklärare TOPOLOGI Dan Laksov Institutionen för Matematik, 2009 Finansierat av Marianne och Marcus Wallenbergs Stiftelse Topologi Dan Laksov Notater for Forum för Matematiklärare. Høst

Detaljer

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

LØSNINGSFORSLAG UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet. Oppgave 1 Mengdelære (10 poeng) UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag: 9. desember 2010 Tid for eksamen: 09:00 13:00 INF1080 Logiske metoder for informatikk Oppgave 1 Mengdelære (10 poeng)

Detaljer

Matematikk for IT, høsten 2016

Matematikk for IT, høsten 2016 Matematikk or IT, høsten 016 Oblig 4 Løsningsorslag 30. setember 016.4.11 a) ( 1, 3, 5, 7, ) Her vil relasjonsmengden være slik: {(1, 1), (3, 1), (3, 3), (5, 1), (5, 3), (5, 5), (7, 1), (7, 3), (7, 5),

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Forelesning 13: Funksjoner Dag Normann Matematisk Institutt, Universitetet i Oslo 25. februar 2008 Opphenting Forrige forelesning fortsatte vi innføringen av ekvivalensrelasjoner.

Detaljer

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: Funksjoner La A og B være to mengder. En funksjon f fra A til B betegnes med f: A -> B og er en tilordning (regel) som til ethvert element a A tilordner ett og bare ett element b B. Elementet b kalles

Detaljer

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] INF1080 Logiske metoder for informatikk Digital eksamen (med løsningsforslag) Dette er et utkast til løsningsforslag til eksamen i INF1080, og feil kan forekomme. Hvis du finner noen feil, si ifra til

Detaljer

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] INF1080 Logiske metoder for informatikk Digital eksamen Tid: Onsdag 7. desember 2016 kl. 14.30 18.30 (4 timer) Tillatte hjelpemidler: Ingen Eksamen består av to deler som er verdt omtrent like mye. Den

Detaljer

MAT1030 Plenumsregning 10

MAT1030 Plenumsregning 10 MAT1030 Plenumsregning 10 Ukeoppgaver Mathias Barra - 20. mars 2009 (Sist oppdatert: 2009-03-30 09:38) Oppgave 6.1 Avgjør hvorvidt følgende funksjoner er veldefinerte. For de som er veldefinerte, gi definisjonsområdet,

Detaljer

MAT1030 Forelesning 13

MAT1030 Forelesning 13 MAT1030 Forelesning 13 Funksjoner Roger Antonsen - 4. mars 2009 (Sist oppdatert: 2009-03-06 18:57) Kapittel 6: Funksjoner Opphenting Forrige forelesning snakket vi veldig grundig om relasjoner Vi snakket

Detaljer

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

MAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile MAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile 1 Introduksjon: Grupper og ringer Ringer En ring er et sted hvor du kan addere, subtrahere og multiplisere. Hvis du også kan dividere kalles ringen for

Detaljer

Forelesning januar 2006 Induktive denisjoner og utsagnslogikk

Forelesning januar 2006 Induktive denisjoner og utsagnslogikk Forelesning 2-30. januar 2006 Induktive denisjoner og utsagnslogikk 1 Praktisk informasjon INF5170 { Logikkseminar Tirsdager 14:15-16:00 pa Buerommet (3. etg, I). Flg med pa forskning og aktuelle temaer

Detaljer

Litt topologi. Harald Hanche-Olsen

Litt topologi. Harald Hanche-Olsen MA2104 2006 Litt topologi Harald Hanche-Olsen hanche@math.ntnu.no De reelle tall En grunnleggende egenskap ved de reelle tall, som skiller dem fra de rasjonale tall, er kompletthetsaksiomet. Det har flere

Detaljer

MAT1030 Forelesning 13

MAT1030 Forelesning 13 MAT1030 Forelesning 13 Funksjoner Dag Normann - 2. mars 2010 (Sist oppdatert: 2010-03-02 14:15) Kapittel 6: Funksjoner Forrige uke Forrige forelesning snakket vi om relasjoner. Vi snakket om ekvivalensrelasjoner

Detaljer

Kapittel 6: Funksjoner

Kapittel 6: Funksjoner MAT1030 Diskret Matematikk Forelesning 13: Funksjoner Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 6: Funksjoner 2. mars 2010 (Sist oppdatert: 2010-03-02 14:14) MAT1030 Diskret Matematikk

Detaljer

4.1 Vektorrom og underrom

4.1 Vektorrom og underrom 4.1 Vektorrom og underrom Vektorrom er en abstraksjon av R n. De kan brukes til å utlede egenskaper, resultater og metoder for tilsynelatende svært ulike klasser av objekter : n-tupler, følger, funksjoner,

Detaljer

INF3170 / INF4171. Predikatlogikk: Skolemfunksjoner; Andreordens logikk. Andreas Nakkerud. 10. september 2015

INF3170 / INF4171. Predikatlogikk: Skolemfunksjoner; Andreordens logikk. Andreas Nakkerud. 10. september 2015 INF3170 / INF4171 Predikatlogikk: Skolemfunksjoner; Andreas Nakkerud 10. september 2015 Henkin-vitner Theorem La T være en teori med språk L, slik at T xφ(x), hvor FV (φ) = {x}. La c være en konstant som

Detaljer

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.

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. Forelesning 12 Relasjoner, Dag Normann - 20. februar 2008 Oppsummering 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

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 27. desember 2015 Tid for eksamen: 08.15 12:15 Oppgave 1 Grunnleggende mengdelære

Detaljer

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

Oppsummering. MAT1030 Diskret matematikk. Ekvivalensrelasjoner. Oppsummering. Definisjon. Merk Oppsummering MAT1030 Diskret matematikk Forelesning 12: Relasjoner, Dag Normann Matematisk Institutt, Universitetet i Oslo 20. februar 2008 En relasjon på en mengde A er en delmengde R A A = A 2. Vi har

Detaljer

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

Matematikk for IT. Prøve 1. Torsdag 17. september 2015. Løsningsforslag. 22. september 2015 Matematikk for IT Prøve 1 Torsdag 17. september 2015 Løsningsforslag 22. september 2015 Oppgave 1 Gitt følgende mengder A = {0, 1, 2, 3, 4}, B = {0, 1, 2} og C = {0, 3, 6, 9} Universet er U = {0, 1, 2,

Detaljer

1 Mandag 8. februar 2010

1 Mandag 8. februar 2010 1 Mandag 8. februar 2010 Vi er ferdig med en-variabel-teorien, og vi kan begynne å jobbe med funksjoner i flere variable. Det første vi skal gjøre er å gå gjennom de vanlige analysene vi gjør for funksjoner

Detaljer

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

Matematikk for IT. Prøve 1 Løsningsforslag. Fredag 23. september september Oppgave 1 Matematikk for IT Prøve 1 Løsningsforslag Fredag 23. september 2016 23. september 2016 Oppgave 1 Er 29 17 (mod 4)? Begrunn svaret. Dette kan vi lettest sjekke ved å se om 4 deler 29 17. 29 17 = 12. Vi

Detaljer

MAT1030 Forelesning 10

MAT1030 Forelesning 10 MAT1030 Forelesning 10 Mengdelære Roger Antonsen - 24. februar 2009 (Sist oppdatert: 2009-02-25 08:27) Kapittel 5: Mengdelære Oversikt Vi har nå innført de Boolske operasjonene, union snitt komplement

Detaljer

4.1 Vektorrom og underrom

4.1 Vektorrom og underrom 4.1 Vektorrom og underrom Vektorrom er en abstraksjon av R n. De kan brukes til å utlede egenskaper, resultater og metoder for tilsynelatende svært ulike klasser av objekter : n-tupler, følger, funksjoner,

Detaljer

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag Institutt for matematiske fag Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag Faglig kontakt under eksamen: Martin Strand Tlf: 970 7 848 Eksamensdato: 3. mai 014 Eksamenstid (fra

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Roger Antonsen Institutt for informatikk, Universitetet i Oslo 24. februar 2009 (Sist oppdatert: 2009-02-25 08:27) Kapittel 5: Mengdelære MAT1030 Diskret

Detaljer

Kapittel 5: Mengdelære

Kapittel 5: Mengdelære MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 5: Mengdelære 24. februar 2009 (Sist oppdatert: 2009-02-25 08:27) MAT1030 Diskret

Detaljer

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

Litt mer mengdelære. INF3170 Logikk. Multimengder. Definisjon (Multimengde) Eksempel INF3170 Logikk Forelesning 2: Mengdelære, induktive definisjoner og utsagnslogikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Litt mer mengdelære 2. februar 2010 (Sist oppdatert: 2010-02-02

Detaljer

INF3170 Forelesning 2

INF3170 Forelesning 2 INF3170 Forelesning 2 Mengdelære, induktive definisjoner og utsagnslogikk Roger Antonsen - 2. februar 2010 (Sist oppdatert: 2010-02-02 14:26) Dagens plan Innhold Litt mer mengdelære 1 Multimengder.........................................

Detaljer

TMA4100 Matematikk 1, høst 2013

TMA4100 Matematikk 1, høst 2013 TMA4100 Matematikk 1, høst 2013 Forelesning 11 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Forelesning 11 Transcendentale funksjoner Vi begynner nå på temaet transcendentale funksjoner. I dagens forelesning

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag: 9. desember 2015 Tid for eksamen: 09.00 13.00 (Fortsettes på side 2.) INF1080 Logiske metoder for informatikk Oppgave

Detaljer

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag Institutt for matematiske fag Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag Faglig kontakt under eksamen: Martin Strand Tlf: 970 27 848 Eksamensdato:. august 2014 Eksamenstid (fra

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 21: Mer kombinatorikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo 15. april 2009 (Sist oppdatert: 2009-04-15 00:05) Kapittel 9: Mer kombinatorikk

Detaljer

MAT1120 Repetisjon Kap. 1

MAT1120 Repetisjon Kap. 1 MAT1120 Repetisjon Kap. 1 Kap. 1, avsn. 2.1-2.3 og kap. 3 i Lays bok er for det meste kjent fra MAT1100 og MAT1110. Idag skal vi repetere fra kap. 1 i Lays bok. Det handler bl.a. om : Matriser Vektorer

Detaljer

ANALYSEDRYPP. Et forkurs til MAT2400. av Tom Lindstrøm. Matematisk insitutt og CMA Universitetet i Oslo 2011

ANALYSEDRYPP. Et forkurs til MAT2400. av Tom Lindstrøm. Matematisk insitutt og CMA Universitetet i Oslo 2011 1 ANALYSEDRYPP Et forkurs til MAT2400 av Tom Lindstrøm Matematisk insitutt og CMA Universitetet i Oslo 2011 2 Forord Hensikten med dette heftet er å bygge en bro mellom kalkuluskursene og det første kurset

Detaljer

Kapittel 6: Funksjoner

Kapittel 6: Funksjoner MAT1030 Diskret Matematikk Forelesning 13: Funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 6: Funksjoner 4. mars 2009 (Sist oppdatert: 2009-03-06 18:57) MAT1030 Diskret

Detaljer

Om forholdet mellom produkt og barysentrisk oppdeling av simplisialkomplekser

Om forholdet mellom produkt og barysentrisk oppdeling av simplisialkomplekser Om forholdet mellom produkt og barysentrisk oppdeling av simplisialkomplekser Vegard Fjellbo Matematisk institutt Universitetet i Oslo rvfjellb[at]student.matnat.uio.no 28. mai 2009 En prosjektoppgave

Detaljer

MAT1140: Kort sammendrag av grafteorien

MAT1140: Kort sammendrag av grafteorien MAT1140: Kort sammendrag av grafteorien Dette notatet gir en kort oversikt over den delen av grafteorien som er gjennomgått i MAT1140 høsten 2013. Vekten er på den logiske oppbygningen, og jeg har utelatt

Detaljer

TMA 4140 Diskret Matematikk, 3. forelesning

TMA 4140 Diskret Matematikk, 3. forelesning TMA 4140 Diskret Matematikk, 3. forelesning Haaken Annfelt Moe Department of Mathematical Sciences Norwegian University of Science and Technology (NTNU) September 5, 2011 Haaken Annfelt Moe (NTNU) TMA

Detaljer

MAT feb feb feb MAT Våren 2010

MAT feb feb feb MAT Våren 2010 MAT 1012 Våren 2010 Forelesning Vi er ferdig med en-variabel-teorien, og vi kan begynne å jobbe med funksjoner i flere variable. Det første vi skal gjøre er å gå gjennom de vanlige analysene vi gjør for

Detaljer

MAT1140: Kort sammendrag av grafteorien

MAT1140: Kort sammendrag av grafteorien MAT1140, H-15 MAT1140: Kort sammendrag av grafteorien Dette notatet gir en kort oppsummering av grafteorien i MAT1140. Vekten er på den logiske oppbygningen, og jeg har utelatt all motivasjon og (nesten)

Detaljer

En følge i en lukket delmengde av R^m kan altså ikke konvergere mot en vektor utenfor den lukkede delmengden.

En følge i en lukket delmengde av R^m kan altså ikke konvergere mot en vektor utenfor den lukkede delmengden. MAT1300 Analyse I 2. februar 2009 For analyse i R spiller delmengder E \subset R på formen E = (a,b) og E= [a,b] ofte en spesiell rolle. Dette er de åpne og de lukkede intervallene. For analyse i R^m er

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Plenumsregning 10: Ukeoppgaver Mathias Barra Matematisk institutt, Universitetet i Oslo 20. mars 2009 (Sist oppdatert: 2009-03-30 09:38) Oppgave 6.1 Avgjør hvorvidt følgende

Detaljer

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

Før vi begynner. Kapittel 5: Relasjoner og funksjoner. MAT1030 Diskret Matematikk. Litt om obligen og studentengasjementet MAT1030 Diskret Matematikk Forelesning 12: Relasjoner og litt funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Før vi begynner 3. mars 2009 (Sist oppdatert: 2009-03-04 01:00) MAT1030

Detaljer

LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1

LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1 LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1 p q p p q p q T T F T T Sannhetstabell: T F F F F F T T T T F F T T T Siden proposisjonene p q og p q har samme sannhetsverdier (for alle sannhetsverdier

Detaljer

Notater fra forelesning i MAT1100 torsdag 27.08.09

Notater fra forelesning i MAT1100 torsdag 27.08.09 Notater fra forelesning i MAT1100 torsdag 27.08.09 Amandip Sangha, amandips@math.uio.no 28. august 2009 Definisjon 1.1. En delmengde A R kalles oppad begrenset dersom det finnes et tall b R slik at b x

Detaljer

Bjørn Jahren. 1. DIFFERENSIABILITET I R m

Bjørn Jahren. 1. DIFFERENSIABILITET I R m (NOTER TIL MA 352, VÅREN 1992) Bjørn Jahren 1. DIFFERENSIABILITET I R m La f : E R n være en kontinuerlig avbildning, der E R m er en åpen delmengde. Vi sier at f er differensiabel i et punkt x E dersom

Detaljer

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

Repetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon Repetisjon og mer motivasjon MAT030 Diskret matematikk Forelesning 22: Grafteori Roger Antonsen Matematisk Institutt, Universitetet i Oslo 4. april 2008 Først litt repetisjon En graf består av noder og

Detaljer

= 3 11 = = 6 4 = 1.

= 3 11 = = 6 4 = 1. MAT3000/4000 Eksamen V3 Løsningsforslag Oppgave [0 poeng] Sjekk at 3 er en kvadratisk rest i Z/(3) og finn løsningene av likningen x = 3 i Z/(3) (uten å lage en tabell for x ) Du får lov til å bruke at

Detaljer

Forelesning 14. Rekursjon og induksjon. Dag Normann februar Oppsummering. Oppsummering. Beregnbare funksjoner

Forelesning 14. Rekursjon og induksjon. Dag Normann februar Oppsummering. Oppsummering. Beregnbare funksjoner Forelesning 14 og induksjon Dag Normann - 27. februar 2008 Oppsummering Mandag repeterte vi en del om relasjoner, da spesielt om ekvivalensrelasjoner og partielle ordninger. Vi snakket videre om funksjoner.

Detaljer

KONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG

KONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 6 KONTINUASJONSEKSAMEN I TMA440 LØSNINGSFORSLAG Oppgave Sannhetsverditabell for det logiske utsagnet ( (p q) ) ( q r

Detaljer

Repetisjon av MA og 3. april Repetisjon av MA0301

Repetisjon av MA og 3. april Repetisjon av MA0301 Repetisjon av MA0301 1. og 3. april 2014 1 Repetisjon av MA0301 (Denne presentasjonen er tilstrekkelig forberedelse til eksamen.) Aprilsnarr. Hvordan bruke disse timene: Ikke bruk for mye tid på å notere:

Detaljer

4.1 Vektorrom og underrom

4.1 Vektorrom og underrom 4.1 Vektorrom og underrom Vektorrom er en abstraksjon av R n. Kan brukes til å utlede egenskaper, resultater og metoder for tilsynelatende svært ulike klasser av objekter : n-tupler, følger, funksjoner,

Detaljer

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

Forelesning 10. Mengdelære. Dag Normann februar Venn-diagrammer. Venn-diagrammer. Venn-diagrammer. Venn-diagrammer Forelesning 10 Mengdelære Dag Normann - 13. februar 2008 Venn-diagrammer Mandag innførte vi de Booleske operasjonene Union Snitt Komplement A Mengdedifferens A B samt de faste mengdene og E. Venn-diagrammer

Detaljer

Repetisjon. MAT1030 Diskret Matematikk. Oppsummering. Oppsummering. Forelesning 15: Rekursjon og induksjon. Roger Antonsen

Repetisjon. MAT1030 Diskret Matematikk. Oppsummering. Oppsummering. Forelesning 15: Rekursjon og induksjon. Roger Antonsen MAT1030 Diskret Matematikk Forelesning 15: og induksjon Roger Antonsen Institutt for informatikk, Universitetet i Oslo Repetisjon 11. mars 2009 (Sist oppdatert: 2009-03-10 20:38) MAT1030 Diskret Matematikk

Detaljer

Ringen av Endelige Mengder

Ringen av Endelige Mengder Ringen av Endelige Mengder John Rognes 29. oktober 2010 Dette foredraget handler om hvorfor man i mange tusen år har regnet med hele tall i stedet for med endelige mengder, og om hvordan det kanskje kan

Detaljer

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

Venn-diagrammer. MAT1030 Diskret matematikk. Venn-diagrammer. Venn-diagrammer. Eksempel. Forelesning 10: Mengdelære Venn-diagrammer MAT1030 Diskret matematikk Forelesning 10: Mengdelære Dag Normann Matematisk Institutt, Universitetet i Oslo 13. februar 2008 Mandag innførte vi de Booleske operasjonene Union Snitt Komplement

Detaljer

4-torsjonspunkter på elliptiske romkurver

4-torsjonspunkter på elliptiske romkurver 4-torsjonspunkter på elliptiske romkurver Astri Strand Lindbæck Masteroppgave, våren 2015 Innledning I denne oppgaven ønsker vi å undersøke punkter på kurver der det tangerende hyperplanet snitter kurven

Detaljer

Geometri på ikke-kommutative algebraer

Geometri på ikke-kommutative algebraer Geometri på ikke-kommutative algebraer Ski og matematikk 2011 Rondablikk Arne B. Sletsjøe Universitetet i Oslo January 4, 2012 Algebraiske varieteter k = k (f.eks. C), S = k[x 1,..., x n ] Affint algebraisk

Detaljer