Visualizza wikitesto di Sommatoria

{{F|matematica|aprile 2012}}
La '''sommatoria''' è un [[simbolo]] [[matematica|matematico]] che abbrevia, in una notazione sintetica, la [[addizione|somma]] di un certo insieme di addendi. La notazione prevede:
* una lettera [[sigma (lettera greca)|sigma]] maiuscola: <math>\sum</math> 
* una lettera chiamata ''indice della sommatoria'' (spesso si usano le lettere <math>k</math>, <math>i</math> o <math>j</math> minuscole)
* un'espressione algebrica alla destra della 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 la sigma.
Nel caso più generale possibile abbiamo quindi una scrittura del tipo
:<math>\sum_{k=m}^n f(k)</math>
dove <math>m</math> e <math>n</math> sono dei numeri interi, detti rispettivamente ''limite inferiore della sommatoria'' e ''limite superiore della sommatoria''. La scrittura si legge "sommatoria per <math>k</math> che va da <math>m</math> a <math>n</math> di <math>f(k)</math>". Con questa notazione si indica la somma di tutti gli addendi che si ottengono sostituendo all'indice <math>k</math> di <math>f(k)</math> tutti i valori interi che vanno dal numero <math>m</math> al numero <math>n</math> compresi.
<math>\sum_{k=m}^n f(k)=f(m)+f(m+1)+f(m+2)+\ldots+f(n-1)+f(n)</math>

==Esempi==
Se <math>f(k)=k^2</math>
:<math>\sum_{k=4}^{10} k^2 = 4^2+5^2+6^2+7^2+8^2+9^2+10^2 = 371</math>.
Oppure se <math>f(m)=m</math>
:<math>\sum_{m=1}^{10} m = 1+2+3+4+5+6+7+8+9+10 = 55</math>.

==Sommatorie infinite==
È anche possibile utilizzare questa notazione per somme di un numero infinito di termini; esse sono chiamate [[serie|serie infinite]]. Al posto di <math>n</math> sopra il simbolo di sommatoria si usa il simbolo di [[infinito (matematica)|infinito]] (<math>\infty</math>). La somma di una serie siffatta è definita come il [[limite (matematica)|limite]] della somma dei primi <math>n</math> termini, al crescere di <math>n</math> oltre un qualsivoglia valore. In formule, 
: <math> \sum_{i=m}^{\infty} x_{i} := \lim_{n\to\infty} \sum_{i=m}^{n} x_{i}. </math>
Si può anche rimpiazzare <math>m</math> con un infinito negativo, e avere 
:<math>\sum_{i=-\infty}^\infty x_i := \lim_{n\to\infty}\sum_{i=-n}^m x_i + \lim_{n\to\infty}\sum_{i=m+1}^n x_i,</math>
per un intero a scelta <math>m</math>, 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

:<math>\sum_{d|n}f(d)</math>
dove la somma si estende a tutti i numeri che [[divisibilità|dividono]] un dato numero <math>n</math>,
:<math>\sum_{0\le x< 100 \atop x \in \Z} f(x)</math>
la somma di <math>f(x)</math> su tutti gli <math>x</math> [[numero intero|interi]] nell'intervallo specificato,
:<math>\sum_{x\in S} f(x)</math>
la somma su tutti gli <math>x</math> appartenenti all'insieme <math>S</math>.

Nella matematica del continuo, l'equivalente della somma è l'[[integrale]], il cui simbolo nasce appunto dalla deformazione del simbolo di sommatoria.

[[Albert Einstein]] introdusse per matrici e serie una [[notazione di Einstein|notazione semplificata]] che da lui prende nome.

==Proprietà della sommatoria==

