Emilie och Emmy

 

Emilie du Chatelet (1706 - 1749) fick av sin far samma utbildning som hennes bröder, bl.a fäktning, ridning och gymnastik. Vid tolv års ålder talade hon latin, italienska, grekiska och tyska, samt givetvis sitt modersmål franska. Hon fick däremot inte någon tidig utbildning i matematik eller metafysik.

 

 

Hon tillhörde dock överklassen vilket gav henne rätt stora friheter. Efter att ha fött tre barn så flyttade hon och hennes man isär och började att ha älskare istället, vilket var accepterat i hennes kretsar. Av dessa så uppmuntrade duc de Richelieu henne att ånyo utforska matematiken. Hennes lärare blev 1733 Maupertuis. Hon kom sen att bli vän för livet med Voltaire.

 

Kring 1738 publicerade Kungliga Vetenskapsakademin en dissertation av henne om eld. Det var det första som de gav ut av en kvinna. Hon beskriver bl.a vad som senare kom att kallas infraröd strålning.

 

Hennes ”Lektioner i fysik” gavs ut 1740. Hon förklarar där Descartes, Leibniz och Newtons upptäckter. Hon kombinerar även teori med praktiska observationer av en Gravesande och kan korrigera Newton och andra med att säga att energin för ett objekt i rörelse är proportionellt till dess massa och *kvadraten* av dess hastighet (E ~ mv²).

 

Hon skrev även om religion och var lingvist och musiker. I Discours sur de bonheur som publicerades samma år som hon dog så skriver hon om sina passioner för studier, vetgirighet, spel och sex. Hon dog vid 42 års ålder i komplikationer efter en förlossning.

 

Samma år som hon dog så slutförde hon översättningen av Newtons Principia till franska, med hennes kommentar som innehöll hennes slutsats om idén ”energins bevarande”, vilken hon drog utifrån Newtons mekaniska principer. Den publicerades först tio år efter hennes död. Hennes översättning används fortfarande i Frankrike. Principen om energins bevarande skulle senare utvecklas vidare av Noether.

 

Om det ligger nånting i reinkarnation så gissar jag att du Chatelet återföddes som Amalie Emmy Noether (1882 - 1935), mest känd för Noethers sats, som säger att varje kontinuerlig symmetri inom fysiken svarar mot en bevarandelag.

 

Emmy Noether var dotter till en matematiker men kvinnor var vid denna tid utestängda från högre matematiska studier i Tyskland. Noether utbildade sej först till språklärare i engelska och franska men utbildade sej sedan inofficiellt inom matematik. Hon fick närvara vid föreläsningar om föreläsarna gav sitt tillstånd.

 

Hon var en optimistisk och social person, uppslukad av matematiska problem och brydde sej inte mer om sitt uteende än vad männen gjorde om sitt.

 

Hon lyckades doktorera med en avhandling om invariatanalys men fick inte hålla den föreläsning som var obligatorisk. Albert Einstein drog nytta av hennes resultat inom invariatanalysen och prisade henne i ett brev till matematiken David Hilbert. Med Hilberts hjälp så blev Noether 1919 privatdocent utan lön.

 

Invariatanalysen ledde till Noethers sats. Annars så sysslade hon inte så mycket med fysik.

 

Den allmänna relativitetsteorin som publicerades 1915 hade vissa problem med energins bevarande. Trots att ett flertal lärda professorer jobbade med problemet så var det Noether som löste det.

 

Det finns i fysiken ett flertal konserveringslagar som t.ex lagen om energins bevarande, lagen om rörelsemängdens bevarande och lagen om bevarande av elektrisk laddning.
Dessa lagar beskriver vad som inte förändras efter en viss händelse.
Noethers sats anknyter varje konserveringslag till en underliggande fysisk symmetri.
Detta var ett nytt och på sätt och vis genialiskt enkelt sätt att se på saken.
Empiriska iaktagelser förvandlas till begreppsliga självklarheter.

 

 

Efter denna utflykt till fysiken så återvände hon till den rena matematiken. Noether kom på att man borde studera de processer som bevarar matematiska strukturer. Efter 1919 jobbade hon med idealteori inom abstrakt algebra.

 

”Abstract algebra can be dated from the publication of two papers by Noether,”
-Nathan Jacobson

 

Hon publicerade sällan i eget namn. Hon samarbetade ofta med andra. Hon förelog ofta idéer som senare publicerades av hennes elever. Elever sökte sej till henne långväga ifrån.

 

Noether brukade inte skriva formler på svarta tavlan under tystnad utan diskuterade matematiska idéer med sina elever som om det vore en sorts filosofi.

 

"She taught us to think in simple, and thus general, terms... and not in complicated algebraic calculations,"
- P.S. Alexandroff

 

Efter 1927 jobbade hon med ickekommutativ algebra m.m.

 

”The theory of non-commutative algebras and their representations was built up by Emmy Noether in a new unified, purely conceptual manner by making use of all the results that has been accumulated by the ingenious labors of decades”
-Hermann Weyl

 

Hon sägs ha varit en av inspirationskällorna till kategoriteori. Saunders Mac Lane som grundade kategoriteorin tillsammans med Samuel Eilenberg hade studerat under Noether. Lawveres och Schanuels introduktionsbok i kategoriteori heter ”Conceptual math”

 

Det var inte bara som kvinna som hon avvek från normen. I sin ungdom var hon socialist och pacifist men när hon blev äldre så diskuterade hon sällan politik. 1933 tvingades hon som judinna fly till USA där hon fick en gästprofessur. Bara två år senare så avled hon efter en livmodersoperation, 53 år gammal.

 

Både Emilie och Emmy älskade att dansa.

 
 
 
 

Absolut negativ temperatur

I Kina finns exempel på att man räknade med negativa tal redan under antiken. För det mesta så har dock matematiker under historien varit negativa när de har snubblat över idén med negativa tal.

 

Via Indien och muslimska världen så nådde idén fram till Europa där t.ex Fibonacci (1170-1250) accepterade negativa tal åtminstone inom ekonomin, där de kunde tolkas som skuld. De flesta kallade dock negativa tal för absurda.

 

När Leibniz uppfann den matematiska analysen så blev dock negativa tal en nödvändighet och folk började att acceptera dem.

 

John Wallis konstaterade 1656 att 1/a krympte mot noll när a växte mot oändligheten och att 1/oändligt blev noll. När a krympte mot noll så växte kvoten mot oändligheten. Ett delat med ett negativt tal borde därför bli större än oändligheten.

 

Euler kom fram till samma slutsats 1746. Både Wallis och Euler missförstods som att de menade att alla negativa tal var större än oändligheten.

 

Wallis hade faktiskt också uppfunnit tallinjen där alla positiva tal står skivna på ett streck, och han hade även dragit ut strecket åt andra hållet och skrivit de negativa talen där, på andra sidan om nollan. Tallinjen började tydligen inte användas i vanlig undervisning förrän efter andra världskriget.

 

1956 kom ett av de första vetenskapliga arbeterna om negativa absoluta temperaturer inom fysiken. Detta har alltså ingenting att göra med de negativa temperaturer som vi talar om till vardags.

 

Om man har ett system, som en partikel eller flera, som har en negativ temperatur, och det systemet kommer i kontakt med ett annat system med positiv temperatur, så kommer energi att flöda från systemet med negativ temperatur till systemet med positiv temperatur, oavsett hur varmt systemet med positiv temperatur än är.

 

Eftersom energi flödar från varmare system till kallare system så kan man alltså säga att negativa temperaturer är varmare än någon positiv temperatur, eller ”mer än oändligt varmt”.

 

Detta fungerar bara om man har en övre gräns för hur mycket energi ett system kan ha. Detta hittar man egentligen bara inom kvantfysiken. I klassisk fysik så finns inget liknande.

 

Teoretiskt så använder man sej av en temperaturskala som är en cirkel. Ena halvan är positiva temperaturer och andra halvan är negativa temperaturer. Bägge sidorna går från noll till oändligheten. Här blir verkligen alla de negativa talen större än oändligt liksom de även är mindre än noll, samtidigt. Den kommer inte från Wallis, Leibniz eller Euler, så jag undrar var den kommer ifrån?

 


Herr Warum

There would be no danger of an atomic war if advances in history, the science of right and of state, philosophy, psychology, literature, art, etc. were as great as in physics. But instead of such progress, one is struck by significant regresses in many of the spiritual sciences.
-Gödel

 

Kurt Gödel föddes 1906 i Österike-Ungern. När han var tolv splittrades landet och han föll till den tjeckoslovakiska sidan. När han var 23 valde han att bli österrikare istället. När han var 32 annekterade Tyskland Österike och Gödel blev nu tysk. När han var 42 blev han amerikansk medborgare, vilket han var till sin död 71 år gammal.

 

Som tonåring läste han bl.a Göthe, Newton och Kant. Han tänkte först bli fysiker men läste ocskå matematik och filosofi. Han deltog i Wienkretsens möten med bl.a Carnap. 1928 var han på ett seminarium där frågan ställdes:

 

”Are the axioms of a formal system sufficient to derive every statement that is true in all models of the system?”

 

Det blev ämnet för hans doktorsavhandling som han färdigställde året efter. I den la han fram sitt ”Fullständighetsteorem”. Året efter, 1930, så blev han doktor. 1931 la han så fram sitt ”Ofullständighetsteorem”, vid 25 års ålder.

 

”I was a conceptual and mathematical realist since about 1925. I have never held the view that mathematics is syntax of language. Rather this view, understood in any reasonable sense, can be disproved by my results.”
-Gödel

 

Han visar där att ett matematiskt system inte samtidigt kan vara både fullständigt och motsägelsefritt. Innan hade alla antagit att ett matematiskt system självklart kunde vara både fullständigt och motsägelsefritt samtidigt och många hade försökt att skapa ett sånt system.

 

För detta har han kallats 1900-talets störste logiker och andra har sagt att detta var det viktigaste framsteget i logik sen Aristoteles.
(Iofs så hände just ingenting inom logiken efter Aristoteles på kanske tusen år.)

 

Gödels egen filosofiska tolkning av detta tycks ha varit att matematiken existerar oberoende av oss och vad vi kan veta och bevisa, tvärtom mot vad t.ex Carnap trodde.

 

1933 tog nazisterna makten i Tyskland. Gödel själv var tysktalande protestant men många av hans vänner och arbetskamrater var judar. Samma år besökte Gödel USA för första gången och träffade bl.a Einstein. Med åren skulle de bli bästa vänner.

 

1936 mördades hans vän logikern Moritz Schlick. Efter detta började Gödel att visa tecken på paranoia som till och från skulle följa honom resten av livet.

 

Gödel gifte sej 1938. Samma år tog Nazityskland över Österrike. Som känd judevän tyckte den nya regimen att Gödel skulle passa bättre som soldat än vid något universitet. Så 1939-40 så flydde Gödel och hans fru till USA där han senare blev medborgare. Resan tog ett tag eftersom de inte tog vägen över Atlanten utan reste åt andra hållet, runt Jorden. Så de fick en lång bröllopsresa.

 

Redan 1940 kunde han ge ut sitt arbete om kontinuumhypotesen och ”axiom of choice”. Även detta anses vara ett mycket viktigt och inflytelserikt arbete.

1947 följde Einstein och en annan vän honom till hans medborgarskapsintervju. Allt gick bra tills domaren som förhörde Gödel frågade om han trodde att en diktatur som den i Tyskland skulle kunna utvecklas i USA. Gödel började då förklara en brist han hade upptäckt i USAs konstitution som gjorde att detta kunde hända. Domaren var dock en vän till Einstein och hade bestämt sej för att godkänna Gödel så han avbröt denne innan han hann göra bort sej.

 

