I dag er det Booles fødselsdag, hurra, hurra…

George_BooleGeorge Boole blev født 2.november 1815. Han var matematiker, filosof og er idag nok især kendt som logiker. 200-året for hans fødselsdag fejres hele året . Der er Boole2school undervisningsmateriale, konferencer og meget andet. I 1849 skrev Boole  “An Investigation of the Laws of Thought, on which are founded the mathematical theorries of logic and probabilities.” Der står meget, men det væsentlige er det, der idag kalde Boolesk algebra – reglerne for at “regne” med matematiske udsagns sandhedsværdier. Et matematiske udsagn kan være sandt eller falsk. Her er noget konkret at tænke på:

Udsagn P: Kurt er mindst lige så høj som Frede.

Udsagn Q: Nilen er længere end Gudenåen.

Vi ved, at Q er sandt. Hvis vi nu ikke ved, om P er sandt, så kan vi heller ikke vide, om udsagnet “P er sandt OG Q er sandt” er sandt. Det er det, hvis P er sandt. Og ellers er det falsk. Men udsagnet “P er sandt ELLER Q er sandt”, er sandt, uanset hvad P er, eftersom Q jo er sandt. Den slags ræsonnementer satte Boole i system, så vi nu kan få en computer til at lave følgeslutninger som ovenfor og så vi kan lave mere avancerede ræsonnementer uden at få hovedpine – Er udsagnet “(P er ikke sand OG Q er sand) ELLER P er sand” sandt? Man skal også kunne “negere” et udsagn. Udsagnet nonP er sandt hvis og kun hvis P er falsk, og det er falsk hvis og kun hvis P er sandt.

Sandt og falsk noteres ofte  som hhv. 1 og 0. OG som multiplikation, ELLER som +.

Lad os nu gå ud fra, P er falsk, så P har sandheds værdi 0 og Q har værdi 1. Sandhedsværdien af P OG Q er så 0 gange 1 =0.

Sandhedsværdien af P ELLER Q er 0+1=1

Det giver følgende tabel over regning med sandhedsværdier: Lad mig skrive “x” for multiplikation – husk, det svarer til sandheds værdien af udsagnet P OG Q, når vi kender sandhedsværdien af P hhv Q:  0x0=0, 0x1=0, 1×0=0, 1×1=1 Det ser jo fint ud. Nu til +, som svarer til P ELLER Q: 0+0=0. 0+1=1. 1+0=1, 1+1=1 Hovsa! Jo, hvis både P og Q er sande, så er udsagnet P ELLER Q naturligvis sandt. Altså 1+1=1.

Nu kommer det smarte. Man kan sammensætte regningerne, så udsagnet (P OG Q) ELLER (R OG S) har sandhedsværdi (PxQ)+(RxS), hvor jeg har ladet P,Q,R,S  stå for sandhedsværdien af hhv. P,Q,R,S.

Har man OG, ELLER og NON, kan man lave “medfører”: P MEDFØRER Q betyder, at hvis P er sand, så er Q sand. Det er sandt, hvis P er falsk (uanset hvad Q er) og hvis Q er sand (uanset hvad P er) – det kan man tænke over eller lade være en definition…. P medfører Q har har samme sandhedsværdi som (non P) ELLER Q, så vi kan altså bygge det fra, hvad vi allerede har. Her er en sandhedstabel for nogle udtryk. JEg har skrevet S og F i stedet for 1 og 0 – jeg tror, det er lettere at overskue for læsere, der ikke er vant til notationen med 0 og 1.

P Q P OG Q P ELLER Q NON P P MEDFØRER Q
S S S S F S
S F F S F F
F S F S S S
F F F F S S

Her kan man lave sine egne sandhedstabeller.

OR gate

Claude Shannon indså, at Boolesk algebra kunne bruges til at regne på Elektroniske kredsløb: Elektronikversionen af ELLER – en parallelforbindelse. Hvis der kommer 0 ind af den ene og 1 af den anden, så kommer der 1 ud – lampen lyser, hvis der er forbindelse den ene vej.

