Analisi complessa/Integrale di Riemann

Ricordiamo per cominciare la definizione dell'integrale

di Riemann, oltre a qualche teorema. Ci limiteremo ad integrali su intervalli di $R^{1}$ .

Definzione 4.1.1.Sia dato un intervallo $[a,b]$, con$a\leq b\in R$. Si definisce partizione di $[a,b]$ un insieme $P$ finito di punti tali che

$a=x_{0}\leq x_{1}\leq \ldots \leq x_{n}-1\leq x_{n}=b$

Scriveremo inoltre $\Delta x_{i}=x_{1}-x_{i}-1$. Se ora $f$ e' una funzione reale limitata definita su $[a,b]$ , e $P$ una partizione di $[a,b]$ poniamo

$M_{i}=\sup _{x_{i}-1\leq x\leq x_{i}}f(x)\qquad m_{i}=\inf _{x_{i}-1\leq x\leq x_{i}}f(x)\qquad$ $U(P,f)=\sum _{i=1}^{n}M_{i}\Delta x_{i}\qquad L(P,f)=\sum _{i=1}^{n}m_{i}\Delta x_{i}$${\overline {\int _{a}^{b}}}fdx=\inf U(P,f){\underline {\int _{a}^{b}}}fdx=\sup L(P,f)$

dove $\inf$ e $\sup$ sono calcolati al variare di tutte le partizioni di $[a,b]$ , e i due integrali si dicono rispettivamente integrale di Riemann superiore e inferiore.

Se i due integrali sono uguali, $f$ si dice Riemann-integrabile ( $f\in {\mathcal {R}}([a,b])$ ), e definiamo l'integrale di Riemann di $f$ su $[a,b]$ il valore comune dei due integrali,

$\int _{a}^{b}fdx={\overline {\int _{a}^{b}}}f,dx={\underline {\int _{a}^{b}}}fdx$

Osserviamo che, dato che ogni funzione limitata esistono $m,M\in R$ tali che $m\leq f(x)\leq M$ per ogni $x\in [a,b]$ , $m(b-a)\leq L(P,f)\leq U(P,f)\leq M(b-a)$ gli integrali di Riemann superiori ed inferiore sono definiti, anche se non e' detto che abbiano lo stesso valore.

$f\in {\mathcal {R}}([a,b])$ se e solo se per ogni $\epsilon >0$ esiste una partizione $P$ tale che $U(P,f)-L(P,f)<\epsilon$

Se tale condizione e' verificata per la partizione $P={x_{0},x_{1},\ldots ,x_{n}}$ e $t_{i}\in [x_{i}-1,x_{i}]$ allora

$|\sum _{i=1}^{n}f(t_{i})\Delta x_{i}-\int _{a}^{b}fdx|<\epsilon .]$