REPÚBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD NACIONAL ABIERTA

CENTRO LOCAL CARABOBO
CARRERA: MATEMÁTICAS (126).

Representación integral
para funcionales lineales sobre C([a, b]; R)
con la integral Riemann - Stieltjes.
Bachiller: Carlos A. Gomez Fuentes

Requisito Especial de Grado para optar al titulo de Licenciado en Matemáticas.

Tutor: Dr. Javier Quintero

Valencia, Julio 2022.

 AGRADECIMIENTO
En estas cortas lı́neas quiero agradecer a mis padres Carlos y Zaira, quienes me dieron la vida y apo-
yaron por siempre mis estudios.

A mis hermanos: Lisbeth, Audry, Carla y José por ser mi familia incondicional en todo momento.

A mis sobrinos: Angel, Nico, Mili Karlis, Vero y la pequeña de la casa Zairita por traerme tantas
alegrı́as a mi vida.

A mi hijo: Ito por ser el motor de mi vida.

A mi novia y futura esposa: Sara que por su resilencia es la inspiración que todo se puede lograr.

A mi abuela: Meya que tanto apoyo me brindó en mi etapa de estudiante.

A mi tı́o: Luis siempre le estaré agradecido toda la vida.

A mi tutor: Javier Quintero por su apoyo en esta etapa académica tan importante.

A la Universidad Nacional Abierta por darme la oportunidad de estudiar esta hermosa carrera.

Gracias a todos, siempre agradecido con todos ustedes.

 DEDICATORIA

El presente trabajo está dedicado a la memoria de mi tı́o Luis que con mucho esfuerzo estudió matemáticas
en la Universidad de Carabobo, siempre presente en mi corazón y mis gratos recuerdos, fuente de mi ins-
piración para las matemáticas, donde te encuentres tı́o quiero que sepas que aquı́ está tu sobrino, el futuro
matemático. También se lo dedico a mi hijo, Ito cuando leas este trabajo en un futuro veas que con esfuerzo
y dedicación puedes lograr tus metas. Y ası́ le dedico a mis estudiantes, amigos y a todas las personas
interesadas en este maravilloso mundo de las matemáticas.
 ÍNDICE GENERAL

Introducción I

1. Espacios Normados y Espacios de Banach 1

1.1. Espacios normados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Espacios de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

2. Integral de Riemann - Stieltjes 25

2.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2. Integral de Riemann - Stieltjes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.3. Algunas propiedades conocida como la bilinealidad de la integral de Riemann - Stieltjes . . 28
2.3.1. Relación de la integral de Riemann - Stieltjes y la integral de Riemann . . . . . . . 29
2.3.2. Existencia de la integral Riemann - Stieltjes . . . . . . . . . . . . . . . . . . . . . . 29
2.4. Cambio de variable para la integral de Riemann - Stieltjes . . . . . . . . . . . . . . . . . . 31

3. Teorema de representación para funciones lineales, acotados en C[a, b]. 32

3.1. Funcionales lineales acotados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.2. Teorema de Hahn - Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.3. Aplicación del Teorema de Hahn - Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.4. Teorema de representación de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

Bibliografı́a 46

ii
i carlos gomez

INTRODUCCIÓN

Consideremos el funcional de Riemann - Stieltjes Fα : E([a, b]; R) −→ R definido por

Z
Fα [f ] = dαf ∀ f ∈ E([a, b]; R)
[a,b]

para algún α ∈ H([a, b]; R), donde [a, b] ⊂ R es un intervalo compacto, E([a, b]; R) es un subespacio cerrado
en F([a, b]; R) espacio de Banach y α ∈ H([a, b]; R) (H([a, b]; R) espacio de Banach) que verifica ciertas
condiciones que nos permite asociarle el operador Fα .

El objetivo de este trabajo es demostrar con detalle que para cada funcional en L[E([a, b]; R), R]
existe una función α ∈ H([a, b]; R) con la propiedad de que para cada f ∈ E([a, b]; R) el funcional
Fα ∈ L[E([a, b]; R), R] esta definido por la integral de Riemann - Stieltjes, esto es,
Z
Fα [f ] = dαf
[a,b]

para algún α ∈ H([a, b]; R).

Para hacer esto, organizamos este trabajo en tres capı́tulos, en el Capı́tulo 1, presentamos las defini-
ciones de: espacios de las funciones acotadas en [a, b] con valores en R, espacio de las funciones continuas
en [a, b] con valores en R, espacio de las funciones de variación acotadas en [a, b] con valores en R, los
cuales son espacios de Banach, espacios importantes para formular el Teorema de Representación con la
integral de Riemann - Stieltjes.

En el Capı́tulo 2, damos los conceptos de la integral de Riemann - Stieltjes, integral de Riemann. Y para
la integral de Riemann - Stieltjes enunciamos: algunas propiedades conocidas como bilinealidad, Teorema
de integración por partes, Teorema de Valor Medio para la integral y Teorema de cambio de variable.

En el Capı́tulo 3, definimos el espacio de los funcionales lineales y acotados en un espacio normado que
toma valores en un cuerpo, enunciamos el Teorema de Hahn - Banach sin demostración, el cual empleamos
para la demostración directa del siguiente resultado: Sea (E([a, b]; R), k · k) un espacio normado, E([a, b]; R)
un subespacio de F([a, b]; R) y F : E([a, b]; R) −→ R funcional lineal y acotado. Entonces existe un
funcional Fe([a, b]; R) −→ R lineal y acotado, el cual extiende a F. Finalmente probamos el Teorema de
representación de Riesz.
 CAPÍTULO 1
ESPACIOS NORMADOS Y ESPACIOS
DE BANACH

1.1. Espacios normados.

Definición 1.1.1 Sea X un espacio vectorial sobre un cuerpo K, (K = R o K = C).
Una función, k · k : X −→ R. Es una norma en X si:

N.1. kxk ≥ 0 ∀x ∈ X

N.2. kxk = 0 ⇔ x = 0

N.3. kαxk = |α|kxk ∀ x ∈ X, ∀ α ∈ K

N.4. kx + yk ≤ kxk + kyk, ∀ x, y ∈ X.

Ası́, el par (X, k · k), lo llamaremos espacio vectorial normado, o simplemente espacio normado.

Definición 1.1.2 Sea X un espacio vectorial sobre un cuerpo K. Una función d : X × X −→ R diremos
que es una métrica sobre X si verifica las siguientes propiedades:

d.1. d(x, y) ≥ 0 ∀ x, y ∈ X

d.2. d(x, y) = 0 ⇔ x = y

d.3. d(x, y) = d(y, x) ∀ x, y ∈ X

1
Espacios Normados y Espacios de Banach 2
d.4. d(x, y) ≤ d(x, z) + d(z, y) ∀ x, y, z ∈ X.

Ası́, el par (X, d) es un espacio métrico.

Definición 1.1.3 Se llama una sucesión de puntos de X a toda función ϕ : N −→ X. Es costumbre de-
notar una sucesión ϕ de manera explı́cita, con el sı́mbolo de la forma (xn )n≥1 donde xn = ϕ(n) ∀ n ≥ 1.

Denotaremos la imagen de ϕ por la expresión (xn )n≥1 y los valores xn son llamados términos de la
sucesión (xn )n≥1 .

Definición 1.1.4 Sean (X, d) espacio métrico y (xn )n≥1 ⊂ X sucesión. Diremos que (xn )n≥1 converge al
punto x ∈ X, y escribiremos
d
lı́m d(xn , x) = 0 o xn −−−→ x
n→∞ n→∞

Si ∀ ε > 0, ∃ N0 > 0 tal que

d(xn , x) < ε ∀ n ≥ n0 .

Definición 1.1.5 Sea (x, d) espacio métrico. Una sucesión (xn )n≥1 ⊂ X es Cauchy cuando ∀ ε > 0, ∃ N0 >
0 tal que

d(xn , xm ) < ε ∀ n, m ≥ N0 .

Teorema 1.1.1 (Kreyszig[5];[Teorema 1.4.5])

Sea (X, d) espacio métrico y (xn )n≥1 ⊂ X sucesión.

Si (xn )n≥1 es convergente en (X, d), entonces (xn )n≥1 es de Cauchy.

Definición 1.1.6 Un espacio métrico (X, d) es completo si toda sucesión (xn )n≥1 ⊂ X de Cauchy es
convergente en (X, d).

Definición 1.1.7 (Punto de adherencia de A)

Dado A ⊂ X no vacı́o y t0 ∈ A. Diremos que t0 es un punto de adherencia de A si, para todo ε > 0,
existe t ∈ A tal que

Bd (t0 , ε) ∩ A 6= ∅
Denotaremos por

A = {t ∈ X : t es un punto de adherencia de A}
se llama clausura de A. Un conjunto A se dice cerrado en X si, A = A.
3 Carlos Gomez

