Integral Bochner PDF

2
LA INTEGRAL DE BOCHNER
UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CÁLDAS
FACULTAD DE CIENCIAS Y EDUCACIÓN

PROYECTO CURRICULAR DE MATEMÁTICAS
JUAN DAVID LEAL CAMPUZANO
Bogotá D. C.
2017
3
4
UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CÁLDAS
FACULTAD DE CIENCIAS Y EDUCACIÓN
PROYECTO CURRICULAR DE MATEMÁTICAS
LA INTEGRAL DE BOCHNER
JUAN DAVID LEAL CAMPUZANO
Trabajo de Grado presentado como parte de

los requisitos para la obtención del título
de Matemático por la Universidad Distrital
Francisco José de Cáldas.
Director:
MILTON DEL CASTILLO LESMES ACOSTA
Bogota, D.C
2017
Índice general
Introducción 7
Justificación 9
Objetivos 11
0.1. Objetivo general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
0.2. Objetivos específicos . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1. Integral de Lebesgue 13
1.1. Historia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2. Definición, propiedades y ejemplos . . . . . . . . . . . . . . . . . . . 14
2. Integral de Bochner 21
2.1. Definición de la integral de Bochner . . . . . . . . . . . . . . . . . . 21
2.2. Propiedades de la integral de Bochner . . . . . . . . . . . . . . . . . 23
2.2.1. Teorema de medibilidad de Pettis . . . . . . . . . . . . . . . 30
2.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
Conclusiones 43
5
6 ÍNDICE GENERAL
Introducción
En la historia yace la necesidad del uso del símbolo de la integral como un ope-
rador antiderivada con Newton y Leibniz, los cuales introducen los infinitesimos
con sus respectivos usos en en el cálculo, continuamente la necesidad de medir
longitudes, áreas y volúmenes dieron paso a la integral de Riemann, las cuales con
algunas falencias tuvieron algunos avances hasta encontrar funciones las cuales
la integral de Riemann no podía medir, en a necesidad de querer medir aquellas
funciones y con ayuda de Emille Borel, se da paso a la integral de Lebesgue y con
el a la teoría de la medida que actualmente se ve y se estudia, en 1933 Von Neu-
mann y Salomón Bochner escriben basados en la teoría de Lebesgue, un artículo
acerca de medidas vectoriales a través de integrales sobre espacios vectoriales,
con el fin de caracterizar funciones a través de sus del análisis de Fourier como
una forma de medir las funciones sobre espacios más complejos.
El presente trabajo está basado en la obra de Jan Mikusinski del libro Bochner
integral. En el primer capítulo se retomara la teoría de la integral de Lebesgue con
su respectivos teoremas, en el segundo capítulo se dará a conocer la definición
formal de la integral de Bochner con distintas propiedades que la caracterizan y
para terminar en el capítulo 3 se mostrarán unos ejemplos para entender mejor
como funciona la integral de Bochner.
7
8 ÍNDICE GENERAL
Justificación
El fin es entender a cabalidad la integral de Lebesgue como una medida en

Rn y observar la ampliación de la teoría hacia una forma de medir en espacios
vectoriales y más aun espacios de Banach a través de la integral de Bochner.
9
10 ÍNDICE GENERAL
Objetivos
0.1. Objetivo general

Identificar la integral de Bochner como una generalización de la integral de Le-
besgue y analizar sus propiedades.
0.2. Objetivos específicos

1.) Definir la integral de Bochner como una medida vectorial sobre un espacio de
Banach
2.) Comparar las propiedades de la integral de Bochner con las propiedades del
a integral de Lebesgue
3.) Ejemplificar funciones medibles sobre espacios de Banach desde la integral de

Bochner
11
12 ÍNDICE GENERAL
Capítulo 1
Integral de Lebesgue
1.1. Historia
Hacia finales del siglo XIX, el matemático alemán Bernhard Riemann instauró una
noción de integral que acogía funciones altamente discontinuas. Sin embargo, la
noción de integral de Riemann llevaba a contradicciones. Justamente, el matemá-
tico Camille Jordan intentó una salida a los problemas de la integral de Riemann
a través de la noción de contenido. A pesar de ser una salida bastante sutil, en-
caminaba el problema en la dirección de una teoría abstracta de la medida,que
empieza a ventilarse con los trabajos de Émile Borel. Ese es justamente el punto
de partida de Lebesgue.En su tesis doctoral de 1902 Integral, Longitud, Área.
Lebesgue se da cuenta que para establecer una noción rigurosa de integral debía
volver a los fundamentos primigenios de la geometría de los antiguos; concreta-
mente debía convertir el concepto de medida relativa, implícito en la geometría
euclidiana,en una noción de medida absoluta. En este sentido Lebesgue entiende
que una fundamentación rigurosa de la noción de integral se da como proyección
de los fundamentos sobre los que reposa la geometría.Para Lebesgue, el problema
de la medida consiste en asignarle a cada conjunto acotado un número mayor o
igual a cero, que se denomina su medida, bajo las siguientes premisas:
1. Existe un conjunto cuya medida es diferente de cero.
2. La medida es invariante bajo traslaciones.
3. La medida de la unión de un número finito o numerable de conjuntos,
disjuntos dos a dos, es la suma de las medidas de los conjuntos.
Para Lebesgue, estas tres propiedades sintetizan el desarrollo histórico de la acti-
vidad de medir.
13
14 CAPÍTULO 1. INTEGRAL DE LEBESGUE
1.2. Definición, propiedades y ejemplos

Definición 1. Sea X un conjunto arbitrario, entonces la familia X de subconjuntos de X
se llama una σ− álgebra si solo si cumple las siguientes propiedades:
∅ y X estan en X.
si A ∈ X entonces Ac ∈ X.
S∞
Para una sucesión de conjuntos En en X, entonces n=1 En pertenece a X
Definición 2. Sea un conjunto X y sea X una σ− álgebra sobre X, se define µ una medida
como una función de X en R+ que cumple lo siguiente:
µ(∅) = 0
µ(A) ≥ 0 para todo A ∈ X.
La función es contablemente aditiva, es decir para un sucesión de elementos En de

X, ∞ ∞

