איזומורפיזם (מתמטיקה)

מתוך ויקיפדיה, האנציקלופדיה החופשית

יש לך הודעות חדשות (השווה לגרסה הקודמת).

במתמטיקה, שני מבנים הם איזומורפיים, אם אפשר להתאים ביניהם באופן ששומר על המאפיינים המגדירים את המבנה. במקרה כזה, ההתאמה נקראת איזומורפיזם, וקיומה מראה ששני המבנים חולקים אותן תכונות, גם אם הם נקראים בשמות שונים. מקור המלה מיוונית: "איזוס" (שווה) ו"מורפֶה" (מבנה).

בכמה מקרים קוראים למבנים איזומורפיים בשם מיוחד: איזומורפיזם של מרחבים טופולוגיים נקרא "הומיאומורפיזם", איזומורפיזם של יריעות דיפרנציאליות נקרא "דיפאומורפיזם", ואיזומורפיזם של מרחבים מטריים נקרא "איזומטריה". השם הייחודי מדגיש תכונות מסוימות של המבנה ומונע בלבול (למשל, בשאלה האם שני מרחבים מטריים איזומורפיים ככאלה, או רק כמרחבים טופולוגיים).

[עריכה] הגדרה מתמטית כללית

איזומורפיזם הוא פונקציה חד-חד ערכית ועל בין שתי קבוצות ששומרת על היחסים בין אברי הקבוצה. כשמתקיימת כזו פונקציה בין שתי קבוצות $\ A$ ו $\ B$ אנו אומרים ש $\ A$ איזומורפית ל $\ B$ ומסמנים את היחס ביניהן כ $\ A \cong B$ .

יחס האיזומורפיזם (בקטגוריה קטנה) הוא יחס שקילות, כלומר:

רפלקסיביות: $\ A \cong A$ (קבוצה תמיד איזומורפית לעצמה)
סימטריות: $\ A \cong B \Leftrightarrow B \cong A$ (אם $\ A$ איזומורפית ל $\ B$ אז $\ B$ איזומורפית ל $\ A$ )
טרנזיטיביות: $\ A \cong B, B \cong C \Rightarrow A \cong C$ .

[עריכה] אוטומורפיזם

אם האיזומורפיזם הוא בין הקבוצה לעצמה, אז הוא נקרא גם אוטומורפיזם.

[עריכה] איזומורפיזם בין חבורות

אם $\ A$ ו $\ B$ הן שתי חבורות, וקיימת פונקציה חד-חד ערכית ועל $\ f: A \mapsto B$ כך שעבור כל צמד איברים $\ \alpha,\beta \in A$ מתקיים $\ f(\alpha \cdot \beta) = f(\alpha) \cdot f(\beta)$ , אז $\ A$ ו $\ B$ איזומורפיות זו לזו. אפשר להבין את ה"שוויון" בין החבורות, על ידי כך שנסמן את האיברים $\ f(\alpha),f(\beta)\in B$ פשוט כ $\ \alpha,\beta$ . לכן אפשר לראות שלכל מטרה מעשית, ההבדל בין החבורות הוא הבדל בסימון בלבד. אפשר לראות שהאיזומורפיזם מקיים יחס שקילות:

רפלקסיביות, ניקח חבורה $\ A$ ונגדיר פונקציה חד-חד ערכית ועל $\ f: A \mapsto A$ כך שעבור כל איבר $\ \alpha \in A$ מתקיים $\ f(\alpha ) = \alpha$ . אפשר לראות שהפונקציה הזו מקיימת את תנאי האיזומורפיזם, ולכן $\ A \cong A$ .
סימטריות, עבור צמד חבורות איזומורפיות, $\ A$ ו $\ B$ , כשפונקציית האיזומורפיזם ביניהן היא $\ f: A \mapsto B$ . נגדיר פונקציה חד-חד ערכית ועל $\ f^{-1}: B \mapsto A$ כך שעבור כל איבר $\ \alpha \in A$ מתקיים $\ f^{-1}(f(\alpha) ) = \alpha$ . אפשר לראות שהפונקציה הזו מקיימת את תנאי האיזומורפיזם, ולכן גם $\ B \cong A$ .
טרנזיטיביות, אם עבור שלוש החבורות $\ A,B$ ו $\ C$ , קיימות פונקציות $\ f_{A\rightarrow B}: A \mapsto B$ ו $\ f_{B\rightarrow C}: B \mapsto C$ שמקיימות את תנאי האיזומורפיזם, אז אפשר להגדיר פונקציה שלישית $\ f_{A\rightarrow C}: A \mapsto C$ כך שעבור כל איבר $\ \alpha \in A$ מתקיים $\ f_{A\rightarrow C}(\alpha ) = f_{B\rightarrow C}(f_{A\rightarrow B}(\alpha ) )$ . אפשר לראות שהפונקציה הזו מקיימת את תנאי האיזומורפיזם, ולכן $\ A \cong C$ .

[עריכה] איזומורפיזם בין חוגים

