Dagens teman. Mängdlära forts. Relationer och funktioner (AEE 1.2-3, AMII K1.2) Definition av de naturliga talen, Peanos axiom.

Storlek: px
Starta visningen från sidan:

Download "Dagens teman. Mängdlära forts. Relationer och funktioner (AEE 1.2-3, AMII K1.2) Definition av de naturliga talen, Peanos axiom."
  • Bo Ek
  • för 5 år sedan
  • Visningar:

Transkript

1 Dagens teman Mängdlära orts. Relationer och unktioner (AEE 1.2-3, AMII K1.2) Deinition av de naturliga talen, Peanos axiom.

2 Relationer och unktioner Relationer Generell deinition: En relation R på mängden A är detsamma som en delmängd av produktmängden A A. Man skriver ota arb i stället ör (a,b) R, Ex.vis a < b, ör olikhetsrelationen ör reella tal. a = b, ör identitet En viktig typ av relationer är de s.k. ekvivalensrelationerna vars deinierande egenskaper är 1. ara, ör alla a R. (Relexivitet) 2. arb bra, ör alla a och b R. (Symmetri) 3. arb och brc arc. (Transitivitet) Se kompendiet om reella tal, 1.3, särskilt ex

3 Funktioner (Se AM II, K1.2) Generell (halvmodern) deinition: En tillordning som till varje element i en mängd ordnar [högst] ett element i en mängd kallas en unktion rån till. Den sägs vara av typ. Variant 1: [högst] D x V (x ) V Variant 2: [högst] = D x V (x ) V

4 Generell (modern) deinition: En unktion rån mängden till mängden är detsamma som en delmängd av produktmängden, sådan att 1 Om (x, y) och (x, z), så är y = z, [2 För varje x inns något y så att (x, y).] (Punkten 2 utgår ör varianten 1.) Vanligen skriver man y = (x) i stället ör (x, y). Mängden omtalad i deinitionen är också unktionens gra. Villkoren 1 utsäger att en unktion, ör varje x, bara har högst ett (1) värde y.

5 Viktiga glosor: Deinitionsmängd av (domain o). Värdemängd till (range o). Injektion (injection) Om olika element i tillordnas olika element i sägs unktionen vara en injektion. D V Olika punkter Olika punkter en injektion Surjektion (surjection) Om V =, så sägs unktionen vara en surjektion D x V = V (x ) avbildar på

6 är en bijektion (bijection) injektion och surjektion Injektioner har en invers unktion 1 D = V -1-1 V = D -1 Restriktion (restriction) Om ör två unktioner och g gäller att D D g och (x) = g(x) ör alla x D g så säger man att unktionen g är restriktionen av till mängden D g. Observera att och g betraktas som olika unktioner. D D g g

7 Sammansättning (composition), Om g är en unktion av typ och en av typ W så är tillordningen w = (g(x)) en unktion av typ W den sammansatta unktionen, g, till och g. D g x g V g D g (x) V (g (x)) D og W D V g V o g og

8 Om är av typen och A, så betecknas mängden {y ; y = (x) ör något x A} med (A). ( (A) är A:s bild ). (A) Gra ör A Och analogt. om B, så betecknas mängden {x ; (x) B} med 1 (B). ( 1 (B) är B:s urbild ). B Gra ör 1 (B) Observera att mängden 1 (B) inns även i de all då unktionen saknar invers (dvs inte är någon injektion).

9 Peanos axiomsystem ör de naturliga talen P1. Det inns ett naturligt tal 0. P2. Varje naturligt tal n har en s.k. eteröljare n +. P3. Om n + = m + så är n = m. P4. Inget naturligt tal har 0 som eteröljare. P5. Om man vet om ett påstående om naturliga tal att I. det är sant ör talet 0 och II. det är sant ör n + om det är sant ör n, så är påståendet sant ör alla naturliga tal. (Induktionsaxiomet)

10 Deinitioner och räkneregler ör de naturliga talen N Addition kan deinieras via induktion utirån 1. n + 0 = n ör alla n N. (D1+) 2. Om n + m är deinierat, så är n + m + deinierat som (n + m) +. (D2+) Olikheter x y (DO ) Det inns ett naturligt tal z så att x + z = y. x < y (DO <) Det inns ett naturligt tal z 0, så att x + z = y. Multiplikation kan deinieras via induktion utirån 1. n 0 = 0 ör alla n N. (D1 ) 2. Om n m är deinierat, så är n m + deinierat som (n m) + n. (D2 ) Speciellt n 0 + = n 0 + n = 0 + n = n. (Vi brukar beteckna 0 + med 1.)

11 Följande kan visas utirån Peanos axiom och dessa deinitioner: Neutrala element n + 0 = n n 1 = n (Neu+, Neu ) Kommutativa lagar n + m = m + n, n m = m n. (Kom+, Kom ) Associativa lagar (n + m) + p = n + (m + p), (Ass+) (n m) p = n (m p). (Ass ) Distributiva lagen (n + m) p = (n p) + (m p) (Dist) Annuleringslagar n + m = n + p m = p. (Ann+) Om n 0: n m = n p m = p. (Ann ) Lagar om olikheter För alla n och m gäller exakt en av relationerna n < m, n = m, m < n. (O1) Om n < m och m < p, så är n < p (O2) n m n + p m + p. (O3+) Om p 0: n < m n p < m p. (O3 )

12 Fler räknesätt: Subtraktion m n kan deinieras om n m:: Man visar örst att: För n m N, så har ekvationen n + x = m precis en lösning x N Denna lösning skrivs x = m n. Division m n Man visar örst att: För n och m N, n 0, har ekvationen n x = m högst en lösning x N. Denna lösning (om den inns) skrivs x = m n. (D) (D/)

13 Uppgiter: AMII: K1. 6 Övningar på extrablad ör lektion 3: 1 2, 6 7, Dagens inlämningsuppgiter: På utdelat blad ör lekt 3, nr 2 och 7d. (För 7d år resultaten i uppgiterna 6-7c anses vara bevisade).

