אוניברסליות (תורת הקטגוריות) – הבדלי גרסאות
MikeIoshpe (שיחה | תרומות) יצירת דף עם התוכן "בתורת הקטגוריות, ''תכונה אוניברסלית''' היא דרך להציג אובייקט כללי במסגרת קטגוריה (מתמט..." |
MikeIoshpe (שיחה | תרומות) אין תקציר עריכה |
||
שורה 1: | שורה 1: | ||
ב[[תורת הקטגוריות]], ''תכונה אוניברסלית''' היא דרך להציג אובייקט כללי במסגרת [[קטגוריה (מתמטיקה)|קטגוריה]] נתונה ולהוכיח את יחידותו. למינוח זה שימושים רבים בתחומים שונים במתמטיקה, כמו [[אלגברה]], [[טופולוגיה אלגברית]] ועוד. לעתים המוטיבציה לבניית אובייקט יחיד היא עצם קיומו תכונה אוניברסלית כלשהי. |
ב[[תורת הקטגוריות]], '''תכונה אוניברסלית''' היא דרך להציג אובייקט כללי במסגרת [[קטגוריה (מתמטיקה)|קטגוריה]] נתונה ולהוכיח את יחידותו. למינוח זה שימושים רבים בתחומים שונים במתמטיקה, כמו [[אלגברה]], [[טופולוגיה אלגברית]] ועוד. לעתים המוטיבציה לבניית אובייקט יחיד היא עצם קיומו תכונה אוניברסלית כלשהי. |
||
==הגדרה פורמלית== |
==הגדרה פורמלית== |
גרסה מ־13:10, 5 באפריל 2015
בתורת הקטגוריות, תכונה אוניברסלית היא דרך להציג אובייקט כללי במסגרת קטגוריה נתונה ולהוכיח את יחידותו. למינוח זה שימושים רבים בתחומים שונים במתמטיקה, כמו אלגברה, טופולוגיה אלגברית ועוד. לעתים המוטיבציה לבניית אובייקט יחיד היא עצם קיומו תכונה אוניברסלית כלשהי.
הגדרה פורמלית
יהיו קטגוריות נתונות. יהי פונקטור ו- אובייקט של .
מורפיזם התחלתי מ- ל- הוא זוג כאשר אובייקט של ו- מורפיזם ב-, כך שמתקיימת תכונת ההתחלתיות: לכל אובייקט ב- ולכל מורפיזם קיים ויחיד מורפיזם כך ש-, כלומר הדיאגרמה הבאה מתחלפת:
בדומה, מורפיזם סופי הוא מורפיזם דואלי לקודם: זהו אובייקט סופי מ- ל-, כלומר זוג כאשר אובייקט של ו- מורפיזם ב-, כך שמתקיימת התכונת הסופיות: לכל אובייקט ב- ולכל מורפיזם קיים ויחיד מורפיזם כך ש-, כלומר:
מורפיזם אוניברסלי הוא בהגדרה אחת משתי הבניות לעיל, ותכונה אוניברסלית היא אחת מהתכונות (ההתחלתית או הסופית) בהתאם. בהתאם לדואליות של המונחים, ניתן להגדיר רק אחד מהם, והשני נובע ישירות על ידי החלפת כיווני החצים.
קיום ויחידות
שאלת הקיום, באופן כללי, היא פתוחה - ניתן לנסח בעיות להן לא קיים אובייקט אוניברסלי. לעומת זאת, בהינתן קיום אובייקט , היחידות (עד כדי איזומורפיזם) מובטחת: אם גם מקיים את התכונה, ניתן (בהתאם לתכונה) לבנות מורפיזמים בשני הכיוונים: שהופכים אחד את השני.
כלומר, ברגע שמצאת אובייקט אוניברסלי - הוא יחיד עד כדי איזומורפיזם, ואכן בבניות רבות פשוט מציגים אובייקט שמקיים את הדרישות. יותר מכך, אם נמצא אובייקט 'אחר' המקיים את התכונה, הוא איזומורפי לאובייקט המוכר.
דוגמאות
- מכפלה חופשית היא דוגמא לבנייה אוניברסלית בתורת החבורות, המגדירה באופן מלא את כל ההעתקות משתי חבורות נתונות לחבורה נוספת. בדומה, מכפלת היתוך היא בנייה מעט משוכללת יותר, העונה על בעיה שימושית גם בטופולוגיה אלגברית במשפט ואן קמפן.
- מכפלת חוגים היא בעלת תכונה אוניברסלית הקובעת את המיפויים מאוסף חוגים בעזרת מכפלתם. מכפלה טנזורית של אלגברות (מעל שדה) היא האלגברה הכללית ביותר המהווה תמונה של אלגברת המכפלה הקובעת את ההעתקות מהמכפלה לאלגברה אחרת.
- אלגברת קליפורד היא האלגברה הכללית ביותר בה העלאה בריבוע שקולה להפעלת תבנית ריבועית.