סכום ישר

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

אם ${\displaystyle A=B\oplus C}$, אומרים ש-${\displaystyle A}$ הוא סכום ישר של ${\displaystyle B}$ ו-${\displaystyle C}$, ואילו ${\displaystyle B,C}$ הם מחוברים ישרים של ${\displaystyle A}$. הסכום הישר של שני אובייקטים מורכב, כקבוצה, מן הזוגות הסדורים שאפשר לבנות מהם, ולכן הוא שווה למכפלה הישרה שלהם; כך גם בכל מספר סופי של מבנים. לעומת זאת, כאשר מטפלים במספר מבנים אינסופי, הסכום הישר מוכל במכפלה הישרה, והוא כולל רק את הווקטורים שכמעט כל אבריהם אפס.

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

הגדרה קטגורית

בתורת הקטגוריות, המכפלה הישרה של אובייקטים ${\displaystyle A_{i}}$ בקטגוריה, היא אובייקט ${\displaystyle B=\prod A_{i}}$, עם מורפיזמים ("היטלים") ${\displaystyle \pi _{i}{:}B\rightarrow A_{i}}$, המקיימים את התכונה הבאה: לכל אובייקט ${\displaystyle C}$ בקטגוריה עם מורפיזמים ${\displaystyle f_{i}{:}C\rightarrow A_{i}}$, קיים מורפיזם יחיד ${\displaystyle f{:}C\rightarrow B}$ כך ש-${\displaystyle f_{i}=\pi _{i}f}$.

הסכום הישר מוגדר באופן דואלי: הסכום הישר של האובייקטים ${\displaystyle A_{i}}$, הוא אובייקט ${\displaystyle B=\coprod A_{i}}$, עם מורפיזמים ${\displaystyle \iota _{i}{:}A_{i}\rightarrow B}$, המקיימים את התכונה הבאה: לכל אובייקט ${\displaystyle C}$ בקטגוריה עם מורפיזמים ${\displaystyle f_{i}{:}A_{i}\rightarrow C}$, קיים מורפיזם יחיד ${\displaystyle f{:}B\rightarrow C}$ כך ש-${\displaystyle f_{i}=f\iota _{i}}$. אם הסכום הישר קיים בקטגוריה, אז הוא יחיד עד כדי איזומורפיזם.

סכום ישר של שני מבנים

סכום ישר של מרחבים וקטוריים

אם ${\displaystyle V}$ ו-${\displaystyle W}$ מרחבים וקטוריים מעל אותו שדה ${\displaystyle F}$, הסכום הישר שלהם הוא מרחב וקטורי חדש, ${\displaystyle V\oplus W}$, שאבריו הם ה ${\displaystyle (v,w)}$ (כאשר ${\displaystyle v\in V,w\in W}$), עם פעולות החיבור והכפל בסקלר לפי רכיבים: ${\displaystyle (v_{1},w_{1})+(v_{2},w_{2})=(v_{1}+v_{2},w_{1}+w_{2})}$, ו-${\displaystyle \alpha (v,w)=(\alpha v,\alpha w)}$. התוצאה היא מרחב וקטורי שממדו הוא סכום הממדים של ${\displaystyle V}$ ושל ${\displaystyle W}$. המרחב החדש מכיל את שני המרחבים ${\displaystyle \{(v,0):v\in V\},\{(0,w):w\in W\}}$, וכל וקטור שלו אפשר להציג באופן יחיד כסכום של וקטור מן הסוג הראשון ווקטור מן הסוג השני.

תכונות אלה מציעות הגדרה של סכום ישר פנימי: אם ${\displaystyle V}$ הוא מרחב וקטורי, עם תת-מרחבים ${\displaystyle U_{1},...,U_{n}}$, וכל וקטור ${\displaystyle v\in V}$ ניתן להצגה כסכום ${\displaystyle v=\sum _{i=1}^{n}{u_{i}}}$, כאשר ${\displaystyle u_{i}\in U_{i}}$, אז אומרים ש-${\displaystyle V}$ הוא סכום של ${\displaystyle U_{1},...,U_{n}}$, וכותבים ${\displaystyle V=U_{1}+...+U_{n}}$. אם הצגה כזו היא תמיד יחידה, אז הסכום הוא סכום ישר, אותו מסמנים ב-${\displaystyle V=U_{1}\oplus ...\oplus U_{n}}$.

בהינתן ש-${\displaystyle V=U_{1}+...+U_{n}}$, הטענה שלכל וקטור יש הצגה יחידה כאמור, שקולה לכך שההצגה היחידה של 0 היא ${\displaystyle 0=0+...+0}$, וכן שקולה לכך שהחיתוך של כל מרחב ${\displaystyle U_{i}}$ עם ${\displaystyle \sum _{j=1}^{n}{U_{j}}}$ (כאשר ${\displaystyle i\neq j}$) מכיל רק את וקטור ה-0. אפיון שקול לסכום ישר הוא אם הבסיסים של ${\displaystyle U_{1},...,U_{n}}$ זרים בזוגות, והאיחוד שלהם מהווה בסיס למרחב ${\displaystyle V}$.

מכיוון שהמרחבים ${\displaystyle V,W}$ איזומורפיים לתת-המרחבים ${\displaystyle \{(v,0)\}}$ ו-${\displaystyle \{(0,w)\}}$, בהתאמה, הסכום הישר ה"חיצוני" הוא גם סכום ישר פנימי של תת-מרחבים וקטוריים, ${\displaystyle V\oplus W=(V\oplus 0)+(0\oplus W)}$, ולהפך.

סכום ישר של מרחבי מכפלה פנימית