Att Gödel med största säkerhet liksom alla europeriska intellektuella var övervakad kunde säkert inte ha varit bra för hans paranoia. Hemingway tog sitt liv för att han kände sej förföljd och trodde att han höll på att bli galen. Senare visade det sej att de mycket riktigt övervakade honom.

 

Efter 40-talet så publicerade Gödel aldrig något mer officiellt, men han fortsatte att arbeta. Med åren så gled hans intresse tillbaka till fysik och filosofi, som han hade varit intresserad av i sin ungdom.

 

1949 presenterade Gödel en modell av ett universum som han hade skapat utifrån Einsteins teorier och ekvationer. Gödels lösning innebar ett roterande universum som inte utvidgade sej men där det var möjligt att tiden skulle kunna skapa en sluten cirkel så att framtiden till sist satt ihop med det förflutna. Detta universum tycks vara teoretiskt fullt möjligt men verkar inte stämma in på iaktagelserna av vårt eget universum. Gödel själv tycks dock ha frågat folk ibland om forskarna ännu trodde att universum roterade. Stephen Hawking verkar anse att Gödels modell skulle kunna utvecklas så att det skulle kunna passa in på vårt universum.

Economist Oskar Morgenstern recounts that toward the end of his life Einstein confided that his "own work no longer meant much, that he came to the Institute merely ... to have the privilege of walking home with Gödel”.
-Wikipedia

 

Efter Wittgensteins död 1951 publicerades bl.a en bok där han bl.a diskuterar Gödels ofullständighetsteorem och efter Gödels död har man bland hans opublicerade material hittat kommentarer om att Wittgenstein har missförstått honom fullständigt och Gödel undrar även om det kan vara avsiktligt.

 

Mellan 1943 och 1958 försökte Gödel att utarbeta en matematikfilosofi som dessutom skulle vara ett förarbete till en metafysik. Vid 1958 tyckte Gödel sej ha bevisat att Carnaps uppfattning om matematiken som en generell språksyntax var felaktig men han tyckte sej inte ha presterat något tillräckligt bra alternativ. Så Gödel började 1959 att läsa Husserl och var speciellt intresserad av hans ”kategoriska intuition”.

 

1928 skrev Husserl att “The ideal of the future is essentially that of phenomenologically based (“philosophical”) sciences, in unitary relation to an absolute theory of monads”. Husserl nämner några gånger idén om en ”fenomenologisk monadologi”. Gödel verkar vilja använda Husserl och Leibniz för att utveckla en filosofisk grund för matematiken och alla vetenskaper.

 

Ungefär 1960 skrev Gödel ner sin filosofi i 14 korta punkter:

 

”1. The world is rational.
2. Human reason can, in principle, be developed more highly (through certain techniques).
3. There are systematic methods for the solution of all problems (also art, etc.).
4. There are other worlds and rational beings of a different and higher kind.
5. The world in which we live is not the only one in which we shall live or have lived.
6. There is incomparably more knowable a priori than is currently known.
7. The development of human thought since the Renaissance is thoroughly intelligible (durchaus einsichtige).
8. Reason in mankind will be developed in every direction.
9. Formal rights comprise a real science.
10. Materialism is false.
11. The higher beings are connected to the others by analogy, not by composition.
12. Concepts have an objective existence.
13. There is a scientific (exact) philosophy and theology, which deals with concepts of the highest abstractness; and this is also most highly fruitful for science.
14. Religions are, for the most part, bad-- but religion is not.”

 

1970 avslöjade Gödel sitt gudsbevis som han hade skapat redan 1941 och sedan hållit hemligt tills han nu trodde at han var döende. Det var en variant av det ontologiska gudsbeviset, som allra först hade skapats av Anselm av Canterbury och som sedan hade utvecklats av Leibniz. Gödel försöker att formulera detta i samtida modallogik. Detta har bl.a lett till att dataforskare har intresserat sej för problemet.

 

”My belief is theistic, not pantheistic, following Leibniz rather than Spinoza.”
-Gödel

 

Mot slutet av sitt liv blev Gödel god vän med Hao Wang och denne släppte efter Gödels död boken ”A logical journey: From Gödel to philosophy”, där han beskriver Gödels filosfiska utveckling.


”The last time I spoke with Kurt Gödel was on the telephone, in March 1977. I had been studying the problem of whether machines can think, and I had become interested in the distinction between a system’s behavior and the underlying mind or consciousness, if any.

… I had begun to think that consciousness is really nothing more than simple existence. By way of leading up to this, I asked Gödel if he believed there is a single Mind behind all the various appearances and activities of the world.

He replied that, yes, the Mind is the thing that is structured, but that the Mind exists independently of its individual properties.

I then asked if he believed that the Mind is everywhere, as opposed to being localized in the brains of people.

Gödel replied, “Of course. This is the basic mystic teaching.”

 

-Rudy Rucker’s Infinity and the Mind,

 

 

Kommer vi att kunna använda det här i verkligheten, majjen?

I was a conceptual and mathematical realist since about 1925. I have never held the view that mathematics is syntax of language. Rather this view, understood in any reasonable sense, can be disproved by my results.
-Gödel

 

Jag brukar ofta försöka att vara pedagogisk på den här bloggen. Några av de pedagogiska principer som jag försöker att följa är att konkretisera det abstrakta, personifiera det opersonliga, att skapa relationer till det ointressanta och att göra historier av det kaotiska.

 

Vår hjärna är byggd för att hantera konkreta saker. Det är lättare att hantera det abstrakta om vi väljer att tolka det som konkret.

 

Det går alltid att hitta konkreta exempel på all matematik som man vill lära ut. En god lärare klarar också av detta.

 

Att lösa ett problem i taget är att tänka konkret. Att lösa flera problem på en gång är att tänka abstrakt.

 

Detta leder bl.a till att det finns ingen tydligt skiljelinje mellan ren och tillämpad matematik.

 

Jag har delvis svårt att ta till mej matematikundervisning eftersom de nybörjartexter som jag hittar är formalistiska medan jag är en matematisk realist. Jag skulle föredra om matematisk formalism kallades för matematisk skepticism eller matematisk nihilism.

Realism betyder bl.a att matematiska fenomen är aldrig identiska med sina definitioner, som så ofta hävdas. Man bör alltid räkna med att det finns något okänt hos varje matematiskt fenomen.

 

Matematiska objekt visar sina olika sidor och egenskaper när de sätts i olika sammanhang, inte när de isoleras maximalt.

 

Istället för att ge olika konkreta exempel på en matematisk princip för att visa hur den dyker upp i olika sammanhang så ges man en abstrakt regel att nöta in utantill därför att det finns ingenting att ”förstå”. Detta visar åtminstone att såna lärare öppet påstår sej inte ha förstått nånting.

 

Oavsett om formalismen är sann eller inte så mynnar den åtminstone i dålig pedagogik.

 

Inte ens de grundläggande siffrorna vet vi allt om. ”Ett” och ”noll” är väl så enkelt och utforskat som det kan bli? Matematikerna har dock nyligen upptäckt att ett inte är ett primtal och att noll är ett jämt tal.

 

Kurt Gödel var matematisk platonist, WVO Quine var matematisk empirist och Anders Tegmark är en matematisk monist. Alla dessa räknas som varianter av matematisk realism. Quine har jag tidigare skrivit om och Gödel kommer det snart mer om.

 

Anders Tegmark anser ju att alla matematiska former har fysisk existens, men i olika universum eftersom de inte kan existera i samma fysiska universum samtidigt. Så för honom så är matematiken en grund för fysiken. Nu så delar jag inte exakt hans teori men han är ändå en relativt känd fysiker som anser att matematiken är reell och att detta är viktigt för fysiken och kosmologin.

 

Matematiken är för mej en objektiv verklighet. Logicism/konstruktivism/formalism o.dyl. funkar dåligt för mej. Den gör matematiken helt platt och livlös. Per definition meningslös. Egentligen så skulle det inte kunna finnas något okänt i matematiken att forska i om konstruktivismen eller logicismen vore sann. Om hela matematiken vore en enda stor tautologi så vore den helt ointressant och helt oanvändbar. Att göra matematiken till en stor tautologi är idag möjligen ett framtida mål, inte ett faktum.

 

Logicismen nämns ibland som ett alternativ. Den skapades urspungligen av Frege och innebär att matematiken är härledbar från formell logik. Frege själv tycks ha haft en filosofiskt "realistisk" syn på logiken. Den ursprungliga logicismen är motbevisad men det finns neo-logicister eller neo-Fregenister som vill förespråka och förnya projektet även idag.

 

Formalism är närbesläktat med matematisk fiktionalism, konventionalism, psykologism, intuitionism och konstruktivism. Det finns även sociologer som hävdar att matematiken är en skapelse av samhället och marxister som anser att matematiken har förvridits av klassamhället. Dessa kan vara inspirerade av t.ex Wittgenstein eller Durkheim.

 

Den bortre frontlinjen inom teortisk fysik skulle kunna vara sökandet efter m-teorin och man har sett intressanta överrensstämmelser med ett esoteriskt område inom den avancerade matematiken: ett matematiskt objekt som kallas E11. Eftersom bägge dessa områden är mycket svårutforskade så går utvecklingen långsamt men det låter mycket intressant.

 

M-teorin är ju en förmodad teori som förenar alla de olika strängteorierna. I strängteorierna är allt vibrerande strängar och olika partiklar får sina olika egenskaper främst från hur strängarna vibrerar.

Inom algebra så kan bara det komplexa planet med komplexa tal användas för att lösa alla algebraiska ekvationer, inte naturliga tal eller nått sånt. Det komplexa planet skulle kunna tolkas som att objekt bara är specialfall av vågor.

Fourieranalys är en av de mest användna teknikerna och den beskriver vibrationer. Så verkligheten verkar i hög grad beröra oss som vibrationer.


Så på flera olika sätt så verkar matematisk forskning vilja antyda att vibrationer är något grundläggande för vår omvärldsförståelse.

 

En annan intressant idé är att relatera matematikens filosofi till filosofins matematik, som jag har skrivit något litet om här.


Erlangenprogrammet

Jag har tidigare skrivit om hur olika talmängder förhåller sig till varandra; att man kan tala om en hierarki från de naturliga talen till de transcendentala talen.

 

Man kan även göra en liknande sak inom geometrin.

 

Förutom talteorin så är geometrin den kanske äldsta grenen av matematiken.


De finns idag en mångfald av olika geometrier och man kan även sätta vissa av dessa i en hierarki till varandra.


Under 1800-talet fann man sej för första gången i historien med en mångfald av geometrier.


Felix Klein och hans Erlangenprogram löste hur man skulle relatera dem till varandra.


Alla dessa nya geometrier kunde väl inte vara lika "sanna" som den klassiska euklidiska geometrin?

Jodå, svarade Klein.

Erlangenprogrammet såg euklidisk och ickeeuklidisk geometri som två sidor av samma sak.


På sin tid var det revolutionerande men idag så är det självklart.


Att öht ha olika "geometrier" som man försökte att relatera till varandra innebar en ny epok inom matematiken.

 

Olika geometrier betraktas av Klein som grupper, enligt "gruppteorin", som vara ganska ny då.

 

Projective>Affine>Similarity>Euclidian

 

Affin geometri hamnar mellan projektiv geometri och euklidisk geometri på så sätt att den åenasidan är identisk med euklidisk geometri utan kongruens, och åandrasidan är identisk med projektiv geometri om ett partikulärt plan eller linje får representera punkterna vid oändligheten.


1912 så utvecklade Wilson och Lewis en affin geometri för att uttrycka den speciella relativitetsteorin.

 

Den mest generella geometrin med minst antal lagar eller begränsningar är den projektiva.

 

De övriga geometrierna får man genom att lägga till ytterliggare lagar till den projektiva geometrin.

 

Detta gör att de övriga geometrierna kan liknas vid objekt inom den projektiva geometrin.

 

