דיאגרמה (תורת הקטגוריות) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה |
|||
שורה 10:
:[[image:FourCommDiag.svg|135px]]
הוא קומוטטיבי אם מתקיים <math>\,y\circ w = z \circ x</math>.
==רדיפת דיאגרמות==
'''רדיפת דיאגרמות''' (מקובל הביטוי האנגלי - Diagram chasing) היא שיטת [[הוכחה]] אשר משתמשים בה בעיקר ב[[אלגברה הומולוגית]]. בהינתן דיאגרמה קומוטטיבית, הוכחה בעזרת רדיפת דיאגרמות נעשית על ידי שימוש בתכונת הדיאגרמה, כגון היותם של מורפיזמים מונומורפיזמים או אפימורפיזמים, או בכך שחלק מהדיאגרמה מהווה [[סדרה מדויקת]].
דוגמאות להוכחות המשתמשות ברדיפת דיאגרמות ניתן למצוא בהוכחות של [[למת החמישה]], [[למת הנחש]] ו[[למת התשעה]].
==קישורים חיצוניים==
* [http://mathworld.wolfram.com/DiagramChasing.html רדיפת דיאגרמות] באתר [[MathWorld]].
| |||