AND gateHer er en OG gate – en serieforbindelse. Begge skal være sande, før lampen lyser.

Et andet eksempel på Boolesk algebra er regning med mængder. I stedet for udsagn har vi delmængder af en mængde M. Vi tænker på sandheds værdien af “x tilhører B”, hvor B er en delmængde af M og x er et element i M. Det er ikke så svært at se, at OG bliver fællesmængde, ELLER foreningsmængde og NON komplementærmængde.

Findes der matematiske genier?

Hvis man vil læse en af de tre matematikuddannelser på AAU kan man se af FAQ-listen, at man ikke behøver at være et matematisk geni for at gennemføre uddannelserne. Det er helt rigtigt! Men man skal være god til matematik, det siger sig selv, og villig til at arbejde med faget. Og ja, det er ind imellem hårdt arbejde. Og det er sværere og anderledes end i gymnasiet. Vil man have udfordringer, kan man altid finde et matematisk spørgsmål, som ingen har svaret på. Der er udfordringer selv til de dygtigste. Det kan blive lige så svært det skal være. Omvendt så skal man ikke tro, at man kan klare sig med at sætte sig i et hjørne og vente på en ide. Selv de allerdygtigste skal arbejde med faget for at få nok indsigt til at kunne få ideer.

Matematikere, der er særligt dygtige, løber en meget stor risiko for at få påhæftet betegnelsen “matematisk geni” i pressen. Straks melder der sig i hovedet på læseren et billede af en sær snegl med uglet hår og svært ved at tale med andre om andet end matematik. Det er altså en snedig blanding af en kompliment og en fornærmelse. Endnu værre er det, når det rammer unge mennesker, som måske har fået en høj karakter i matematik til studentereksamen. En af de matematikere, som ofte bliver udsat for dette, er Terry Tao, som er professor ved UCLA (Los Angeles), gift, far til et par børn og således ikke et særlig godt match til myten om geniet.

 

Tao skriver selv om det skadelige i, at matematikere udråbes til genier i et indlæg på sin i øvrigt meget læseværdige blog. En pointe er, at myten om geniet gør matematik til noget uopnåeligt.

In order to make good and useful contributions to mathematics, one does need to work hard, learn one’s field well, learn other fields and tools, ask questions, talk to other mathematicians, and think about the “big picture”. And yes, a reasonable amount of intelligence, patience, and maturityis also required. But one does not need some sort of magic “genius gene” that spontaneously generates ex nihilo deep insights, unexpected solutions to problems, or other supernatural abilities.

Tao skriver om, hvordan denne myte kan få nogen til at kaste sig over alt for store og vanskelige problemer og gå helt i stå. Mens det kan få andre til at give helt op. Hvis man tror, matematik kræver noget medfødt “genetisk”, giver man op i stedet for at arbejde hårdere.

Matematik er et kæmpestort område. der er imponerende indsigter og resultater, men det bygger på århundreders arbejde og mindre skridt, som tilsammen giver det, der kan ligne en indsigt, der er faldet ned fra himlen i fuldt færdig form. Sådan ser det tit ud i matematikbøger. Det er det ikke.

At Terence Tao har et enormt talent for matematik, er ingen i tvivl om. Men han vil ikke kaldes et geni. Og så er der nok ingen, der er det. Han har i øvrigt også  “karriereråd”.

 

Verdens statistikdag.

WorldStatsDay_Logo_EN_bFN har erklæret idag 20/10-2015 for Verdens Statistikdag. Overskriften er Bedre data, bedre liv. Danmark er ikke på listen over deltagerlande, men derfor kan vi jo godt kippe med flaget her på bloggen.

Når FN fejrer statistik en gang om året, skyldes det, at der træffes bedre beslutninger, når man forstår problemerne. Og det gør man i høj grad via data. Især har man brug for ikke bare en rodebunke med data, men en analyse af data. Og det kan statistikere. Når man skal se, om Verden bliver et bedre sted – er der færre, der sulter, flere, der kommer i skole etc. har man også brug for data. Og skal man følge, om en indsats gør en forskel, er der igen brug for data og analyse af data.