[  X
µ  En  =
  µ(En )
n=1 n =1
A la tripla (X, X, µ) se le llama un espacio de medida.
Definición 3. Sea un espacio de medida (X, X, µ) y sea A ⊆ X y A ∈ X, se dice que A

tiene medida σ- finita si es unión contable de elementos de la sigma álgebra y tiene medida
finita.
Definición 4. Sea un espacio de medida (X, X, µ) y sea Ω ⊆ Rn , dada una función

arbitraria f : X → Ω, decimos que f es una función simple si f (X) es numerable y
f −1 ({x}) es X − medible para todo x ∈ X.
En las definiciones anterior se puede tomar a X como un subconjunto de Rn y a µ

como la medida de Lebesgue con su respectiva σ−álgebra; como particularidad,
la medida de Lebesgue tiene la propiedad de invarianza bajo traslaciones, eso
quiere decir que dado un conjunto A ∈ X y una n−tupla r de Rn se define
A + r = y ∈ Rn ; y = x + r, x ∈ A

. la invarianza se caracteriza por µ(A) = µ(A + r).

A continuación se trabajará con funciones del tipo f : I → J donde I, J son interva-
los de la recta real, y con la medida de Lebesgue denotada por µ con su respectiva
1.2. DEFINICIÓN, PROPIEDADES Y EJEMPLOS 15
σ-álgebra para el caso de la integral de Lebesgue. Los conceptos más necesarios

se refieren a funciones simples y medibilidad fuerte entre otros, con el uso de
los teoremas de convergencia monótona y convergencia dominada usados en la
teoría de la medida [1, pag. 31, pag. 44].
Para entender la definición formal de una función Lebesgue medible. Definase la

función característica de R en R:

1
 a<x<b
χ(a,b) (x) = 

0 E.O.C.

Para comodidad de notación se utilizará χ(a,b) (x) como χ(a, b); Utilizando la medida
de Lebesgue sobre los reales, así se tiene que L(χ(a, b)) = b−a. EL siguiente ejemplo
mostrará como funciona la integral de Lebesgue sobre el espacio de los reales.
Ejemplo 1. Sea la función triángulo, simétrica en el intervalo [−1, 1]:




 x+1 −1≤x<0
f (x) =  −x + 1 0 ≤ x ≤ 1

(1.1)



0 E.O.C.

Figura 1.1: Función triángulo simétrica en el intervalo
veamos que es Lebesgue integrable.

La función triángulo simétrica se puede escribir como la suma de dos funciones

de la siguiente manera:
f (x) = (x + 1)χ[−1, 0] + (−x + 1)χ(0, 1]
tómese f1 (x) = (x + 1)χ[−1, 0] y f2 (x) = (−x + 1)χ(0, 1] así f = f1 + f2 , tomando

2i particiones del intervalo [−1, 1] para cada función f1 y f2 se puede tomar una
sucesión de funciones simples tal que fn1 y fn2 converjan a f1 y f2 respectivamente.
Las funciones son:
n 2i −1
1 X −2i+1 + 2k + 1 −2i+1 + 2k + 2
X !
fn1 (x) = i+1
χ i+1
, (1.2)
i=0
2 k=0
2 2i+1
n 2i −1
2k 2k + 1
!
X 1 X
fn2 (x) = χ i+1 , i+1 (1.3)
i=0
2i+1 k=0 2 2
como cada sucesión de funciones es una suma de funciones características en-

tonces se puede definir fn como la suma de fn1 y fn2 , así fn converge a la función
triangulo. Algunas imágenes de las gráficas para n = 1, n = 2, n = 3 se muestran
a continuación
fig 1 Función para n = 1

fig. 2 Función para n = 2
fig. 3 Función para n = 3
Así la función es Lebesgue integrable ya que por el teorema de convergencia

monótona, como fn → f y fn medible para cada n entonces f Lebesgue medible y
Z Z
f dµ = lı́m fn dµ = 1
Las anteriores gráficas muestran como se comporta la sucesión de funciones

simples al acercarse a la función original pero no necesariamente la sucesión de
funciones es única, se puede acercar tanto por ”abajo” como por ”arriba” y de
otras varias maneras, sin interferir en el resultado final, este hecho lo enuncia el
siguiente lema mostrado en [1, pag. 13], el cual tiene una gran importancia.
Lema 1. Sea f una función µ−medible, entonces existe una sucesión φn de funciones
simples µ−medibles tal que φn → f en casi todo punto y además φn ≤ φn+1 para todo
n ∈ N.
Demostración. [1, pag. 13]
Los dos siguiente ejemplos se dan gracias a Johann Peter Lejeune Dirichlet,el
primer ejemplo es una función la cual no era Riemman integrable, llamada la
función de Dirichlet precisamente llamada así por quien la formuló.
Ejemplo 2. Sea f como


0
 si x ∈ I ∩ [0, 1]
f (x) = 

1
 si x ∈ Q ∩ [0, 1]
se desea hallar la integral de Lebesgue de la función en el intervalo cerrado [0, 1].
Sea Q = Q ∩ [0, 1], dado que es numerable entonces se puede definir a Q =

{a1 , a2 , a3 , ...} donde ai < a j para i < j; tómese el intervalo (ai , ai+1 ) y sea una sucesión
bin tal que bin → ai , además que bi1 = ai+1 y que bik+1 > bik para todo i, k ∈ N. Se tiene
que |ai − bi1 | < 2−i por la densidad de Q en R.
Ahora tómese la sucesión de funciones
n X
X ∞
fn (x) = 1 − χ([bik , bik+1 )
k=1 i=1
Entonces fn (x) → f (x)
Ahora dado que bin → ai para todo > 0 existe Ni ∈ N tal que si n ≥ Ni entonces
|bin − ai | < 2−i
para todo i natural; así tómese N = maxi {Ni } y si n ≥ N entonces

Z Z
1 Xn X ∞ Z 1 1 X ∞
|1 − χ([bik , bik+1 )|dµ − f dµ = | χ((bin , ai )|dµ
0 k=1 i=1 0 0 i=1

X ∞
= ai − bin
i=1
X ∞
≤ |ai − bin |
i=1
X∞
< 2−i
i=1
=
R1
por lo tanto es integrable Lebesgue y 0
f dµ = 0.
El segundo ejemplo es por decirlo así el complemento de la función de Dirichlet,

es decir
Ejemplo 3. Sea f como


1
 si x ∈ I ∩ [0, 1]
f (x) = 

0
 si x ∈ Q ∩ [0, 1]
se desea hallar la integral de Lebesgue de la función en el intervalo cerrado [0, 1].
Sea Q = Q ∩ [0, 1], dado que es numerable entonces se puede definir a Q =

{a1 , a2 , a3 , ...} donde ai < a j para i < j; se puede notar que an → 1 si n → ∞. Por otro
lado sea la sucesión de funciones fn (x) definidas de la siguiente manera:

1
 si x ∈ (an , an+1 )
fn (x) = 

0
 si E.O.C.
R
Así definida ni=1 fi (x) → f (x) si n → ∞. Ahora observe que lı́mn→∞ [0,1] | f (x) − fn (x)| =
P
0. En efecto dado que an → 1, para todo > 0 existe N ∈ N tal que si n ≥ N entonces
|1 − an | < ; ahora
Z Z X n

| f − f |dµ = | f − f (x)|dµ

n i
i=1

Z
X ∞
= | fi (x)|dµ
i=n

X n
= 1 − fi (x)
i=1

= |1 − an |
< si n ≥ N
R
Así f (x) es Lebesgue integrable y f (x)dµ = 1 Los dos ejemplos anteriores escla-
recen aún un poco más como funciona la integral de Lebesgue. Se puede observar
que las integrales de las estas funciones nos definen la medida de los conjuntos
donde están definidas las funciones; el ejemplo 1 define la medida de Lebesgue
de los racionales en el intervalo [0, 1] y el ejemplo 2 define la medida de Lebesgue
de los irracionales en el mismo intervalo intervalo.
Definición 5 (Continuidad absoluta). Sea un espacio de medida (X, X, µ) y sea una

medida v : X → R, se dice que v es absolutamente continua con respecto a µ si para todo
A ∈ X tal que v(A) = 0 implica que µ(A) = 0
Capítulo 2
Integral de Bochner
2.1. Definición de la integral de Bochner

Esta sección está dedicada al examen de la integral de Bochner. Algunos la co-
nocen como ”integral de Dunford y Schwart” y otros como ”Primera integral de
Dunford”. La integral de Bochner es una abstracción directa de la integral de
Lebesgue, dicha integral fue introducida por Salomon Bochner en 1933. Se podría
decir que la integral de Bochner es solamente la integral de Lebesgue donde el va-
lor absoluto ha sido reemplazado por la norma en el espacio de Banach. Aunque
esto ocurre frecuentemente, tal comentario constituye una valoración errónea de
la integral de Bochner. De hecho, la falla del Teorema de Radon-Nikodym para la
integral de Bochner es la base de algunos de los resultados más sorprendentes en
la teoría de medidas vectoriales y en la teoría de estructura de espacios de Banach.
Por lo pronto se dará su definición y algunas propiedades que obtiene y otras que
hereda de la integral de Lebesgue.
Definición 6. Sea un función f : X → E donde X es un espacio de medida σ-finito
(X, X, µ) y E es un espacio de Banach, entonces f es fuertemente µ-medible si existe una
sucesión de funciones simples fn : X → E que converge a f en casi todo punto.
La definición de medibilidad fuerte da la concepción de lo que es la integral de
Bochner de una función de un espacio de medida σ- finito a un espacio de Banach.
Definición 7 (Integral de Bochner). Sea un función f : I → E de un intervalo I de R
con la medida de Lebesgue, y E un espacio de Banach, entonces f es Bochner medible o
Bochner integrable si es fuertemente medible y
Z
lı́m k fn − f kE dµ = 0 (2.1)
n→∞ I
21
22 CAPÍTULO 2. INTEGRAL DE BOCHNER
En ese caso se define la integral de f como

Z Z
f = lı́m fn dµ (2.2)
n→∞ I
En general Las funciones Lebesgue medibles son funciones también Bochner

medibles, los ejemplos 2 y 3 son ejemplos de ella y, aún más las funciones Riemann
son Bochner integrables. Para el ejemplo 1 se tiene que
Z
1
lı́m | f (x) − fn (x)| = lı́m
n→∞ [0,1] n→∞ 2n
=0
y por lo tanto también es Bochner medible. Al conjunto de las funciones Bochner
integrables se denotará como B( fI ).
Proposición 1. Sea f una función simple, entonces f es Bochner integrable y
Z Xn
f dµ = µ(Bi ∩ I)xi
I i=1
Sn
Donde Bi ∩ B j = ∅ si j , i y además i=1 Bi = I
Demostración. Dado que f es simple entonces f (I) = {xi }ni=1 , así f se puede definir
como
n
X
f (x) = χ(Bi ∩I) xi
i=1
por lo tanto como es una sumatoria finita se tiene que
Z Xn Z
f dµ = χ(Bi ∩I) dµxi
I i=1
Z n
X
f dµ = µ(Bi ∩ I)xi
I i=1

Ejemplo 4. Sea g : I → R Lebesgue medible, y b ∈ E, entonces la función F(x) = g(x)b
es fuertemente medible dado que existe una sucesión gn de funciones simples que converge
a g, por lo tanto definida la sucesión Fn (x) = gn (x)b, se da que Fn (x) converge a F(x).
2.2. PROPIEDADES DE LA INTEGRAL DE BOCHNER 23
2.2. Propiedades de la integral de Bochner

Algunas propiedades importantes de la integral de Bochner son su linealidad, la
desigualdad triangular entre otras.
En primer lugar si una función f es Bochner integrable entonces existe una suce-
sión de funciones simples tal que f = f1 + f2 + f3 + ... y por lo tanto
Z Z Z Z
f = f1 + f2 + f3 + ... < ∞
De lo anterior se puede deducir el siguiente lema
Lema 2. Dadas dos funciones f y g con integral de Bochner finita y α un número real
entonces Z Z Z Z Z
f +g= f+ g<∞ α f = α· f <∞ (2.3)
Demostración. Tomando a a f y g como f = f1 + f2 + f3 + ... Ry g = g1 +Rg2 + g3 + ...

entonces
R f +R g = ( f + g)1 + ( f + g)R2 + ( f R+ g)3 +R... y así:R f + g = ( f + g)1 +
( f + g)2 + ( f + g)3 + ... < ∞ y α f = R α f1 + α R f2 + R α f3 + R... < ∞R y así por
las propiedades de las funciones simples f + g = f + g y α f = α · f
Lema 3. Dadas dos funciones Bochner integrables f , g y α un número real, entonces

f + g(x) y α f (x) es Bochner integrable
Demostración. Dado que f y g son Bochner integrables existen fn y gn tal que
fn → f y gn → g, por lo tanto si se toma hn = fn + gn entonces hn → ( f + g)(x) y si
se toma ln (x) = α fn entonces
R ln (x) → α f (x). R
Ahora veamos que k f + g − ( fn + gn ) kE = 0 y que k α f − α fn kE = 0
Sea > 0, para fn y gn existen N1 y N2 tal que

Z Z
k f − fn kE < /2 y k g − gn kE < /2 si n > N1 y n > N2 resp.
Así tomando N = max {N1 , N2 }:

Z Z
k f + g − ( fn + gn ) kE ≤ k f − fn kE + k g − gn kE
Z Z
≤ k f − fn kE + k g − gn kE
<
Sea > 0, para fn existe N tal que

Z
k f − fn kE < /|α| si n > N
Así
Z Z
k α f − α fn kE = |α| k f − fn kE
Z
=|α| k f − fn kE
<

Teorema 1. El espacio de las funciones Bochner integrables B( f ) es un espacio vectorial.
Demostración. Sabiendo que el espacio de las funciones es un espacio vectorial
entonces por los Lemas 1 y 2 queda mostrado
Para el el espacio de las funciones Bochner integrables se define la norma L1 ,
Teorema 2. El par (B( fI ), L1 ) donde µ(I) < ∞ es un espacio de Banach.
Demostración. Ya se tiene que L1 es un norma, solamente falta ver que es completo,
sea fn ∈ B( f ) un sucesión de cauchy y sea > 0, entonces existe N1 ∈ N tal que si
n, m ≥ N entonces Z
k fn − fm kE dµ < /2
Por otro lado como E es un espacio de Banach entonces existe f : I → E tal que
fn → f por ser completo, por lo tanto existe N2 ∈ N tal que si n ≥ N entonces
k fn − fm kE < /2µ(I)
Tomese N = máx {N1 , N2 }, entonces si n ≥ N
Z Z Z
k fn − f kE dµ ≤ k fn − fm kE dµ + k f − fm kE dµ
R
I dµ
≤ /2 +
2µ(I)
<
Por lo tanto f ∈ B( fI ), así (B( fI ), L1 ) es completo y por ende un espacio de Banach.

Proposición 2. Sea b ∈ E y una sucesión bm tal que bm → b y sea f (x) una función
Lebesgue integrable acotada, entonces lo siguiente se cumple:
f (x)bm es Bochner integrable para todo m ∈ N
f (x)bm → f (x)b
f (x)b es Bochner integrable.

Demostración. i)Sea > 0 como bm → b entonces existe N1 ∈ N tal que si n ≥ N1
entonces
k bm − b kE <
, como f (x) Lebesgue integrable entonces por el lema 1 existe una sucesión fn (x) →
f (x) creciente tal que para > 0 existe N2 ∈ N y se cumple que
Z
| fn (x) − f (x)|dµ < /||bm ||E
para cada m ∈ N fijo y para n ≥ N2 . Así fn (x)bm → f (x)bm para un m fijo y además
Z Z
k fn (x)bm − f (x)bm kE = ||bm ||E | fn (x) − f (x)|
I I
< ||bm ||E /||bm ||E =
Por lo tanto f (x)bm es Bochner integrable para todo m.

ii) Sea > 0 dado que f acotada existe K ∈ R+ tal que | f | ≤ K, bm → b entonces
existe N ∈ N tal que si n ≥ N entonces
k bm − b kE < /K
, así
Z Z
k f (x)bm − f (x)b kE = | f (x)| |bm − b|
I I
< || f (x)||/K
<
iii) Por el lema 1 existe una sucesión fn (x) → f (x) creciente y existe bm → b.
definase la sucesión de funciones
gn (x) = bn fn (x)
Sea > 0 existe N1 tal que si n ≥ N1 entonces

| fn (x) − f (x)| <
2( + ||b||E )
y existe N2 tal que si n ≥ N2 entonces
||bn − b||E < /2|K|
Ahora tómese N = max {N1 , N2 } entonces:
k fn (x)bn − f (x)b kE ≤ ||bn ||E | fn (x) − f (x)| + | f (x)| k bn − b kE

< ( + ||b||E ) + |K|
2( + ||b||E ) 2|K|
<
Por lo tanto gn (x) converge a f (x)b, además
Z Z Z
k fn (x)bn − f (x)b kE dµ ≤ ||bn ||E | fn (x) − f (x)|dµ+ k bn − b kE | f (x)|dµ k bn − b kE
I I I

< ( + ||b||E ) + |K|µ(I)
2( + ||b||E ) 2|K|µ(I)
<
Por lo tanto f (x)b es Bochner integrable
La propiedad de expresar una función Bochner integrable como una serie de

funciones simples permite tener la propiedad
Z Z
f ≤ || f ||E dµ (2.4)

Proposición 3. Una f : I → E función es Bochner integrable si solo si || f ||E : I → R+ es

Lebesgue integrable.
Demostración. ⇒ Sea f Bochner integrable entonces existe una sucesión de fun-
ciones fn simples tal que fn → f , definase la sucesión || fn ||E , entonces || fn ||E a || f ||E
por la desigualdad:
|| fn || − || f ||E ≤ || fn − f ||E
R
Además dado que fn es integrable para cada n, entonces || fn ||E dµ = ki=1 µ(Bi ∩ I)||xi ||E
Pn
para Bi subconjuntos de I con intersección vacía 2 a 2
por lo tanto || fn ||E son Lebesgue integrables y por el teorema de convergencia mo-
nótona se tiene que || f ||E es integrable Lebesgue. ⇐ Sea f una función tal que || f ||E
es integrable Lebesgue, Sea fn una sucesión de funciones simples que convergen
a f en casi todo punto, definase gn (x) = fn (x) si y sólo si || fn (x)||E ≤ 2|| f (x)||E y
gn (x) igual a 0 en otro caso. Entonces, puesto que ||gn ||E ≤ 2|| f ||E , se sigue que
||gn || es integrable y por la proposición 1 gn es una sucesión de funciones sim-
ples Bochner-integrables y además converge a f . Finalmente por la desigualdad
triangular
|| f − gn ||E + ||gn ||E ≤ ||gn − f ||E + || f ||E
|| f − gn ||E ≤ ||gn − f ||E − ||gn ||E + || f ||E
≤ ||gn − f − gn ||E + || f ||E
≤ 3|| f ||E
Como por hipótesis || f ||E es integrable podemos aplicar el teorema de convergencia

dominada de Lebesgue y deducir que:
Z
lı́m k gn − f dµ k= 0
n→∞ I
Lo cuál quiere decir que Z Z

lı́m gn dµ = f dµ
n→∞ I
Por lo tanto f es Bochner integrable.
Corolario 1. Dada una función f Bochner integrable, se tiene que la integral de Bochner
es una medida absolutamente continua con respecto a la medida de Lebesgue, es decir,
Z
lı́m f dµ = 0 (2.5)
µ(M)→0 M
Para algún M ∈ X
Demostración. Dado que f es Bochner
R integrable se tiene que || f ||E es Lebesgue
integrable y por ende lı́mµ(M)→0 M || f ||E dµ = 0 por el teorema anterior, y de la
R R
desigualdad triangular M f ≤ M || f ||E dµ se obtiene lo deseado.
La siguiente condición nos da una condición clave para reconocer una función
Bochner integrable Se conoce el teorema de convergencia dominada de Lebesgue
y su gran importancia, a continuación se dará una versión para la medida de
Bochner
Teorema 3 (Convergencia Dominada). Sea una sucesión fn : I → E de funciones que

convergen a f : I → E en casi todo punto de I. Si existe una función g : I → R Lebesgue
integrable tal que || fn ||E ≤ |g| para todo n natural entonces f es Bochner integrable y
Z Z
f dµ = lı́m fn dµ
I n→∞
Demostración. Dado que f : n → f entonces || fn ||E → || f ||E y como || fn ||E ≤ |g|, para
cada n || fn ||E es integrable y por teorema anterior es Bochner integrable, así por el
teorema de Convergencia Dominada e Lebesgue ||f|| es Lebesgue integrable y de
nuevo por el teorema anterior f es Bochner integrable.
R R
Para ver que lı́mn→∞ I fn dµ = f dµ, en efecto dado que fn → f para todo > 0
existe N natural tal que si n ≥ N entonces
|| fn − f ||E < /µ(I)
así tomese ese N, y si n ≥ N entonces por desigualdad triangular
Z Z Z
k fn dµ − f dµ kE ≤ k fn − f d kE µ
I I I
Z
< /µ(I) dµ
I
<
Así Z Z
f dµ = lı́m fn dµ
I n→∞ I

El siguiente teorema exhibe una propiedad fuerte de la teoría de la integral de
Bochner que no tiene análogo no trivial en la teoría de integración de Lebesgue.
Teorema 4. Sean f : I → E Bochner integrable y F un espacio de Banach sea el operador
lineal acotado T : E → F, entonces T ◦ f : I → F es Bochner integrable y
Z Z
T ◦ f = T( f )
I I
Demostración. Si f es simple entonces

n
X
f (x) = χBi xi
i=1
con xi ∈ E, así como T es lineal, se define

n
X
T( f (x)) = χBi ∩I T(xi )
i=1
y por lo tanto
Z n
X
T( f (x))dµ = µ(Bi )T(xi )
i=1
y por la linealidad de T se tiene que

n
X Xn
µ(Bi )T(xi ) = T( µ(Bi )xi )
i=1 i=1
Z
= T( f dµ)
Ahora suponga que f Bochner integrable, entonces existe sucesión de funciones

simples fn tales que fn → f y
Z Z Z
lı́m k fn − f kE dµ = 0 lı́m fn dµ = f dµ
n→∞ n→∞
Sea > 0,
Z Z Z Z
kT f dµ − T fn dµ kF =k T( f dµ fn dµ) kF
I I I I
Z Z
≤k T kk f dµ fn dµ) kE
Z I I
≤k T k k f − fn kE dµ
I
R
y dado que I
k f − fn k dµ → 0 entonces existe N ∈ N tal que si n ≥ N entonces
Z
k f − fn kE dµ < /||T||F
I
entonces
Z Z
kT f dµ − T fn dµ kF <
I I
así Z Z
T fn dµ → T f dµ
I I
Además
Z Z
T f dµ = T lı́m fn dµ
I n→∞ I
Z
= lı́m T( fn )dµ
n→∞ I
Z
= T( f )dµ
I
R
Así T ◦ f dµ es Bochner integrable.
2.2.1. Teorema de medibilidad de Pettis

