Evidentemente, no podemos usar funciones que no estn

acotadas

para elaborar sumas riemannianas puesto que,

en general, van a diverger, es decir, el lmite de las sumas
va a crecer sin tope, va a tender a infinito. Sin embargo,
hay una clase importante de funciones acotadas que no tie-
nen medida asociada

puesto que las sumas riemannianas

tambin divergen. Una de ellas es la conocida funcin de
Dirichlet*, que asumiremos definida en :
La funcin, discontinua en cada uno de sus puntos, tiene
una presentacin muy simple, una nube lineal de puntos
al nivel , otra nube, igual de densa** que la anterior, al
nivel . Lo interesante ocurre al construir la suma rieman-
niana asociada. Los puntos representantes de los subin-
tervalos podran ser racionales o irracionales, y esto
implica que la diferencia entre sus resultados es demasiado
amplia, sin importar la cantidad de subintervalos de la par-
ticin.
En el caso de escoger representantes racionales ,
la suma da . Si los representantes son irra-
16
funcin
acumulacin
Como la funcin definida en dada por
que llega a tomar valores desmesurados a medida que est ms prxima a .
De las que se ha ocupado el rea del Anlisis conocida como Teora de la Medida.
* Es interesante la representacin analtica de la funcin de Dirichlet
** Como vimos, racionales e irracionales estn por todas partes (en cualquier intervalo, por
ms pequeo que sea), pero la cantidad de irracionales que iguala a la cantidad de todo
es de una categora de infinito mayor que la cantidad de racionales que iguala a la can-
tidad de los nmeros naturales.
sobre todas las particiones (con subintervalos cada vez ms
pequeos) y todas las elecciones de representantes asocia-
das. Lo que, en definitiva, muestra que el lmite no existe.
Sin embargo, una funcin acotada en que
sea riemann integrable, tambin lo ser en cualquier inter-
valo que est contenido en . En particular, para
cualquier del intervalo , va a existir la suma rieman-
niana del intervalo . En otras palabras, a partir de una
funcin integrable en , tenemos asociada otra fun-
cin , llamada funcin acumulacin o funcin integral,
definida por
donde . Al igual que ocurra con la derivacin, es-
tamos ante un operador de funciones.
Como consecuencia de la misma definicin de inte-
gral de Riemann, tenemos la propiedad de aditividad de do-
minios que, de manera simple, podemos expresarla
mediante
Adems, por convenio, definimos

A continuacin enunciamos cmo la integral de Rie-

mann se comporta con las operaciones algebraicas

. Dadas
dos funciones , integrables en , se tiene:
(Linealidad) y son integrables, y
cionales, la suma da . De modo que hay dos
tendencias, hacia y hacia , al estudiar la convergencia
En general, no se cumple que la composicin de funciones integrables sea integrable.
De donde obtenemos que
El producto es integrable. (Aunque, no hay
manera de expresar est integral en relacin a las integra-
les de y .)
Si, para cierto , se da para cual-
quier , entonces es (acotada e) integrable, como tambin
lo es el cociente . (La misma observacin que con el pro-
ducto.)
Finalmente, enunciamos cmo la integral de Rie-
mann se comporta con las relaciones de orden:
Si para todo , entonces
La funcin tambin es integrable y
A pesar de todo lo discutido, no hemos hablado de
las condiciones que involucren las nociones del anlisis
ya consideradas para que se de la integrabilidad. Este es
un problema difcil

, y slo vamos a mencionar dos clases

importantes de funciones que s son integrables:
a) las funciones continuas, y
b) las funciones montonas

.
En este sentido, casi todas las funciones que hemos tra-
tado en este nivel del clculo hay que ver si estn acota-
das, al ser continuas, son integrables, aunque no haya,
por el momento, una manera directa de establecer la me-
dida que da la integral.
Remarca: La integrabilidad de una funcin acotada est ntimamente relacionada con la
naturaleza del conjunto de puntos de discontinuidad de la funcin.
Crecientes, decrecientes, no-decrecientes, o, no-crecientes.