El siguiente Teorema de las caracterizaciones de la clausura de un conjunto será muy útil.

Teorema 1.1.2 (Clausura, Conjunto Cerrado)(Kreyszig[5]; [Teorema 1.4.6])

Sea (X, d) espacio métrico, A ⊂ X no vacı́o y A la clausura de A en X. Entonces

1. x ∈ A, si, y sólo si, existe (xn )n≥1 ⊂ A tal que

d
xn −−−→ x.
n→∞

d
2. A es cerrado en (X, d) si, y sólo si, para toda (xn )n≥1 ⊂ X sucesión tal que xn −−−→ x, entonces
n→∞
x ∈ A.

Teorema 1.1.3 (Subespacio completo)

Sean (X, d) un espacio métrico completo y A ⊂ X no vacı́o cerrado. Entonces (A, d) es completo.

Demostración Sea (xn )n≥1 ⊂ A sucesión de Cauchy queremos probar que (xn )n≥1 converge en A.

d
Como (xn )n≥1 ⊂ A y A ⊂ X, el cual es completo, entonces existe x ∈ X tal que xn −→ x.
n→∞
Lo anterior implica que x ∈ A y por hipótesis A = A, resulta que x ∈ A, es decir, (xn )n≥1 converge a
x ∈ A. 

El siguiente teorema nos dice que toda norma induce a métrica.

Teorema 1.1.4 Sea (X, k · k) un espacio normado. Entonces la función d : X × X −→ R definido por

d(x, y) = kx − yk ∀ (x, y) ∈ X × X
es una métrica en X.

Demostración La demostración de que d es una métrica en X, se sigue de la definición de norma.

El Teorema 1.1.4 nos dice que todo espacio normado es a su vez un espacio métrico. Ası́ todas las no-
ciones sobre espacios métricos están definidas también para espacios normados. En particular, un sucesión
(xn ) ⊂ X es Cauchy cuando ∀ ε > 0, ∃ N0 > 0 tal que

d(xn , xm ) = kxn − xm k < ε ∀ n, m ≥ N0

Espacios Normados y Espacios de Banach 4
Por otro lado, el recı́proco del Teorema 1.1.4 será cierto?. Consideremos X un espacio donde se define
una métrica d y surge la siguiente pregunta: ¿ Existirá una norma k · k sobre X de tal forma que la métrica
d provenga de esta norma?

La respuesta es no, ya que si definimos d : R × R → R por


 0, si x = y
d(x, y) =

1, si x 6= y.
la cual es la métrica discreta sobre R y no es inducida por k · k.

En efecto: supongamos que

d(x, y) = kx − yk ∀ (x, y) ∈ R × R

Sean x, y ∈ R con x 6= y y α ∈ R − {0}. Entonces

kα(x − y)k = d(αx, αy) = 1

|α|kx − yk = |α|d(x, y) = |α|

de donde, resulta kα(x − y)k =
6 |α|kx − yk. Es decir, d no es inducida por una norma.

Ası́, para saber que una métrica proviene de una norma debe satisfacer las siguientes condiciones:

Homogénidad:

d(αx, αy) = |α|d(x, y) ∀ x, y ∈ X, ∀ α ∈ K

Invariante por traslación:

d(x + z, y + z) = d(x, y) ∀ x, y, z ∈ X.

Definición 1.1.8 (Espacios de funciones acotadas)

Una función f : [a, b] −→ R es acotada, si existe un número M > 0 tal que

|f (x)| ≤ M ∀ x ∈ [a, b]
5 Carlos Gomez

Denotaremos por

B[a, b] = B([a, b]; R) = {f : [a, b] → R : f es acotada}.

el cual es un espacio vectorial con las operaciones usuales: Sean f, g ∈ B[a, b] tales que

1. f + g ∈ B[a, b]

2. αf ∈ B[a, b] ∀ α ∈ K.

El funcional k · k : B[a, b] −→ R dada por

kf k∞ = sup |f (t)| ∀ f ∈ B[a, b]

t∈[a,b]

está bien definido porque 0 < kf k < ∞, para cada f ∈ B[a, b].

Ası́, k · k es una norma en B[a, b], y el espacio (B[a, b]; k · k) es un espacio normado.

Definición 1.1.9 Sea A ⊂ R no vacı́o, f : A ⊆ R −→ R una función y t0 ∈ A. Diremos que f es continua

en t0 si, para todo ε > 0, existe δ = δ(ε, t0 ) > 0 tal que ∀ x ∈ A

0 ≤ |t − t0 | < δ ⇒ |f (t) − f (t0 )| < ε

Equivalente

∀ x ∈ A ∩ (t0 − δ, t0 + δ) ⇒ f (t) ∈ (f (t0 ) − ε, f (t0 ) + ε)

Equivalente

f (Vδ (t0 )) ⊂ (f (t0 ) − ε, f (t0 ) + ε)

donde Vδ (t0 ) = A ∩ (t0 − δ, t0 + δ) para algún δ > 0, es un entorno abierto de t0 ∈ A.

Espacios Normados y Espacios de Banach 6
Lo natural es pensar que el concepto de continuidad en un punto, se da en términos de la Teorı́a de
Lı́mite de una función en un punto por la estrecha similitud geométrica de ambos conceptos.

Definición 1.1.10 (Punto de acumulación)

Sea A ⊂ R no vacı́o y t0 ∈ R. Diremos que t0 es un punto de acumulación de A si, para todo ε > 0
existe t ∈ A con t 6= t0 tal que

0 < |t − t0 | < ε

es decir,

(A\{t0 }) ∩ (t0 − ε, t0 + ε) 6= ∅ (contiene infinitos puntos de A)

para todo ε > 0.

Denotaremos por

A′ = {t ∈ R : t es un punto de acumulación de A}.

Teorema 1.1.5 (Tepedino [7];[Teorema 7.7.1])

Sean f : A ⊆ R −→ R una función y t0 ∈ A∩A′ . Entonces son equivalentes las siguientes proposiciones

1. f es continua en t0 .

2. a) f (t0 ) existe
b) lı́m f (t) existe
t→t0

c) lı́m f (t) = f (t0 ).

t→t0

Recordemos que lı́m f (t) existe significa que f (t− +

0 ) = f (t0 ) donde
t→t0

f (t−
0 ) = lı́m f (t) = lı́m f (t) y f (t+
0 ) = lı́m+
f (t) = lı́m f (t)
t→t0 − t↑t0 t→t0 t↓t0

De lo anterior, tenemos la siguiente definición.

7 Carlos Gomez

Definición 1.1.11 (Espacio de Funciones Continuas sobre [a, b])

Sean a, b ∈ R con a < b y la función f : [a, b] −→ R es continua si,

1. f es continua en (a, b)

2. lı́m+ f (t) = lı́m f (t) = f (a+ ) y lı́m− f (t) = lı́m f (t) = f (b− ).
t→a t↓a t→b t↑b

Además, f (a+ ) = f (a) y f (b− ) = f (b), es decir, f es continua en los extremos.

Denotaremos

C[a, b] = C([a, b]; R) = {f : [a, b] → R : f es continua sobre [a, b]}

el cual es un subespacio vectorial de B[a, b], porque toda función f continua en [a, b], es acotada. Además,
obtenemos que:

kf k∞ = sup |f (t)| ∀ f ∈ C[a, b]

t∈[a,b]

es una norma en C[a, b]. Es decir, el espacio (C[a, b]; k · k∞ ) es un espacio normado.

Definición 1.1.12 (Partición)

Sea [a, b] un intervalo cerrado y acotado en R. Una partición de [a, b] es una colección finita de puntos
{t0 , t1 , . . . , tn } de [a, b] tales que

a = t0 < t1 < t2 . . . < tn = b.

Denotaremos a una partición de [a, b] por P. Los puntos de P = {t0 , t1 , . . . , tn } divide al intervalo [a, b]
en n subintervalos cerrados Ii = [ti−1 , ti ] (i ∈ {1, 2, . . . , n}) tales que

i) Ii ⊂ [a, b] ∀ i ∈ {1, . . . , n}
◦ ◦
ii) I i ∩ I j = ∅ i 6= j
n
[
iii) Ii = [a, b]
i=1
Espacios Normados y Espacios de Banach 8

a estos los llamaremos intervalos asociados a P. En lo que sigue, el término partición será usada in-
dependientemente para referirnos a los puntos de P, o a los intervalos asociados a P. A cada partición
P = {t0 , t1 , . . . , tn } de [a, b], le asignaremos un número, al que llamaremos la norma de P, y que se define
como

kPk = máx (ti − ti−1 )

1≤i≤n