באופן דומה, אם $\ A$ ו $\ B$ הן שני חוגים, וקיימת פונקציה חד-חד ערכית ועל $\ f: A \mapsto B$ כך שעבור כל צמד איברים $\ \alpha,\beta \in A$ מתקיים $\ f(\alpha \cdot \beta) = f(\alpha) \cdot f(\beta)$ , וגם $\ f(\alpha + \beta) = f(\alpha) + f(\beta)$ אז $\ A$ ו $\ B$ איזומורפיים זה לזה.

[עריכה] איזומורפיזם בין מודולים

באופן דומה, אם $\ A$ ו $\ B$ הם שני מודולים שמאליים מעל חוג $\ R$ , וקיימת פונקציה חד-חד ערכית ועל $\ f: A \mapsto B$ כך שעבור כל צמד איברים $\ \alpha,\beta \in A$ מתקיים $\ f(\alpha + \beta) = f(\alpha) + f(\beta)$ , וגם עבור כל $r\in R$ מתקיים $\ f(r\alpha ) = r f(\alpha)$ אז $\ A$ ו $\ B$ איזומורפיים זה לזה.

בנוסף, אם $\ A$ ו $\ B$ הם שני מודולים שמאליים מעל שני חוגים $\ R_A,R_B$ איזומורפיים, כשהאיזומורפיזם בין שני החוגים הוא $\ g:R_A \mapsto R_B$ וקיימת פונקציה חד-חד ערכית ועל $\ f: A \mapsto B$ כך שעבור כל צמד איברים $\ \alpha,\beta \in A$ מתקיים $\ f(\alpha + \beta) = f(\alpha) + f(\beta)$ , וגם עבור כל $r\in R_A$ מתקיים $\ f(r\alpha ) = g(r) f(\alpha)$ אז $\ A$ ו $\ B$ איזומורפיים זה לזה.

[עריכה] איזומורפיזם בין אלגברות

באופן דומה, אם $\ A$ ו $\ B$ הן שתי אלגברות שמקיימות את תנאי האיזומורפיות כמודול עברו הפונקציה $\ f: A \mapsto B$ ובנוסף עבור כל צמד איברים $\ \alpha,\beta \in A$ מתקיים $\ f(\alpha \star \beta) = f(\alpha) \star f(\beta)$ , אז $\ A$ ו $\ B$ איזומורפיות זו לזו.

[עריכה] איזומורפיזם בין גרפים

אם $\ (V_1,E_1)$ ו $\ (V_2,E_2)$ הם שני גרפים, וקיימת פונקציה חד-חד ערכית ועל $\ f: V_1 \mapsto V_2$ כך שקיימת קשת ב $\ E_1$ בין $\ v\in V_1$ לבין $\ u\in V_1$ אם ורק אם קיימת קשת ב $\ E_2$ בין ב $\ f(v)\in V_2$ לבין $\ f(u)\in V_2$ אז הגרפים איזומורפיים זה לזה.

[עריכה] דוגמאות לאיזומורפיזם של חבורות

החבורה $\ A \equiv \{ 1,-1,i,-i\}$ תחת פעולת הכפל, היא איזומורפית לחבורה $\ B\equiv \{ 0,1,2,3\}$ תחת פעולת החיבור מודולו 4. פונקציית האיזומורפיזם היא $\ f(0) = 1 , f(1)=i, f(2)=-1, f(3)=-i$ .
החבורה $\ C \equiv \left\{ \begin{pmatrix} 1&0\\ 0&1 \end{pmatrix} , \begin{pmatrix} 0&-1\\ 1&0 \end{pmatrix}, \begin{pmatrix} -1&0\\ 0&-1 \end{pmatrix} , \begin{pmatrix} 0&1\\ -1&0 \end{pmatrix} \right\}$ תחת פעולת הכפל איזומורפית ל $\ A$ (ולכן, גם ל $\ B$ ). פונקציית האיזומורפיזם היא $\ f\left(\begin{pmatrix} 1&0\\ 0&1 \end{pmatrix}\right) = 1 , f\left(\begin{pmatrix} 0&-1\\ 1&0 \end{pmatrix}\right)=i, f\left(\begin{pmatrix} 0&1\\ -1&0 \end{pmatrix}\right)=-i, f\left(\begin{pmatrix} -1&0\\ 0&-1 \end{pmatrix}\right)=-1$ .
עבור החבורה $\ A$ מתקיים אוטומורפיזם, כשפונקציית האוטומורפיזם היא $\ f(1) = 1 , f(-i)=i, f(-1)=-1, f(i)=-i$ . באופן דומה, גם עבור $\ B$ ו $\ C$ מתקיים אוטומורפיזם.
חבורת כל המספרים השלמים ( $\ \mathbb{Z}=\{...,-3,-2,-1,0,1,2,3,...\}$ ), תחת פעולת החיבור, איזומרפית לחבורת המספרים השלמים והחצי שלמים ( $\ \{...,-1 \frac 1 2,-1,-\frac 1 2,0,\frac 1 2,1,1 \frac 1 2,...\}$ ), פונקציית האיזומורפיזם היא $\ f(n)=\frac n 2$ .
הפונקציה $\ f(n)=-n$ עבור חבורת המספרים השלמים $\ \mathbb{Z}$ היא אוטומורפיזם.