En la teoría de integración sobre espacios de Banach y por sobretodo espacios
vectoriales el matemático Billy James Pettis hizo fuertes contribuciones sobre la
medibilidad de funciones definidas partiendo desde teorías ya establecidas por
Dimitri Egorov y Carlo Severini los cuales mostraban las condiciones suficientes
para la convergencia puntual y uniforme de una función sobre espacios de Banach
y sobre espacios vectoriales normados, el siguiente teorema que se debe a él y
muestra la propiedad de Pettis acerca de las consecuencias de que una función
definida de un subconjunto conexo de Rn a un espacio de Banach sea medible y
además integrable; los conceptos necesarios ya se han venido usando, como lo
son la medida de Lebesgue, la medibilidad fuerte, lo que es una función simple,
etc. así enuncia el teorema de medibilidad de Pettis
Teorema 5 (Teorema de medibilidad de Pettis). Sea una función f : I → E es
Lebsegue medible o fuertemente medible entonces existe M ∈ X con µ(M) = 0 y tal que
f (I/M) es un subconjunto separable de E
Demostración. Suponga que f es Lebesgue medible, por lo tanto existe una suce-
sión de funciónes simples fk tal que
lı́m k fk − f kE = 0 (2.6)
k→∞
en casi todo I. Definase para n, m naturales el conjunto

