EL PROBLEMA DEL REA.

INTEGRAL
DEFINIDA
En geometra elemental se deducen frmulas para las rea de muchas figuras
planas, pero un poco de reflexin hace ver que raramente se da una definicin
aceptable de rea, el rea de una regin se define a veces como el nmero de
cuadrados de lado unidad que caben en una regin, pero por ejemplo el crculo
de radio unidad tiene por rea el nmero irracional pero no est claro cual es
el significado de cuadrados.
En general se tiene la percepcin intuitiva de que una regin contenida dentro
de una curva cerrada posee un "rea" la cual mide el nmero de unidades
cuadradas dentro de la curva. Las propiedades bsicas del rea que la intuicin
sugiere son:
El rea es un nmero (positivo, dependiente de la eleccin de la unidad
de longitud.
Este nmero es el mismo para figuras congruentes.
Para todos los rectngulos es el producto de las longitudes de los lados
adyacentes.
Para una regin descompuesta en secciones el rea total es igual a la
suma de las reas de las secciones..
Una consecuencia inmediata es el hecho de que: para una regin A que es
parte de una regin B el rea de A no puede ser mayor que el rea de B.
Estas propiedades permiten el clculo directo del rea de cualquier figura que
pueda ser descompuesta en un nmero finito de rectngulos. Ms
generalmente para asignar un valor S al rea de una regin R (zona azul y
roja) consideramos otras dos regiones R (inscrita zona azul))
y R (circunscrita, zona azul ms roja ms amarilla) de
reas S y S respectivamente y que se pueden descomponer en rectngulos
donde R contiene a R y R est contenido en R . Se sabe al menos
que S<S<S. El valor de S quedar completamente determinado si se
encuentran sucesiones de regiones circunscritas y regiones inscritas que
puedan ambas descomponerse en rectngulos y tales que las
reas y tengan el mismo lmite cuando n tiende a infinito. Esto es
remontndonos a la antigedad, el mtodo de exhaucin y el cual es usado en
geometra elemental para el rea de un circulo. La formulacin precisa de esta
idea, nos conduce ahora a la nocin de integral.

La nocin analtica de integral surge cuando se asocian reas con funciones:
considrese el rea de una regin acotada por el eje horizontal, las rectas x
=a , x = b y la grfica de la funcin f tal que para todo x de [a,b]. Estas
regiones las denotamos por R(f, a, b) e incluyen rectngulos (figura 2)

El nmero que asignamos como rea de R(f, a, b) lo llamamos eventualmente
integral de f

sobre [a,b]. En realidad la integral se define tambin para funciones que no
satisfacen la condicin para todo x de [a,b]. Si f es la funcin dibujada
en la figura 3, la integral representar la diferencia entre las reas de las
regiones sombreadas en azul claro y de sombreado en amarillo (rea
"algebraica" de R(f, a, b))
La idea que ampara la definicin que vamos a dar se indica en la figura 4. El
intervalo [a,b] se ha dividido en cuatro subintervalos [t
0
, t
1
] [t
1
, t
2
] [t
2
, t
3
] [t
3
,
t
4
] por medio de los nmeros t
0
, t
1
, t
2
, t
3
, t
4
con a = t
0
< t
1
< t
2
< t
3
< t
4
=
b (la numeracin empieza por 0 de modo que subndice ms grande indica el
nmero de subintervalos).
Sobre el primer intervalo [t
0
, t
1
] la funcin f tiene el valor mnimo m
1
y el
valor mximo M
1
; anlogamente, sea m
i
el valor mnimo y M
i
el valor mximo
de f sobre el intervalo i-simo [t
i-1
, t
i
]. La
suma representa el rea total
de los rectngulo que quedan dentro de la regin R(f, a, b) (los coloreados de
azul), mientras que la suma:

representa el rea total de los rectngulo que contienen a la regin R(f, a,
b) (rectngulos de color azul ms rojo). El principio que nos va a guiar en
nuestro intento de definir el rea de A R(f, a, b) ser la observacin de
que A debe satisfacer y que esto debe ser verdad, cualquiera que
sea la divisin que se haga del intervalo [a, b]. es de esperar que determinen
A



DEFINICIN DE PARTICIN:
Sea a<b. recibe el nombre de particin del intervalo [a, b] todo conjunto finito
de puntos {t
0
, t
1
, t
2
, ........t
n-1
, t
n
} de [a, b] de forma que uno de ellos coincide
con a y otro con b, a = t
0
< t
1
< ......... < t
n-1
< t
n
= b

