Saunders Mac Lane | |
---|---|
Saunders Mac Lane | |
Narození | 4. srpen 1909 Taftville, Connecticut, USA |
Úmrtí | 14. dubna 2005 (ve věku 95 let) San Francisco, Kalifornie, USA |
Alma mater | Yaleova univerzita (BA) Chicagská univerzita (MA) Univerzita Georga Augusta v Göttingenu (PhD) |
Pracoviště | Harvardova univerzita Cornellova univerzita Chicagská univerzita Kolumbijská univerzita |
Obory | Matematická logika Algebraická teorie čísel Algebraická topologie |
Známý díky | Acyklický model Teorie kategorií Shuffle algebra Standardní komplex Mac Laneova věta o koherenci Mac Laneova teorie množin Mac Laneova podmínka Mac Laneovo kritérium planarity Eilenbergův–MacLaneův prostor Steinitzova věta o výměně |
Ocenění | Chauvenet Prize(1941)[1][2] Leroy P. Steele Prize(1986) Národní vyznamenání za vědu(1989) |
Manžel(ka) | Dorothy Jones (od roku 1934) |
Příbuzní | Gerald R. MacLane (sourozenec) |
Některá data mohou pocházet z datové položky. |
Saunders Mac Lane (4. srpna 1909[3] Taftville, Connecticut, USA – 14. dubna 2005 San Francisco, Kalifornie, USA[4]) byl americký matematik, který spolu se Samuelem Eilenbergem formuloval teorii kategorií. Ve své disertační práci se zabýval matematickou logikou, později se věnoval především algebře.
Saunders Mac Lane byl pokřtěn jako Leslie Saunders MacLane, ale jméno Leslie (údajně k nelibosti rodičů) nepoužíval; mezeru v příjmení začal používat údajně proto, že jeho ženě dělalo potíže psát jeho původní příjmení na psacím stroji.
V letech 1934 až 1938 působil Mac Lane krátkodobě na Yaleově univerzitě, Harvardově univerzitě, Cornellově univerzitě a Chicagské univerzitě. V letech 1938 až 1947 pak působil na Harvardu. V roce 1941 se při sérii hostujících přednášek na Michiganské univerzitě se seznámil se Samuelem Eilenbergem a začala plodná spolupráce v oblasti propojení algebry a topologie. V letech 1944 a 1945 vedl skupinu aplikované matematiky na Kolumbijské univerzitě, která se podílela na válečném úsilí jako dodavatel panelu aplikované matematiky; matematika, na níž v této skupině pracoval, se týkala diferenciálních rovnic pro systémy řízení palby.[3]
V roce 1947 přijal nabídku vrátit se do Chicaga, kam se (částečně kvůli zapojení univerzity do Projektu Manhattan a částečně kvůli administrativnímu úsilí Marshalla Stonea) nedlouho předtím přestěhovalo i mnoho dalších slavných matematiků a fyziků. V letech 1947-1948 odcestoval jako Guggenheimův stipendista na ETH v Curychu, kde pracoval s Heinzem Hopfem. V roce 1952 vystřídal Stonea ve funkci vedoucího katedry, ve které působil šest let.[3]
Byl vicepresidentem Národní akademie věd Spojených států amerických a Americké filozofické společnosti a prezidentem Americké matematické společnosti. V roce 1949 byl zvolen do Národní akademie věd. V 50. letech 20. století předsedal Matematické asociaci Ameriky a inicioval její aktivity zaměřené na zlepšení výuky moderní matematiky. V letech 1974-1980 byl členem Národní rady pro vědu, která radila americké vládě. V roce 1976 vedl delegaci matematiků do Číny, aby tam studovali podmínky ovlivňující matematiku. V roce 1989 obdržel Národní medaile za vědu.[5]
Po obhajobě disertační práce z matematické logiky se zpočátku zabýval komutativními tělesy a valuační teorií. Publikoval práce o valuačních okruzích, Wittových vektorech a separabilitě v nekonečných nadtělesech. V roce 1942 začal psát o rozšířeních grup a v roce 1943 zahájil výzkum toho, co se dnes nazývá Eilenbergovy-Mac Laneovy prostory K(G,n) s jedinou netriviální homotopickou grupou G dimenze n. Tato práce otevřela cestu ke kohomologii grup obecně.[zdroj?]
Poté, co zavedl abstraktní přístup k teorii homologie prostřednictvím Eilenbergových-Steenrodových axiomů, vytvořil v roce 1945 spolu s Eilenbergem teorii kategorií. Známý je zejména svou prací o větách o koherenci. Opakujícím se rysem teorie kategorií, abstraktní algebry a také některých dalších matematických oborů je používání diagramů, které se skládají ze šipek (morfismů) spojujících objekty, například součinů a koproduktů. Podle McLartyho (2005) tento diagramatický přístup v současné matematice do značné míry pochází od Mac Lanea (1948), který také zavedl termín Jonedovo lemma pro lemma, které je základním podkladem mnoha ústředních pojmů teorie kategorií a které objevil Nobuo Joneda.[6]
Mac Lane se příkladně věnoval psaní přístupných textů, počínaje svým velmi vlivným dílem A Survey of Modern Algebra, jehož spoluautorem byl v roce 1941 Garrett Birkhoff. Od té doby bylo možné vyučovat elementární moderní algebru vysokoškolské studenty pomocí anglického textu. Jeho Categories for the Working Mathematician zůstávají nejpropracovanějším úvodem do teorie kategorií.[zdroj?]
V tomto článku byly použity překlady textů z článků Saunders Mac Lane na slovenské Wikipedii a Saunders Mac Lane na anglické Wikipedii.