Un conjunto de etiquetas para los intervalos asociados a la partición P = {t0 , t1 , . . . , tn } es una colección
finito de puntos de [a, b], digamos e = {ξ1 , ξ2 , . . . , ξn } tal que ξi ∈ [ti−1 , ti ] para i ∈ {1, 2, . . . , n}. El conjunto
de pares ordenados.

Pe = {(ξi, [ti−1 , ti ]) : i = 1, 2, . . . , n}

donde P = {t0 , t1 , . . . , tn } es una partición de [a, b] y e = {ξ1, ξ2 , . . . , ξn } es un conjunto de etiquetas de

los intervalos asociados a P, lo llamaremos una partición etiquetada Pe = {(ξi , [ti−1 , ti ]) : i = 1, 2, . . . , n}
se dice que es δ−fina, o subordinada a δ, si para cada i ∈ {1, 2, . . . , n}

[ti−1 , ti ] ⊆ (ξi − δ, ξi + δ)

Definición 1.1.13 (Espacio de funciones de Variación Acotada)

Sean α ∈ [a, b] −→ R una función y P ∈ P[a, b], definimos V [α, P] como
n
X
V [α, P] = |α(ti ) − α(ti−1 )|
i=1

Si el conjunto {V [α, P] : P ∈ P[a, b]} es acotado, definimos la variación sobre [a, b] de α por

V [α] = V[a,b] [α] = sup V [α; P]

P∈P[a,b]

diremos que α es una función de variación acotada sobre [a, b].

Si V [α] < ∞. Y α no es de variación acotada sobre [a, b].

9 Carlos Gomez

Si V [α] = ∞. El conjunto de todas las funciones que tienen variación acotada sobre [a, b] lo denotaremos
por:

BV[a, b] = BV([a, b]; R) = {α : [a, b] −→ R : V [α] < ∞}

Además, definimos

BVa [a, b] = BVa ([a, b]; R) = {α ∈ BV[a, b] : α(a) = 0}.

Teorema 1.1.6 Toda función α ∈ BV[a, b], es acotada en [a, b].

Demostración Sea α ∈ BV[a, b] queremos ver que ∃ M > 0 tal que

|α(t)| ≤ M ∀ t ∈ [a, b].

Para ello, fijemos t ∈ [a, b] eligiendo de forma arbitraria y consideremos la siguiente partición P =
{a, t, b}, por hipótesis α es de variación acotada, resulta que

|α(t) − α(a)| ≤ |α(a)| + |α(t) − α(a)| ≤ V [a, b]

De donde se sigue

|α(t)| ≤ |α(a)| + V [α] ∀ t ∈ [a, b].

Ası́, tomando el buscado M = |α(a)| + V [α], el cual es un número que no depende de t, resulta que

|α(t)| ≤ M ∀ t ∈ [a, b]


Por otro lado, BV[a, b] es un subespacio vectorial de B[a, b] con las operaciones usuales: Sean α1 , α2 ∈
BV[a, b]

1. α1 + α2 ∈ BV[a, b]

2. λα1 ∈ BV[a, b] ∀ λ ∈ K.
Espacios Normados y Espacios de Banach 10
Teorema 1.1.7 (Brito [3], Barttle [2])
Sea α : [a, b] −→ R una función. Entonces

1. Si α es constante sobre [a, b], entonces α ∈ BV[a, b] y además V [α] = 0.

2. Si α es monótoma sobre [a, b], entonces α ∈ BV[a, b] y V [α] = |α(b) − α(a)|

3. Si α ∈ BV[a, b], entonces α ∈ BV[c, d] para cualquier subintervalo cerrado [c, d] ⊂ [a, b] y

V[c,d] [α] ≤ V[a,b] [α].

4. Si α ∈ BV[a, b], entonces la función Vα : [a, b] −→ R definida por

Vα (t) = V[a,t] [α] para todo t ∈ [a, b]

es monótoma creciente. En particular, si α no es constante en ningún subintervalo de [a, b], entonces

Vα es estrictamente creciente.

5. Si α ∈ BV[a, b], entonces α ∈ BV[c, d] para cualquier subintervalo cerrado [c, d] ⊂ [a, b] y V[a,b] [α] =
V[a,c] [α] + V[c,b][α] para cada c ∈ (a, b). En particular, si α es de variación acotada sobre [a, c] y
también sobre [c, d], entonces α ∈ BV[a, b].

El funcional k · k : BV [a, b] −→ R dada por

kαk = |α(a)| + V [α] ∀ α ∈ BV [a, b]

está bien definido ya que 0 ≤ kαk < ∞, para todo α ∈ BV [a, b].

Ası́, k · k es una norma en BV [a, b], y el espacio (BV [a, b]; k · k) es un espacio normado.

En efecto,

N1.− Es clara por la definición de k · k.

N2.− Si
11 Carlos Gomez

kαk = 0 ⇒ |α(a)| + sup V [α, P] = 0

P∈P[a,b]

⇒ |α(a)| = 0 ∧ V [α, P] = 0 ∀ P ∈ P[a, b]

⇒ α(a) = 0 ∧ para todo P = {t0 , . . . , tn } partición de [a, b] :

n
X
|α(ti ) − α(ti−1 )| = 0
i=1

⇒ α(a) = 0 ∧ para todo P = {t0 , . . . , tn } partición de [a, b] :

α(ti ) = α(ti−1 ) ∀ i ∈ {1, 2, . . . , n}

⇒ α(a) = 0 ∧ α es constante en [a, b]

⇒ α=0
Espacios Normados y Espacios de Banach 12
Si

n
X
α = 0 ⇒ |α(a)| = 0 ∧ ∀ P ∈ P[a, b] : |α(ti ) − α(ti−1 )| = 0
i=1

⇒ |α(a)| = 0 ∧ V[a,b] [α] = 0

⇒ kαk = 0.

N3.− Sea α ∈ BV [a, b] y λ ∈ R. Entonces

kλαk = |λα(a)| + V [λα]

n
X
= |λ||α(a)| + sup |λα(ti ) − λα(ti−1 )| Propiedad del Valor absoluto
P∈P[a,b] i=1

n
X
= |λ||α(a)| + sup |λ(α(ti ) − α(ti−1 ))|
P∈P[a,b] i=1

n
X
= |λ||α(a)| + |λ| sup |α(ti ) − α(ti−1 )|
P∈P[a,b] i=1

(Propiedad del V.A, suma finita y propiedad del supremo)

" n
#
X
= |λ| |α(a)| + sup V [α, P]
P∈P[a,b] i=1

= |λ|kαk.

En consecuencia, para todo α ∈ BV [a, b] y λ ∈ R : kλαk = |λ|kαk.

N4.− Sean α, β ∈ BV [a, b]. Queremos demostrar kα + βk ≤ kαk + kβk.

Como α, β ∈ BV [a, b], entonces α + β ∈ BV [a, b]. Ahora analizando

13 Carlos Gomez

kα + βk = |(α + β)(a)| + V [α + β]

= |(α + β)(a)| + sup V [α + β, P]

P∈P[a,b]

n
X
= |(α + β)(a)| + sup |(α + β)(ti) − (α + β)(ti−1 )|
P∈P[a,b] i=1

n
X
≤ |α(a)| + |β(a)| + sup [|α(ti ) − α(ti−1 )| + |β(ti)β(ti−1 )|]
P∈P[a,b] i=1

Propiedad del Valor absoluto

n
X n
X
≤ |α(a)| + sup |α(ti) − α(ti−1 )| + |β(a)| + sup |β(ti ) − β(ti−1 )|
P∈P[a,b] i=1 P∈P[a,b] i=1

Propiedades de sumas finitas y supremo

= kαk + kβk.

En consecuencia, para todo α, β ∈ BV [a, b]

kα + βk ≤ kαk + kβk.

A continuación daremos un ejemplo que demuestra la existencia de una:

función acotada que no es de variación acotada.
función continua que no es de variación acotada.
Ejemplo 1.1 a. Definamos una función α : [0, 1] −→ R por

 sen(1/t), si t ∈ (0, 1]
α(t) =

0, si t = 0.

Entonces
Espacios Normados y Espacios de Banach 14
α 6∈ BV [0, 1]
α ∈ B[0, 1].

b. Sea β : [0, 1] −→ R definida por


 t. sen(1/t), si t ∈ (0, 1]
β(t) =

0, si t = 0

Entonces

α ∈ C[0, 1]
α 6∈ BV [0, 1].

1.2. Espacios de Banach

En está sección aplicaremos a un espacio normado (X, k · k) algunos conceptos de la Teorı́a de espacio
métrico. Daremos la definición de espacio de Banach y algunos ejemplos.

Sea (xn ) una sucesión en X. Diremos que (xn )n≥1 converge a x ∈ X si

lı́m d(x, xn ) = lı́m kx − xn k = 0.

n→∞ n→∞

En notación:
d k·k
xn −−−→ x equivalente xn −−−→ x
n→∞ n→∞

