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

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
תגיות: עריכה חזותית עריכה ממכשיר נייד עריכה דרך האתר הנייד
מ שוחזר מעריכות של 2A02:ED0:5260:DB00:4D35:9085:C6B7:C260 (שיחה) לעריכה האחרונה של יחס הזהב
שורה 1:
'''סכום ישר''' (סימון: ⊕) הוא [[אובייקט מתמטי]] המורכב מכמה אובייקטים מאותו סוג ללא "הפרעות" הדדיות ביניהם. אפשר להגדיר סכום ישר של [[מבנים אלגבריים]] כמו [[מרחב וקטורי|מרחבים וקטוריים]] או [[מודול (מבנה אלגברי)|מודולים]], אבל גם של [[מטריצה|מטריצות]], [[תורת הגרפים|גרפים]], [[קבוצה סדורה|קבוצות סדורות]] או [[מרחב טופולוגי|מרחבים טופולוגיים]].
הדוכסמ [[בלגיה]]
 
הסכום הישר של שני אובייקטים מורכב, כקבוצה, מן הזוגות הסדורים שאפשר לבנות מהם, ולכן הוא שווה ל[[מכפלה ישרה|מכפלה הישרה]] שלהם; כך גם בכל מספר סופי של מבנים. לעומת זאת, כאשר מטפלים במספר מבנים אינסופי, הסכום הישר מוכל במכפלה הישרה, והוא כולל רק את הווקטורים שכמעט כל אבריהם אפס.
 
הסכום הישר מאפשר לטפל במספר כלשהו של אובייקטים בבת-אחת. אפשר להבחין בין בנייה "חיצונית" של סכום ישר, המשלבת מבנים נתונים למבנה אחד גדול, לבין בנייה "פנימית", המזהה שמבנה נתון מורכב מתת-מבנים שלו. ההבדל אינו פורמלי, משום שבשתי הדרכים מקבלים מבנים איזומורפיים.
 
==הגדרה קטגורית==