Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Propiedades de la integral
37
38 CAPÍTULO 4. PROPIEDADES DE LA INTEGRAL
Las propiedades (i) y (ii) nos dicen que el conjunto de las funciones inte-
grables sobre un conjunto dado es un espacio vectorial, y que la integral,
definida sobre este espacio vectorial (de dimensión infinita), es un operador
lineal. Por otra parte, la propiedad (vi) se conoce como teorema del valor
medio integral.
Demostración:
(i) Sea S un rectángulo que contenga a A, y extendamos f y g a S haciéndolas
cero fuera de A, como es habitual. Sea ε > 0. Por el teorema de Darboux
1.10, existe δ1 > 0 tal que, si P1 es cualquier partición de S en subrectángu-
los S1 , ..., SN cuyos lados tienen longitud menor o igual que δ1 , y x1 ∈ S1 ,
..., xN ∈ SN , entonces
N Z
X ε
| f (xi )v(Si ) − f| ≤ .
A 2
i=1
R
Por
R el teorema de Darboux, esto prueba que cf es integrable en A, y A cf =
c A f.
(iv) Sea S un rectángulo que contiene a A, y extendamos f y g a S por 0 en
S \ A como es habitual. Para toda partición P de S, como f ≤ g tenemos
que
L(g − f, P ) ≥ 0,
luego
sup{L(g − f, P ) : P partición de S} ≥ 0
R R R
es decir, A (g − f ) ≥ 0, y aplicando (i) y (ii) se obtiene A f ≤ A g.
(iii) Como |f | es continua en todos los puntos que f lo es, tenemos que
Disc(|f |) ⊆Disc(f ), y como este último conjunto tiene medida cero (por
ser f integrable y por el teorema de Lebesgue), resulta que el conjunto de
discontinuidades de |f |, Disc(|f |), tiene también medida cero, luego |f | es
integrable sobre A. Además, por la propiedad (iv), como −|f | ≤ f ≤ |f |,
tenemos que Z Z Z
− |f | ≤ f≤ |f |,
A A A
R R
y por tanto | A f| ≤ A |f |.
(v) Si |f | ≤ M sobre A, entonces la extensión canónica de |f | a un rectángulo
S que contenga a A seguirá verificando |f | ≤ M 1A , luego, por (ii) y (iv), se
tiene Z Z Z
|f | ≤ M 1A = M 1A = M v(A),
A A A
y entonces, por (iii),
Z Z
| f| ≤ |f | ≤ M v(A).
A A
40 CAPÍTULO 4. PROPIEDADES DE LA INTEGRAL
(vi) Puede suponerse v(A) 6= 0 (en otro caso el resultado es consecuencia del
teorema 3.6). Sean m = ı́nf{f (x) : x ∈ A} y M = sup{f (x) : x ∈ A}. Como
A es compacto y f es continua, existen x1 , x2 ∈ A tales que m = f (x1 ) y
M = f (x2 ). Sea R
f
λ= A .
v(A)
Entonces, por la propiedad (iv), m = f (x1 ) ≤ λ ≤ M = f (x2 ), y como
Rf es continua y A es conexo, existe x0 ∈ A tal que f (x0 ) = λ, es decir,
A f = f (x0 )v(A).
(vii) Sean f = f 1A∪B , f1 = f 1A , f2 = f 1B y f3 = f 1A∩B las extensiones
canónicas de f , f|A , f|B y f|A∩B a un rectángulo que contenga a A ∪ B. Es
inmediato
R comprobar
R que f = f1 + f2 − f3 , y es obvio por la definición que
A∪B f 1A = A f , etc. Entonces, por (i) y (ii),
Z Z Z Z
f= f1 + f2 − f3
A∪B A∪B A∪B A∪B
Z Z Z
= f+ f− f.
A B A∩B
Problemas
4.8 Sean A y B conjuntos con volumen tales que A∩B tiene volumen cero.
Probar que
v(A ∪ B) = v(A) + v(B).
4.13 Probar que en el teorema del valor medio integral (teorema 4.1(vi))
no hace falta suponer que A sea compacto. R Indicación: Sean m = ı́nf{f (x) :
x ∈ A}, M = sup{f (x) : x ∈ A}, λ = ( A f )/v(A). Se tiene m ≤ λ ≤ M ,
pero en general no existirán x1 , x2 ∈ A tales que m = f (x1 ) y M = f (x2 ), y
hay que considerar los casos λ = M , λ = m, y m < λ < M separadamente.
Para el caso m < λ < M un razonamiento parecido al de la demostración
de 4.1(vi) sirve. Para los dos primeros casos, puede usarse el teorema 3.7.