הצגת המקור של הדף "סכום ישר"

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

אם <math>A = B \oplus C</math>, אומרים ש-<math>A</math> הוא '''סכום ישר''' של <math>B</math> ו-<math>C</math>, ואילו <math>B,C</math> הם '''מחוברים ישרים''' של <math>A</math>. הסכום הישר של שני אובייקטים מורכב, כקבוצה, מן הזוגות הסדורים שאפשר לבנות מהם, ולכן הוא שווה ל[[מכפלה ישרה|מכפלה הישרה]] שלהם; כך גם בכל מספר סופי של מבנים. לעומת זאת, כאשר מטפלים במספר מבנים אינסופי, הסכום הישר מוכל במכפלה הישרה, והוא כולל רק את הווקטורים שכמעט כל אבריהם אפס.

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

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

ב[[תורת הקטגוריות]], המכפלה הישרה של אובייקטים <math>A_i</math> בקטגוריה, היא אובייקט <math>B=\prod A_i</math>, עם [[מורפיזם|מורפיזמים]] ("היטלים") <math>\pi_i {:} B\rightarrow A_i</math>, המקיימים את התכונה הבאה: לכל אובייקט <math>C</math> בקטגוריה עם מורפיזמים <math>f_i{:}C\rightarrow A_i</math>, קיים מורפיזם יחיד <math>f{:}C \rightarrow B</math> כך ש-<math>f_i = \pi_i f</math>. 

הסכום הישר מוגדר באופן דואלי: הסכום הישר של האובייקטים <math>A_i</math>, הוא אובייקט <math>B=\coprod A_i</math>, עם מורפיזמים <math>\iota_i {:} A_i \rightarrow B</math>, המקיימים את התכונה הבאה: לכל אובייקט <math>C</math> בקטגוריה עם מורפיזמים <math>f_i{:}A_i\rightarrow C</math>, קיים מורפיזם יחיד <math>f{:}B \rightarrow C</math> כך ש-<math>f_i = f \iota_i</math>. אם הסכום הישר קיים בקטגוריה, אז הוא יחיד [[עד כדי (מתמטיקה)|עד כדי איזומורפיזם]].

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

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

אם <math>V</math> ו-<math>W</math> [[מרחב וקטורי|מרחבים וקטוריים]] מעל אותו [[שדה (מבנה אלגברי)|שדה]] <math>F</math>, הסכום הישר שלהם הוא מרחב וקטורי חדש, <math>V\oplus W</math>, שאבריו הם ה <math>(v,w)</math> (כאשר <math>v\in V, w\in W</math>), עם פעולות החיבור והכפל בסקלר לפי רכיבים: <math>(v_1,w_1)+(v_2,w_2)=(v_1+v_2,w_1+w_2)</math>, ו-<math>\alpha(v,w)=(\alpha v,\alpha w)</math>. התוצאה היא מרחב וקטורי ש[[ממד (אלגברה ליניארית)|ממדו]] הוא סכום הממדים של <math>V</math> ושל <math>W</math>. המרחב החדש מכיל את שני המרחבים <math>\{(v,0) : v \in V\}, \{(0,w): w\in W\}</math>, וכל וקטור שלו אפשר להציג באופן יחיד כסכום של וקטור מן הסוג הראשון ווקטור מן הסוג השני.

תכונות אלה מציעות הגדרה של '''סכום ישר פנימי''': אם <math>V</math> הוא [[מרחב וקטורי]], עם תת-מרחבים <math>U_1,...,U_n</math>, וכל וקטור <math>v \in V</math> ניתן להצגה כסכום <math>v=\sum_{i=1}^{n} {u_i}</math>, כאשר <math>u_i \in U_i</math>, אז אומרים ש-<math>V</math> הוא סכום של <math>U_1,...,U_n</math>, וכותבים <math>V=U_1+...+U_n</math>. אם הצגה כזו היא תמיד יחידה, אז הסכום הוא '''סכום ישר''', אותו מסמנים ב-<math>V=U_1 \oplus ... \oplus U_n</math>.