I år har der været en konkurrence om visualisering af data. Det er væsentligt ikke blot at kunne analysere data, men også at præsentere det meningsfyldt og forståeligt for andre. På bloggen Understanding Uncertainty kan man selv lege med visualisering se for eksempel 2845 ways to spin the risk . Der er stor forskel på, om man får at vide, at risikoen for at få kræft er 20% højere, hvis man spiser mange baconsandwiches, eller man får at vide, at den er 5% uden baconsandwichforbrug, men 6% med. Det første er den relative stigning, det andet den absolutte. En anden fin animation er om screening. Man kan lege med dopingtest (den hedder “athletes”), sikkerhedscheck i lufthavne, HIV-test og mere. I alle tilfælde er problemstillingen: Der vil være “falske positive” – nogen, der får positiv dopingtest uden at være dopede, “falske negative” – nogen, som er dopede, men ikke fanges i testen.

En test har en specificitet og en sensitivitet. Specificiteten er andelen af “raske”, som tester raske. Sensitivitet er andelen af de syge, som testes syge. Den positivt prædiktive værdi er andelen af positivt testede, som rent faktisk er syge, sandsynligheden for at være syg, når testen viser, man er det, P(syg|testsyg). Eller, man kan se på den negativt prædiktive værdi andelen af negativt testede, der rent faktisk er raske P(rask|testrask). De prædiktive værdier afhænger af, hvor stor en andel af de testede, der er syge, altså prævalensen. Og ikke kun af sensitivitet og specificitet. Det har jeg skrevet en længere historie om på numb3rsbloggen. Det har betydning for, om man skal teste hele befolkningen eller kun dem, man har en mistanke om er syge.

Statistik er et fantastisk område med både mange og vigtige anvendelser og med spændende forskningsspørgsmål, som måske, måske ikke giver anvendelser.

Krumning – indre og ydre.

Krumning optræder i mange sammenhænge: Kurver krummer, flader krummer, Universet krummer. Hvad mener man med det?  I indlæggene Smilehuller og rynker  og også Fra fladt papir til krumme flader, har krumning optrådt som en vigtig egenskab, så det er på sin plads med en uddybning:

Der er to væsensforskellige slags krumning: Indre og ydre. Den indre krumning kan man observere “indeni” ved at måle afstande og vinkler indeni. Uden at stikke hovedet op og kigge ud. Tænk for eksempel på en kugleflade, overfladen af en kugle. Den kan man kigge på udefra, og for eksempel måle radius og diameter, men indeni må man nøjes med at måle langs med kuglefladen. [Tilføjet januar 2018:  Der er tilsyneladende mulighed for at misforstå dette. Lad mig præcisere: Indeni betyder inde i den todimensionale overflade. Det er ikke som at være inde i en badebold, men at være inde i overfladen af badebolden. At være et meget fladt lille dyr, som ikke kan måle andet end langs med overfladen.] Selv med den begrænsning kan man godt observere, at der er krumning. Med Robert Ossermans æbleplantageanalogi (fra “Poetry of the Universe” dansk udgave: Universets geometriske poesi. link til bibliotekerne )

En æbleplantage i planen har æbletræer i lange lige rækker, og man kan plante dem med lige langt mellem træerne både på den ene og den anden led – man kan for eksempel sætte træer i et koordinatsystem – plante et træ hvor både x- og y-koordinaten er et helt tal.

Lad os plante æbletræer på en kugleflade, hvor vi kun kan måle afstand og vinkler indeni fladen (strengt taget kan vi så ikke plante træer, for de stikker ud. Men lad os markere, hvor træerne skal stå.)

  1. Man kan måle sig til at “gå ligeud” – langs en storcirkel. Hvorfor? Fordi storcirklen mellem to punkter er kurven, der svarer til at kortest afstand. Og vi kan jo måle afstand.
  2. Vælg en storcirkel. Her vælger vi Ækvator: Plant æbletræer langs Ækvator med konstant afstand k.
  3. Begynd i et af æbletræerne og gå vinkelret på Ækvator. Plant æbletræer med konstant afstand k langs storcirklen i den retning.
  4. Gentag punkt 3 for alle æbletræerne langs Ækvator. Nu har vi plantet æbletræer langs alle længdegraderne.

 