Una sucesión (xn ) ⊂ X es de Cauchy si

lı́m d(xn , xm ) = lı́m kxn − xm k = 0,

m,n→∞ m,n→∞

es decir, ∀ ε > 0, ∃N0 > 0 tal que

d(xn , xm ) < ε ∀ n, m ≥ N0
15 Carlos Gomez

equivalente,

kxn − xm k < ε ∀ n, m ≥ N0

Definición 1.2.1 (Espacio de Banach)

Sea (X, k · k) un espacio normado, en el que se define la métrica d(x, y) = kx − yk ∀ (x, y) ∈ X × X.
Si (X, d) es completo, (X, k · k) se dice un espacio de Banach.

Teorema 1.2.1 (Subespacio Completo)

Sea (X, k · k) un espacio normado, en el cual d(x, y) = kx − yk ∀ (x, y) ∈ X × X, define una métrica
en X y E ⊂ X no vacı́o cerrado. Si (X, k · k) es un espacio de Banach, entonces (E, k · k) es un espacio
de Banach.

Demostración Es consecuencia directa del Teorema 1.1.3.

Teorema 1.2.2 El espacio (B[a, b]; k · k∞ ) es un espacio de Banach.

Demostración Sea (fn )n≥1 ⊂ B[a, b] una sucesión de Cauchy, es decir, para todo ε > 0, existe N0 > 0
tal que

kfn − fm k∞ < ε ∀ n, m ≥ N0

Por lo tanto,

|fn (t) − fm (t)| ≤ kfn − fm k∞ < ε ∀ n, m ≥ N0 , ∀ t ∈ [a, b] (1.1)

luego, para cada t ∈ [a, b], (fn (t))n≥1 es una sucesión de Cauchy en R, el cual es completo, entonces
(fn (t))n≥1 es convergente en R, es decir,

lı́m fn (t) existe (para todo t ∈ [a, b]).

n→∞

Claramente, lı́m fn (t) ∈ R depende de la escogencia de t ∈ [a, b].

n→∞

Ası́, podemos definir una función f : [a, b] −→ R por

Espacios Normados y Espacios de Banach 16

f (t) = lı́m fn (t) ∀ t ∈ [a, b].

n→∞

Afirmación 1.

i) f ∈ B[a, b]

ii) La sucesión (fn )n≥1 ⊂ B[a, b] converge uniformemente en [a, b] a f.

En efecto:

i) De (1.1), tomando ε = 1, resulta

|fn (t) − fm (t)| < 1 ∀ n, m ≥ N0 , ∀ t ∈ [a, b].

Ahora bien, para cada t ∈ [a, b], fijando m y tomando el lı́mite cuando m tiende a ∞, en ambos
lados de (1.1), se tiene

|fn (t) − f (t)| < 1 ∀ n > N0

esto implica que

|f (t)| < 1 + |fn (t)| ≤ 1 + kfn k∞ ∀ n ≥ N0 , ∀ t ∈ [a, b].

Ahora, para ε = 1 escojamos M = máx {1 + kfn k∞ , 1 + kf1 k∞ , . . . , 1 + kfN0 −1 k∞ } tal que

n≥N0

|f (t)| ≤ M ∀ t ∈ [a, b]

Esto implica que f ∈ B[a, b].

17 Carlos Gomez

ii) De (1.1) se tiene, para todo ε > 0 existe N0 > 0 tal que

|fn (t) − fm (t)| < ε ∀ n, m ≥ N0 , ∀ t ∈ [a, b]. (1.2)

Ası́, para cada t ∈ [a, b], fijado n y tomando el lı́mite cuando m tiende a ∞, en ambos lados de (1.2),

|fn (t) − f (t)| < ε ∀ n ≥ N0

equivalente a

kfn − f k∞ < ε ∀ n ≥ N0 .

En consecuencia, (fn )n≥1 ⊂ B[a, b] converge uniformemente en [a, b] a f. 

Teorema 1.2.3 Dado (B[a, b]; k · k∞ ) es un espacio de Banach y C[a, b] es un subespacio vectorial de
B[a, b]. Entonces (C[a, b]; k · k∞ ) es un espacio de Banach.

Demostración Utilizando el Teorema 1.2.1, nos faltarı́a probar que C[a, b] es cerrado en B[a, b].

En efecto: Sea f ∈ C[a, b], queremos probar que f ∈ C[a, b].

Como f ∈ C[a, b], entonces por el teorema 1.1.2 existe una sucesión (fn )n≥1 ⊂ C[a, b] tal que (fn )n≥1
converge uniformemente en [a, b] a f ∈ B[a, b], esto es, ∀ ε > 0, ∃ N0 > 0 tal que
ε
kfn − f k∞ < ∀ n ≥ N0 .
3

Equivalente
ε
|fn (t) − f (t)| < ∀ n ≥ N0 , ∀ t ∈ [a, b].
3

Por otro lado, sea t0 ∈ [a, b], fn son continuas en t0 . Entonces para ε > 0 existe δ > 0 tal que ∀ t ∈ [a, b]
Espacios Normados y Espacios de Banach 18

ε
0 ≤ |t − t0 | < δ ⇒ |fn (t) − fn (t0 )| < .
3

Ahora, analizando

|f (t) − f (t0 )| = |f (t) − fn (t) + fn (t) − fn (t0 ) + fn (t0 ) − f (t0 )|

≤ |f (t) − fn (t)| + |fn (t) − fn (t0 )| + |fn (t) − f (t0 )|

ε ε ε
= + + = ε.
3 3 3

Por lo tanto, para todo t ∈ [a, b]

|f (t) − f (t0 )| < ε siempre que 0 ≤ |t − t0 | < δ

Esto prueba que f es continua en t0 , ası́, f ∈ C[a, b].

Es decir, C[a, b] es cerrado en B[a, b] y por el teorema 1.2.1, (C[a, b]; k · k∞ ) es un subespacio de Banach.

Teorema 1.2.4

1. El espacio BV [a, b] es un espacio de Banach con la norma k · k : BV [a, b] −→ R definida por

kαk = |α(a)| + V [α] ∀ α ∈ BV [a, b].

2. El espacio BVa [a, b] es un espacio de Banach con la norma k · k : BV [a, b] −→ R definida por

kαk = V [α] ∀ α ∈ BV [a, b].

Demostración 1. Sea (αn )n≥1 ⊂ BV [a, b] una sucesión de Cauchy, esto es, para todo ε > 0, existe
N0 > 0 tal que

kαn − αm k < ε ∀ n, m ≥ N0 .
19 Carlos Gomez

Equivalente

|αn (a) − αm (a)| + V [αn − αm ] < ε ∀ n, m ≥ N0 .

Equivalente
P
X
|αn (a) − αm (a)| + sup |(αn − αm )(ti ) − (αn − αm )(ti−1 )| < ε ∀ n, m ≥ N0 (1.3)
P∈P[a,b] i=1

implica que

|αn (a) − αm (a)| < ε ∀ n, m ≥ N0 (1.4)

para todo P ∈ P[a, b] digamos P = {t0 , t1 , . . . , tn },

|(αn − αm )(ti ) − (αn − αm )(ti−1 )| < ε ∀ n, m ≥ N0 , ∀ i ∈ {1, 2, . . . , P } (1.5)

De (2.2), se tiene que (αn (a))n≥1 es Cauchy en K, el cual es un espacio completo. Por lo tanto, existe
w ∈ K tal que

w = lı́m αn (a).
n→∞

Ası́, definimos w = α(a), es decir, α(a) es el punto de convergencia de la sucesión (αn (a))n≥1 ,

α(a) = lı́m αn (a)

n→∞

Afirmación 1. Para cada t ∈ [a, b] tal que (αn (t))n≥1 es Cauchy en K.

En efecto: Sea t ∈ [a, b], para este formemos la partición P = {a, t, b} ∈ P[a, b]. Sabemos que para el
fijado ε > 0, existe N0 > 0, entonces por (2.1), para todo n, m ≥ N0 ,

|αn (a) − αm (a)| + |(αn − αm )(t) − (αn − αm )(a)| + |(αn − αm )(b) − (αn − αm )(t)| < ε.

Ası́,
Espacios Normados y Espacios de Banach 20

|αn (a) − αm (a)| + |(αn − αm )(t) − (αn − αm )(a)| < ε ∀ n, m ≥ N0

luego

|αn (a) − αm (a)| + |αn (t) − αm (t)| − |αn (a) − αm (a)| < ε ∀ n, m ≥ N0

implica que

|αn (t) − αm (t)| < ε ∀ n, m ≥ N0 ∀ t ∈ [a, b]

En consecuencia (αn )n≥1 es Cauchy en K para todo t ∈ [a, b].

De la Afirmación 1 y el hecho que K es completo, existe α(t) ∈ K tal que

