Produttoria
In matematica, la produttoria è un simbolo che abbrevia in una notazione sintetica la moltiplicazione di un certo numero di fattori. Il simbolo usato è la lettera greca maiuscola Pi.
Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.
In matematica, la produttoria è un simbolo che abbrevia in una notazione sintetica la moltiplicazione di un certo numero di fattori. Il simbolo usato è la lettera greca maiuscola Pi.
Definizione
[modifica | modifica wikitesto]La definizione di produttoria è data da:
-
∏
i
=
m
n
x
i
=
x
m
⋅
x
m
+
1
⋅
x
m
+
2
⋅
⋯
⋅
x
n
−
1
⋅
x
n
.
{\displaystyle \prod _{i=m}^{n}x_{i}=x_{m}\cdot x_{m+1}\cdot x_{m+2}\cdot \cdots \cdot x_{n-1}\cdot x_{n}.}
La variabile
i
{\displaystyle i}
è una variabile libera detta indice della produttoria; essa assume tutti i valori interi compresi tra il limite inferiore
m
{\displaystyle m}
e il limite superiore
n
{\displaystyle n}
, mentre gli
x
i
{\displaystyle x_{i}}
sono i termini di una successione.
Ad esempio:
-
∏
i
=
2
6
(
1
+
1
i
)
=
(
1
+
1
2
)
⋅
(
1
+
1
3
)
⋅
(
1
+
1
4
)
⋅
(
1
+
1
5
)
⋅
(
1
+
1
6
)
=
7
2
.
{\displaystyle \prod _{i=2}^{6}\left(1+{1 \over i}\right)=\left(1+{1 \over 2}\right)\cdot \left(1+{1 \over 3}\right)\cdot \left(1+{1 \over 4}\right)\cdot \left(1+{1 \over 5}\right)\cdot \left(1+{1 \over 6}\right)={7 \over 2}.}
Un utilizzo tipico della produttoria è la definizione di fattoriale di un numero
n
{\displaystyle n}
:
-
n
!
=
∏
k
=
1
n
k
=
1
⋅
2
⋅
3
⋅
…
⋅
(
n
−
1
)
⋅
n
.
{\displaystyle n!=\prod _{k=1}^{n}k=1\cdot 2\cdot 3\cdot \ldots \cdot (n-1)\cdot n.}
Se l'indice superiore è minore dell'indice inferiore, la produttoria rappresenta un prodotto vuoto e il suo valore è 1.
È possibile definire il prodotto anche per indici non consecutivi, ma che rispettano alcune condizioni logiche prefissate; ad esempio, per indicare che un numero è uguale al prodotto dei suoi divisori si scrive:
-
n
=
∏
q
∣
n
q
≠
n
q
.
{\displaystyle n=\prod _{q\mid n \atop q\neq n}q.}
L'indice di produttoria è
q
{\displaystyle q}
, e le condizioni che deve rispettare sono poste sotto al simbolo di produttoria.
Proprietà
[modifica | modifica wikitesto]- Proprietà associativa: per ogni
n
,
m
∈
Z
{\displaystyle n,m\in \mathbb {Z} }
e f , g : Z → R {\displaystyle f,g\colon \mathbb {Z} \to \mathbb {R} }
, si ha
-
∏
k
=
n
m
f
(
k
)
⋅
∏
k
=
n
m
g
(
k
)
=
∏
k
=
n
m
(
f
(
k
)
⋅
g
(
k
)
)
.
{\displaystyle \prod _{k=n}^{m}f(k)\cdot \prod _{k=n}^{m}g(k)=\prod _{k=n}^{m}{\Big (}f(k)\cdot g(k){\Big )}.}
-
∏
k
=
n
m
f
(
k
)
⋅
∏
k
=
n
m
g
(
k
)
=
∏
k
=
n
m
(
f
(
k
)
⋅
g
(
k
)
)
.
{\displaystyle \prod _{k=n}^{m}f(k)\cdot \prod _{k=n}^{m}g(k)=\prod _{k=n}^{m}{\Big (}f(k)\cdot g(k){\Big )}.}
- Potenza di una produttoria: per ogni
n
,
m
∈
Z
{\displaystyle n,m\in \mathbb {Z} }
e f : Z → R > 0 {\displaystyle f\colon \mathbb {Z} \to \mathbb {R} _{>0}}
e a ∈ R {\displaystyle a\in \mathbb {R} }
, si ha
-
(
∏
k
=
n
m
f
(
k
)
)
a
=
∏
k
=
n
m
f
(
k
)
a
.
{\displaystyle \left(\prod _{k=n}^{m}f(k)\right)^{a}=\prod _{k=n}^{m}f(k)^{a}.}
-
(
∏
k
=
n
m
f
(
k
)
)
a
=
∏
k
=
n
m
f
(
k
)
a
.
{\displaystyle \left(\prod _{k=n}^{m}f(k)\right)^{a}=\prod _{k=n}^{m}f(k)^{a}.}
- Trasporto fuori dalla produttoria: per ogni
n
,
m
∈
Z
{\displaystyle n,m\in \mathbb {Z} }
con n ≤ m {\displaystyle n\leq m}
, f : Z → R {\displaystyle f\colon \mathbb {Z} \to \mathbb {R} }
e a ∈ R {\displaystyle a\in \mathbb {R} }
, si ha
-
∏
k
=
n
m
(
a
⋅
f
(
k
)
)
=
a
m
−
n
+
1
∏
k
=
n
m
f
(
k
)
.
{\displaystyle \prod _{k=n}^{m}{\Big (}a\cdot f(k){\Big )}=a^{m-n+1}\prod _{k=n}^{m}f(k).}
-
∏
k
=
n
m
(
a
⋅
f
(
k
)
)
=
a
m
−
n
+
1
∏
k
=
n
m
f
(
k
)
.
{\displaystyle \prod _{k=n}^{m}{\Big (}a\cdot f(k){\Big )}=a^{m-n+1}\prod _{k=n}^{m}f(k).}
- Proprietà telescopica: per ogni
n
,
m
∈
Z
{\displaystyle n,m\in \mathbb {Z} }
con n < m {\displaystyle n<m}
e f : Z → R − { 0 } {\displaystyle f\colon \mathbb {Z} \to \mathbb {R} -\{0\}}
, si ha
-
∏
k
=
n
m
f
(
k
)
f
(
k
−
1
)
=
f
(
m
)
f
(
n
−
1
)
.
{\displaystyle \prod _{k=n}^{m}{\frac {f(k)}{f({k-1})}}={\frac {f(m)}{f({n-1})}}.}
-
∏
k
=
n
m
f
(
k
)
f
(
k
−
1
)
=
f
(
m
)
f
(
n
−
1
)
.
{\displaystyle \prod _{k=n}^{m}{\frac {f(k)}{f({k-1})}}={\frac {f(m)}{f({n-1})}}.}
- Scomposizione degli indici: per ogni
n
,
m
1
,
m
2
∈
Z
{\displaystyle n,m_{1},m_{2}\in \mathbb {Z} }
con n ≤ m 1 {\displaystyle n\leq m_{1}}
, con m 2 ≥ 1 {\displaystyle m_{2}\geq 1}
e f : Z → R {\displaystyle f\colon \mathbb {Z} \to \mathbb {R} }
, si ha
-
∏
k
=
n
m
1
+
m
2
f
(
k
)
=
∏
k
=
n
m
1
f
(
k
)
⋅
∏
k
=
m
1
+
1
m
1
+
m
2
f
(
k
)
.
{\displaystyle \prod _{k=n}^{m_{1}+m_{2}}f(k)=\prod _{k=n}^{m_{1}}f(k)\cdot \prod _{k=m_{1}+1}^{m_{1}+m_{2}}f(k).}
-
∏
k
=
n
m
1
+
m
2
f
(
k
)
=
∏
k
=
n
m
1
f
(
k
)
⋅
∏
k
=
m
1
+
1
m
1
+
m
2
f
(
k
)
.
{\displaystyle \prod _{k=n}^{m_{1}+m_{2}}f(k)=\prod _{k=n}^{m_{1}}f(k)\cdot \prod _{k=m_{1}+1}^{m_{1}+m_{2}}f(k).}
- Traslazione degli indici: per ogni
n
,
m
,
j
∈
Z
{\displaystyle n,m,j\in \mathbb {Z} }
e f : Z → R {\displaystyle f\colon \mathbb {Z} \to \mathbb {R} }
, si ha
-
∏
k
=
n
m
f
(
k
)
=
∏
k
=
n
+
j
m
+
j
f
(
k
−
j
)
.
{\displaystyle \prod _{k=n}^{m}{f(k)}=\prod _{k=n+j}^{m+j}f(k-j).}
-
∏
k
=
n
m
f
(
k
)
=
∏
k
=
n
+
j
m
+
j
f
(
k
−
j
)
.
{\displaystyle \prod _{k=n}^{m}{f(k)}=\prod _{k=n+j}^{m+j}f(k-j).}
- Logaritmo di una produttoria: per ogni
n
,
m
∈
Z
{\displaystyle n,m\in \mathbb {Z} }
, f : Z → R > 0 {\displaystyle f\colon \mathbb {Z} \to \mathbb {R} _{>0}}
e a ∈ R > 0 , a ≠ 1 {\displaystyle a\in \mathbb {R} _{>0},a\neq 1}
, si ha
-
log
a
∏
k
=
n
m
f
(
k
)
=
∑
k
=
n
m
log
a
f
(
k
)
.
{\displaystyle \log _{a}\prod _{k=n}^{m}{f(k)}=\sum _{k=n}^{m}{\log _{a}f(k)}.}
[1]
-
log
a
∏
k
=
n
m
f
(
k
)
=
∑
k
=
n
m
log
a
f
(
k
)
.
{\displaystyle \log _{a}\prod _{k=n}^{m}{f(k)}=\sum _{k=n}^{m}{\log _{a}f(k)}.}
Prodotti infiniti
[modifica | modifica wikitesto]Si può anche considerare il prodotto di un numero infinito di termini: nella notazione, si rimpiazza il limite superiore
n
{\displaystyle n}
con il simbolo di infinito (
∞
{\displaystyle \infty }
). Il prodotto di una tale serie è definito come il limite del prodotto dei primi
n
{\displaystyle n}
termini, al crescere di
n
{\displaystyle n}
. In formule,
-
∏
i
=
m
∞
x
i
=
lim
n
→
∞
∏
i
=
m
n
x
i
.
{\displaystyle \prod _{i=m}^{\infty }x_{i}=\lim _{n\to \infty }\prod _{i=m}^{n}x_{i}.}
In maniera analoga, si può rimpiazzare il limite inferiore
m
{\displaystyle m}
con l'infinito negativo:
-
∏
i
=
−
∞
n
x
i
=
lim
m
→
∞
∏
i
=
−
m
n
x
i
.
{\displaystyle \prod _{i=-\infty }^{n}x_{i}=\lim _{m\to \infty }\prod _{i=-m}^{n}x_{i}.}
Infine, è possibile considerare limiti inferiori e superiori infiniti:
-
∏
i
=
−
∞
∞
x
i
=
∏
i
=
−
∞
−
1
x
i
⋅
∏
i
=
0
∞
x
i
.
{\displaystyle \prod _{i=-\infty }^{\infty }x_{i}=\prod _{i=-\infty }^{-1}x_{i}\cdot \prod _{i=0}^{\infty }x_{i}.}
Tutti i prodotti sopra descritti sono definiti se lo sono i rispettivi limiti.
Identità notevoli
[modifica | modifica wikitesto]-
π
2
=
∏
n
=
1
∞
(
2
n
)
(
2
n
)
(
2
n
−
1
)
(
2
n
+
1
)
=
2
1
⋅
2
3
⋅
4
3
⋅
4
5
⋅
6
5
⋅
6
7
⋅
8
7
⋅
8
9
⋯
;
{\displaystyle {\frac {\pi }{2}}=\prod _{n=1}^{\infty }{\frac {(2n)(2n)}{(2n-1)(2n+1)}}={\frac {2}{1}}\cdot {\frac {2}{3}}\cdot {\frac {4}{3}}\cdot {\frac {4}{5}}\cdot {\frac {6}{5}}\cdot {\frac {6}{7}}\cdot {\frac {8}{7}}\cdot {\frac {8}{9}}\cdots ;}
-
π
2
=
∏
n
=
1
∞
(
2
n
)
(
2
n
)
(
2
n
−
1
)
(
2
n
+
1
)
=
2
1
⋅
2
3
⋅
4
3
⋅
4
5
⋅
6
5
⋅
6
7
⋅
8
7
⋅
8
9
⋯
;
{\displaystyle {\frac {\pi }{2}}=\prod _{n=1}^{\infty }{\frac {(2n)(2n)}{(2n-1)(2n+1)}}={\frac {2}{1}}\cdot {\frac {2}{3}}\cdot {\frac {4}{3}}\cdot {\frac {4}{5}}\cdot {\frac {6}{5}}\cdot {\frac {6}{7}}\cdot {\frac {8}{7}}\cdot {\frac {8}{9}}\cdots ;}
-
ζ
(
s
)
=
∏
p
p
r
i
m
o
1
1
−
p
−
s
;
{\displaystyle \zeta (s)=\prod _{p\,\mathrm {primo} }{\frac {1}{1-p^{-s}}};}
-
ζ
(
s
)
=
∏
p
p
r
i
m
o
1
1
−
p
−
s
;
{\displaystyle \zeta (s)=\prod _{p\,\mathrm {primo} }{\frac {1}{1-p^{-s}}};}
-
Γ
(
z
)
=
e
−
γ
z
z
∏
n
=
1
∞
(
1
+
z
n
)
−
1
e
z
/
n
.
{\displaystyle \Gamma (z)={\frac {e^{-\gamma z}}{z}}\prod _{n=1}^{\infty }\left(1+{\frac {z}{n}}\right)^{-1}e^{z/n}.}
-
Γ
(
z
)
=
e
−
γ
z
z
∏
n
=
1
∞
(
1
+
z
n
)
−
1
e
z
/
n
.
{\displaystyle \Gamma (z)={\frac {e^{-\gamma z}}{z}}\prod _{n=1}^{\infty }\left(1+{\frac {z}{n}}\right)^{-1}e^{z/n}.}
Utilizzo della notazione
[modifica | modifica wikitesto]Sebbene il simbolo di produttoria rappresenti una lettera pi greca maiuscola, la codifica Unicode prevede un apposito simbolo per esso, alla posizione U+220F (∏), distinto da U+03A0 (Π), che rappresenta la lettera Pi. In LaTex, il simbolo di produttoria viene normalmente riprodotto con il comando \prod.
Oltre che per l'usuale prodotto tra numeri, il simbolo di produttoria può essere utilizzato anche per indicare altre operazioni matematiche con proprietà simili, come il prodotto cartesiano tra insiemi.
Note
[modifica | modifica wikitesto]- ^ PRODUTTORIA, su youmath.it. URL consultato il 16 maggio 2025.
Voci correlate
[modifica | modifica wikitesto]| Simboli matematici | ||
|---|---|---|
| Segni aritmetici | segno + · segno ± · segno − · segno × · segni : e ÷ · segno potenza · segno √ · segno % · segno ‰ | |
| Uguaglianza e disuguaglianza | segno = · segno ≠ · segno ≡ · segno ≈ · segno > · segno < · segno ≥ · segno ≤ | |
| Segni di insiemistica | segno ∈ · segno ∅ · segno ∩ · segno ∪ · segni ⊂ e ⊆ · segni ⊃ e ⊇ | |
| Segni di logica matematica | segno ∧ · segno ∨ · segno ¬ · segno → · segno ↔ · segno : | |
| Segni di geometria | segno ⊥ · segno // | |
| Segni vari | simbolo ∏ · simbolo ∑ · simbolo ∞ · Simbolo ! · simbolo ∃ · simbolo ∀ · segno | · Parentesi | |
