פונקטור – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
MathKnight (שיחה | תרומות) מ ←הגדרה פורמלית: רווח |
MathKnight (שיחה | תרומות) |
||
שורה 24:
* ההעתקה המתאימה לכל [[מרחב וקטורי]] את [[מרחב דואלי|המרחב הדואלי]] לו, ולכל העתקה לינארית את ההעתקה הצמודה לה היא פונקטור קונטרה וריאנטי מהקטגוריה של מרחבים וקטורים לעצמה.
<!--
* ההעתקה מ[[יריעה אפינית]] V ל[[חוג הפולינומים]] <math>k[V]</math> מעל [[שדה (מתמטיקה)|שדה]] k היא פונקטור קונטרה-וריאנטי, שכן אם <math>f: V \to W</math> [[הומומורפיזם]] שהוא העתקה פולינומיאלית אזי <math>f^* : k[W] \to k[V]</math> גם הוא הומומופריזמים ביו חוגי הפולינומים והקשר בין המורפיזמים נתון על ידי <math>(g:W \to k) \mapsto f^* (g) = g \circ f : V \to k</math>.
-->
==העתקה טבעית==
| |||