α(t) = lı́m αn (t) ∀ t ∈ [a, b].

n→∞

Afirmación 2.
k·k
αn −−−→ α en BV [a, b].
n→∞

En efecto: Para el fijado ε > 0 y el hallado N0 > 0 tal que para todo n ≥ N0 y pasando el lı́mite, cuando
m → ∞ en (2.1) tenemos

|αn (a) − α(a)| + V [αn − α] < ε.

Por lo tanto

kαn − αk < ε ∀ n ≥ N0 .

En consecuencia
21 Carlos Gomez

k·k
αn −−−→ α en BV [a, b].
n→∞

Afirmación 3.
α ∈ BV [a, b].
En efecto: Queremos probar que V [α] < ∞.

Equivalente a probar V [α, P] < ∞ ∀ P ∈ P[a, b].

Sea P ∈ P[a, b] digamos P = {t0 , t1 , . . . , tn } y para el fijado ε > 0 el hallado N0 > 0, se tiene que
ε
|αn (ti ) − α(ti )| < ∀ n > N0 , ∀ i ∈ {0, 1, . . . , p}.
2p

Analizando
P
X
V [α, P] = |α(ti ) − α(ti−1 )|
i=1

Ası́,
p
X
V [α, P] = |α(ti ) − αN0 (ti ) + αN0 (ti ) − αN0 (ti−1 ) + αN0 (ti−1 ) − α(ti−1 )|
i=1

p  
X
≤ |α(ti) − αN0 (ti )| + |αN0 (ti ) − αN0 (ti−1 )| + |αN0 (ti−1 ) − α(ti−1 )|
i=1

p p p
X X X
= |α(ti ) − αN0 (ti )| + |αN0 (ti ) − αN0 (ti−1 )| + |αN0 (ti−1 ) − α(ti−1 )|
i=1 i=1 i=1

p p
X ε X ε
< + V [αp ; P] +
i=1
2p i=1
2p

V [α, P] < ε + V [αp ; P]

Espacios Normados y Espacios de Banach 22
Ahora, como αN0 ∈ BV [a, b], se tiene que ∃ M > 0 tal que

V [αN0 ; P] < M ∀ P ∈ P[a, b]

Ası́,

V [α; P] < ε + M ∀ P ∈ P[a, b], ∀ ε > 0

luego,

V [α] < M.

En consecuencia α ∈ BV [a, b].

Finalmente (BV [a, b]; k · k) es un espacio de Banach. 

Una de las representaciones más intrigante de las funciones de variación acotadas se debe a Marie En-
nemond Camille Jordan (1838 - 1922). Ella expreso, de modo agradable, de qué están hechas las funciones
de variación acotadas.

Teorema 1.2.5 Sean α : [a, b] −→ R una función. Entonces son equivalentes

1. α ∈ BV [a, b].

2. Existen funciones crecientes β1 , β2 : [a, b] −→ R tales que

α = β1 − β2 .

Demostración 1 ⇒ 2.

Por hipótesis, α ∈ BV [a, b]. Entonces por el Teorema 1.1.6 parte 5. Definamos β1 = Vα : [a, b] −→ R
la cual es creciente.

Por otro lado, definamos β2 : [a, b] −→ R por

β1 (t) = β2 (t) − α(t) ∀ t ∈ [a, b]

23 Carlos Gomez

la cual verifica.

• β2 es monótoma creciente sobre [a, b].

En efecto: Sean t1 , t2 ∈ [a, b] con t1 < t2 , veamos que β(t1 ) < β(t2 ). Como,

β1 (t2 ) − β1 (t2 ) = Vα (t2 ) − Vα (t1 ) (Por definición de β1 )

= V[a,t1 ] [α] − V[a,t2 ] [α]

= V[t1 ,t2 ] [α] > |α(t2 ) − α(t1 )| > α(t2 ) − α(t1 )

De donde se sigue que

β1 (t1 ) − β1 (t2 ) > α(t1 ) − α(t2 ) ⇒ β1 (t2 ) − α(t2 ) > β1 (t1 ) − α(t1 )

Ası́,

β2 (t1 ) > β2 (t2 ).

En consecuencia, β2 es creciente en [a, b].

2. ⇒ 1. Queremos probar que α ∈ BV [a, b].

Equivalente a probar que V [α] < ∞. Equivalente a probar que

V [α; P] < ∞ ∀ P ∈ P[a, b]

Sean P ∈ P[a, b] digamos P = {t0 , t1 , . . . , tp }. Entonces analizando

Espacios Normados y Espacios de Banach 24

P
X P
X
|α(ti ) − α(ti−1 )| = |(β1 (ti ) − β2 (ti−1 )) − (β2 (ti−1 ) − β2 (ti−1 ))| porque α = β1 − β2
i=1 i=1

P
X P
X
≤ |β1 (ti ) − β1 (ti−1 )| + |β2 (ti ) − β2 (ti−1 )|
i=1 i=1

Propiedades de Valor Absoluto y sumas finitas

≤ β1 (b) − β1 (a) + β2 (b) − β2 (a) Por ser β1 , β2 creciente sobre [a, b].

De donde se sigue que V [α; P] < ∞ ∀ P ∈ P[a, b].

En consecuencia, α ∈ BV [a, b]. 

 CAPÍTULO 2
INTEGRAL DE RIEMANN - STIELTJES

2.1. Introducción
Nos proponemos ahora a presentar la integral de Riemann - Stieltjes, definida por Thomas Joannes
Stieltjes en 1894 (Astrónomo y Matemático Holandés que nació en Zwolle, el 29 de diciembre de 1.856 y
falleció en Toulouse Francia, el 31 de diciembre de 1.894) y recibiendo poca atención hasta 1.909, cuando
Fédéric Riesz (Matemático Húngaro, que nació en Györ, el 22 de enero de 1.880, falleció en Budapest, el
28 de febrero de 1.956) demostró que todo funcional lineal acotado sobre C[a, b], puede representarse en
términos de la integral de Riemann - Stieltjes.

2.2. Integral de Riemann - Stieltjes

Definición 2.2.1 Sean α : [a, b] −→ R y f : [a, b] −→ R funciones, para cada P ∈ P[a, b] y para cada
ξ = (ξ1 , ξ2 , . . . , ξn(p) ) con ξi ∈ [ti−1 , ti ] para i ∈ {1, 2, . . . , n(p)}, definimos una suma de Riemann - Stieltjes
de f con respecto a α como

n(p)
X
SP,ξ = [α(ti ) − α(ti−1 )]f (ξi ) (2.1)
i=1

1.- Diremos que f es Riemann - Stieltjes integrable sobre [a, b] con respecto a la función α si existe el
n(p)
X
lı́mite lı́m [α(ti ) − α(ti−1 )]f (ξi) donde ξi ∈ [ti−1 , ti ] para i ∈ {1, 2, . . . , n(p)} lo denotaremos
kPk→0
i=1

25
Integral de Riemann - Stieltjes 26

Z Z Z b Z b
I= dαf = dα(t)f (t) = dα(t)f (t) = dαf (2.2)
[a,b] [a,b] a a

A la función f se llama el integrando y a α el integrante. Y escribiremos


RSα ([a, b]; R) = RSα [a, b] = f : [a, b] −→ R : f es Riemann - Stieltjes integrable sobre [a, b]


con respecto a α

Observación 2.1 Si la función α : [a, b] −→ R definida por α(t) = t ∀ t ∈ [a, b], entonces la expresión
(2.1) se reduce
n(P)
X
SP,ξ (f ) = f (ξi)(ti − ti−1 ) (2.3)
i=1

A la suma (2.3) se le llama Suma de Riemann de f correspondiente a la partición P y diremos que f

es Riemann integrable sobre [a, b], si
n(P)
X
lı́m f (ξi )(ti − ti−1 )
kPk→0
i=1

existe y no depende de la elección de las particiones ni de la elección de los puntos ξi ∈ [ti−1 , ti ] para
i ∈ {1, 2, . . . , n(P)} cuando éste es el caso, el lı́mite se denota
Z Z Z b Z b
R f dt = R f (t)dt = R f dt = R f (t)dt
[a,b] [a,b] a a

Y denotaremos
 
R([a, b]; R) = R[a, b] = f : [a, b] −→ R : f es Riemann integrable sobre [a, b]

Por otro lado, toda función f Riemann integrable sobre [a, b], es Riemann - Stieltjes integrable sobre
[a, b] con respecto a la función α(t) = t, es decir,
27 Carlos Gomez

R[a, b] ⊂ RSα [a, b] (2.4)

esta condición es estricta.

Definición 2.2.2 Sean α : [a, b] −→ R y f : [a, b] −→ R funciones. Diremos que f es Riemann - Stieltjes
integrable sobre [a, b] con respecto a α, si existe un número real I tal que para todo ε > 0, existe una
partición Pε ∈ P[a, b], entonces

