סכום ישר

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

הסכום הישר מקיים  ו-.

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

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

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