∞
[
En m = x ∈ I; k fk (x) − f (x) kE > 1/m

(2.7)
k=n
Como fk y f son medibles entonces k fk (x) − f (x) kE es medible por proposición 3

y así En m es medible para cada m, n ∈ N; además la sucesión de conjuntos En m
es decreciente para todo n ∈ N, es decir En+1 m ⊂ En m para todo T n y dado que
fk (x) → f (x) en casi todo I, existe M tal que µ(M) = 0 y además M ∩ ( ∞
n=1 En m ) = ∅.
Dado que µ(I) < ∞ entonces
∞
\
µ( En m ) = 0
n=1
Ahora sea δ > 0 y tómese para cada m ∈ N un km tal que
µ(Ekm m ) < δ/2m

S∞
y defínase Eδ = m=1 Ekm m , también se tiene que Eδ es Lebesgue medible y además
∞
X
µ(Eδ ) ≤ µ(Ekm m )
m=1
∞
X δ
<
m=1
2m
=δ
Así si x < Eδ entonces no pertenece a En m para cada m y n, por lo tanto
k fk (x) − f (x) kE < 1/m
para k ≥ km , de lo anterior se da que fk (x) converge uniformemente en I/Eδ y así

queda demostrado (2.6)
Ahora dado que fk (x) es simple para cada k ∈ N entonces la imagen de
I por fk tiene
dimensión finita y por lo tanto es un conjunto acotado es decir fk (I) = x1 , x2 , ...xrk ,

como la dimensión del rango para cada k natural es finita entonces la dimensión
de fk (I/En ) es de dimensión finita para todo n, k ∈ N. Sea z = f (w) ∈ f (I/En ) y
> 0 como fk (w) converge uniformemente a f (w) existe N ∈ N tal que si n ≥ N
k f (w) − fk (w) kE <
entonces tómese xrk = fk (w) ∈ f j (I/En ) con j ≥ k, así
k z − xrk kE <
S
f (I/En ) es separable y por ende f I/ ∞ E
j=1 j . Es separable quedando demostrado
el teorema.
2.3. Ejemplos
El siguiente ejemplo nos dará una noción de integrabilidad de Bochner a funciones
discontinuas en conjuntos relativamente grandes
Ejemplo 5. Sea el subespacio de l∞ , c0 el conjunto de todas las sucesiones que convergen
a 0 el cual es cerrado sobre l∞ y por lo tanto completo, con la norma del sup es un espacio
de Banach, sea el conjunto Q = Q ∩ [0, 1] el cual es contable; Q = {α1 , α2 , α3 , ...}, definase
la función: 
ek
 x = αk , αk ∈ Q
f (x) = 

(2.8)
0 E.O.C.

Para solucionar este ejemplo se necesita entender que es una función característica
en general dada una función entre dos espacios vectoriales, A y B. Sea M ⊆ A y
sea β ∈ B, entonces

β x∈M

f (x) = 

0
 E.O.C.
Y se denotará como f (x) = βχ(M).
Al tener esto, para α ∈ co y a ∈ [0, 1] definase la función fα : [0, 1] → c0 como


α x = a

fα (x) = 

(2.9)
0 E.O.C.

R1
veamos que fα es Bochner integrable y que su integral es 0 f = 0. En efecto,
sea una sucesión decreciente an de números reales que converja a a tal que el
supn∈N {|an − a|} ≤ 1 y definase fαn : [0, 1] → c0 como
fαn (x) = αχ([an+1 , an ])

Así la serie de funciones queda de la siguiente manera:
n
X
fα1 − fαi
i=1
Esta serie converge a la función 2.9. Por otro lado, si an → a entonces dado > 0
existe N ∈ N tal que si n ≥ N entonces
|an+1 − a| < /||α||

2.3. EJEMPLOS 33
entonces:

Z 1 Xn Z 1 Xn
αχ([a, a1 ]) − αχ([an+1 , an ]) − fα dµ = kαk (χ([a, a1 ]) − χ([an+1 , an ])) dµ
0 k=1
0 k=1

Z 1 Xn
= kαk χ([a, a1 ]) − χ([an+1 , an ]) dµ

0 k=1

≤ ||α|||an+1 − a|
<
Por lo tanto es Bochner integrable y su integral es 0 ∈ c0 .
Ahora para continuar en el ejemplo (2.8), dado que el conjunto Q es contable, sea
para cada αi ∈ Q la función

e i
 x = αi
fei (x) = 

0
 E.O.C.
y sea una sucesión decreciente αin ∈ E tal que αin → αi y que además αi1 − αi < 2−i
para cada i ∈ N; y definase
n
X n X
X n
fn (x) = ei χ([αi , αi1 ]) − ei χ([αik+1 , αik ])
i=1 i=1 k=1
Z
Z 1 X n Xn X n 1 X n X n
ei χ[αi , αi1 ] − ei χ[αik+1 , αik ] − f (x) = e χ(α , α ] − e χ[α , α ] dµ

i i i 1 i i k+1 ik
0 i=1 i=1 k=1
0 i=1 k=1

Z 1X n X n
≤ ei χ(αi , αi1 ] − ei χ[αik+1 , αik ] dµ
0 i=1 k=1

Z 1X n X n
≤ kei k χ(αi , αi1 ] − χ[αik+1 , αik ]dµ
0 i=1 k=1

Xn Z 1 Xn
≤ χ(αi , αi1 ] − χ[αik+1 , αik ] dµ

i=1 0 k=1

Xn
≤ |αin+1 − α|
i=1
<
Dado que αi1 − αi < 2−i para cada i ∈ N, entonces f(x) es Bochner integrable y
R1
además 0 f dµ = 0.
En el ejemplo anterior no se pudo denotar muy bien el teorema de medibilidad
de Pettis dado que el rango era un conjunto numerable dada las circunstancias en
las que se define la función, en el siguiente ejemplo se podrá observar mejor.
Ejemplo 6. Sea el intervalo I = [−1, 1] y el espacio de Banach de las funciones acotadas

definidas en I con la norma del sup B([−1, 1]) y sea la función f : I → B([−1, 1]) como
x+1 1−x
f (k) = χ[−1, k) + χ[k, 1) (2.10)
1+k 1−k
Ver que es Bochner integrable y encontrar su integral
La anterior función describe una familia de triángulos cuyos vértices se encuen-

tran en los puntos (−1, 0), (k, 1), (1, 0) cuyas áreas siempre son 1. Como función de
R2 en R genera la superficie mostrada en la siguiente figura si se fuera a medir
con una integral esta superficie, se trabajaría con el volumen bajo la superficie
es decir una integral de volumen o se trabajaría con la medida de la superficie
con una integral de superficie a lo cual esta integral nos arrojaría un numero real
definiendo la medida sea cual sea el caso;
Lo interesante de esta teoría es que al integrar la función descrita (2.10) la medida

de lo que nos arroja su integral ya no es un elemento de los reales, sino que es un
elemento del espacio imagen como subconjunto del espacio de Banach de llegada,
en este caso B([−1, 1]), y este caso la imagen serán una familia de funciones que
describirán un área en el plano R2
2.3. EJEMPLOS 35
Veamos que la función descrita es fuertemente medible, tómese la siguiente su-

cesión de conjuntos Sn = k ∈ [−1, 1]; k = −1 + (2m + 1)2n , m ∈ N y 0 ≤ m < 2n y

S−1 = {−1, 1} los cuales son finitos para cada n natural, definase la siguiente suce-
sión recursiva de funciones
x+1

χ[−1, 1] si k = −1
 
g1 (k) si k ∈ {−1, 1}

 

 2
1 − x


g1 (k) =  g2 (k) =  (x + 1)χ[−1, 0) + (1 − x)χ(0, 1]
 
si k ∈ S0

 χ[−1, 1] si k = 1 


 2 
0

E.O.C.
0 E.O.C.





 gn−1 (k) k ∈ Sn−3 n≥2
gn (k) =  χ[−1, −1 + m2−n+2 ) + 2−m2−n+2 χ[m2 , 1] donde m = 2r + 1 y 0 ≤ r ≤ 2n−2

 x+1 1−x −n+2
 m2−n+2

; si k ∈ Sn−2

(2.11)
En principio veamos que gn es medible para cada n natural, en efecto se procederá
por inducción, para n = 1 se tiene que
R 1
Z 1 x+1
 −1 2 dµ

g1 (k)dµ = 

 1 1−x dµ
R
−1
−1 2
 2 1

 x /2+x
 2 −1
=

1
 x−x /2

 2
2 −1
=1 k ∈ S−1
Para n=2 se tiene que

R 1
Z 1
 −1 g1 (k)dµ

g2 (k)dµ = 

 1 (x + 1)χ[−1, 0) + (1 − x)χ[0, 1]dµ
 R
−1
 −1
1 k ∈ S−1

=

0 1
 x2 /2 + x) x − x2 /2)