|SP,ξ (f, α) − I| < ε

para cualquier P ∈ P[a, b] refinamiento de Pε con SP,ε (f, α) suma de Riemann - Stieltjes correspondiente
a P.

El siguiente ejemplo demuestra que la condición (2.4) es estricta.

Ejemplo 2.1 Sea f : [0, 1] −→ R función de Dirichlet definida por


 1, si t ∈ Q
f (t) =

0, si t ∈ I

Entonces

1. f 6∈ R[a, b]

2. f ∈ RSα [a, b] (α(t) = t)

Definición 2.2.3 (Criterio de Cauchy para integrabilidad)

Sean α : [a, b] −→ R y f : [a, b] −→ R funciones. f ∈ RSα [a, b] si y sólo si para todo ε > 0, existe una
partición Qε ∈ P[a, b] tal que si P, Q ∈ P[a, b] son refinamiento de Qε con SP,ξ (f, α) y SQ,ξ (f, α) sumas de
Riemann - Stieltjes correspondientes, entonces

|SP,ε (f, α) − SQ,ξ (f, α)| < ε.

Integral de Riemann - Stieltjes 28

2.3. Algunas propiedades conocida como la bilinealidad de la

integral de Riemann - Stieltjes
La siguiente propiedad es conocida como la bilinealidad de la integral Riemann - Stieltjes.

Teorema 2.3.1 (Barttle [2];[Teorema 29.5])

Sean αi : [a, b] −→ R y fi : [a, b] −→ R i ∈ {1, 2} funciones tales que las integrales de Riemann -
Stieltjes existen
Z Z
dα1 fi y dαi f1 ∀ i ∈ {1, 2}.
[a,b] [a,b]

Entonces, para todo c1 , c2 ∈ K (K = R o C)

1. Linealidad respecto al integrando:

Z Z Z
dα1 [c1 f1 + c2 f2 ] = c1 dα1 f1 + c2 dα2 f2
[a,b] [a,b] [a,b]

2. Linealidad respecto al integrante:

Z Z Z
d[c1 α1 + c2 α2 ]f1 = c1 dα1 f1 + c2 dα2 f1 .
[a,b] [a,b] [a,b]

Teorema 2.3.2 (Barttle[2];[Teorema 29.6])

Sean α : [a, b] −→ R, f : [a, b] −→ R funciones y c ∈ [a, b]. Entonces:

1. Si f ∈ RSα [a, c] ∩ RSα [c, b], entonces f ∈ RSα [a, b] y además

Z Z Z
dαf = dαf + dαf.
[a,b] [a,c] [c,b]

2. Si f ∈ RSα [a, b], entonces f ∈ RSα [a, c] ∩ RSα [c, b] y además

Z Z Z
dαf = dαf + dαf.
a,b [a,c] [c,b]
29 Carlos Gomez

Teorema 2.3.3 (Integración por parte)(Barttle[2];[Teorema 29.7])

Sean α, f ∈ B[a, b]. Entonces son equivalentes

1. f ∈ RSα [a, b]

2. α ∈ RSf [a, b] y además

Z b Z
dαf = f α − df α.
[a,b] a [a,b]

2.3.1. Relación de la integral de Riemann - Stieltjes y la integral de Riemann

Cuando la función α : [a, b] −→ R integrante tiene derivada continua, es posible, reemplazar la integral
de Riemann - Stieltjes por una integral de Riemann.

Teorema 2.3.4 (Barttle [2];[Teorema 29.8])

Sean α ∈ C[a, b] tal que la derivada α′ existe. Si f ∈ RSα [a, b], entonces f α′ ∈ R[a, b] y además
Z Z
dαf = R f α′
[a,b] [a,b]

2.3.2. Existencia de la integral Riemann - Stieltjes

En la sección anterior se demostraron algunas propiedades útiles de la integral de Riemann - Stieltjes.
Sin embargo, aún no se ha demostrado la existencia de la integral de Riemann - Stieltjes donde el inte-
grando y el integrador esten en ciertos subespacios de las funciones acotadas.

En esta sección se podrá especial atención a las funciones α : [a, b] −→ R integrantes monótomamente
crecientes aunque gran parte de lo que aquı́ se haga se puede extender a las funciones α : [a, b] −→ R
integrantes de Variación acotada.

Teorema 2.3.5 (Criterio de Riemann para integrabilidad)

Sean α : [a, b] −→ R monotomamente creciente y f ∈ RSα [a, b] si, y sólo si, para todo ε > 0, existe
una partición Pε ∈ P[a, b] tal que si P ∈ P[a, b] es un refinamiento de Pε , entonces
n(P)
X
(Mj − mj )[α(tj ) − α(tj−1 )] < ε
j=1

donde Mj = sup {f (t)} y mj = ı́nf {f (t)} para cada j ∈ {1, 2, . . . , n(P)}.

t∈[tj−1 ,tj ] t∈[tj−1 ,tj ]
Integral de Riemann - Stieltjes 30

Teorema 2.3.6 (Barttle [2];[Teorema 30.2])

Si f ∈ C[a, b] y α : [a, b] −→ R monótoma creciente, entonces f ∈ RSα [a, b].

Corolario 2.3.1 (Barttle [2];[Corolario 30.3])

Si f ∈ C[a, b] y α : [a, b] −→ R monótoma, entonces f ∈ RSα [a, b].

Observación 2.2 Si f ∈ C[a, b] y α ∈ BV[a, b], entonces la conclusión del Teorema 2.1.6 es cierta, es
decir, f ∈ RSα [a, b].

El criterio de Riemann nos permite demostrar que el valor absoluto y el producto de funciones Riemann
- Stieltjes integrables son Riemann - Stieltjes integrables.

Teorema 2.3.7 (Barttle [2];[Lema 30.5])

Sea α : [a, b] −→ R monótoma creciente y f ∈ B[a, b]. Entonces

1. Si f ∈ RSα [a, b], entonces |f | ∈ RSα [a, b] y además

Z Z
dαf ≤ dα|f | ≤ kf k∞ [α(b) − α(a)]
[a,b] [a,b]

1.a Si m ≤ f (x) ≤ M ∀ t ∈ [a, b], entonces

Z
m[α(b) − α(a)] ≤ dαf ≤ M[α(b) − α(a)]
[a,b]

2. Si f1 , f2 ∈ RSα [a, b], entonces f1 .f2 ∈ RSα [a, b].

Observación 2.3 Sean f ∈ B[a, b] y α ∈ BV[a, b]. Entonces la conclusión del Teorema 2.3.7 parte 1, es
cierta, esto es, f ∈ RSα [a, b], entonces |f | ∈ RSα [a, b] y
Z Z
dαf ≤ dα|f | ≤ kf k∞ V [α].
[a,b] [a,b]

El Teorema 2.3.7 parte 1. Será de gran utilidad para probar que la integral de Riemann - Stieltjes
cumple el Teorema de Valor Medio.

Teorema 2.3.8 (Valor Medio para la integral)(Barttle [2];[Teorema 30.6])

Sean α : [a, b] −→ R es creciente y f ∈ C[a, b], entonces existe c ∈ [a, b] tal que
Z Z
dαf = f (c) dα = f (c)[α(b) − α(a)].
[a,b] [a,b]
31 Carlos Gomez

Teorema 2.3.9 (Barttle [2];[Teorema 30.7])

Sean f ∈ C[a, b], α : [a, b] −→ R una función tal que

1. α es creciente en [a, b].

2. existe α′ en un punto c ∈ [a, b].

Y definimos F : [a, b] −→ R por

Z
F (x) = dαf ∀ x ∈ [a, b]
[a,x]

Entonces F ′ (c) = f (c)α′(c).

2.4. Cambio de variable para la integral de Riemann - Stieltjes

En esta sección enunciaremos el Teorema de cambio de variable para la integral de Riemann - Stieltjes.

Teorema 2.4.1 (Cambio de Variable)

Sean α, f : [a, b] −→ R funciones. Si f ∈ RSα [a, b] y ϕ : [c, d] −→ R función tal que

1. ϕ ∈ [a, b]

2. ϕ es estrictamente creciente en [a, b]

3. ϕ(c) = a, ϕ(d) = b,

entonces f◦ ϕ ∈ RSα◦ ϕ [c, d] y además

Z Z
dαf = (f◦ ϕ)d(α◦ ϕ).
[a,b] [c,d]
 CAPÍTULO 3
TEOREMA DE REPRESENTACIÓN
PARA FUNCIONES LINEALES,
ACOTADOS EN C[A, B].

Los Teoremas de representación son de suma importancia en el contexto del Análisis Funcional. En
este Capı́tulo nos proponemos alcanzar nuestro objetivo; es decir, demostrar el Teorema de representación
de Riesz para funcionales lineales acotados en C[a, b] a través de la integral de Riemann - Stieltjes.

