Integración de funciones
vectoriales
En esta sección se exponen dos alternativas para definir la integral de una función
de variable real con valores en un espacio normado completo. La primera de ellas
proporciona una ilustración interesante del teorema de extensión de aplicaciones
uniformemente continuas 3.26 Se comienza definiendo una integral elemental sobre el
espacio vectorial de las funciones escalonadas, y luego se extiende a las funciones que
son lı́mite uniforme de estas funciones. Esta es una clase de funciones bastante amplia
que incluye a las continuas, y a otras muchas que no lo son, como las escalonadas y
las de variación acotada.
Otra vı́a para definir la integral consiste en extender directamente la integral de
Riemann definiéndola como lı́mite, cuando exista, de sumas de Riemann asociadas
a particiones cada vez más finas. Igual que en el caso de las funciones con valores
reales, la demostración de que las funciones continuas son integrables se basa en la
continuidad uniforme, pero el no poder considerar sumas superiores e inferiores hace
que ahora el razonamiento sea algo más complicado.
Una vez que se ha definido la integral de una función continua con valores en un
espacio normado completo se demuestra, en la forma usual, el teorema fundamental
del cálculo que se necesita para obtener la fórmula integral del resto en el desarrollo
de Taylor de funciones con valores en espacios normados completos.
414
Lecciones de Análisis Matemático II G. Vera
Dem: Si f : [a, b] → F es continua, en virtud de 3.14, f([a, b]) es acotado y por lo tan-
to f ∈ l∞ ([a, b], F ). Por otra parte, como f es uniformemente continua, (véase 3.24)
dado ǫ > 0 existe δ > 0 tal que si s, t ∈ [a, b] y |s − t| < δ entonces kf(t) − f(s)k < ǫ.
Sea p = (a = x0 < x1 < · · · < xm = b) una subdivisión tal que ∆(p) =
máx{xk − xk−1 : 1 ≤ k ≤ m} < δ. La función escalonada hǫ : [a, b] → F definida
por
h(a) = f(a), h(t) = f(xk ) si t ∈ (xk−1 , xk ]
verifica kf(t) − hǫ (t)k < ǫ para todo t ∈ [a, b], es decir, kf − hǫ k∞ ≤ ǫ y queda
probado que f ∈ l∞ ([a, b], F ) es adherente a E([a, b], F ).
Sea h : [a, b] → F una función escalonada y p = (a = x0 < x1 < · · · < xm = b)
una subdivisión admisible
Pm para h. Si vk es el valor constante de h en (xk−1 , xk ),
se define S(h, p) = k=1 (xk − xk−1 )vk . Es fácil comprobar que si q ∈ P([a, b]) es
otra subdivisión admisible para h entonces S(h, p) = S(h, q). Este hecho permite
formular la siguiente definición
Lema D.4 Si en E([a, b], F ) se considera la norma khk∞ = sup{kh(t)k : t ∈ [a, b]},
Rb
entonces la integral I : E([a, b], F ) → F , I(h) = a h(t)dt, es una aplicación lineal
continua de norma kIk ≤ (b − a).
415
Lecciones de Análisis Matemático II G. Vera
Es decir kI(h)k ≤ (b − a) khk∞ para todo h ∈ E([a, b), F ), luego I es una aplicación
lineal continua de norma kIk ≤ (b − a).
416
Lecciones de Análisis Matemático II G. Vera
Rb Rc Rb
b) a
f(t)dt = a
f(t)dt + c
f(t)dt si a ≤ c ≤ b.
417
Lecciones de Análisis Matemático II G. Vera
[α] : p, q ∈ P([a, b]), p ⊂ q, y ∆(p) < δ ⇒ kΣ(f, p) − Σ(f, q)k ≤ ω(δ)(b − a).
Como sk−1 ∈ [tj−1 , tj ], se cumple |sk−1 − tj−1 | ≤ |tj − tj−1 | ≤ ∆(p) ≤ δ, luego
kf(tj−1 ) − f(sk−1 )k ≤ ω(δ)
y en virtud de la desigualdad triangular,
X
kvj k ≤ ω(δ) (sk − sk−1 ) = ω(δ)(tj − tj−1 )
k
m
X m
X
Σ(f, p) − Σ(f, q) = [(tj − tj−1 )f(tj−1 ) − Σ(f, qj )] = vj
j=1 j=1
luego
m
X m
X
kΣ(f, p) − Σ(f, q)k ≤ kvj k ≤ ω(δ)(tj − tj−1 ) = ω(δ)(b − a)
j=1 j=1
Finalmente, utilizamos [α] para demostrar que f es integrable: Sea pn ∈ P([a, b])
una sucesión tal que δn = ∆(pn ) tiende hacia 0, y pn ⊂ pn+1 para cada n ∈ N.
La sucesión un = Σ(f, pn ) es de Cauchy pues, en virtud de [α]
m ≥ n ⇒ kΣ(f, pn ) − Σ(f, pm )k ≤ ω(δn )(b − a)
418
Lecciones de Análisis Matemático II G. Vera
Rb Rc Rb
b) a
f(t)dt = a
f(t)dt + c
f(t)dt si a ≤ c ≤ b.
Dem: Sea pn ∈ P([a, b]) una sucesión de subdivisiones tal que δn = ∆(pn ) tiende
hacia 0, y pn ⊂ pn+1 para cada n ∈ N. Según la demostración de D.9 se verifica
Z b Z b
f(t)dt = lı́m Σ(f, pn ); kf(t)k dt = lı́m Σ(kfk , pn )
a n a n
Es claro que Σ(f, pn ) = Σ(f, p′n )+Σ(f, p′′n ), y pasando al lı́mite se obtiene el resultado.
Teorema D.11 Sea f : [a, b] → F una función continua con valores en un espacio
normado
Rx completo (F, k k). Entonces la función g : [a, b] → F definida por g(x) =
a
f(t)dt es derivable en [a, b] y g′ (x) = f(x) para todo x ∈ [a, b] (en a y b se
consideran las derivadas laterales correspondientes).
419
Lecciones de Análisis Matemático II G. Vera
donde la última desigualdad se obtiene teniendo en cuenta que para todo t ∈ [x0 , x] se
cumple kf(t) − f(x0 )k < ǫ. Queda demostrado ası́ que g es derivable por la derecha
en x0 con gd′ (x0 ) = f(x0 ). Análogamente se demuestra que g es derivable por la
izquierda en x0 con gi′ (x0 ) = f(x0 ) y con ello queda demostrado el teorema.
420
Lecciones de Análisis Matemático II G. Vera
421