Buenas!
Escribo la letra por si alguien mas tiene la misma duda,
Lo que pide es:
Dado una particion
![P= P=](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/839082362772cbafa8ed6e62003383bb.gif)
{
![0=x_0, ... , x_n=1 0=x_0, ... , x_n=1](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/838bc2dad1a8a4b866f1539584dd946f.gif)
} del intervalo
![[0,1] [0,1]](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/ccfcd347d0bf65dc77afe01a3306a96b.gif)
probar que
![S_{inf}(f,P) S_{inf}(f,P)](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/43a0263233d67ccf7883fb755d1839a4.gif)
<
![\frac{1}{2} \frac{1}{2}](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/87885ac858d13fed842b5b823a98f7c6.gif)
<
![S^{sup}(f,P) S^{sup}(f,P)](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/49e402b176ef137a857f35d58a6523c8.gif)
donde f es
![f:[0,1] \rightarrow R f:[0,1] \rightarrow R](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/98a4b74c506583b2fccf147ebd613047.gif)
dada por
![f(x) = x f(x) = x](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/5bdbc9ec39c200cf8107c4ecf9520a63.gif)
.
Respuesta: La idea es la misma que en la parte a, la diferencia es que ahora tienes mas particiones y que no se sabes que valor tienen. Sabes como hacer el calculo de la suma inferior al igual que la superior.
![S_{inf}(f,P) = \sum_{i=0}^{n-1} S_{inf}(f,P) = \sum_{i=0}^{n-1}](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/425494b66f4990aec6278afb01de9cbb.gif)
![{(x_{i+1} - x_{i})m_i} {(x_{i+1} - x_{i})m_i}](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/1efd6dcf0dd55957490b92da7af2bc32.gif)
donde
![m_i m_i](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/342e772474b691ac87dac30aeef596c0.gif)
es el minimo f en
![[x_i, x_{i+1}] [x_i, x_{i+1}]](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/b9ecd49b3245fff5c8a6ccb8e4a645be.gif)
, para el caso de
![S^{sup}(f,P) S^{sup}(f,P)](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/49e402b176ef137a857f35d58a6523c8.gif)
es analogo usando el maximo f en
![[x_i, x_{i+1}] [x_i, x_{i+1}]](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/b9ecd49b3245fff5c8a6ccb8e4a645be.gif)
.
Si haces la representacion grafica de lo anterior, puedes ver que la suma inferior de areas de particiones del intervalo resulta ser una aprox. del area encerrada por la funcion
![f(x) =x f(x) =x](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/1358388d03f26b9220b54a306c198551.gif)
con la restriccion en abscisa
![[0,1] [0,1]](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/ccfcd347d0bf65dc77afe01a3306a96b.gif)
que es el dominio de f. Esta suma inferior resulta ser una cota inferior de esa area, y analogamente la suma superior es una cota superior. Aca habria que preguntarse, Por que pasa esto?
Como la funcion es definida positiva en ese dominio, el integral tiene el mismo signo que el area bajo la funcion, y eso da
![\frac{1}{2} \frac{1}{2}](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/93b05c90d14a117ba52da1d743a43ab1.gif)
.
Por lo tanto la conclusion final es que el integral queda acotada tanto superior e inferiormente por las sumas de particiones.
Algunas preguntas a hacerse, Por que lo acota estrictamente y no vale el
![= =](https://eva.interior.udelar.edu.uy/filter/tex/pix.php/43ec3e5dee6e706af7766fffea512721.gif)
y que deberia pasar para que esto fuera asi ?, otra pregunta seria, si lo que me sobra en la suma superior es lo mismo de lo que me falta en la suma inferior, esto pasa en este caso? pasa siempre?.