הבדלים בין גרסאות בדף "תמורה"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(המילים סתם מסבכות. שיקלו לשנות להצרנות של התנאים.)
 
שורה 1: שורה 1:
 
==הגדרה==
 
==הגדרה==
תהי <math>A=\{1,2,...,n\}</math> '''תמורה''' הינה פונקציה חח"ע ועל מA לA
+
תהי <math>A=\{1,2,...,n\}</math>.
 +
 
 +
'''תמורה''' היא פונקציה חח"ע ועל מA לA.
  
 
'''מחזור''' <math>\sigma=(a_1 a_2 ... a_n)</math> הוא תמורה המקיימת:
 
'''מחזור''' <math>\sigma=(a_1 a_2 ... a_n)</math> הוא תמורה המקיימת:
 
:לכל <math>i<k</math> מתקיים <math>\sigma(a_i)=a_{i+1}</math>
 
:לכל <math>i<k</math> מתקיים <math>\sigma(a_i)=a_{i+1}</math>
 
:<math>\sigma(a_k)=a_1</math>
 
:<math>\sigma(a_k)=a_1</math>
:לכל <math>n\in A</math> כך שלכל i  <math>n\neq a_i</math> אזי <math>\sigma(n)=n</math>
+
:לכל <math>n\in A</math> כך שלכל i  <math>n\neq a_i</math> מתקיים <math>\sigma(n)=n</math>
  
  
שורה 16: שורה 18:
  
 
==דוגמאות==
 
==דוגמאות==
ניקח <math>A=\{1,2,3\}</math>, והאת התמורה המחליפה בין 1 לבין 2. ניתן לסמן אותה באופנים הבאים:
+
ניקח <math>A=\{1,2,3\}</math>, ואת התמורה המחליפה בין 1 לבין 2. ניתן לסמן אותה באופנים הבאים:
  
 
<math>\begin{pmatrix} 1 & 2 & 3 \\ 2 & 1 & 3\end{pmatrix}=(1 2)</math>
 
<math>\begin{pmatrix} 1 & 2 & 3 \\ 2 & 1 & 3\end{pmatrix}=(1 2)</math>

גרסה אחרונה מ־09:53, 6 באפריל 2012

הגדרה

תהי A=\{1,2,...,n\}.

תמורה היא פונקציה חח"ע ועל מA לA.

מחזור \sigma=(a_1 a_2 ... a_n) הוא תמורה המקיימת:

לכל i<k מתקיים \sigma(a_i)=a_{i+1}
\sigma(a_k)=a_1
לכל n\in A כך שלכל i n\neq a_i מתקיים \sigma(n)=n


נהוג לסמן תמורה באופן הבא, או כהרכבה של מחזורים.

\begin{pmatrix} 1 & 2 & \cdots & n \\ \sigma(1) & \sigma(2) & \cdots & \sigma(n)\end{pmatrix}



דוגמאות

ניקח A=\{1,2,3\}, ואת התמורה המחליפה בין 1 לבין 2. ניתן לסמן אותה באופנים הבאים:

\begin{pmatrix} 1 & 2 & 3 \\ 2 & 1 & 3\end{pmatrix}=(1 2)