אובייקט התחלתי ואובייקט סופי

מתוך המכלול, האנציקלופדיה היהודית
(הופנה מהדף אובייקט סופי)
קפיצה לניווט קפיצה לחיפוש

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

הגדרה

תהי קטגוריה.

  • אובייקט יקרא אובייקט התחלתי (Initial object) אם לכל אובייקט בקבוצה יש איבר אחד בדיוק. במילים אחרות, לכל אובייקט : מ- יוצא מורפיזם יחיד ל- (כלומר: קיים ויחיד).
  • אובייקט יקרא אובייקט סופי (Final object) אם לכל אובייקט בקבוצה יש איבר אחד בדיוק. במילים אחרות, לכל אובייקט : ל- נכנס מורפיזם יחיד מ- (כלומר: קיים ויחיד).
  • אובייקט יקרא אובייקט אפס אם הוא גם אובייקט התחלתי וגם אובייקט סופי.

אובייקט התחלתי מוגדר ביחידות עד כדי איזומורפיזם קנוני. באופן דומה, כך גם אובייקט סופי.

נראה זאת לגבי אובייקט התחלתי: נניח ש- ו- הם אובייקטים התחלתיים. אזי קיים יחיד כי אובייקט התחלתי וקיים יחיד כי אובייקט התחלתי. כעת, אבל ומאחר שהוא יחיד בקבוצה זו . באופן דומה מוכיחים ש- ולכן ו- הופכיים אחד לשני ומהווים איזומורפיזמים כך ש-.

דוגמאות

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

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

של שלשות סדורות המורכבות מעצם ושני מורפיזמים ל- ו-. כלומר, אם , אזי לכל עצם עם מורפיזמים ו- קיים מורפיזם יחיד כך ש- ו-.

ראו גם

P mathematics.svg ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום למכלול ולהרחיב אותו.
Logo hamichlol 3.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0