===Proprietà associativa-dissociativa===
Nella notazione di sommatoria vale la seguente uguaglianza:
:<math>\sum_{k=N}^M f(k)\pm\sum_{k=N}^M g(k)=\sum_{k=N}^M f(k)\pm g(k)</math>
Si noti che perché l'uguaglianza sia valida, i limiti superiori ed inferiori delle due sommatorie devono essere uguali, altrimenti l'uguaglianza non è valida.
{{Approfondimento
|larghezza = 100%
|titolo = Dimostrazione
|contenuto =
Sviluppando le due sommatorie:
:<math>\sum_{k=N}^M f(k)\pm\sum_{k=N}^M g(k)=(f(N)+f(N+1)+f(N+2)+\ldots+f(M))\pm(g(N)+g(N+1)+g(N+2)+\ldots+g(M))</math>
eliminando le parentesi:
:<math>(f(N)+f(N+1)+f(N+2)+\ldots+f(M))\pm(g(N)+g(N+1)+g(N+2)+\ldots+g(M))=f(N)+f(N+1)+f(N+2)+\ldots+f(M)\pm g(N)\pm g(N+1)\pm g(N+2)\pm \ldots \pm g(M)</math>
e applicando la proprietà associativa dell'addizione:
:<math>f(N)+f(N+1)+f(N+2)+\ldots+f(M)\pm g(N)\pm g(N+1)\pm g(N+2)\pm \ldots \pm g(M)=(f(N)\pm g(N))+(f(N+1)\pm g(N+1))+(f(N+2)\pm g(N+2))+\ldots+(f(M)\pm g(M))</math>
si può riscrivere la somma nella seguente forma:
:<math>(f(N)\pm g(N))+(f(N+1)\pm g(N+1))+(f(N+2)\pm g(N+2))+\ldots+(f(M)\pm g(M))=\sum_{k=N}^M f(k)\pm g(k)</math>
da cui:
:<math>\sum_{k=N}^M f(k)\pm\sum_{k=N}^M g(k)=\sum_{k=N}^M f(k)\pm g(k)</math>
}}

===Proprietà distributiva===
Nella notazione di sommatoria vale la seguente uguaglianza:
:<math>a \cdot \sum_{k=N}^M f(k)=\sum_{k=N}^M a \cdot f(k)</math>
questo vuol dire che un fattore 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.
{{Approfondimento
|titolo = Dimostrazione
|contenuto =
Sviluppando la sommatoria:
:<math>a \cdot \sum_{k=N}^M f(k)=a \cdot (f(N)+f(N+1)+f(N+2)+\ldots+f(M))</math>
e applicando la proprietà distributiva della moltiplicazione:
:<math>a \cdot (f(N)+f(N+1)+f(N+2)+\ldots+f(M))=a\cdot f(N)+a\cdot f(N+1)+a\cdot f(N+2)+\ldots+a\cdot f(M)</math>
si può riscrivere la somma nella seguente forma:
:<math>a\cdot f(N)+a\cdot f(N+1)+a\cdot f(N+2)+\ldots+a\cdot f(M)=\sum_{k=N}^M a \cdot f(k)</math>
da cui

:<math>a \cdot \sum_{k=N}^M f(k)=\sum_{k=N}^M a \cdot f(k)</math>
|larghezza = 100%
}}
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:
:<math>\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}</math>

'''Scomposizione:'''
: <math>\sum_{k=1}^{n+m} a_k = \sum_{k=1}^n a_k  +  \sum_{k=n+1}^{n+m} a_k </math>

'''Traslazione di indici:'''
: <math>\sum_{k=1}^n a_k = \sum_{k=1+m}^{n+m} a_{k-m} </math>

==== 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:

:<math>\sum_{x=B+1}^C 3x^2-3x+1 = \sum_{x=1}^{C-B} 3(x+B)^2-3(x+B)+1 </math>

'''Riflessione di indici:'''
: <math>\sum_{k=1}^n a_k = \sum_{k=1}^n a_{n-k+1} = \sum_{k=0}^{n-1} a_{n-k} </math> .Più in generale abbiamo (quando <math>n>m</math>): <math>\sum_{k=m}^n a_k = \sum_{k=m}^n a_{n-k+m}</math>

