Funktionör (matematik)
En funktor är en speciell typ av mappning mellan kategorier . Det kan förstås som en strukturbevarande kartläggning. Funktioner mellan små kategorier är morfismer i kategorin små kategorier . Samlingen av alla kategorier är inte en kategori i vanlig mening, eftersom samlingen av dess föremål inte är en klass . Ett sätt att övervinna sådana uppsättningsteoretiska svårigheter är att lägga till ett oberoende axiom till ZFC om existensen av ouppnåeliga kardinaler .
För första gången började funktorer betraktas i algebraisk topologi , där algebraiska objekt (till exempel den grundläggande gruppen ) associeras med topologiska utrymmen , och homomorfismer mellan dessa objekt associeras med kontinuerliga avbildningar . Därefter har funktorer blivit utbredda inom många områden av matematiken och används för att koppla ihop olika kategorier.
Termen "functor" lånades av matematiker från filosofen Rudolf Carnaps verk [1] , medan ordet "functor" i Carnap syftade på ett språkligt begrepp [2] .
Definition
En (samvariant) funktion från kategori till kategori är en mappning som:
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![\mathcal{D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3277962e1959c3241fb1b70c7f0ac6dcefebd966)
- mappar varje objekt till ett objekt
![X\in {\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff0f1e44334d39c0ba83ae6d79d31cede4491cc8)
![{\mathcal {F}}(X)\i {\mathcal {D}},](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f0bb6376b7464bb4201cc299943e16039eab7f7)
- mappar till varje morfism i kategorin en morfism i kategorin . Denna mappning måste ha följande egenskaper:
![f:X\till Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/abd1e080abef4bbdab67b43819c6431e7561361c)
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![{\mathcal {F}}(f):{\mathcal {F}}(X)\to {\mathcal {F}}(Y)](https://wikimedia.org/api/rest_v1/media/math/render/svg/256a0ab8822ebab807f604759ce65becfd52e00c)
![\mathcal{D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3277962e1959c3241fb1b70c7f0ac6dcefebd966)
,
.
Sålunda måste funktorn bevara identitetsmorfismer och strukturen av sammansättningen av morfismer.
På liknande sätt är en kontravariant funktion en karta som vänder pilar (det vill säga tilldelar en morfism till en morfism ), bevarar identiska morfismer och uppfyller likheten:
![f:X\till Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/abd1e080abef4bbdab67b43819c6431e7561361c)
![{\mathcal {F}}(f):{\mathcal {F}}(Y)\to {\mathcal {F}}(X)](https://wikimedia.org/api/rest_v1/media/math/render/svg/28ef07e14595b449162af0ede1b9024c197bd7d8)
![{\mathcal {F}}(g\circ f)={\mathcal {F}}(f)\circ {\mathcal {F}}(g)](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d50e6dac3a9c4ab786843f1c99a160a7b7e25f4)
.
En kontravariant funktion kan också definieras som en kovariansfunktion från den dubbla kategorin . Vissa författare föredrar att skriva alla uttryck samvariant, och istället för orden "kontravariant funktion från till " säger de "funktion från till " (eller ibland "funktion från till ").
![{\mathcal {C}}^{{\mathrm {op}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2db750fcb75108f0e27b36b05caaaeece86f40f)
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![\mathcal{D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3277962e1959c3241fb1b70c7f0ac6dcefebd966)
![{\mathcal {C}}^{{\mathrm {op}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2db750fcb75108f0e27b36b05caaaeece86f40f)
![\mathcal{D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3277962e1959c3241fb1b70c7f0ac6dcefebd966)
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![{\mathcal {D}}^{{\mathrm {op}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22eb204a41912f43c44ee3e749d456693717cbbb)
Bifunktioner och multifunktioner
En bifunktor är en funktion av två argument. Ett naturligt exempel är Hom-funktorn , som är samvariant i ett argument och kontravariant i ett annat.
Formellt definieras bifunctors som funktioner från produktkategorin . En funktion har till exempel formen .
![{\mathrm {hom}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eea3aafc91ebbd147d45c3c69e88431c48cbe9f8)
![{\mathcal C}^{{\mathrm {op}}}\times {\mathcal C}\to {\mathbf {Set}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53e2a33066d5456ee561df2069d2b4503f9f3ac3)
En multifunktion är en generalisering av begreppet en bifunktion på variabler.
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
Exempel
För att specificera en funktor måste man definiera dess verkan inte bara på kategoriobjekt, utan också (viktigare) på morfismer: det finns olika funktorer som verkar på samma sätt på objekt, till exempel identitetsfunktorn och anti -identitetsfunktorn som vänder pilar.
- Låt vara en underkategori i kategorin . I det här fallet definieras inbäddningsfunktionen , som verkar på objekt och morfismer som motsvarande klassinbäddningar .
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![I:{\mathcal {C}}\hookrightarrow {\mathcal {D}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8bc924718176823de37fdbf63297555042f5c4d)
- Konstant funktor: En funktion som mappar varje kategoriobjekt till ett objekt med fast kategori och varje morfism till det objektets identitetsmorfism.
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![\mathcal{D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3277962e1959c3241fb1b70c7f0ac6dcefebd966)
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
- Endofunctors är alla funktorer från en kategori till sig själva.
- Dubbelvektorrymd : En mappning som tilldelar varje vektorrum dess dubbla och till varje linjär mappning dess dubbla (eller transponerade) mappning är en kontravariant endofunctor på kategorin vektorrum.
- Presheaves : låt vara ett topologiskt utrymme , då bildar öppna delmängder en delvis ordnad uppsättning med avseende på inkludering, betecknad med . Som med vilken post som helst kan man associera en kategori genom att lägga till en enda morfism om och endast om . Kontravarianta funktorer från kallas presheaves . Till exempel finns det en funktor i kategorin reella algebror som associerar en öppen mängd med en algebra av reellt värderade kontinuerliga funktioner på den.
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![OXE)](https://wikimedia.org/api/rest_v1/media/math/render/svg/18e6b588bf3d9ada6cd5342cff5a72d1044cd500)
![OXE)](https://wikimedia.org/api/rest_v1/media/math/render/svg/18e6b588bf3d9ada6cd5342cff5a72d1044cd500)
![U\ till V](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8aade74fbc3d516467efd200969ce325f5425f4)
![U\subseteq V](https://wikimedia.org/api/rest_v1/media/math/render/svg/7720f1387a2e51d58daf1fb9e9b1b730430b8466)
- Fundamental grupp : varje topologiskt utrymme med en markerad punkt kan associeras med en fundamental grupp vars element är loopekvivalensklasser upp till homotopi . Om är en morfism av utrymmen med en markerad punkt (en kontinuerlig mappning som tar en markerad punkt av det första utrymmet till en markerad punkt i det andra), kan varje slinga från punkten associeras med sin bild, som är en slinga från punkt . Denna kartläggning överensstämmer med ekvivalensklasser och med kompositionens funktion, och är därför en homomorfism från till . Det är lätt att kontrollera att alla andra egenskaper hos en kovariansfunktion från kategorin topologiska utrymmen med markerad prick till kategorin av grupper håller .
![\pi _{1}(X,x_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/c04f460bab6f580276cedce44809d2e466df4cbb)
![f:X\till (Y)](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bfa2d40a4cc4d0983d9117177307c40ba25e6da)
![x_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86f21d0e31751534cd6584264ecf864a6aa792cf)
![y_0](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d943dbbb0b56ca750c4d62c5b54b4ae29a773da)
![\pi (X,x_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/46ff14353ed05f526f8819399cf975504db67596)
![\pi (Y,y_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0234d97dede16a5feda54abab1f7634273872ec)
- Tangent- och cotangensknippe : en karta som associerar ett jämnt grenrör med dess tangentknippe och en diffeomorfism av grenrör med dess differential , är en kovariansfunktion från kategorin släta grenrör och diffeomorfismer till kategorin vektorbuntar . På liknande sätt definierar cotangensbunten och codifferentialen för en diffeomorfism en kontravariant funktion.
Beaktande av tangentrymden vid en fixpunkt definierar en kovariansfunktion från kategorin jämna grenrör med en markerad punkt och jämna avbildningar till kategorin vektorrum.
- Tensorprodukt : om är en kategori av vektorrum över ett fast fält, definierar tensorprodukten av två mellanrum en funktion som är kovariant i båda argumenten [3] .
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![{\mathcal {C}}\times {\mathcal {C}}\to {\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16780f1e254ecf24b8d2dc3f827affc412272961)
Egenskaper
- Funktionen tar kommutativa diagram till kommutativa diagram.
- Funktionen tar isomorfismer till isomorfismer.
- Sammansättningen av två funktorer är också en funktor. Funktionssammansättning är en associativ operation (där den är definierad), så funktorer mellan små kategorier uppfyller alla egenskaper hos morfismer i kategorin.
En kategori av ett objekt är detsamma som en monoid : morfismerna i den motsvarar elementen i monoiden, och operationen av sammansättningen av morfismer motsvarar operationen som definieras i monoiden. Funktioner mellan kategorier med ett objekt motsvarar en-till-en monoida homomorfismer; därför, på sätt och vis, är en funktion en generalisering av begreppet en homomorfism av monoider till "monoider där kompositionens funktion inte är definierad överallt".
Samband med andra kategoriska begrepp
Låt och vara kategorier. Uppsättningen av alla morfismer kan betraktas som uppsättningen objekt av en annan kategori: kategorin av funktorer . Morfismer i denna kategori är naturliga transformationer av funktioner.
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![\mathcal{D}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3277962e1959c3241fb1b70c7f0ac6dcefebd966)
![{\mathcal {F}}\colon {\mathcal {C}}\to {\mathcal {D}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcbfc93bef1f6cd7054d1fa0a205cb68d0e3eb69)
Funktioner specificeras ganska ofta med hjälp av universella egenskaper , exempel inkluderar tensorprodukter , produkter av grupper, uppsättningar eller vektorrum, direkta och omvända gränser. Dessutom definierar universella konstruktioner ofta ett par angränsande funktorer .
Anteckningar
- ↑ McLane, 2004 , sid. 42.
- ↑ Carnap R. Språkets logiska syntax. - Routledge & Kegan Paul, 1937. - S. 13-14.
- ↑ Hazewinkel M., Gubareni N. M., Kirichenko V. V. . Algebror, ringar och moduler. Vol. 1 . - Dordrecht: Springer Science & Business Media , 2004. - 380 s. - (Mathematics and Its Applications, vol. 575). - ISBN 978-1-4020-2690-4 . - S. 99-100.
Litteratur
- Bucur I., Delyanu A. . Introduktion till teorin om kategorier och funktioner. — M .: Mir , 1972. — 259 sid.
- Maclain S. Kapitel 2. Konstruktioner i kategorier // Kategorier för en arbetande matematiker. — M .: Fizmatlit , 2004. — 352 sid. — ISBN 5-9221-0400-4 . - S. 43-67.
- Tsalenko M. S., Shulgeifer E. G. . Grunderna i kategoriteorin. — M .: Nauka , 1974. — 256 sid.
Länkar
- Markis, Jean-Pierre. Kategoriteori (engelska) . Stanford Encyclopedia of Philosophy. — Innehåller en mycket omfattande bibliografi. Hämtad 30 juli 2013. Arkiverad från originalet 13 augusti 2013.