−1 0
=1 k ∈ S−1 ∪ S0
Supongase cierto para k = n − 1, entonces:
R 1
Z 1
 −1 gn−1 (k)dµ

gn (k)dµ = 

 1 x+1
R
−n+2 χ[−1, −1 + m2 ) + 2−m2 −n+2 χ[m2 , 1]dµ
 −n+2 1−x −n+2
−1
 −1 m2 Sn−3
1 k ∈ i=−1 Si Por hipótesis de inducción

=

−n+2
 −1+m2
R R1
x+1
χ[−1, −1 + m2 −n+2
)dµ + 1−x
χ[m2−n+2 , 1]dµ

−1 m2−n+2 −1+m2−n+2 2−m2−n+2

1 k ∈ Sn−3 Si
 i=−1
=

−n+2
 −1+m2 1
(x /2+x)
2 (x−x2 /2)
+ 2−m2−n+2

 m2−n+2

−1 −1+m2−n+2
 Sn−3
1 k∈ Si
 (−1+m2−n+2 )2i=−1 −n+2


=
 ! !
(−1+m2−n+2 )2
+(−1+m2 ) (−1+m2−n+2 )−



2
m2−n+2
+ m2−n+2 + (2−m2−n+2 ) +
1/2 1/2
(2−m2−n+2 )
2
 Sn−3
