Académique Documents
Professionnel Documents
Culture Documents
{( )
Empezamos con una funcin f : x a,b f (x) (que puede tomar valores positivos y
negativos) e introducimos el concepto de suma de Riemann. Dividimos el intervalo [ a, b] en subintervalos (no necesariamente de la misma longitud). Para hacer esto consideramos n + 1 puntos del
intervalo P := x0 = a < x1 < x2 < < xn1 < xn = b , que llamaremos particin del intervalo [a, b].
coincide con el rea del rectngulo y si f (ck ) < 0, coincide con el opuesto del rea del rectngulo
que se forma del eje OX hacia abajo. Finalmente sumamos todos estos productos para obtener
que se llama suma de Riemann de la funcin f en el intervalo [a, b], respecto de la particin P.
Hay muchas de estas sumas, dependiendo de la particin P que elijamos y de los puntos ck que
escojamos en el subintervalo [ xk 1 , xk ]. Cada una de estas sumas de Riemann, asociada a una particin del intervalo [a, b], genera rectngulos cuyas reas aproximan al rea de la regin que encierra
la funcin f y el eje OX en el intervalo [a, b].
Se llama norma de la particin P , y se denota por P , a la mayor de las amplitudes de los subintervalos de la particin. Entonces, si P es un nmero pequeo, todos los subintervalos de la particin tienen longitud pequea. Como sugiere la siguiente figura, parece que las particiones con norma pequea (tendiendo a cero) proporcionan colecciones de rectngulos cuyas reas aproximan
cada vez mejor al rea de la regin que encierra la funcin f y el eje OX en el intervalo [a, b].
En general esto no ocurre con todas las funciones. Las funciones que verifican esta propiedad se
llaman integrables. De forma precisa tenemos la siguiente definicin.
DEFINICIN. Sea f : x a,b f (x) una funcin. Diremos que f es integrable en el inn
P 0
k =1
OBSERVACIN. La integrabilidad de la funcin f , es decir, la existencia del lmite significa exactamente que: para cada nmero > 0 existe otro nmero > 0 (que depende de ) tal que
S f ,P
f (x) dx <
para toda particin P tal que P < y cada eleccin de puntos ck [ xk 1 , xk ] , para k = 1,2,,n.
El resultado sobre integrabilidad ms importante de esta seccin es el siguiente.
TEOREMA (INTEGRABILIDAD DE LAS FUNCIONES CONTINUAS). Sea f : x a,b f (x) una
funcin continua. Entonces f es integrable en [a, b].
1, si x es racional,
no es integrable en el intervalo [0,1].
f ( x) :=
0, si x es irracional
A continuacin recogemos las propiedades bsicas de la integral.
DEFINICIN. Sea f : x a,b f (x) una funcin positiva ( f ( x) 0, x [a, b] ). Se define el rea del conjunto A :=
{( x, y )
f ( x) dx.
( f ( x) g ( x) ) dx.
a
f (x)dx :=
f (x)dx.