Inom matematiken idag så är "matematiska objekt" och "matematiska rum" ofta synonymer.

 

Den minst generella och mest specifika av de geometrier som Klein relaterade till varandra var den euklidiska, vår vardagliga geometri.


Den mest generella geometrin är den projektiva geometrin, som jag tidigare har skrivit lite om.

 

Den projektiva geometrin fick ett uppsving i början av 1800-talet och var inte allmänt känd innan.

 

Erlangenprogrammet gjorde de olika geometrierna så nära besläktade med varandra att de bara kunde vara "sanna" och "falska" samtidigt.


Innan hade många frågat sej vilken som egentligen var den rätta geometrin bland alla dessa nya och gamla geometrier.

 

Alla dessa geometrier kan hittas i naturen.


Projektiv geometri beskriver t.ex skuggor och andra projektioner.

 

Erlangenprogrammet har haft ett enormt inflytande över stora delar av matematiken och även inom fysiken.

 

 

Innehållet är idag grundläggande självklarheter.

 

Ett annat namn för Erlangenskolan är Kleingeometri.

 

En generalisering är "Cartans geometri".

 

Cartans geometri användes bl.a för en tidig formulering av gravitationsteori.

Idag finns det fysiska teorier kring "observer space" som bygger på cartans geometri.

Alfred Tarskij höll 1966 ett föredrag som hette "What are logical notons?" där han föreslår en skiljelinje mellan logik och icke-logik som är inspirerad av erlangenprogrammet. Han blev mycket citerad.

 

När Saunders MacLane och Samuel Eilenberg skapade kategoriteorin 1945 så skrev de att:

 

"This may be regarded as a continuation of the Klein Erlanger Programm, in the sense that a geometrical space with its group of transformations is generalized to a category with its algebra of mappings"

 

Noether, som även var en föregångare till kategoriteorin, såg på matematiken som ett relationellt spel. inga talmängder utan konstruktionsmetoder.

 

Whitehead och Russell förenade logik med algebra och mängdlära, men geometrin och topologin ville inte passa in för Whitehead som istället skapade mereotopologin.

 

Inom kategoriteori så kan man nu jämföra algebra, logik, geometri och topologi.

 

Olika geometrier betraktas nu som grupper, enligt gruppteorin.

 

Kan det vara så att A.N. Whitehead inte kunde tämja geometrin för att han var otillräckligt bekant med gruppteorin och istället använde sej av mängdlära?


Hur imaginära är imaginära tal?

Alla kan vi räkna; 1, 2, 3 osv.
Men inte alla känner till att de där kallas för de naturliga talen.

 

Ska man bara använda naturliga tal så kan man räkna med plus och gånger men det kan bli problem om man vill använda minus eller delat med.
Tar man 2 minus 3 så får man t.ex inget "naturligt tal" utan ett "negativt tal".
De positiva och negativa heltalen kallas tillsammans för "integers".

 

Tar man 2 delat med 3 så får man inte heller något "naturligt tal", men inte heller en "integer".
Man får "2/3" som kallas för ett "rationellt tal", eftersom "ratio" ursprungligen betyder proportioner.
Försöker man att dela 10 med tre så kan reslutatet inte uttryckas fullständigt i decimalform eftersom man då vore tvungen att skriva oändligt många treor: "3,3333…". Däremot kan man skriva "10/3" vilket på sätt och vis är ett mer fullständigt svar.

 

Roten ur två kan däremot inte skrivas fullständigt varken som bråk eller i decimalform. Roten ur två innehåller oändligt många decimaler som inte upprepar sej. Sådana tal räknas inte till de rationella talen utan kallas för reella tal. Andra liknande tal är "e" och "pi". Alla rationella tal räknas som en del av alla reella tal. De reella talen som inte är rationella kallas för transcendentala.

 

Med hjälp av de reella talen kan vi nu göra alla möjliga matematiska beräkningar, utom en. Vi kan fortfarande inte ta roten ur minus ett. När man lär sig grundskolematte så får man ofta höra att det inte går att dra roten ur minus ett, och förklaringen verkar ju övertygande.

 

Ett negativt tal kan liknas vid ett hål.
Tag minus ett plus minus ett så får du ett dubbelt så djupt hål, alternativt två hål brevid varandra.
Ett minustecken innebär dock också att man gör något till sin absoluta motsats.
Tar man ett hål en gång så får man ett hål.
Tar man ett hål minus en gång så betyder det att man tar motsatsen till ett hål en gång och får ett positivt objekt istället.
Så minus ett gånger minus ett blir plus ett.
Man tycks inte kunna ta roten ur ett negativt tal.
Tar man ett tal gånger sej självt så får man alltid ett positivt svar.
När man insåg detta så insåg man dock också att man ibland behövde dra roten ur negativa tal. Vad är svaret på roten ur minus ett? En paradox.

 

Så man uppfann det imaginära talet. Men om ett negativt tal är ett hål, hur ser då ett imaginärt tal ut? Såväl objekt som hål kan beskrivas som sammanhang av relationer. Ett imaginärt tal måste också vara något sammanhang av relationer. Komplex matematik används ofta för att beskriva processer, inte minst periodiska funktioner. Ett komplext tal har en reell och en imaginär del. i är symbolen för det imaginära talet.

 

Vad negerar sej själv när man applicerar det på sej själv? Ljud och andra vibrationer negerar ju sej själva om de förskjuts på rätt sätt. Ett imaginärt tal materialiserat kanske blir en stående våg eller nått sånt. Vi har inte längre objekt och antiobjekt (hål) utan vågor. Enl. kvantfysiken så har alla partiklar både partikel- och vågegenskaper.

 

Vågorna slår mot stranden. Ibland är de där, ibland inte. De existerar genom att negera sej själva, annars vore de inte vågor. Oscilliationer är paradoxer utagerade i tiden.

 

Naturliga tal beskriver en värld av objekt.
Integers beskriver en värld av objekt och deras motsatser, som vi kan kalla "antiobjekt" eller "hål".
Rationella tal kan liknas vid objekt med delar.
Reella tal beskriver en kontinuerlig värld utan klara gränser mellan objekt. 0,9999…=1
Och beskriver komplexa tal en värld av vågor där objekt är specialfall av vågor?

 

Det komplexa planet är den första algebraiskt slutna mängden. Det finns ingen algebraisk uträkning som kräver mer än det komplexa planet. Detta kallas algebrans fundamentalsats.

 

De komplexa talen innefattar alla de övriga talmängderna och pekar inte nödvändigtvis vidare mot nya talmängder, som de tidigare talen gjorde. Det finns mer avancerade tal, "hyperkomplexa" tal som "quarternioner", men de har ganska liten praktisk användning medan komplexa tal har en mycket stor praktisk användning.

 

Komplexa tal kan beskriva rotation i två dimensioner mycket bra medan hyperkomplexa tal kan beskriva rotation i tre eller högre dimensioner. Hyperkomplexa tal har t.ex användning inom kvantfysiken.

 

Komplexa tal fångar bl.a vissa egenskaper hos trigonometri och används därför bl.a flitigt i sammanhang med trigonometriska funktioner, som fourieranalys, och bl.a i samband med elektricitet och magnetism. Komplex analys är en naturlig vidareutveckling av analys. Komplexa tal är också fundamentala för kvantmekanik. "Konformal maps" förenklar svåra ingenjörsproblem genom att tolka tredimensionella problem som tvådimensionella.

 

Förutom sin praktiska användning så förekommer det komplexa planet även flitigt inom högre matematik som mest intresserar matematiker.
Riemanns zätafunktion, elliptiska funktioner och betafunktionen hör till det komplexa planet.
Vissa fraktaler som mandelbrootmängden och juliamängderna hör till det komplexa planet.
Komplexa tal är via inverterad geometri kopplad till riemannsfären och kartografi.

 

En del människor envisas med att anse att endast de naturliga talen har någon fysisk eller metafysisk motsvarighet. Hade vi bara haft de naturliga talen så hade dock vår matematik fungerat mycket dåligt i verkligheten.


M-teorin och E11

När jag skrev om m-teorin så pekade jag på ett behov av ny matematik. Finns det då nånting inom den matematiska forskningens framkant som kan belysa den fysiska forskningens frontlinje?

 

Grothendiecks k-teori visade sej beskriva delar av m-teorin men inte hela

 

Det finns dock nånting annat intressant. Minns ni killen som hittade kvantfältteorin i E8? Det vetenskapliga etablisemanget verkar inte ha intresserat sej så mycket, men det finns ett liknande projekt som kanske innefattar det första.

 

2001 kom någon på att E8s större släkting E11 tycks ha intressanta överrensstämmelser med m-teorin. M-teorin finns ju egentligen inte (ännu) men antas vara teorin som ligger bakom och förenar 5 olika strängteorier och en 11-dimensionell supergravitationsteori.

 

Det visar sej nu att E11 är en god kandidat för att göra just detta. I så fall så skulle m-teorin på något sätt vara identisk med E11, eller något liknande samband. Man håller dock ännu på att utforska E11 och ingen vill säga för mycket ännu. Det är ett mycket stort och komplicerat matematiskt objekt.

 

I så fall så skulle fysiken egentligen vara ett matematiskt objekt, i stil med ett nummer eller en triangel, fast mer komplicerat. E11 har oändligt många dimensioner och kallas för en Kac–Moody algebra.

 

På ett sätt så är E11 inte alls vad jag efterfrågade, eftersom jag ville ha någon ny matematik som skulle göra m-teorin mer hanterlig och praktisk, medan E11 mest bara verkar bekräfta att allt är oerhört komplcerat. 

 

Man vet även att E12 existerar fast den vet man ännu mindre om.


Fouriertransformationen och du

Vilken matematik är det som fungerar i praktiken? Vilken typ av matematik beskriver bäst världen omkring oss?

 

När du hör ett ackord, tala om vilka toner som ingår. Detta är rätt exakt vad harmonisk analys är.

 

Världen omkring oss tycks ofta nå oss som en blandning av olika frekvenser. Därför är harmonisk analys en av de mest praktiska matematiska upptäckterna.

 

Den franske matematikern och fysikern Fourier upptäckte fouriertransformationen i början av 1800-talet när han sökte efter en formel för att beskriva spridningen av värme. Värme avtar kontinuerligt från värmekällan men med vissa plötsliga temperaturfall.

 

Fourier kom på att man kunde beskriva händelseförloppet genom att lägga samman sinusvågor av olika amplitud. Fourier var en frusen typ som eldade mycket hemma och hade många tillfällen att fundera över värmens spridning.

 

Fouriertransformationen kan användas på värmespridning, musik, ljus, ljud, vågor i allmänhet och även talteori. Allt detta kan kallas Fourieranalys eller harmoniska analys.

 

En matematisk funktion analyseras ner i flera delfunktioner, eller tvärtom så läggs flera funktioner ihop i en ny funktion.

 

Man kan skilja en informativ signal från rent brus och skenbart brus kan analyseras ner i flera begripliga funktioner. Så fourieranalys kan användas både i astronomi och geologi och allt där emellan.

 

Flera kontinuerliga funktioner kan tillsammans bilda en diskontinuerlig funktion.

 

Tänk "processer" eller "händelser" istället för funktioner.

 

Här sammarbetar "holism" och "analys".

 

Fouriertransformationer är närbesläktad med Laplacetransformationen och z-transformationen.

 

I "harmonisk analys" kan, förutom fouriertransformationen, även ingå isospektrala mångfalder m.m.

 


Kalkyl; dynamik och determinism

Jag hoppas att mina läsare har en vag aning om Zenons paradoxer från antikens Grekland. De gick ut på att på olika sätt bevisa att rörelse och förändring var en omöjlighet. Som t.ex "Akilles och sköldpaddan".

 

