Erlangen-programmet är ett tal av den 23-årige tyske matematikern Felix Klein vid universitetet i Erlangen (oktober 1872 ), där han föreslog ett allmänt algebraiskt förhållningssätt till olika geometriska teorier och skisserade en lovande väg för deras utveckling. Rapporten var relaterad till proceduren för att bekräfta Klein som professor och publicerades samma år. Den första ryska översättningen kom 1895 .
I originalet kallades Kleins rapport "Komparativ granskning av den senaste geometriska forskningen" ( tyska: Vergleichende Betrachtungen über neuere geometrische Forschungen ) [1] , men den kom in i vetenskapshistorien under kortnamnet " Erlangen Program ". Inflytandet från detta program på den fortsatta utvecklingen av geometrin var exceptionellt stort. Descartes upptäckt upprepades på en ny nivå : algebraiseringen av geometrin gjorde det möjligt att få djupa resultat, som var extremt svåra eller helt ouppnåeliga för gamla instrument.
Vid mitten av 1800-talet var geometrin uppdelad i många olika sektioner: euklidisk , sfärisk , hyperbolisk , projektiv , affin , konform , riemannsk , flerdimensionell, komplex etc. Vid sekelskiftet, efter Kleins rapport, pseudo-euklidisk geometri och topologi lades till dem .
Klein kom på idén om en algebraisk klassificering av olika grenar av geometri i enlighet med de klasser av transformationer som inte är väsentliga för denna geometri. Mer exakt, en sektion av geometri skiljer sig från en annan genom att de motsvarar olika grupper av rymdtransformationer, och studieobjekten är invarianter av sådana transformationer [2] .
Till exempel studerar klassisk euklidisk geometri egenskaperna hos figurer och kroppar som bevaras under rörelser utan deformation; det motsvarar en grupp som innehåller rotationer , översättningar och deras kombinationer. Projektiv geometri kan studera koniska sektioner , men behandlar inte cirklar eller vinklar eftersom cirklar och vinklar inte bevaras under projektiva transformationer . Topologi studerar invarianterna av godtyckliga kontinuerliga transformationer (Klein noterade detta redan innan topologin föddes). Genom att studera transformationsgruppers algebraiska egenskaper kan vi upptäcka nya djupa egenskaper hos motsvarande geometri, och även lättare bevisa gamla. Kleins tillvägagångssätt förenade de olika geometrierna och deras metoder och klargjorde deras skillnader. Utanför detta schema återstod endast Riemannsk geometri ; för att inkludera det i det allmänna systemet var det nödvändigt på 1920-talet att avsevärt generalisera Kleins synsätt [3] .
Ett exempel på ett enkelt bevis på att medianerna för en triangel skär varandra vid en punkt. Medianen är en affin invariant; om medianerna i en liksidig triangel skär varandra vid en punkt, då i vilken som helst annan kommer det att vara sant, eftersom vilken triangel som helst kan omvandlas till en liksidig triangel och vice versa genom en affin transformation .
Efter den första algebraiseringen av geometri av Descartes , det vill säga i analytisk geometri , fanns det en olägenhet: ofta var det nödvändigt att separat bevisa resultatens geometriska karaktär, det vill säga deras oberoende från koordinatsystemet. En ytterligare fördel med Kleins tillvägagångssätt var att de resulterande invarianterna, genom själva betydelsen av deras definition, inte är beroende av koordinatsystemet.
Baserat på de idéer som presenterades visade Klein i sin rapport att Lobachevsky-geometrin är ett utrymme med konstant negativ krökning, och uppmärksammade sambandet mellan den projektiva modellen som föreslagits av Beltrami och den projektiva gruppen.
Kleins tillvägagångssätt visade sig vara tillämpbart på de mest abstrakta geometrierna - flerdimensionella, icke-euklidiska , icke-arkimediska , etc. I början av 1900-talet utvecklade Isai Schur , Emmy Noether , Eli Cartan och andra matematiker en allmän teori om grupp. representationer och invariant teori . Dessa studier berikade inte bara geometrin avsevärt, utan visade sig vara användbara för fysiken. Hermann Minkowski 1905 inkluderade relativitetsteorin i Kleins system , vilket visar att ur en matematisk synvinkel är det teorin om invarianter i Poincaré-gruppen , som agerar i fyrdimensionell rum-tid . Ett liknande tillvägagångssätt behövdes i teorin om elementarpartiklar , kvantteorin och andra fysikaliska teorier [4] .
Ordböcker och uppslagsverk |
---|