מכפלה טנזורית

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

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

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

  1. "הרחבה של הסקלרים". למשל, אם V מרחב וקטורי מעל הממשיים \ \mathbb{R}, אז \ V\otimes_{\mathbb{R}} \mathbb{C} הוא מרחב וקטורי בעל אותו ממד מעל המרוכבים, הגדול יותר.
  2. הכפלת שני מבנים מטיפוס מסוים עשויה לתת מבנה שלישי מאותו טיפוס, וכך להגדיר מבנה של מונואיד על אוסף המבנים מאותו טיפוס. כך למשל, המכפלה הטנזורית של שתי חבורות אבליות (מעל השלמים) היא חבורה אבלית. דוגמה בולטת לתהליך זה אפשר לראות בהגדרת חבורת בראוור.

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

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

מכפלה טנזורית של מודולים[עריכת קוד מקור | עריכה]

בניה מפורשת[עריכת קוד מקור | עריכה]

את המכפלה הטנזורית של המודולים M ו- N מעל R אפשר להגדיר על-פי יוצרים ויחסים. זוהי החבורה האבלית הנוצרת על ידי כל הסימנים \ m \otimes n (עבור \ m\in M, n\in N), בכפוף ליחסים הבאים:

\ (m_1+m_2)\otimes n = m_1 \otimes n + m_2 \otimes n,
\ m\otimes (n_1+n_2) = m \otimes n_1 + m \otimes n_2,
\ (m r)\otimes n = m \otimes (rn) (לכל \ r\in R).

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

המכפלה הטנזורית מוגדרת עבור מודול ימני M ומודול שמאלי N מעל אותו חוג R. תוצאתה \ M\otimes_R N היא במקרה זה חבורה אבלית. ככל שהמבנה של M ושל N עשיר יותר, כך נעשה גם המבנה של המכפלה עשיר יותר. לדוגמה, אם M הוא (בנוסף להיותו מודול ימני מעל R) גם מודול שמאלי מעל חוג S (וליתר דיוק, בי-מודול מעל שני החוגים), הופכת המכפלה הטנזורית גם היא למודול שמאלי מעל S על ידי הגדרת הכפל \ s(m\otimes n)=(sm)\otimes n. בדומה, אם N הוא גם מודול ימני מעל חוג T, המכפלה הטנזורית היא מודול ימני מעל T. מקרה בעל חשיבות מיוחדת הוא כאשר החוג R קומוטטיבי - אז מהווה כל מודול באופן מיידי בי-מודול, וכך המכפלה הטנזורית של שני מודולים מעל לחוג קומוטטיבי נעשית למודול מעל אותו החוג.

כאשר מרכיבי המכפלה הם אלגברות, אפשר גם להגדיר פעולת כפל על המכפלה הטנזורית לפי \ (m\otimes n)(m'\otimes n')=mm'\otimes nn', וכך הופכת מכפלת המבנים לאלגברה בזכות עצמה. המכפלה הטנזורית של שדות איננה באופן כללי שדה, אם כי היא כמובן אלגברה.

אוניברסליות[עריכת קוד מקור | עריכה]

העתקה מאוזנת מן המכפלה הישרה \ M\times N היא העתקה בילינארית, המעתיקה את הזוגות \ (mr,n) ו- \ (m,rn) (עבור \ m\in M, n\in N, r\in R) לאותו המקום.

תכונת האוניברסליות כוללת את המכפלה \ M\otimes N יחד עם ההטלה \ \pi:M\times N\rightarrow M\otimes N המוגדרת לפי \ \pi(m,n)=m\otimes n, ופירושה כזה: כל העתקה מאוזנת f מן המכפלה הישרה \ M\times N אל חבורה אבלית כלשהי Q, אפשר לפצל באופן יחיד דרך המכפלה הטנזורית (כלומר, קיימת העתקה אחת ויחידה \ f_1 מן המכפלה הטנזורית ל-Q, כך שבמקום להעתיק את הזוג \ (m,n) לתעודתו, די להעתיק אותו באמצעות \ \pi אל האיבר \ m \otimes n, ומשם אל אותו איבר של Q; במלים אחרות \ f=f_1\circ \pi).

