אובייקט התחלתי ואובייקט סופי - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for אובייקט התחלתי ואובייקט סופי.

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

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

הגדרה

תהי קטגוריה.

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

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

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

דוגמאות

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

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

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

ראו גם

ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.
{{bottomLinkPreText}} {{bottomLinkText}}
אובייקט התחלתי ואובייקט סופי
Listen to this article