latlongrid-40x20-whole

Sådan en æbleplantage er fundamentalt anderledes end en æbleplantage i planen og det ses tydeligt på figuren: Hvis vi går op mod Nordpolen og kigger til siden, bliver der kortere og kortere mellem træerne. Da vi gjorde det samme i planen, fik vi samme afstand mellem træerne på begge ledder.

Det skyldes kuglefladens krumning. Nærmere bestemt Gausskrumningen.

Gaussian_curvature

Plantageplantning på en cylinder har samme karakteristika som i planen, som figuren her viser. Man kan sætte træer efter et system, hvor afstandene på begge ledder holdes konstant. Forsøger man sig på en køletårnslignende flade (på figuren er den forrest), vil der blive længere og længere mellem træerne, når man går væk fra “mavebæltecirklen”.

Kuglen har positiv krumning, cylinderen (og planen) har krumning 0, køletårnet har negativ krumning. For flader med konstant krumning, kan man finde krumningen ved

  1. Lav en trekant:  Vælg tre punkter og forbind dem parvis med den korteste kurve, som løber i fladen og ikke ud i rummet omkring. I planen er det linjer, på kuglen storcirkler og på køletårnet kan man forestille sig, at man sætter tegnestifter i punkterne og forbinder med elastiktråd, så elastiktråden løber langs køletårnets overflade og ikke ud i rummet omkring – det kan være svært at gøre konkret – elastikken vil meget let skyde genvej gennem rummet omkring. En tommefingerregel: Hvis den rette linje mellem de to punkter går ind i midten af køletårnet (hvis for eksempel punkterne begge to er på “mavebælteciklen”), så skal elastikken trækkes på ydersiden. Ellers skal den trække på ydersiden. (For eksempel for punkter lodret over hinanden på tårnet.) På tegningen nedenfor kan man se nogle eksempler på valg af punkter og forbindelser mellem dem på en køletårnsagtig flade.
  2. Mål de tre vinkler a, b, c og arealet af trekanten, A. (Vinkler måles i radianer her.)
  3. Da er a+b+c=\pi+K*A. Og K er krumningen. Omvendt kan man få en formel for K ved at omorganisere ligningen. K=(a+b+c-\pi)/A

600px-Hyperbolic_triangle.svg

Trekanter på “køletårnsagtige” flader (sadler, frisee-salat og kartoffelchips) har vinkelsum mindre end \pi. På kuglefladen buler trekanter og får vinkelsum større end \pi. I planen har de som bekendt vinkelsum \pi. En torus har ikke konstant krumning – den har områder med positiv og områder med negativ krumning. Generelt varierer krumningen på en flade fra punkt til punkt. Og så skal man skærpe sin definition – det gør jeg ikke her.

Den ydre krumning er en effekt af, hvordan kurven, fladen,… er anbragt i et omliggende rum – hvor hurtigt den bøjer væk fra noget plant. I den forstand får en cylinder krumning og tynde cylindere krummer mere end tykke cylindere. Men set “indefra” kan man ikke observere denne krumning.

Når vi taler om, at universet eller rummet krummer, mener vi indre krumning. Man skal altså ikke forestille sig universet anbragt indeni noget endnu større.

 

Studiepraktik – kom og besøg os.

Vi holder Studiepraktik 21-23 oktober. Kom og få et indtryk af vore uddannelser. Tilmelding: Senest 5. oktober – du skal scrolle ned til anden ansøgningsrunde. Matematiks program giver et indtryk af alle de tre matematikuddannelser; Matematik og Statistik, Matematik-økonomi og Matematik-Teknologi. Hele AAU (i både Aalborg,, Esbjerg og København) holder studiepraktik de dage. Hvis du vil besøge en anden uddannelse, så se her. Og bemærk i øvrigt, at baggrundsbilledet for det overordnede program er to matematikstuderende, som arbejder med matematikken bag Rubiks terning. Med mig som vejleder, men det kan man nu ikke se på billedet.

