סכום

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

סימון

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

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

1 + 2 + … + 99 + 100 = 5050.

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

$\sum _{i=m}^{n}x_{i}=x_{m}+x_{m+1}+x_{m+2}+\cdots +x_{n-1}+x_{n}$

קרי:סיגמא של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_i} (איקס-איי), כאשר i הולך מ-m ועד n. בהגדרה זו, i הוא האינדקס של הסיכום, m הוא הקצה התחתון של הסיכום, n הוא הקצה העליון של הסיכום. לראשונה השתמש בסימון זה המתמטיקאי לאונרד אוילר, במאה ה-18.

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

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{k=2}^6 k^2 = 2^2+3^2+4^2+5^2+6^2 = 90}

יש הכללות שונות של סימון זה, למשל:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{0\le k< 100} f(k)}

הוא הסכום של ערכי הפונקציה f לכל k שלם בטווח המצוין.

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{x\in S} f(x)}

הוא הסכום של ערכי (f(x לכל האיברים x של הקבוצה S.

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{d|n}\;\mu(d)}

הוא הסכום של (μ(d לכל המספרים הטבעיים d שמחלקים את n.

כאשר אין סוף למספר האיברים בטור, נהוג לסמן אותו כך: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \sum_{k=1}^\infty a_k} (הסמל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \infty} קרוי אינסוף). גם בטור שכזה ניתן לדבר על הסכום של כל האיברים, אך לא תמיד (ראו הרחבה בערך טור אינסופי). בניגוד לטור סופי, שבו ניתן לפרט את כל איבריו (אם כי הדבר אינו נוח כאשר יש איברים רבים), בטור אינסופי תיאור הטור בנוסחה, כפי שמאפשר סימון ה-Σ, חיוני.

מימוש בתוכנית מחשב

סכום של טור סופי ניתן למימוש פשוט בתוכנית מחשב תוך שימוש בלולאה. את הביטוי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{i=m}^{n} x_{i}} מממש, למשל, קטע JavaScript הבא, המזכיר בצורתו את הכתיב המתמטי:

 sum = 0;
 for (i = m; i <= n; i++){
     sum += x[i];
 }

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

ערכי גדילה

להלן שימושי קירובים נפוצים (עם שימוש בסימון אסימפטוטי)

• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{i=1}^n i^c \in \Theta(n^{c+1})} ל-c ממשי הגדול ממינוס 1
• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{i=1}^n \frac{1}{i} \in \Theta(\log n)}
• $\sum _{i=1}^{n}c^{i}\in \Theta (c^{n})$ ל-c ממשי הגדול מ-1
• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{i=1}^n \log(i)^c \in \Theta(n \cdot \log(n)^{c})} ל-c ממשי אי-שלילי
• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{i=1}^n \log(i)^c \cdot i^d \in \Theta(n^{d+1} \cdot \log(n)^{c})} ל-c ו-d ממשיים ואי-שליליים
• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{i=1}^n \log(i)^c \cdot i^d \cdot b^i \in \Theta (n^d \cdot \log(n)^c \cdot b^n)} ל-c, d ממשיים ואי-שליליים ולכל b הגדול מ-1

ראו גם

• ארבע פעולות חשבון
• מכפלה
• אינטגרל
• סכום ריק