אלגברה לינארית/תמורה: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
שורה 3:
===הגדרה===
תמורה (פרמוטציה, permutation) היא פונקציה <math>\sigma: \left\{ 1,2,3,...,n\right\}\to\left\{ 1,2,3,...,n\right\}</math> חח"ע (חד חד ערכית) ועל. כלומר מתקיים ש- <math> i_1 \neq i_2</math> גורר ש- <math>\sigma(i_1)\neq\sigma(i_2)</math> (חד חד ערכיות) ולכל <math>i\in \left\{ 1,2,3,...,n\right\}</math> קיים j באותה קבוצה כך ש- <math>\sigma(j)=i</math> (על). דוגמה: <math>\sigma: \left\{ 1,2,3\right\}\to\left\{ 1,2,3\right\}</math> כך ש- <math>\sigma(1)=2 , \sigma(2)=1, \sigma(3)=3</math> זה תמורה. מצד שני, <math>\sigma(1)=1 , \sigma(2)=1, \sigma(3)=3</math> זה לא תמורה כיוון שהיא לא חח"ע (קיימים שני איברים שונים 1,2 שנשלחים לאותו איבר, 1) היא גם לא על כיוון שאין איבר שהתמורה שולחת אותו ל-2.{{ש}}
קבוצת כל התמורות על <math>\left\{ 1,2,3,...,n\right\}</math> מסומנת ב- <math>S_n</math> (זאת אומרת ש- <math>S_n</math> זה קבוצה של פונקציות)
 
===כתיב מחזורים וסימן===