1 k ∈ i=−1 Si −n+2

=

−2n+3

 m2−n+2 + 2−m2 m2−n+2 −m2−2n+3
 m2 2−m2
−n+2 + 2−m2−n+2
 S n−3
1 k ∈ i=−1 Si

=

−n+2

+ 1 − m2−n+1 2−m2
 −n+1
m2 2−m2 −n+2
n−2
[
=1 k∈ Si
i=−1
R1
Entonces se cumple para todo n así −1 gn (k)dµ = 1 para todo k ∈ n−2
S
i=−1 Si , para
poder entender mejor la sucesión recursiva, en las siguientes imágenes se gráfica
2.3. EJEMPLOS 37
hasta n = 10, en donde se puede observar como la región que debería estar colo-
reada se rellena a partir de esas funciones:
Fig 1: n=1
Fig 2: n=2
Fig 3: n=3
Se puede observar que el area se va rellenanado apartir de finitas funciones
Fig 4: n=5
2.3. EJEMPLOS 39
Fig 5: n=7
Fig 6: n=10
Y usando el programa DERIVE se obtuvo la ultima imagen (Fig. 6)

Ahora veamos que gn (k) → f (k), en efecto sea > 0 y sea N ∈ N tal que 2−N < ,
así, si n ≥ N entonces
k f (k) − gn (k) kE = supx∈[−1,1] | f (k) − gn (k)|

≤ 2−N
<
En la anterior sucesión de funciones se puede observar que para cada n, gn (k) es

Bochner integrable , veamos entonces que la función es Bochner integrable, en
efecto:
Z 1 Z 1
k gn (k) − 1 k dµ = lı́m

lı́m supx |gn (k) − 1| dµ
n→∞ −1 n→∞ −1
Z 1
= lı́m dµ
n→∞ −1
=0
Así se tiene una convergencia uniforme y dado que el intervalo sobre el cual están
todas la funciones es de medida finita, entonces la función es Bochner integrable
R1
y −1 f (k)dµ = 1.
Para observar y hacer evidente el teorema de medibilidad de Pettis hay que ver
que dado que la función es Bochner integrable o Bochner medible debe existir
un conjunto de medida 0, para no complicar las cosas tomese ∅ como conjunto
de medida nula y veamos que f ([−1, 1]) es separable, en efecto, sea k ∈ [−1, 1], y
definase a fk (x), la función de la figura (2.3)
|1−k2 ||1−q2 |
Por la densidad de los racionales sobre R existe q ∈ Q tal que |k−q| < 2(|1−q||1−k|+|1+k||1+q|)
,
así para la función fq (x) se tiene que
2.3. EJEMPLOS 41
k fk (x) − fq (x) kE = supx∈[−1,1] | fk (x) − fq (x)|

x + 1 x+1

1−x 1−x
= supx∈[−1,1] χ[−1, k) + χ(k, 1] − χ[−1, q) + χ(q, 1]

1+k 1−k 1+q 1−q
x + 1 x+1

1 − x 1−x
≤ supx∈[−1,1] χ[−1, k) − χ[−1, q) + χ(k, 1] − χ(q, 1]

1+k 1+q 1−k 1−q
(x + 1)(k − q) (1 − x)(q − k)

≤ supx∈[−1,1] + supx∈[−1,1]
(1 + q)(1 + k) (1 − q)(1 − k)
|k − q| |q − k|

≤ supx∈[−1,1] + supx∈[−1,1] ||1 − x||
|1 + q||1 + k| |1 − q||1 − k|
< /2 + /2 =
Conclusiones
1. La primera conclusión y en mi la más representativa se refiere al la impor-

tancia del uso de la integral de Lebesgue para generalizar un medida sobre
espacios normados mediante la integral de Bochner, la cual generaliza bas-
tantemente bien a sabiendas que depende de que si los conjuntos son o no
Lebesgue medibles, además muchas de las propiedades de la integral de Le-
besgue son prácticamente heredadas por la integral de Bochner a excepción
de algunas.
2. La teoría de medibilidad de Bochner y el teorema de medibilidad de Pettis

permite ver la clase de convergencia que hay en el espacio y además si el
espacio imagen de la función dada es separable o no, por medio de un la
existencia o no de una integral, además si se tiene un espacio que no es
separable, por el teorema de Pettis se podría inferir que no existe la función
Bochner integrable que como imagen recaiga en ese espacio.
43
Bibliografía
[1] Bartle Robert G., The elemnt of integration and de Lebesgue measure, Jhon Wiley
y Sons, 1995.
[2] Forket Dominik L., The Banach space-valued integrals of Riemann,

McShane,Henstock-Kurzweil y Bochner, Viena university, 2012.
[3] Jan Mikusinski L., The Bochner Integral,Academic Press Birkhäuser, 1978.
[4] Yoshida Kôsaku, Funcional analysis, Springer-Verlang, 1980, pag. 132-135.
45

Integral Bochner PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Integral Bochner PDF

Cargado por

Copyright:

Formatos disponibles

2

UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CÁLDAS

FACULTAD DE CIENCIAS Y EDUCACIÓN

JUAN DAVID LEAL CAMPUZANO

UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CÁLDAS

FACULTAD DE CIENCIAS Y EDUCACIÓN

PROYECTO CURRICULAR DE MATEMÁTICAS

JUAN DAVID LEAL CAMPUZANO

Trabajo de Grado presentado como parte de

El fin es entender a cabalidad la integral de Lebesgue como una medida en

0.1. Objetivo general

0.2. Objetivos específicos

3.) Ejemplificar funciones medibles sobre espacios de Banach desde la integral de