Akilles kan aldrig hinna ikapp sköldpaddan eftersom han alltid måste hinna halvvägs till skölpaddan först och i princip så finns det ett oändligt antal "halvvägs" som Akilles först måste förbi innan han hinner ikapp sköldis.

 

Aristoteles lösning var att ju kortare dessa avstånd var desto kortare tid att överbrygga dem. Detta är en bra ansats även om det inte fullbordar lösningen.

 

Grekernas matematik innehöll varken nollan eller oändligheten.

 

Om du tar ett steg som är 40 cm och sen ett steg som är 20 cm och sen ett steg som är 10 cm osv så kommer du aldrig att komma längre än 80 cm från utgångspunkten. Detta är gränsvärdet. En oändlig process ryms inom ett ändligt värde.

 

Insikten att en oändlg process kan leda fram till ett ändligt slutresultat är grunden för calculusen (och analysen).

 

Arkimedes tycks ha uppfunnit infinitesimaler och calculus redan under antiken, men detta glömdes bort och man var tvungen att uppfinna dem igen.

 

Viktiga principer återupptäcktes och vidareutvecklades av kineser och av muslimer men fick inget varaktigt inflytande.

 

Bonaventura Cavalieri, John Wallis, Isaac Barrow, James Gregory och Pierre de Fermat gjorde viktiga insatser innan Newton och Leibniz under sent 1600-tal började bråka om vem av dem som var först.

 

"Calculus" är en benämning på både differential- och integralkalkyler, som på ett sätt kompletterar varandra. Calculus beskrivs som en matematik för att beskriva förändring. Calculusen föreställer sej en oändlig process vilket senare skulle bli grunden för den matematiska analysen.

 

En differentialkalkyl räknar ut derivatan som är förändringshastigheten i ett ögonblick. En integralkalkyl räknar ut hur mycket som totalt har förändrats, t.ex hur mycket vatten som har runnit under bron. Calculus är förändringens matematik.

 

Förändring och framtid verkade nu bli nånting beräkningsbart och förutsägbart. Med calculusen införs både dynamik och determinism.

 

Newton och Leibniz räknas som calculusens uppfinnare. Deras dispyt är allmänt känd. Deras verk förenades av Euler, inte bara historiens mest produktive matematiker utan enastående på fler sätt än så. Euler och Cauchy skapade den matematiska analysen och funktionsläran (m.m.) Analys kallas alla oändliga matematiska processer. Analysen och funktionerna skulle få enorm praktisk betydelse. Utan Euler så hade ingenjörerna fått gå hem.

 

Newton såg i integralkalkylen en förening av rörelse och form, Liksom han i första mekaniska satsen jämställde likformig rörelse med att vara i vila, säkert inspirerad av galileisk relativitet.

 

Calculusen kopplades omgående till Descartes nya analytiska koordinatsystem. Om man har en kurva i en graf så kan man beräkna förändringshastigheten genom att räkna ut hur mycket kurvan lutar i en viss punkt. Det är lätt att räkna lutningen mellan två punkter och om man för dessa närmare varandra längs kurvan så når de till sist varandra.

 

Fast det är inte tillåtet. Punkterna måste komma så nära varandra som möjligt men de får inte förenas. Ju närmare punkterna kommer varandra så ser man dock snart att processen närmar sej ett gränsvärde.

 

Newton och Leibniz räknade dock istället med infinitesimaler, som ska vara mindre än något positivt tal men ändå större än noll.

 

Infinitesimalen kritiserades hårt av Berkeley i "The analyst" som kallade den "the ghosts of departed quantities." Hans kritik var i princip korrekt och infinitesimalerna togs senare bort och ersattes av gränsvärdesbegreppet. Ännu senare så återinfördes de igen.

 

Infinitesimalerna skulle kunna vara en inspiration för Leibniz monader. Försvinnande små entiteter som sammanfattar en utveckling.

 

Även mängden förändring under kurvan kan sammanfattas av en gränsvärdesprocess.

 

Genom att beskriva kvantitativ förändring på x-axeln och tiden på y-axeln banade man väg för att 250 år senare tolka tiden som den fjärde rumsdimensionen.

 

Calculus var den moderna matematikens första viktiga uppfinning. Idén om det oändligt lilla är här viktig. Calculus beskriver för första gången förändring och dynamik matematiskt.

 

Detta bidrog även till att göra determinismen populär.

 

Matematikern Laplace postulerade i slutet av 1700-talet ett tankeexperiment där en demon vet läget, hastigheten och riktningen hos varje partikel i universum och som därför borde kunna förutsäga framtiden för allt i universum, eftersom universum utvecklades enligt strikt deterministiska lagar.

 

Senare kopplades dynamiken till trigonometri när periodiska förändringar visade sej beskrivas av sin, cos och tan. I början av 1800-talet tycks Hegel beskriva sin dialektik som en sorts dynamisk trigonometri. Leibniz intresserade sej även för den kinesiska I CHING som enl. NE förutsäger "ödets cykliska förändringar".

 

I början av 1800-talet så varnade prästen Malthus för överbefolkningens domedag, vilket ingen dittills hade sett som något större problem. Enligt honom så utvecklades dock samhällets produktion linjärt medan befolkningsökningen följd en "geometrisk kurva" dvs nånting i stil med en andragradskurva. Så samhällets ökade produktion skulle aldrig kunna tävla med samhällets ökade behov. Enligt honom så stod mänsklighetens enda hopp till sexuell avhållsamhet och minskade barnkullar, men så var han också präst.

 

Hittills så har samhällets produktion mycket väl kunnat hålla jämna steg med befolkningsökningen. Problemet är snarare att vi lever i en ändlig värld med ändliga resurser och att tillväxten inte kan fortsätta för evigt.

 

Liknande tankar fanns i mitten av 1800-talet. Ekonomin kallade den pessimistiska vetenskapen därför att alla förutspådde att såväl vinst som tillväxt naturligt skulle komma att avta med tiden. Det fanns ett gränsvärde för ekonomisk tillväxt. J.S. Mill hoppades att när samhället i framtiden skulle tvingas att vänja sej vid att leva utan tillväxt så skulle förhoppningsvis ett annat samhälle kunna växa fram, ett mer stabilt och harmoniskt än dagens samhälle.

 

Marx ekonomiska uppfattningar påminnde om Mills och andra borgerliga ekonomers men Marx kombinerade brittisk ekonomi med tysk filosofi och fransk socialism. Under 1900-talet så har vi istället fått den eviga tillväxtens evangelium, ackumulation som religion.

 

Partiella integralfunktioner förenade det viktigaste hos matematiken och fysiken under hela 1800-talet. Detta har kallats den västerländska civilisationens höjdpunkt, när Europa behärskade världen och den vetenskapliga världsbilden började verka färdig.

 

Differentialgeometrin använder differentialkalkylens metoder på geometriska objekt. Differentialgeometrin inspirerade via Riemanns mångfalder topologins utveckling.

 

Även om calculus och analys på kort sikt främjade determinismen så upptäktes senare att inte alla system var förutsägbara ens om deras initialtillstånd var kända. Detta skulle leda till studier av kaotiska system; en ny nivå av dynamik. Även den nya kvantmekaniken underminerade determinismen. Sannolikhetskalkylen utvecklad av Pascal har istället fått bredare och bredare användningsområden.

 

Matematikens utveckling har gått från det statiska till det dynamiska, från det begränsade till det oändliga, från entydiga tillstånd till sannolikheter, från ordning till kaos, från det lågdimensionella till det högdimensionella, från det konkreta till det abstrakta.


lite om liegrupper och sånt

En mångfald, manifold, är ett topologiskt rum som är lokalt euklidiskt. Dvs alla objekt som är lokalt platta men som globalt kan vara andra former, som t.ex runda, är mångfalder. Det euklidiska rummet är en mångfald, liksom cirkeln och sfären.

 

Begreppet släta mångfalder, smooth manifolds, skapades av Riemann, i mitten av 1800-talet. En slät struktur innebär kontinuitet, som de reella talen, men inte de naturliga.

 

En slät mångfald är lokalt euklidisk, ungefär som jordklotet lokalt är platt, och liealgebra ersätter den globala "gruppen" med en lokal, linjär version, vilket gör det hela hanterbart.

 


Liegrupper är grupper som också är släta mångfalder, smooth manifolds. I ett ändligt, finit antal dimensioner. Så hilbertrymden som har ett infinit antal dimensioner är alltså ingen liegrupp. Däremot så är de reella talen en liegrupp, liksom enhetscirkeln.

 


Och denna smooth manifold är alltså sluten under en operation, för att få kallas grupp.

 

Groups innebär att man studerar förändringar inom en viss identitet, smooth manifold att dessa förändringar kan vara hur små som helst, och finit antal dimensioner innebär att detta inte tillhör den infinita matematiken.

 

Liegrupper visar sej vara mycket vanliga och finns i rikligt överallt inom matematiken och fysiken.

Euklides, Galilieis, Lorentz och Poincares symmetrigrupper är liegrupper.

 

Liegrupper är den bäst utvecklade teorin för kontinuerlig symmetri för matematiska objekt och strukturer vilket gör dem vanliga och oumbärliga inom matematik och fysik.


Liegrupper studerades först av Sophos Lie i slutet av 1800-talet. Han hade efter ett tag hjälp an Felix Klein som senare grundade erlangenprogrammet; ännu ett försök att hitta broar mellan olika delar av matematiken.

 

Lies tanke var att utveckla en teori om differentialekvationers symmetri som skulle klassifiera dem enligt gruppteori, liksom Galois hade gjort för algebraiska ekvationer.

 


Ungefär som geometriska former kan konstrueras matematiskt och studeras för sin egen skull så kan olika grupper och liegrupper konstrueras matematiskt och studeras för sin egen skull.

 

När liegrupper blir för stora så går de att dela upp i mindre liegrupper och liegrupper kan därför inte bli hur stora som helst, men de kan bli mycket stora. Exempel på gigantiska liegrupper är E8 och monstergruppen. E8 upptäcktes i slutet av 1800-talet.

 

E8 har nånting att göra med att packa bollar i åtta dimensioner på tätast möjliga sätt. Varje boll nuddar vid 240 andra bollar. Hela uträkningen av E8 är 60 gigabyte data vilket är ungefär i storleksordningen av en biblioteksvåning.

 

Herman Weyl jobbade med liegrupper inom fysiken under 1920 och 30-talen.

 

Eugene Wigner upptäckte så under 1930-talet en naturlig koppling mellan partikelfysik och representationsteori. Representationsteori handlar om linjära projektioner av t.ex grupper på vektorrum. Varje kvantpartikel ses som en representation av universums symmetrigrupp i hilbertrymden. Detta kan bl.a ge en matematisk "förklaring" till hel- och halvspinn. Representationsteori är ännu ett sånt där ämne som visar sej överallt inom matematiken och på många ställen inom fysiken också. Det finns representationsteori för Galilei, Lorentz och Poincarégrupperna.

 

Standardmodellen skapades bl.a utifrån Weyl och Wigners formuleringar. Liegrupperna SU(2) och SU(3) låg till grund för elektroweak interaction och quantum chromodynamics.


Group Field Theory är en quantum gravity teori som kombinerar en liegrupp med feynmandiagram och är nära besläktad med loop quantum gravity, casual dynamic triangulation och spin foam.

 

E8 har hittat användning inom strängteori och supergravitation. E8xE8 är en av de heterotiska strängteorierna.

E.S.T.E. är en utomakademisk TOE som akademikerna hittills har varit distanserade till trots att den håller hög matematisk nivå.

 

Monstergruppen har något att göra med att packa bollar i 24 dimensioner på tätast möjliga sätt. Den förutspåddes 1973 och konstruerades 1982.


1978 upptäcktes samband mellan monstergruppen och elliptiska modulära funktioner. Richard Boucherds bevisade monstrous moonshine förmodan 1998 och visade på djupa samband mellan elliptiska kurvor, monstergruppen och strängteori. Han använde sej av "no ghost"-teoremet från strängteori.

