Sommatoria

Template:F La sommatoria è un simbolo matematico che abbrevia, in una notazione sintetica, la somma di un certo insieme di addendi. La notazione prevede:

• una lettera, il sigma maiuscolo: $\sum$
• una lettera chiamata indice della sommatoria (spesso si usano le lettere $k$, $i$, $j$ o $n$ minuscole)
• un'espressione algebrica alla destra del sigma in cui può comparire l'indice della sommatoria
• un intervallo di valori (interi) in cui può variare l'indice da indicare sopra e sotto il sigma.

Nel caso più generale possibile abbiamo quindi una scrittura del tipo

$\sum _{k=m}^{n}f(k),$

dove $m$ e $n$ sono dei numeri interi, detti rispettivamente limite inferiore della sommatoria e limite superiore della sommatoria. La scrittura si legge "sommatoria per $k$ che va da $m$ a $n$ di $f(k)$". Con questa notazione si indica la somma di tutti gli addendi che si ottengono sostituendo all'indice $k$ di $f(k)$ tutti i valori interi che vanno dal numero $m$ al numero $n$ compresi.

$\sum _{k=m}^{n}f(k)=f(m)+f(m+1)+f(m+2)+\dots +f(n-1)+f(n).$

Esempi

Se $f(k)=0$

$\sum _{k=1}^{3}0=0+0+0=0.$

Se $f(k)=1$

$\sum _{k=0}^{5}1=1+1+1+1+1+1=6.$

Se $f(k)=k^2$

$\sum _{k=4}^{10}{k}^2=4^2+5^2+6^2+7^2+8^2+9^2+10^2=371.$

Oppure se $f(m)=m$

$\sum _{m=1}^{10}m=1+2+3+4+5+6+7+8+9+10=55.$

Sommatorie infinite

Template:Vedi anche È anche possibile utilizzare questa notazione per somme di un numero infinito di termini; esse sono chiamate serie infinite. Al posto di $n$ sopra il simbolo di sommatoria si usa il simbolo di infinito ($\mathrm{\infty }$). La somma di una serie siffatta è definita come il limite della somma dei primi $n$ termini, al crescere di $n$ oltre un qualsivoglia valore. In formule,

$\sum _{i=m}^{\mathrm{\infty }}{x}_i:=\underset{n\to \mathrm{\infty }}{\lim }\sum _{i=m}^n{x}_i.$

Si può anche rimpiazzare $m$ con un infinito negativo, e avere

$\sum _{i=-\mathrm{\infty }}^{\mathrm{\infty }}{x}_i:=\underset{n\to \mathrm{\infty }}{\lim }\sum _{i=-n}^m{x}_i+\underset{n\to \mathrm{\infty }}{\lim }\sum _{i=m+1}^n{x}_i,$

per un intero a scelta $m$, ammesso che entrambi i limiti esistano.

Altri usi

È in uso lo stesso simbolo anche per descrivere somme i cui addendi non sono in corrispondenza con i numeri interi, ma soddisfano condizioni più generali, come ad esempio

$\sum _{d|n}f(d),$

dove la somma si estende a tutti i numeri che dividono un dato numero $n$,

$\sum _{\genfrac{}{}{0ex}{}{0\le x<100}{x\in \mathbb{Z}}}f(x)$

la somma di $f(x)$ su tutti gli $x$ interi nell'intervallo specificato,

$\sum _{x\in S}f(x)$

la somma su tutti gli $x$ appartenenti all'insieme $S$.

Nella matematica del continuo, l'equivalente della somma è l'integrale.

Per sommatorie coinvolgenti vettori, matrici e tensori, Albert Einstein introdusse una notazione semplificata che da lui prende nome.

Proprietà della sommatoria

Proprietà associativa-dissociativa

Nella notazione di sommatoria vale la seguente uguaglianza:

$\sum _{k=N}^{M}f(k)\pm \sum _{k=N}^{M}g(k)=\sum _{k=N}^{M}f(k)\pm g(k).$

Si noti che perché l'uguaglianza sia valida, i limiti superiori ed inferiori delle due sommatorie devono essere uguali, altrimenti l'uguaglianza non è valida. Template:Approfondimento