המכפלה הטנזורית שנבנתה בסעיף הקודם היא אכן אוניברסלית, ועובדה זו טעונה הוכחה (שאינה קשה במיוחד). עם זאת, מרגע שהוברר קיומו של אובייקט אוניברסלי שכזה, ההוכחה שהוא יחיד (עד כדי איזומורפיזם) קלה ביותר: אם \ P,P' שניהם אובייקטים אוניברסליים (עם ההטלות \ \pi:M\times N\rightarrow P, \pi':M\times N \rightarrow P'), אז ההטלה ל- \ P' מתפצלת באופן יחיד דרך \ P, וההטלה ל- \ P מתפצלת באופן יחיד דרך \ P'. הרכבת ההעתקות, מ- \ P ל- \ P' ואז בחזרה ל- \ P, נותנת העתקה מ-\ P לעצמו, המפצלת את \ \pi דרך \ P - בדיוק כדרך שהעתקת הזהות מפצלת את \ \pi דרך P. אלא שהפיצול הוא יחיד על-פי ההנחה, וכך ההרכבה שווה להעתקת הזהות. גם ההרכבה בסדר ההפוך שווה לזהות, ומכאן ש-\ P,P' איזומורפיים.

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

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

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

  1. R משמש איבר נייטרלי ביחס למכפלה הטנזורית: לכל מודול M מעל R, מתקיים \ M \otimes_R R \cong M.
  2. המכפלה קומוטטיבית: \ M \otimes_R N \cong N \otimes_R M.
  3. המכפלה אסוציאטיבית: \ (M \otimes_R N)\otimes_R L \cong M \otimes_R (N\otimes_R L).

בנוסף לתכונות אלה, המכפלה הטנזורית דיסטריבוטיבית ביחס לסכום הישר (\ (M \oplus M')\otimes_R N \cong M\otimes_R N \oplus M' \otimes_R N), וכך הופך אוסף הבי-מודולים מעל R לחצי חוג קומוטטיבי ביחס לפעולות הסכום הישר והמכפלה הטנזורית.

מתכונות אלה נובע למשל שמודולים חופשיים מקיימים \ R^n \otimes_R R^m \cong R^{nm}, כהכללה של המצב במרחבים וקטוריים.

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

כפי שהוצע קודם לכן, אם \ R\subseteq S הם חוגים, ו- M מודול מעל R, אז \ M\otimes_R S הוא מודול בעל מבנה דומה מעל S. למשל, חוג המטריצות מקיים \ M_n(R) \otimes_R S \cong M_n(S), וחוג הפולינומים \ R[x] \otimes_R S \cong S[x].

שינוי חוג הסקלרים אינו חייב להגדיל את האלגברה. לדוגמה, אם I הוא אידאל של R, אז \ M \otimes_R (R/I) \cong M/IM, מודול המנה ביחס ל- I. דוגמה חשובה אחרת היא המקרה שבו R הוא חוג השלמים ו- S שדה הרציונליים. במקרה זה, M הינה חבורה אבלית. אם M נוצרת סופית, אפשר לפרק אותה לסכום ישר של מרכיב מפותל ומרכיב חופשי. המכפלה הטנזורית \ M \otimes_{\mathbb{Z}}\mathbb{Q} תלויה רק בגודל המרכיב החופשי, ובכך מאבדת את כל המידע על החלק המפותל.

הכללות למבנים אחרים[עריכת קוד מקור | עריכה]

  • אם A ו- B מרחבי מכפלה פנימית, אז המכפלה הטנזורית מצוידת באופן טבעי במכפלה פנימית משלה: \ \left\langle a_1\otimes b_1 | a_2\otimes b_2 \right\rangle_{A\otimes B} \equiv \left\langle a_1| a_2 \right\rangle_A \left\langle b_1 | b_2 \right\rangle_B .
  • אם A ו- B הם מרחבי הילברט, מרחב המכפלה הפנימית שהוגדר בדוגמה הקודמת איננו בדרך כלל שלם. במקרה זה מגדירים את המכפלה הטנזורית להיות ההשלמה של מרחב המכפלה הפנימית. המכפלה הטנזורית שהוגדרה כך מקיימת את תכונת האוניברסליות.
  • עבור מרחבים נורמיים ובפרט מרחבי בנך, אין נורמה טבעית אחת על המכפלה הטנזורית של המרחבים הווקטורים. עם זאת, אפשר להגדיר משפחה של נורמות אפשריות (הנקראות נורמות מוצלבות). במשפחה זו יש נורמה גדולה ביותר ויש נורמה קטנה ביותר. ההשלמות של המכפלה הטנזורית תחת הנורמות הללו מסומנות ב

M{}^\bigotimes_{\;\vee}N ן  \ M\widehat{\otimes} N.

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