DEFINICIN DE SUMA INFERIOR Y SUPERIOR:
Sea f una funcin acotada en el intervalo [a , b] y P = {t
0
, t
1
, t
2
, ....... t
n
} una
particin del intervalo [a , b].
Sea y
Se define la suma inferior de f para P como:

Se define la suma superior de f para P como:


Las sumas inferiores y superiores se corresponden con las sumas s y S,
respectivamente, del ejemplo anterior; se supone que representan las totales de
los rectngulo que quedan por debajo y por encima de la grfica de f., no
obstante estas sumas han sido definidas sin recurrir al concepto de rea.
Hay que tener en cuenta dos cosas:
La condicin de que f est acotada en el intervalo [a , b] es fundamental
para que los m
i
y M
i
queden definidos.
Los m
i
y M
i
han sido definidos como nfimos y supremos, y no como
mnimos y mximos, ya que no se le ha exigido a f que sea continua.
Evidentemente si P una particin cualquiera pues por la forman
en que estn definidas cada una de ellas se tiene que
.
Lo que ya no es tan evidente es que si P
1
y P
2
son dos particiones cualesquiera
de [a,b] se cumpla: ya que debera de
cumplirse . A continuacin trataremos de
demostrar que basndonos en el comportamiento de las
sumas inferiores y superiores al aadir ms puntos a una particin. En la
figura 5 la particin P contiene los puntos de color rojo y la
particin Q contiene los puntos de color rojo y los puntos de color verde.
Segn esta figura los rectngulos de la particin Q (color azul ms amarillo)
constituyen una aproximacin mejor a la regin R(f, a, b) que los
correspondientes a la particin P (rectngulos de color azul).

En consecuencia podremos enunciar el siguiente.

LEMA:
Si la particin Q contiene a la particin P (es decir todos los puntos de P estn
en Q), entonces:

DEMOSTRACIN:
Consideremos primeramente el caso especial en el que la particin Q contiene
exactamente un punto ms que la P (figura 6)

siendo

Sea

Tenemos que




Sean los
conjuntos
y teniendo en cuenta que necesariamente se tiene
que de la misma forma por lo tanto de
estas desigualdades, y tendiendo en cuenta que solamente se
diferencian en los sumandos:
m
k
(t
k
- t
k-1
) y m(u - t
k-1
) + m(t
k
- u),

(pues
) lo que demuestra que .
Anlogamente las sumas superiores solamente se diferencia en
el sumando M
k
(t
k
- t
k-1
) y y como se
tiene que: , por lo
tanto
En el caso general de que Q contiene a P, la particin Q puede obtenerse
fcilmente de la P aadiendo un punto cada vez y obtenido as una sucesin
de particiones P = P
1
, P
2
,.......P
n
= Qen la que P
k
contiene exactamente un
punto mas que P
k-1
por lo tanto:


C.C.Q.D.

TEOREMA 1:
Sean P
1
y P
2
dos particiones del intervalo [a , b], y sea f una funcin acotada
sobre [a,b]. entonces:

DEMOSTRACIN:
Tomemos un particin P de [a , b] que contenga a la vez a P
1
y P
2
, podra
ser Como consecuencia del lema anterior al contener P todos los
puntos de P
1
y P
2
se tiene que:
C.C.Q.D.
Por P [a , b] denotamos el conjunto de todas las particiones de [a , b]
Como esto es vlido para toda particin de [a , b] se tiene que cualquier suma
superior es cota superior del conjunto , por lo tanto:
para toda particin P, en
consecuencia es una cota inferior del conjunto de
todas las sumas superiores de f por lo
tanto .
Est claro que:

y

para cualquier particin P
Puede ocurrir que

en cuyo caso este sera el nico nmero comprendido entre la suma inferior y
la suma superior de f para todas las particiones y este nmero podra se ideal
para el rea de R(f, a, b). Pero por el contrario
si entonces todo
nmero x comprendido entres ellos verifica para todas las
particiones P.
Los dos ejemplos siguientes ponen de manifiesto que son posibles los dos
casos:

EJEMPLO 1: Sea f(x) = c y P = {t
0
, t
1
,......, t
n
} una particin del
intervalo [a , b], entonces c = m
i
= M
i
y se tiene:

por lo tanto en este caso

EJEMPLO 2: Consideremos ahora la funcin f definida por:

Si P = {t
0
, t
1
,......, t
n
} es una particin cualquiera, entonces m
i
= 0 pues en [t
i-
1
, t
i
] hay algn irracional y M
i
= 1 pues en [t
i-1
, t
i
] hay algn racional. Por lo
tanto se tiene que:

Por lo tanto en este caso tenemos que:

y segn esto cualquier nmero comprendido entre 0 y b - a podra ir igual de
bien para el rea de R(f, a, b) por lo que se ests justificado no asignarle rea
alguno. De hecho, cuando no se le asignar
rea a la regin.

DEFINICIN DE FUNCIN INTEGRABLE:
Una funcin f acotada sobre [a, b] es integrable sobre [a, b] cuando se
verifique:

A este nmero se le llama integral de f sobre [a, b] y se denota por
(El smbolo recibe el nombre de signo integral en su origen era una s
alargada, por "suma"; los nmeros a y b reciben el nombre de limites de
integracin inferior y superior). La integra recibe el nombre de rea
de R(f, a, b) cuando para todo x de [a, b]

Segn la definicin si f es integrable .
Adems es el nico nmero que cumple esta propiedad.
Esta definicin prepara, pero no resuelve, el problema planteado: no sabemos
cules funciones son integrables (ni tampoco sabemos cmo hallar la integral
de f sobre [a , b] cuando f es integrable).

TEOREMA 2:
Si f es una funcin acotada sobre [a , b], se tiene que f es integrable sobre [a ,
b] si y slo si, pata todo existe una particin P de [a , b] tal que:

DEMOSTRACIN:
Supongamos en primer lugar que para todo existe un particin P de
forma que teniendo en cuenta que para cualquier
particin P se tiene que y tendremos
que:
y
como esto es vlido para cualquier positivo se deduce
que luegof es integrable.
Recprocamente, supongamos ahora que f es integrable,
luego , sea un positivo cualquiera, entonces
existirn al menos dos particiones P
1
y P
2
tales que:


Sumando estas dos expresiones y tendiendo en cuenta
que se tiene que . Consideremos
ahora la particin se tendr que:
, de donde se deduce:
.
Con lo que queda demostrado que para todo positivo existe puna
particin P tal que
C.C.Q.D.

En realidad este teorema equivale solamente a expresar de otro modo la
definicin de integrabilidad, pero tal vez sea una expresin ms sencilla, pues
en ella no intervienen el supremo ni el nfimo que no siempre son fciles de
manejar.

CLASES DE FUNCIONES INTEGRABLES:

TEOREMA 3:
Si f es una funcin montona en [a , b], entonces es integrable sobre [a , b].
DEMOSTRACIN:

En primer lugar supongamos que f es no decreciente. Tomemos y
tomemos un n de forma que con lo que se tiene
que . Tomemos a continuacin una
particin de forma que los n n intervalos resultantes [t
r-1
, t
r
]
sean todos de la misma longitud (esta ser ).
Se tiene que:


Luego como para todo hemos encontrado una particin P tal que:
, por el teorema 2 se tiene que f es integrable.

TEOREMA 4:
Toda funcin continua en [a , b] es integrable en [a , b].
DEMOSTRACIN:
Por se f continua en un cerrado y acotado (compacto) es uniformemente
continua, luego existe un tal que . Tomemos
el valor particular de para este valor existir el tal que
si entonces
Tomemos un nmero natural n de forma que con lo que .
Consideremos la particin P={t
0
, t
1
, .............t
n
}de [a , b] de manera que el
intervalo quede dividido en n (la longitud de cada parte ser entonces
)partes iguales. Siempre podremos tomar puntos x , y del intervalo (t
i-1
,t
i
) de
forma que:
*
evidentemente luego se tiene que para estos x,
y
por * se tiene que

Por lo tanto

Luego como hemos encontrado una particin que cumple se
tiene que f es integrable
C.C.Q.D.

PROPI EDADES BSI CAS DE LA INTEGRAL DE RI EMAN:

lema. Si A y B son dos subconjuntos de R y . Se define :

Entonces



TEOREMA 5:
Sea a<c<b. Si f es integrable sobre [a, b], entonces f es integrable sobre [a, c]
y [c, b]. Recprocamente, si f es integrable sobre [a, c] y sobre [c, b],
entonces f es integrable sobre [a, b]. Finalmente, si f es integrable sobre [a, b],
entonces:

DEMOSTRACIN
Supongamos en primer lugar que f es integrable sobre [a, b]. Si , existe
una particin P = {t
0
, t
1
, ..............t
n
} de [a, b] tal que: . Se
puede suponer que c = t
j
para algn j, en otro caso se puede tomar la
particin con lo que:


.
Consideremos ahora la particin P = {t
0
, t
1
,. t
j
} de [a, c] y la
particin P={t
j
, ..t
n
} de [c, b]. Entonces como:

Se tiene que:


Como cada uno de estos sumandos es positivo, se tiene que sern menores
que , luego hemos encontrado para todo valor de una particin P de [a, c] y
otra P de [c, b] tal que y Por lo
tanto f es integrable sobre [a, c] y sobre [c, b].
Adems como toda particin P de [a, b], se puede poner la
forma siendo P una particin de [a, c] y P una particin de [c, b]
y


Sumando, tendremos que Como esto ocurre para
toda particin P de [a, b] y dado que es el nico nmero que verifica esta
condicin, se tiene que .

Supongamos ahora que f es integrable sobre [a, c] y sobre [c, b]. Dado
un existir una particin P de [a, c] y otra P de [c, b] de modo que:
.
Sea P una particin que contiene a ambas, por ejemplo , se tiene
que :

.
Por lo tanto f es integrable sobre [a, b]

Ahora se define

TEOREMA 6:

Si f y g son integrables sobre [a, b], entonces f + g es integrable sobre [a, b] y

DEMOSTRACIN:
Sea P = {t
0
, t
1
,........t
n
} una particin de [a, b]. Sea:


y de la misma forma se define M
i
, M
i
, M
i
. Segn el lema, tenemos
que y .
Por tanto para toda particin P de [a, b] se tiene que:

y

De lo que se deduce que para toda particin P de [a, b]
. As pues

Como f y g son integrables, existirn particiones P y P de [a, b] tales que:

Consideremos una particin P, que contenga a P y a P, por
ejemplo . Para esta particin tendremos que:

Por lo tanto f + g es integrable.
Adems:

Luego (1)
Anlogamente:


Luego (2). De (1) y (2) se deduce la igualdad

PROPI EDADES BSI CAS DE LA INTEGRAL DE RI EMAN:

lema. Si A y B son dos subconjuntos de R y . Se define :

Entonces



TEOREMA 5:
Sea a<c<b. Si f es integrable sobre [a, b], entonces f es integrable sobre [a, c]
y [c, b]. Recprocamente, si f es integrable sobre [a, c] y sobre [c, b],
entonces f es integrable sobre [a, b]. Finalmente, si f es integrable sobre [a, b],
entonces:

DEMOSTRACIN
Supongamos en primer lugar que f es integrable sobre [a, b]. Si , existe
una particin P = {t
0
, t
1
, ..............t
n
} de [a, b] tal que: . Se
puede suponer que c = t
j
para algn j, en otro caso se puede tomar la
particin con lo que:


.
Consideremos ahora la particin P = {t
0
, t
1
,. t
j
} de [a, c] y la
particin P={t
j
, ..t
n
} de [c, b]. Entonces como:

Se tiene que:


Como cada uno de estos sumandos es positivo, se tiene que sern menores
que , luego hemos encontrado para todo valor de una particin P de [a, c]
y otra P de [c, b] tal que y Por lo
tanto f es integrable sobre [a, c] y sobre [c, b].
Adems como toda particin P de [a, b], se puede poner la
forma siendo P una particin de [a, c] y P una particin de [c, b]
y


Sumando, tendremos que Como esto ocurre para
toda particin P de [a, b] y dado que es el nico nmero que verifica esta
condicin, se tiene que .

Supongamos ahora que f es integrable sobre [a, c] y sobre [c, b]. Dado
un existir una particin P de [a, c] y otra P de [c, b] de modo que:
.
Sea P una particin que contiene a ambas, por ejemplo , se tiene
que :

.
Por lo tanto f es integrable sobre [a, b]

Ahora se define

TEOREMA 6:

Si f y g son integrables sobre [a, b], entonces f + g es integrable sobre [a, b] y

DEMOSTRACIN:
Sea P = {t
0
, t
1
,........t
n
} una particin de [a, b]. Sea:


y de la misma forma se define M
i
, M
i
, M
i
. Segn el lema, tenemos
que y .
Por tanto para toda particin P de [a, b] se tiene que:

y

De lo que se deduce que para toda particin P de [a, b]
. As pues

Como f y g son integrables, existirn particiones P y P de [a, b] tales que:

Consideremos una particin P, que contenga a P y a P, por
ejemplo . Para esta particin tendremos que:

Por lo tanto f + g es integrable.
Adems:

Luego (1)
Anlogamente:


Luego (2). De (1) y (2) se deduce la igualdad