1.2. Definición, propiedades y ejemplos

µ(A) ≥ 0 para todo A ∈ X.

La función es contablemente aditiva, es decir para un sucesión de elementos En de

A la tripla (X, X, µ) se le llama un espacio de medida.

Definición 3. Sea un espacio de medida (X, X, µ) y sea A ⊆ X y A ∈ X, se dice que A

Definición 4. Sea un espacio de medida (X, X, µ) y sea Ω ⊆ Rn , dada una función

En las definiciones anterior se puede tomar a X como un subconjunto de Rn y a µ

. la invarianza se caracteriza por µ(A) = µ(A + r).

σ-álgebra para el caso de la integral de Lebesgue. Los conceptos más necesarios

Para entender la definición formal de una función Lebesgue medible. Definase la

Ejemplo 1. Sea la función triángulo, simétrica en el intervalo [−1, 1]:

Figura 1.1: Función triángulo simétrica en el intervalo

veamos que es Lebesgue integrable.

La función triángulo simétrica se puede escribir como la suma de dos funciones

f (x) = (x + 1)χ[−1, 0] + (−x + 1)χ(0, 1]

tómese f1 (x) = (x + 1)χ[−1, 0] y f2 (x) = (−x + 1)χ(0, 1] así f = f1 + f2 , tomando

