לדלג לתוכן

אלגברת הטנזורים

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

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

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

מבנייה זו מתקבלת אלגברה אסוציאטיבית עם יחידה.

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

אוניברסליות

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

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

Universal property of the tensor algebra
Universal property of the tensor algebra

(כאשר העתקת ההכלה).

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

מנות אלגברת הטנזורים

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

כל אלגברה מתקבלת כאלגברת מנה של האלגברה הטנזורית המתאימה למרחב וקטורי כלשהו.

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

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

ניתן גם להציג דירוגים אחרים, כדוגמת -דירוג, על ידי , כאשר החלק הזוגי של , ו- החלק האי-זוגי.