Universidad del Valle

Facultad de Ciencias Naturales y Exactas

Cálculo I (111070M)
Supremo e ı́nfimo en la integral
Libro de Spivak. Desigualdades que involucra el supremo e ı́nfimo de la integral.

Sean P, P 0 particiones. Tenemos por teorema que

L(f, P ) ≤ U (f, P 0 ) (1)
Esta ecuación (1) es válida para todo P 0 .

1. U (f, P 0 ) es una cota superior de L(f, P ).

2. Por otro lado L(f, P ) ≤ sup{L(f, P )}.
3. Por la definición de supremo entonces
sup{L(f, P )} ≤ U (f, P 0 ) (2)

Por teorı́a tenemos

L(f, P ) ≤ U (f, P ) (3)

De la ecuación (3) tenemos que
1. L(f, P ) es una cota inferior de U (f, P )
2. ı́nf{U (f, P )} ≤ U (f, P )
3. Por definición de ı́nfimo tenemos que
L(f, P ) ≤ ı́nf{U (f, P )} (4)
Por otro lado ı́nf{U (f, P )} es una cota superior de L(f, P ) y
4. el sup{L(f, P )} es otra cota superior.
5. Ası́ que por definición de supremo tenemos
sup{L(f, P )} ≤ ı́nf{U (f, P )} (5)

De la ecuación
L(f, P 0 ) ≤ U (f, P ) (6)
que es la misma ecuación intercambiando P por P 0 .
1. L(f, P 0 ) es cota inferior de U (f, P ).
2. ı́nf{U (f, P )} ≤ U (f, P ))
3. L(f, P 0 ) ≤ ı́nf{U (f, P )} ≤ U (f, P ).
4. Ası́
L(f, P 0 ) ≤ ı́nf{U (f, P )} (7)
1. Culminando
L(f, P 0 ) ≤ sup{L(f, P )} (8)
ya que el supremo se está tomando sobre todas las particiones P en particular ese conjunto
contien a la partición P 0 .
2. Por otro lado
ı́nf{U (f, P )} ≤ U (f, P 0 ) (9)
ya que el ı́nfimo se está tomando sobre todas las particiones P en particular ese conjunto
contiene a la partición P 0
Uniendo las ecuaciones (2) y (8) y las ecuaciones (7) y (9) se tiene

L(f, P 0 ) ≤ sup{L(f, P )} ≤ U (f, P 0 ) (10)

y
L(f, P 0 ) ≤ ı́nf{U (f, P )} ≤ U (f, P 0 ) (11)
0
para todas las particiones P .