På ett ställe läste jag att monstergruppen har fler element än det finns atomer i Jupiter, på ett annat att den har fler element än det finns kvarkar i Solen. I vilket fall som helst så är det en skitstor grupp.

 

Såväl E8 som monstergruppen är avvikelser. Lite grann som primtal (och monstergruppen upptäcktes också via primtal.)

 

Många av undantagen inom matematik och fysik har visat sej ha förbindelser med varandra. E8 är förbunden med monstergruppen via modulära former, och bägge dessa har sina förbindelser med fysik.

 


Poincaré, topologi, Perelman

The mathematical facts worthy of being studied are those which, by their analogy with other facts, are capable of leading us to the knowledge of a physical law. They reveal the kinship between other facts, long known, but wrongly believed to be strangers to one another.
-Poincaré

 

The scientist does not study nature because it is useful; he studies it because he delights in it, and he delights in it because it is beautiful. If nature were not beautiful, it would not be worth knowing, and if nature were not worth knowing, life would not be worth living. Of course I do not here speak of that beauty that strikes the senses, the beauty of qualities and appearances; not that I undervalue such beauty, far from it, but it has nothing to do with science; I mean that profounder beauty which comes from the harmonious order of the parts, and which a pure intelligence can grasp.
-Poincaré

 

Poincaré var en naturbegåvning inom matematik och även den del andra fält. Han kallas ibland "den siste universalisten" inom matematik (vilket även andra har kallats). När han tog ett av de allra första intelligenstesterna som hans bekante Binet just höll på att utveckla, och fick ett resultat under medel, så ursäktade Binet honom med att matematikprofessorn nog hade haft annat att tänka på. Poincaré hade dålig syn och brukade för det mesta arbeta i huvudet.

 

Som tänkare var han ganska intuitiv och funderade sällan länge på ett problem innan han gick över till något annat och räknade med att hans undermedvetna skulle fortsätta att jobba på problemet.

 

Han ville se ett nära samband mellan matematik och fysik och var kritisk till den formalism som Hilbert stod för som en reaktion på Cantors infinita matematik. Mängdteori tyckte Poincaré illa om. Aritmetiken ansåg han vara syntetisk-apriori, liksom Kant.

 

Däremot vidareutvecklade han topologin och hjälpte till att befästa den som en viktig och central matematisk disciplin under 1900-talet. Topologin studerar former ungefär som geometrin, men utan exakta avstånd. En kvadrat ska ju t.ex ha lika långa sidor och nått sånt finns inte inom topologin. Istället pekar topologer på likheterna mellan kvadrater, trianglar och cirklar, t.ex. 

 

Dessa kan sägas vara "homologa" genom att man t.ex kan forma ett gummiband till dessa olika former, utan att klippa eller klistra i gummibandet. Egentligen är alla objekt homologa som har samma antal hål i sej; så ett "B" är homologt med en "8" osv. "Homotopi" är ungefär samma sak som "homologi"; skillnaden är något för utbildade matematiker att hålla reda på.

 

Vill man ha lite större likhet mellan objekt så kan topologer istället tala om "homomorfism". "Topologiska objekt" är nästan samma sak som "topologiska rum" och objekt kan även vara så komplexa att de är oavgörbara och man kan t.ex inte räkna hålen i dem.

 

Även grafteori och knutteori räknas som delar av topologin. Topologin fick tidigt praktisk användning inom elektronik och kemi.

 

En del hävdar att Poincaré var före Einstein med relativitetsteorin. Redan år 1900 publicerade han en formel som är nästan identisk med E=mc2 och 1902 publicerade han en populärvetenskaplig bok där han tog upp en del saker han jobbat med och som förebådade Einsteins publiceringar från 1905. 

 

Trots att han skrev om möjligheten att det inte fanns något absolut rum eller absolut tid och att etern inte existerade så fortsatte Poincaré att förutsätta dessa i sina beräkningar och därför så räknas Einstein som den som upptäckte den egentliga relativiteten.

 

Poincaré fick idén att göra en fyrdimensionell modell av rum och tid, vilken sedan förverkligades av Minowski, och Poincaré gjorde och så ett tidigt försök att omformulera Newtons gravitation inom en relativistik ram.

 

All kvantfysik och relativitetsteori tycks utspela sej inom Poincaregruppen, som är en symmetrigrupp: "om detta ändras så ändras även det här". Ett specialfall av poincaregruppen är Lorentztransformationerna.

 

Poincaré undersökte om solsystemet var stabilt eller instabilt men detta var svårt att räkna ut. Han undersökte tre-kroppars-problemet och blev därmed en föregångare till kaosteoretikerna.

 

Poincarés förmodan var att precis som sfären är den enklaste formen i våra vanliga tre dimensioner och alla lika enkla former kan kontinuerligt omformas till sfärer av topologer, så gäller även samma sak i högre dimensioner.Perelman visade att detta mycket riktigt stämde. Liksom Poincaré så var även Perelman duktig inom både fysik och matematik.

 

När Perelman visade lösningen så var det en kombination av olika tekniker från olika matematiska discipliner, vilket gjorde mer renläriga topologer besvikna. De hade hoppats på en mer ren topologisk lösning. Kanske var det delvis därför som problemet hade tagit så lång tid att lösa. Många matematiker är bara specialister på sitt eget fält.

 

Perelman gjorde sitt bästa för att bekräfta bilden av framstående matematiker som galna genier, genom att tacka nej till pris, pengar och intervjuer och bo kvar hemma hos sin mamma.

 

Det finns ingen praktisk anvädning av denna kunskap idag men matematiker tycker att det är en stor och viktig insikt.

 

Det finns en koppling till kosmologi dock. Om man drog en tråd genom hela universum och kom tillbaka till samma ställe och knöt ihon ändarna, skulle man då kunna dra in hela tråden och samla den på samma ställe? Eller finns det ett eller flera topologiska hål i universums form som skulle få tråden att fastna?

 

Man övervägde faktiskt att universum skulle kunna ha dodekaeder-symmetrisk form, men denna obskyra matematiska möjlighet verkar nu vara övergiven.

 


lite om differentiell geometri och fysik

Gauss, ibland kallad matematikernas kung, skapade den differentiella geometrin när han 1828 råkade skapa theorema egregium som visade att man kan bestämma en ytas krökning som en intrinsikal egenskap hos själva ytan utan hänvisning till det omkringliggande rummet.

 

Om man tittar på en form så är det lätt att se om dess yta är krökt eller platt. Då ser man ytan och formen i rummet. Men vad Gauss gör med theorema egregium är att han blundar och stäcker fram handen och känner på ytan. Hur känns själva ytan? Känns den krökt? Man känner bara relationen mellan olika delar av ytan och tillsamman gör dessa att ytan känns krökt.

 

Med hjälp av matematik från integral och differentialekvationer så kan man jobba med geometriska former på ett nytt sätt. Detta kallas differentialgeometri. Enbart genom att bestämma avstånd och vinklar på själva ytan så kan man bestämma om ytan är krökt i rummet, utan att matematiskt undersöka ytans krökning i rummet. Man känner bara på ytan, utan att titta.

 

Differentialgeometrin är viktig för kartprojektioner och förklarar varför ingen platt karta kan återge ytan på en tredimensionell sfär som Jorden. På en sfär så kan man t.ex skapa en triangel med enbart räta vinklar. Det är omöjligt på en plan yta.

Tydligen så är det även differentialgeometrin som förklarar varför en trekantig pizzaslize blir styv om man böjer upp kanterna en aning, och därför lättare att äta.

 

Riemann närvarade vid några föreläsningar av Gauss och från 1854 började Riemann lägga grunden till riemanngeometri som är en förutsättning för Einsteins relativitetsteori. Riemanngeometri kan räknas som en del av differentialgeometrin.

 

Differentialgeometri används inom relativitetsteori och inom gaugeteori och även av Perelman när han bevisade Poincares förmodan (genom att hantera universum som en mozarellapizza).

 

Hermann Weyl (som hade samma älskarinna som Schrödinger) skapade gaugeteorin 1918 (bl.a influerad av Husserls fenomenologi) i ett då misslyckat försök att förena elektromagnetism med gravitationsteori. Gaugeteorin skulle dock överleva och vidareutvecklas.

 

Under 40- och 50-talen så utvecklade fysikerna gaugefältteorier. Samtidigt så utvecklade matematikerna den differentiella geometrin med begrepp som "vector fields" och "fibre bundles" m.m. Under tidigt 1970-tal så upptäckte man oväntade samband mellan dessa olika forskningsfält. De verkade vara två varianter av samma sak. Likheterna var påtagliga.

 

Även matematiken influerades av fysiken. Matematiska idéer från gaugeteori inspirerade den uppmärksammade upptäckten av "exotiska strukturer" på den fyrdimensionella riemannsfären 1984. Dvs när en sfär är fyradimensionell så skapas det av någon anledning extra information. Detta skulle kanske kunna ha något med fysiken i vårt universum att göra men området verkar inte vara speciellt uforskat.

 

18 mars 2010 kungjordes att ryssen Perelman hade löst Poincares förmodan. Han använde sej bl.a av "ricci flow" från differentiell geometri. Men mer om det i en annan postning.


The more things change, the more they remain the same

Tag ett objekt, vrid på det och titta på det från olika håll. Nu har du en grupp av utseenden som du vet är detta objekt sett från olika håll. Det ser lite olika ut från olika håll men är ändå samma objekt.

Tänk dej att jag fotograferar flera olika objekt sett från olika håll och att du sedan ska försöka gruppera fotografierna efter de olika objekt som de visar. Känner du igen objekten så kan det vara lätt, känner du inte igen objekten så kan det vara svårt.

 

Detta påminner mycket om tillämpning av gruppteori inom geometri men gruppteori kan tillämpas på många andra matematiska områden också. Inom aritmetiken så är de positiva heltalen 1, 2, 3 osv en grupp under additionsoperationen.

 

Det betyder att om man gör något med ett positivt heltal, plussar ett annat positivt heltal och får ett nytt positivt heltal och aldrig något annat än ett positivt heltal så är alla positiva heltal en sluten grupp så länge som man bara plussar dem med varandra.

 

Objektet var en sluten grupp om man bara vred på det och heltalen är en sluten grupp om man bara adderar dem. Tittat man bara på ett objekt från olika håll så får man aldrig ett annat objekt och adderar man bara heltal med heltal så får man bara heltal. Så fungerar slutna grupper. Det finns en mängd och en operation av något slag och mängden är sluten under just den operationen. Hur mycket man än vrider på ett objekt så är det ändå samma objekt.

 

Om man däremot dividerar t.ex 3 med 2 så får man inte ett heltal och om man delar ett objekt i mitten så får man inte samma objekt sedd ur en annan synvinkel, utan två nya objekt.

 

Detta är rätt enkla exempel för att man ska förstå själva grunderna, men en del av nyttan med gruppteori är att använda den i avancerade, abstrakta sammanhang för att försöka urskilja naturliga sammanhang och grupper inom, svåra, komplicerade matematiska sammanhang.

 

Gruppteori har under 1900-talet blivit en populär gren av matematiken som det har forskats en del kring och detta beror inte minst på ett nära sammarbete med forskningsfronten inom fysik.

 

När kvantmekanikens nya främmande värld chockade forskarna i början av 1900-talet så kunde de inte ta nånting för givet längre. De var tvungna att börja om med mycket basala antaganden och frågor. När saker verkade påverkas av att man tittade på dem så verkade allt vara ett gungfly. Einstein visade dock med sin relativitetsteori hur man kunde hitta något varaktigt att hålla sej fast i.

 