Definitionsmängd, urbild, domän

Definitionsmängd, urbild, domän 5B1493, lekt 5, HT06 Funktioner Definition av begreppet Definition: Låt X och Y vara två mängder. En funktion f av typ X Y är detsamma som en delmängd av X Y, sådan att 1. Om (x, y) och (x, z) f, så är

Läs mer

Grundidén är att våra intuitiva rationella tal (bråk) alltid kan fås som lösningar till ekvationer av typen α ξ = β, där α och β är tal Z och α 0.

Grundidén är att våra intuitiva rationella tal (bråk) alltid kan fås som lösningar till ekvationer av typen α ξ = β, där α och β är tal Z och α 0. 5B2710, lekt 4, HT07 Konstruktion av de rationella talen Q (AEE 2.3) Grundidén är att våra intuitiva rationella tal (bråk) alltid kan fås som lösningar till ekvationer av typen α ξ = β, där α och β är

Läs mer

Peanos axiomsystem för de naturliga talen

Peanos axiomsystem för de naturliga talen 5B1493, lekt 3, HT06 P1. Det finns ett naturligt tal 0. Peanos axiomsystem för de naturliga talen P2. Varje natutligt tal n har en s.k. efterföljare n +. P3. Om n + = m + så är n = m. P4. Inget naturligt

Läs mer

En bijektion mellan två mängder A och B som har ändligt antal element kan finnas endast om mängderna har samma antal element.

En bijektion mellan två mängder A och B som har ändligt antal element kan finnas endast om mängderna har samma antal element. Inversa unktion BIJEKTION, INJEKTION, SURJEKTION Allmän terminologi I samband med variabelbyte vid beräkning av integraler har vi en avbildning mellan två mängder A och B, dvs en unktion : A B Vi har otast

Läs mer

En bijektion mellan två mängder A och B som har ändligt antal element kan endast finnas om mängderna har samma antal element.

En bijektion mellan två mängder A och B som har ändligt antal element kan endast finnas om mängderna har samma antal element. BIJEKTION, INJEKTION, SURJEKTION NUMRERBARA (eller UPPRÄKNELIGA) MÄNGDER Allmän terminologi. I samband med variabelbyte vid beräkning av integraler har vi en avbildning mellan två mängder A och B, dvs

Läs mer

RELATIONER OCH FUNKTIONER

RELATIONER OCH FUNKTIONER RELATIONER OCH FUNKTIONER 1 ORDNADE LISTOR (n-tipplar) Ordningen i en mängd spelar ingen roll Exempelvis {1,,3}={3,1,}={1,3,} För att beskriva listor med objekt där ordningen är viktigt använder vi rundparenteser

Läs mer

Definition 1 En funktion (eller avbildning ) från en mängd A till en mängd B är en regel som till några element i A ordnar högst ett element i B.

Definition 1 En funktion (eller avbildning ) från en mängd A till en mängd B är en regel som till några element i A ordnar högst ett element i B. Deinitionsmängd FUNKTIONER. DEFINITIONSMÄNGD OCH VÄRDEMÄNGD. Deinition En unktion (eller avbildning ) rån en mängd A till en mängd B är en regel som till några element i A ordnar högst ett element i B.

Läs mer

LMA033/LMA515. Fredrik Lindgren. 4 september 2013

LMA033/LMA515. Fredrik Lindgren. 4 september 2013 LMA033/LMA515 Fredrik Lindgren Matematiska vetenskaper Chalmers tekniska högskola och Göteborgs universitet 4 september 2013 F. Lindgren (Chalmers&GU) Matematik 4 september 2013 1 / 25 Outline 1 Föreläsning

Läs mer

Kap. 8 Relationer och funktioner

Kap. 8 Relationer och funktioner Begrepp och egenskaper: Kap. 8 elationer och funktioner relation, relationsgraf och matris, sammansatt relation reflexivitet, symmetri, anti-symmetri, transitivitet ekvivalensrelation, partialordning,

Läs mer

Övningshäfte 6: 2. Alla formler är inte oberoende av varandra. Försök att härleda ett par av de formler du fann ur några av de övriga.

Övningshäfte 6: 2. Alla formler är inte oberoende av varandra. Försök att härleda ett par av de formler du fann ur några av de övriga. GÖTEBORGS UNIVERSITET MATEMATIK 1, MAM100, HT2005 MATEMATISK BASKURS Övningshäfte 6: Syftet med övningen är att utforska strukturen hos talsystemen under addition respektive multiplikation samt sambandet

Läs mer

Relationer och funktioner

Relationer och funktioner Relationer och funktioner Joakim Nivre Uppsala universitet Institutionen för lingvistik och filologi Översikt Relationer: Binära relationer på mängder Mängd-, graf- och matrisnotation Egenskaper hos relationer

Läs mer

Övningshäfte 3: Funktioner och relationer

Övningshäfte 3: Funktioner och relationer GÖTEBORGS UNIVERSITET MATEMATIK 1, MAM100, HT2014 INLEDANDE ALGEBRA Övningshäfte 3: Funktioner och relationer Övning H Syftet är att utforska ett av matematikens viktigaste begrepp: funktionen. Du har

Läs mer

Föreläsningsanteckningar och övningar till logik mängdlära

Föreläsningsanteckningar och övningar till logik mängdlära Inledande matematisk analys tma970, 010, logik, mängdlära Föreläsningsanteckningar och övningar till logik mängdlära Dessa öreläsningsanteckningar kompletterar mycket kortattat kap 0 och appendix B i Persson/Böiers,

Läs mer

Om relationer och algebraiska

Om relationer och algebraiska Om relationer och algebraiska strukturer Anders Källén MatematikCentrum LTH anderskallen@gmail.com Sammanfattning Även i analysen behöver man en del algebraiska begrepp. I den här artikeln definierar vi

Läs mer

ARCUSFUNKTIONER. udda. arcsin(x) [-1, 1] varken udda eller jämn udda. arccos(x) [-1, 1] [ 0, π ] arctan(x) alla reella tal π π. varken udda eller jämn

