Tema Oändligheten Oändligheten - 1
|
|
- Åsa Dahlberg
- för 7 år sedan
- Visningar:
Transkript
1 Tema Oändligheten Människan har alltid funderat över oändligheten. Vem har inte tänkt att om universum inte var oändligt så måste det ha en gräns och vad skulle i så fall finnas på andra sidan. Ett motargument skulle kunna vara att universum är som en sfär (klot). Sfärens yta är ändlig men har ändå inte någon gräns. Universum skulle alltså vara en tredimensionell yta i ett fyrdimensionellt rum. Detta är faktiskt många kosmologers åsikt. Oändligheten behöver nu inte bara vara stor. Vi kan även tänka oss att halvera något. Den ena halvan kan i sin tur halveras igen utan något slut på halverandet. Enligt filosofen Platon har talen evig existens i idévärlden. Eftersom man till varje naturligt tal, n, kan finna ett större tal, n + 1, så finns det en oändlig serie av naturliga tal. Platons akademi - mosaik från en villa nära Pompeii, Italien som skildrar en sammankomst av grekiska filosofer. Den tredje mannen från vänster tros föreställa Platon. Det finns, varken i aritmetiken eller geometrin något aktuellt oändligt. I stället är t ex de naturliga talen potentiellt oändliga. Till varje tal kan man bilda ett större tal genom att addera talet 1. Aristoteles tankar om så olika vetenskaper som logik, biologi, astronomi, fysik, psykologi, metafysik, etik, kom att påverka västerlandet långt in på 1700-talet. Det existerar icke någon mängd, som innehåller ett oändligt antal föremål. Oändligheten - 1
2 Aristoteles syn på oändligheten ifrågasattes dock tidigare av t ex Galileo. Om vi betraktar de naturliga talen och tar bort alla udda tal så att bara de jämna blir kvar så är dessa enligt Galileo lika många som de ursprungliga naturliga talen. Hur resonerade han? På samma sätt som ett barn som inte kan räkna till fem skulle kunna tänkas göra för att visa att bägge händerna har lika många fingrar hon sätter händerna mot varandra och upptäcker att inga fingrar blir över. Galileo parade ihop varje naturligt tal n med det jämna talet 2n och följden blir att inga tal blir över. Tyvärr fullföljer inte Galileo tankegången och denna tanke har därefter kallats Galileos paradox. Den engelske matematikern John Wallis var den förste som introducerade den liggande åttan,, som en symbol för oändligheten i sin avhandling Arithmetica infinitorum (1665). För att kunna bevisa gravitationslagen behövdes nya matematiska redskap. Newton använde sig av begreppet fluxioner i sin skrift Tract on Fluxions och Leibniz något som han kallade infinitesimalen dx. Detta var ett tal som inte var noll men samtidigt mindre än varje positivt tal. Under hela 1800-talet var dock Aristoteles doktrin om oändligheten den gemensamma referensramen för matematiker. Slutligen motsades dock Aristoteles teori om oändligheten av Georg Cantor ( ), tysk matematiker, mest känd som skaparen av mängdteori. Utgående från sina undersökningar av trigonometriska serier skapade Cantor dels en stringent teori för de reella talen, dels en teori om att det finns oändliga mängder av olika storlek. Hans teorier mötte starkt motstånd från andra matematiker men hans tankar segrade eftersom de gav en ny plattform för matematiken. Cantors teori bygger på den ovan beskrivna idén om ihopparning. Du kanske inte vet hur många element två mängder har men du vet att de två mängderna har lika många element. Cantor (liksom Galileo) använder samma förfarande på oändliga mängder. Vi kan upptäcka om två mängder är lika stora genom att para ihop varje element i den ena mängden med ett i den andra och tvärtom. Den en-entydig tillordning mellan elementen i två mängder är för Cantor definitionen av att de är lika "stora" eller likmäktiga. Oändligheten - 2
3 n n Problemet med oändligheten är att vi inte kan räkna så långt. Cantors insikt var att att vi ändå kan säga att två mängder har samma storlek genom att hitta Definition En mängd är oändlig om vi kan ta bort en del av dess element utan att reducera dess storlek. Man säger att två mängder med samma storlek har samma kardinalitet. Dvs mängden av udda tal har samma kardinalitet som alla naturliga tal. Vi säger dessutom att alla mängder med samma kardinalitet som de naturliga talen är räknebara. Har alla oändliga mängder samma kardinalitet? Vi vet att de rationella talen ligger tätt. Vilka två rationella tal vi än tar så kan vi hitta oändligt många rationella tal mellan dessa. Vår intuition säger oss då att de rationella talen är många fler än de naturliga talen som inte ligger så tätt på tallinjen. Figuren nedan visar hur man kommer från det rationella talet 1/1 till alla andra sådana genom att följa den räta linjen dvs genom att räkna sig fram bland de naturliga talen. De reella talen har en kardinalitet större än de naturliga talen. Vi använder en bevismetod för slutsatsen som kallas indirekt. Vi antar att de reella Oändligheten - 3
4 talen är räknebara. Eftersom de reella talen kan representeras i decimalform så skulle en lista över de reella tal kunna se ut på följande sätt: 1 2, , , , , , Talen till vänster är de naturliga talen och talen till höger är de avräknade reella talen. Vi antar vidare, genom att gå tillräckligt långt ned på listan så hittar vi alla reella tal. Enligt Cantor finns det åtminstone ett tal som inte finns i den högra kolumnen. Han resonerade så här. Skapa ett nytt reellt tal som börjar med 0, och låt dess första decimal var olik det första reella talets första decimal (=3). Vi har t ex 0,6. Välj den andra decimalen genom att låta den vara olik det andra reella talets decimal (=2). Vi har t ex 0,68. Vi fortsätter på detta sätt med alla decimaler så att för alla n är den n:e decimalen i det n:e reella talet på listan är olik vårt konstruerade tal. Figuren nedan förtydligar vår process. 1 2, , , , , , , Varför finns inte vårt konstruerade tal med på den numrerade listan? Vi antog att listan var komplett. Eftersom vi hittat ett reellt tal som inte fanns där måste vår hypotes vara falsk. De reella talen har alltså en högra Oändligheten - 4
5 0T א 0 א 1 ordning på sin oändlighet än de naturliga talen. De har en högre kardinalitet. Kardinaltal Vi har alltså två kardinaliteter, den räknebara kardinaliteten av naturliga tal och den oräknebara kardinaliteten av reella tal. Vi kallar dem för kardinaltal med symbolerna ω och k (kontinuum) för mängden av reella tal. Eftersom kardinaltal används för att bestämma storleken på mängder så kallas även de naturliga talen för kardinaltal, sk finita kardinaltal. ω och c kallas transfinita kardinaltal. Alltså gäller kardinaltalen = { 0, 1, 2, 3,, ω, c, } Finns det fler kardinaltal? Antag att X är en oändlig mängd: X = {a, b, c, d, e,... }. Med potensmängden till X menar vi mängden av alla delmängder till X. P(X) = {, {a }, { a, b }, { b, c, e }, { a, c }, { e }, } Cantors theorem säger att om vi har en godtycklig mängd X så har potensmängden till X en högre kardinalitet än X. Det finns oändligt många kardinaltal. Varför? 0TCantor införde speciella symboler, den hebreiska bokstaven א (alef), för denna hierarki av kardinaltal. är det första oändliga kardinaltalet och betecknar kardinaliteten hos א 0 de naturliga talen. Kardinaltal = {0, 1, 2, 3, 4, 5,, } 0TCantor trodde att 0Tc0T var א 1 dvs det kardinaltal som är närmast א 0 i storlek. Denna hypotes kallas kontinuumhypotesen. Kurt Gödel visade 1930 att hypotesen inte kan falsifieras och på 60-talet visade Paul Cohen att den inte heller kan verifieras. 0TI dag genomsyras matematiken av mängdteoretiska begreppsbildningar. De flesta matematiska teorier kan rekonstrueras inom mängdteorin, eller för att citera matematiker: "modern matematik kan nästan i sin helhet härledas från en enda källa, från mängdteorin". T ex kan de naturliga talen och för övrigt alla andra tal och de aritmetiska operationerna definieras inom mängdteorin. Oändligheten - 5
6 Bertrand Russell Bertrand Russell brukar få äran av att ha upptäckt "Russells paradox", som visar på en motsägelse i Cantors mängdbegrepp från 1870-talet. Den uppstår genom att man betraktar mängden M av alla mängder som inte innehåller sig själva. Frågan är om M tillhör sig själv? Bertrand Russell har även formulerat paradoxen i följande form: Barberaren i en liten by rakar folk enligt regeln: Han rakar alla dem som inte rakar sig själva. Rakar eller rakar han inte sig själv enligt denna regel? Russel och många andra matematiker har på olika sätt försökt komma undan motsägelsen i dessa paradoxer genom att ställa formella krav på mängder. För att förstå hur svårt det är att visa att ett antal axiom är konsistenta, dvs inte ger några motsägelser då de kombineras, kan man betänka att ingen hittills har kunnat visa motsägelsefrihet i Zermelo-Fraenkels axiomsystem, som är en modern kandidat till beteckningen mängdlära. "Russell, Bertrand" ( ) var engelsk filosof, logiker, matematiker och pacifist. På äldre dagar var han både verksam vid Trinity College i Cambridge och lidelsefull samhällskritiker. Han var pionjär i arbetet mot atomvapen och en av initiativtagarna till Russell-tribunalen som undersökte USA:s krig i Vietnam. Han mottog Nobelpriset i litteratur Oändligheten - 6
7 Oändligheten - 7
Filosofisk logik Kapitel 15 (forts.) Robin Stenwall Lunds universitet
Filosofisk logik Kapitel 15 (forts.) Robin Stenwall Lunds universitet Dagens upplägg Antalet element i en mängd Kardinalitet Humes princip Cantors teorem Den universella mängden Några mängdteoretiska paradoxer
Läs mer12. 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 mer1.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 merDE FARLIGA OÄNDLIGHETERNA
DE FARLIGA OÄNDLIGHETERNA Grubblande över evigheten leder lätt till mental ohälsa! Det får man lära sig i en ovanligt läsvärd bok om de matematiska oändligheterna Det berättas att några judiska rabbiner
Läs merFöreläsning 5. Deduktion
Föreläsning 5 Deduktion Hur ett deduktivt system fungerar Komponenter - Vokabulär Ett deduktivt system använder ett visst slags språk som kan kallas för systemets vokabulär. I mindre formella fall är kanske
Läs merI kursen i endimensionell analys är mängden av reella tal (eng. real number), R, fundamental.
Lunds tekniska högskola Datavetenskap Lennart ndersson Föreläsningsanteckningar EDF10 4 Mängder 4.1 Motivering Mängden är den mest grundläggande diskreta strukturen. Nästan alla matematiska begrepp går
Läs merMä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 mer0.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Ä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(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 merAlgebra 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 merRealism och anti-realism och andra problem
Realism och anti-realism och andra problem Vetenskap och verkligheten Vetenskapen bör beskriva verkligheten. Men vad är verkligheten? Är det vi tycker oss se av verkligheten verkligen vad verkligheten
Läs merÖ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 merOändliga tal och mängder.
Dokumentet är från sajtsidan Matematik: som ingår i min sajt: http://www.leidenhed.se/matte.html http://www.leidenhed.se Oändliga tal och mängder. Kapitlets syfte Oändliga tal går hand i hand med oändliga
Läs merMä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 merDD1350 Logik för dataloger
DD1350 Logik för dataloger Fö 8 Axiomatiseringar 1 Modeller och bevisbarhet Sedan tidigare vet vi att: Om en formel Φ är valid (sann i alla modeller) så finns det ett bevis för Φ i naturlig deduktion.
Läs merMängder. 1 Mängder. Grunder i matematik och logik (2015) 1.1 Grundläggande begrepp. 1.2 Beskrivningar av mängder. Marco Kuhlmann
Marco Kuhlmann 1 Diskret matematik handlar om diskreta strukturer. I denna lektion kommer vi att behandla den mest elementära diskreta strukturen, som alla andra diskreta strukturer bygger på: mängden.
Läs merOm 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 merDefinitionsmä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 merBakgrund. Bakgrund. Bakgrund. Håkan Jonsson Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige
Är varje påstående som kan formuleras matematiskt*) alltid antingen sant eller falskt? *) Inom Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige Exempel: 12 = 13 nej, falskt n! >
Läs merTal till Solomon Feferman
Ur: Filosofisk tidskrift, 2004, nr 1. Dag Westerståhl Tal till Solomon Feferman (Nedanstående text utgör det tal som Dag Westerståhl höll på Musikaliska Akademien i oktober 2003, i samband med att Feferman
Läs merMer om reella tal och kontinuitet
Kapitel R Mer om reella tal och kontinuitet I detta kapitel formulerar vi ett av de reella talens grundläggande axiom, axiomet om övre gräns, och studerar några konsekvenser av detta. Med dess hjälp kommer
Läs merHur många eller om det oändliga
Hur många eller om det oändliga Det var en mörk vinterkväll. Jag och min bror satt tillsammans med farfar framför brasan i gillestugan. Min bror var mycket intresserad av filosofi medan jag tyckte mer
Läs merMängdteori och aritmetik för MM4000. Torbjörn Tambour 17 mars 2015
Mängdteori och aritmetik för MM4000 Torbjörn Tambour 17 mars 2015 1 Innehåll 1 Mängdteori 3 1.1 Grundbegrepp............................ 4 1.2 Operationer på mängder....................... 5 1.3 Russells
Läs merEn 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 merUppsala Universitet Matematiska Institutionen Thomas Erlandsson
Uppsala Universitet Matematiska Institutionen Thomas Erlandsson LÄSANVISNINGAR VECKA 36 VERSION 1. ARITMETIK FÖR RATIONELLA OCH REELLA TAL, OLIKHETER, ABSOLUTBELOPP ADAMS P.1 Real Numbers and the Real
Läs merFilosofisk Logik (FTEA21:4) föreläsningsanteckningar v , den 24/
Filosofisk Logik (FTEA21:4) föreläsningsanteckningar v. 2.1.1, den 24/11 2014 Om detta kompendium: Filosofiska institutionen, Lunds Universitet staffan.angere@fil.lu.se Förberedande Det här kompendiet
Läs merInduktion, mängder och bevis för Introduktionskursen på I
Induktion, mängder och bevis för Introduktionskursen på I J A S, ht 04 1 Induktion Detta avsnitt handlar om en speciell teknik för att försöka bevisa riktigheten av påståenden eller formler, för alla heltalsvärden
Läs merVäxjö University. Mängdlära och kardinalitet. - Cantors paradis. School of Mathematics and System Engineering. Reports from MSI - Rapporter från MSI
School of Mathematics and System Engineering Reports from MSI - Rapporter från MSI Växjö University Mängdlära och kardinalitet - Cantors paradis Magnus Dahlström Jan 2005 MSI Växjö University SE-351 95
Läs merExplorativ övning 4 ÄNDLIGT OCH OÄNDLIGT. Övning A
Explorativ övning 4 ÄNDLIGT OCH OÄNDLIGT Första delen av övningen handlar om begreppet funktion. Syftet är att bekanta sig med funktionsbegreppet som en parbildning. Vi koncentrerar oss på tre viktiga
Läs merÖ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 merKapitel 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 merFöreläsning 5: Kardinalitet. Funktioners tillväxt
Föreläsning 5: Kardinalitet. Funktioners tillväxt A = B om det finns en bijektion från A till B. Om A har samma kardinalitet som en delmängd av naturliga talen, N, så är A uppräknelig. Om A = N så är A
Läs merMaterial till kursen SF1679, Diskret matematik: Om urvalsaxiomet mm. Axiom som är ekvivalenta med urvalsaxiomet
Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om urvalsaxiomet mm Vi har tidigare nämnt Zermelo-Fraenkels axiom för mängdläran, de upprepas på sista sidan av dessa
Läs merOm oändliga tal. Dag Andréen. U.U.D.M. Project Report 2015:12. Department of Mathematics Uppsala University
U.U.D.M. Project Report 05: Om oändliga tal Dag Andréen Examensarbete i matematik, 5 hp Handledare och examinator: Gunnar Berg Juni 05 Department of Mathematics Uppsala University Innehåll Introduktion
Läs merRelationer. 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 merMA2047 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 merFö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 merKontinuitet 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 merMatematikens Element. Vad är matematik. Är detta matematik? Anders Fällström Institutionen för matematik och matematisk statistik Umeå universitet
Matematikens Element Höstterminen 2006 Anders Fällström Institutionen för matematik och matematisk statistik Umeå universitet Vad är matematik Är detta matematik? 3 1 Eller kanske detta? 4 Men det här
Läs merEtt 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 merFilosofisk logik Kapitel 19. Robin Stenwall Lunds universitet
Filosofisk logik Kapitel 19 Robin Stenwall Lunds universitet Dagens upplägg Gödels fullständighetsteorem Sundhet och fullständighet Fullständighetsbeviset Vittneskonstanter Henkinteorin Eliminationsteoremet
Läs mer2 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 merSANNING eller fake 1
SANNING eller fake 1 LITE DEFINITIONER Korrekt: Det som hänför sig till verkligheten (motsats: Inkorrekt) Avgörs genom empiriska observationer Personliga Sant: Logisk sanning (motsats: falskt) Avgörs genom
Läs merMer om kontinuitet. Kapitel K. K.1 Övre och undre gräns
Kapitel K Mer om kontinuitet I detta kapitel bevisar vi Sats 3.1, som säger att en kontinuerlig funktion av typen R 2 R på ett kompakt område antar ett största och ett minsta värde. Vi studerar dessutom
Läs merFilosofisk Logik. föreläsningsanteckningar/kompendium (FTEA21:4) v. 2.0, den 5/ Kompakthet och Löwenheim-skolemsatsen
Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium VI v. 2.0, den 5/5 2014 Kompakthet och Löwenheim-skolemsatsen 19.6-19.7 Närhelst vi har en mängd satser i FOL som inte är självmotsägande
Läs merOm semantisk följd och bevis
Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om semantisk följd och bevis Logik handlar bla om studiet av korrekta slutledningar, dvs frågan om när det är riktigt
Läs merIsaac Newton. MM maj 2015
MM5005 5 maj 2015 Född i Woolsthorpe den 25 december 1642. Föräldrarna var lantbrukare, fadern död när Isaac föddes. Född i Woolsthorpe den 25 december 1642. Föräldrarna var lantbrukare, fadern död när
Läs merLite om bevis i matematiken
Matematik, KTH Bengt Ek februari 2013 Material till kursen SF1662, Diskret matematik för CL1: Lite om bevis i matematiken Inledning Bevis är centrala i all matematik Utan (exakta definitioner och) bevis
Läs merModul 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 merEtt 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 merLinjära ekvationer med tillämpningar
UMEÅ UNIVERSITET Institutionen för matematik och matematisk statistik Olof Johansson, Nina Rudälv 2006-10-17 SÄL 1-10p Linjära ekvationer med tillämpningar Avsnitt 2.1 Linjära ekvationer i en variabel
Läs merDe matematiska objektens natur - en matematikfilosofisk pragmatism. Rasmus Blanck
De matematiska objektens natur - en matematikfilosofisk pragmatism Rasmus Blanck Filosofiska institutionen Göteborgs universitet 2007 De matematiska objektens natur - en matematikfilosofisk pragmatism
Läs mer10. Mängder och språk
Objektorienterad modellering och diskreta strukturer 10. Mängder och språk Sven Gestegård Robertz Institutionen för datavetenskap, LTH 2013 Rekaputilation Vi har talat om satslogik, predikatlogik och härledning
Läs mer13. 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 merLMA033/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 merFULLSTäNDIGHETSAXIOMET, SATSEN OM MELLANLIGGANDE VäRDE OCH SATSEN OM STöRSTA OCH MINSTA VäRDE
FULLSTäNDIGHETSAXIOMET, SATSEN OM MELLANLIGGANDE VäRDE OCH SATSEN OM STöRSTA OCH MINSTA VäRDE JAN-FREDRIK OLSEN I detta dokumentet ämnar vi bevisa följande två satser: Sats 1 (Satsen om mellanliggande
Läs merTro inom naturvetenskap
Tro inom naturvetenskap Vetenskap och tro. Värdeladdning och dialektisk spänning. Vetande och åsikt? Bra dåligt? Vetenskap som förädlad tro? Vetenskap före tro? Allt vetande vilar och börjar ytterst på
Läs merMATEMATIKENS SPRÅK. Avsnitt 1
Avsnitt 1 MATEMATIKENS SPRÅK Varje vetenskap, liksom varje yrke, har sitt eget språk som ofta är en blandning av vardagliga ord och speciella termer. En instruktionshandbok för ett kylskåp eller för en
Läs merTill oändligheten, och vidare!
Räddningsgymnasiet Sandö Gymnasiearbete Handledare: Jonas Gerdin Rägy 11 - VT 2014 Till oändligheten, och vidare! En studie av oändligheten ur ett matematiskt perspektiv Elsa Kågström Sammanfattning Denna
Läs merKOMBINATORIK. Exempel 1. Motivera att det bland 11 naturliga tal finns minst två som slutar på samma
Explorativ övning 14 KOMBINATORIK Kombinatoriken används ofta för att räkna ut antalet möjligheter i situationer som leder till många olika utfall. Den används också för att visa att ett önskat utfall
Läs merhttp://www.leidenhed.se Senaste revideringen av kapitlet gjordes 2014-05-08, efter att ett fel upptäckts.
Dokumentet är från sajtsidan Matematik: som ingår i min sajt: http://www.leidenhed.se/matte.html http://www.leidenhed.se Minst och störst Senaste revideringen av kapitlet gjordes 2014-05-08, efter att
Läs mer2 (6) k 0 2 (7) n 1 F k F n. k F k F n F k F n F n 1 2 (8)
De naturliga talen. Vi skall till att börja med stanna kvar i världen av naturliga tal, N 3. Vi har redan använt (i beviset av Euklides primtalssats) att de naturliga talen är uppbyggda (genom multiplikation)
Läs merAnalys 360 En webbaserad analyskurs Analysens grunder. Om de reella talen. MatematikCentrum LTH
Analys 60 En webbaserad analyskurs Analysens grunder Om de reella talen Anders Källén MatematikCentrum LTH anderskallen@gmail.com Om de reella talen () Introduktion Den matematiska analysen är intimt förenad
Läs merA B A B A B S S S S S F F S F S F S F F F F
Uppsala Universitet Matematiska institutionen Isac Hedén isac distans@math.uu.se Algebra I, 5 hp Vecka 17. Logik När man utför matematiska resonemang så har man alltid vissa logiska spelregler att förhålla
Läs merLä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 merKompletteringsmaterial. 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 merBlock 2 Algebra och Diskret Matematik A. Följder, strängar och tal. Referenser. Inledning. 1. Följder
Block 2 Algebra och Diskret Matematik A BLOCK INNEHÅLL Referenser Inledning 1. Följder 2. Rekursiva definitioner 3. Sigmanotation för summor 4. Strängar 5. Tal 6. Övningsuppgifter Referenser Följder, strängar
Läs merD. x 2 + y 2 ; E. Stockholm ligger i Sverige; F. Månen är en gul ost; G. 3 2 = 6; H. x 2 + y 2 = r 2.
Logik Vid alla matematiskt resonemang måste man vara säker på att man verkligen menar det man skriver ner på sitt papper. Därför måste man besinna hur man egentligen tänker. Den vetenskap, som sysslar
Läs merMatematikens ofullkomlighet.
Matematikens ofullkomlighet. January 29, 2003 1 Inledning Matematiken kan betraktas som den mest exakta och i någon mening den mest fullkomliga av alla vetenskaper. En klassisk syn på matematik är att
Läs merÖvningshäfte 1: Logik och matematikens språk
GÖTEBORGS UNIVERSITET MATEMATIK 1, MMG200, HT2014 INLEDANDE ALGEBRA Övningshäfte 1: Logik och matematikens språk Övning A Målet är att genom att lösa och diskutera några inledande uppgifter få erfarenheter
Läs merK2 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 merMS-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 merINDUKTION OCH DEDUKTION
AVSNITT 3 INDUKTION OCH DEDUKTION Med induktion menar man vanligen en mycket vanlig resonemangsmetod: man gör flera observationer, upptäcker ett mönster (eller något som man tror är ett mönster) och därefter
Läs merSF1920/SF1921 Sannolikhetsteori och statistik 6,0 hp Föreläsning 1 Mängdlära Grundläggande sannolikhetsteori Kombinatorik Deskriptiv statistik
SF1920/SF1921 Sannolikhetsteori och statistik 6,0 hp Föreläsning 1 Mängdlära Grundläggande sannolikhetsteori Kombinatorik Deskriptiv statistik Jörgen Säve-Söderbergh Information om kursen Kom ihåg att
Läs merFormell logik Kapitel 1 och 2. Robin Stenwall Lunds universitet
Formell logik Kapitel 1 och 2 Robin Stenwall Lunds universitet Kapitel 1: Atomära satser Drömmen om ett perfekt språk fritt från vardagsspråkets mångtydighet och vaghet (jmf Leibniz, Russell, Wittgenstein,
Läs merTal i bråkform. Kapitlet behandlar. Att förstå tal
Tal i bråkform Kapitlet behandlar Test Användning av hälften och fjärdedel 2 Representation i bråkform av del av antal och av del av helhet 3, Bråkform i vardagssituationer Stambråk, bråkuttryck med 1
Läs merDiskret 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 merModul 1: Funktioner, Gränsvärde, Kontinuitet
Institutionen för Matematik SF1625 Envariabelanalys Läsåret 2015/2016 Modul 1: Funktioner, Gränsvärde, Kontinuitet Denna modul omfattar kapitel P och kapitel 1 kursboken Calculus av Adams och Essex och
Läs merModul 1: Funktioner, Gränsvärde, Kontinuitet
Institutionen för Matematik SF1625 Envariabelanalys Läsåret 2015/2016 Modul 1: Funktioner, Gränsvärde, Kontinuitet Denna modul omfattar kapitel P och kapitel 1 kursboken Calculus av Adams och Essex och
Läs mer1 Att läsa matematik.
1 Att läsa matematik. Precis som vid all annan läsning som betyder något skall matematik läsas aktivt. Detta innebär olika saker för olika personer. För en del kanske det betyder att visualisera de idéer
Läs merInstitutionen för Matematik. SF1625 Envariabelanalys. Lars Filipsson. Modul 1
Institutionen för Matematik SF1625 Envariabelanalys Läsåret 2017-2018 Lars Filipsson Modul 1 1. MÅL FÖR MODUL 1 1. Reella tal. Känna till talsystememet och kunna använda notation för mängder och intervall
Läs merFilosofisk logik Kapitel 15. Robin Stenwall Lunds universitet
Filosofisk logik Kapitel 15 Robin Stenwall Lunds universitet Dagens upplägg Första ordningens mängdlära Naiv mängdlära Abstraktionsaxiomet (eg. comprehension) Extensionalitetsaxiomet Små mängder Ordnade
Läs merEn populärvetenskaplig introduktion till urvalsaxiomet och dess konsekvenser
En populärvetenskaplig introduktion till urvalsaxiomet och dess konsekvenser Hampus Altvall Eli Cramsky Alexander Davidson Tobias Magnusson Handledare: Petter Strandmark 17 maj 2012 Sammanfattning I denna
Läs merMS-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 merLOGIK, 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 merIckestandardanalys ett didaktiskt knep?
Fredrik fredrikengstrom@gmailcom Mittuniversitetet Matematikbiennalen 2006, Malmö fredrikengstrom@gmailcom Mittuniversitetet 1 Introduktion Vad är ickestandardanalys? 2 Historisk bakgrund Newton vs Robinson
Läs merLösningsförslag till skrivningen i Vektorgeometri (MAA702) måndagen den 30 maj 2005
VÄXJÖ UNIVERSITET Matematiska och systemtekniska institutionen Per-Anders Svensson Lösningsförslag till skrivningen i Vektorgeometri (MAA702) måndagen den 30 maj 2005 Uppgift. Bestäm samtliga vektorer
Läs merMATEMATIK GU. LLMA60 MATEMATIK FÖR LÄRARE, GYMNASIET Analys, ht 2014. Block 5, översikt
MATEMATIK GU H4 LLMA6 MATEMATIK FÖR LÄRARE, GYMNASIET Analys, ht 24 I block 5 ingår följande avsnitt i Stewart: Kapitel 2, utom avsnitt 2.4 och 2.6; kapitel 4. Block 5, översikt Första delen av block 5
Läs merObjektorienterad modellering och diskreta strukturer. 13. Problem. Sven Gestegård Robertz. Datavetenskap, LTH
Objektorienterad modellering och diskreta strukturer 13. Problem Sven Gestegård Robertz Datavetenskap, LTH 2014 Rekaputilation Vi har talat om satslogik och härledning predikatlogik och substitution mängder
Läs merEn av matematikhistoriens mest berömda trianglar är Pascals triangel,
Michael Naylor Okända skrymslen i Pascals triangel Pascals triangel, som har varit känd av indiska, persiska, arabiska och kinesiska matematiker i mer än tusen år, fick sitt nuvarande namn i mitten av
Läs merANDREAS REJBRAND NV3ANV Matematik Matematiskt språk
ANDREAS REJBRAND NV3ANV 2006-02-14 Matematik http://www.rejbrand.se Matematiskt språk Innehållsförteckning MATEMATISKT SPRÅK... 1 INNEHÅLLSFÖRTECKNING... 2 INLEDNING... 3 MÄNGDER... 4 Att uttrycka en mängd...
Läs mer(A B) C = A C B C och (A B) C = A C B C. Bevis: (A B) C = A C B C : (A B) C = A C B C : B C (A B) C A C B C
Sats 1.3 De Morgans lagar för mängder För alla mängder A och B gäller att (A B) C = A C B C och (A B) C = A C B C. (A B) C = A C B C : A B A C (A B) C B C A C B C (A B) C = A C B C : A B A C (A B) C B
Läs merKapitel 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 merANDREAS REJBRAND 2014-04-25 Matematik http://www.rejbrand.se. Numeriska serier. Andreas Rejbrand, april 2014 1/29
Numeriska serier Andreas Rejbrand, april 2014 1/29 1 Inledning Författarens erfarenhet säger att momentet med numeriska serier är ganska svårt för många studenter i inledande matematikkurser på högskolenivå.
Läs merFörslag den 25 september Matematik
Matematik Matematiken har en flertusenårig historia med bidrag från många kulturer. Den utvecklas såväl ur praktiska behov som ur människans nyfikenhet och lust att utforska matematiken som sådan. Matematisk
Läs merExplorativ övning Geometri
Explorativ övning Geometri Syftet med denna övning är att ge kunskaper om grundläggande geometriska begrepp och resultat om geometriska figurer. Vi vill också ge en uppfattning om geometri som en matematisk
Läs merEnklare matematiska uppgifter
Elementa Årgång 49, 966 Årgång 49, 966 Första häftet 2555. Visa att 4 n + n + 8 ej kan vara primtal för något heltal n 0. 2556. Man vill göra en behållare utan lock, som rymmer m 3, i form av en rätvinklig
Läs merExplorativ övning 11 GEOMETRI
Explorativ övning 11 GEOMETRI Syftet med denna övning är att ge kunskaper om grundläggande geometriska begrepp och resultat om geometriska figurer. Vi vill också ge en uppfattning om geometri som en matematisk
Läs merMatematik 1c. address: URL: Daniel Bosk
Matematik 1c E-mail address: dbosk@kth.se URL: http://www.bosk.se/ Daniel Bosk Innehåll Kapitel 1. Introduktion 1 1.1. Vad är då matematik? 1 Kapitel 2. Logik och bevis 3 2.1. Logik 3 2.2. Axiom 5 2.3.
Läs mer