Sabiendo esto, vamos a llamar sumas superiores de una función `f' en una partición P (S (f, P))= "k=1n
MkøIkø y del mismo modo, llamaremos sumas inferiores de una función `f' en una partición P a (s (f, P))=
"k=1nmkøIkø
Propiedades de las sumas:
s(f, P) " S(f, P) "P"!([a, b])·
La demostración es muy sencilla ya que es simplemente por interpretación geométrica, øIkø es común y lo
que cambia es Mk ó mk.
P " P'; si tomamos una partición más fina:·
s(f, P) " s(f, P'); las sumas inferiores crecen.·
S(f, P) " S(f, P'); las sumas superiores decrecen.·
Esto es debido a que sí para obtener P' añadimos puntos, si hallamos las sumas inferiores, estas se van
agrandando y del mismo modo, las sumas superiores van decreciendo.
Esta es la base de la Integración tomando partes infinitas.
Si P1 y P2, son particiones no comparables, es decir, no tienen los mismos puntos, entonces: s(f, P1) " S(f,
P2)
·
5.2.3. Integrales superior e inferior.
Sea A={s (f, P) / P"!([a, b])} = conjunto finito " 0, entonces tomando todas las particiones del intervalo,
haciendo las sumas inferiores y sabiendo que están acotadas superiormente; tenemos un conjunto de
números"!, acotado y distinto del vacío, en el que "sup (A)= I = Integral inferior de f en [a, b].
Del mismo modo, sea B={S (f, P) / P"!([a, b])} = conjunto finito " 0, entonces tomando todas las particiones
del intervalo, haciendo las sumas superiores y sabiendo que están acotadas inferiormente; tenemos un
conjunto de números"!, acotado y distinto del vacío, en el que "inf (A)= I = Integral superior de f en [a, b].
5.2.4. Integral de una función acotada.
Definición: Sea f:[a, b] ! !, f acotada, donde tenemos P, una partición de [a, b] con mk; Mk; S(f, P); s(f, P), I ;
I , todo ello definido, diremos que existe la integral de Riemann sii:
I = I = ab f= ab f(x) dx ! Integral de Riemann en [a, b]
Ejemplos: Probar que la función constante es integrable:
f(x) =c en [a, b]
mk = c "k
S(f, P)= "1n MkøIkø= c"øIkø= c(b - a)
s(f, P)= "1n mkøIkø= c"øIkø= c(b - a)
Luego I = c(b - a); I = c(b - a); I = I ! la función es integrable y vale: I= ab c dx = c(b-a)
83