==Alcune identità in cui compaiono sommatorie==
La formula per la somma di tutti gli interi da <math>m</math> a <math>n</math> è 
:<math>\sum_{i=m}^{n} i = \frac{(n-m+1)(n+m)}{2}</math>&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;Es:  <math>\sum_{i=10}^{15} i = \frac{(15-10+1)(15+10)}{2} = \frac{150}{2} = 75</math>
{{Approfondimento
|larghezza = 100%
|titolo = Dimostrazione
|contenuto =
Consideriamo la somma degli interi da <math>3</math> (<math>m</math>) a <math>7</math> (<math>n</math>), abbiamo <math>3+4+5+6+7</math>, aggiungiamo e togliamo tutti i numeri che precedono il <math>3</math> cioè nel nostro caso <math>1+2</math> che sarebbe la somma dei primi numeri interi da <math>1</math> a <math>n</math>, <math>n</math> è <math>2</math> ovvero 3-1=2 (''m''-1).
La nostra somma diventa: <math>1+2+3+4+5+6+7-(1+2)</math>
Possiamo notare che il risultato è la differenza tra la somma degli interi da <math>1</math> a <math>n</math> meno la somma degli interi da <math>1</math> a <math>m-1</math>, la somma degli <math>n</math> interi partendo da <math>1</math> è la formula di Gauss che trovò da ragazzino:
:<math> \frac{n(n+1)}{2}</math>
Per la somma degli interi da <math>1</math> a <math>m-1</math> abbiamo:
:<math> \frac{(m-1)(m-1+1)}{2}</math>
:<math> \frac{m(m-1)}{2}</math>
Il nostro risultato sarebbe la differenza fra i due, ovvero:
:<math> \frac{n(n+1)}{2}-\frac{m(m-1)}{2}</math>
Con alcuni passaggi algebrici sviluppiamo e troviamo la nostra formula compatta:
:<math> \frac{n^2+n-m^2+m}{2}</math>
:<math> \frac{n^2-m^2+n+m}{2}</math>
:<math> n^2-m^2=(n+m)(n-m) </math>
:<math> \frac{(n+m)(n-m)+n+m}{2} </math>
:<math> \frac{(n-m+1)(n+m)}{2} </math>
}}

Quindi in particolare la somma dei primi <math>n</math> interi positivi è 
:<math>\sum_{i=0}^{n} i = \sum_{i=1}^{n} i = \frac{n(n+1)}{2}</math>&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;Es: <math>\sum_{i=0}^{10} i = \sum_{i=1}^{10} i = \frac{10(10+1)}{2} = \frac{110}{2} = 55</math>

La formula della somma dei primi <math>n</math> [[quadrato (algebra)|quadrati]] invece è
:<math>\sum_{i=0}^{n} i^2 = \sum_{i=1}^{n} i^2 = \frac{n(n+1)(2n+1)}{6}</math>&emsp;&emsp;&emsp;&emsp;Es: <math>\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</math>; <math>\sum_{i=1}^{5} i^2 = 1^2+2^2+3^2+4^2+5^2 = 55</math>

Da queste formule si può anche ricavare quella relativa alla somma dei primi <math>n</math> [[cubo (algebra)|cubi]].

Una relazione che lega i primi <math>n</math> cubi ai primi <math>n</math> numeri è la seguente:
:<math>\sum_{i=1}^{n} i^{3} = \left(\sum_{i=1}^{n} i\right)^{2} </math>&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;&emsp;&nbsp;Es: <math>\sum_{i=1}^{3} i^{3} = 1^3+2^3+3^3=36=(1+2+3)^{2}</math>