como cada sucesión de funciones es una suma de funciones características en-

fig 1 Función para n = 1

fig. 2 Función para n = 2

fig. 3 Función para n = 3

Así la función es Lebesgue integrable ya que por el teorema de convergencia

Las anteriores gráficas muestran como se comporta la sucesión de funciones

Demostración. [1, pag. 13]

Ejemplo 2. Sea f como

se desea hallar la integral de Lebesgue de la función en el intervalo cerrado [0, 1].

Sea Q = Q ∩ [0, 1], dado que es numerable entonces se puede definir a Q =

Entonces fn (x) → f (x)

|bin − ai | < 2−i

para todo i natural; así tómese N = maxi {Ni } y si n ≥ N entonces

El segundo ejemplo es por decirlo así el complemento de la función de Dirichlet,

Ejemplo 3. Sea f como

se desea hallar la integral de Lebesgue de la función en el intervalo cerrado [0, 1].

Sea Q = Q ∩ [0, 1], dado que es numerable entonces se puede definir a Q =

Definición 5 (Continuidad absoluta). Sea un espacio de medida (X, X, µ) y sea una

2.1. Definición de la integral de Bochner

En ese caso se define la integral de f como

En general Las funciones Lebesgue medibles son funciones también Bochner

2.2. Propiedades de la integral de Bochner

De lo anterior se puede deducir el siguiente lema

Demostración. Tomando a a f y g como f = f1 + f2 + f3 + ... Ry g = g1 +Rg2 + g3 + ...

Lema 3. Dadas dos funciones Bochner integrables f , g y α un número real, entonces

Sea  > 0, para fn y gn existen N1 y N2 tal que

Así tomando N = max {N1 , N2 }:

Sea  > 0, para fn existe N tal que

f (x)b es Bochner integrable.

Por lo tanto f (x)bm es Bochner integrable para todo m.

Sea  > 0 existe N1 tal que si n ≥ N1 entonces

||bn − b||E < /2|K|

Ahora tómese N = max {N1 , N2 } entonces:

k fn (x)bn − f (x)b kE ≤ ||bn ||E | fn (x) − f (x)| + | f (x)| k bn − b kE

|bin − ai | < 2−i

Sea > 0, para fn y gn existen N1 y N2 tal que

Sea > 0, para fn existe N tal que

Sea > 0 existe N1 tal que si n ≥ N1 entonces

||bn − b||E < /2|K|

k f (w) − fk (w) kE <

|an+1 − a| < /||α||