Proprietà distributiva

Nella notazione di sommatoria vale la seguente uguaglianza:

$a\cdot \sum _{k=N}^{M}f(k)=\sum _{k=N}^{M}a\cdot f(k),$

questo vuol dire che un fattore indipendente dall'indice che si trova all'interno di una sommatoria può essere estratto da essa e, viceversa, un fattore esterno alla sommatoria può essere portato al suo interno. Template:Approfondimento Dalla dimostrazione si può dedurre che questa proprietà è equivalente alla proprietà distributiva della moltiplicazione rispetto all'addizione. Ovviamente questa proprietà vale anche nel caso in cui un rapporto abbia una sommatoria al numeratore, infatti:

$\frac{\sum _{k=N}^{M}f(k)}{a}=\frac{1}{a}\sum _{k=N}^{M}f(k)=\sum _{k=N}^M\frac{1}{a}f(k)=\sum _{k=N}^M\frac{f(k)}{a}\Rightarrow \frac{\sum _{k=N}^{M}f(k)}{a}=\sum _{k=N}^M\frac{f(k)}{a}.$

Scomposizione:

$\sum _{k=1}^{n+m}{a}_k=\sum _{k=1}^n{a}_k+\sum _{k=n+1}^{n+m}{a}_k.$

Traslazione di indici:

$\sum _{k=1}^n{a}_k=\sum _{k=1+m}^{n+m}{a}_{k-m}.$

Traslazione dei limiti superiore ed inferiore

Nel caso in cui il termine della sommatoria sia un polinomio la traslazione dei limiti superiore e inferiore può essere fatta alterando opportunamente i soli termini dipendenti dall'indice:

$\sum _{x=B+1}^{C}3x^2-3x+1=\sum _{x=1}^{C-B}3(x+B{)}^2-3(x+B)+1.$

Riflessione di indici:

$\sum _{k=1}^n{a}_k=\sum _{k=1}^n{a}_{n-k+1}=\sum _{k=0}^{n-1}{a}_{n-k}$. Più in generale abbiamo (quando $n>m$): $\sum _{k=m}^n{a}_k=\sum _{k=m}^n{a}_{n-k+m}.$

Alcune identità in cui compaiono sommatorie

La formula per la somma di tutti gli interi da $m$ a $n$ è

$\sum _{i=m}^{n}i=\frac{(n-m+1)(n+m)}{2}.$       Esempio: $\sum _{i=10}^{15}i=\frac{(15-10+1)(15+10)}{2}=\frac{150}{2}=75.$

Quindi in particolare la somma dei primi $n$ interi positivi è

$\sum _{i=0}^{n}i=\sum _{i=1}^{n}i=\frac{n(n+1)}{2}.$          Esempio: $\sum _{i=0}^{10}i=\sum _{i=1}^{10}i=\frac{10(10+1)}{2}=\frac{110}{2}=55.$

La formula della somma dei primi $n$ quadrati invece è

$\sum _{i=0}^n{i}^2=\sum _{i=1}^n{i}^2=\frac{n(n+1)(2n+1)}{6}.$    Esempio: $\sum _{i=0}^5{i}^2=\sum _{i=1}^5{i}^2=\frac{5(5+1)(2\cdot 5+1)}{6}=\frac{330}{6}=55$; $\sum _{i=1}^5{i}^2=1^2+2^2+3^2+4^2+5^2=55.$

Da queste formule si può anche ricavare quella relativa alla somma dei primi $n$ cubi.

Una relazione che lega i primi $n$ cubi ai primi $n$ numeri è la seguente:

$\sum _{i=1}^n{i}^3={\left(\sum _{i=1}^{n}i\right)}^2.$               Esempio: $\sum _{i=1}^3{i}^3=1^3+2^3+3^3=36=(1+2+3{)}^2.$

$\sum _{i=1}^n\left(\sum _{k=1}^{i}k\right)=\frac{n(n+1)(n+2)}{6}.$

Voci correlate

• Addizione
• Somma vuota
• Produttoria
• Serie (matematica)

Collegamenti esterni

• Template:Collegamenti esterni