הסכום הישר של מרחבי מכפלה פנימית ${\displaystyle U,V}$ הוא המרחב הווקטורי ${\displaystyle U\oplus V}$ שהוגדר לעיל, עם המכפלה הפנימית ${\displaystyle \langle u_{1}\oplus v_{1},u_{2}\oplus v_{2}\rangle \equiv \langle u_{1},u_{2}\rangle +\langle v_{1},v_{2}\rangle }$. באופן זה תת-המרחבים ${\displaystyle U\oplus 0}$ ו-${\displaystyle 0\oplus V}$ מאונכים זה לזה, וכך מתקיים משפט פיתגורס: ריבוע הנורמה של ${\displaystyle u+v}$ שווה לסכום ריבועי הנורמות של ${\displaystyle u}$ ושל ${\displaystyle v}$ (כאשר ${\displaystyle u\in U,v\in V}$). תכונה זו מכלילה את הסכום הישר של תבניות ריבועיות.

ההגדרה מכבדת גם את המבנה הטופולוגי של המרחבים הווקטוריים (המושרה על ידי הנורמה): סדרה ${\displaystyle \{u_{n}+v_{n}\}}$ מתכנסת לגבול ${\displaystyle u+v}$ אם ורק אם שתי סדרות הרכיבים מתכנסות ל-${\displaystyle u}$ ו-${\displaystyle v}$, בהתאמה. בפרט, סכום ישר של שני מרחבי הילברט הוא מרחב הילברט.

במקרה המיוחד של ${\displaystyle \mathbb {R} ^{n}}$ או ${\displaystyle \mathbb {C} ^{n}}$, המכפלה הפנימית הסטנדרטית מתקבלת מחיבור חוזר של המכפלות הפנימיות הטבעיות על ${\displaystyle \mathbb {R} }$ או ${\displaystyle \mathbb {C} }$ (${\displaystyle \langle a,b\rangle =ab}$ במקרה הראשון, ${\displaystyle \langle a,b\rangle =a{\bar {b}}}$ בשני).

סכום ישר של מודולים

הסכום הישר של מרחבים וקטוריים הוא מקרה פרטי של סכום ישר של מודולים. נניח ש-${\displaystyle M,N}$ הם מודולים שמאליים מעל חוג ${\displaystyle R}$. אפשר להגדיר את המודול ${\displaystyle \,M\oplus N}$, כקבוצה הכוללת את כל הזוגות ${\displaystyle (m,n)}$ (עם ${\displaystyle m\in M,n\in N}$), והפעולות לפי רכיבים כבמקרה של מרחבים וקטוריים. גם כאן אפשר להגדיר סכום ישר פנימי, המתלכד עם הסכום הישר החיצוני.

סכום ישר של עותקים של החוג (כמודול מעל עצמו) נקרא מודול חופשי. מודול ${\displaystyle M}$ הוא חופשי אם ורק אם יש לו בסיס, כלומר קבוצת איברים ${\displaystyle e_{1},\dots ,e_{n}}$ כך שכל איבר אפשר להציג באופן יחיד כצירוף ליניארי ${\displaystyle r_{1}e_{1}+\cdots +r_{n}e_{n}}$ עבור ${\displaystyle r_{1},\dots ,r_{n}\in R}$.

סכום ישר של שתי אלגברות

אפשר לראות כל אלגברה (בין אם היא אסוציאטיבית ובין אם לאו) כמודול מעל חוג עם מכפלה ביליניארית. לכן, עבור שתי אלגברות ${\displaystyle A,B}$ מעל אותו חוג ${\displaystyle .R}$ נגדיר את ${\displaystyle A\oplus B}$ באותו אופן שהגדרנו את הסכום עבור שני מודולים, ואת המכפלה (${\displaystyle a_{1},a_{2}\in A,b_{1},b_{2}\in B}$) על ידי ${\displaystyle (a_{1}\oplus b_{1})\star (a_{2}\oplus b_{2})\equiv (a_{1}\star a_{2})\oplus (b_{1}\star b_{2})}$.

סכום ישר של מטריצות ריבועיות

אם ${\displaystyle A}$ ו-${\displaystyle B}$ הן שתי מטריצות ריבועיות בגודל ${\displaystyle n}$ ו-${\displaystyle m}$ בהתאמה, אז הסכום הישר ${\displaystyle A\oplus B}$ הוא המטריצה ${\displaystyle \left({\begin{matrix}A&0\\0&B\end{matrix}}\right)}$, בגודל ${\displaystyle n+m}$. אם ${\displaystyle V}$ ו-${\displaystyle W}$ הם מרחבים וקטוריים ו-${\displaystyle A,B}$ המטריצות המייצגות של העתקות ${\displaystyle T{:}V\rightarrow V}$ ו-${\displaystyle S{:}W\rightarrow W}$ בהתאמה (ביחס לבסיסים ${\displaystyle B_{V}}$ ו-${\displaystyle B_{W}}$), אז ${\displaystyle A\oplus B}$ היא המטריצה המייצגת של ההעתקה ${\displaystyle (T,S){:}V\oplus W\rightarrow V\oplus W}$ המוגדרת לפי ${\displaystyle (T,S)(v,w)=(T(v),S(w))}$ (ביחס לבסיס ${\displaystyle B_{V}\cup B_{W}}$).

הסכום הישר מקיים ${\displaystyle (A\oplus B)+(A'\oplus B')=(A+A')\oplus (B+B')}$ ו-${\displaystyle (A\oplus B)(A'\oplus B')=AA'\oplus BB'}$.

ראו גם

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

קישורים חיצוניים

• סכום ישר, באתר MathWorld (באנגלית)