| Matematiska begrepp |
|---|

Matematik (från grekiska: Μαθηματικά) är en abstrakt och generell vetenskap om problemlösning och metodutveckling: abstrakt därför att den har frigjort sig från problemens konkreta ursprung, och generell därför att den kan tillämpas inom ett stort antal områden och teoretiska modeller. Matematik kan också beskrivas som vetenskapen om kvantitativa relationer och rumsliga former i den verkliga världen. Exempel på matematiska begrepp är tal, data, struktur, kvantiteter, rum och förhållandena mellan dessa. Begreppen kan studeras som abstrakta objekt i sig (ren matematik) eller tillämpas inom vetenskapliga discipliner som fysik och teknik (tillämpad matematik).
Medan naturvetenskapen studerar företeelser i tid och rum är det inte självklart att detsamma gäller för de objekt som matematiken studerar. Även metoderna skiljer sig åt: naturvetenskapen använder främst induktiva metoder och matematiken deduktiva. Bland annat av dessa skäl väcker matematiken ontologiska och kunskapsteoretiska frågor som skiljer sig från vetenskapsteorins. Frågorna behandlas inom matematikfilosofi.
Det grekiska ordet mathemata betyder ungefär ”det som lärs”, ibland i allmän bemärkelse och ibland med syftning på astronomi, aritmetik och musik. Ordet hör ihop med substantivet mathema (μάθημα), som betyder ”lärdom”, ”kunskap” eller ”studium”. Mathema kommer i sin tur av verbet manthanein (μανθάνειν), ”att lära sig”.
Ordet mathemata och dess släktord har gett upphov till motsvarande ord i andra europeiska språk. Latinets mathematica, franskans mathématiques, spanskans matemáticas och engelskans mathematics har alltså ett gemensamt ursprung. Vad ordet matematik omfattar har aldrig varit enhetligt, utan har varierat genom historien och mellan regioner som Europa, Kina och Mellanöstern. I matematikhistorisk forskning söker man efter motsvarande ord i andra kulturer, och genom att undersöka dessa ord och de verksamheter som förknippats med dem har ämnet vuxit fram.
I svenskan betecknar matematik skolämnet eller vetenskapen, som i ”lärobok i matematik” och ”professor i matematik”. I vardagligt tal kan ”det är matematik” syfta på aritmetik i betydelsen ”det är lätt att räkna ut”.
Den vardagliga kortformen matte för skolämnet är enligt Svenska Akademiens ordbok belagd sedan 1924. De engelska motsvarigheterna är math (amerikansk engelska) och maths (brittisk engelska, belagt sedan 1890).