{{Approfondimento
|larghezza = 100%
|titolo = Dimostrazione
|contenuto =
Si dimostra per induzione.

''Base dell'induzione:'' per <math>n=1</math> si ha: <math> \sum_{i=1}^{1} i^{3} = \left(\sum_{i=1}^{1} i\right)^{2} </math>

<math> 1^{3} = 1^{2} </math> cioè <math> 1 = 1 </math>

''Passo induttivo:'' Assumiamo vera l'ipotesi per <math>n</math>

Si ha quindi: <math> 1^{3} + 2^{3} + 3^{3} + \ldots + n^{3} = (1 + 2 + 3 + \ldots + n)^{2} </math>

Poiché il secondo membro dell'equazione è una serie aritmetica elevata al quadrato si ha:

<math> 1^{3} + 2^{3} + 3^{3} + \ldots + n^{3} = \left[\frac{n (n + 1)}{2}\right]^{2} </math>

Dimostriamo che vale per <math>n + 1 </math>. 

<math> 1^{3} + 2^{3} + 3^{3} + \ldots + n^{3} + (n + 1)^{3} = \left[\frac{n (n + 1)}{2}\right]^{2} + (n + 1)^3 </math>

<math> 1^{3} + 2^{3} + 3^{3} + \ldots + n^{3} + (n + 1)^{3} = (n + 1)^{2} \left(\frac{n^{2} + 4n + 4}{4}\right) </math>

<math> 1^{3} + 2^{3} + 3^{3} + \ldots + n^{3} + (n + 1)^{3} = (n + 1)^{2} \left(\frac{n + 2}{2}\right)^{2} </math>

<math> 1^{3} + 2^{3} + 3^{3} + \ldots + n^{3} + (n + 1)^{3} = \left[\frac{(n + 1)(n + 2)}{2}\right]^{2} </math>

E questa è esattamente la <math>(n + 1)</math>.
Questo teorema ci dice inoltre che la somma dei primi <math>n</math> cubi è data da: <math> \left[\frac{n (n + 1)}{2}\right]^{2} </math>

Tuttavia la dimostrazione qui sopra, per induzione, non è una dimostrazione "costruttiva", in quanto assume che sia da dimostrare che:
:<math>\sum_{i=1}^{n} i^{3} = \left(\sum_{i=1}^{n} i\right)^{2} </math>
senza dare alcuna giustificazione da dove questa formula provenga.

Una dimostrazione "costruttiva" di questo assunto può essere questa:

Partiamo dalla formula:
:<math>\left(\sum_{i=0}^{n} i\right)^{2} = \sum_{i=0}^{n} i^{2} + 2\sum_{i=0}^{n-1} i\sum_{m=i+1}^{n}m</math>
Questa formula è un modo generale per scrivere il quadrato di un polinomio (compaiono infatti tutti i termini quadrati e tutti i doppi prodotti) applicato al quadrato della somma dei primi <math>n</math> numeri naturali.

Si può quindi procedere a risolvere le sommatorie di cui si conosce la somma, ricordando che:
:<math>\sum_{i=0}^{n} i= \frac{n(n+1)}{2}</math>
e che
:<math>\sum_{i=k}^{n} i= \frac{n(n+1)}{2} - \frac{k(k-1)}{2}</math>
(poiché :<math>\sum_{i=k}^{n} i=\sum_{i=0}^{n} i - \sum_{i=0}^{k-1} i</math> )

da cui:
:<math>\frac{n^2(n+1)^2}{4}=\sum_{i=0}^{n} i^2 + 2\sum_{i=0}^{n-1}i\left[\frac{n(n+1)}{2}-\frac{i(i+1)}{2}\right]</math>
:<math>\frac{n^2(n+1)^2}{4}=\sum_{i=0}^{n} i^2 + n(n+1)\sum_{i=0}^{n-1}i-\sum_{i=0}^{n-1}i^3-\sum_{i=0}^{n-1}i^2</math>
considerando che:
:<math>\sum_{i=0}^{n-1}i^2 = \left(\sum_{i=0}^{n}i^2\right) - n^2</math>
posso semplificare il termine <math>\sum_{i=0}^{n}i^2</math>, ottenendo:
:<math>\frac{n^2(n+1)^2}{4}=n(n+1)\frac{(n-1)n}{2}-\sum_{i=0}^{n-1}i^3+n^2</math>
da cui si ricava:
:<math>\sum_{i=0}^{n-1}i^3=\frac{n^2(n-1)^2}{4}</math>
o, facendo finire la sommatoria ad n:
:<math>\sum_{i=0}^{n}i^3=\frac{n^2(n+1)^2}{4}</math>
}}
:<math>\sum_{i=1}^n \left( \sum_{k=1}^i k \right)=\frac{n(n+1)(n+2)}{6}</math>

==Voci correlate==
*[[Addizione]]
*[[Somma vuota]]
*[[Produttoria]]
*[[Serie]]

== Altri progetti ==
{{interprogetto|wikt}}

== Collegamenti esterni ==
* {{Collegamenti esterni}}

{{Simboli matematici}}
{{Controllo di autorità}}
{{Portale|matematica}}

[[Categoria:Notazioni matematiche]]