Gæt næste tal i rækken

Af og til stilles der opgaver af typen “Hvad er næste tal i rækken 1, 2, 3, …?”. Her forventer spørgeren nok at få svaret 4, for spørgeren har sikkert genereret tallene ved hjælp af funktionen f(x) = x for x = 1, 2, 3, …. Lad os i stedet påstå, at svaret er 42 og argumentere hvorfor.

En måde at argumentere på, er simpelthen at give den funktion, vi påstår har genereret talrækken. Så lad os gøre det:
\displaystyle f(x) = \frac{19x^3}{3} - 38x^2 + \frac{212x}{3} - 38

Lad os tjekke, at f(1) = \frac{19 \cdot 1^3}{3} - 38 \cdot 1^2 + \frac{212 \cdot 1}{3} - 38 = \frac{19}{3} - 38 + \frac{212}{3} - 38 = \frac{19+212}{3} - 76 = 77 - 76 = 1. Waw! Og så videre for 2 og 3. Prøv fx ved hjælp af Wolfram Alpha for x = 2. Og for x = 4 fås, at f(4) = 42. Endnu mere wauw.

Så svaret på opgaven, kan vi påstå er 42 lige så vel som at det burde være 4. Vi har jo på samme måde anvist et polynomium, der kan generere talrækken og næste tal er 42.

Hvordan er det polynomium så konstrueret? Det er sket ved hjælp af noget, der kaldes polynomiumsinterpolation. Det er beskrevet på blandt andet https://en.wikipedia.org/wiki/Polynomial_interpolation og der findes flere hjemmesider, der kan gøre det online, fx http://www.wolframalpha.com/input/?i=interpolating+polynomial+calculator. Polynomiet ovenfor blev fundet med dette input (klik her).

I stedet for at have påstået, at næste tal var 42, kunne vi have påstået, at det var -100. Eller 719.232. Eller at de to næste er 1 og 1. Vi ville altid være i stand til at konstruere et polynomium, der ville give præcis hvad vi ønskede.

Hvorfor kan det så lade sig gøre? Fordi der altid kan konstrueres et polynomium, hvis graf går gennem n punkter [ovenfor er det {(1, 1), (2, 2), (3, 3), (4, 42)}]. Faktisk kan det vises, at der gennem n punkter findes ét (og kun ét) polynomium af grad n-1, hvis graf går igennem præcis disse punkter. Læs mere på denne Wikipedia side: https://en.wikipedia.org/wiki/Polynomial_interpolation

Hvad gør du, næste gang du får en opgave med at gætte næste tal i talrækken?

Smilehuller og rynker – golfbolde og fingeraftryk

Mønstrede kugler. (Fra Norbert Stoop).

Billede fra Norbert Stoop.

Når man suger luft ud af en silikonebold, får den sommetider smilehuller – så den ligner en golfkugle – og sommetider mere indviklede striber/furer a la de mønstre på fingerspidserne, der sætter fingeraftryk. Hvordan et tyndt ydre lag rynker, er ikke (kun) et kosmetikspørgsmål: Hjernen har furer – hvordan opstår de, og hvordan udvikler andre dele af kroppen sig i fostertilstanden (det kaldes morfogenese). Aerodynamikken af en golfbold er bedre end for en bold med glat overflade, så man vil gerne lave materialer, der ændrer sig for at ændre deres aerodynamik. Alt det gør, at man gerne vil forstå processen med, hvornår der dannes rynker – labyrintmønstre – og hvornår der dannes smilehuller (appelsinhud…) i et tyndt stift lag materiale udenpå et tykkere blødt lag.
Det problem har en gruppe forskere på MIT (Massachusets Institute of Technology) nu løst. To ingeniører, Pedro M. Reis og Denis Terwagne, og tre matematikere, Jörn Dunkel, Norbert Stoop og Romain Lagrange.

