Cap1 Notas Calc IV

Captulo 1
Integral de Riemann
1.1 Los primeros pasos
Del mismo modo que para el caso real, el concepto de integral de Riemann
1
de funciones de varias
variables (y valores reales), encuentra su motivaci on en problemas de diversa ndole. Por ejemplo,
sup ongase que se tiene una lamina de metal cuyo grosor no es homogeneo. Supongamos que tenemos
la suerte de contar con una funci on que nos dice cual es la densidad de la l amina en cada uno
de sus puntos (es decir, una funci on que en cada punto P de la l amina nos asocia un n umero
real (P) que nos indica la cantidad de masa (por unidad de area) contenida alrededor de dicho
punto). La pregunta sera entonces: como, a partir de esta funci on , podramos saber la masa
total de la l amina? Supongamos por ahora que la l amina tiene la forma de un rect angulo R (vease
la gura 1.1).
R
i
p
i
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
Figura 1.1: Lamina rectangular
Si a este rectangulo R lo subdividimos en rect angulos mas peque nos, R
1
, . . . , R
k
y en cada uno de
estos subrectangulos escogemos cualesquiera puntos p
1
, . . . , p
k
, entonces el producto (p
i
) area(R
i
)
nos dara un valor aproximado de la cantidad de masa contenida en el pedazo de l amina representado
por el subrect angulo R
i
(observese que en terminos de unidades, todo est a bien, ya que la densidad
se mide en unidades de masa por (o sobre) unidades de area, que al multiplicarlas por el area de R
i
,
obtenemos unidades de masa). As, una aproximaci on a la masa total de la l amina (representada
por el rect angulo R) estara dada por
k
i=1
(p
i
) area(R
i
) (1.1)
1
Georg Friedrich Bernhard Riemann (17 de septiembre de 1826 - 20 de junio de 1866) fue un matematico aleman
que realizo contribuciones muy importantes en analisis y geometra diferencial.
1
Captulo 1. Integral de Riemann 1.1. Los primeros pasos
Es un hecho claro que, si los subrect angulos en los que subdividimos al rect angulo R son cada vez
mas peque nos, las diferentes sumas que obtenemos se aproximan mejor a la masa de la lamina.
Es decir, es intuitivamente claro que estas sumas deben aproximarse (en la medida en que nuestra
subdivisi on sea cada vez mas na) a un valor especco.
Si s olo pensamos a como una funci on que asigna valores positivos (independientemente de
que estos representen una densidad de masa), la expresi on 1.1 tiene un signicado geometrico muy
especco. Si nos jamos en la gr aca de la funci on (que en este caso es una supercie en R
3
ubicada por arriba del plano XY , como se muestra en la gura 1.2), la cantidad (p
i
) area(R
i
)
representa el volumen de un paraleleppedo cuya base es el rectangulo R
i
y altura (p
i
). As, la
suma de la expresion 1.1 tambien se puede interpretar como una aproximaci on al volumen que hay
por arriba del rect angulo R y por debajo de la gr aca de . En este sentido, podemos decir que, el
problema del c alculo de la masa total de nuestra l amina, se puede cambiar por el problema de
calcular el volumen de una cierta regi on. Este enfoque geometrico sera el que seguiremos de aqu
en adelante para dar un signicado m as preciso a las ideas expresadas en los parrafos anteriores.
R
R
i
Z
X
Y
p
i
(p
i
, (p
i
))
.....
.
.
.
..
..........................................
1
1
1
1
1
1
1
1
1
1
1
yy
~
~
~
~
~
~
~
~
~
~
~
GG
Figura 1.2: Funci on de densidad sobre R
i
Por tanto, el problema que abordaremos se podra resumir de la siguiente manera: si tenemos
1. R un rect angulo en R
n
2. f una funci on de valores reales que esta denida en R
3. R
1
, . . . , R
k
subrectangulos que se obtienen al subdividir a R y cualesquiera p
i
R
i
(i =
1, . . . , k)
existe un n umero, digamos I, tal que la suma de la forma
k
i=1
f(p
i
) area(R
i
)
se parece mucho a I? M as aun, si los rect angulos R
1
, . . . , R
k
son una subdivisi on m as na de
R, entonces la correspondiente suma se parece mas a I?
J. P aez 2
1.2. Construccion de la integral de Riemann Captulo 1. Integral de Riemann
1.2 Construcci on de la integral de Riemann
A n de construir una respuesta al problema planteado, precisaremos algunos de los terminos
que hemos venido utilizando.
Denicion 1.1 R es un rect angulo en R
n
si es un conjunto de la forma
R = [a
1
, b
1
] [a
n
, b
n
]
en donde cada [a
i
, b
i
] es un intervalo cerrado de n umeros reales. Al n umero
d(R) =
_
(b
1
a
1
)
2
+ + (b
n
a
n
)
2
lo llamaremos la diagonal de R, y al n umero
m(R) = (b
1
a
1
) . . . (b
n
a
n
)
se le llamar a la medida de R.
Notese que m(R) 0 y que en el caso de R
2
esta medida es el area de R, mientras que en R
3
coincide con ser el volumen de R.
Diremos que un rect angulo es no degenerado si m(R) > 0. Todos los rect angulos que conside-
remos de aqu en adelante ser an de este tipo, a menos que se indique lo contrario.
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
Figura 1.3: No-particiones
Existen muchas formas de subdividir a un rect angulo R, como las que se muestran en la gura
1.3. Sin embargo, para la construcci on que vamos a hacer, ser a suciente con que consideremos
a aquellas que se obtienen de hacer subdivisiones en cada uno de los intervalos [a
i
, b
i
], como se
muestra en la gura 1.4.
Denicion 1.2 Sea R = [a
1
, b
1
] [a
n
, b
n
]. Si T
i
es una partici on del intervalo [a
i
, b
i
]
(recuerdese que T
i
es entonces un subconjunto nito del intervalo [a
i
, b
i
] que incluye a los extremos
a
i
, b
i
) para cada i = 1, . . . , n, decimos que
T = T
1
T
n
es una partici on de R. Observese que T es un subconjunto nito de R, que consta de los vertices de
cada uno de los subrect angulos de R inducidos por T. A la partici on T
i
le llamaremos la i-esima
partici on coordenada de T. Denotaremos por P
R
al conjunto de todas las particiones del rect angulo
R.
3 J. P aez
Captulo 1. Integral de Riemann 1.2. Construcci on de la integral de Riemann
X
Y
|
a
1
|
b
1
a
2
b
2
| | | | | | |
GG
yy
X
Z
Y
a
1
a
2
a
3
b
3
b
2
b
1
+ + +
z
z
z
1
1
1

~
~
~

1
1
1
1
1
1

GG
yy
Figura 1.4: Particiones buenas
Hablando de particiones, que son a nal de cuentas las que nos permitir an hablar de las diferentes
subdivisiones que podemos hacer de un rect angulo R, cabe preguntarse: que relacion tendr a que
haber entre dos diferentes particiones de R de tal forma que podamos asegurar que la subdivisi on
inducida por una de ellas es m as na que la subdivisi on inducida por la otra? Esta idea queda
expresada en la siguiente denici on
Denicion 1.3 Sean T y Q dos particiones de R, con T = T
1
T
n
y Q = Q
1
Q
n
.
Decimos que Q rena a T si T
i
Q
i
para cada i = 1, . . . , n.
N otese que, de acuerdo a esta denici on, si Q rena a T entonces T Q y que lo recproco
tambien es cierto (armacion que se deja probar al lector como un problema).
La gura 1.5 muestra (para el caso de R
2
) que, en efecto, la subdivisi on inducida por una
partici on Q que rena a otra partici on T, es mas na que la subdivisi on inducida por T.
Dada una partici on T = T
1
T
n
, la partici on Q = (T
1
c) T
2
T
n
, donde
c [a
1
, b
1
]T
1
, es una de las particiones m as sencillas que renan a T. En particular, es importante
hacer notar que los subrectangulos inducidos por cada una de ellas son casi los mismos, salvo por
algunos subrect angulos de T, que se pueden poner como la uni on de dos de los subrect angulos
inducidos por esta Q (probar esta armaci on es mas un problema de notaci on que de otra ndole)
(ver gura 1.6).
J. P aez 4
X
Y
|
a
1
|
b
1
a
2
b
2
| | | | |
GG
yy
X
Y
|
a
1
|
b
1
a
2
b
2
| | | | |
GG
yy
Figura 1.5: Una partici on y un renamiento de ella
Destacar la relacion que hay entre estas dos particiones tiene como objetivo mostrar que, si
Q = Q
1
Q
n
es cualquier otra partici on que rena a T, entonces podemos construir una
sucesion nita de particiones Q
(0)
, . . . , Q
(m)
tales que T = Q
(0)
, Q = Q
(m)
y con la propiedad
adicional de que la partici on Q
(i)
solo tiene un punto m as, en alguna de sus particiones coordenadas,
que Q
(i1)
(para i = 1, . . . , m). As, de acuerdo a lo que observamos en el p arrafo anterior, los
subrectangulos inducidos por la partici on Q
(i1)
son casi los mismos, salvo por algunos, que se
pueden poner como la uni on de dos subrect angulos inducidos por la partici on Q
(i)
. Como esto es
v alido para toda i = 1, . . . , m, podemos concluir que cada uno de los subrect angulos inducidos por
la partici on T es la uni on de algunos de los subrect angulos inducidos por Q, propiedad que con
frecuencia usaremos.
X
Y
|
a
1
|
b
1
a
2
b
2
| |
c
| | |
GG
yy
X
Y
|
a
1
|
b
1
a
2
b
2
| |
c
| | |
GG
yy
Figura 1.6: Si Q rena a T los subrectangulos inducidos por T son la uni on de subrectangulos
inducidos por Q
Note que, para obtener esta sucesi on, bastara empezar haciendo Q
(0)
= T; Q
(1)
= (T
1
c)
T
2
T
n
donde c Q
1
T
1
; Q
(2)
= (T
1
c, d) T
2
T
n
donde d Q
1
(T
1
c), y
as sucesivamente, hasta agotar todos los puntos de Q
1
que no estan en T
1
, para despues hacer un
proceso an alogo con todos los puntos de Q
2
que no estan en T
2
, y una vez agotados estos, continuar
con el mismo procedimiento para el resto de las particiones coordenadas.
5 J. P aez
En general, dadas dos particiones T y Q de un rect angulo R, no necesariamente existe una
relacion de renamiento entre ellas. Sin embargo, es posible construir una tercera partici on que
rene a ambas; la denotaremos por T Q y si T = T
1
T
n
y Q = Q
1
Q
n
entonces
T Q = (T
1
Q
1
) (T
n
Q
n
)
(Notese el smbolo especial de uni on que usamos, en virtud de que T Q no coincide con T Q)
(ver gura 1.7).
T
X
Y
|
a
1
|
b
1
a
2
b
2
| |

GG
yy
Q
X
Y
|
a
1
|
b
1
a
2
b
2
|

GG
yy
T
Q
X
Y
|
a
1
|
b
1
a
2
b
2
| | |

GG
yy
T
Q
X
Y
|
a
1
|
b
1
a
2
b
2
| | |

GG
yy
Figura 1.7: T Q no coincide con T Q
Una vez que hemos precisado estos conceptos, el siguiente paso consistira en construir sumas
como las que aparecen en 1.1. Para ello, supondremos que tenemos una cierta funci on f, que esta
denida en R, y que toma valores reales. Es importante destacar que para construir sumas como las
de 1.1 (que a partir de este momento empezaremos a llamar por su nombre: sumas de Riemann),
ademas de contar con una partici on T de R (que induce una subdivisi on de R), tambien tenemos
que hacer una eleccion de un punto en cada uno de los subrect angulos inducidos por dicha partici on.
As pues, por cada particion T, podemos obtener una innidad de sumas de Riemann (tantas como
formas diferentes haya de elegir dichos puntos). Veremos que no se necesita hacer tanto.
En realidad, por cada partici on T de R solo vamos a construir un par de sumas. Si, (como
dijimos anteriormente y para el caso de R
2
), nuestro problema se puede ver como el c alculo de
un volumen (el que est a por debajo de la gr aca de f), para alcanzar dicho volumen bastara
entonces con tomar sumas de Riemann, solo que en lugar de evaluar a la funci on f en alg un punto
del subrect angulo R
i
, sera suciente con tomar el mnimo valor de f sobre dicho subrect angulo.
Como podra suponerse, el otro tipo se sumas que vamos a tomar en cuenta seran aquellas en las
que, en lugar de tomar el valor mnimo, tomaremos el valor maximo de f sobre el subrectangulo R
i
.
La intuici on dice que con cualquiera de estas sumas debera de ser suciente para aproximarnos
al volumen por debajo de la gr aca de f, con la peculiaridad de que con las primeras nos
aproximamos por abajo de dicho volumen, y con las segundas los hacemos por arriba del
mismo volumen (ver guras 1.8 y 1.9).
Una vez que hemos llegado hasta este punto, s olo resta aclarar un detalle. En general,
para que podamos asegurar que una funci on alcanza su valor mnimo y su valor m aximo sobre un
conjunto, sabemos que es suciente con que dicha funci on sea continua sobre el conjunto y que
J. P aez 6
Z
X
Y