ARCUSFUNKTIONER. udda. arcsin(x) [-1, 1] varken udda eller jämn udda. arccos(x) [-1, 1] [ 0, π ] arctan(x) alla reella tal π π. varken udda eller jämn Arcusunktioner ARCUSFUNKTIONER Deinitionsmängd Värdemängd derivatan udda/jämn arcsin() [-, ] [, ] arccos() [-, ] [ 0, ] arctan() alla reella tal (, ) arccot() alla reella tal ( 0, ) + + udda varken udda

Läs mer

arcsin(x) udda ( x) varken udda eller jämn alla reella tal ( 0, ) 1. y=a 1 x udda/jämn Värdemängd derivatan Definitionsmängd Arcusfunktioner

arcsin(x) udda ( x) varken udda eller jämn alla reella tal ( 0, ) 1. y=a 1 x udda/jämn Värdemängd derivatan Definitionsmängd Arcusfunktioner ARCUSFUNKTIONER Deinitionsmängd Värdemängd arcsin( [-, ] [, ] arccos( [-, ] [00, ] arctan( alla reella tal (, arccot( alla reella tal ( 0, derivatan udda/jämn udda varken udda eller jämn udda varken udda

Läs mer

Kapitel 1. betecknas detta antal med n(a). element i B; bet. A B. Den tomma mängden är enligt överenskommelsen en delmängd. lika; bet. A = B.

Kapitel 1. betecknas detta antal med n(a). element i B; bet. A B. Den tomma mängden är enligt överenskommelsen en delmängd. lika; bet. A = B. Kapitel 1 Mängdlära Begreppet mängd är fundamentalt i vårt tänkande; en mängd är helt allmänt en samling av objekt, vars antal kan vara ändligt eller oändligt. I matematiken kallas dessa objekt mängdens

Läs mer

HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI

HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI Tiedekunta/Osasto Fakultet/Sektion Faculty Laitos Institution Department Matematisk-naturvetenskapliga Tekijä Författare Author Ilkka

Läs mer

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik Mats Boij 18 november 2001 13 Grupper Det trettonde kapitlet behandlar grupper. Att formulera abstrakta begrepp som grupper

Läs mer

Gruppteori. Ilyas Ahmed och Qusay Naji. 23 maj Tack till professor Dan Laksov I samarbete med Kungilga Tekniska Högskolan (KTH)

Gruppteori. Ilyas Ahmed och Qusay Naji. 23 maj Tack till professor Dan Laksov I samarbete med Kungilga Tekniska Högskolan (KTH) Gruppteori Ilyas Ahmed och Qusay Naji 23 maj 2007 Tack till professor Dan Laksov I samarbete med Kungilga Tekniska Högskolan (KTH) 1 Contents 1 INTRODUKTION 3 1.1 Tacksägelse............................

Läs mer

Sådana avbildningar kallar vi bijektioner mellan A och B (eller från A till B).

Sådana avbildningar kallar vi bijektioner mellan A och B (eller från A till B). BIJEKTION, INJEKTION, SURJEKTION Allmän terminologi. I samband med variabelbyte vid beräkning av integraler har vi en avbildning mellan två mängder A och B, dvs en funktion f : A B. Vi har oftast krav

Läs mer

Block 1 - Mängder och tal

Block 1 - Mängder och tal Block 1 - Mängder och tal Mängder Mängder och element Venndiagram Talmängder Heltalen Z Rationella talen Q Reella talen R Räkning med tal. Ordning av talen i R Intervall Absolutbelopp Olikheter 1 Prepkursen

Läs mer

Kompletteringsmaterial. K2 Något om modeller, kompakthetssatsen

Kompletteringsmaterial. K2 Något om modeller, kompakthetssatsen KTH Matematik Bengt Ek Maj 2008 Kompletteringsmaterial till kursen SF1642, Logik för D1 och IT3: K2 Något om modeller, kompakthetssatsen Vi skall presentera ett enkelt (om man känner till sundhets- och

Läs mer

Föreläsningsanteckningar och övningar till logik mängdlära Boolesk algebra

Föreläsningsanteckningar och övningar till logik mängdlära Boolesk algebra Föreläsningsantekningar oh övningar till logik mängdlära Boolesk algebra I kursen matematiska metoder, del A (TMA04 behandlar vi i lv logik, mängdlära oh Boolesk algebra I satslogik oh mängdalgebra, två

Läs mer

Relationer. 1. Relationer. UPPSALA UNIVERSITET Matematiska institutionen Erik Melin. Specialkursen HT07 23 oktober 2007

Relationer. 1. Relationer. UPPSALA UNIVERSITET Matematiska institutionen Erik Melin. Specialkursen HT07 23 oktober 2007 UPPSALA UNIVERSITET Matematiska institutionen Erik Melin Specialkursen HT07 23 oktober 2007 Relationer Dessa blad utgör skissartade föreläsningsanteckningar kombinerat med övningar. Framställningen är

Läs mer

Abstrakt algebra för gymnasister

Abstrakt algebra för gymnasister Abstrakt algebra för gymnasister Veronica Crispin Quinonez Sammanfattning. Denna text är föreläsningsanteckningar från föredraget Abstrakt algebra som hölls under Kleindagarna på Institutet Mittag-Leffler

Läs mer

Block 1 - Mängder och tal

Block 1 - Mängder och tal Block 1 - Mängder och tal Mängder Mängder och element Venndiagram Delmängder och äkta delmängder Union och snittmängd Talmängder Heltalen Z Rationella talen Q Reella talen R Räkning med tal. Ordning av

Läs mer

0.1 Antalet primtal är oändligt.

0.1 Antalet primtal är oändligt. 0.1 Antalet primtal är oändligt. I Euklides Elementa (ca 300 f. kr.) påstås (och bevisas) att antalet primtal är oändligt. För att förstå påståendet och beviset måste vi först försöka klargöra betydelsen

Läs mer

Övningshäfte 2: Induktion och rekursion

Övningshäfte 2: Induktion och rekursion GÖTEBORGS UNIVERSITET MATEMATIK 1, MMG200, HT2017 INLEDANDE ALGEBRA Övningshäfte 2: Induktion och rekursion Övning D Syftet är att öva förmågan att utgående från enkla samband, aritmetiska och geometriska,

Läs mer

MATRISTEORI. Pelle Pettersson MATRISER. En matris är ett rektangulärt schema med tal, reella eller komplexa, vilka kallas matrisens

MATRISTEORI. Pelle Pettersson MATRISER. En matris är ett rektangulärt schema med tal, reella eller komplexa, vilka kallas matrisens MATRISTEORI Pelle Pettersson ALLMÄN MATRISKUNSKAP MATRISER En matris är ett rektangulärt schema med tal, reella eller komplexa, vilka kallas matrisens element Exempel Matrisen 2 3 4 5 6 har två rader och

Läs mer

Mängder och kardinalitet

Mängder och kardinalitet UPPSALA UNIVERSITET Matematiska institutionen Erik Melin Specialkursen HT07 28 september 2007 Mängder och kardinalitet Dessa blad utgör skissartade föreläsningsanteckningar kombinerat med övningar. Framställningen

Läs mer

Y=konstant V 1. x=konstant. TANGENTPLAN OCH NORMALVEKTOR TILL YTAN z = f ( x, LINEARISERING NORMALVEKTOR (NORMALRIKTNING) TILL YTAN.

Y=konstant V 1. x=konstant. TANGENTPLAN OCH NORMALVEKTOR TILL YTAN z = f ( x, LINEARISERING NORMALVEKTOR (NORMALRIKTNING) TILL YTAN. Tangentplan Linjära approimationer TANGENTPLAN OCH NORMALVEKTOR TILL YTAN z LINEARISERING NORMALVEKTOR NORMALRIKTNING TILL YTAN Låt z vara en dierentierbar unktion i punkten a b Då är N a b a b en normalvektor

Läs mer

MS-A0409 Grundkurs i diskret matematik Appendix, del II

MS-A0409 Grundkurs i diskret matematik Appendix, del II MS-A0409 Grundkurs i diskret matematik Appendix, del II G. Gripenberg Aalto-universitetet 17 oktober 2013 G. Gripenberg (Aalto-universitetet) MS-A0409 Grundkurs i diskret matematikappendix, del II 17 oktober

Läs mer

Explorativ övning 9 RELATIONER OCH FUNKTIONER

Explorativ övning 9 RELATIONER OCH FUNKTIONER Explorativ övning 9 RELATIONER OCH FUNKTIONER Övningens syfte är att bekanta sig med begreppet relation på en mängd M. Begreppet relation i matematiska sammanhang anknyter till betydelsen av samma ord

Läs mer

Algebra I, 1MA004. Lektionsplanering

Algebra I, 1MA004. Lektionsplanering UPPSALA UNIVERSITET Matematiska Institutionen Dan Strängberg HT2016 Fristående, IT, KandDv, KandMa, Lärare 2016-11-02 Algebra I, 1MA004 Lektionsplanering Här anges rekommenderade uppgifter ur boken till

Läs mer

Kapitel 4. Funktioner. 4.1 Definitioner

Kapitel 4. Funktioner. 4.1 Definitioner Kapitel 4 Funktioner I det här kapitlet kommer vi att undersöka funktionsbegreppet. I de första sektionerna genomgås definitionen av begreppet funktion och vissa egenskaper som funktioner har. I slutet

Läs mer

(N) och mängden av heltal (Z); objekten i en mängd behöver dock inte vara tal. De objekt som ingår i en mängd kallas för mängdens element.

(N) och mängden av heltal (Z); objekten i en mängd behöver dock inte vara tal. De objekt som ingår i en mängd kallas för mängdens element. Grunder i matematik och logik (2017) Mängdlära Marco Kuhlmann 1 Grundläggande begrepp Mängder och element 2.01 En mängd är en samling objekt. Två standardexempel är mängden av naturliga tal (N) och mängden

Läs mer

Definition 1 En funktion (eller avbildning ) från en mängd A till en mängd B är en regel som till några element i A ordnar högst ett element i B.

Definition 1 En funktion (eller avbildning ) från en mängd A till en mängd B är en regel som till några element i A ordnar högst ett element i B. Deinitionsmängd FUNKTIONER. DEFINITIONSMÄNGD OCH VÄRDEMÄNGD. Deinition En unktion (eller vbildning ) rån en mängd A till en mängd B är en regel som till någr element i A ordnr högst ett element i B. Att

Läs mer

Diofantiska ekvationer

Diofantiska ekvationer Uppsala Universitet Matematiska institutionen Isac Hedén isac distans@math.uu.se Algebra I, 5 hp Vecka 19. Diofantiska ekvationer Vi börjar med en observation som rör den största gemensamma delaren till

Läs mer

Diskret matematik, lektion 2

Diskret matematik, lektion 2 Diskret matematik, lektion Uppgifter med (*) är överkurs, och potentiellt lite klurigare. Ni behöver inte kunna lösa dessa. 1 Uppgifter 1. Låt A = {1,, 3}, B = {a, b}. Vilka element finns med i... a) A

Läs mer

Hemuppgifter till fredagen den 16 september Exercises to Friday, September 16

Hemuppgifter till fredagen den 16 september Exercises to Friday, September 16 Introduction to Semigroups Hemuppgifter till fredagen den 16 september Exercises to Friday, September 16 Övningsuppgifterna lämnas in senast onsdagen 14.9. till David Stenlund, per e-post den 16 september.

Läs mer

MS-A0409 Grundkurs i diskret matematik I

MS-A0409 Grundkurs i diskret matematik I MS-A0409 Grundkurs i diskret matematik I G. Gripenberg Aalto-universitetet oktober 014 G. Gripenberg (Aalto-universitetet) MS-A0409 Grundkurs i diskret matematik I oktober 014 1 / 44 Mängder (naiv, inte

Läs mer

MS-A0409 Grundkurs i diskret matematik I

MS-A0409 Grundkurs i diskret matematik I MS-A0409 Grundkurs i diskret matematik I G. Gripenberg Aalto-universitetet oktober 04 G. Gripenberg (Aalto-universitetet) MS-A0409 Grundkurs i diskret matematik I oktober 04 / 45 Mängder och logik Relationer

Läs mer

Om ordinaltal och kardinaltal

Om ordinaltal och kardinaltal Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om ordinaltal och kardinaltal (Ännu ofullständig version) Mängdteorin kan ses som grunden för all matematik Här skall

Läs mer

KTHs Matematiska Cirkel. Reella tal. Joakim Arnlind Tomas Ekholm Andreas Enblom

KTHs Matematiska Cirkel. Reella tal. Joakim Arnlind Tomas Ekholm Andreas Enblom KTHs Matematiska Cirkel Reella tal Joakim Arnlind Tomas Ekholm Andreas Enblom Institutionen för matematik, 2005 Finansierat av Marianne och Marcus Wallenbergs Stiftelse Innehåll 1 Mängdlära 7 1.1 Mängder...............................

Läs mer

Föreläsning 8 i kursen Ma III, #IX1305, HT 07. (Fjärde föreläsningen av Bo Åhlander)

Föreläsning 8 i kursen Ma III, #IX1305, HT 07. (Fjärde föreläsningen av Bo Åhlander) Föreläsning 8 i kursen Ma III, #IX1305, HT 07. (Fjärde föreläsningen av Bo Åhlander) Böiers 5.3 Relationer. Vi har definierat en funktion f: A B som en regel som kopplar ihop ett element a A, med ett element

Läs mer

Tentamen i TDDC75 Diskreta strukturer

Tentamen i TDDC75 Diskreta strukturer Tentamen i TDDC75 Diskreta strukturer 2017-01-05, Lösningsförslag (med reservation för eventuella fel) 1. Betrakta följande satslogiska uttryck: (p q) (q p) (a) Visa genom naturlig deduktion att uttrycket

Läs mer

Föreläsningsanteckningar Linjär Algebra II Lärarlyftet

Föreläsningsanteckningar Linjär Algebra II Lärarlyftet Föreläsningsanteckningar Linjär Algebra II Lärarlyftet Per Alexandersson Föreläsning I Timme I: Repetition av matriser, linjära ekvationssystem Linjärt ekvationssystem: x + y + z 3w = 3 2x + y + z 4w =

Läs mer

Grupper och RSA-kryptering

Grupper och RSA-kryptering UPPSALA UNIVERSITET Matematiska institutionen Erik Melin Specialkursen HT07 26 oktober 2007 Grupper och RSA-kryptering Dessa blad utgör skissartade föreläsningsanteckningar kombinerat med övningar. Framställningen

Läs mer

Innehåll. 1 Linjärt ekvationssystem (ES) 5. 2 Grundläggande algebra 13

Innehåll. 1 Linjärt ekvationssystem (ES) 5. 2 Grundläggande algebra 13 LINJÄR ALGEBRA Innehåll Linjärt ekvationssstem (ES) 5 Grundläggande algebra 3 3 Matrisalgebra 5 3 Addition av matriser 5 3 Multiplikation mellan matriser 7 33 Enhetsmatris 34 Invers matris 34 Nollmatris

Läs mer

Lösningar till Algebra och kombinatorik

Lösningar till Algebra och kombinatorik Lösningar till Algebra och kombinatorik 091214 1. Av a 0 = 1 och rekursionsformeln får vi successivt att a 1 = 1 + a 0 1 a 0 = 1 + 1 1 1 = 2, a 2 = 1 + a 1 1 a 0 + 1 a 1 = 1 + 2 1 + 1 = 4, 2 a 3 = 1 +

Läs mer

Övningshäfte 1: Induktion, rekursion och summor

Övningshäfte 1: Induktion, rekursion och summor LMA100 VT2006 ARITMETIK OCH ALGEBRA DEL 2 Övningshäfte 1: Induktion, rekursion och summor Övning A 1. Kan ni fortsätta följden 1,3,5,7,9,11,...? 2. Vilket är det 7:e talet i följden? Vilket är det 184:e?

Läs mer

Tal och polynom. Johan Wild

Tal och polynom. Johan Wild Tal och polynom Johan Wild 14 augusti 2008 Innehåll 1 Inledning 3 2 Att gå mellan olika typer av tal 3 3 De hela talen och polynom 4 3.1 Polynom........................... 4 3.2 Räkning med polynom...................

Läs mer

Linjär algebra på några minuter

Linjär algebra på några minuter Linjär algebra på några minuter Linjära ekvationssystem Ekvationssystem: { Löses på matrisform: ( ) ( ) I det här fallet finns en entydig lösning, vilket betyder att determinanten av koefficientmatrisen

Läs mer

SJÄLVSTÄNDIGA ARBETEN I MATEMATIK

SJÄLVSTÄNDIGA ARBETEN I MATEMATIK SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Från positiva heltal till reella tal av Sara Olsson 2017 - No 13 MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET, 106

Läs mer

Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 2014-2015. Lektion 4

Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 2014-2015. Lektion 4 Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 014-015 Denna lektion ska vi studera rekursion. Lektion 4 Principen om induktion Principen om induktion är ett vanligt sätt att bevisa

Läs mer

Matematik F Ett försök till kursmaterial

Matematik F Ett försök till kursmaterial Matematik F Ett försök till kursmaterial Olle the Greatest Donnergymnasiet, Sverige Skrivet i L A TEXε 4 februari 004 Innehåll Matematisk grammatik 4. Skriva matematik........................... 4. Läsa

Läs mer

Lösningsförslag till övningsuppgifter, del II

Lösningsförslag till övningsuppgifter, del II Lösningsförslag till övningsuppgifter del II Obs! Preliminär version! Ö.1. För varje delare d till n låt A d var mängden av element a sådana att gcd(a n = d. Partitionen ges av {A d : d delar n}. n = 6:

Läs mer

2MA105 Algebraiska strukturer I. Per-Anders Svensson

2MA105 Algebraiska strukturer I. Per-Anders Svensson 2MA105 Algebraiska strukturer I Per-Anders Svensson Föreläsning 4 Innehåll Bijektiva avbildningar en repetition Permutationsgrupper Permutationer skrivna som produkter av cykler Jämna och udda permutationer

Läs mer

Ett Sammelsurium av Matematiskt Nonsens, Matematikens Grundvalar. Professor Ivar

Ett Sammelsurium av Matematiskt Nonsens, Matematikens Grundvalar. Professor Ivar Ett Sammelsurium av Matematiskt Nonsens, Matematikens Grundvalar. Professor Ivar April 4, 2017 ii Contents Företal v 1 Mängdteori. 1 1.0.1 Matematikens språk:................... 2 1.0.2 Uppgifter:.........................

Läs mer

MINNESANTECKNINGAR FÖR DELTAGARNA I WORKSHOP GRUPPER

MINNESANTECKNINGAR FÖR DELTAGARNA I WORKSHOP GRUPPER MINNESANTECKNINGAR FÖR DELTAGARNA I WORKSHOP GRUPPER SONJA KOVALEVSKYDAGARNA 2008; HANNA USCKA-WEHLOU 0. Praktiska anmärkningar Det finns följande moment i workshop: en föreläsningsdel - jag berättar om

Läs mer

12. CANTORS PARADIS. KORT ORIENTERING OM MÄNGDTEORI.

12. CANTORS PARADIS. KORT ORIENTERING OM MÄNGDTEORI. 75 12. CANTORS PARADIS. KORT ORIENTERING OM MÄNGDTEORI. I slutet av 1800-talet uppfann Cantor mängdteorin som ett hjälpmedel vid sitt arbete med integrationsteori. Med en mängd menade Cantor "vilken som

Läs mer

ALGEBRAISKA STRUKTURER. Juliusz Brzezinski

ALGEBRAISKA STRUKTURER. Juliusz Brzezinski ALGEBRAISKA STRUKTURER Juliusz Brzezinski MATEMATISKA VETENSKAPER CHALMERS TEKNISKA HÖGSKOLA OCH GÖTEBORGS UNIVERSITET GÖTEBORG 2005 FÖRORD Detta kompendium täcker innehållet i kursen Algebraiska strukturer,

Läs mer

Gausselimination fungerar alltid, till skillnad från mer speciella metoder.

Gausselimination fungerar alltid, till skillnad från mer speciella metoder. LINJÄRA EKVATIONSSYSTEM, GAUSSELIMINATION. MATRISER. Läs avsnitten 4.-4.. Lös övningarna 4.ace, 4.2acef, 4., 4.5-4.7, 4.9b, 4. och 4.abcfi. Läsanvisningar Avsnitt 4. Det här avsnittet handlar om Gauss-elimination,

Läs mer

Ett Sammelsurium av Matematiskt Nonsens, Matematikens Grundvalar. Professor Ivar

Ett Sammelsurium av Matematiskt Nonsens, Matematikens Grundvalar. Professor Ivar Ett Sammelsurium av Matematiskt Nonsens, Matematikens Grundvalar. Professor Ivar April 24, 2017 ii Contents Företal v 1 Mängdteori. 1 1.0.1 Matematikens språk:..................... 2 1.0.2 Matematikens

Läs mer

Lösningar till utvalda uppgifter i kapitel 5

Lösningar till utvalda uppgifter i kapitel 5 Lösningar till utvalda uppgifter i kapitel 5 5.3. Vi använder Euklides algoritm och får 4485 = 1 3042 + 1443 3042 = 2 1443 + 156 1443 = 9 156 + 39 156 = 4 39. Alltså är sgd(3042, 4485) = 39. Om vi startar

Läs mer

Imz. Rez. Bo E. Sernelius

Imz. Rez. Bo E. Sernelius KKKA 2005 Imz Rez Bo E. Sernelius Kort kurs i komplex analys Förord Den här kursen är avsedd som en kort introduktion till komplex analys för studenter som går på Fysikprogrammet. Avsikten är delvis att

Läs mer

K2 Något om modeller, kompakthetssatsen

K2 Något om modeller, kompakthetssatsen KTH Matematik Bengt Ek Maj 2005 Kompletteringsmaterial till kursen 5B1928 Logik för D1: K2 Något om modeller, kompakthetssatsen Vi skall presentera ett enkelt (om man känner till sundhets- och fullständighetssatsen

Läs mer

1 Analysens grunder. Ordlista för Funktionalanalys 1. avbildning (map) En avbildning är i matematiskt språk i regel detsamma som en funktion.

1 Analysens grunder. Ordlista för Funktionalanalys 1. avbildning (map) En avbildning är i matematiskt språk i regel detsamma som en funktion. Ordlista för Funktionalanalys 1 (28 augusti 2002) 1 Analysens grunder avbildning (map) En avbildning är i matematiskt språk i regel detsamma som en funktion. Bolzano-Weierstrassegenskapen En delmängd M

Läs mer

Om modeller och teorier

Om modeller och teorier Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om modeller och teorier Hittills i kursen har vi studerat flera olika typer av matematiska strukturer, bl.a. (partial)ordnade

Läs mer

2 Matematisk grammatik

2 Matematisk grammatik MATEMATISK GRAMMATIK Matematisk grammatik.1 Skriva matematik Matematisk grammatik, minst lika kul som det låter, och hur man skriver matematik är nästan lika viktigt som vad man skriver. En grammatisk

Läs mer

MA2047 Algebra och diskret matematik

MA2047 Algebra och diskret matematik MA2047 Algebra och diskret matematik Något om logik och mängdlära Mikael Hindgren 5 september 2018 Utsagor Utsaga = Påstående som har sanningsvärde Utsagan kan vara sann (S) eller falsk (F) öppen eller

Läs mer

Signal- och Bildbehandling FÖRELÄSNING 7. En bild är en 2D signal. För en digital bild gäller. Fig. 2.1

Signal- och Bildbehandling FÖRELÄSNING 7. En bild är en 2D signal. För en digital bild gäller. Fig. 2.1 Signal- och Bildbehandling FÖRELÄSNING 7 D signalbehandling (bildbehandling) Den digitala bilden, ärgtabeller D kontinuerlig ouriertransorm och D DFT D sampling D diskret altning Lågpassiltrerande D altningskärnor

Läs mer

Dagens program. Linjära ekvationssystem och matriser

Dagens program. Linjära ekvationssystem och matriser Dagens program Matriser Räkneoperationer och räknelagar Linjära ekvationssystem och matriser Matrisform av ekvationssystem Elementära radoperationer Trappstegsmatriser, rang och lösningsstruktur Matrisinvers,

Läs mer

σ 1 = (531)(64782), τ 1 = (18)(27)(36)(45), τ 1 σ 1 = (423871)(56).

σ 1 = (531)(64782), τ 1 = (18)(27)(36)(45), τ 1 σ 1 = (423871)(56). MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Avd. Matematik Examinator: Övningstenta i Algebra och Kombinatorik 7,5 hp 2015-11-24 Exempel på hur tentan skulle kunna se ut om alla uppgifter var från

Läs mer

Denna uppdelning är ovanlig i Sverige De hela talen (Både positiva och negativa) Irrationella tal (tal som ej går att skriva som bråk)

Denna uppdelning är ovanlig i Sverige De hela talen (Både positiva och negativa) Irrationella tal (tal som ej går att skriva som bråk) UMEÅ UNIVERSITET Institutionen för matematik och matematisk statistik Olof Johansson, Nina Rudälv 2006-10-24 SÄL 1-10p Avsnitt 1.1 Grundläggande begrepp Detta avsnitt behandlar de symboler som används

Läs mer

Axiom för de reella talen

Axiom för de reella talen Axiom för de reella talen Sara Maad Sasane Matematikcentrum Lunds universitet 28 augusti 2017 1 Kroppsaxiomen (räknelagar) 2 Ordningsaxiomen 3 Axiomet om övre gräns Kroppsaxiomen del 1 Axiom (Kroppsaxiomen)

Läs mer

avbildning En avbildning är i matematiskt språk i regel detsamma som en funktion.

avbildning En avbildning är i matematiskt språk i regel detsamma som en funktion. Ordlista 1 1 Analysens grunder avbildning En avbildning är i matematiskt språk i regel detsamma som en funktion. Bolzano-Weierstrassegenskapen En delmängd M i ett metriskt rum har Bolzano- Weierstrass-egenskapen

Läs mer

ÄNDLIGT OCH OÄNDLIGT AVSNITT 4

ÄNDLIGT OCH OÄNDLIGT AVSNITT 4 VSNITT ÄNDLIGT OCH OÄNDLIGT Är det möjligt att jämföra storleken av olika talmängder? Har det någon mening om man säger att det finns fler irrationella tal än rationella? Är det överhuvudtaget möjligt

Läs mer

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik Mats Boij 28 oktober 2001 1 Heltalen Det första kapitlet handlar om heltalen och deras aritmetik, dvs deras egenskaper som

Läs mer

Matematik F Ett försök till kursmaterial

Matematik F Ett försök till kursmaterial Matematik F Ett försök till kursmaterial Olle the Greatest Donnergymnasiet, Sverige Skrivet i L A TEXε juni 005 Innehåll Inledning 4 Matematisk grammatik 5. Skriva matematik...........................

Läs mer

Mängdlära. Kapitel Mängder

Mängdlära. Kapitel Mängder Kapitel 2 Mängdlära 2.1 Mängder Vi har redan stött på begreppet mängd. Med en mängd menar vi en väldefinierad samling av objekt eller element. Ordet väldefinierad syftar på att man för varje tänkbart objekt

Läs mer

Tentamen i TDDC75 Diskreta strukturer , lösningsförslag

Tentamen i TDDC75 Diskreta strukturer , lösningsförslag Tentamen i TDDC75 Diskreta strukturer 2018-10-23, lösningsförslag 1 1. (a) Sanningstabell för uttrycken p q r p q p r r q r p q 0 0 0 1 0 1 1 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 1

Läs mer

TALSYSTEM OCH RESTARITMETIKER. Juliusz Brzezinski

TALSYSTEM OCH RESTARITMETIKER. Juliusz Brzezinski TALSYSTEM OCH RESTARITMETIKER Juliusz Brzezinski MATEMATISKA INSTITUTIONEN CHALMERS TEKNISKA HÖGSKOLA GÖTEBORGS UNIVERSITET GÖTEBORG 2002 FÖRORD Detta häfte handlar om talsystem, restaritmetiker och polynomringar

Läs mer

MA2047 Algebra och diskret matematik

MA2047 Algebra och diskret matematik MA2047 Algebra och diskret matematik Något om funktioner och relationer Mikael Hindgren 1 oktober 2018 Funktionsbegreppet Exempel 1 f (x) = x 2 + 1, g(x) = x 3 och y = sin x är funktioner. Exempel 2 Kan

Läs mer

SF2715 Applied Combinatorics// Extra exercises and solutions, Part 2

SF2715 Applied Combinatorics// Extra exercises and solutions, Part 2 SF2715 Applied Combinatorics// Extra exercises and solutions, Part 2 Jakob Jonsson April 5, 2011 Ö Övningsuppgifter These extra exercises are mostly in Swedish. If you have trouble understanding please

Läs mer

Kontinuitet och gränsvärden

Kontinuitet och gränsvärden Kapitel Kontinuitet och gränsvärden.1 Introduktion till kontinuerliga funktioner Kapitlet börjar med allmänna definitioner. Därefter utvidgar vi successivt familjen av kontinuerliga funktioner, genom specifika

Läs mer

13. CHURCH S OCH GÖDELS SATSER. KORT ORIENTERING OM BERÄKNINGSBARHET, EFFEKTIV UPPRÄKNELIGHET OCH AVGÖRBARHET.

13. CHURCH S OCH GÖDELS SATSER. KORT ORIENTERING OM BERÄKNINGSBARHET, EFFEKTIV UPPRÄKNELIGHET OCH AVGÖRBARHET. 81 13 CHURCH S OCH GÖDELS SATSER KORT ORIENTERING OM BERÄKNINGSBARHET, EFFEKTIV UPPRÄKNELIGHET OCH AVGÖRBARHET Våra beräkningar skall utföras på symbolsträngar, där symbolerna tas från ett givet alfabet

Läs mer

LOGIK, MÄNGDER OCH FUNKTIONER

LOGIK, MÄNGDER OCH FUNKTIONER LOGIK, MÄNGDER OCH FUNKTIONER KOMPLETTERANDE STUDIEMATERIAL TILL MMA121 MATEMATISK GRUNDKURS VÅRTERMINEN 2014 ERIK DARPÖ 1. Utsagor, implikation och ekvivalens En utsaga är en påstående, formulerat med

Läs mer

TILLÄMPADE DISKRETA STRUKTURER. Juliusz Brzezinski och Jan Stevens

TILLÄMPADE DISKRETA STRUKTURER. Juliusz Brzezinski och Jan Stevens TILLÄMPADE DISKRETA STRUKTURER Juliusz Brzezinski och Jan Stevens MATEMATIK CHALMERS TEKNISKA HÖGSKOLA GÖTEBORGS UNIVERSITET GÖTEBORG 2001 FÖRORD Termen Diskret matematik täcker ett mycket brett spektrum

Läs mer

Stora bilden av Linjära algebran. Vektorrum, linjära transformationer, matriser (sammanfattning av begrepp)

Stora bilden av Linjära algebran. Vektorrum, linjära transformationer, matriser (sammanfattning av begrepp) Stora bilden av Linjära algebran. Vektorrum, linjära transformationer, matriser (sammanfattning av begrepp) Linjär algebra består av tre grenar eller koncept: geometriska begreppet av vektorrum, analysbegreppet

Läs mer

Lösningar till utvalda uppgifter i kapitel 3

Lösningar till utvalda uppgifter i kapitel 3 Lösningar till utvalda uppgifter i kapitel 3 3.37 (a) Att ` ' är reexiv, antisymmetrisk och transitiv följer direkt av att `den vanliga' är det på N och Z. (b) Följden m n = ( n, n) där n = 0, 1, 2,...

Läs mer

Exempel. Komplexkonjugerade rotpar

Exempel. Komplexkonjugerade rotpar TATM79: Föreläsning 4 Polynomekvationer och funktioner Johan Thim 2 augusti 2016 1 Polynomekvationer Vi börjar med att upprepa definitionen av ett polynom. Polynom Definition. Ett polynom p(z) är ett uttryck

Läs mer

Algebra och kombinatorik 28/4 och 5/ Föreläsning 9 och 10

Algebra och kombinatorik 28/4 och 5/ Föreläsning 9 och 10 Grupper En grupp är ett par (G,*) där G är en mängd och * är en binär operation på G som uppfyller följande villkor: G1 (sluten) x,yϵg så x*yϵg G2 (associativ) x,y,z ϵg (x*y)*z=x*(y*z) G3 (identitet) Det

Läs mer

Diskret matematik: Övningstentamen 1

Diskret matematik: Övningstentamen 1 Diskret matematik: Övningstentamen 1 1. Bevisa att de reella talen är en icke-uppräknelig mängd.. För två mängder av positiva heltal A och B skriver vi A C B, om det är så att A innehåller ett heltal som

Läs mer

Linjär Algebra M/TD Läsvecka 2

Linjär Algebra M/TD Läsvecka 2 Linjär Algebra M/TD Läsvecka 2 Omfattning och Innehåll 2.1 Matrisoperationer: addition av matriser, multiplikation av matris med skalär, multiplikation av matriser. 2.2-2.3 Matrisinvers, karakterisering

Läs mer

HF0021 TEN2. Program: Strömberg. Examinator: Datum: Tid: :15-12:15. , linjal, gradskiva. Lycka till! Poäng

HF0021 TEN2. Program: Strömberg. Examinator: Datum: Tid: :15-12:15. , linjal, gradskiva. Lycka till! Poäng ENAMEN Kursnummer: Moment: Program: Rättande lärare: Eaminator: Datum: id: Hjälpmedel: Omattning oc betgsgränser: HF Matematik ör basår I EN ekniskt basår Marina Arakelan, Jonass Stenolm & Håkan Strömberg

Läs mer

Uppgiftssamling 5B1493, lektionerna 1 6. Lektion 1

Uppgiftssamling 5B1493, lektionerna 1 6. Lektion 1 Uppgiftssmling 5B1493, lektionern 1 6 Lektion 1 4. (Räkning med oändlig decimlbråk) Låt x = 0, 1 2 3 n och y = 0,b 1 b 2 b 3 b n ( i och b i siffror 0, 1,, 9).. Kn Du beskriv något förfrnde som säkert

Läs mer

1.1. Fördjupning: Jämförelse av oändliga mängder

1.1. Fördjupning: Jämförelse av oändliga mängder Kapitel 1 Kardinalitet Den här texten är tagen från boken Diskret matematik av Asratian Björn Turesson (och delvis modifierad) Av den anledningen finns det visa hänvisningar på en del ställen som är ersatta

Läs mer

Modul 1 Mål och Sammanfattning

Modul 1 Mål och Sammanfattning Institutionen för Matematik SF1625 Envariabelanalys Läsåret 2016-2017 Lars Filipsson Modul 1 Mål och Sammanfattning 1. Reella tal. 1. MÅL FÖR MODUL 1 Känna till talsystememet och kunna använda notation

Läs mer