Matematiken har en minst 4000 år lång historia. Enligt vissa går den längre tillbaka än så; i Sumer i södra Mesopotamien, i nuvarande Irak, utvecklades matematik i samband med skrivkonsten och läsandet för omkring 5000 år sedan. Mycket av vår äldsta kunskap om människans användning av matematik kommer från det forntida Egypten och Babylonien. Matematik har också utvecklats inom bland annat den grekiska, arabiska, kinesiska, indiska och mayanska kulturen. Bland de områden som behandlats genom historien finns algebra, analys, tal och talteori, geometri och topologi, matematisk fysik och matematisk astronomi.
Den förste matematikern som är känd till namnet är Ahmes, en egyptisk skrivare som omkring 1650 f.Kr. skrev ned en samling matematiska problem som han uppgav sig ha hämtat ur äldre skrifter. Texten är i dag känd som Rhindpapyrusen. Tillsammans med andra arkeologiska fynd som Plimpton 322 (Babylonien, mellan 1900 och 1600 f.Kr.) och Moskva-papyrusen (Egypten, Mellersta riket, omkring 1700 f.Kr.) visar den att det forntida Egypten och Babylonien, civilisationer som föregick Antikens Grekland, hade välutvecklade system för att skriva tal.
Enligt en klassisk periodindelning framträdde matematiken som en självständig vetenskap i Antikens Grekland under 500- och 400-talen f.Kr. Grekernas deduktiva framställning av geometrin, med Euklides Elementa som mest kända exempel, förblev i mer än två tusen år förebilden för hur en matematisk teori byggs upp. Under 1600-talet ledde naturvetenskapens behov av att beskriva rörelse och förändring till analytisk geometri och differential- och integralkalkylen. Under 1800-talet drevs utvecklingen i allt högre grad av matematikens egna frågor, med bland annat funktionsteorin för komplexa variabler och Lobatjevskijs icke-euklidisk geometri. Samtidigt skärptes kraven på logisk stringens, och frågan om matematikens grunder behandlades inom mängdteori och matematisk logik.
Norman L. Biggs skriver i sin lärobok Discrete Mathematics: ”Matematiker behandlar påståenden. Oftast handlar påståendena om tal. Påståendena kan vara sanna eller falska. För att avgöra om ett påstående är sant eller falskt krävs ett bevis.”
| Det här avsnittet behöver fler eller bättre källhänvisningar för att kunna verifieras. (2023-08) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Matematiska begrepp införs med definitioner som anger hur begreppen ska tolkas. Här presenteras några grundläggande begrepp i modern matematik. Beskrivningarna är i huvudsak inte formella definitioner utan förklaringar av hur begreppen används.
En mängd är en samling objekt, mängdens element. Mängden {1, 2, 3} är ändlig, medan {1, 2, 3, ...} är oändlig; punkterna markerar att uppräkningen fortsätter. En mängd utan element kallas den tomma mängden. Om alla element i en mängd också tillhör en annan mängd är den förstnämnda en delmängd av den andra. Av två mängder kan man bilda deras snitt, de element som tillhör båda mängderna, och deras union, de element som tillhör minst en av dem. Komplementet till en mängd består av de element som inte tillhör mängden men som tillhör en given grundmängd. Mängder och operationer på mängder studeras inom mängdteori, där Zermelo-Fraenkels mängdteori är det vanligaste axiomsystemet.
En funktion ordnar till varje element i en mängd, definitionsmängden, exakt ett element i en annan mängd, målmängden. Mängden av de värden som funktionen faktiskt antar kallas värdemängden. I skolmatematiken är definitions- och värdemängderna oftast delmängder av de reella talen .
Matematikens talsystem omfattar bland annat de naturliga talen, heltalen, de rationella talen, de reella talen och de komplexa talen. Varje talsystem kan konstrueras ur det föregående, med de naturliga talen som grund:
Nedan beskrivs i korthet en sådan uppbyggnad, där de naturliga talen definieras med Peanos axiom. Ett axiom är här ett grundantagande som inte härleds ur andra påståenden.
Med de naturliga talen avses här de icke-negativa heltalen 0, 1, 2, … . Intuitivt får man dem genom att börja med 0 och sedan upprepade gånger lägga till 1. Den beskrivningen är dock inte formell, eftersom den förutsätter att addition redan är definierad. En formell grund ges av Peanos axiom:
Det finns en mängd med ett element 0 och en funktion , efterföljarfunktionen, sådana att
Talet kallas efterföljaren till och motsvarar det som vanligen skrivs . Axiom (i) säger att 0 inte är efterföljare till något tal, och axiom (ii) att olika tal har olika efterföljare. Tillsammans medför de att följden 0, s(0), s(s(0)), … aldrig upprepar sig, så att är oändlig. Axiom (iii) är principen om matematisk induktion: om en egenskap P(n) gäller för 0, och det för varje n gäller att P(n) medför P(n+1), så gäller P(n) för alla naturliga tal. Det ser man genom att tillämpa axiomet på mängden .
Addition och multiplikation definieras rekursivt med hjälp av efterföljarfunktionen:
Addition: och . Att addera n till m innebär alltså att tillämpa s n gånger på m.
Multiplikation: och . Multiplikation är alltså upprepad addition.
Med hjälp av induktionsaxiomet kan man visa att operationerna är väldefinierade för alla naturliga tal och uppfyller de vanliga räknelagarna, till exempel den kommutativa, den associativa och den distributiva lagen.
Ordning: (”m är större än eller lika med n”) om ekvationen har en lösning . Om lösningen är är , och om skriver man . Eftersom gäller för alla n, och saknar därför ett största element.
Subtraktion är däremot inte alltid möjlig inom ; till exempel saknar ekvationen lösning bland de naturliga talen.
Heltalen = {…, −2, −1, 0, 1, 2, …} utvidgar de naturliga talen så att subtraktion alltid är möjlig. De kan konstrueras som klasser av par (a, b) av naturliga tal, där paret representerar differensen a − b och två par (a, b) och (c, d) räknas som samma heltal om a + d = b + c. De naturliga talen kan då uppfattas som en delmängd av heltalen.
De rationella talen är kvoter av heltal med . De kan konstrueras som klasser av par (a, b) av heltal med b ≠ 0, där (a, b) och (c, d) räknas som samma tal om ad = bc. I är division med tal skilda från noll alltid möjlig.
Vissa storheter, till exempel , kan inte skrivas som kvoter av heltal. De reella talen fyller ut dessa luckor på tallinjen. De kan konstrueras ur de rationella talen, till exempel med Dedekindsnitt enligt Richard Dedekind eller med Cauchyföljder. Till skillnad från de rationella talen har varje uppåt begränsad, icke-tom mängd av reella tal en minsta övre begränsning.
De komplexa talen kan konstrueras som par av reella tal och skrivs a + bi, där . I har varje polynomekvation av grad minst ett en lösning (algebrans fundamentalsats).
En vektor kan i det enklaste fallet ses som en ordnad lista av tal, vektorns komponenter, och tolkas som en punkt eller en riktad sträcka i ett koordinatsystem. Punkter och vektorer kan i sin tur användas för att beskriva geometriska figurer. Mer allmänt är en vektor ett element i ett vektorrum, en mängd där addition och multiplikation med tal är definierade och uppfyller vissa grundläggande räkneregler. Även andra objekt än tallistor, till exempel polynom, kan på så sätt behandlas som vektorer.
Matematisk notation består av symboler som gör det möjligt att uttrycka matematiska idéer koncist. Tecknen + för addition och − för subtraktion började till exempel användas i Europa under senmedeltiden och förekom i tryck för första gången 1489, i en räknebok av Johannes Widmann.
| Det här avsnittet behöver källhänvisningar för att kunna verifieras. (2021-04) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Läran om tal och räkneoperationer på tal kallas aritmetik. Till de aritmetiska operationerna hör addition, subtraktion, multiplikation och division, som kallas de fyra räknesätten, samt potenser (att upphöja ett tal till en exponent). Aritmetiken omfattar också faktorisering (uppdelning av ett tal i faktorer vars produkt är talet) och kongruensrelationer (att två tal ger samma rest vid division med ett givet tal). Operatorprioriteten avgör i vilken ordning olika delar av ett matematiskt uttryck ska beräknas. Aritmetiken var ett av de fyra ämnena i quadrivium vid de medeltida universiteten.
Geometri är läran om rumsliga strukturer. Under 1600-talet formulerade René Descartes geometriska problem med algebraiska metoder, vilket gav upphov till analytisk geometri. En följd av detta var att olika kägelsnitt kunde beskrivas med korta ekvationer och att plana geometriska figurer kunde avbildas i ett kartesiskt koordinatsystem. Trigonometrin studerar sambanden mellan vinklar och sidor i trianglar och är nära förbunden med geometrin. I modern tid har topologin blivit ett viktigt område. Den studerar egenskaper som bevaras när ett objekt töjs, böjs eller trycks ihop utan att rivas sönder eller klistras ihop. Avstånd och vinklar spelar därför ingen roll, medan till exempel antalet hål bevaras.
Algebra handlar ursprungligen om att lösa ekvationer och har beskrivits som läran om kvantitativ balans. Elementär algebra behandlar räkning med variabler och lösning av ekvationer, och linjär algebra behandlar vektorer, matriser och linjära ekvationssystem. Abstrakt algebra, eller modern algebra, studerar algebraiska strukturer, som består av en mängd, en eller flera operationer på mängden och räkneregler för dessa. Den växte fram under 1800-talet, när problem från talteorin och ekvationsteorin ledde till studiet av abstrakta objekt, till exempel tal, polynom, permutationer eller element i andra mängder, för vilka operationer liknande de aritmetiska kan definieras.
Matematisk analys handlar om förändring. Analysen bygger på begreppet gränsvärde, med vars hjälp derivatan, ett mått på förändringshastighet, och integralen, ett gränsvärde av summor, definieras. I vektoranalys kombineras analys och linjär algebra, oftast för att lösa problem i tre dimensioner.
Diskret matematik handlar om diskreta, det vill säga åtskilda, strukturer som heltalen, ändliga mängder och grafer. En viktig gren är kombinatorik, som bland annat behandlar kombinationer och permutationer. Även grafteorin hör hit.
Matematiken strävar efter att abstrahera och generalisera begrepp. Ett exempel är begreppet symmetri, vars abstraktion bland annat leder till gruppteori och galoisteori.
Matematiska satser är resultat som härleds ur ett antal grundläggande påståenden, axiom, som godtas utan bevis. Ett axiom har traditionellt betraktats som en självklar sanning och skiljer sig därmed från en förmodan eller hypotes, som inte betraktas som självklar.
En sats är ett bevisat matematiskt påstående. Beviset visar att satsen följer ur axiomen, tidigare bevisade satser och definitioner, där en definition är en exakt förklaring av ett matematiskt ord eller uttryck. Ett bevis ska kunna övertyga en läsare med relevanta förkunskaper om att satsen är sann. Ett lemma är en hjälpsats vars huvudsyfte är att förenkla beviset av en större sats, och en följdsats är en direkt konsekvens av en sats.
Ett enkelt exempel: enligt definitionen är ett heltal n udda om n = 2a + 1 för något heltal a. Påståendet att 7 är udda bevisas då genom att välja a = 3, eftersom 7 = 2·3 + 1.
Den brittiske matematikern och filosofen Bertrand Russell (1872–1970) skrev:
| ” | Ren matematik består helt och hållet av försäkringar om att om ett visst påstående är sant om någonting, så är ett visst annat påstående sant om den saken... Det är väsentligt att inte diskutera huruvida påståendet verkligen är sant, och att inte nämna vad detta någonting är som det antas vara sant om... Om vår hypotes handlar om vad som helst, och inte om någon eller några bestämda saker, så utgör våra slutsatser matematik. Matematiken kan alltså definieras som det ämne där vi aldrig vet vad vi talar om, eller om det vi säger är sant. | „ |
| – Bertrand Russell | ||
Många matematiker har talat om skönheten i matematiken. Bland annat skrev G.H. Hardy:
| ” | Matematikerns mönster måste, liksom målarens eller poetens, vara vackra; idéerna måste, liksom färgerna eller orden, passa ihop på ett harmoniskt sätt. Skönheten är det första provet: det finns ingen varaktig plats i världen för ful matematik. | „ |
| – G.H. Hardy | ||
Matematikfilosofin omfattar ett antal filosofiska inriktningar med olika uppfattningar om vad matematiken är. Exempel är de så kallade fyra skolorna, logicism, intuitionism, formalism och predicativism, samt platonism, nominalism och strukturalism.
Fysik var ursprungligen benämningen på all naturvetenskap. När bland andra kemin, biologin och geovetenskaperna blev egna vetenskaper kom fysiken att bli den vetenskap som studerar materians grundläggande strukturer. Den teoretiska fysiken är starkt matematiskt inriktad.
Numerisk analys omfattar metoder för att med dator finna approximativa lösningar till matematiska problem. Exempel är att bestämma rötter till ekvationer av formen eller att anpassa ett polynom till ett antal punkter.
Sannolikhetsteorin beskriver och studerar matematiska modeller av slumpmässiga fenomen ur ett teoretiskt perspektiv. Statistiken utvecklar metoder, principer och kriterier för att analysera data från slumpmässiga fenomen, experiment och observationer. Sådana metoder bygger ofta på sannolikhetsteorin, och de två områdena är därför nära förbundna.
Många vetenskapliga modeller är deterministiska, vilket innebär att framtida tillstånd kan förutsägas exakt utifrån kända begynnelsevärden. Isaac Newtons rörelselagar är ett exempel: med dem kan man bland annat beräkna hur lång tid det tar för jorden att gå ett varv runt solen. Sannolikhetsteorin studerar i stället fenomen vars utfall inte kan förutsägas exakt och använder därför probabilistiska modeller. Ett myntkast är ett exempel: även med fullständig kunskap om myntets konstruktion, till exempel att det är symmetriskt, går det inte att förutsäga om utfallet blir krona eller klave.
Den väsentliga skillnaden mellan sannolikhetsteori och statistikteori är att man i sannolikhetsteorin utgår från en given slumpmodell och försöker förutsäga utfallet av ett slumpförsök, medan man i statistikteorin utgår från observerade utfall och försöker beskriva den underliggande slumpmodellen. En biokemist kan till exempel använda statistiska metoder vid utvecklingen av ett läkemedel mot huvudvärk. Eftersom människor reagerar olika varierar lindringen mellan personer, och en statistisk analys av data från ett sådant försök kan visa hur stor lindring som kan förväntas i genomsnitt.
Optimeringslära handlar om att maximera eller minimera en storhet, ofta under givna bivillkor.
I Sverige har Skolverket beskrivit matematik som ”ett nationellt prioriterat utvecklingsområde”. Matematik ingår i läroplanerna för förskolan, grundskolan, grundsärskolan, sameskolan, gymnasieskolan, gymnasiesärskolan och vuxenutbildningen. Sedan den 2 juli 2023 heter grundsärskolan och gymnasiesärskolan anpassad grundskola respektive anpassad gymnasieskola. Matematikundervisning förekommer i samtliga världsdelar.
Matematiklärare utbildas vid universitet och högskolor. Vid Stockholms universitet kan matematik till exempel läsas som första eller andra ämne inom ämneslärarprogrammet och kombineras med ämnen från andra fakulteter, som historia eller engelska.
I Sverige bedrivs matematisk forskning bland annat vid Stockholms universitet, Uppsala universitet, Linköpings universitet, Chalmers tekniska högskola, Kungliga Tekniska högskolan, Luleå tekniska universitet, Lunds universitet och Mälardalens universitet, men också vid forskningsinstitut som Institut Mittag-Leffler och Fraunhofer-Chalmers Research Centre for Industrial Mathematics. I Finland bedrivs matematisk forskning bland annat vid Helsingfors universitet. Andra exempel är amerikanska Massachusetts Institute of Technology, engelska Universitetet i Cambridge, schweiziska Eidgenössische Technische Hochschule Zürich, kinesiska Pekinguniversitetet, franska École polytechnique och japanska Tokyo Kogyo-universitetet (sedan 2024 en del av Institute of Science Tokyo).
Exempel på matematiska tidskrifter är Acta Mathematica, Annals of Mathematics och The American Mathematical Monthly.
| ||||||||
|