.....
.
..
.
.
..
.
.
.
..
..
..
....
..............................
~
~
~
~
~

~
~
~
~
|
|
|
|
|
u
u
u

|
|
|
yy
~
~
~
~
~
~
~
~
~
~
~
GG
Figura 1.8: Suma inferior
Z
X
Y
.....
.
.
.
.
.
..
.
.
..
.
..
..
..................................

.....
.
.
.
.
.
..
.
.
..
.
..
..
..................................

yy
~
~
~
~
~
~
~
~
~
~
~
GG
Figura 1.9: Suma superior
este sea cerrado y acotado. Como esta construccion no la queremos restringir s olo a este tipo de
funciones, y a este tipo de conjuntos (aunque un rect angulo s es un conjunto cerrado y acotado), en
lugar del tomar el valor mnimo y el valor m aximo de f sobre cada subrectangulo R
i
, tomaremos el
nmo y el supremo de los valores de f sobre este subrectangulo. Tomar este camino solo nos obliga
a suponer que la funci on f esta acotada sobre el rectangulo R, que comparada con la hip otesis de
continuidad, esta nueva condici on nos sale mas barata. As pues, de aqu en adelante supondremos
que nuestra funci on f, ademas de estar denida sobre R, tambien esta acotada (sobre R).
Aclarado el punto, procedemos a dar las siguientes deniciones:
Denicion 1.4 Sean, f una funci on (de valores reales) denida y acotada sobre un rectangulo R
contenido en R
n
, y T una particion de R. Si R
1
, . . . , R
k
son los subrect angulos de R inducidos por
la partici on T, denimos la suma inferior de f correspondiente a la partici on T, que denotaremos
7 J. P aez
por S(f, T), como
S(f, T) =
k
i=1
m
i
m(R
i
)
en donde m
i
= inff( x) [ x R
i
, i = 1, . . . , k.
Analogamente, denimos la suma superior de f correspondiente a la partici on T, que denotaremos
por S(f, T), como
S(f, T) =
k
i=1
M
i
m(R
i
)
en donde M
i
= supf( x) [ x R
i
, i = 1, . . . , k.
Estas sumas tienen una serie de propiedades, de las cuales la primera es bastante evidente:
Proposicion 1.1 Si T es cualquier partici on de R, entonces S(f, T) S(f, T).
Dem. Como m
i
y M
i
son, respectivamente, el nmo y el supremo del mismo conjunto, a saber
f( x) [ x R
i
, se tiene que m
i
M
i
. Por otra parte, de la denici on de medida de un rect angulo
se tiene que 0 m(R
i
) por lo que m
i
m(R
i
) M
i
m(R
i
) para cada i = 1, . . . , k, de tal forma que
sumando sobre las i
s, se tiene que S(f, T) S(f, T).

Como ya habamos observado desde el principio, tambien es geometricamente claro que si re-
namos una partici on (es decir, la hacemos mas na) entonces nuestras sumas se parecen mas a
ese volumen. Mas a un, podemos estar seguros de que si Q rena a T entonces la suma inferior de
f correspondiente a Q es mayor o igual que la suma inferior correspondiente a T (ver gura 1.10);
y an alogamente, la suma superior de f correspondiente a Q es menor o igual que la suma superior
correspondiente a T.
Partici on T
R
i
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
w
w
w
w
w
w
z
z
z
z
z
z
z
z
z
z
z
z
Partici on Q
R
i
1
R
i
2
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
w
w
w
w
w
w
z
z
z
z
z
z
z
z
z
z
z
z
Figura 1.10: Si Q rena a T entonces la suma inferior de f correspondiente a Q es mayor que
la suma inferior correspondiente a T
Esta propiedad la dejamos plasmada en la siguiente
J. P aez 8
Proposicion 1.2 Sean T, Q P
R
. Si Q rena a T entonces S(f, T) S(f, Q) y S(f, Q)
S(f, T).
Dem. Sean R
1
, . . . , R
k
los subrectangulos de R inducidos por T, y sean R
i
1
, . . . , R
i
k
i
los sub-
rectangulos inducidos por Q que unidos nos dan R
i
(para cada i 1, . . . , k). Dado que cada
R
i
j
esta contenido en R
i
, tenemos que f( x) [ x R
i
j
f( x) [ x R
i
y por lo tanto
inff( x) [ x R
i
inff( x) [ x R
i
j
y supf( x) [ x R
i
j
supf( x) [ x R
i
para
cada j = 1, . . . , k
i
, de modo que multiplicando estas desigualdades por m(R
i
j
), que es un n umero
no negativo, se tiene que
inf f( x) [ x R
i
m(R
i
j
) inf f( x) [ x R
i
j
m(R
i
j
)
y
supf( x) [ x R
i
j
m(R
i
j
) supf( x) [ x R
i
m(R
i
j
)
Si ahora sumamos ambas desigualdades, corriendo el ndice j de 1 a k
i
, tenemos que
k
i
j=1
inf f( x) [ x R
i
m(R
i
j
)
k
i
j=1
inf f( x) [ x R
i
j
m(R
i
j
)
y
k
i
j=1
supf( x) [ x R
i
j
m(R
i
j
)
k
i
j=1
supf( x) [ x R
i
m(R
i
j
)
Ahora, como el subrectangulo R
i
es la uni on de los subrect angulos R
i
1
, . . . , R
i
k
i
, se tiene que m(R
i
) =
k
i
j=1
m(R
i
j
) y por lo tanto
inff( x) [ x R
i
m(R
i
)
k
i
j=1
inff( x) [ x R
i
j
m(R
i
j
)
y
k
i
j=1
supf( x) [ x R
i
j
m(R
i
j
) supf( x) [ x R
i
m(R
i
)
Si en estas desigualdades sumamos con respecto del ndice i, corriendo de 1 a k, tenemos que
k
i=1
inff( x) [ x R
i
m(R
i
)
k
i=1
k
i
j=1
inff( x) [ x R
i
j
m(R
i
j
)
y
k
i=1
k
i
j=1
supf( x) [ x R
i
j
m(R
i
j
)
i=1
supf( x) [ x R
i
m(R
i
)
Recordando la denici on de suma inferior y suma superior, tenemos entonces que
S(f, T) S(f, Q)
y
S(f, Q) S(f, T)
9 J. P aez
que es lo que queramos demostrar.
Observese que de las dos proposiciones anteriores podemos concluir, bajo el supuesto de que la
partici on Q rena a la partici on T, que
S(f, T) S(f, Q)
y
S(f, Q) S(f, T)
De hecho, si recurrimos nuevamente a la interpretaci on geometrica, estas desigualdades no nos
deben de causar sorpresa puesto que cualquier suma inferior debe de estar por debajo del volumen
que queremos calcular, y de manera analoga, cualquier suma superior debe de estar por arriba.
Por lo anterior, debiera ser cierto que, dadas cualesquiera dos particiones T y Q de R, se debe
tener que S(f, T) S(f, Q). Esta propiedad, que ser a muy importante para la construcci on que
estamos realizando, la dejaremos establecida en la siguiente
Proposicion 1.3 Si T y Q son cualesquiera dos particiones del rect angulo R entonces se cumple
que
S(f, T) S(f, Q)
Dem. Consideremos la partici on T Q. Como dijimos anteriormente, esta partici on rena tanto
a T como a Q de tal forma que, por la proposici on 1.2 debemos tener que
S(f, T) S(f, T Q)
y
S(f, T Q) S(f, Q)
Como S(f, T Q) S(f, T Q) (proposici on 1.1), se tiene que S(f, T) S(f, Q).
La conclusion de la proposici on anterior resultara fundamental para la obtenci on (cuando menos
teorica) de ese n umero I al cual se deben de parecer las sumas de Riemann de una cierta funci on
f. N otese que esta proposici on nos dice dos cosas relevantes:
1. el conjunto de todas las sumas inferiores que se obtiene para una funci on f denida sobre
un rect angulo R, es un conjunto acotado superiormente y ademas cualquier suma superior es
una cota superior de dicho conjunto, y
2. el conjunto de todas las sumas superiores que se obtiene para una funcion f denida sobre
un rect angulo R, es un conjunto acotado inferiormente y adem as cualquier suma inferior es
una cota inferior de dicho conjunto.
As pues, cuando menos desde un punto de vista te orico, podramos esperar que existiera algo
as como la suma inferior m as grande o la suma superior mas peque na, y si todo funciona bien,
cualquiera de estos dos n umeros debiera de coincidir con el tan famoso y anhelado volumen que
hay por debajo de la gr aca de f. A continuaci on daremos una denici on m as precisa de estos
n umeros.
Denotaremos por S(f) al conjunto de todas las sumas inferiores de una funci on f (denida
sobre el rectangulo R) y como S(f) al conjunto de todas las sumas superiores, es decir:
S(f) = S(f, T) [ T P
R
J. P aez 10
y
S(f) = S(f, T) [ T P
R
Dado que estos conjuntos son acotados inferior y superiormente, respectivamente, podemos dar
la siguiente
Denicion 1.5 Al supremo del conjunto S(f) lo llamaremos la integral inferior de f sobre R, y lo
denotaremos por
_
R
f, y al nmo del conjunto S(f) lo llamaremos la integral superior de f sobre
R, y lo denotaremos por
_
R
f. De forma abreviada, se tendr a que
_
R
f = supS(f, T) [ T P
R
_
R
f = infS(f, T) [ T P
R
Sin duda nuestra primera reacci on sera pensar que estos n umeros son iguales para cualquier
funci on acotada que consideremos. Desafortunadamente, esto no siempre es as. El siguiente
ejemplo nos muestra una funci on denida y acotada sobre el rect angulo [0, 1] [0, 1], para la que
no se cumple que estos n umeros sean iguales.
Ejemplo 1.1 Sea f : R = [0, 1] [0, 1] R denida como
f(x, y) =
1 si x o y Q
0 si x y y / Q
Muestre que
_
R
f ,=
_
R
f.
Soluci on. Observese que si T es cualquier partici on del rect angulo R, y R
i
es cualquier subrect angulo
inducido por esta partici on, entonces sobre dicho subrect angulo siempre existen parejas (x, y) tales
que x o y Q, y parejas (x, y) tales que x y y / Q. De aqu se deduce que M(R
i
) = 1 y m(R
i
) = 0
de tal forma que S(f, T) = 1 y S(f, T) = 0 para cualquier partici on T de R. De esta forma, se
tiene que S(f) = 0 y S(f) = 1 por lo que
_
R
f = 1 y
_
R
f = 0.
Aun cuando puede que este ejemplo nos desanime un poco, es importante hacer un par de
observaciones:
1. la integral inferior y la integral superior de una funci on denida y acotada sobre un rect angulo
R siempre existen, y
2. la integral inferior siempre es menor o igual que la integral superior, es decir,
_
R
f
_
R
f
11 J. P aez
Captulo 1. Integral de Riemann 1.3. Propiedades de la integral de Riemann
Esta ultima desigualdad se obtiene muy f acilmente a partir de la proposici on 1.3; baste recordar
que de esa proposici on se deduce que cualquier suma superior es una cota superior del conjunto
de todas las sumas inferiores por lo que
_
R
f (que es el supremo de todas las sumas inferiores y
por lo tanto la m as peque na de todas las cotas superiores de este mismo conjunto) debe cumplir
que
_
R
f S(f, T) para cualquier partici on T de R. De aqu, se tiene que
_
R
f es una cota
inferior del conjunto de todas las sumas superiores, por lo que dicho n umero debe ser menor o igual
que el nmo del conjunto de todas las sumas superiores, que es
_
R
f. Por tanto, se tiene que
_
R
f
_
R
f (este mismo trabalenguas se puede decir de otra forma si ahora empezamos diciendo
que cualquier suma inferior es una cota inferior del conjunto de todas las sumas superiores, lo que
tambien se sabe por la misma proposicion. Intentelo!)
As, de entre las funciones que est an denidas y son acotadas sobre un rect angulo R, jaremos
nuestra atenci on en aquellas para las cuales se tiene que
_
R
f =
_
R
f. Este tipo de funciones ser an
conocidas como funciones Riemann-integrables (o simplemente integrables) sobre R, como quedar a
establecido en la siguiente
Denicion 1.6 Sea f : R R
n
R acotada sobre el rect angulo R. Decimos que f es Riemann-
integrable (o simplemente integrable) sobre R si se tiene que la integral inferior y la integral superior
de f sobre R son iguales. Es decir, si
_
R
f =
_
R
f.
En este caso, a este n umero lo llamaremos la integral de f y lo denotaremos por
_
R
f.
1.3 Propiedades de la integral de Riemann
Existen muchas propiedades del concepto que acabamos de denir, pero hay una en particular que
sin duda tiene que ser la primera en aparecer. Se trata de una proposicion que nos da un criterio
alternativo para saber cuando una funci on es integrable. Este criterio tiene la ventaja (o desventaja,
seg un se vea) de establecer cuando una funci on es integrable sin necesidad de saber cu al es el valor
de la integral, algo as como el criterio de Cauchy para la convergencia de sucesiones.
Si una funci on es integrable, signica que la integral inferior y la integral superior de dicha
funci on son iguales, digamos a un cierto n umero I. De las propiedades del nmo y el supremo
sabemos entonces que, para cualquier cantidad positiva que demos (por peque na que esta sea),
existen particiones T y Q para las cuales las correspondientes suma inferior (S(f, Q)) y suma
superior (S(f, T)) distan de este n umero I en menos que la mitad de la cantidad positiva que
dimos, y por lo tanto la distancia entre estos n umeros sera menor a la distancia original (ver gura
1.11).
1

1
_
?
0 I I + /2 I /2

aa
{
{
{
{
{
{
{
S(f, Q)
g
g
g
g
g
g
g
S(f, T)
Figura 1.11: Si una funci on f es integrable y su integral es igual a un n umero I, dada una
cantidad positiva > 0, existen particiones Q y T tales que S(f, Q) y S(f, T) dieren de I en
menos que /2
J. P aez 12
1.3. Propiedades de la integral de Riemann Captulo 1. Integral de Riemann
As, podemos asegurar que, para cualquier cantidad positiva que demos (digamos > 0), se
pueden encontrar particiones T y Q tales que S(f, T) S(f, Q) < . De hecho, vamos a mostrar
que se puede conseguir una sola partici on para la cual vale la misma desigualdad. Lo mejor
de todo esto es que esta propiedad no s olo es necesaria (como acabamos de platicarlo) sino que
tambien es una propiedad suciente (que es la parte m as interesante y m as comunmente usada);
es decir, si para cada cantidad positiva que demos, existe una partici on T para la cual se tiene
que S(f, T) S(f, T) < entonces podremos estar seguros de que la funcion f es integrable. Esta
importante propiedad la estableceremos en el siguiente
Teorema 1.1 Sea f : R R
n
R acotada sobre el rect angulo R. f es integrable sobre R si y
s olo si para cada > 0 existe T partici on de R tal que
S(f, T) S(f, T) <
Dem. Probemos la necesidad. Sea > 0. Como f es integrable, sabemos que
_
R
f =
_
R
f.
Llamemos I a este n umero. Como I =
_
R
R
, de las propiedades del
supremo sabemos que para /2 > 0, existe T
partici on de R tal que

I /2 < S(f, T
) I
Por otra parte, como I =
_
R
R
, de las propiedades del nmo sabemos que
para /2 > 0, existe Q partici on de R tal que
I S(f, Q) < I + /2
Si ahora hacemos T = T
Q, sabemos que T rena tanto a T
como a Q de tal forma que, por la

proposici on 1.2 tenemos que
S(f, T
) S(f, T) S(f, T) S(f, Q)

y por lo tanto, de las desigualdades anteriores obtenemos que
I /2 < S(f, T) S(f, T) < I + /2
De estas ultimas desigualdades concluimos que
S(f, T) S(f, T) <
que es lo que se quera demostrar.
Para la prueba de la suciencia, tenemos que demostrar que la funci on f es integrable, lo que
signica que tenemos que probar que
_
R
f =
_
R
f para lo cual basta con demostrar que
_
R
f
_
R
f = 0. Como sabemos que 0
_
R
f
_
R
f, es suciente con demostrar que este n umero se
puede hacer mas peque no que cualquier cantidad positiva (digamos > 0). Siendo as la cosa, sea
> 0. De acuerdo a nuestra hip otesis, existe T partici on de R tal que
S(f, T) S(f, T) <
Por otra parte, como
_
R
R
y
_
R
R
, sabemos que
S(f, T)
_
R
f
_
R
f S(f, T)
13 J. P aez
de modo que, como los extremos de estas desigualdades son dos n umeros que distan entre si en
menos de , entonces los n umeros que estan en medio tambien distan en menos de , es decir
0
_
R
f
_
R
f <
Como esto se vale para toda > 0 tenemos que
_
R
f
_
R
f = 0
Por lo tanto
_
R
f =
_
R
f, de modo que f es integrable sobre R.
Quiz as fue una decepci on el que no toda funci on denida y acotada sobre un rect angulo resultara
ser integrable. Sin embargo, no hay porque tirarse al suelo. En el siguiente teorema mostraremos
que hay una clase muy grande de funciones que s resultan ser integrables. Estas funciones son
las funciones continuas que (como la intuici on nos lo indica, para este tipo de funciones s debe de
existir el volumen bajo su gr aca), s son integrables. Y nada mejor que el siguiente teorema
para estrenar el anterior.
n
R continua sobre el rect angulo R. Entonces f es integrable sobre
R.
Dem. Para la prueba de este teorema, tendremos que usar un par de teoremas (muy importantes)
acerca de las funciones continuas que estan denidas sobre conjuntos cerrados y acotados (como los
rectangulos con los que estamos trabajando). El primero de ellos es el que nos dice que toda funci on
de este tipo alcanza su valor maximo y su valor mnimo en puntos del dominio. Y el segundo, el
que nos dice que estas mismas funciones tambien deben de ser uniformemente continuas sobre el
mismo dominio. Con este par de potentes armas demostraremos nuestro teorema haciendo uso, por
supuesto, del teorema 1.1.
As pues, sea > 0. Como ya dijimos, sabemos que f tambien es uniformemente continua sobre R,
de modo que, para /m(R) (que es una cantidad positiva), existe > 0 con la propiedad de que si
x, y R son tales que | x y| < entonces [f( x) f( y)[ < /m(R). Sea ahora T una partici on
de R con la propiedad de que la diagonal de cualquier subrect angulo R
i
(de los inducidos sobre R
por la partici on T) sea menor que (es decir, d(R
i
) < ) (probar que existe una partici on con esta
propiedad es un ejercicio de este captulo). Como tambien dijimos antes, como f es continua en cada
subrectangulo R
i
(que supongamos fueron k), existen x
i
, y
i
R
i
tales que f( x
i
) f( x) f( y
i
)
para todo x R
i
. Con todo esto en mente, tenemos que
S(f, T) =
k
i=1
m
i
m(R
i
) =
k
i=1
f( x
i
) m(R
i
)
y
S(f, T) =
k
i=1
M
i
m(R
i
) =
k
i=1
f( y
i
) m(R
i
)
J. P aez 14
de tal forma que
S(f, T) S(f, T) =
k
i=1
f( y
i
) m(R
i
)
k
i=1
f( x
i
) m(R
i
)
=
k
i=1
(f( y
i
) f( x
i
)) m(R
i
)
Ahora, como x
i
, y
i
R
i
y d(R
i
) < , tenemos que | x
i
y
i
| < de modo que [f( x
i
) f( y
i
)[ =
f( y
i
) f( x
i
) < /m(R), para cada i = 1, . . . , k. Por lo tanto
k
i=1
(f( y
i
) f( x
i
)) m(R
i
) <
k
i=1
(/m(R)) m(R
i
)
= /m(R)
k
i=1
m(R
i
)
= (/m(R)) m(R)
=
de donde tenemos que
S(f, T) S(f, T) <
y por lo tanto, f es integrable sobre R.
Es importante destacar que el teorema anterior solo nos dice que la continuidad es una condici on
suciente para que una funci on sea integrable. De hecho, y afortunadamente, una funci on puede
ser discontinua e integrable al mismo tiempo. El siguiente, es un ejemplo de este tipo de funciones.
Ejemplo 1.2 Sea f : R = [0, 1] [0, 1] R denida como
f(x, y) =
1 si 0 x 1/2
0 si 1/2 < x 1
Muestre que f es integrable sobre R.
Soluci on. Para demostrar que esta funci on es integrable usaremos (como casi siempre haremos),
el teorema 1.1. Sea > 0. Para esta , considerese la siguiente partici on T = 0, 1/2 /2, 1/2 +
/2, 10, 1 del rect angulo R = [0, 1] [0, 1] (observe que necesitamos suponer que 0 < < 1 para
que 0 < 1/2/2 y 1/2+/2 < 1, lo que no representa ning un problema, puesto que si lo probamos
para estos n umeros, entonces el teorema 1.1 tambien ser a cierto para n umeros m as grandes). Los
subrect angulos de R inducidos por esta partici on son los siguientes: R
1
= [0, 1/2/2] [0, 1], R
2
=
[1/2 /2, 1/2 +/2] [0, 1], y R
3
= [1/2 +/2, 1] [0, 1]. Es f acil ver que: m
3
= m
2
= 0 mientras
que m
1
= 1. Por otra parte, tambien es f acil ver que: M
1
= M
2
= 1 mientras que M
3
= 0. De
aqu, se tiene que
S(f, T) = m
1
m(R
1
) + m
2
m(R
2
) + m
3
m(R
3
)
= 1 (1/2 /2) + 0 + 0 (1/2 /2)
= 1/2 /2
15 J. P aez
y
S(f, T) = M
1
m(R
1
) + M
2
m(R
2
) + M
3
m(R
3
)
= 1 (1/2 /2) + 1 + 0 (1/2 /2)
= (1/2 /2) +
= 1/2 + /2
de tal forma que S(f, T) S(f, T) = . As, por el teorema 1.1 tenemos que esta funci on es
integrable sobre [0, 1] [0, 1] (esperamos que al lector no le cause ning un problema el hecho de que
se haya obtenido una igualdad para la diferencia S(f, T) S(f, T), en lugar de un menor estricto).
Ademas de mostrar que existen funciones integrables que no son continuas, el ejemplo anterior
muestra que las discontinuidades pueden ser muchas. De hecho, el conjunto de discontinuidades
de la funci on del ejemplo anterior (que es el conjunto (1/2, y) R
2
[ 0 y 1) tiene tantos
elementos como el conjunto de discontinuidades de la funci on del ejemplo 1.1 (que es el conjunto
[0, 1] [0, 1]).
As pues, el problema para que una funci on discontinua sea integrable, no radica en la cantidad
de discontinuidades que tenga, sino en la forma en que estas estan acomodadas (por decirlo de
alguna forma). Observe que en el ejemplo 1.2 el conjunto de discontinuidades de la funci on es un
conjunto aco (o de area cero) mientras que el conjunto de discontinuidades de la funci on del
ejemplo 1.1 es un conjunto gordo (o de area positiva). Observe tambien que, para funciones
denidas sobre rect angulos en R
2
, que su conjunto de discontinuidades sea un conjunto aco
signicara algo parecido a un conjunto nito de puntos o una lnea (no necesariamente recta)
(ver gura 1.12), y gordo algo que tuviera area diferente de cero, mientras que para funciones
denidas sobre rect angulos en R
3
, aco signicara algo parecido a un conjunto nito de puntos,
una lnea o a una supercie (no necesariamente plana), y gordo algo que tuviera volumen
diferente de cero (se deja al lector imaginar el signicado de estas palabras en dimensiones mas
grandes).
GG
X
yy
Y
R

Figura 1.12: El conjunto de discontinuidades de una funci on f denida sobre un rectangulo

R R
2
es aco, si esta formado por puntos aislados, lneas (rectas o curvas) o por todos
ellos juntos (claro, siempre y cuando al juntarlos, no formen un conjunto gordo)
J. P aez 16
Otra herramienta que nos permitira hablar de conjuntos acos y gordos (al menos por
ahora) tiene que ver con el concepto de interior de un conjunto. M as adelante, una vez que
hayamos precisado lo que signica que un conjunto se pueda medir (lo que en R
2
signicar a
que se puede hablar de su area, o en R
3
de su volumen), se podra demostrar facilmente que
para estos conjuntos medibles se cumplen armaciones como la siguiente: si un conjunto A es
medible, su medida ser a cero si y s olo si su interior ( int(A)) es vaco.
El siguiente resultado que veremos es una primera aproximaci on a las ideas expuestas en los
p arrafos anteriores. En la prueba de este teorema ser a de vital importancia acordarnos del teorema
de los rectangulos anidados (en R
n
). Tambien sera importante saber que, si una funci on es
integrable sobre un rect angulo R, entonces tambien lo es sobre cualquier rectangulo R
contenido
en R (este resultado se deja como un problema para el lector).
n
R integrable sobre R. Entonces existe x
0
int(R) tal que f es
continua en x
0
.
Dem. Como f es integrable, por el teorema 1.1 sabemos que existe una partici on T de R tal que
S(f, T) S(f, T) =
k
i=1
M
i
m(R
i
)
k
i=1
m
i
m(R
i
)
=
k
i=1
(M
i
m
i
) m(R
i
)
< m(R)
Como los terminos de la ultima suma son no negativos, debe existir un ndice i 1, . . . , k (que
sin perdida de generalidad supondremos que i = 1), para el cual se tiene que
M
1
m
1
< 1 (1.2)
Observe que en caso contrario, si M
i
m
i
1 para toda i 1, . . . , k, entonces (M
i
m
i
)m(R
i
)
m(R
i
) (para toda i 1, . . . , k) de tal forma que sumando esta ultima desigualdad, corriendo el
ndice i de 1 hasta k, tendramos que
k
i=1
(M
i
m
i
) m(R
i
)
k
i=1
m(R
i
)
= m(R)
lo cual sera una contradicci on con la propiedad con que se eligio a la partici on T.
Llamemos entonces R
1
al subrect angulo inducido por T para el cual se satisface la desigualdad 1.2.
Adicionalmente, supondremos que R
1
int(R). En caso de que este subrectangulo no satisfaga esta
propiedad, siempre podemos tomar otro rect angulo R
contenido en el interior del subrect angulo

R
1
de tal forma que este nuevo rect angulo tambien estara contenido en el interior del rect angulo
original R. Ademas, el supremo y el nmo de los valores de la funci on f sobre este nuevo rectangulo
R
seguir an cumpliendo una desigualdad an aloga a 1.2 ya que R
R
1
.
Supongamos ahora que el lector ya prob o el problema que establece que: si una funci on es integrable
sobre un rect agulo R entonces es integrable sobre cualquier subrect angulo contenido en R. Entonces
podemos asegurar que, como f es integrable sobre el rectangulo R
1
, existe una partici on T
(1)
del
rectangulo R
1
tal que
S(f, T
(1)
) S(f, T
(1)
) =
k
i=1
M
(1)
i
m(R
(1)
i
)
k
i=1
m
(1)
i
m(R
(1)
i
)
17 J. P aez
=
k
i=1
(M
(1)
i
m
(1)
i
) m(R
(1)
i
)
<
m(R
1
)
2
Por un argumento an alogo al que hicimos renglones arriba, podemos asegurar que existe un sub-
rectangulo R
(1)
i
(de los inducidos por T
(1)
sobre R
1
), y que denotaremos simplemente como R
2
,
con la propiedad de que
M
2
m
2
<
1
2
donde M
2
= supf( x) [ x R
2
y m
2
= inff( x) [ x R
2
, y adem as R
2
int(R
1
).
Siguiendo con este procedimiento, obtenemos una sucesi on R
k
de rectangulos (o intervalos)
anidados en R
n
con las siguientes propiedades:
1. M
k
m
k
<
1
k
donde M
k
= supf( x) [ x R
k
y m
k
= inff( x) [ x R
k
, y
2. R
k+1
int(R
k
)
para toda k N.
As, por el teorema de los rectangulos anidados sabemos que

k=1
R
k
,= . Ahora, si x
0

k=1
R
k
,
probaremos que f es continua en x
0
. Para ello, tomemos > 0 y N N talque
1
N
< . Como
x
0
R
N+1
int(R
N
), existe > 0 tal que B
( x
0
) int(R
N
) R
N
de tal forma que
m
N
f( x) M
N
para toda x B
( x
0
). Como M
N
m
N
<
1
N
se tiene que
[f( x) f( x
0
)[ <
1
N
<
para toda x B
( x
0
), lo que prueba que f es continua en x
0
.
Este teorema tiene como consecuencia un hecho que seguido usaremos para determinar cuando
una funci on no es integrable. Para ello, establezcamos primero la siguiente notaci on: si f : A
R
n
R, denotaremos por D
f,A
al conjunto de discontinuidades de f en A, es decir, D
f,A
= x
A [ f es discontinua en x.
Corolario 1.1 Sea f : R R
n
R integrable sobre R. Entonces D
f,R
tiene interior vaco
(int(D
f,R
) = ).
Dem. Si int(D
f,R
) ,= entonces existe un rectangulo R
tal que R
int(D
f,R
) D
f,R
R. Como
f es integrable sobre R y R
R, entonces f tambien es integrable sobre R
de modo que, por el

teorema anterior, existe x
0
int(R
) tal que f es continua en x

0
. Observe que, como x
0
int(R
),
que es un conjunto abierto contenido en R, si f es continua en x
0
restringida a R
, entonces f es
continua en x
0
restringida a R, lo cual contradice el hecho de que x
0
D
f,R
.
Como dijimos antes, este resultado sera muy util para determinar cuando una funci on no es
integrable. Tal es el caso de la funci on del ejemplo 1.1. En este caso, se tiene que D
f,R
= [0, 1][0, 1]
J. P aez 18
de tal forma que int(D
f,R
) ,= ; as, por el corolario anterior podemos concluir nuevamente que
dicha funci on no es integrable sobre R = [0, 1] [0, 1].
Es una buena costumbre preguntarse siempre que pasa con el recproco de una armaci on. En el
caso del corolario anterior no hay mucho que decir. En general, que el conjunto de discontinuidades
de una funci on tenga interior vaco no signicar a necesariamente que dicho conjunto tenga que ser
aco (m as a un, no tendr a nada que ver con el hecho de que se pueda medir). De hecho, este
asunto nos conduce hacia una pregunta m as general: hay alguna manera de medir conjuntos (en
R
n
) de tal forma que en funci on de dicha medida pudieramos determinar si un conjunto es aco
o es gordo? (es claro que si se contara con esta medida, los conjuntos acos seran aquellos
que su medida fuera cero, y los gordos aquellos que su medida fuera mayor que cero). En el caso
particular de R
2
, existe una forma de extender el concepto de area a los subconjuntos (cuando
menos acotados) de R
2
? (aqu usamos la palabra extender puesto que hay conjuntos a los cuales ya
les asignamos un area, como es el caso de los rectangulos). La respuesta es s, hay forma de hacer
esto (aunque no para todos los subconjuntos acotados de R
2
) y justo en este captulo veremos una
manera de hacerlo.
Sin embargo, antes de hablar de medida de conjuntos, nos ser a muy util terminar de mencionar
algunas otras propiedades de las funciones integrables, sobre todo aquellas que tienen que ver con
las operaciones entre (o con) funciones. Estas propiedades las resumiremos en el siguiente
Teorema 1.4 Sean f, g : R R
n
R integrables sobre R. Entonces:
1. f + g es integrable sobre R y adem as
_
R
(f + g) =
_
R
f +
_
R
g
2. si c R, cf es integrable sobre R y adem as
_
R
cf = c
_
R
f
3. fg es integrable sobre R
4. si f( x) 0 para toda x R entonces
_
R
f 0
5. si f( x) g( x) para toda x R, entonces
_
R
f
_
R
g
6. [f[ es integrable sobre R y adem as
_
R
f
_
R
[f[
7. las funciones maxf, g y minf, g
2
son integrables sobre R
La demostracion de cada uno de los incisos de este teorema son parte de los problemas de
este captulo. N otese tambien, que la armaci on del segundo inciso es un caso particular de la
armaci on del tercero (tomando g igual a la funci on constante c), solo que la formula que aparece
en el segundo es muy utilizada.
Otra propiedad que destacaremos, relacionada con el cuarto inciso del teorema anterior, tiene
que ver con la siguiente pregunta: si f( x) > 0 para toda x R entonces
_
R
f > 0? La respuesta a
esta pregunta es armativa, s olo que para probarla hace falta el teorema 1.3 junto con la siguiente
2
Recuerde que
max{f, g} =
f + g + |f g|
2
y min{f, g} =
f + g |f g|
2
19 J. P aez
Proposicion 1.4 Sea f : R R
n
R integrable sobre R tal que f( x) 0 para toda x R. Si f
es continua en x
0
R y f( x
0
) > 0 entonces
_
R
f > 0.
Dem. Si f es continua en x
0
R y f( x
0
) > 0, sabemos que existe > 0 tal que [f( x) f( x
0
)[ <
f( x
0
)
2
para toda x B
( x
0
) o, equivalentemente
f( x
0
)
2
< f( x) f( x
0
) <
f( x
0
)
2
por lo que, de la primera desigualdad, tenemos que
f( x
0
)
2
< f( x)
para toda x B
( x
0
).
Ahora, sea T una partici on de R tal que uno de los subrect angulos inducidos por dicha partici on
(digamos R
1
) se quede dentro de la vecindad B
( x
0
). As, tenemos que
S(f, T) =
k
i=1
m
i
m(R
i
)
= m
1
m(R
1
) +
k
i=2
m
i
m(R
i
)
f( x
0
)
2
m(R
1
) + 0
> 0
donde m
1

f( x
0
)
2
> 0 porque R
1
B
( x
0
) y m
i
0 porque f( x) 0 para toda x R. Como
0 < S(f, T)
_
R
f
concluimos la prueba.
Una vez que contamos con la proposici on anterior, se tiene como consecuencia inmediata (usando
tambien el teorema 1.3) la siguiente
Proposicion 1.5 Sea f : R R
n
R integrable sobre R tal que f( x) > 0 para toda x R.
Entonces
_
R
f > 0.
Para concluir esta seccion, probaremos un teorema relacionado con el hecho de que la integral
de una funci on f sobre un rect angulo R R
n
, dividida por la medida de R, tambien se puede
interpretar como el valor promedio de los valores de f sobre R. En efecto, si tomamos f : R
R
n
R, con R = [a
1
, b
1
] [a
n
, b
n
], una manera de aproximarnos a el valor promedio de f
sobre R consistira de los siguientes pasos:
1. tomamos la partici on de R que se obtiene al subdividir cada intervalo [a
i
, b
i
] en k partes
iguales (de longitud (b
i
a
i
)/k); esta partici on induce k
n
subrectangulos R
j
de R, todos de
la misma medida, es decir, se tiene que
m(R
j
) =
m(R)
k
n
para cada j = 1, . . . , k
n
J. P aez 20
2. en cada uno de estos subrect angulos R
j
(j = 1, . . . , k
n
) elegimos un punto

j
, con lo cual
obtenemos una muestra de puntos del rect angulo R muy bien distribuida
3. calculamos el promedio de los valores de f sobre estos puntos

j
, es decir, calculamos
k
n
j=1
f(
j
)
k
n
(1.3)
Es intuitivamente claro que esta suma es una muy buena aproximaci on a el promedio de
los valores de f sobre R, y que esta aproximaci on sera mejor en la medida de que k sea mas grande.
Lo interesante es que esta misma suma tambien se puede ver como una suma de Riemann de f
sobre R, dividida por m(R); en efecto, como m(R
j
) = m(R)/k
n
, entonces
k
n
j=1
f(
j
)
k
n
=
k
n
j=1
f(
j
)
1
k
n
=
k
n
j=1
f(
j
)
m(R
j
)
m(R)
=
1
m(R)
k
n
j=1
f(
j
)m(R
j
)
Dado que esta suma de Riemann se parece mucho a la integral de f sobre R cuando k es muy
grande, resulta natural decir que el n umero
1
m(R)
_
R
f
se puede interpretar como el valor promedio de los valores de f sobre R.
Pues bien, el ultimo teorema de esta seccion establece que, si f es una funci on continua sobre
R, este valor promedio se alcanza en un alg un punto de R, raz on por la cual, es conocido como
el Teorema del Valor Promedio.
Teorema 1.5 (del Valor Promedio) Sean f, g : R R
n
R tales que f es continua en R y g
integrable sobre R. Entonces:
1.
_
R
f = f(
) m(R) para alguna

R
2. si g( x) 0 para toda x R entonces
_
R
fg = f(
)
_
R
g para alguna

R
Dem. Sean m y M el mnimo y el m aximo de f sobre R, respectivamente. Por el problema 11 de
este captulo tenemos que
m m(R)
_
R
f M m(R)
de tal forma que
m
_
R
f
m(R)
M
21 J. P aez
Captulo 1. Integral de Riemann 1.4. Medida de Jordan
Como f es continua y R es conexo, debe de existir

R tal que
f(
) =
_
R
f
m(R)
por lo que
_
R
f = f(
) m(R).
En cuanto al segundo inciso, como m f( x) M y g( x) 0, para toda x R, tenemos que
(mg)( x) (fg)( x) (Mg)( x)
de tal forma que
m
_
R
g =
_
R
mg
_
R
fg
_
R
Mg = M
_
R
g
Ahora, si
_
R
g = 0, de las desigualdades de arriba se tiene que
_
R
fg = 0 y por lo tanto
_
R
fg =
0 = f(
)
_
R
g para cualquier

R. Si
_
R
g > 0 entonces
m
_
R
fg
_
R
g
M
y nuevamente, como f es continua y R es conexo, debe de existir

R tal que
f(
) =
_
R
fg
_
R
g
por lo que
_
R
fg = f(
)
_
R
g para alguna

R.
Observe que el primer inciso de la proposici on anterior, es un caso particular del segundo inciso
tomando g igual a la funci on constante 1.
1.4 Medida de Jordan
En esta seccion se abordar a el problema de encontrar una forma de medir conjuntos a n de
contar con un concepto que nos permita, entre otras cosas, precisar la idea de cu ando un conjunto
en R
n
es aco o es gordo. Veremos que justo el concepto de integraci on que acabamos de
denir nos proporciona una herramienta para lograrlo.
En realidad, eso de medir conjuntos es algo que nos han venido ense nando desde que somos
ni nos (quien no recuerda una que otra f ormula para calcular el area de una gura plana (con-
juntos en R
2
) o el volumen de uno que otro s olido (conjuntos en R
3
)). Lo relevante de lo que
vamos a hacer a continuaci on es que vamos a denir formalmente conceptos como los de area y
volumen, y extender dichos conceptos cuando menos en dos sentidos: uno, en cuanto a que el
tipo de conjuntos a los cu ales podremos asignarle esta medida sera bastante mas diverso (no s olo
tri angulos, rectangulos, polgonos, crculos, cilndros, esferas, etc.), y dos, esta forma de medir
incluir a no solo guras planas o solidos, sino conjuntos que viven en otras dimensiones! (un
mundo nos vigila!).
Denicion 1.7 Dado A R
n
acotado, denimos
A
: R
n
R, la funci on caracterstica de A, de
la siguiente forma
A
( x) =
1 si x A
0 si x / A
(ver gura 1.13).
J. P aez 22
1.4. Medida de Jordan Captulo 1. Integral de Riemann
GG
Y
1
yy
Z
X
A
Figura 1.13: La graca de la funci on caracterstica
A
de un conjunto A R
2
Una vez que tenemos esta funcion, estamos en condiciones de denir cu ando un conjunto (aco-
tado) es Jordan-medible
3
y cu al es esa medida.
Denicion 1.8 Dado A R
n
acotado, decimos que A es Jordan-medible si la funci on carac-
terstica de A es integrable sobre alg un rect angulo R que contenga a A. En este caso decimos que
la medida de Jordan de A (que denotaremos por J(A)) esta dada por
J(A) =
_
R
A
Antes de entrar de lleno al estudio de los conjuntos Jordan-medibles, es importante hacer algunas
observaciones acerca de la denicion anterior.
Notese primero que en dicha denici on hemos echado mano de un rect angulo R que contiene
al conjunto acotado A; la cuestion, al parecer muy sutil, es: que sucede con nuestra denici on de
medida si en lugar del rect angulo R tomamos otro, digamos R
, que tambien contenga al conjunto

A? (es claro que, si A es un conjunto acotado, hay una innidad de rect angulos que lo cotienen!).
La pregunta, sin lugar a dudas, es: el concepto de medibilidad, y lo que llamamos la medida de
A, dependen de que rectangulo tomemos? Se deja al lector vericar (con ayuda de los problemas
13, 6 y 7 de este captulo, junto con el hecho de que la intersecci on (a diferencia de la uni on!) de
dos rectangulos es un rectangulo) que: si la denici on de medibilidad se cumple para un rect angulo
R entonces tambien se cumple para cualquier otro rectangulo R
que contenga al conjunto A, y

ademas
_
R
A
=
_
R
A
En segundo lugar es importante destacar que para llegar a este concepto de medida, adem as
del concepto de integral (que no es poca cosa, o mejor dicho, que lo es casi todo), solo fue necesario
haber denido previamente lo que signicaba la medida de un cierto tipo de conjuntos, a saber
aquellos que llamamos rectangulos. De hecho, la medida de Jordan tambien se puede interpretar
como una extensi on (a conjuntos m as arbitrarios) de la medida de un rect angulo, sobre todo
3
Nombrados as en recuerdo de Camille Jordan (Lyon 1838 - Pars 1922), un matematico frances conocido tanto
por su trabajo sobre la teora de los grupos como por su inuyente Curso de an alisis (Cours danalyse).
23 J. P aez
si observamos que cualquier rect angulo R R
n
es Jordan-medible y que J(R) = m(R) (problema
18). No obstante lo anterior, hasta este momento no sabemos si guras (o subconjuntos de R
2
)
tales como un tri angulo o un crculo, son conjuntos para las cuales tiene sentido hablar de su area,
y en caso de que s, como se calculara dicha area?
A continuaci on ilustraremos por medio de un ejemplo muy sencillo que en efecto, el concepto de
medida de Jordan no es m as que la formalizaci on de conceptos tan intuitivos para nosotros como
los de area y volumen.
Ejemplo 1.3 Sean a, b R n umeros positivos y A = (x, y) R
2
[ 0 x a, 0 y (b/a)x.
Como se podr a notar facilmente, A es un tri angulo de base a y altura b. Mostraremos que A es un
conjunto Jordan-medible en R
2
, y que su medida (o su area) es, como todos sabemos,
ab
2
.
Soluci on. Tomemos el rect angulo R = (x, y) R
2
[ 0 x a, 0 y b = [0, a] [0, b] el cual
contiene a A. De acuerdo con nuestra denici on tenemos que mostrar que la funci on caracterstica
A
es integrable sobre el rect angulo R y que
_
R
A
=
a b
2
Para lograr esto echaremos mano del problema 10 de este captulo. Para cada n N, sea T
(n)
= T
(n)
1

T
(n)
2
, donde T
(n)
1
= i
a
n
[ i = 0, 1, . . . , n y T
(n)
2
= i
b
n
[ i = 0, 1, . . . , n, la partici on de R que
lo subdivide en n
2
subrect angulos de medida (o area)
ab
n
2
. Como la funci on con la que estamos
trabajando es
A
, se tiene que
S(
A
, T
(n)
) =

R
i
A
m(R
i
) y S(
A
, T
(n)
) =

R
i
A=
m(R
i
)
donde los R
i
representan a los subrect angulos de R inducidos por T, de modo que en este caso
S(
A
, T
(n)
) =
R
i
A
m(R
i
)
= 1
a b
n
2
+ 2
a b
n
2
+ + (n 1)
a b
n
2
=
a b
n
2
n1
i=1
i
=
a b
n
2

(n 1)n
2
=
a b
2

n 1
n
Por otra parte, se tiene que
S(
A
, T
(n)
) =

R
i
A=
m(R
i
)
= 2
a b
n
2
+ + (n 1)
a b
n
2
+ n
a b
n
2
+ n
a b
n
2
= 1
a b
n
2
+ 2
a b
n
2
+ + n
a b
n
2
+ (n 1)
a b
n
2
=
a b
2

n + 1
n
+ (n 1)
a b
n
2
J. P aez 24
De estas dos identidades se obtiene inmediatemante que
lim
n
S(
A
, T
(n)
) =
a b
2
= lim
n
S(
A
, T
(n)
)
de modo que por el problema antes mencionado, tenemos que
A
es integrable sobre el rect angulo
R y adem as
J(A) =
_
R
A
=
a b
2
que es lo que queramos mostrar.
Finalmente, es importante resaltar que no todos los subconjuntos acotados de R
n
resultan ser
Jordan-medibles. El lector podr a comprobar f acilmente que el ejemplo 1.1 no solo nos proporciona
una funci on que no es integrable, sino que tambien nos muestra que el conjunto A = (x, y)
[0, 1] [0, 1] R
2
[ x o y Q es un conjunto que no es Jordan-medible! Por cierto que tampoco
resulta ocioso decir que las siguientes dos frases tienen signicados realmente diferentes; no es lo
mismo decir: A es un conjunto con medida de Jordan cero, que decir: A es un conjunto que no
tiene medida de Jordan o A no es Jordan-medible.
Una vez discutidas estas cuestiones acerca de la denicion de lo que son los conjuntos medibles
(y la medida misma), el primer resultado que probaremos nos proporcionar a condiciones necesarias
y sucientes para determinar cu ando un conjunto es Jordan-medible. Antes, estableceremos que si
A R
n
entonces Fr(A) denotar a al conjunto de puntos frontera de A (o simplemente, la frontera
de A).
Teorema 1.6 Sea A R
n
acotado. Las siguientes armaciones son equivalentes:
1. A es Jordan-medible
2. para cada > 0 existen R
1
, . . . , R
k
rect angulos tales que:
(a) Fr(A) R
1
R
k
, y
(b)
k
i=1
m(R
i
) <
3. la Fr(A) es Jordan-medible y J(Fr(A)) = 0
Dem.
1) 2) En esta parte elegiremos un rectangulo R tal que la cerradura de A (

A) esta contenida
en el interior de R (int(R)), es decir:

A int(R) (observe que con esta eleccion no perdemos ge-
neralidad en virtud de que, como lo mencionamos p arrafos arriba, nuestra denici on de medibilidad
no depende del rect angulo que contenga a A). Sea > 0. Como A es Jordan-medible, sabemos que
A
es integrable sobre este rectangulo R (que contiene a A) de tal forma que existe T partici on de
R tal que
S(
A
, T) S(
A
, T) < (1.4)
Notese que en este caso se tiene que
S(
A
, T) =

R
i
A=
m(R
i
)
25 J. P aez
y
S(
A
, T) =

R
i
A
m(R
i
)
donde los R
i
representan a los subrect angulos de R inducidos por T. As, tenemos que
S(
A
, T) S(
A
, T) =

R
i
A=
y
R
i
A
c
=
m(R
i
)
Sean R
1
, . . . , R
k
los subrectangulos de R, inducidos por la partici on T, tales que
R
i
A ,= y R
i
A
c
,= (1.5)
A n de concluir la prueba de la condici on 2, por la desigualdad 1.4, s olo resta probar que
Fr(A) R
1
R
k
. Para obtener esta contenci on observe primero que, como

A int(R),
entonces Fr(A) int(R). Sea x Fr(A). Si tenemos la suerte de que x int(R
i
) para alguno
de los subrectangulos inducidos por la partici on T (recuerde que R es la uni on de todos esos sub-
rectangulos), es claro que R
i
cumple con las condiciones 1.5, en cuyo caso ya habremos acabado.
Por otra parte, si x no pertenece al interior de alguno de los subrect angulos, entonces x esta en la
frontera de m as de uno de los subrect angulos de R inducidos por T ya que x Fr(A) int(R)
(en realidad debe estar en 2
k
para alg un k 1, . . . , n; la gura 1.14 (a) ilustra este hecho en
R
2
). En este caso, si todos los subrectangulos que tienen a x en su frontera est an contenidos en A,
entonces x int(A) (ver gura 1.14 (b)). De forma an aloga, si todos los subrectangulos que tienen
a x en su frontera est an contenidos en A
c
, entonces x ext(A). En ambas situaciones obtenemos
que x / Fr(A) lo cual es una contradicci on. As pues, de entre todos los subrect angulos para los
cuales x pertenece a su frontera, debe existir alguno, llamemoslo R
i
, para el que se satisfacen las
condiciones 1.5. Con esto concluimos la prueba de la condici on 2.
GG
X
yy
Y
R
(a)
GG
X
yy
Y
R
A
(b)
Figura 1.14: En R
2
, si un punto x int(R) no pertenece al interior de ninguno de los sub-
rectangulos inducidos por una partici on T, entonces x pertenece a la frontera de 2 = 2
1
sub-
rectangulos adyacentes (), o es un vertice de 4 = 2
2
de ellos (). Si todos los subrectangulos
que tienen a x en su frontera estan contenidos en A, entonces x int(A).
2) 3) En este inciso tenemos que probar que el conjunto Fr(A) es Jordan-medible, lo que
signica que su funci on caracterstica
Fr(A)
debe ser integrable sobre alg un rect angulo R que lo
J. P aez 26
contenga. Por otra parte, de acuerdo con nuestra hip otesis, existen R
1
, . . . , R
k
rectangulos tales
que
Fr(A) R
1
R
k
y
k
i=1
m(R
i
) <
Lo primero que vamos a destacar, apoyados por el segundo inciso del problema 2, es que los
rectangulos R
1
, . . . , R
k
los podemos elegir de tal forma que, ademas de tener la propiedad de que
la suma de sus medidas es menor que , tambien tienen la propiedad de que
Fr(A) int(R
1
) int(R
k
) (1.6)
(observe que el problema citado dice, en otras palabras, que todo rectangulo se puede agrandar
un poquito; tan poquito como se quiera!). Una vez aclarado lo anterior, tomemos R un rect angulo
que contenga a R
1
R
k
. Ahora extendamos los lados de cada uno de los rect angulos
R
i
y llamemos T a la partici on que dichas extensiones generan sobre R (la gura 1.15 ilustra este
proceso en R
2
). Si bien es cierto que los subrectangulos R
i
inducidos por esta partici on sobre R,
no coinciden necesariamente con los rectangulos originales R
1
, . . . , R
k
(lo m as seguro es que casi
nunca coincidan!), tambien es cierto que si tomamos cualquiera de estos nuevos subrectangulos R
i
que intersecte a la Fr(A), entonces este debe estar contenido en alguno de los R
j
, lo cual es una
consecuencia de 1.6 (esperamos que el lector coincida en que lo difcil de esta armacion no est a en
imaginar su prueba, sino en escribirla!).
GG
X
yy
Y
R
A
Fr(A)
Figura 1.15: Extendiendo los lados de cada uno de los rectangulos R
i
para obtener una
partici on T del rectangulo R
En sntesis, podemos asegurar que, si R
1
, . . . , R
l
son todos los subrectangulos de R inducidos
por la partici on T tales que
Fr(A) R
i
,= con i = 1, . . . , l
entonces
R
1
R
l
R
1
R
k
y por lo tanto tendremos que
l
i=1
m(R
i
)
k
i=1
m(R
i
) <
27 J. P aez
Como
S(
Fr(A)
, T) =

R
i
Fr(A)=
m(R
i
)
=
l
i=1
m(R
i
)
<
por el problema 8 podemos concluir que la funci on
Fr(A)
es integrable sobre R y que adem as
_
R
Fr(A)
= 0
Es decir, Fr(A) es un conjunto Jordan-medible y J(Fr(A)) = 0.
3) 1) Como en la primera parte, elegiremos un rect angulo R tal que la cerradura de A
esta contenida en el interior de R. Por tanto, tambien tenemos que Fr(A) R de modo que
_
R
Fr(A)
=
_
R
Fr(A)
= 0. De la segunda identidad, podemos concluir que existe T partici on de
R tal que, si R
1
, . . . , R
l
son todos los subrectangulos de R inducidos por la partici on T tales que
Fr(A) R
i
,= (con i = 1, . . . , l), entonces
S(
Fr(A)
, T) =

R
i
Fr(A)=
m(R
i
)
=
l
i=1
m(R
i
)
<
Por otra parte, para la misma partici on T sabemos que
S(
A
, T) S(
A
, T) =
i
A=
y
R
i
A
c
=
m(R
i
)
donde los R
i
tambien son parte de los subrect angulos de R inducidos por T. Ahora observe que si
R
i
es cualquiera de estos subrectangulos que intersecan tanto a A como a A
c
, entonces este debe
de intersecar a la Fr(A) (problema 4 de este captulo). En resumen, si R
i
, . . . , R
k
son todos los
subrectangulos que intersecan tanto a A como a A
c
entonces R
i
, . . . , R
k
R
1
, . . . , R
l
, de tal
forma que
S(
A
, T) S(
A
, T) =

R
i
A=
y
R
i
A
c
=
m(R
i
)
=
k
i=1
m(R
i
)
J. P aez 28
i=1
m(R
i
)
<
con lo que podemos concluir que la funci on
A
es integrable sobre R y que por lo tanto A es un
conjunto Jordan-medible, como se quera demostrar.
Sin duda la demostraci on de este teorema fue un poco larga, pero no se podra negar que es un
teorema que nos proporciona informaci on muy valiosa. Para empezar, nos dice que para saber si
un conjunto es Jordan-medible, es suciente con que su frontera tambien sea un conjunto Jordan-
medible, pero adem as de medida cero (es decir, aco). Y para terminar, los incisos 2 y 3 nos dan
condiciones necesarias y sucientes para que dicha frontera resulte ser un conjunto Jordan-medible
y de medida cero. Esto ultimo nos hace ver que los conjuntos Jordan-medibles y de medida cero
resultan ser muy importantes (sobre todo si son la frontera de otro conjunto). Es por esta raz on
que nuestro siguiente resultado nos da condiciones necesarias y sucientes para que un conjunto
(aunque no sea la frontera de otro) tenga estas importantes caractersticas; por supuesto que dichas
condiciones estan sugeridas por los mismos incisos 2 y 3, y su prueba resulta muy an aloga a lo que
hicimos antes, razon por la cual se deja como un problema para el lector.
Teorema 1.7 Sea A R
n
, un conjunto acotado. A es Jordan-medible y J(A) = 0 si y s olo si para
cada > 0 existen R
1
, . . . , R
k
rect angulos tales que:
1. A R
1
R
k
, y
2.
k
i=1
m(R
i
) <
Lo siguiente que vamos a mostrar es que este concepto de medida de conjuntos se lleva bastante
bien con las operaciones entre conjuntos (como es de esperarse de cualquier concepto de medida
que se respete!).
Teorema 1.8 Si A, B R
n
son Jordan-medibles entonces A B y A B tambien son Jordan-
medibles y adem as
J(A B) = J(A) + J(B) J(A B) (1.7)
Dem. Primero demostraremos que A B y A B son Jordan-medibles. Para ello, basta recordar
que Fr(AB) Fr(A)Fr(B) y Fr(AB) Fr(A)Fr(B) de tal forma que, por el teorema 1.6
(la equivalencia de los incisos 1 y 3, en ambos sentidos) y el problema 20 (ambos incisos), podemos
concluir que A B y A B son Jordan-medibles.
En cuanto a la identidad 1.7 basta observar que se satisface la siguiente identidad de funciones
AB
+
AB
=
A
+
B
la cual se puede probar f acilmente analizando los casos: x AB, x AB, x BA y x / AB.
Si ahora tomamos un rect angulo R tal que A, B R, dado que por la primera parte de esta prueba
ya sabemos que las funciones
AB
y
AB
son integrables sobre R, usando el primer inciso del
teorema 1.4 obtenemos la f ormula deseada.
Como se recordara, parte de la motivaci on para contar con una forma de medir conjuntos estaba
en la posibilidad de decidir cu ando un conjunto es aco (o gordo), lo cual a su vez estaba rela-
cionado con la posibilidad de decidir la forma que debera tener el conjunto de discontinuidades
29 J. P aez
de una funci on para que esta resultara ser integrable (de hecho, habamos adelantado que ser de
medida cero era una manera de decidir que un conjunto era aco). Pues bien, terminaremos
esta seccion con un resultado que cumple parcialmente con este objetivo. Y decimos que lo cumple
parcialmente en virtud de que las condiciones de este resultado solo son sucientes.
n
R acotada sobre el rect angulo R. Si el conjunto de discon-
tinuidades de f en R (D
f,R
) es un conjunto Jordan-medible y de medida cero entonces f es inte-
grable sobre R.
Dem. Sea M > 0 tal que [f( x)[ M para toda x R. Usaremos el teorema 1.1 para demostrar
que f es integrable sobre R. Sea pues > 0. Dado que J(D
f,R
) = 0 sabemos que existe una
partici on T del propio rect angulo R tal que
S(
D
f,R
, T) <

4M
Si R
1
, . . . , R
l
son los subrect angulos de R inducidos por la partici on T que tienen la propiedad de
que R
i
D
f,R
,= (i = 1, . . . , l), tenemos entonces que
l
i=1
m(R
i
) <

4M
Si ahora R
l+1
, . . . , R
k
son el resto de los subrectangulos de R inducidos por T, sabemos entonces
que f es continua en cada uno de ellos de tal forma que, por el teorema 1.2, f es integrable sobre
cada R
i
(i = l + 1, . . . , k). Nuevamente por el teorema 1.1, para cada uno de estos subrect angulos
podemos encontrar una partici on T
(i)
tal que
S(f, T
(i)
) S(f, T
(i)
) <

2(k l)
para cada i = l + 1, . . . , k. Ahora, cada una de estas particiones T
(i)
la extendemos a todo el
rectangulo R y junto con la partici on inicial T, formamos una nueva partici on del rect angulo R a
la que llamaremos Q (la gura 1.16 ilustra este procedimiento en R
2
).
Es importante hacer notar que, por la forma en que construimos la partici on Q, cada sub-
rectangulo inicial R
i
(i = 1, . . . , k) es la uni on de subrect angulos inducidos por Q; o dicho de otra
forma, si los subrectangulos inducidos por Q los denotamos por R
j,i
, en donde i es un ndice que
corre desde 1 hasta k, y para cada una de estas i
s, j es un ndice que corre desde 1 hasta una

cierta k
i
, entonces
R
i
=
k
i
_
j=1
R
j,i
para i = 1, . . . , k.
Observese tambien que para cada i = l + 1, . . . , k, los R
j,i
(j = 1, . . . , k
i
) son subrectangulos
de R
i
inducidos por alguna partici on Q
(i)
que rena a T
(i)
(en la gura 1.16 tambien se alcanza a
notar este hecho), de modo tal que
S(f, Q
(i)
) S(f, Q
(i)
) S(f, T
(i)
) S(f, T
(i)
)
<

2(k l)
J. P aez 30
GG
X
yy
Y
R
D
f,R
Figura 1.16: En cada subrectangulo R
i
que no interseca al conjunto de las discontinuidades de
f en R (D
f,R
), extendemos su particion T
(i)
para obtener otra partici on Q del rectangulo R
(en la gura s olo se hizo en cinco de estos)
Una vez aclarado lo anterior, tenemos que
S(f, Q) S(f, Q) =
k
i=1
k
i
j=1
(M
j,i
m
j,i
) m(R
j,i
)
=
l
i=1
k
i
j=1
(M
j,i
m
j,i
) m(R
j,i
)
+
k
i=l+1
k
i
j=1
(M
j,i
m
j,i
) m(R
j,i
)
=
l
i=1
k
i
j=1
(M
j,i
m
j,i
) m(R
j,i
)
+
k
i=l+1
_
S(f, Q
(i)
) S(f, Q
(i)
)
_
i=1
k
i
j=1
2M m(R
j,i
)
+
k
i=l+1
_
S(f, T
(i)
) S(f, T
(i)
)
_
< 2M
l
i=1
k
i
j=1
m(R
j,i
)
+
k
i=l+1
2(k l)
= 2M
l
i=1
m(R
i
) +

2
< 2M
_

4M
_
+

2
=
en donde, como era de esperarse, M
j,i
= supf( x) [ x R
j,i
, y m
j,i
= inff( x) [ x R
j,i
para
i = 1, . . . , k y j = 1, . . . , k
i
.
Como se podra observar, con esto terminamos la prueba del teorema.
Como dijimos antes, este teorema es una respuesta parcial al problema de caracterizar a las
31 J. P aez
Captulo 1. Integral de Riemann 1.5. La integral sobre conjuntos Jordan-medibles
funciones integrables en terminos de la medida su conjunto de discontinuidades. Es un hecho
desafortunado que, si una funci on es integrable sobre un rect angulo, no se pueda asegurar que
su conjunto de discontinuidades sea Jordan-medible, lo que se puede comprobar con la funci on
del problema 9. Por cierto que, si se supiera que el conjunto de discontinuidades de una funci on
integrable es Jordan-medible, este tendra que ser necesariamente de medida cero, como se pide
probar en el ejercicio 25.
Sin embargo, y como casi todo mundo lo sabe, los matem aticos no suelen quedarse con una
duda y no falt o uno de ellos que se diera a la tarea de buscar una nueva forma de medir conjuntos
que permitiera caracterizar a las funciones integrables (o m as especcamente, a el conjunto de
discontinuidades de una funci on integrable). Este trabajo lo realiz o el matematico frances Henri
Leon Lebesgue (1875-1941) quien introdujo un nuevo concepto de medida de conjuntos (y que por
razones obvias ahora se le conoce como medida de Lebesgue). En particular, los conjuntos que
resultan ser acos con esta medida (es decir, los conjuntos de medidad de Lebesgue cero) se
caracterizan por una propiedad an aloga a la que sirve para caracterizar a los conjuntos de medida
de Jordan cero, y que nosotros probamos en el teorema 1.7. Especcamete se tiene la siguiente
Denicion 1.9 Sea A R
n
, un conjunto acotado. A tiene medida de Lebesgue cero si para cada
> 0 existe una cantidad numerable de rectangulos R
1
, R
2
, . . . , R
k
, . . . tales que:
1. A
k=1
R
k
, y
2.

k=1
m(R
k
) <
En este caso escribimos que (A) = 0 (en donde (A) denota la medida de Lebesgue de A).
Lo mejor de todo esto es que, sin tener que saber como se dene en general la medida de
Lebesgue, y solo contando con la denici on anterior, podemos formular el teorema que nos permite
caracterizar plenamente a las funciones integrables sobre un rect angulo R. Este teorema es conocido
como el Teorema de Lebesgue (uno de los muchos que prob o!) y dice lo siguiente
Teorema 1.10 (de Lebesgue) Sea f : R R
n
R acotada sobre el rect angulo R. f es inte-
grable sobre R si y s olo si el conjunto de discontinuidades de f sobre R (D
f,R
) es un conjunto de
medida de Lebesgue cero (es decir, (D
f,R
) = 0).
La prueba de este teorema requiere de algunos resultados previos relacionados con los conjuntos
de medida de Lebesgue cero los cuales, aunque sencillos de probar, escapan a los objetivos de este
texto. Por esta raz on, dichos resultados y la prueba del propio teorema se incluyen en un apendice.
1.5 La integral sobre conjuntos Jordan-medibles
En esta seccion mostraremos que el concepto de integral se puede extender a conjuntos m as generales
que los rectangulos. En principio, podremos extenderlo a cualquier conjunto acotado A R
n
(de
hecho, as lo haremos), aunque r apidamente nos daremos cuenta de que, para ciertos conjuntos
acotados, algunas funciones tan sencillas como las funciones constantes (distintas de la constante
cero) no resultaran ser integrables. En este sentido, si queremos que funciones tan elementales
(como por ejemplo la funci on constante uno) resulten ser integrables, lo m as apropiado ser a que
nos concentremos en los conjuntos Jordan-medibles.
Una vez aclarado lo anterior, procedemos a dar nuestra denici on
J. P aez 32
1.5. La integral sobre conjuntos Jordan-medibles Captulo 1. Integral de Riemann
Denicion 1.10 Sea f : A R
n
R acotada sobre el conjunto acotado A. Denimos f
A
: R
n
R como
f
A
( x) =
f( x) si x A
0 si x / A
(ver gura 1.17).
Decimos que f es integrable sobre A si la funci on f
A
es integrable sobre alg un rect angulo R que
contenga a A. En este caso diremos que la integral de f sobre A (que denotaremos por
_
A
f) esta
dada por
_
A
f =
_
R
f
A
GG
Y
yy
Z
X
A
Figura 1.17: La graca de la funci on f
A
de un conjunto A R
2
De forma an aloga a como lo hicimos cuando denimos los conjuntos Jordan-medibles, debe
hacerse notar que la denici on anterior no depende del rect angulo R que se elija. Usando la
misma herramienta que en ese caso se puede probar que, si la funcion f
A
es integrable sobre alg un
rectangulo R que contenga al conjunto A, entonces es integrable sobre cualquier otro rect angulo
que lo contenga.
Asimismo vale la pena destacar que, si la funci on f es la funci on constante uno sobre A (f 1)
entonces la funci on f
A
no es mas que la funci on caracterstica de A, de forma tal que pedir que esta
funci on sea integrable sobre A, es lo mismo que pedir que A sea un conjunto Jordan-medible. He
aqu la raz on por la que decimos que nuestra denici on de integral sobre conjuntos m as arbitrarios
que los rectangulos, en realidad debiera de circunscribirse a los conjuntos Jordan-medibles.
La discusi on anterior tambien sirve para mostrar que, si no suponemos que el conjunto A sobre
el cual queremos integrar es Jordan-medible, entonces podemos tomar funciones que, a pesar de
que se porten muy bien sobre dicho conjunto (como por ejemplo que sean continuas sobre A), de
cualquier forma no resultan ser integrables sobre A (que mejor ejemplo que la funci on constante
uno!). Por el contrario, si suponemos que el conjunto es Jordan-medible, se puede probar que
cualquier funci on que sea continua sobre A resulta ser integrable sobre el. M as a un, con ayuda
del teorema 1.9 podemos probar un resultado un poco mas general y del cual la armaci on previa
resultara ser un corolario.
33 J. P aez
Captulo 1. Integral de Riemann 1.5. La integral sobre conjuntos Jordan-medibles
Teorema 1.11 Sea f : A R
n
R acotada sobre el conjunto Jordan-medible A. Si el conjunto
de discontinuidades de f sobre A (D
f,A
) es un conjunto Jordan-medible y de medida cero entonces
f es integrable sobre A.
Dem. Sea R un rect angulo que contenga a A. De acuerdo con la denici on, hay que probar
que la funci on f
A
es integrable sobre este rectangulo. Para obtener esto, por el teorema 1.9 basta
probar que el conjunto de discontinuidades de la funci on f
A
sobre el rectangulo R es un conjunto
Jordan-medible y de medida cero, lo cual a su vez se obtiene de la contenci on que se prueba en el
ejercicio 29, del hecho de que la Fr(A) es un cojunto Jordan-medible y de medida cero (puesto que
A es Jordan-medible (teorema 1.6)), y de ambos incisos del problema 20.
Corolario 1.2 Si f : A R
n
R es continua sobre el conjunto Jordan-medible A entonces f es
integrable sobre A.
Esta manera de extender el concepto de integral a otros conjuntos tiene todas las propiedades
b asicas que se pueden esperar de ella. Sobre todo aquellas que tienen que ver con las operaciones
entre funciones (suma, multiplicaci on, etc.), en donde incluso ni siquiera hace falta suponer que el
conjunto sobre el cual estemos integrando, es Jordan-medible. Estas propiedades quedan resumidas
en el siguiente teorema y su prueba, como era de esperarse, se deja al lector.
Teorema 1.12 Sean f, g : A R
n
R integrables sobre el conjunto A. Entonces:
1. f + g es integrable sobre A y adem as
_
A
(f + g) =
_
A
f +
_
A
g
2. si c R, cf es integrable sobre A y adem as
_
A
cf = c
_
A
f
3. fg es integrable sobre A
4. si f( x) 0 para toda x A entonces
_
A
f 0
5. si f( x) g( x) para toda x A, entonces
_
A
f
_
A
g
6. [f[ es integrable sobre A y adem as
_
A
f
_
A
[f[
7. las funciones maxf, g y minf, g son integrables sobre A
Ademas de trabajar bien con las operaciones entre funciones, este concepto de integral tambien
se lleva bien con las operaciones entre conjuntos. Esto signica que, si una funci on es integrable
sobre un par de conjuntos, entonces es integrable sobre la intersecci on y la uni on de ambos. Como
en el caso del teorema anterior, estas propiedades son validas aun cuando los conjuntos en cuesti on
no sean Jordan-medibles, como se establece en el siguiente
Teorema 1.13 Si f : A B R
n
R es integrable sobre A y sobre B entonces f es integrable
sobre A B y A B y adem as
_
AB
f =
_
A
f +
_
B
f
_
AB
f (1.8)
J. P aez 34
1.5. La integral sobre conjuntos Jordan-medibles Captulo 1. Integral de Riemann
Dem. Primero observemos que, como f es integrable sobre A y sobre B, entonces f
A
y f
B
son
integrables (sobre alg un rect angulo R que contenga a AB) de tal forma que, por el problema 14
sabemos que (f
A
)
+
y (f
B
)
+
son integrables sobre R. Ahora, por la primera identidad del primer
inciso del problema 34 se tiene que (f
AB
)
+
es integrable sobre R. An alogamente se prueba que
(f
AB
)
es integrable sobre R. Por otra parte, dado que f

AB
= (f
AB
)
+
+ (f
AB
)
se tiene que
f
AB
es integrable sobre R, es decir, f es integrable sobre AB. Finalmente, por la identidad del
segundo inciso del mismo problema 34 tenemos que
f
AB
= f
A
+ f
B
f
AB
de tal forma que podemos concluir que f es integrable sobre A B, ademas de que tambien
obtenemos la f ormula 1.8.
Para concluir esta seccion (y este captulo!), probaremos las correspondientes versiones de el
Teorema del Valor Promedio y el Teorema del Valor Promedio Generalizado que tambien son
v alidos para la integral con la que estamos tratando, s olo que a diferencia de los teoremas anteriores,
para estos s hace falta suponer que el conjunto sobre el cual se est a integrando sea Jordan-medible
(ademas de otra propiedad).
Teorema 1.14 Sean, f, g : A R
n
R tales que, f es continua y acotada en A, g es integrable
sobre A y A es un conjunto conexo y Jordan-medible. Entonces:
1.
_
A
f = f(
) J(A) para alguna

A
2. si g( x) 0 para toda x A entonces
_
A
fg = f(
)
_
A
g para alguna

A
Dem. Sean m = inff( x) [ x A y M = supf( x) [ x A. Entonces
m f( x) M (1.9)
para toda x A. Como A es Jordan-medible, por el inciso 5 del teorema 1.12, tenemos que
m J(A)
_
A
f M J(A) (1.10)
Observese que si J(A) = 0 entonces, de las desigualdades anteriores, concluimos que
_
A
f = 0 de
tal forma que la identidad del inciso 1 se cumple para cualquier

A. Supongamos por tanto que
J(A) > 0. En este caso, por el inciso a) del problema 21 y el problema 37 (aplicado a las funciones
f m y/o M f), podemos asegurar que, si en 1.9 alguna de las desigualdades es estricta para
toda x A , entonces la correspondiente en 1.10 tambien es estricta. De esta forma, a un cuando
se diera esta desigualdad estricta, dado que f es continua sobre el conjunto conexo A, podemos
asegurar que el n umero
__
A
f
_
/J(A) pertenece a f(A) (la imagen de A bajo f), o lo que es lo
mismo, que existe

A tal que
_
A
f
J(A)
= f(
)
con lo cual terminamos la prueba del inciso 1).
Para la prueba del inciso 2, si en 1.9 multiplicamos por g( x) tenemos que
m g( x) f( x) g( x) M g( x)
35 J. P aez
Captulo 1. Integral de Riemann 1.6. Problemas
para toda x A de tal forma que, nuevamente por el inciso 5 del teorema 1.12, se tiene que
m
_
A
g
_
A
fg M
_
A
g (1.11)
Como en la prueba del inciso 1, si
_
A
g = 0, por las desigualdades anteriores tenemos que
_
A
fg = 0
y por tanto la identidad del inciso 2 se cumple para cualquier

A. Supongamos entonces que
_
A
g > 0. En este caso, por el problema 37 (en un sentido aplicado a la funci on g y en el otro a las
funciones fg mg y/o Mg fg) de nueva cuenta podemos concluir que, si en 1.9 alguna de las
desigualdades es estricta para toda x A , entonces la correspondiente en 1.11 tambien es estricta.
Por este hecho, y por las mismas hip otesis sobre f y sobre A que usamos en la prueba del primer
inciso, podemos asegurar que el n umero
__
A
fg
_
/
__
A
g
_
pertenece a f(A), o lo que es lo mismo,
que existe

A tal que
_
A
fg
_
A
g
= f(
)
con lo cual terminamos la prueba del inciso 2.
1.6 Problemas
1. Sea R = [a
1
, b
1
] [a
n
, b
n
] un rect angulo en R
n
. Pruebe que:
(a) si b
i
a
i
< para i = 1, . . . , n, entonces d(R) <

n
(b) si x, y R, entonces | x y| d(R)
(c) si x
0
R y r > d(R), entonces R B
r
( x
0
)
2. Sea R = [a
1
, b
1
] [a
n
, b
n
] un rect angulo en R
n
. Dado > 0, pruebe que existen R
1
, R
2
rectangulos tales que
(a) R
1
int(R) y m(R) < m(R
1
)
(b) R int(R
2
), y m(R
2
) < m(R) + .
3. Pruebe que, si A R
n
es un conjunto acotado, entonces existe R un rect angulo en R
n
tal
que A R.
4. Pruebe que si A R
n
y R es un rectangulo en R
n
tal que R A ,= y R A
c
,= entonces
R Fr(A) ,= .
5. Sean T y Q dos particiones del rect angulo R R
n
. Pruebe que Q rena a T si y solo si
T Q.
6. Pruebe que, si f es integrable sobre el rectangulo R R
n
, entonces f es integrable sobre
cualquier rectangulo R
R.
7. Sea f : R R
n
R acotada tal que f( x) = 0 para toda x int(R). Pruebe que f es
integrable sobre R y que
_
R
f = 0.
8. Sea f : R R
n
R acotada tal que f( x) 0 para toda x R. Si para todo > 0 existe T
una partici on de R tal que S(f, T) < entonces f es integrable sobre R y
_
R
f = 0.
J. P aez 36
1.6. Problemas Captulo 1. Integral de Riemann
9. Sea f : R = [0, 1] [0, 1] R denida como:
f(x, y) =
0 si x o y es irracional, 0 o 1
1
n
+
1
q
si x =
m
n
y y =
p
q
con (m, n) y (p, q) primos relativos
Determine si f es integrable sobre R. Pruebe su respuesta.
10. Sean, f : R R
n
R acotada, I R, y T
(k)
, Q
(k)
dos sucesiones de particiones del
rectangulo R tales que
lim
k
S(f, T
(k)
) = I = lim
k
S(f, Q
(k)
)
Pruebe que f es integrable sobre R y que adem as
_
R
f = I
11. Sea f : R R
n
R integrables sobre R. Pruebe que, si M y m son tales que m f( x) M
para toda x R, entonces m m(R)
_
R
f M m(R)
12. Sean f, g funciones integrables sobre el rect angulo cerrado R R
n
y c R. Pruebe que f +g
y cf son integrables sobre R, y adem as
_
R
(f + g) =
_
R
f +
_
R
g y
_
R
cf = c
_
R
f
13. Sean R, R
1
, R
2
rectangulos en R
n
tales que R = R
1
R
2
e int(R
1
) int(R
2
) = (observe
que, si R = [a
1
, b
1
] [a
n
, b
n
] y a
i
< c < b
i
para alguna i 1, 2, . . . , n entonces
R
1
= [a
1
, b
1
] [a
i
, c] [a
n
, b
n
] y R
2
= [a
1
, b
1
] [c, b
i
] [a
n
, b
n
] son dos
rectangulos que satisfacen las codiciones de este problema. Sin embargo, lo m as importante de
esta observacion es que tambien se cumple lo recproco! Es decir, si R, R
1
, R
2
son rectangulos
que satisfacen las condiciones de este problema, entonces deben de poderse escribir justo como
los que acabamos de describir). Pruebe que:
(a)
_
R
f =
_
R
1
f +
_
R
2
f y
_
R
f =
_
R
1
f +
_
R
2
f
(b) f es integrable sobre R si y solo si f es integrable sobre R
1
y R
2
. Ademas, en ambos
casos se tiene que
_
R
f =
_
R
1
f +
_
R
2
f
14. Pruebe que, si f : R R
n
R es integrable sobre R, entonces:
(a) f
+
denida como
f
+
( x) =
f( x) si f( x) > 0
0 si f( x) 0
es integrable sobre R
(b) f
denida como
f
( x) =
f( x) si f( x) < 0
0 si f( x) 0
es integrable sobre R (sugerencia: pruebe, y use, que f = f
+
+ f
)
37 J. P aez
(c) [ f [ es integrable sobre R y ademas
_
R
f
_
R
[ f [
(sugerencia: pruebe, y use, que [ f [= f
+
f
)
(d) si adem as g : R R
n
R es integrable sobre R, entonces minf, g y maxf, g son
integrables sobre R.
15. Sea f : R R
n
R acotada
(a) Suponga que f( x) 0 para toda x R. Pruebe que, si M = sup f( x) [ x R,
M
= sup f
2
( x) [ x R, m = inf f( x) [ x R y m
= inf f
2
( x) [ x R,
entonces M
= M
2
y m
= m
2
. Es indispensable la hip otesis de que f sea no negativa?
Justique su respuesta.
(b) Pruebe que, si f es integrable sobre R entonces f
2
es integrable sobre R.
(c) Pruebe que, si f y g son integrables sobre R entonces fg es integrable sobre R
16. Sea f : R R
n
R acotada tal que f( x) c > 0 para toda x R. Pruebe que, si f
2
es integrable sobre R entonces f es integrable sobre R. Que sucede si f( x) 0 para toda
x R?
17. Sea f : R R
n
R integrable sobre R tal que f( x) 0 para toda x R. Pruebe que:
(a)
_
R
f 0
(b) si f es continua en x
0
R y f( x
0
) < 0, entonces
_
R
f < 0
(c) si f es mayor que cero para toda x R, entonces
_
R
f < 0
18. Sea R R
n
un rect angulo. Pruebe que R es Jordan-medible y que J(R) = m(R)
19. Pruebe el teorema 1.7.
20. Sean A, B R
n
. Pruebe que:
(a) si J(B) = J(A) = 0, entonces J(A B) = 0
(b) si B A y J(A) = 0, entonces B es Jordan-medible y ademas J(B) = 0
21. Sea A R
n
un conjunto Jordan-medible. Pruebe que:
(a) J(A) > 0 int(A) ,=
(b) J(A) = 0 A Fr(A)
(c) int(A) es Jordan-medible y ademas J(int(A)) = J(A)
(d) si B es un conjunto tal que int(A) B (AFr(A)), entonces B es Jordan-medible y
ademas J(B) = J(A)
22. Sea A
k
R
n
[ k N una familia de conjuntos Jordan-medibles tales que

k=1
A
k
y
k=1
A
k
son acotados. Los conjuntos
k=1
A
k
y
k=1
A
k
son Jordan-medibles? Pruebe su
respuesta.
J. P aez 38
1.6. Problemas Captulo 1. Integral de Riemann
23. Sean A, B R
n
Jordan-medibles. Pruebe que AB es Jordan-medible y ademas J(AB) =
J(A) J(A B)
24. Determine si el conjunto de discontinuidades de cada una de las funciones de los ejemplos 1.1
y 1.2, y el problema 9 son Jordan-medibles, y diga cu al es su medida. Pruebe sus respuestas.
25. Sea f : R R
n
R integrable sobre el rect angulo R tal que D
f,R
es un conjunto Jordan-
medible. Pruebe que J(D
f,R
) = 0.
26. Sean, A = (x, y) R
2
[ 0 < x, y < 1 y x, y Q, y f : A R
n
R denida como
f(x, y) =
1
n
+
1
q
en donde x =
m
n
, y =
p
q
y (m, n),(p, q) son primos relativos.
(a) A es un conjunto Jordan-medible?
(b) f es integrable sobre A?
Pruebe sus respuestas.
27. Sea f : A R
n
R, tal que J(A) = 0 y f es acotada sobre A. Pruebe que f es integrable
sobre A y ademas
_
A
f = 0.
28. Sea f : A R
n
R acotada sobre el conjunto Jordan-medible A. Pruebe que, si f( x) = 0
para toda x int(A) entonces f es integrable sobre A y ademas
_
A
f = 0.
29. Sea f : A R
n
R acotada sobre el conjunto Jordan-medible A y R un rect angulo tal
que A R. Pruebe que D
f
A
,R
Fr(A) D
f,A
. Es necesaria la hip otesis de que A sea un
conjunto Jordan-medible? Pruebe su respuesta.
30. Pruebe el teorema 1.12.
31. Sea f : A R
n
R integrable sobre el conjunto Jordan-medible A. Pruebe que la gr aca de
f (G
f
= ( x, f( x)) R
n+1
[ x A) es un conjunto Jordan-medible (en R
n+1
) y de medida
cero.
32. Sean f, g : A R
n
R continuas sobre el conjunto cerrado, acotado y Jordan-medible A,
tales que f( x) g( x) para toda x A. Pruebe que el conjunto
( x, y) R
n+1
[ f( x) y g( x), x A
es Jordan-medible (en R
n+1
).
33. Sea f : A R
n
R integrable sobre A y B A.
(a) f es integrable sobre B? Pruebe su respuesta
(b) bajo que condiciones sobre B es cierto que f es integrable sobre B? Pruebe su respuesta
(c) pruebe que, si f es integrable sobre B entonces f es integrable sobre AB
(d) pruebe que, si f es integrable sobre B y ademas f( x) 0 para toda x A, entonces
_
B
f
_
A
f
34. Sea f : A B R
n
R acotada sobre el conjunto acotado A B. Pruebe que:
39 J. P aez
(a) (f
AB
)
+
= min(f
A
)
+
, (f
B
)
+
y (f
AB
)
= max(f
A
)
, (f
B
)
(consulte el problema
14 para la denici on de estas funciones)
(b) f
AB
+ f
AB
= f
A
+ f
B
35. Sean A, B, C R
n
que A = B C. Pruebe que, si f : A R
n
R es integrable sobre A,
sobre AB y sobre AC entonces f es integrable sobre B, sobre C y sobre B C y ademas
_
A
f =
_
B
f +
_
C
f
_
BC
f
36. Sea f : A R
n
R integrable sobre el conjunto Jordan-medible A tal que f( x) 0 para
toda x A. Pruebe que, si f es continua en x
0
int(A) y f( x
0
) > 0 entonces
_
A
f > 0. Es
indispensable la hip otesis de que x
0
int(A)?
37. Sea f : A R
n
R integrable sobre el conjunto Jordan-medible A. Suponga que f( x) 0
para toda x A y sea B = x A [ f( x) > 0. Pruebe que:
_
A
f > 0 si y solo si int(B) ,= .
38. Sea f : A R
n
R integrable sobre el conjunto Jordan-medible A. Sea B = x A [
f( x) ,= 0
(a) B es un conjunto Jordan-medible?
(b) pruebe que f es integrable sobre B y que adem as
_
A
f =
_
B
f
J. P aez 40

Cap1 Notas Calc IV

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cap1 Notas Calc IV

Cargado por

Copyright:

Formatos disponibles

Captulo 1

s, se tiene que S(f, T) S(f, T).

partici on de R tal que

Q, sabemos que T rena tanto a T

como a Q de tal forma que, por la

) S(f, T) S(f, T) S(f, Q)

Figura 1.12: El conjunto de discontinuidades de una funci on f denida sobre un rectangulo

contenido en el interior del subrect angulo

seguir an cumpliendo una desigualdad an aloga a 1.2 ya que R

R, entonces f tambien es integrable sobre R

de modo que, por el

) tal que f es continua en x

) m(R) para alguna

, que tambien contenga al conjunto

que contenga al conjunto A, y

s, j es un ndice que corre desde 1 hasta una

es integrable sobre R. Por otra parte, dado que f

) J(A) para alguna

También podría gustarte