7 Ordnede ringer, hele tall, induksjon
|
|
- Peter Petersen
- 5 år siden
- Visninger:
Transkript
1 Notat 07 for MAT Ordnede ringer, hele tall, induksjon Definition 7.1. La R være utstyrt med addisjon og multiplikasjon slik at vi har å gjøre med en kommutativ ring. Anta videre at R er utstyrt med en orden. Vi sier at ordenen er kompatibel med addisjon og multiplikasjon når følgende holder: x, y, z x y = x + z y + z, (1) x, y (0 x 0 y) = 0 xy. (2) En ordnet ring er en ring utstyrt med en orden som er kompatibel med addisjon og multiplikasjon. En totalt ordnet ring er ordnet ring der ordenen er total, mens en partielt ordnet ring er en ordnet ring der ordenen er partiell. (Når man bare snakker om en ordnet ring, er det som regel en totalt ordnet ring man sikter til, med mindre man presiserer at det er en partielt ordnet ring). Proposisjon 7.1. I en totalt ordnet ring har vi: Vi har x 0 x 0. For alle x, xx Hvis x y og z 0, så zx zy. Hvis x er invertibel har vi x > 0 hvis og bare hvis x 1 > 0. Hvis x 0, y 0 og x + y = 0, har vi x = y = 0. Igjen kan vi presisere hva vi har i tankene, gjennom eksempler vi skal komme tilbake til: Eksempel 7.1. Z er en totalt ordnet ring. Q er en totalt ordnet kropp. R er en totalt ordnet kropp. Bemerkning 7.1. Man kan vise at det ikke finnes noen total orden som er kompatibel med ringstrukturen på B (den binære kroppen). Det samme gjelder for C (de komplekse tallene). 1
2 7.1 De hele og de naturlige tallene De hele tallene utgjør en ikke-triviell ordnet ring Z slik at vi kan gjøre induksjonsbevis for å etablere egenskaper ved de positive hele tallene, også kalt de naturlige tallene. De naturlige tallene utgjør altså en mengde N definert som: og vi har følgende prinsipp: N = {x Z : x 0}, (3) Aksiom 7.1 (Induksjon). La P være en egenskap definert på N (med andre ord har vi et utsagn P (n) for hver n N). Dersom vi har: P (0) er sant, n N P (n) = P (n + 1), kan vi konkludere at, for hver n N har vi P (n). Bemerkning 7.2. La m Z og definer I m = {n Z : n m}. Anta at P (n) er et utsagn for hver n I m. For å vise at P (n) holder for alle n I m er det nok å vise at : P (m) er sant, n I m P (n) = P (n + 1). Følger definert ved induksjon Definisjon 7.1. La A være en ikke-tom mengde. En følge i A er en avbildning fra N til A. Notasjon: Dersom u : N A er en følge er det vanlig å skrive u n heller enn u(n) for verdien til u i n N, og å betegne følgen som (u n ) n N. Vi foreslår at man også kan skrive følgen u som: (u n : n N). (4) Merk at vi skiller følgen fra dens verdimengde, som er en delmengde av A som skrives: {u n : n N}. (5) Mange følger vil bli definert som følger (!): Teorem 7.2 (Følger definert ved induksjon). For hver mengde A, for hver avbildning f : A A og for hvert element x A finnes det en og bare en følge (u n ) n N i A slik at: u 0 = x, (6) n N u n+1 = f(u n ). (7) 2
3 Eksempel 7.2. La A være utstyrt med en assosiativ operasjon som skrives multiplikativt og med neutralt element 1. Gitt x A er følgen (x n ) n N entydig bestemt av å kreve: x 0 = 1, (8) n N x n+1 = x n x. (9) Proposisjon 7.3. Under forutsetningene i forrige eksempel har vi, for alle m, n N: Hvis x og y kommuterer har vi også, for alle n N: x m+n = x m x n, (10) (x m ) n = x mn. (11) x n y n = (xy) n. (12) Eksempel 7.3. Et spesialtilfelle av forrige eksempel er at dersom U er en mengde og f : U U en avbildning, defineres potensen til f med hensyn på komposisjon ved f 0 = id U og f n+1 = f n f. Vi sier at f n består i å iterere f, n ganger. Men dersom vi ser på avbildninger A R, og vi har valgt en f : A R, kan vi også definere potensen til f med hensyn på funksjonsmultiplikasjon (også kalt punktvis multiplikasjon). Da har vi f 0 = 1 (den konstante avbildningen A R) og f n+1 = f n f. Det kan være gunstig å skille på disse to typene potenser notasjonsmessig. For eksempel, når f : R R er identitetsavbildningen må vi skille mellom den n-te potensen med hensyn på komposisjon, som er identitetsavbildningen, og den n-te potensen med hensyn på multiplikasjon, som er x x n. La P være en egenskap definert for de hele tallene. Vi kan bevise utsagnet ved å bevise de to utsagnene: n Z P (n), (13) n N P (n), (14) n N P ( n). (15) Disse to utsagnene kan bevises ved induksjon. Noen ganger kan det være mer effektivt å gå frem litt annerledes, basert på: Proposisjon 7.4. La P (n) være et utsagn definert for hver n Z. Anta at: Da har vi, for alle n Z, at P (n). P (0), (16) n Z P (n) P (n + 1). (17) 3
4 Når I er en delmengde av Z er det også vanlig å omtale avbildninger I A som følger i A, og bruke tilsvarende notasjon, eksempelvis (u n ) n I. Når f : A A er en bijeksjon, kan man styrke Teorem 7.2 som følger: Teorem 7.5. For hver mengde A, for hver bijeksjon f : A A og for hvert element x A finnes det en og bare en følge (u n ) n Z i A slik at: u 0 = x, (18) n Z u n+1 = f(u n ). (19) Eksempel 7.4. La A være utstyrt med en assosiativ operasjon som skrives multiplikativt og med neutralt element 1. Gitt et invertibelt element x A er følgen (x n ) n Z entydig bestemt av å kreve: x 0 = 1, (20) n Z x n+1 = x n x. (21) Merk at denne definisjonen er konsistent med å notere inversen til x som x 1, slik vi er vant med. Eksempel 7.5. Hvis vi antar i stedet at A er utstyrt med en operasjon som skrives additivt (en slik operasjon vil da være assosiativ, kommutativ, ha 0 som neutralt element og hvert element x vil ha en additiv invers), blir notasjonen litt annerledes: Da leder forrige eksempel til å definere nx for n Z og x i A, slik at: 0x = 0, (22) (n + 1)x = nx + x. (23) Eksempel 7.6. De to forrige eksemplene brukes spesielt når A er en ring. Da defineres både: nx for x A og n Z, ved hjelp av addisjonen, x n for x A og n N, ved hjelp av multiplikasjonen. Når x er invertibel defineres x n for n Z. Proposisjon 7.6. Under forutsetningene i Eksempel 7.4 har vi, for alle m, n Z: x m+n = x m x n, (24) (x m ) n = x mn. (25) Hvis x og y er invertible og kommuterer har vi også, for alle n Z: x n y n = (xy) n. (26) 4
5 Oppgaver Oppgave 7.1. Gi bevis for Bemerkning 7.1. Oppgave 7.2. Vi utstyrer R med sin vanlige orden. La A være en ikke-tom mengde. Vi betrakter funksjonsringen R A. For f, g R A definerer vi: f g ( x A f(x) g(x)) (27) (i) Vis at er kompatibel med addisjon og multiplikasjon på R A. (ii) Vis at denne ordenen ikke er total, når A har mer enn to elementer. Oppgave 7.3. (i) Gi en begrunnelse for Bemerkning 7.2. (ii) Vis at for n N med n 10 har vi: Her står man fritt til å bruke kjente identiteter i R. 2 n n 3. (28) Oppgave 7.4. (i) Gi induksjonsbevis for de tre potensreglene i Proposisjon 7.3 (bare det første ble gjennomgått i forelesningen). (ii) Gi induksjonsbevis for de tre potensreglene i Proposisjon 7.6. Oppgave 7.5. (i) I en ordnet ring R, er den positive konen 1 definert ved: P = {x R : x 0}. (29) Vis at P er stabil under addisjon og multiplikasjon. Vi innfører: P + P = {x + y : x, y P}, (30) P P = {xy : x, y P}, (31) P = { x : x P}. (32) Stabilitetsegenskapene kan da skrives som at P + P P og P P P. Vis at vi også har P P = {0}. (ii) Anta at P er en delmengde av en ring R med egenskapene: P + P P, P P P og P P = {0}. Vis at relasjonen på R definert ved x y y x P gjør R til en ordnet ring. Sjekk at det er den eneste ordensrelasjonen på R som gjør P til den positive konen. Oppgave 7.6. Vi vil vise at enhver ikke-tomme delmengde av N har et minste element. Anta derfor at A er en mengde uten minste element og vis ved induksjon at A er tom. 1 En vanlig notasjon for den positive konen i en ring R er ellers R +. 5
6 Appendix Det ble ikke tid til følgende under forelesningene. Forhåpentligvis blir det tid til dem senere i semesteret, da temaet er regneregler i en ring. Jeg lar det stå her inntil videre. En variant En variant av konstruksjonen av følger ved induksjon er: Proposisjon 7.7. La A være en mengde og f : N A A være en avbildning. For hver x A finnes det en og bare en følge (u n ) n N slik at: Eksempel 7.7. Fakultet er definert ved å kreve: Summetegn u 0 = x, (33) n Z u n+1 = f(n, u n ). (34) 0! = 1, (35) (n + 1)! = n!(n + 1). (36) For reelle tall har vi muligens allerede støtt på bruk av summasjonstegn, slik at: u n = u m + u m+1 + u m u n. (37) Som definisjon av summetegn er denne formelen ikke helt tilfredsstillende, da det ikke er helt klart hva betyr. Vi definerer derfor summasjon ved induksjon: Definisjon 7.2 (summasjonstegn). La A være utstyrt med en addisjon (assossiativ, kommutativ med neutralt element 0). Vi definerer summen til følger (u k ) k [[m,n]], ved induksjon på n (n m). Vi krever at: m u k = u m, (38) n+1 u k = ( u k ) + u n+1 hvis n m. (39) Vi føyer også til følgende definisjon: u k = 0 hvis n < m. (40) 6
7 En fordel med en slik definisjon, sammenliknet med bruk av..., er at den legger til rette for indukjonsbevis, for formler knyttet til summetegn. Eksempel 7.8. Vi bruker notasjon fra Eksempel 7.5 (der forutsetter vi også eksistens av additiv invers). Velg x A. Da har vi, for n m 1: x = (n m + 1)x. (41) Eksempel 7.9. Et mye brukt eksempel er følgende identitet i Z: k = k=0 n(n + 1). (42) 2 (Merk at n(n + 1) er et partall). Denne definisjonen av summetegn tilsvarer et valg av parenteser i (37) som kan skrives: u k = ( ((u m + u m+1 ) + u m+2 ) + ) + u n. (43) Helst skulle vi si at assosiativitet av addisjon medfører at vi kan sette parenteser ganske vilkårlig. Et presist eksempel på det prinsippet er: Proposisjon 7.8. For m l < n har vi: u k = l u k + k=l+1 Andre mye brukte regneregler for summetegn er: Proposisjon 7.9. Vi har: og: u k = (u k + v k ) = ( x n l l u k ) + ( u k = u k. (44) u k+l, (45) v k ), (46) xu k. (47) Proposisjon La x og y være kommuterende elementer i en ring. Da har vi, for n N : n 1 x n y n = (x y) x n 1 k y k. (48) 7 k=0
8 Eksempel Binomialkoeffisienter er definert ved induksjon (på n) ved å kreve først: ( ) 0 = 1, (49) 0 ( ) 0 for k N = 0. (50) k Deretter krever vi, for n N: ( ) n + 1 = 1, (51) 0 ( ) ( ) ( ) n + 1 n n for k N = +. (52) k + 1 k k + 1 Denne definisjonen er motivert ved induksjonsbevis for binomialformelen: Teorem La x og y være kommuterende elementer i en ring. Da har vi, for hver n N: ( ) n (x + y) n = x k y n k. (53) k k=0 Proposisjon Vi har følgende formel for binomial-koeffisientene, for 0 k n: ( ) n n! = k k!(n k)!. (54) Følgende er en generalisert form for kommutatitivitet: Proposisjon La σ : [[m, n] [[m, n] være en bijeksjon. Da har vi: Morfier u k = u σ(k). (55) Definisjon 7.3. La A være utstyrt med en operasjon og B være utstyrt med en operasjon. Da er en morfi fra (A, ) til (B, ) en avbildning Φ : A B som tilfredsstiller: Φ(x y) = Φ(x) Φ(y). (56) Dersom A har et neutralt element e og B har neutralt element f er en morfi fra (A,, e) til (B,, f) en morfi fra (A, ) til (B, ) slik at Φ(e) = f. 8
9 Når det er klart fra konteksten hva operasjonene og evt hva de neutrale elementene er, er det vanlig å snakke bare om morfier fra A til B (uten å presisere hvilke operasjoner og neutrale elementer det er snakk om). Eksempel Under forutsetningene i Eksempel 7.2 har vi at n x n er en morfi fra (N, +, 0) til (A,, 1). Eksempel La U og V være mengder, og f : U V være en avbildning. La f : P(V ) P(U) være inversbilde-avbildningen. Da er f en morfi fra (P(V ),, ) til (P(U),, ). Den er også en morfi fra (P(V ),, V ) til (P(U),, U) Hva kan vi si om direktebilde-avbildningen? Eksempel La U være en mengde. Avbildningen C U : A C U (A) er en morfi fra (P(U),, U) til (P(U),, ), og omvendt. Definisjon 7.4. La R og R være to ringer. En ring-morfi er en avbildning Φ : R R slik at Φ er en morfi med hensyn på både addisjon og multiplikasjon. Med andre ord krever man: Φ(x + y) = Φ(x) + Φ(y), Φ(0) = 0, (57) Φ(xy) = Φ(x)Φ(y), Φ(1) = 1. (58) Teorem Dersom R er en ring finnes det en og bare en ring morfi Φ : Z R. Hvis R i tillegg er ordnet vil Φ være voksende. Bevis: Bemerk at f : x x + 1 er en bijeksjon R R. Ved hjelp av Teorem 7.5 lar vi Φ : Z R være den eneste avbildningen slik at: Φ(0) = 0, (59) n Z Φ(n + 1) = f(φ(n)) = Φ(n) + 1. (60) Man viser at Φ er en ring-morfi ved induksjon. 9
x A e x = x e = x. (2)
Notat om Algebra for MAT1140 1 Algebra 1.1 Operasjoner Definisjon 1.1. En operasjon på en mengde A er en avbildning fra A A til A. Bemerkning 1.1. Mer generelt kan man snakke om n-ære operasjoner på A,
DetaljerNotat 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
DetaljerNotat med oppgaver for MAT1140
Notat med oppgaver for MAT1140 1 Injeksjon, surjeksjon Oppgave 1.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
DetaljerNotat om Peanos aksiomer for MAT1140
Notat om Peanos aksiomer for MAT1140 1 Tall Hva er egentlig tall? Tanken her, er ikke å si hva tall er, hva deres interne struktur muligens kan være, men å si hva vi kan gjøre med dem, sett utenifra. Vi
DetaljerDette krever ikke noe nytt aksiom. Hvorfor? Og hvorfor må vi anta at A ikke er tom? Merk at vi har:
Notat 4 for MAT1140 4 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
Detaljer1 Aksiomatisk definisjon av vanlige tallsystemer
Notat XX for MAT1140 1 Aksiomatisk definisjon av vanlige tallsystemer 1.1 Aksiomer Vi betrakter en mengde R, utstyrt med to avbild- Algebraiske aksiomer. ninger: addisjon { R R R, (x, y) x + y. { R R R,
DetaljerNotat om kardinalitet for MAT1140 (litt uferdig)
Notat om kardinalitet for MAT1140 (litt uferdig) Poenget med tall kan man kanskje si er det å telle. In mengdeteorien ønsker man å telle antall elementer i en mengde, og det tallet man oppnår kalles da
DetaljerGrublegruppe 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
DetaljerHint til oppgavene. Uke 34. Uke 35. Fullstendige løsningsforslag finnes på emnesidene for 2017.
Hint til oppgavene Fullstendige løsningsforslag finnes på emnesidene for 2017. Uke 34 Oppgave 1, 2, 3 og 4 kan alle løses ved å tegne sannhetstabeller, men i flere tilfeller kan man like gjerne manipulere
DetaljerEn rekke av definisjoner i algebra
En rekke av definisjoner i algebra Martin Strand, martin.strand@math.ntnu.no 11. november 2010 Definisjonene som er gitt her, kommer i MA2201 Algebra og MA3201 Ringer og moduler. Forhåpentligvis blir det
DetaljerAksiom 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.
DetaljerMAT1140 Strukturer og argumenter
12. november 2018 MAT1140 Strukturer og argumenter Innleveringsfrist Obligatorisk oppgave 2 av 2 Torsdag 8. november 2018, klokken 14:30 i Devilry (devilry.ifi.uio.no). Instruksjoner Du velger selv om
DetaljerLøsningsforslag øving 6
Løsningsforslag øving 6 7 Husk Teorem 79 i notatet: En delmengde U av et vektorrom V er et underrom hvis ) nullvektoren er i U, ) summen av to vektorer i U er i U igjen, og 3) et skalarmultiplum av en
DetaljerForelesning 2 torsdag den 21. august
Forelesning 2 torsdag den 21 august 15 Flere eksempler på bevis ved induksjon Proposisjon 151 La n være et naturlig tall Da er 1 + 2 + 4 + + 2 n 1 = 2 n 1 Bevis Først sjekker vi om proposisjonen er sann
DetaljerKarakteriseringen av like mengder. Mengder definert ved en egenskap.
Notat 2 for MAT1140 2 Bevis La oss si at vi er overbevist om at utsagn P er sant, og at vi ønsker å kommunisere denne innsikten. Eller la oss si vi er ganske sikre på at P er sant, men ønsker, overfor
DetaljerMAUMAT644 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
DetaljerVektorrom. Kapittel 7. Hva kan vi gjøre med vektorer?
Kapittel 7 Vektorrom Vårt mål i dette kapitlet og det neste er å generalisere og abstrahere ideene vi har jobbet med til nå Især skal vi stille spørsmålet Hva er en vektor? Svaret vi skal gi, vil virke
Detaljer4.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,
DetaljerMatriser. Kapittel 4. Definisjoner og notasjon
Kapittel Matriser Vi har lært å løse et lineært ligningssystem ved å sette opp totalmatrisen til systemet gausseliminere den ved hjelp av radoperasjoner på matrisen Vi skal nå se nærmere på egenskaper
DetaljerForelesning 22 MA0003, Mandag 5/11-2012 Invertible matriser Lay: 2.2
Forelesning 22 M0003, Mandag 5/-202 Invertible matriser Lay: 2.2 Invertible matriser og ligningssystemet x b Ligninger på formen ax b, a 0 kan løses ved å dividere med a på begge sider av ligninger, noe
DetaljerAlgebraiske strukturer
MAT1140, H-16 Algebraiske strukturer Vi kan legge samme og multiplisere tall, funksjoner og matriser, og vi kan bruke snitt og union til å danne nye mengder. Mange av disse operasjonene følger de samme
DetaljerUNIVERSITETET I BERGEN
BOKMÅL UNIVERSITETET I BERGEN Det matematisk-naturvitenskapelige fakultet Eksamen i emnet MAT220/MAUMAT44 - Algebra Fredag. juni 204, kl. 09-4 Tillatte hjelpemidler: Kalkulator i samsvar med fakultetets
Detaljer8 Vektorrom TMA4110 høsten 2018
8 Vektorrom TMA4 høsten 8 I de foregående kapitlene har vi tatt en lang vandring gjennom den lineære algebraens jungel. Nå skal vi gå opp på en fjelltopp og skue ut over landskapet vi har vandret gjennom.
Detaljer4 Matriser TMA4110 høsten 2018
Matriser TMA høsten 8 Nå har vi fått erfaring med å bruke matriser i et par forskjellige sammenhenger Vi har lært å løse et lineært likningssystem ved å sette opp totalmatrisen til systemet og gausseliminere
DetaljerLineærtransformasjoner
Kapittel 8 Lineærtransformasjoner I forrige kapittel begynte vi å formulere lineær algebra på en generell måte, ved å gi en abstrakt definisjon av vektorrom For å beskrive sammenhenger mellom forskjellige
DetaljerMer 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
Detaljer9 Lineærtransformasjoner TMA4110 høsten 2018
9 Lineærtransformasjoner MA4 høsten 8 I forrige kapittel begynte vi å formulere lineær algebra på en generell måte, ved å gi en abstrakt definisjon av vektorrom For å beskrive sammenhenger mellom forskjellige
DetaljerOppgave 14 til 9. desember: I polynomiringen K[x, y] i de to variable x og y over kroppen K definerer vi undermengdene:
HJEMMEOPPGAVER utgave av 8-12-2002): Oppgave 15 til 16 desember: La H være mengden av alle matriser på formen A = a 1 a 12 a 13 a 1n 0 a 2 0 0 0 0 a 3 0 0 0 a n der a 1 a 2 a n 0 Videre la SH være matrisene
DetaljerForberedelse Kompletthet Kompakthet INF3170 / INF4171. Predikatlogikk: kompletthet, kompakthet. Andreas Nakkerud. 8.
INF3170 / INF4171 Predikatlogikk: kompletthet, kompakthet Andreas Nakkerud 8. september 2015 Forberedelse Theorem La x være en variabel som ikke forekommer i Γ eller i φ. (i) Γ φ Γ[x/c] Γ[x/c]. (ii) Hvis
DetaljerTMA 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
DetaljerUNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 10. desember 2012 Tid for eksamen: 09.00 13.00 Innledning La U være mengden
DetaljerJulenøtter til gruppe 5&7! (IKKE eksamensrelevant, bare for gøy gjerne i romjulen)
Julenøtter til gruppe 5&7! (IKKE eksamensrelevant, bare for gøy gjerne i romjulen) Dette er smakebiter på ting som dukker opp i videregående emner (MAT2400 og MAT2200). Del I og II kan gjøres uavhengig
DetaljerGrupper de første egenskaper
Grupper de første egenskaper Definisjonen av en gruppe Da vi studerte symmetriene til et kvadrat, så vi at det var enkelte karakteristiske trekk ved symmetrier; De kunne settes sammen og de kunne inverteres.
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 16: Rekursjon og induksjon Roger Antonsen Institutt for informatikk, Universitetet i Oslo 17. mars 009 (Sist oppdatert: 009-03-17 11:4) Forelesning 16 MAT1030 Diskret
Detaljer4.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,
DetaljerMAT1030 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
Detaljer4.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,
DetaljerKapittel 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
DetaljerGeometriske avbildninger og symmetri. A2A/A2B Høgskolen i Vestfold
Geometriske avbildninger og symmetri A2A/A2B Høgskolen i Vestfold 6. november 2009 Innhold 1. Symmetri 2. Avbildninger 3. Isometrier 4. Egenskaper ved avbildninger 5. Symmetrigrupper Kilde for forelesningen:
DetaljerTALL. 1 De naturlige tallene. H. Fausk
TALL H. Fausk 1 De naturlige tallene De naturlige tallene er 1, 2, 3, 4, 5,... (og så videre). Disse tallene brukes til å telle med, og de kalles også telletallene. Listen med naturlige tall stopper ikke
DetaljerEuklids algoritmen. p t 2. 2 p t n og b = p s 1. p min(t 2,s 2 )
For å finne største felles divisor (gcd) kan vi begrense oss til N, sidenfor alle a, b Z, harvi gcd(a, b) =gcd( a, b ). I prinsippet, dersom vi vet at a = p t 1 kan vi se at 1 p t 2 2 p t n og b = p s
DetaljerMA1301 Tallteori Høsten 2014
MA1301 Tallteori Høsten 014 Richard Williamson 1. august 015 Innhold Forord 7 1 Induksjon og rekursjon 9 1.1 Naturlige tall og heltall............................ 9 1. Bevis.......................................
DetaljerMA2201/TMA4150 Vår 2018
MA2201/TMA4150 Vår 2018 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Løsningsforslag Øving 6 Seksjon 14 34 La G = n < og la H G være eneste undergruppe av G av orden m.
DetaljerTillegg 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
DetaljerMengder, 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
Detaljer4.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,
DetaljerNotat i MA2201. Vegard Hagen. 27. mai 2012. La S være en mengde og la f, g, h : S S. Da er
Notat i MA2201 Vegard Hagen 27. mai 2012 Del I - grupper og undergrupper Seksjon 2 - Binære Operasjoner En binær operasjon på en mengde S er en funksjonsavbildning S S S. (a, b) S S betegner vi elementet
DetaljerMAT1030 Forelesning 17
MAT1030 Forelesning 17 Rekurrenslikninger Roger Antonsen - 18. mars 009 (Sist oppdatert: 009-03-18 19:3) Forelesning 17 Forrige gang ga vi en rekke eksempler på bruk av induksjonsbevis og rekursivt definerte
DetaljerRepetisjonsforelesning - 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
DetaljerMAUMAT644 ALGEBRA vår 2016 Andre samling Runar Ile
MAUMAT644 ALGEBRA vår 2016 Andre samling Runar Ile 1 Ringer og ringhomomorfier 1.1 Hva er en ring? Avsnitt 18: Ringer og kropper Stoff: Ring, direkte produkt av ringer, ringhomomorfi og ringisomorfi, kjernen
DetaljerTMA4100 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
DetaljerOblig 1 - MAT2400. Fredrik Meyer
Oblig 1 - MAT2400 Fredrik Meyer 1 Oppgave 1 Påstand 1 a). Z 5 har fire generatorer og AutZ 5 ) Z 4 Bevis. Hvert ikke-null-element i Z 5 genererer en undergruppe. Siden 5 er et primtall, må denne undergruppen
DetaljerForelesning 6 torsdag den 4. september
Forelesning 6 torsdag den 4. september 1.13 Varianter av induksjon Merknad 1.13.1. Det finnes mange varianter av induksjon. Noen av disse kalles noen ganger sterk induksjon, men vi skal ikke benytte denne
DetaljerMAT Grublegruppen Notat 10
MAT1100 - Grublegruppen Notat 10 Jørgen O. Lye Ringer Vi fortsetter i et lynkurs i algebraiske dyr. Først ut er ringer. En ring A (også kalt R) er en abelsk gruppe med addisjon + som operasjon. I tillegg
DetaljerGauss-Jordan eliminasjon; redusert echelonform. Forelesning, TMA4110 Fredag 18/9. Reduserte echelonmatriser. Reduserte echelonmatriser (forts.
Gauss-Jordan eliminasjon; redusert echelonform Forelesning, TMA4110 Fredag 18/9 Martin Wanvik, IMF MartinWanvik@mathntnuno En matrise vil normalt være radekvivalent med flere echelonmatriser; med andre
DetaljerForelesning 5 mandag den 1. september
Forelesning mandag den. september. Fibonnacitall forts. Proposisjon..6. La n være et naturlig tall. Da er u + u + + u n = u n+. Bevis. Først sjekker vi om proposisjonen er sann når n =. I dette tilfellet
DetaljerMAT1120 Repetisjon Kap. 1, 2 og 3
MAT1120 Repetisjon Kap. 1, 2 og 3 Kap. 1, avsn. 2.1-2.3 og kap. 3 i Lays bok er for det meste kjent fra MAT1100 og MAT1110. Fra kap. 1 repeterer vi: Matriser Vektorer og lineære kombinasjoner Lineæravbildninger
DetaljerEt noget ukomplett oppslagsverk for TMA4150 Algebra og tallteori. Ruben Spaans
Et noget ukomplett oppslagsverk for TMA4150 Algebra og tallteori Ruben Spaans August 19, 2007 2 Part I Leksikon 3 Chapter 1 Alfabetisk oppslagsverk, for alle, kvantifikator. Brukes i forbindelse med utsagn,
DetaljerMA1301 Tallteori Høsten 2014 Oversikt over pensumet
MA1301 Tallteori Høsten 2014 Oversikt over pensumet Richard Williamson 3. desember 2014 Innhold Pensumet 2 Generelle råd 2 Hvordan bør jeg forberede meg?.......................... 2 Hva slags oppgaver
DetaljerForelesning i Matte 3
Forelesning i Matte 3 Determinanter H. J. Rivertz Institutt for matematiske fag 1. februar 008 Innhold 1. time 1 Determinanter og elementære radoperasjoner Innhold 1. time 1 Determinanter og elementære
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det mtemtisk-nturvitenskpelige fkultet Eksmen i: MAT1140 Strukturer og rgumenter Eksmensdg: Fredg 8. desemer 2017 Tid for eksmen: 14:30 18:30 Oppgvesettet er på 5 sider. Vedlegg: Ingen
DetaljerSIGNERT DOMINASJON OG RETTEDE MATROIDESYSTEMER
SIGNERT DOMINASJON OG RETTEDE MATROIDESYSTEMER Matematisk institutt Binære monotone systemer Grunnelementer i modell: X i = I(ite komponent virker), i = 1, 2, 3 φ(x) = I(Systemet virker) = X 1 X 2 + X
DetaljerTo 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
DetaljerMAT1030 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
DetaljerOppgave: 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
DetaljerKapittel 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
DetaljerRingen 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
DetaljerDirekte produkter. (a, b)(a 0,b 0 )=(ab, a 0 b 0 ).
Direkte produkter Vi kjenner det kartesiske produktet av to mengder Y.Detbeståravallepar(x, y) av elementer x 2 og y 2 Y.OrdetkartesiskerdannetavegennavnetRenéDécartes, en fransk filosof og matematiker
DetaljerRepetisjon. 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
DetaljerEn gruppeteoretisk analyse av vri- og flyttespill. Alexander Lorenzo Masteroppgave, våren 2017
En gruppeteoretisk analyse av vri- og flyttespill Alexander Lorenzo Masteroppgave, våren 2017 Denne masteroppgaven er levert inn som en del av programspesialiseringen Matematikk under Lektorprogrammet
DetaljerLitt 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
DetaljerINF3170 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.........................................
DetaljerDagens 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
DetaljerHJEMMEOPPGAVER (utgave av ):
HJEMMEOPPGAVER (utgave av 20-5-2003): Oppgave 16 til 26 mai: La K være kroppen med 2 elementer og la A = K(t)[x]/(x 2 +t) være residuringen av polynomringen i den varibale x over den rasjonale funksjonsringen
DetaljerObligatorisk 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
DetaljerNotater fra forelesning i MAT1100 mandag
Notater fra forelesning i MAT00 mandag 3.08.09 Amandip Sangha, amandips@math.uio.no 8. august 009 Følger og konvergens (seksjon 4.3 i Kalkulus) Definisjon.. En følge er en uendelig sekvens av tall {a,a,a
DetaljerEn (reell) funksjon f fra en (reell) mengde D er en regel som til hvert element x D tilordner en unik verdi y = f (x).
Funksjoner 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). Mengden D kalles definisjonsmengden (eng.: domain) til f. Merknad Dersom
DetaljerForelesning 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.
DetaljerRepetisjon: om avsn og kap. 3 i Lay
Repetisjon: om avsn. 2.1-2.4 og kap. 3 i Lay Matrisemultiplikasjon La A = [a ij ] være en m n matrise og B = [b kl ] være en n p matrise. ] Skriv B = [b 1 b 2 b p der b j -ene er i R n for hver j. Produktet
DetaljerOppgaver MAT2500. Fredrik Meyer. 29. august 2014
Oppgaver MAT500 Fredrik Meyer 9. august 04 Oppgave. Bruk cosinus-setningen til å se at definisjonen av vinkel i planet blir riktig. Løsning. Dette er en litt rar oppgave. Husk at cosinus-setningen sier
DetaljerForelesning 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
DetaljerINF3170 / INF4171. Intuisjonistisk logikk: Kripke-modeller, sunnhet, kompletthet. Andreas Nakkerud. 15. september 2015
INF3170 / INF4171 Intuisjonistisk logikk: Kripke-modeller, sunnhet, kompletthet Andreas Nakkerud 15. september 2015 Kripke-modeller Vi ser på modeller for et språk L. Definisjon En Kripke-modell er et
DetaljerRepetisjon: Om avsn og kap. 3 i Lay
Repetisjon: Om avsn. 2.1-2.4 og kap. 3 i Lay Matrisemultiplikasjon. La A = [a ij ] være en m n matrise og B = [b kl ] være en n p matrise. ] Skriv B = [b 1 b 2 b p. Produktet AB er m p matrisen definert
DetaljerTMA4100 Matematikk 1, høst 2013
TMA4100 Matematikk 1, høst 2013 Teknostart forelesning 5 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Teknostart forelesning 5 Grenseverdier I dagens forelesning skal vi se på grenseverdier. 1 Hvorfor
DetaljerKomplekse tall og komplekse funksjoner
KAPITTEL Komplekse tall og komplekse funksjoner. Komplekse tall.. Definisjon av komplekse tall. De komplekse tallene er en utvidelse av de reelle tallene. Dvs at de komplekse tallene er en tallmengde som
DetaljerKlasser, det analytiske hierarkiet og Shoenfields absolutthetsteorem
Klasser, det analytiske hierarkiet og Shoenfields absolutthetsteorem Dag Normann Oktober 1998 1 Klasse-hierarkiet 1.1 Syntaks-klasser Vi skal begynne med noe kjent og kjært: Definisjon 1 Vi vil se på språket
DetaljerUtvalgsaksiomet, 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
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 14: Rekursjon og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo 27. februar 2008 Oppsummering Mandag repeterte vi en del om relasjoner, da spesielt
DetaljerPermutasjoner og symmetriske grupper
Permutasjoner og symmetriske grupper Verbet permutere betyr å bytte om, og ombyttinger, eller altså permutasjoner, er noe vi kjenner fra dagliglivet. I matematikk er de også flittig i bruk, de fleste har
DetaljerRekurrens. MAT1030 Diskret matematikk. Rekurrens. Rekurrens. Eksempel. Forelesning 16: Rekurrenslikninger. Dag Normann
MAT1030 Diskret matematikk Forelesning 16: likninger Dag Normann Matematisk Institutt, Universitetet i Oslo INGEN PLENUMSREGNING 6/3 og 7/3 5. mars 008 MAT1030 Diskret matematikk 5. mars 008 Mandag ga
DetaljerMAT1120 Notat 2 Tillegg til avsnitt 5.4
MAT1120 Notat 2 Tillegg til avsnitt 54 Dette notatet utfyller bokas avsnitt 54 om matriserepresentasjonen (også kalt koordinatmatrisen) til en lineær avbildning mellom to endeligdimensjonale vektorrom
DetaljerUNIVERSITETET 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
DetaljerForelesning 1 mandag den 18. august
Forelesning 1 mandag den 18 august 11 Naturlige tall og heltall Definisjon 111 Et naturlig tall er et av tallene: 1,, Merknad 11 Legg spesielt merke til at i dette kurset teller vi ikke 0 iblant de naturlige
DetaljerINVERST 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
DetaljerTo nyttige begreper. Ekvivalensrelasjoner
To nyttige begreper Det er to begreper fra mengdelæren som til stadighet vil bli brukt i dette kurset, og som vi av erfaring vet kan være tungt fordøyelig for endel studender. For å få en skikkelig forståelse
DetaljerMAT1030 Forelesning 19
MAT1030 Forelesning 19 Generell rekursjon og induksjon Roger Antonsen - 25. mars 2009 (Sist oppdatert: 2009-03-25 11:06) Forelesning 19 Forrige gang så vi på induktivt definerte mengder og noen eksempler
DetaljerUnderveiseksamen i MAT-INF 1100, 17. oktober 2003 Tid: Oppgave- og svarark
Underveiseksamen i MAT-INF 1100, 17. oktober 003 Tid: 9.00 11.00 Kandidatnummer: De 15 første oppgavene teller poeng hver, de siste 5 teller 4 poeng hver. Den totale poengsummen er altså 50. Det er 5 svaralternativer
DetaljerMAT1120 Notat 2 Tillegg til avsnitt 5.4
MAT1120 Notat 2 Tillegg til avsnitt 54 Dette notatet utfyller bokas avsnitt 54 om matriserepresentasjoner (også kalt koordinatmatriser) av lineære avbildninger mellom endeligdimensjonale vektorrom En slik
DetaljerLO118D 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