3.1. Funcionales lineales acotados

La estructura algebraica que posee todo espacio normado hace plantearnos el estudio de funcionales
lineales acotados en él que toma valores en K (K = R o C).

Definición 3.1.1 (Funcional lineal acotado)

Sea (X, k · k) un espacio normado y un funcional F : (X; k · k) −→ K. Diremos que:

1. Lineal, si

F [λx + γy] = λF [x] + γF [y]

para todo x, y ∈ X, para todo λ, γ ∈ K.

32
33 Carlos Gomez

2. Acotado, si existe M > 0 tal que

kF [x]k ≤ Mkxk ∀ x ∈ X.

Definición 3.1.2 Denotaremos

 
L[(X; k · k); K] = F : (X, k · k) → K : F es lineal y acotada

el cual es un espacio vectorial con las operaciones usuales. El funcional k · k : L[(X; k · k); K] → R definido
por

|F [x]|
kF k = sup
x∈X kxk
x6=θ

está bien definida, porque para cada x ∈ X con x 6= θ se verifica

|F [x]| ≤ kF kkxk.

Ası́, k · k es una norma en L[(X; k · k); K].

Ejemplo 3.1 Sean (C[a, b]; k · k∞ ) un espacio normado y el funcional F : (C[a, b]; k · k∞ ) → R definido
por
Z
F [x](t) = dα(t)f (t) ∀ f ∈ C[a, b], ∀ t ∈ [a, b]
[a,b]

para algún α : [a, b] → R monótoma. F es lineal y acotado.

En efecto: Por el Teorema 2.1.1 parte 1, se tiene que F es lineal.

Por otro lado, aplicando el Teorema 2.3.7 parte 1, tomando M = |α(b) − α(a)| > 0 se tiene

|F [f ](t)| ≤ Mkf k ∀ f ∈ C[a, b], ∀ t ∈ [a, b],

es decir, F es acotada.
Teorema de representación para funciones lineales, acotados en C[a, b] 34

3.2. Teorema de Hahn - Banach

En está sección enunciaremos el Teorema de Hahn - Banach sin demostración.

Teorema 3.2.1 (Banach and Narici [1];[Teorema 12.1])

Sean (F, k · k) espacio normado, E un subespacio de F, un funcional p : (F, k · k) → R tal que

1. p(λx) = |λ|p(x) ∀ x ∈ F, ∀ λ ∈ K

2. p(x + y) ≤ p(x) + p(y) ∀ x, y ∈ F

Si F : (E, k · k) → K un funcional lineal tal que

|F [x]| ≤ p(x) ∀ x ∈ E,

entonces existe Fe : (F, k · k) → K tal que

a. Fe[x] = F [x] ∀x ∈ E

b. |Fe[x]| ≤ p(x) ∀ x ∈ E.

3.3. Aplicación del Teorema de Hahn - Banach

En esta sección veremos una aplicación directa del Teorema de Hahn - Banach. Probaremos que:
Sean (B[a, b]; k · k∞ ) espacio normado, C[a, b] es un subespacio vectorial en B[a, b] y un funcional F :
(C[a, b]; k · k∞ ) → R lineal acotado. Entonces, existe un funcional Fe : (B[a, b]; k · k∞ ) → R lineal y acotado
que extiende a F.

Corolario 3.3.1 Sean (B[a, b]; k · k∞ ) espacio normado, C[a, b] subespacio vectorial de B[a, b] y un fun-
cional F : (C[a, b]; k · k∞) → R lineal acotado. Entonces, existe un funcional Fe : (B[a, b]; k · k∞ ) → R lineal
acotado tal que

1. Fe[f ] = F [f ] ∀ f ∈ C[a, b]

2. kFek = kF k.
35 Carlos Gomez

Demostración Por hipótesis F es acotado en C[a, b], entonces

kF [f ]k ≤ kF kkf k∞ ∀ f ∈ C[a, b]

consideremos ahora p : (B[a, b]; k · k∞ ) → R definido por

p[f ] = kF kkf k∞ ∀ f ∈ B[a, b]

lo cual verifica

a. p[λf ] = λp[f ] ∀ B[a, b]

b. p[f + g] ≤ p[f ] + p[g] ∀ f, g ∈ B[a, b]

c. |F [f ]| ≤ p[f ] f ∈ C[a, b].

Del Teorema 3.2.1 se sigue la existencia del funcional Fe : (B[a, b]; k · k∞ ) → R lineal tal que

i. Fe extiende a F.

ii. |Fe| ≤ p[f ] ∀ f ∈ B[a, b].

Afirmación 1:

kFek = kF k.

En efecto, de ii. se tiene que

|Fe[f ]| ≤ p[f ] ∀ f ∈ B[a, b],

es decir,

|Fe[f ]| ≤ kF kkf k ∀ f ∈ B[a, b].

Sea f ∈ B[a, b] con f 6= θ. Entonces

Teorema de representación para funciones lineales, acotados en C[a, b] 36

|Fe[f ]|
≤ kF k
kf k

de modo que

|Fe[f ]|
≤ kF k ∀ f ∈ B[a, b] con f 6= θ.
kf k

Ası́,

|Fe[f ]|
kFek = sup ≤ kF k
f ∈B[a,b] kf k
f 6=θ

implica que kFek ≤ kF k (3.1).

Por otro lado,

|F [f ]|
kFek = sup
f ∈C[a,b] kf k
f 6=θ

|Fe[f ]|
= sup (Por ser Fe extensión de F.)
f ∈C[a,b] kf k
f 6=θ

|Fe[f ]|
≤ sup = kFek
f ∈B[a,b] kf k
f 6=θ

esto implica que kFek ≤ kf k (3.2).

En consecuencia de (3.1) y (3.2) se tiene

kFek = kF k.

37 Carlos Gomez

3.4. Teorema de representación de Riesz

En está sección demostraremos que todo funcional lineal acotado en C[a, b] está generado por la integral
de Riemann - Stieltjes con respecto a alguna función de variación acotada en [a, b]. Esta es una forma del
célebre Teorema de representación de Riesz que es una clave para el tema Análisis Funcional y tiene muchas
generalizaciones y aplicaciones.

Teorema 3.4.1 Dado F ∈ L[C[a, b]; K]. Entonces existe una función α ∈ BV [a, b] tal que para todo
f ∈ C[a, b]
Z
i. F [x](t) = dα(t)f (t)
[a,b]

ii. kF k = V [α] donde V [α] denota la variación de α.

Demostración Por el Corolario 3.3.1. Dado F ∈ L[C[a, b]; K], entonces existe Fe ∈ L[B[a, b]; K] tal que

a. Fe =F
C[a,b]

b. kFek = kF k.

Por otro lado, para cada a < s ≤ b, consideremos la función caracterı́stica X[a,s] : [a, b] → R definida
por

 1, si t ∈ [a, s]
X[a,s] =

0, si t ∈ (s, b]

lo cual verifica que X[a,s] ∈ B[a, b] ∀ s ∈ (a, b].

Ahora, probaremos que existe una función α ∈ BV [a, b] tal que V [α] = kFek.

En efecto: Para ello, definamos α : [a, b] → R por

  
 Fe X[a,s] , a < s ≤ b (3.1)
α(s) :=

0, s = a.
Teorema de representación para funciones lineales, acotados en C[a, b] 38

Afirmación 1:

α ∈ BV [a, b].

En efecto: Probaremos que V [α] < ∞. Equivalente a probar que todo P ∈ P[a, b] tal que V [α; P] < ∞.

Sea P ∈ P[a, b] y para cada i ∈ {1, 2, . . . , η(P)} consideremos

 
βi = sgn α(ti ) − α(ti−1 )

donde


 0, α(ti ) − α(ti−1 ) = 0

sgn [α(ti ) − α(ti−1 )] =

 α(ti ) − α(ti−1 )
 , α(ti ) − α(ti−1 ) 6= 0.
|α(ti ) − α(ti−1 )|

se sigue que

 0, α(ti ) − α(ti−1 ) = 0
|βi | =

1, α(ti ) − α(ti−1 ) 6= 0.

Definamos Y : [a, b] → K

 β1 , t ∈ [t0 , t1 ]
Y (t) =

βi , t ∈ [ti−1 , ti ] i ∈ {2, 3, . . . , η(P)}

la cual verifica:

a.- Y ∈ B[a, b] y kY k∞ ≤ 1

b.- Y (t) = β1 X[t0 ,t1 ] (t) + β2 X[t1 ,t2 ] (t) + · · · + βn X[tn−1 ,tn ] (t) ∀ t ∈ [a, b]
39 Carlos Gomez

Supongamos que

 0, i=0
Yi =