Reprinted by permission from Macmillan Publishers Ltd: Nature Materials 14, 337–342 (2015) Curvature-induced symmetry breaking determines elastic surface patterns,

Ingeniørerne havde i forvejen dels eksperimenter og dels nogle computersimulationer, som kunne genskabe fænomenerne nogenlunde, men kun et ad gangen, og der var ikke en samlet teori for, hvad der giver rynker og hvad der giver smilehuller.

Det viser sig at være forbavsende simpelt. Det afhænger af 1) Tykkelsen af det ydre lag i forhold til krumningen (som for en kugle kun afhænger af radius) På figuren ovenfor er tykkelsen h og radius R.  2) Hvor meget det ydre lag strækkes – hvor meget luft suges ud af bolden.

Reprinted by permission from Macmillan Publishers Ltd: Nature Materials 14, 337–342 (2015) Curvature-induced symmetry breaking determines elastic surface patterns,

Her dannes der “golfkugleagtige” mønstre, når der suges luft ud af en siliconebold. Når der i stedet dannes “fingeraftryk”, er det et eksempel på brud på symmetri. Man går fra noget meget regulært til noget, som ikke er det. Fra leopardens pletter til tigerens striber, er et andet eksempel på brydning af symmetri. Det (stribede og plettede tigre, leoparder og katte,) har Alan Turing (Jo, ham fra filmen, ham med Enigma) givet en matematisk model for.

Det overraskende i artiklen her er, at hele fænomenet kan forklares med kun to parametre. I ligningerne for elasticitet, som naturligt indgår her, er der mange andre ting, der kunne have indflydelse. Forfatterne skriver om en “generaliseret fjerde ordens Swift-Hohenberg ligning” (for afficionados er det en partiel differential ligning, som bl.a. indeholder Laplace-Beltrami operatoren…)

Reprinted by permission from Macmillan Publishers Ltd: Nature Materials 14, 337–342 (2015) Curvature-induced symmetry breaking determines elastic surface patterns,

Figuren ovenfor er at diagram over, hvor der skiftes mellem smilehuller (hexagonalt mønster) og rynker (labyrinths). I det gullige område er der smilehuller, i det blå er der rynker, imellem de to kurver er der en overgang med begge dele. Man kan se rigtig meget af sådan et fasediagram: Når R/h bliver meget stor, så er der kun labyrint/rynkemønster. Når der er et stort “sress”, altså man lukker rigtig meget luft ud, så skal der være en lille R/h for at få golfboldmønster. De kurver, der skiller områderne, kommer ved at løse en ligning – de er forudsagt teoretisk. De blå, gule og røde trekanter, romber og cirkler, stammer fra eksperimenter.

Torus og kugle

Billede fra Norbert Stoop.

Hvis nu man suger luft ud af en badering, som har et tyndt stift lag udenpå et tykkere blødere lag, så giver udregningerne stadig et resultat.

En badering/torus  har mere indviklet krumning end en kugle. Omkring punkter på “ydersiden” buler den udad som en kugle, men på indersiden er den mere som en sadel – man kan forestille sig, at man sætter sig i en meget stor badering, så man har noget af den over hovedet. Så sidder man næsten som på en (svajrygget) hest. Resultaterne i artiklen giver, at de mønstre, der dannes, afhænger af både Gausskrumningen og middelkrumningen. For en kugle er begge dele konstant og givet af radius, så det har vi med i beskrivelsen ovenfor.

Læs mere i Mathematical Moments eller (igen) i Quanta Magazine

 

 

 

 

Hvad er det næste tal?

Fra den tidlige skoletid kender vi alle fortsættelsen af nogle simple talmønstre, som f.eks. tre-tabellen:

3, 6, 9, 12, 15, …

Sådanne talmønstre optræder også ofte i IQ-tests. Hvad er det næste tal f.eks. nedenfor?

1, 1, 2, 3, 5, …

