Funktionær (matematik)
En funktor er en speciel type kortlægning mellem kategorier . Det kan forstås som en strukturbevarende kortlægning. Funktioner mellem små kategorier er morfismer i kategorien små kategorier . Samlingen af alle kategorier er ikke en kategori i sædvanlig forstand, da samlingen af dens objekter ikke er en klasse . En måde at overvinde sådanne set-teoretiske vanskeligheder på er at tilføje et uafhængigt aksiom til ZFC om eksistensen af uopnåelige kardinaler .
For første gang begyndte man at overveje funktorer i algebraisk topologi , hvor algebraiske objekter (for eksempel den fundamentale gruppe ) er forbundet med topologiske rum , og homomorfismer mellem disse objekter er forbundet med kontinuerlige kortlægninger . Efterfølgende er funktorer blevet udbredt inden for mange områder af matematikken og bruges til at forbinde forskellige kategorier.
Udtrykket "functor" blev lånt af matematikere fra filosoffen Rudolf Carnaps værker [1] , mens ordet "functor" i Carnap refererede til et sprogligt begreb [2] .
Definition
En (kovariant) funktor fra kategori til kategori er en kortlægning, der:
![{\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)
- kortlægger hvert objekt til et 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)
- tilknytter hver morfisme i kategorien en morfisme i kategorien . Denne kortlægning skal have følgende egenskaber:
![f:X\til 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åledes skal funktoren bevare identitetsmorfismer og strukturen af sammensætningen af morfismer.
På samme måde er en kontravariant funktion et kort, der vender pile (det vil sige tildeler en morfisme til en morfisme ), bevarer identiske morfismer og opfylder ligheden:
![f:X\til 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 funktor kan også defineres som en kovariant funktor fra den dobbelte kategori . Nogle forfattere foretrækker at skrive alle udtryk kovariant, og i stedet for ordene "kontravariant funktion fra til " siger de "funktion fra til " (eller nogle gange "funktion fra til ").
![{\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 og multifunktioner
En bifunktør er en funktion af to argumenter. Et naturligt eksempel er Hom-funktionen , som er kovariant i et argument og kontravariant i et andet.
Formelt defineres bifunctors som funktorer fra produktkategorien . For eksempel har en funktor formen .
![{\mathrm {hom}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eea3aafc91ebbd147d45c3c69e88431c48cbe9f8)
![{\mathcal C}^{{\mathrm {op}}}\ gange {\mathcal C}\to {\mathbf {Set}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53e2a33066d5456ee561df2069d2b4503f9f3ac3)
En multifunktion er en generalisering af begrebet en bifunktion på variabler.
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
Eksempler
For at specificere en funktor skal man definere dens handling ikke kun på kategoriobjekter, men også (vigtigere) på morfismer: der er forskellige funktorer, der virker på samme måde på objekter, f.eks. identitetsfunktøren og anti -identitetsfunktionen der vender pile om.
- Lad være en underkategori i kategorien . I dette tilfælde er indlejringsfunktionen defineret , som virker på objekter og morfismer som de tilsvarende klasseindlejringer .
![{\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 funktor, der knytter hvert kategoriobjekt til et objekt med fast kategori , og hver morfi til det pågældende objekts identitetsmorfi.
![{\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 er enhver funktionor fra en kategori ind i sig selv.
- Dobbelt vektorrum : En mapping, der tildeler hvert vektorrum dets dobbelte og til hver lineære mapping dets dobbelte (eller transponerede) mapping, er en kontravariant endofunctor på kategorien af vektorrum.
- Presheaves : lad være et topologisk rum , så danner åbne delmængder et delvist ordnet sæt med hensyn til inklusion, betegnet med . Som med enhver sætning kan man tilknytte en kategori ved at tilføje en enkelt morfisme , hvis og kun hvis . Kontravariante funktorer fra kaldes presheaves . For eksempel er der en funktion i kategorien reelle algebraer , der forbinder et åbent sæt med en algebra af reelle værdifulde kontinuerte funktioner på det.
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![OKSE)](https://wikimedia.org/api/rest_v1/media/math/render/svg/18e6b588bf3d9ada6cd5342cff5a72d1044cd500)
![OKSE)](https://wikimedia.org/api/rest_v1/media/math/render/svg/18e6b588bf3d9ada6cd5342cff5a72d1044cd500)
![U til 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 gruppe : hvert topologisk rum med et markeret punkt kan associeres med en fundamental gruppe, hvis elementer er sløjfeækvivalensklasser op til homotopi . Hvis er en morfisme af rum med et markeret punkt (en kontinuerlig kortlægning, der tager et markeret punkt af det første rum til et markeret punkt i det andet), kan hver sløjfe fra punktet associeres med sit billede, som er en sløjfe fra punkt . Denne kortlægning er i overensstemmelse med ækvivalensklasser og med sammensætningens funktion, og er derfor en homomorfi fra til . Det er nemt at kontrollere, at alle andre egenskaber for en kovariant funktion fra kategorien topologiske rum med markeret prik til kategorien af grupper holder .
![\pi _{1}(X,x_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/c04f460bab6f580276cedce44809d2e466df4cbb)
![f:X\til (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- og cotangensbundt : et kort, der forbinder en glat manifold med dens tangentbundte og en diffeomorfi af manifolder med dens differential , er en kovariant funktor fra kategorien af glatte manifolder og diffeomorfismer til kategorien af vektorbundter . På samme måde definerer cotangensbundtet og codifferentialet af en diffeomorfisme en kontravariant funktion.
Betragtning af tangentrummet ved et fast punkt definerer en kovariant funktionor fra kategorien af glatte manifolds med et markeret punkt og glatte afbildninger til kategorien af vektorrum.
- Tensorprodukt : hvis er en kategori af vektorrum over et fast felt, definerer tensorproduktet af to rum en funktion , der er kovariant i begge argumenter [3] .
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![{\mathcal {C}}\ gange {\mathcal {C}}\to {\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16780f1e254ecf24b8d2dc3f827affc412272961)
Egenskaber
- Funktionen tager kommutative diagrammer til kommutative diagrammer.
- Funktoren tager isomorfismer til isomorfismer.
- Sammensætningen af to funktorer er også en funktor. Funktionssammensætning er en associativ operation (hvor den er defineret), så funktorer mellem små kategorier opfylder alle egenskaberne for morfismer i kategorien.
En kategori af et objekt er det samme som en monoid : morfismerne i den svarer til elementerne i monoiden, og operationen af sammensætning af morfismer svarer til operationen defineret i monoiden. Funktioner mellem kategorier med et objekt svarer en-til-en til monoide homomorfismer; derfor er en funktor i en vis forstand en generalisering af begrebet en homomorfi af monoider til "monoider, hvor sammensætningens funktion ikke er defineret overalt".
Forbindelse med andre kategoriske begreber
Lad og vær kategorier. Sættet af alle morfismer kan betragtes som sættet af objekter af en anden kategori: kategorien af funktorer . Morfismer i denne kategori er naturlige transformationer af funktorer.
![{\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 er ret ofte specificeret ved hjælp af universelle egenskaber , eksempler inkluderer tensorprodukter , produkter af grupper, sæt eller vektorrum, direkte og omvendte grænser. Også universelle konstruktioner definerer ofte et par sammenstødende funktorer .
Noter
- ↑ McLane, 2004 , s. 42.
- ↑ Carnap R. Sprogets logiske syntaks. - Routledge & Kegan Paul, 1937. - S. 13-14.
- ↑ Hazewinkel M., Gubareni N. M., Kirichenko V. V. . Algebraer, ringe og 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 til teorien om kategorier og funktioner. — M .: Mir , 1972. — 259 s.
- Maclain S. Kapitel 2. Konstruktioner i kategorier // Kategorier for en arbejdende matematiker. — M .: Fizmatlit , 2004. — 352 s. — ISBN 5-9221-0400-4 . - S. 43-67.
- Tsalenko M. S., Shulgeifer E. G. . Grundlæggende om kategoriteori. — M .: Nauka , 1974. — 256 s.
Links
- Markis, Jean-Pierre. Kategoriteori (engelsk) . Stanford Encyclopedia of Philosophy. — Indeholder en meget omfattende bibliografi. Hentet 30. juli 2013. Arkiveret fra originalen 13. august 2013.