1905-06 upptäcke matematikern Poincaré att tiden kunde representeras som en fjärde dimension i en matematisk modell. Matematikern Minowsky vidareutvecklade idén och omformulerade bl.a Einsteins nyligen publicerade speciella relativitetsteori i fyra dimensioner. Sedan dess så är Minowskys 4-dimensionella rumtid det vanliga sättet att se på rum och tid  inom fysiken.

 

Jag bor två minuters gångväg från mitt lokala ICA. Om jag går dit nu så tar det två minuter och om jag går dit om en timme så tar det också två minuter. Gångtiden förändras inte av när jag gör det. Gångtiden är likadan, symmetrisk, vid olika tidpunkter. Det tar även två minuter att gå hem från mitt lokala ICA. Att gå samma väg från bägge hållen är också symmetriskt.

 

inom Minoskys rumtid så finns det sammanlagt tio olika "symmetrier", dvs förändringar som inte förändrar nånting. Det tar fortfarande lika lång tid att göra samma sak. Tidigare var vi utanför ett objekt och vred på det utifrån. Nu kan vi säga att vi befinner oss innuti ett objekt och utforskar det innifrån. Objektet är Minoskys rumtid och dess symmetrigrupp kallas för Poincarégruppen. På sätt och vis så är Poincarégruppen elementära självklarheter. Men den utgör också en matematisk grund för Einsteins relativitetsteorier.

 

Ett mer avancerat exempel på gruppteori utgör muslimska ornamentmönster. Inom plansymmetrin hittar vi bl.a friesegrupper, dihedral groups och wallpapergroups, m.m.

Muslimska mönster har dessutom släktskap med både kristaller och kvasikristaller.

 

andra bloggar om
matematik, fysik, estetik,

I evigheters evighet

Redan de gamla grekerna funderade över kontinuiteten. Zenon med paradoxerna visade att antagandet att rummet var oändligt delbart ledde till märkliga konsekvenser, som att förändring och rörelse var omöjligt.

 

Inom nutida matematik och fysik så ställer kontinuiteten också till med problem.

 

Det kan ha varit Erdmann eller någon annan tysk filosofihistoriker som jag läste för kanske 15 år sen, som satte antik filosofi, speciellt grekisk, mot modern filosofi, speciellt tysk. Medan antik filosofi hade som övergripande ideal den välformade kroppen, anatomisk eller matematisk eller annan, så har den moderna filosofin oändligheten som ideal. För de antika var det oändliga obegränsat, oformat, laglöst och ont. Allt med måtta, var idealet.

 

Oswald Spengler gör en liknande uppställning i Västerlandets undergång, även om han skiljer mellar fler än två olika kulturer. Mellan antiken och moderniteten ser han t.ex den arabiska och den medeltida kulturen. Enligt honom har varje kultur en unik matematik. Den moderna oändlighetstanken spårar han tillbaka till gotiska katedraler och gregoriansk kyrkosång. Där finns enligt Spengler rötterna till den moderna matematiken.

 

Aczel skriver i The mystery of the Aleph om hur oändligheten blev grunden för den moderna matematiken iom Cantor och Zermelo. Amir D Aczel spårar oändlighetstanken tillbaka till Zenons paradoxer och till pythagoreerna som upptäckte de irrationella talen. Han skriver även om oändligheten hos medeltida kabbalister vilket visar sig vara en direkt influens för Cantor.

 

Galileo var den förste matematikern som kom fram till något faktiskt forskningsresultat rörande faktisk oändlighet när han i Om två nya vetenskaper (1638) bevisade att mängden av alla heltal var lika stor som mängden av kvadraterna på alla heltal. Vilket intuitivt låter som en paradox.

 

Infinitesimalkalkylen och gränsvärdesbegreppet räknar med värden som går mot oändligheten. Den matematiska analysen använder sej av oändliga processer. Infinitesimaler kritiserades redan av Berkeley m.fl (och lustigt nog även av Cantor).

 

Mängdteori, set theory,  behöver inte alls arbeta med oändligheter, men det var därför som Cantor uppfann den. Hans första och sista problem var kontinuiteten, de reella talen. Hans stora upptäckt var att det fanns oändligheter av olika storlek. Kontinuitetens problem löste han dock inte. Mängdteori blev fort väldigt kontroversiell. Såväl den matematiska intuitionismen som finitismen kan sägas ha skapats i opposition till den.

 

Cantor arbetade på mängteorin från 1874 till 1897. Han bevisade i den första artikeln att det fanns mer än en oändlighet. Såväl mängdbegreppet som oändlighet var känt tidigare men ingen hade gjort någon djupare studie i dessa begrepp. Man antog att de var triviala. I sitt sista arbete så hade han velat bevisa kontinuumhypotesen (CH), men fick nöja sej med att beskriva well-ordered sets och ordinal numbers. Med hjälp av dessa begrep kunde man använda transfinit induktion.

 

CH var det första av Hiberts 23 problem som han publiserade 1900. Ungefär samtidigt så löste Planck en oändlighetsparadox inom fysiken genom att införa ett begrepp om energikvanta. Samtidigt som Cantor fördjupade kontinuitetsmatematiken så övergick Planck från kontinuitetsmekaniken till kvantmekaniken. Även diskontinuerlig matematik, discomatte, har blivit populärt iom datorernas framväxt.

 

1899 åkte Cantor in på hospital för andra gången och blev efter det sämre och gjorde inte mycket inom matematik längre. Han tycks ha haft en manodepressiv läggning, hade en del religiösa grubblerier och plågades av illvilliga fiender till sitt arbete. Han dog fattig och undernärd på ett hospital 1918, 73 år gammal. Han hann ändå uppmärksammas och hyllas under sin livstid, t.ex av CS Peirce som själv hade varit inne på liknande tankar, men det var för lite för sent och vägde inte upp för attackerna mot honom.
Jag har sett roligare Venn-diagram.

 

Lite bättre.

 

1904 skapade Ernst Zermelo axiom of choise (AC). AC är ekvivalent med wellordering theorem och Zorns lemma. 1905 började Zermelo att axiomatisera mängdteorin. 1922 föreslog två andra forskare oberoende av varandra förbättringar på hans axiom  vilket resulterade i Zermelo-Fraenkel set theory (ZF), den mest använda varianten. Om AC ska finnas med så blir förkortningen ZFC.

 

"The Axiom of Choice is obviously true, the well-ordering principle obviously false, and who can tell about Zorn's lemma?"
— Jerry Bona

 

Detta är ett skämt som går ut på att många matematiker tycker att AC känns rätt, WoP känns fel och Zorn´s lemma känns omöjligt att avgöra, trots att de bara kan vara sanna och falska samtidigt.

 

AC tycks ha att göra med att man måste börja någonstans. Det måste finnas en början, ett första tal. T.ex det minsta talet. Men när man räknar oändligheter, vilken oändlighet är då minst? Ett kardinaltal är en oändlighet. Utan AC så kan man inte göra transfinit matematik.

 

Kurt Gödel visade 1940 att både AC och CH är förenliga med ZF. (Detta betydde inte att han själv gillade CH eller ZF.) Paul Cohen upptäckte 1963 med sin nya metod att varken CH eller AC är bevisbart inom ZF. Tillsammans med Gödels tidigare forskning så visade det att CH och AC bägge är oberoende av ZF, och att man kan lägga till eller ta bort dom som man vill.

 

Kontinuitetens problem är ännu olöst idag. Att säga att det finns oändligt många punkter i en linje är inte särskilt exakt eftersom det anses finnas oändligt många oändligheter. Vilken oändlighet som motsvara antalet punkter i en linje vet man inte. Åtminstone vissa matematiker tycker att detta är ett stort och viktigt problem att lösa inom matematiken. Ännu idag kan matematik med oändligheter väcka ganska starka reaktioner, inte minst emot. Cantor hade rätt så passionerade fiender bland andra matematiker.

 

Både Gödel och Cohen misstänker att CH är falsk. Två andra matematiker har lagt fram indicier mot CH. Vad betyder det? En kontinuerlig linje innehåller oändligt många punkter, men vi vet idag inte vilken oändlighet. CH utgör ett minimiförslag. Andra alternativ gör kontinuumet mycket större. Nyligen publicerades en bok som argumenterade för ännu större oändligheter, just med hänvisning till kontinuitetsproblemet.

 

Paul Cohen dog 23/3 - 2007. Jag tänkte skriva något redan då men det har inte blivit av förrän fyra år senare.

 

1903 höll Cantor en föreläsning om paradoxer inom transfinit matematik. Dessa paradoxer har ofta framhållits som kritik av hans projekt.

 

Det finns flera olika mängdteorier/set theories. Inte alla leder fram till paradoxer. Även mereologi påminner om mängdlära och har inte Russells paradox.

 

Den sk. krisen för matematikens fundament kring 1900 uppstod för att grundläggande antaganden ledde till paradoxer som verkade mycket svåra att få bort. Krisen är egentligen inte löst idag utan man navigerar i praktiken runt paradoxerna. Matematik är snarare nånting som fungerar i praktiken än ett perfekt system av intern motsägelsefrihet. Transfinita idéer kan användas praktiskt inom en del programmering, annars är detta ren grundforskning för kunskapens egen skull.

 

Det finns även matematik som går ut på att utforska paradoxala antaganden för att undersöka vilken blandning av ordning och kaos som de leder till.

 

Cantor blev galen mot slutet, liksom även andra som har jobbat med oändligheten inom matematiken. Problemet ska dock inte romantiseras eller mystifieras som Aczel gör. Man löser inga svåra intellektuella problem genom att sitta och stirra på ett tomt ark i år och decennier. Svåra intellektuella problem löser man på andra sätt. Feynman kollade t.ex på stripshower och rökte braj och det funkade bra för honom.

 

Cantor var bevisligen influerad av mystiska och religiösa tankegångar när han uppfann mängdläran. Förutom från andra matematiker så fick han även en del vass kritik från teologer, vilket inte var oviktigt för honom.

andra bloggar om
matematik,

Matematiker emellan

Matematiker är specialister, vilket innebär att två matematiker från olika matematiska områden inte har så mycket gemensamt att prata om.

 

Historiskt har flera försök gjorts att skapa en förenande teori för matematiken och även framstående matematiker har uttryckt önskemål åt detta håll. Liksom inom fysiken önskas en Grand Unified Theory.

 

Idag fungerar mängdlära som en övergripande eller grundläggande teori för matematiker. Den har dock "utmanats" av kategoriteori.

 

Det finns också mer partikulära brobyggen mellan specifika områden, ett-till-ett-korrespondens, som även de kan få betydande följder. Descartes visade att geometrin kunde uttryckas algebraiskt, vilket några hundra år senare ledde fram till Hilberts Nullstellensatz.

 

Galoisteori nämns även och Andrew Wiles använde Galois arbete som en grundsten när han 1993 bevisade Taniyama-Shimuras förmodan, som ursprungligen förmulerades 1955 och som knöt samman två vitt skilda områden inom matematiken.

 

Taniyama-Shimuras förmodan är viktig både för Langlandsprogrammet (skapat 1967) och för något som kallas för monsterous moonshine. Såväl Fieldspriset 2002 som 2010 går till arbeten relaterade till Langlandsprogrammet. Robert Langland föreslog en större mängd samband inom matematik som ännu återstår att bevisa.

 

En del av resultaten inom Langlandsprogrammet har varit av intresse för fysiker; m-teoretiker och andra.

 

En viktig poäng med att kunna hitta korrespondenser mellan skilda discipliner är att svåra nötter inom en disciplin kan visa sej lättare att knäcka när de översätts till en annan disciplin.

 

andra bloggar om
matematik,

Why we think like quirks