Nu vil de fleste vel tænke at en matematiker der får sådan et IQ-spørgsmål må have meget lettere ved at svare end en ikke-matematiker, men det forholder sig på nogle måder omvendt. Godt nok har matematikeren ofte et vist flair for tal og en sund logisk tankegang, men til gengæld risikerer matematikeren at tænke over at der er flere løsninger på problemet. Det oplaget svar ovenfor er selvfølgelig Fibonacchi-tallene hvor det næste tal er summen af de to forgående, dvs. 8, 13, 21, …

Det mindre oplagte svar er at det drejer sig om “opdelingstal” (partition numbers), som angiver på hvor mange måder man kan opdele et heltal i andre heltal. F.eks. kan 2 kun opdeles på to måder (lad os sige det er kagestykker):

  1. 2 til mig og 0 til alle andre. (2)
  2. 1 til mig, 1 til dig og 0 til alle andre. (1+1)

Fra det matematiske synspunkt ser vi ikke forskel på dig og mig så “2 til dig og 0 til alle andre” er den samme opdeling som punkt 1 ovenfor (hvilket er den version jeg foretrækker).

Tallet 3 kan opdeles på tre måder:

  1. 3 til mig og 0 til alle andre. (3)
  2. 2 til mig, 1 til dig og 0 til alle andre. (2+1)
  3. 1 til mig, 1 til dig, 1 til en anden og 0 til alle andre. (1+1+1)

(Her er “2 til dig, 1 til mig og 0 til alle andre” igen matematisk set det samme som punkt 2, så den tæller ikke som en ekstra mulighed.)

Tallet 4 kan opdeles på fem måder:

  1. 4
  2. 3+1
  3. 2+2
  4. 2+1+1
  5. 1+1+1+1

Tallet 5 kan opdeles på 7 måder, 6 kan opdeles på 11 måder og 7 kan opdeles på 15 måder. Derfor kunne fortsættelsen af vores talmønster lige så godt være 7, 11, 15, …

Er det mon så sådan at matematikere går rundt og husker en masse lange talmønstre så de kan genkende dem hvis de dukker op i en eller anden sammenhæng? Nej, det er ikke nødvendigt da en fyr ved navn Neil Sloane har gjort det meget let at slå talmønstre op i  On-Line Encyclopedia of Integer Sequences (OEIS). Her kan man taste de første tal ind og finde mange mulige fortsættelser. Det gør det muligt at finde interessante sammenhænge mellem forskellige talfølger og der er masser af referencer til kilder, beviser osv. Siden er blevet standardreference for talfølger, og hvis man f.eks. kigger på Wikipedia-siden om Fibonacchi-tallene kan man se står der i forlængelse af tallene “A000045“, hvilket er Fibonacchi-tallenes unikke ID på OEIS. Antallet af opdelinger af heltallene er talfølgen “A000041“.

Denne Youtube-video giver en kort introduktion til OEIS:

Fra fladt papir til krumme flader.

Når vi laver landkort, må vi forvrænge virkeligheden for at få den runde jord repræsenteret på flade kort. Forsøger man at pakke en fodbold ind, vil man opdage, at der er “for meget” papir at gør med. Man må lave folder i det eller krølle det lidt. Pakker man en sadel ind, observerer man det omvendte problem: Der mangler papir. Den matematiske forklaring er, at fodbolde, Jorden og sadler krummer, og det gør gavepapir og landkort ikke. Krumningen af fodbolden er en anden slags end krumningen af en sadel – man kan ikke pakke en fodbold ind i en sadel – det kræver endnu flere folder eller krøllen sammen – sadlen har negativ krumning, fodbolden positiv.

Man kan aldrig lave en helt rund bold af fladt papir – materialet skal kunne strækkes. Men man kan tilnærme den runde facon. Ved at lime meget små stykker fladt papir sammen eller ved origami, hvor man folder.  Man kan altså lave noget, der ligner den krumme fodbold, ved at lave skarpe folder, eller ved at lime sammen, og ellers have helt fladt papir for resten.

Jacek Halicki under Creative Commons 3

Jeg har skrevet om origami på Numb3rsbloggen, så det får I ikke mere om lige her. Det er der rigtig fin matematik i.

 

 

 

 