X[a,ti ] , i ∈ {1, 2, . . . , η}

Afirmación 2. Para todo t ∈ [a, b],

n
X
Y (t) = βi [Yi (t) − Yi−1 (t)] (3.1)
i=0

n
[
En efecto: Sea t ∈ [a, b]. Entonces t ∈ [ti−1 , ti ], es decir, existe i0 = 1 tal que t ∈ [a, t1 ], resulta que
i=0

n
X
βi [Yi(t) − Yi−1 (t)] = β1 [Y1 (t) − Y0 (t)] + β2 [Y2 (t) − Y1 (t)] + · · · + βn [Yn (t) − Yn−1 (t)]
i=1

= β1 [1 − 0] + β2 [1 − 1] + · · · + βn [1 − 1]

= β1

= Y (t).

Esto verifica (3.1) en el caso t ∈ [a, t1 ], la verificación para otro t se sigue de manera análoga.

Por otro lado, aplicando el funcional Fe a ambos lados de (3.1), resulta para t ∈ [a, b]

n
X
Fe[Y ] = βi [Fe[Yi ] − Fe[Yi−1 ]] (Por la linealidad de Fe)
i=1

y como Fe[Yi ] = Fe[X[a,ti ] ] = α(ti ), entonces

Teorema de representación para funciones lineales, acotados en C[a, b] 40

n
X
Fe[Y ] = βi [α(ti ) − α(ti−1 )]
i=1

n
X [α(ti ) − α(ti−1 )]
= [α(ti ) − α(ti−1 )]
i=1
|α(ti ) − α(ti−1 )|

n
X n
X
|α(ti ) − α(ti−1 )|2
= = |α(ti ) − α(ti−1 )|.
i=1
|α(ti) − α(ti−1 )| i=1

De donde, se sigue
n
X
|α(ti ) − α(ti−1 )| = |Fe[Y ]| ≤ kFekkY k∞
i=1

≤ kFek = kF k.

Ası́,
n
X
|α(ti ) − α(ti−1 )| ≤ kFek ∀ P ∈ P[a, b]
i=1

equivalente

V [α; P] < kF k ∀ P ∈ P[a, b]

En consecuencia, α ∈ BV [a, b] y además

V [α] ≤ kF k (3.2)
Afirmación 3.
Z
F [f ](t) = dα(t)f (t) para todo f ∈ C[a, b], para todo t ∈ [a, b].
[a,b]

En efecto: Sea f ∈ C[a, b] arbitraria y P ∈ P[a, b], podemos definir SP : [a, b] → K por
41 Carlos Gomez

SP = f (t1 )X[t0 ,t1 ] + f (t2 )X[t1 ,t2 ] + · · · + f (tn ) · X [tn−1 , tn ] (3.3)

la cual verifica:

a) SP ∈ E[a, b] (E[a, b] = {f : [a, b] → R : f es escalonada}).

b) Para todo ε > 0,

kSP − f k∞ < ε/2kF k

En efecto:

a. Es claro

b. Dado ε > 0. Queremos probar que

ε
kSP − f k∞ ≤ .
2kF k

Equivalente a probar que

ε
|SP (t) − f (t)| < ∀ t ∈ [a, b]
2kF k

Como f ∈ C[a, b], entonces f es uniformemente continua en [a, b], es decir, para el fijado ε > 0 existe
η > 0 tal que ξ1 , ξ2 ∈ [a, b].
ε
|ξ1 − ξ2 | < η ⇒ |f (ξ1) − f (ξ2 )| <
kF k

η(P)
[
Ahora, sea t ∈ [a, b]. Entonces t ∈ [ti−1 , ti ], es decir, existe i0 ∈ {1, 2, . . . , η(P)} tal que ∀ t ∈
i=1
[ti0 −1 , ti0 ].
Teorema de representación para funciones lineales, acotados en C[a, b] 42

i.- Si t = ti0 −1 , resulta

ε
|SP (ti0 −1 ) − f (ti0 −1 )| = |f (ti0 −1 ) − f (ti0 −1 )| = 0 < .
2kF k

ii.- Si t = ti0 , resulta

ε
|SP (ti0 −1 ) − f (ti0 −1 )| = |f (ti0 −1 ) − f (ti0 −1 )| = 0 < .
2kF k

iii.- Si t ∈ (ti0 −1 , ti0 ), se tiene que

ε
|SP (t) − f (t)| = |f (t) − f (t)| = 0 < .
2kF k

Ası́, para el fijado ε > 0

ε
kSP − f k∞ = sup |SP (t) − f (t)| < .
t∈[a,b] 2kF k

Por otro parte, el funcional Fe es lineal y continuo en B[a, b], luego, si SP ∈ B[a, b], se tiene

|Fe[SP ] − Fe[f ]| ≤ kFekkSP − f k∞ = kF kkSP − f k∞ .

Por lo tanto, si kPk < η implica que

ε
|Fe[SP ] − Fe[f ]| ≤ kF kkSP − f k∞ ≤ kF k = ε/2
2kF k

Aplicando Fe a ambos lados de (3.2)

Fe[SP ] = f (t1 )Fe[X[t0 ,t1 ] ] + f (t2 )Fe[X[t1 ,t2 ] ] + · · · + f (tn )Fe[X[tn−1 ,tn ] ],

luego,
43 Carlos Gomez

Fe[SP ] = f (t1 )Fe[X[t0 ,t1 ] ] + f (t2 )Fe[X[t0 ,t2 ] − X[t0 ,t1 ] ] + . . .

· · · + f (tn )Fe[X[t0 ,tn ] − X[t0 ,tn−1 ] ]

= f (t1 )Fe[X[t0 ,t1 ] ] + f (t2 )[Fe[X[t0 ,t2 ] ] − Fe[X[t0 ,t1 ] ]] + . . .

· · · + f (tn )[Fe[X[t0 ,tn ] ] − Fe[X[t0 ,tn−1 ] ]]

= f (t1 )[α(t0 ) − α(t1 )] + f (t2 )[α(t2 ) − α(t1 )] + . . .

· · · + f (tn )[α(tn ) − α(tn−1 )]

n
X
= f (ti )[α(ti ) − α(ti−1 )]
i=1

= SPe (f, α).

Ası́, Fe[SP ] = SPe (f, α).

Por lo tanto, si P ∈ P[a, b] con kPk < mı́n{n, S}, resulta

Z Z
dαf − F [f ] = dαf − SPe (f, α) + SPe (f, α) − F [f ]
[a,b] [a,b]

De donde, se sigue que

Z Z
dαf − F [f ] ≤ dαf − SPe (f, α) + |SPe (f, α) − F [α]|
[a,b] [a,b]

Z
= dαf − SPe (f, α) + |Fe[SP ] − Fe[f ]|
[a,b]

ε ε
≤ + =ε
2 2

Ası́, para todo ε > 0, resulta

Teorema de representación para funciones lineales, acotados en C[a, b] 44

Z
dαf − F [f ] < ε ∀ f ∈ C[a, b]
[a,b]

En consecuencia,
Z
F [f ](t) = dα(t)dt ∀ f ∈ C[a, b], ∀ t ∈ [a, b]
[a,b]

Afirmación 4:

kF k = V [α].

En efecto: Por la desigualdad (3.2), se tiene que

V [α] ≤ kF k

Basta probar que

V [α] > kF k.

Sean f ∈ C[a, b] y α ∈ BV [a, b]. Entonces por el Teorema 2.1.7 parte 1, se verifica que
Z
dαf ≤ kf k∞ V [α] (3.4)
[a,b]

Por la definición de F y de (3.4), resulta que

|F [f ]| ≤ kf k∞ V [α] ∀ f ∈ C[a, b]

esto implica que

|F [f ]|
≤ V [α] ∀ f ∈ C[a, b] con f 6= θ
kf k∞
45 Carlos Gomez

luego

|F [f ]|
kF k = sup ≤ V [α]
f ∈C[a,b] kf k∞
f 6=θ

implica que

kF k ≤ V [α] (3.5)

En consecuencia de (3.2) y (3.5),

kF k = V [α].

 BIBLIOGRAFÍA

[1] G. Bachmon and L. Narici. Functional Analysis. Academic Press, New York, 1966.

[2] R. G. Barttle. Introducción al Análisis Matemático. Editorial Limusa, México, 1987.

[3] W. Brito. Las integrales de Riemann, Lebesgue y Henstock - Kurzweil, 2016.

[4] N. Haaser y J. Sullivan. Análisis Real. Editorial Trillas, México, 1978.

[5] E. Kreyszig. Introductory Functional Analysis with Applications. John Wiley and Sons, New York,
1978.

[6] A. López y P. Ezquerra. Un curso de Análisis Funcional.

[7] G. Tepedino. Cálculo en varias variables reales. Kariña Editores. Mérida Venezuela, 1997.

46