משפט פיוצ'רמה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
|||
שורה 9:
==רקע פורמלי==
העצם המתמטי המייצג שינוי סדר נקרא '''[[תמורה (מתמטיקה)|תמורה]]'''. תמורות נהוג לסמן בשתי שורות; בשורה העליונה יופיעו התודעות של הדמויות, ובשורה התחתונה יופיעו הגופים של הדמויות. כאשר תודעה מצויה ישירות מעל גוף המשמעות היא שתודעה זו מצויה בגוף זה.
למשל אם נסמן את איימי ב-A, את הפרופסור ב-P ואת בנדר ב-B, המצב אליו נקלעו השלושה בתחילת הפרק יסומן: <math>\begin{pmatrix} A & P & B \\ P & B & A \end{pmatrix} </math>.
כאשר תמורה היא החלפה בין שני עצמים בלבד נקראת '''חילוף''' והיא מסומנת בקיצור בתור שני העצמים המוחלפים בסוגריים, <math>(12) = \begin{pmatrix} 1 & 2 \\ 2 & 1 \end{pmatrix}</math>.
באופן כללי יותר כאשר תמורה מעבירה את 1 ל-2, את 2 ל-3, את 3 ל-4, וכן הלאה עד שהעצם האחרון n עובר חזרה ל-1, נקראת '''מעגל''' וסימונה: <math>\ (12\ldots n) = \begin{pmatrix}1 & 2 & 3 & \cdots & n \\ 2 & 3 & 4 & \cdots & 1\end{pmatrix}</math>.
התמורה שלא משנה כלום (במקרה שלנו, כל תודעה בגוף שלה) נקראת '''תמורת הזהות'''.
| |||