פונקטור

במתמטיקה, ובמיוחד בתורת הקטגוריות, פונקטור (נקרא גם העתקן) הוא סוג מיוחד של העתקה בין קטגוריות.

פונקטורים הוגדרו לראשונה בטופולוגיה אלגברית, שם שויכו מבנים אלגבריים למרחבים טופולוגיים (למשל החבורה היסודית), והומומורפיזמים אלגבריים שויכו לפונקציות רציפות. כיום, פונקטורים קיימים בכל תחומי המתמטיקה, והם מאפשרים ליצור קשרים בין תחומים מתמטיים שונים.

את המונח טבע רודולף קרנפ, והוא אומץ על ידי אחד ממייסדי תורת הקטגוריות, סאונדרס מק'ליין.

==הגדרה פורמלית==
יהיו <math>\mathcal{C}</math> ו-<math>\mathcal{D}</math> שתי קטגוריות. פונקטור קו-וריאנטי <math>F</math> מ-<math>\mathcal{C}</math> ל-<math>\mathcal{D}</math> הוא המידע הבא:
* לכל אובייקט <math>X \in \mathcal{C}</math> קיים אובייקט <math>F(X) \in \mathcal{D}</math>.
* לכל מורפיזם <math>f:X \rightarrow Y</math> ב-<math>\mathcal{C}</math> יש מורפיזם <math>F(f) : F(X) \rightarrow F(Y)</math> ב-<math>\mathcal{D}</math>.
כך שהתכונות הבאות מתקיימות:
* לכל אובייקט <math>X \in Ob(\mathcal{C})</math> המורפיזם <math>F(1_X)</math> הוא מורפיזם הזהות של <math>F(X)</math>.
* לכל זוג מורפיזמים <math>f:X \rightarrow Y</math> ו-<math>g:Y \rightarrow Z</math> מתקיים <math>F(g \circ f) = F(g) \circ F(f)</math>.

במילים אחרות, הפונקטור משמר את מורפיזם הזהות ואת פעולת הרכבת המורפיזמים.

העתקה בין שתי קטגוריות <math>G:\mathcal{C}\rightarrow \mathcal{D}</math> המקיימת את כל התכונות של פונקטור, פרט לכך שעבור מורפיזמים היא פועלת בכיוון ההפוך,
* לכל מורפיזם <math>f:X \rightarrow Y</math> ב-<math>\mathcal{C}</math> יש מורפיזם <math>G(f) : G(Y) \rightarrow G(X)</math> ב-<math>\mathcal{D}</math>.
* לכל זוג מורפיזמים <math>f:X \rightarrow Y</math> ו-<math>g:Y \rightarrow Z</math> מתקיים <math>G(g \circ f) = G(f) \circ G(g)</math>
נקראת פונקטור קונטרה-וריאנטי.

==דוגמאות==

* ההעתקה <math>F: \mathbf{Grp} \to \mathbf{Set}</math> מקטגורית החבורות לקטגורית הקבוצות, המעתיקה חבורה לקבוצת האיברים שלה, ומעתיקה הומומורפיזם בין חבורות למורפיזם בין קבוצות המגדיר אותו, הוא פנקטור קווריאנטי. פונקטורים מהצורה הזאת, אשר שוכחים חלק מהמבנה של האובייקטים והמורפיזמים בקטגוריה, נקראים פונקטורים שוכחים.

* ההעתקה המתאימה לכל מרחב וקטורי את המרחב הדואלי לו, ולכל העתקה ליניארית את ההעתקה הצמודה לה היא פונקטור קונטרה וריאנטי מהקטגוריה של מרחבים וקטורים לעצמה.

* ההעתקה המתאימה לכל חבורת לי <math>G</math> אלגברת לי <math>\mathfrak{g}</math> היא פונקטור. במקרה זה, למורפיזם של חבורות לי <math>\varphi : G \to H</math> הפונקטור מתאים את הדיפרנציאל (נגזרת) <math>d \varphi : \mathfrak{g} \to \mathfrak{h}</math>.

* דוגמה מגאומטריה אלגברית: ההעתקה מקטגוריית היריעה אלגבריות אפיניות מעל שדה <math>k</math> לקטגוריית לאלגברות הפולינומים מעל k היא פונקטור קונטרה-וריאנטי. לכל יריעה אלגברית אפינית <math>V</math> הפונקטור מתאים את חוג הקואורדינטות <math>k[V]</math> ולכל מורפיזם של יריעות אפיניות <math>f: V \to W</math> שהוא העתקה פולינומית הפונקטור מתאים הומומורפיזם <math>f^* : k[W] \to k[V]</math> המוגדר כך: לכל <math>g : W \to k</math> שהיא העתקה פולינומית <math>f^*(g) = g \circ f</math>, וזו העתקה פולינומית מ-<math>V</math> ל-<math>k</math> (כהרכבה של שני פולינומים).

== פונקטור נאמן ומלא ==

יהיו <math>\mathcal{C}</math> ו-<math>\mathcal{D}</math> קטגוריות קטנות מקומית (כלומר: אוסף המורפיזמים בין כל שני עצמים בקטגוריה הוא קבוצה קטנה). יהי <math>F : \mathcal{C} \to \mathcal{D}</math> פונקטור מ-<math>\mathcal{C}</math> ל-<math>\mathcal{D}</math>. הפונקטור <math>F</math> משרה פונקציה בין קבוצות
:<math>F_{X,Y}\colon\mathrm{Hom}_{\mathcal C}(X,Y)\rightarrow\mathrm{Hom}_{\mathcal D}(F(X),F(Y))</math>
לכל זוג עצמים <math>X</math> ו-<math>Y</math> ב-<math>\mathcal{C}</math>.

הפונקטור נקרא:
* נאמן (faithful) אם <math>F_{X,Y}</math> הוא פונקציה חד-חד-ערכית (injection) לכל זוג עצמים <math>X</math> ו-<math>Y</math> ב-<math>\mathcal{C}</math>.
* מלא (full) אם <math>F_{X,Y}</math> היא פונקציה על (surjection) לכל זוג עצמים <math>X</math> ו-<math>Y</math> ב-<math>\mathcal{C}</math>.
* נאמן ומלא (fully faithful) אם <math>F_{X,Y}</math> היא פונקציה חד-חד-ערכית ועל (bijection) לכל זוג עצמים <math>X</math> ו-<math>Y</math> ב-<math>\mathcal{C}</math>.

==העתקה טבעית==

עבור שני פונקטורים <math>F,G:\mathcal{C}\rightarrow\mathcal{D}</math>, העתקה טבעית <math>\eta:F\rightarrow G</math> מתאימה לכל אובייקט <math>X\in \mathcal{C}</math> מורפיזם <math>\eta_X :F(X)\rightarrow G(X)</math> כך שלכל מורפיזם <math>f:X\rightarrow Y</math> ב-<math>\mathcal{C}</math> מתקיים <math>\eta_Y \circ F(f) = G(f) \circ \eta_X</math>.

התנאי הזה שקול לכך שהדיאגרמה הבאה קומוטטיבית

175px

אם לכל <math>X</math> ההעתקה <math>\eta_X</math> היא איזומורפיזם ב-<math>D</math>, אז ההעתקה נקראת איזומורפיזם טבעי והפנקטורים <math>F,G</math> נקראים איזומורפים.

==ראו גם==
* פונקטורים צמודים

==קישורים חיצוניים==

* 
* 

קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה
קטגוריה:תורת הקטגוריות
קטגוריה:אלגברה הומולוגית
קטגוריה:מורפיזמים