אלגברות קיילי-דיקסון

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

במתמטיקה, אלגברות קיילי-דיקסון הן האלגברות המתקבלות באמצעות בניית קיילי-דיקסון (עם הקבוע 1-) מן השדה של המספרים הממשיים. האלגברה הראשונה בסדרה היא שדה המספרים המרוכבים. אחר-כך מקבלים את אלגברת הקווטרניונים של המילטון ואת אלגברת האוקטוניונים. בהמשך הסדרה מתקבלות אלגברות לא אסוציאטיביות פשוטות ממימד 16, 32, 64, וכן הלאה.

לכל אלגברת קיילי-דיקסון יש אינוולוציה המכלילה את פעולת הצמוד המרוכב, ובאמצעותה מוגדרת תבנית נורמה: הנורמה של איבר היא מכפלתו בצמוד שלו. האלגברות המתקבלות במהלך הבניה מאבדות תכונות חשובות בזו אחר זו: השדה הממשי הוא האלגברה היחידה שכל איבריה סימטריים; השדה המרוכב הוא האלגברה הקומוטטיבית האחרונה; אלגברת הקווטרניונים היא האלגברה האסוציאטיבית האחרונה; ואילו אלגברת האוקטוניונים היא האלגברה האלטרנטיבית האחרונה, וגם האחרונה שאין בה מחלקי אפס. עם זאת, כולן ריבועיות ומקיימות את הזהות הגמישה. הן פשוטות, והמרכז שלהן שווה לשדה הבסיס.

אפשר להכליל את הבניה כך שתעבוד מעל כל שדה בסיס. באופן כזה מתקבלות בצעד השני של הבניה כל אלגברות הקווטרניונים, ובצעד השלישי כל אלגברות האוקטוניונים -- ראו בניית קיילי-דיקסון.

מספרים מרוכבים כזוג סדור[עריכת קוד מקור | עריכה]

המספרים המרוכבים יכולים להירשם כזוג סדור (a,b) של מספרים ממשיים a ו-b, עם חיבור שמוגדר רכיב רכיב ומכפלה שמוגדרת כך:
\left( a,b \right)\left( c,d \right)=\left( ac-db,ad+cb \right)
מספר מרוכב שהרכיב השני שלו שווה לאפס מתלכד עם מספר ממשי: המספר המרוכב (a,0) הוא המספר הממשי a.

על המספרים המרוכבים אפשר להגדיר אופרטור הצמדה, לפי \overline{\left( a,b \right)}=\left( a,-b \right). לפונקציה הזו יש התכונה \overline{\left( a,b \right)}\left( a,b \right)=\left( aa+bb,ab-ba \right)=\left( a^{2}+b^{2},0 \right), כך שכפל של מספר בצמוד שלו נותן תמיד מספר ממשי אי שלילי. בדרך זו, הצמדה מגדירה נורמה, שהופכת את המספרים המרוכבים למרחב נורמי מעל המספרים הממשיים: הנורמה של מספר מרוכב z היא: \left| z \right|=\left( \bar{z}z \right)^{{1}/{2}\;}. הצמוד מאפשר לחשב את ההפכי של כל מספר מרוכב שונה מאפס: z^{-1}={{\bar{z}}}/{\left| z \right|^{2}}\;.

אפשר לראות בפעולת ההצמדה הכללה של פונקציית הזהות על הממשיים. במובן זה, תכונת המספרים הממשיים להיות צמודים לעצמם אבדה בתהליך, והיא אינה נכונה עוד במספרים המרוכבים.

צעד שני: הקווטרניונים[עריכת קוד מקור | עריכה]

אלגברת הקווטרניונים של המילטון מתקבלת מן המספרים המרוכבים באופן דומה. החיבור של זוגות סדורים הוא לפי רכיבים, ואת פעולת הכפל מגדירים לפי הנוסחה \left( a,b \right)\left( c,d \right)=\left( ac-d\bar{b},\bar{a}d+cb \right); מכיוון ש-\left( a,0 \right)\left( c,0 \right)=\left( ac,0 \right), המרוכבים מהווים תת-חוג של האלגברה החדשה, שאינה קומוטטיבית. גם לאלגברת הקווטרניונים יש אינוולוציה, המוגדרת לפי \overline{\left( a,b \right)}=\left( \bar{a},-b \right), ומקיימת \overline{\left( a,b \right)}\left( a,b \right)=\left( \bar{a},-b \right)\left( a,b \right)=\left( \bar{a}a+\bar{b}b,ab-ba \right)=\left( \left| a \right|^{2}+\left| b \right|^{2},0 \right). מכיוון שתוצאת הכפל היא מספר ממשי הפיך, כל איבר שונה מאפס הוא הפיך ולכן האלגברה היא אלגברה עם חילוק.

צעד שלישי: האוקטוניונים[עריכת קוד מקור | עריכה]

אותה נוסחת כפל עבור זוגות סדורים של קווטרניונים, \left( a,b \right)\left( c,d \right)=\left( ac-d\bar{b},\bar{a}d+cb \right), מגדירה אלגברה חדשה הנקראת אלגברת האוקטוניונים, שאינה אסוציאטיבית. האלגברה הזו מקיימת זהות חלשה יותר: היא אלטרנטיבית. תבנית הנורמה שלה, בתור מרחב וקטורי מממד 8 מעל הממשיים, היא סכום של שמונה ריבועים. הנורמה כפלית, ונותנת נוסחת כפל לסכומים מסוג זה (שאינה קיימת בממדים גבוהים יותר).

ממד 16 ואילך[עריכת קוד מקור | עריכה]

אותה נוסחת כפל, המיושמת לזוגות סדורים של אוקטוניונים, נותנת אלגברה מממד 16, הנקראת "אלגברת הסדניונים". אלגברה זו אינה אלטרנטיבית. באופן כזה אפשר להמשיך לבנות אלגברות מממד \ 2^n לכל n. אלגברות אלו מקיימות כולן את הזהות הגמישה, \ x(yx)=(xy)x.

תבנית הנורמה של אלגברת קיילי-דיקסון מממד \ 2^n היא סכום של ריבועים כמספר הזה, ומעל שדה סדור זוהי תבנית שאין לה אפסים לא טריוויאליים. לכן כל האיברים באלגברות קיילי-דיקסון הם הפיכים. עם זאת, באלגברת קיילי-דיקסון מממד 16 יש מחלקי אפס, והיא אינה אלגברת חילוק בהגדרה הכללית של המושג: לא לכל המשוואות \ ax = b יש בה פתרון יחיד.

ראו גם[עריכת קוד מקור | עריכה]