Marge Simpson gillar homoäktenskap och hon gillar sin syster, så varför gillar hon inte sin systers homoäktenskap? Är inte det ologiskt? Nja, enligt klassisk logik så är Marge inkonsekvent och kanske en hycklare, men det är inte den enda möjliga tolkningen. Hon kan också resonera enligt kvantlogiken som utvecklades av Von Neumann och som inte har den distributiva lagen. Om det låter långsökt så är det faktiskt inte det. Ny forskning antyder att vi alla resonerar kvantlogiskt rätt ofta.

 

På engelska så finns något som kallas "the guppy problem" och som lyder: det finns sällskapsdjur och det finns fiskar men en guppy är inte det första som man kommer att tänka på angående vare sej det ena eller det andra, men däremot så är en guppy en rätt typisk sällskapsfisk, som är både ett sällskapsdjur och en fisk. Återigen så kan klassisk logik inte beskriva situationen utan fastnar i en paradox, medan ickedistributiv logik däremot klarar av att beskriva situationen.

 

En liknande situation har vi när vi utför dubbelspringeexperimentet inom kvantfysik där en öppen springa ger ett visst mönster, den andra springan ger ett annat mönster, men bägge springorna öppna samtidigt ger inte en kombination av de två tidigare mönstren utan ett helt nytt mönster. Situationen kan beskrivas på flera olika sätt, bl.a genom att man skapar en ny sorts logik som kan beskriva sammanhanget utan paradox. Vilket var vad Von Neumann gjorde.

 

Här är en intressant artikel i New Scientist som heter Why we think like quarks.

 

Fysikern Diedrik Aerts i Bryssel, har påvisat likheter mellan mänskligt tänkande och kvantlogik. När vi tänker "ologiskt" vilket vi ofta gör , så tänker vi enligt en annan logik än den klassiska.

 

Detta är en del av en större trend att applicera kvantregler utanför den subatomära världen. I Aberdeen ska de hålla det femte årliga symposiet om QI.

 

"Quantum Interaction (QI) based on Quantum Theory (QT) is being applied to domains such as artificial intelligence, human language, cognition, information retrieval, biology, political science, economics, organisations and social interaction."

 

Ekonomer antar att människor är nyttomaximerande egoister men människor verkar ibland vara rätt ologiska. Om man ska försöka att sälja varor och tjänster till folk, kanske i paketerbjudanden, så är det ju bra att ha koll på hur folk faktiskt resonerar. Man kan t.ex inte förutsätta "sure thing principle". "Sure thing principle" hör hemma inom spelteori. (Von Neumann skapade ju både kvantlogiken och spelteorin.) När artikeln nämner Hilbert så verkar de ibland mena Hilberts efterföljare Von Neumann.

 

Man kan också lägga märke till att trots att artikel heter "why we think like quarks" så levereras ingen sån förklaring. Man bara hävdar att det inte beror på att hjärnan skulle vara kvantfysisk på något sätt (som t.ex Penrose har menat). Kanske kan det istället ge en evolutionär fördel, antyder man vagt.

 

Datorforskarna Dominic Widdows (nu anställd av Google) och Keith van Rijsbergen (University of Glasgow) insåg för ett decennium sen att när de bygde sökmotorer så använde de sig av matematik liknande kvantfysik.

 

Widdows, i sammarbete med bl.a Trevor Cohen (University of Texas), har visat att "kvantoperationer" i en semantisk Hilbertrymd är ett kraftfullt verktyg för att hitta tidigare oända associationer mellan begrepp. (En "semantisk Hilbertrymd" kan lite löst beskrivas som ett ordmoln där orden kan kopplas samman hur som helst.) Detta kan t.o.m. leda till datorer som kan göra egna upptäckter.

 

Sökmotorer kan vara mer behjälpliga om de resonerar som folk, men det kan finnas en ännu större potential hos ickedistributiv logik om den kan få datorer att upptäcka saker av sej själv. Ickedistributiv logik kanske inte är något enbart begränsat till mikrovärlden utan även ett ganska realistisk och välfungerande sätt att beskriva makrovärlden.

 

andra bloggar om
logik, kognitivism, psykologi, programmering, fysik, vetenskap,

A pluralistic universe

Fysikern Lee Smolin skriver i sin bok "Three Roads to Quantum Gravity" 2001, att toposteorin är "the right form of logic for cosmology" och att "In its first forms it was called 'intuitionistic logic'". "In this kind of logic, the statements an observer can make about the universe are divided into at least three groups: those that we can judge to be true, those that we can judge to be false and those whose truth we cannot decide upon at the present time".

 

Ett topos är en liten matematisk värld som följer sina egna lagar. Det visar sej dock att klassisk logik och mängdlära bara visar sej vara ett topos bland andra och att toposteorin befinner sig på en mycket hög generell nivå och att ett topos inte behöver vara en så liten värld. Det som man en gång trodde var en hel matematik och en hel logik visar sej bara vara en matematik och en logik bland flera. (Topoi betyder här olika "platser", ung. som det gör i klassisk retorik.)

 

"Each topos serves as a `mathematical universe' with an internal logic, which is used to assign truth-values to all propositions about a physical system."
-Döring

 

Ett typiskt topos följer intuitionistisk logik medan klassisk logik råder inom mängdernas topos, som skapar mängdläran. Den intuitionistiska logiken får här en sorts revanch efter att tidigare ha kritiserats hårt av inte minst Hilbert.

 

I klassisk logik så är alla välformlerade påståenden antingen sanna eller falska även om vi inte just nu kan bevisa vilket som är fallet. Enl. intuitionistisk logik så är ett på stående inte sant eller falsk förrän det är bevisat att det är sant eller bevisat att det är falskt. En konsekvens blir att lagen om det uteslutna tredje inte kan förutsättas vara sann; Bara för att ett påstående är falskt så vet vi inte att motsatsen är sann.

 

"Classical physics arises when the topos is the category of sets. Other types of theory employ a different topos."
-Döring, Isham

 

Det finns flera rötter till toposteorin. Det är en vidareutveckling ur kategoriteorin som i sej är en vidareutveckling från universell algebra. Viktiga namn är Lawvere och Grothendieck. Whitehead intresserade ju sej för algebraisk geometri men det visar sej vara det fält som är svårast att grunda i axiomatisk mängdlära eller Russell-Whiteheads förenade fundament. Algebraisk geometri bidrog både till grundandet av kategoriteori och till toposteori. Det skedde nu en vidareutveckling i logisk riktning (och även en länk till datalogi). En semantik för ickeklassisk logik som filosofen Kripke hade skapat visade sej ca 1965 höra hemma inom toposteorin. Om kategoriteori knöt samman vitt skillda områden av matematiken med varandra så delade toposteorin upp matematiken i en mångfald olika världar, och tillämpandet av toposteori på fysik innebär en mångfald av olika perspektiv på en och samma värld.

 

"I'll warn you: despite Chris Isham's work applying topos theory to the interpretation of quantum mechanics, and Anders Kock and Bill Lawvere's work applying it to differential geometry and mechanics, topos theory hasn't really caught on among physicists yet. Thus, the main reason to learn about it is not to quickly solve some specific physics problems, but to broaden our horizons and break out of the box that traditional mathematics, based on set theory, imposes on our thinking."
-John Baez

 

Toposteori kan lösa många problem. 1936 föreslogs det av bl.a von Neumann att en ny logik skulle skapas som skulle modeleras efter kvantfenomen. Den största skillnaden gentemot klassisk logik var att den logiska distributiviteten inte gällde. Det ledde också till att filosofer började diskutera "Is logic empirical?" Putnam ansåg det och Dummet argumenterade emot. Isham m.fl. skapar nu en quantum topos där logiken återigen är distributiv.

 

"The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual issues. In particular, we show that topos quantum logic is distributive, multi-valued, contextual and intuitionistic."
-Döring

 

"The goal of this paper is to summarise the first steps in developing a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of space and time. In doing so we provide a new answer to Heidegger's timeless question ``What is a thing?''.
Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. Classical physics uses the topos of sets. Other theories involve a different topos."
-Döring, Isham,

 

"Daseinisation provides the bridge between the standard Hilbert space formalism of quantum theory and the new topos-based approach to quantum theory."
-Döring

 

Andra namn i sammanhanget är Steven french, Jeremy Butterfield, Andreas Döring och John Baez.

andra bloggar om
matematik, fysik, filosofi, logik,

Filosofins matematik

Pythagoras kan göra visst anspråk på att ha grundlagt både filosofin och matematiken, förutom musikteorin och ockulta sällskap osv. Den västerländska filosofin och matematiken har samexisterat i över två årtusenden och har utvecklats parallellt, och kan kanske även uppvisa vissa parallelliteter.

 

I Pythagoras filosofi så var allt till sitt innersta väsen tal och den matematik som han utforskade var aritmetiken. Att tingens innersta väsen är siffror är kanske mer begripligt idag än någonsin förut nu när naturvetenskapen vill kvantifiera allting och formler anses vara ett mer exakt uttryck för naturen än blotta ord.

 

Pythagoras sats är dock ett teorem inom geometrin och den satsen var känd långt innan Pythagoras. "Geometri" betyder "jordmätning" och kan ha uppstått när man drog gränser mellan åkrar, trädgårdar och annat. Redan innan pyramiderna så var även geometrin kopplad till arkitekturen.

 

Pytagoreerna gjorde ett tidigt försök att koppla samman geometri och aritmetik genom att tala om t.ex "tertiära" och "kvartära" tal, men det skulle dröja ända till Descartes innan översättningen skulle vara perfekt.

 

Pythagoras och matematiken var viktiga influenser för Platon när han skapade den platonska idéläran. Många, som t.ex Heidegger och Whitehead, har betonat matematiken som en viktig influens på den tidiga filosofin. En del har också beklagat detta.

 

Rationalismen kan sägas ha matematiken som ideal, när man försöker att göra filosofin till ett komplett, slutet system.

 

Under medeltidens skråväsende så uppstod ett hemlighetsmakeri och mystifierande kring yrkens innersta hemligheter och det är ur dessa tider som frimurarna uppkommer. Hemliga sällskap brukar frikostigt använda sej av geometriska symboler. Geometri är viktigt för arkitekter. Gud ansågs vara den störste arkitekten som hade skapat själva de geometriska formerna.

 

Ett gammalt sätt att dela in matematiken är i aritmetik, geometri och algebra. Algebran skapas av muslimska matematiker, inte minst Al-Gibran. Algebran är kopplad till koder och lagar. Algebran sprider sej långsamt från aritmetiken till matematiken som helhet, inte minst under den symboliska abstraktionen under 1600-talet. Matematiken som algebra avlägsnar sej från konkret aritmetik och blir en allmän formlära.

 

Efter den muslimska matematikens storhetstid så händer inget lika filosofiskt förrän Descartes skapade den analytiska geometrin. Kropp och själ förhåller sej till varandra som extension till intention, som kurvan i en graf till en formel.

 

Men även om Descartes ofta kallas den moderna filosofins fader så är det Leibniz som är den moderna matematikens fader. Leibniz skapar funktionen och analysen. Infinitesimalbegreppet kan sägas vara en parallell till monaden. Den matematiska funktionen kan kanske vara ett frö till hans mathesis universalis. Efter Leibniz delas matematiken in i geometri, algebra och analys.

 

Biskop Berkeley chockade genom att skriva att vi bara ser världen tvådimensionellt. Det vi ser beskrivs av den projektiva geometrin, medan euklidisk geometri under hans tid ibland kallades "känslans geometri". Han kritiserade även infinitesimalkalkylen.

 

Trigonometrin är med Pythagoras sats en av de allra äldsta disciplinen inom matematiken, men den hade inkorporerats i den komplexa analysen av Euler från 1748 till 1782. Hegel studerade trigonometri 1787, sfärisk dessutom, när han var 17 år gammal och hans senare filosofi har några likheter med trigonometri. Inom trigonometri arbetar man med tangent, sinus och cosinus. Har man två sidor kan man räkna ut den tredje, har man två vinklar kan man räkna ut den tredje. Sin, cos och tan används även för att räkna ut regelbundna svängningar. Därav t.ex uttrycket "sinusvåg". Så tre element leder alltså fram till en periodisk svängning mellan extremer i en historisk utveckling. Ungefär som i Hegels filosofi.