בהינתן ש-<math>V=U_1+...+U_n</math>, הטענה שלכל וקטור יש הצגה יחידה כאמור, שקולה לכך שההצגה היחידה של [[0 (מספר)|0]] היא <math>0=0+...+0</math>, וכן שקולה לכך שהחיתוך של כל מרחב <math>U_i</math> עם <math>\sum_{j=1}^{n} {U_j}</math> (כאשר <math>i \ne j</math>) מכיל רק את וקטור ה-0. אפיון שקול לסכום ישר הוא אם ה[[בסיס (אלגברה)|בסיס]]ים של <math>U_1,...,U_n</math> זרים בזוגות, והאיחוד שלהם מהווה בסיס למרחב <math>V</math>.

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

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

הסכום הישר של [[מרחב מכפלה פנימית|מרחבי מכפלה פנימית]] <math>U,V</math> הוא המרחב הווקטורי <math>U\oplus V</math> שהוגדר לעיל, עם המכפלה הפנימית <math>\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 </math>. באופן זה תת-המרחבים <math>U\oplus 0</math> ו-<math>0\oplus V</math> מאונכים זה לזה, וכך מתקיים [[משפט פיתגורס]]: ריבוע ה[[נורמה (אנליזה)|נורמה]] של <math>u+v</math> שווה לסכום ריבועי הנורמות של <math>u</math> ושל <math>v</math> (כאשר <math>u\in U, v\in V</math>). תכונה זו מכלילה את הסכום הישר של [[תבנית ריבועית|תבניות ריבועיות]]. 

ההגדרה מכבדת גם את המבנה הטופולוגי של המרחבים הווקטוריים (המושרה על ידי ה[[מרחב נורמי|נורמה]]): סדרה 
<math>\{u_n+v_n\}</math> מתכנסת לגבול <math>u+v</math> אם ורק אם שתי סדרות הרכיבים מתכנסות ל-<math>u</math> ו-<math>v</math>, בהתאמה. בפרט, סכום ישר של שני מרחבי הילברט הוא מרחב הילברט.

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

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

הסכום הישר של מרחבים וקטוריים הוא מקרה פרטי של סכום ישר של מודולים. נניח ש-<math>M,N</math> הם [[מודול (מבנה אלגברי)|מודולים שמאליים]] מעל [[חוג (אלגברה)|חוג]] <math>R</math>. אפשר להגדיר את המודול <math>\,M \oplus N</math>, כקבוצה הכוללת את כל הזוגות <math>(m,n)</math> (עם <math>m\in M, n\in N</math>), והפעולות לפי רכיבים כבמקרה של מרחבים וקטוריים. גם כאן אפשר להגדיר סכום ישר פנימי, המתלכד עם הסכום הישר החיצוני.

סכום ישר של עותקים של החוג (כמודול מעל עצמו) נקרא [[מודול חופשי]]. מודול <math>M</math> הוא חופשי אם ורק אם יש לו '''בסיס''', כלומר קבוצת איברים <math>e_1,\dots,e_n</math> כך שכל איבר אפשר להציג באופן יחיד כצירוף ליניארי <math>r_1e_1+\cdots+r_ne_n</math> עבור <math>r_1,\dots,r_n\in R</math>.

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

אפשר לראות כל [[אלגברה (מבנה אלגברי)|אלגברה]] (בין אם היא [[אסוציאטיביות|אסוציאטיבית]] ובין אם [[אלגברה לא אסוציאטיבית|לאו]]) כמודול מעל חוג עם מכפלה ביליניארית. לכן, עבור שתי אלגברות <math>A,B</math> מעל אותו חוג <math>. R</math> נגדיר את <math> A\oplus B</math> באותו אופן שהגדרנו את הסכום עבור שני מודולים, ואת המכפלה (<math>a_1,a_2\in A, b_1,b_2\in B</math>) על ידי <math>(a_1 \oplus b_1) \star (a_2 \oplus b_2 ) \equiv (a_1 \star a_2) \oplus (b_1 \star b_2)</math>. 

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

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

הסכום הישר מקיים <math>(A\oplus B)+(A'\oplus B') = (A+A') \oplus (B+B')</math> ו-<math>(A\oplus B)(A'\oplus B') = AA' \oplus BB'</math>.

==ראו גם==
* [[מכפלה קרטזית]]
* [[מכפלה ישרה]]
* [[מכפלה טנזורית]]

==קישורים חיצוניים==
* {{MathWorld}}

[[קטגוריה:אלגברה]]
[[קטגוריה:אלגברה ליניארית]]
[[קטגוריה:חיבור]]
[[קטגוריה:סכום ישר]]