Fa Daniel Sussmann blog. Han er en af artiklens forfattere.

Nogle fysikere fra University of Pennsylvania ville gerne forstå, hvordan graphenagtige materialer kan komme til at krumme, og hvordan lange molekyler som for eksempel RNA kommer til at krumme. De forestiller sig, at man laver huller i et bikubemønster og derefter limer sammen. På billedet kan man, se, at de to gule områder bliver limet sammen til noget, der har positiv krumning (der er fjernet noget fra en sekskant), mens de grønne bliver til noget negativt krummet a la sadler og kartoffelchips (der er “for meget” papir rundt om punktet i midten af et grønt område, fordi to sekskanter sættes sammen – der er fjernet noget fra hver, men ikke nok til, at det bliver fladt.) De kan nu bygge noget, der ligner krumme flader fra bikubemønstre.De har brugt det på noget rigtig materiale ( de skriver “a simple combination of a Tyvek (nonwoven, Spunbonded Olefin, Type 10) base with folding cues supplied by heat-shrinkable polyolefin (SPC Technology)”). Som jeg forstår det, sætter de materiale, der krymper på passende områder på et bikubemønstret materiale – der, hvor de på figuren ovenfor klipper huller. Så varmer de det hele op, de udvalgte steder krymper helt sammen (næsten da), og man får samme effekt som ved at klippe huller og lime sammen.

Læs mere i det altid fremragende Quanta Magazine eller i den videnskabelige artikel.

PS: Jeg havde lovet noget om rynker og smilehuller. Det kommer senere. Jeg fik lige lyst til at skrive denne…

Sker der noget nyt i matematik?

Ja, der sker bestemt noget. Vi skriver artikler, når vi har fundet på ny matematik (eller opdaget – det er en filosofisk diskussion, om vi opdager eller opfinder matematikken.) Sådan en artikel har typisk et par egentlige resultater, matematiske sætninger, en del indledning med notation, definitioner, tidligere resultater, der skal bruges og så naturligvis bevis for sætningerne. Artiklen indsendes til et tidsskrift, hvor kolleger (anonymt) vurderer, om matematikken er korrekt, om det er nyt og om det er interessant for det pågældende tidsskrifts læsere. Så bliver artiklen publiceret. Ellers må man indsende til et andet tidsskrift.

Der skrives rigtig mange artikler. I databasen “Mathematical Reviews” (http://www.ams.org/mathscinet men det koster penge at kigge, hvis man ikke er på et bibliotek eller universitet eller lignende…), hvor artikler fra en lang række tidsskrifter (der er 1800 aktive) registreres med en kort beskrivelse af indholdet, er der lige nu for 2015 registreret 49834 artikler. I 2014 kom der 89642. Ialt er der 3,187,215 publikationer registreret. Og matematik bliver ikke forældet, så man kan godt få brug for en artikel fra 1810, fra tidsskriftet Annales de Mathématiques Pures et Appliquées. som er det første, der er registreret i databasen. Og så vidt jeg ved det første matematiske tidsskrift. Det er til at blive helt svimmel af at tænke på, at der er så meget matematik!

Det ældste tidsskrift er, som den kvikke læser nok har opdaget, på fransk. Idag skrives matematik i høj grad på engelsk. Jeg publicerer selv på engelsk. Eller ville der være alt for få potentielle læsere. Matematikere er meget specialiserede og matematik er en global arbejdsplads – vi samarbejder med hele verden. Næsten da.

Jo, der er meget at skrive om her på bloggen.

I næste indlæg vil jeg skrive om matematik og ikke bare “omkring” matematikken. Mere specifikt bliver det om matematikken bag rynker. For de overordentlig meget interesserede er det om resultaterne i artiklen “Curvature-induced symmetry breaking determines elastic surface patterns,” Norbert Stoop, Romain Lagrange, Denis Terwagne, Pedro M. Reis, and Jörn Dunkel, Nature Materials 14 (2015), pp. 337–342.

Måske når andre af kollegerne at skrive indlæg ind imellem – nu får vi se.

Mvh

Lisbeth.