Whitehead skapade den punktfria mereotopologin som enligt honom själv är en viktig del av av hans "organic philosophy", eller "processfilosofi" som den brukar kallas.

 

Russell, Badiou och Langan har alla tre använd någon tolkning av mängdläran inom sina filosofier.

 

Ingen yrkesfilosof har vad jag vet ännu inspirerats av kategoriteorin men Chris Isham är en rätt filosofisk fysiker som har introducerat toposteorin inom kvantmekaniken. Mer om detta senare.

 

Jag har tidigare även parat ihop några filosofer med några kompositörer.

 

andra bloggar om
filosofi, matematik,

Pointless?

Även om varken Whiteheads matematik eller hans filosofi är direkt bortglömda så har jag sällan om någonsin sett de relateras till varandra. Vad jag menar är t.ex att hans minsta fenomen inom filosofin, acctual occasions, kan ses som en motsvarighet till hans uppfinnande av punktfri matematik,  som saknar matematiska punkter. Det minsta rumsbegreppet blir då ett litet område av något slag, som ingenting kan vara mindre än. Whitehead själv gör ju explicit denna koppling i Process and reality, men förutom honom så har åtminstone bland filosoferna få intresserat sej för hans matematik.

 

Whitehead var med och skapade den universella algebran (även om den har utvecklats mycket sedan dess). Den universella algebran är en föregångare till kategoriteori, som är en mycket intressant "ny" disciplin inom matematik. Fastän den är ett halvsekel gammal så är den inte så känd utanför matematikkretsar.
Kategoriteori handlar om att jämföra vitt skilda discipliner inom matematik för att hitta gemensamheter och övergripande strukturer. Det visar sej att likartade tankegångar har upptäckts och uttryckts ett flertal gånger inom olika matematiska discipliner.

 

Matematiker kan även använda kategoriteori för att låna lösningar från andra matematiska discipliner som har arbetat med besläktade problem. Att som Descartes gjorde, upptäcka hur man översätter aritmetiska formler till visuella grafer och tvärtom, kan göras på ett regelmässigt sätt inom kategoriteori. Den vanligaste metoden kallas "diagram chasing" men det finns även andra.

 

Kategoriteori har även kommit att användas inom datavetenskap och programmering. Kategoriteori har tydligen många likheter med funktionell programmering. Termen "monad" t.ex inom funktionell programmering  är hämtad från kategoriteori. Även om kategoriteori är en form av extra abstrakt och övergripande matematik så är funktionell programmering bara ett programmeringsparadigm bland andra. Visserligen har akademiska vetenskapsmän föredragit funktionell programmering och visserligen sägs det vara en speciellt biproduktsfri form av programmering, men det är ju ingen metadisciplin som kategoriteori tycks vara.

 

Whitehead skapade även pointless mereotopology, där "pointless" innebär att man undviker att använda matematiska punkter utan istället talar om områden frames and locales, generaliserade rymder. (Wikipediasidan pointless topology är i kategorin category theory.)
Uttrycket "pointless" (eller "pointfree") har sedan lånats över till "pointless programming", även kallad "tacit programming" som är en ekonomisk, kompakt programmeringsstil där man inte skriver saker i onödan. Funktioner utan argument. Argument betyder här "punkter" eller "numeriska värden".

 

illustration:
f(x)=x+1
pointless: f=+1

 

Tacit programming är ett exempel på funktionell programmering.
Så i tacit programming möts alltså två idéhistoriska trådar som går tillbaks till Whitehead. Finns det då något hos funktionell programmering som påminner om Whitehead eller processfilosofi? Kanske ett fokus på händelser snarare än tillstånd? Har ett programmeringsparadigm en ontologi? Inte vet jag. Jag är inte tillräckligt inläst. Så om någon har några tankar, håll dom inte för er själva. Charing is caring.

 

andra bloggar om
filosofi, matematik, programmering,

Projektiv geometri




Den italienska renässansen började med figurer som Dante, Petrarca och Giotto. Den senare var en målare och arkitekt som återuppväckte det realistiska idealet i måleriet och som var den förste som försökte sej på perspektiv och djupkänsla i sina målningar. Helt fulländad var hans teknik dock inte.


Ungefär ett sekel senare så lyckades Brunelleschi kring 1425 att uppfinna perspektivet på ett helt korrekt sätt. Hans metod beskrevs för första gången 1436 i Leone Battista Albertis bok Om bildkonsten. Ca 200 år senare skulle detta inspirera en ny matematisk disciplin.


Det var ganska svårt att återskapa hur vi faktiskt direkt upplever saker. Den tredimensionella rymd som vi lever i når bara vår syn som en tvådimensionell projektion. för att få saker att se realistiska ut så måste de avbildas tvådimensionellt.


Renässansens arkitekter och målare frågade sej själva hur de skulle återskapa tredimensionella objekt på en tvådimensionell yta. Som svar föreslog Leone Battista Alberti följande procedur: sätt en glasskiva mellan dej och ett objekt, stäng ena ögat, och teckna på glaset vad du ser.


Albertis metod har kallats projektion och sektion: först tecknar vi bilden som når ögat från objektet. Eftersom vi kan flytta ögat och glasskärmen så får vi flera olika tvådimensionella representationer av det tredmensionella objektet.


Ett intressant problem, som Alberti själv tog upp, är att hitta de gemensamma egenskaperna hos alla dessa olika representationer. Det är samma fråga som datorvetenskapsmän ställer idag. Dagens datorforskare frågar hur man kan få en dator att känna igen att två olika bilden representerar samma objekt ur olika synvinklar.


Centralperspektivet är mer betraktarcentrerat (korrelationisktiskt) medan tidigare medeltida konst hade varit mer objekt-orienterad och inte hade varit lika bekymrad om relationerna mellan objekten. Istället för att avbilda det rationella objektet i-sej avbildades det empiriska objektet för-mej. Avbildningar med korrekta perspektiv upplevs också som mer realistiska, dvs vi känner igen dem som det sätt världen upplevs på.


Projektiv geometri utvecklades av Desargues och andra i deras utforskande av principerna för perspektivistisk konst.


Johannes Kepler och Gerard Desargues utvecklade oberoende av varandra det avgörande begreppet "punkt vid oändligheten". Kepler introducerade punkten vid oändligheten 1604 i en diskussion om koniska sektioner.


Desargues var ingenjör, arkitekt och matematiker. Desargues konstruerade det allra första teoremet inom projektiv geometri och uppfann därmed en ny matematisk disciplin, vilket uppmärksammades först långt efter hans död. Hans arbete återupptäcktes och återutgavs 1864.


Desargues utvecklade ett alternativt sätt att konstruera perspektivteckningar (1639). Han gjorde euklidisk geometri, med parallella linjer, till ett specialfall av ett allomfattande geometriskt system. Desargues arbete med koniska sektioner drog till sej uppmärksamheten från 16-årige Blaise Pascal och hjälpte honom att formulera Pascals teorem (1640).


I äldre litteratur kallas projektiv geometri ibland "högre geometri", "geometry of position" eller "deskriptiv geometri".


Under 1700-talet hände ingenting inom projektiv geometri. Ämnet var dock populärt under 1800-talet. Under 1900-talet ansågs det uttömt men har inte minst tack vare datorgrafik blivit intressant igen.


Jean-Victor Poncelet publicerade den projektiva geometrins grundande avhandling 1822. (183 år efter Pascals insats.)


De första fyra axiomen är alltså samma som i euklidisk geometri, men istället för parallellaxiomet, som säger att endast en typ av vinkel av parallella linjer aldrig möts, så har vi det projektiva axiomet som säger att alla raka linjer möts och endast en gång.
(Projektiv geometri påminner t.ex lite om riemansk geometri, där dock vilka två raka linjer som helst alltid möts exakt två gånger.)


Det projektiva axiomet: Vilka två linjer som helst möts ( i exakt en punkt).
Grundläggande projektiv geometri handlar bara om punkter och linjer men i högre dimensioner så kan man även tala om olika hyperplan.


De icke-euklidiska geometrierna som upptäcktes kort därefter bevisades till sist ha modeller, som Klein-modellen för hyperbolisk rymd, som relaterade till projektiv geometri.


Projektiv geometri är den mest generella och minst restriktiva i hierarkin av de fundamentala geometrierna; euklidisk, metrisk (likhet), affinitiv och projektiv.


Projektiv geometri och ordnad geometri är elementära eftersom de innehåller ett minimum av axiom och kan var för sej användas som grund för affinitiv och euklidisk geometri. Eftersom projektiv geometri inte är "ordnad" så är det en distinkt grund för geometrin.


Eftersom projektiv geometri utesluter kompasskonstruktioner så finns det inga cirklar, inga vinklar, inga mätningar, inga paralleller och inget begrepp om att vara mitt i mellan nånting.


En av de märkligaste egenskaperna är att alla propositioner inom projektiv geometri förekommer i par, med egenskapen att om man startar från ena propositionen så får man genast den andra propositinen om man byter ut orden "punkt" och "linje" mot varandra.
Till exempel, det basala axiomet att " för varje par av punkter så finns det en unik linje som går igenom bägge dessa punkter", blir när man vänder på det "för varje par av linjer så finns det en unik punkt som går igenom (dvs ligger på) bägge dessa linjer".


Projektiv geometri formaliserar i synnerhet en av den perspektivistiska konstens centrala principer: att parallella linjer möts vid oändligheten och därför ska tecknas på det sättet.


Alla linjer möt en och endast en gång. Om man nu ska göra en tredimensionell tolkning av en tvådimensionell yta så måste linjer som  går in i den tredje dimensionen, bort från betraktaren, mötas. Djupdimensionen markeras endast av dylika linjer. Tolkningen blir att de möts först i slutet av den tredje dimensionen, dvs vid oändligheten.


Att två linjer möts exakt en gång kan härledas ur dualitetspcincipen, men hur ska man förklara den?


(Jag klottrade ner detta:
"projektiv geometri handlar om att ta bort eller tillföra en dimension, och punkter och linjer är egentligen samma sak, med en dimension mer eller mindre."
I wikipedia så står det så här:
"That is, in a projective space of dimension n, the points (dimension 0) are made to correspond with hyperplanes (codimension 1), the lines joining two points (dimension 1) are made to correspond with the intersection of two hyperplanes (codimension 2), and so on.")


Det tidiga 1800-talets projektiva geometri var ett steg på vägen från analytisk geometri till algebraisk geometri.


Under senare 1800-talet så blev det detaljerade studiet av projektiv geometri mindre på modet , fast litteraturen fortfarande var omfattande.


För tjugo år sedan så verkade projektiv geometri mest ha historiskt värde men idag så är projektiv geometri ett populärt ämne hos matematiker och datorforskare. Detta beror på nya tillämpningar av datorgrafik och att geometri och geometriskt tänkande återigen är på uppgång. Dessutom så har datorexperter återgälldat tjänsten genom att bidra med verktyg för att visualisera och sprida matematik.


Projektiv geometri uppfanns när man försökte att - till skillnad från euklidisk geometri - återge hur världen faktiskt ser ut ur ett mänskligt perspektiv.


Man fick då den mest grundläggande  och generella geometrin.


Man kan faktiskt aldrig se två parallella linjer. Drar man ut vilka två linjer som helst tillräckligt långt så ser de alltid ut att mötas.


Projektiv geometri kan även få direkt fysisk manifestation i olika ljussammanhang (som ögat)  så det är inte någon verklighetsfrämmande teoretisk konstruktion.




andra bloggar om

Tidigare inlägg