CAPTULO 2

Teora de la Aproximacin
Sea [a, b] un intervalo en la recta real. Sabemos que [a, b] es un espacio mtrico bajo la
distancia usual. Se ha visto, adems, que C[a, b] = C ([a, b]) es un espacio de Banach
bajo la siguiente norma.
f = max {| f (x)| : a x b} .
En este captulo deseamos aproximar funciones f C [a, b] con funciones ms sencillas.
Por ejemplo, si P [a, b] es el conjunto de polinomios en [a, b], se ver que P [a, b] es denso
en C [a, b] y por lo tanto, cualquier funcin continua se puede aproximar, en la norma del
mximo, con polinomios.
Tambin nos interesa estudiar e identicar a los conjuntos compactos de C(X) donde X
es un subconjunto compacto en el espacio euclidiano R
n
. En general, se intenta rescatar y
generalizar las propiedades de R y R
n
que ya se han estudiado con anterioridad.
2.1 POLINOMIOS DE BERNSTEIN 36
2.1 Polinomios de Bernstein
Denicin 2.1.1 Sea f : [0, 1] R una funcin continua. El nsimo polinomio de
Bernstein, B
n
(x) = B
n
(x, f ) de la funcin f se dene como
B
n
(x) =
n

k=0
f
_
k
n
__
n
k
_
x
k
(1 x)
nk
.
Ejemplo 2.1.2 Sea f (x) = 1, encontrar los polinomios de Bernstein
Solucin
Por denicin,
B
n
(x) =
n

k=0
1
_
n
k
_
x
k
(1 x)
nk
.
Por el Teorema del Binomio de Newton
n

k=0
_
n
k
_
x
k
(1 x)
nk
= (x +(1 x))
n
= 1.
Es decir B
n
(x) 1, para toda n.
Ejemplo 2.1.3 Calcular el nsimo polinomio de Bernstein para la funcin identidad.
Solucin
En este caso,
B
n
(x) =
n

k=0
_
k
n
__
n
k
_
x
k
(1 x)
nk
=
1
n
n

k=0
k
_
n
k
_
x
k
(1 x)
nk
=
1
n
(nx) = x.
Es decir B
n
(x) = x.
Ejemplo 2.1.4 Encontrar los polinomios de Bernstein para x
2
.
2.1 POLINOMIOS DE BERNSTEIN 37
Solucin
Usaremos la frmula
B
n
(x) =
n

k=0
_
k
n
_
2
_
n
k
_
x
k
(1 x)
nk
.
Recordando las frmulas para la distribucin binomial, sabemos que
n

k=0
k
2
_
n
k
_
x
k
(1 x)
nk
= nx(1 x) +(nx)
2
. (2.1)
Concluimos que
B
n
(x) =
1
n
2
n

k=0
k
2
_
n
k
_
x
k
(1 x)
nk
= (1
1
n
)x
2
+
x
n
.
Es decir B
n
(x) = (1
1
n
)x
2
+
x
n
. Esto es,
B
1
(x) = x,
B
2
(x) =
1
2
x
2
+
x
2
,
B
3
(x) =
2
3
x
2
+
x
3
,
.
.
.
Esto se ilustra en la gura 2.1. Notar que B
n
(x) converge uniformemente, en el espacio
C[0, 1], a la funcin x
2
.
Teorema 2.1.5 (Bernstein) Sea f continua en [0, 1], es decir, f C [0, 1]. Entonces los
polinomios de Bernstein de f convergen a f en la norma uniforme de C [0, 1].
Demostracin
Sea x [0, 1]. Necesitamos estimar |B
n
(x) f (x)|. Sabemos que
1 =
n

k=0
_
n
k
_
x
k
(1 x)
nk
.
2.1 POLINOMIOS DE BERNSTEIN 38
0 1
0
1
B
1
B
2
B
3
B
4
Figura 2.1: Polinomios de Bernstein B
1
, B
2
, B
3
y B
4
para la funcin f (x) = x
2
.
2.1 POLINOMIOS DE BERNSTEIN 39
Por lo tanto
f (x) =
n

k=0
f (x)
_
n
k
_
x
k
(1 x)
nk
,
y esto implica
B
n
(x) f (x) =
n

k=0
f
_
k
n
__
n
k
_
x
k
(1 x)
nk

k=0
f (x)
_
n
k
_
x
k
(1 x)
nk
=
n

k=0
_
f
_
k
n
_
f (x)
__
n
k
_
x
k
(1 x)
nk
.
El valor absoluto satisface
|B
n
(x) f (x)|
n

k=0

f
_
k
n
_
f (x)

_
n
k
_
x
k
(1 x)
nk
.
Ahora demostraremos las convergencia uniforme.
Sea > 0. La funcin f es uniformemente continua, por lo que existe > 0, tal que si
|x y| < entonces | f (x) f (y)| <

2
para todo x, y [0, 1]. Adems, sabemos que f
es una funcin acotada por M, es decir,
| f (x)| M,
para todo x [0, 1]. Denimos N
0
= max
_

4
, M
2

2
_
. Sea x [0, 1]. Demostraremos
que
n N
0
|B
n
(x) f (x)| < .
Para ello, podemos considerar dos clases de ndices.
a) Aquellos k para los cuales

k
n
x

< n
1/4
.
b) Aquellos k para los cuales

k
n
x

n
1/4
.
Llamemos A al conjunto de ndices del primer caso y B al conjunto de ndices del
segundo. Observemos que A

B = {0, 1, 2, . . . , n}.
2.1 POLINOMIOS DE BERNSTEIN 40
En el primer caso tenemos que si k A entonces

f
_
k
n
_
f (x)

<

2
.
En el segundo, si k B, podemos estimar

f
_
k
n
_
f (x)

f
_
k
n
_

+| f (x)| 2M.
Por lo tanto, se cumplen las siguientes desigualdades
|B
n
(x) f (x)|
n

k=0

f
_
k
n
_
f (x)

_
n
k
_
x
k
(1 x)
nk
=

kA

f
_
k
n
_
f (x)

_
n
k
_
x
k
(1 x)
nk
+

kB

f
_
k
n
_
f (x)

_
n
k
_
x
k
(1 x)
nk
<

kA

2
_
n
k
_
x
k
(1 x)
nk
+

kB
2M
_
n
k
_
x
k
(1 x)
nk

2
+2M

kB
_
n
k
_
x
k
(1 x)
nk
.
Deseamos estimar esta ltima suma. Obtenemos que

kB
_
n
k
_
x
k
(1 x)
nk
=

kB
_
x
k
n
_
2
_
x
k
n
_
2
_
n
k
_
x
k
(1 x)
nk
.
Sabemos que si k B entonces
_
x
k
n
_
2

n, y por lo tanto se tiene que

kB
_
n
k
_
x
k
(1 x)
nk

kB
_
x
k
n
_
2
_
n
k
_
x
k
(1 x)
nk

n
n

k=0
_
x
k
n
_
2
_
n
k
_
x
k
(1 x)
nk
=

n
_
x(1 x)
n
_

x(1 x)

n

1
4

n
.
2.1 POLINOMIOS DE BERNSTEIN 41
As, para todo x [0, 1], tenemos la siguiente estimacin
|B
n
(x) f (x)| <

2
+
2M
4

n
<

2
+

2
= ,
donde n N
0
. Esto implica que
B
n
f < .
Concluimos que B
n
f 0.
Corolario 2.1.6 El espacio de polinomios P [0, 1] es denso en C [0, 1].
Demostracin
Sea f C [0, 1], y > 0. Sabemos que los polinomios de Bernstein B
n
convergen en
la norma de C [0, 1] a f , es decir B
n
f 0. Entonces existe N tal que si n N
entonces B
n
f < , y en particular,
B
N
f < .
Adems, B
N
P [0, 1], concluyendo que P [0, 1] es denso en C [0, 1].
Otra consecuencia del teorema de Bernstein es la siguiente.
Teorema 2.1.7 (Aproximacin polinomial de Weierstrass) Sea f : [a, b] R una fun-
cin continua. Existe una sucesin de polinomios f
n
: [a, b] R tales que f
n

u
f . Por
lo tanto P[a, b] es denso en C[a, b].
Demostracin
Usaremos un cambio de variable. Sea : [0, 1] [a, b] la funcin
(t ) = (b a)t +a.
La funcin tiene una inversa
1
: [a, b] [0, 1] dada por

1
(z) =
z a
b a
.
Si denimos g = f , entonces g C [0, 1] y, por el teorema de Bernstein 2.1.5, g puede
ser aproximada uniformemente por los polinomios de Bernstein correspondientes
B
n

u
g = f .
2.1 POLINOMIOS DE BERNSTEIN 42
Sea f
n
= B
n

1
. Demostraremos que f
n

u
f .
Sea > 0. Por el teorema 2.1.5, sabemos que existe N

tal que
n N

|B
n
(x) g(x)| <
para todo x [0, 1]. Sea n N

, y z [a, b], entonces

1
(z) [0, 1], y por lo tanto

B
n
(
1
(z)) g(
1
(z))

< .
Esto implica que
| f
n
(z) f (z)| < .
Adems, f
n
son polinomios. Por lo tanto, existe una sucesin de polinomios f
n
: [a, b]
R tales que f
n

u
f .
A partir del teorema anterior, se puede demostrar el siguiente lema. El resultado ser
esencial en la demostracin del teorema de Stone-Weierstrass 2.4.7. Aunque el lema apare-
ce como una consecuencia del teorema 2.1.7, se puede demostrar directamente (cf. ejercicio
2.3).
Lema 2.1.8 Sean > 0 y > 0. Entonces existe un polinomio p P[, ] tal que para
todo t [, ] se cumple | p(t ) |t || < .
EJERCICIOS
2.1 Demostrar la frmula (2.1) del ejemplo 2.1.4.
2.2 Calcular los polinomios de Bernstein para la funcin f (x) = e
x
y comprobar que
convergen uniformemente a f .
2.3 Demostrar el lema 2.1.8, siguiendo los siguientes pasos.
a) Se dene recursivamente p
0
(x) = 0 y
p
n+1
(x) = p
n
(x) +
1
2
_
x p
n
(x)
2
_
.
2.1 POLINOMIOS DE BERNSTEIN 43
Demostrar, por induccin, que para todo x [0, 1] se cumplen las siguientes desi-
gualdades.
0 p
n
(x)

x,
p
n
(x) p
n+1
(x).
b) Demostrar que el lmite puntual de esta sucesin es
lim
n
p
n
(x) =

x,
para todo x [0, 1].
c) Usar el teorema de Dini 1.5.6, para demostrar que p
n

u

, en el espacio C[0, 1].

d) Concluir el resultado del lema 2.1.8. (Sugerencia: usar el cambio de variable x =
t
2
/
2
.)
2.4 Demostrar que para cualquier funcin continua f : [0, 1] Ry cualquier nmero
> 0, hay una funcin de la forma
g(x) =
n

k=0
C
k
x
4k
para algn n N, donde C
0
, . . . , C
n
Q y tal que |g(x) f (x)| < para toda x en el
intervalo [0, 1].
2.5 Sea f una funcin real continua en un intervalo [a, b]. Sea > 0. Demostrar que
existe un polinomio p tal que p(a) = f (a), p

(a) = 0, y adems | p(x) f (x)| < si

x [a, b].

2.2 OPERADORES LINEALES 44

2.2 Operadores lineales
Sea X y Y dos espacios vectoriales sobre un campo K. Un operador lineal de X a Y es una
funcin que preserva la linealidad. Esto es, la funcin T : X Y es lineal si para todo
x, y X, y K se tiene que:
a) T : (x + y) = T (x) + T (y)
b) T (x) = T (x) .
Frecuentemente se escribir T x, en vez de T (x). El operador cero, es decir T tal que
T x = O
Y
, para todo x X se denotar por 0. El operador identidad en X se denotar I
x
, o
simplemente I si no hay peligro de confusin.
El kernel o subespacio nulo del operador T se denota por ker T. Este consiste de
ker T = T
1
(0) = {x X : T x = 0}
Una propiedad importante del kernel, que es fcil de vericar, es que una funcin lineal T
es inyectiva si y slo si ker T = {0}.
Cuando X y Y son espacios normados, los operadores lineales de inters son los opera-
dores lineales continuos. El siguiente teorema caracteriza esos operadores.
Teorema 2.2.1 Sea (X,
X
) y (Y,
Y
) dos espacios normados sobre el mismo campo K
y sea T : X Y un operador lineal. Entonces son equivalentes:
a) T es continua.
b) T es continua en 0.
c) Existe M (0, ) tal que T x
Y
M x
X
para todo x X.
Demostracin
a) b) Trivial.
2.2 OPERADORES LINEALES 45
b) c) Cuando no haya confusin posible escribiremos
X
= y
Y
= .
Supongamos que se cumple b). Como T (0) = 0, existe > 0 tal que si x X y x
entonces T x 1. Sea x = 0, x X cualquiera y sea x

=
x
x
, es claro que
_
_
x

_
_
=
as que
_
_
T x

_
_
1. Pero se tiene que
_
_
T x

_
_
=
_
_
_
_
(T x)
x
_
_
_
_
1
y esto implica T x
x

. Si tomemos M = 1/ entonces c) se cumple.

c) a) Si c) se cumple se tiene que
T (x
1
) T (x
2
) = T (x
1
x
2
) M x
1
x
2

As que T es continua (incluso es uniformemente continua).

A los operadores lineales continuos tambin se les llama acotados. Denotaremos por
L (X, Y) al conjunto de todos los operadores lineales y continuos de X a Y. Es claro que
L (X, Y) es un espacio vectorial. Tambin denotaremos L (X, X) = L (X) . En el caso
particular en el que el codominio es el campo K escribiremos L (X, K) = X

. Adems si
f X

se diremos que f es una funcional lineal continua.

A continuacin vamos a denir una norma en el espacio L (X, Y) .
Proposicin 2.2.2 Se tiene que
T = sup
_
T x
x
: x X {0}
_
= sup {T x : x B
1
(0)}
es una norma en el espacio L(X, Y). Esta norma es llamada la norma de operadores.
Observe que se cumple la desigualdad T x T x . para toda x X. Si f
L(X, R). es una funcional lineal continua entonces f = sup {| f (x)| : x B
1
(0)}. Por
el teorema 2.2.1 si T L (X, Y) y A es acotado en X entonces T (A) es acotado en Y.
Inversamente es inmediato, pues una condicin suciente para que T sea continuo es que
T sea acotado en la bola unitaria.
2.2 OPERADORES LINEALES 46
Si S L (X, Y) y T L (Y, Z) entonces la composicin T S es un operador lineal
acotado que se denota T S. Esta notacin tambin se aplica a la composicin de un operador
T L (X, X) consigo misma n veces; esto es,
T
n
= T T
. ,, .
nveces
Para n = 0, tomamos T
0
= I como la identidad.
Las siguientes reglas asocian la composicin con las operaciones lineales.
a) T (S
1
+ S
2
) = T S
1
+ T S
2
b) (T
1
+ T
2
) S = T
1
S + T
2
S
c) (T) S = T (S) = (T S)
Proposicin 2.2.3 Si S L (X, Y) y T L (Y, Z) entonces
a) T S T S .
b) T
n
T
n
para todo n N.
Demostracin
Para x B
1
(0) se tiene T Sx T Sx T S. En particular si T L (X)
entonces
_
_
T
2
_
_
T
2
y por induccin se obtiene T
n
T
n
.
Ejemplo 2.2.4 Sea S = . Para cada punto s S construimos una funcional lineal
s
, la
evaluacin en s, denida en el conjunto de funciones acotadas en S, denotado por B (S),
como
s
: B (s) R,
s
( f ) = f (s). Entonces |
s
( f )| f para toda f as que
s
es continua y
s
= 1.
Teorema 2.2.5 Sea X un espacio de Banach. Si T L (X) y la serie

n=0
T
n
es
convergente entonces I T es una funcin lineal continua y biyectiva. Adems la funcin
inversa (I T)
1
tambin es lineal y continua.
2.2 OPERADORES LINEALES 47
Demostracin
Denimos la siguiente sucesin de operadores en L (X) ,
S
m
=
m

n=0
T
n
.
Claramente se tiene que
S
m
T = T S
m
= S
m+1
I. (2.2)
Deniendo tambin
m
=

m
n=0
T
n
no es difcil ver que S
m

m
.
Como
m
es una sucesin convergente, es de Cauchy. Sea y X y m, m

dos nmeros
naturales tales que m

> m. Por las proposiciones 2.2.2 y 2.2.3, se puede ver que

S
m
(y) S
m
(y)
_
_
m

n=m+1
_
_
T
n
_
_
_
_
y = (
m

m
) y .
La anterior desigualdad demuestra que la sucesin S
m
(y) es de Cauchy. Como X es com-
pleto, la sucesin S
m
(y) converge. Denotemos por S(y) el punto al que converge; es decir
el nico elemento S(y) X tal que
S
m
(y) S(y) 0
cuando m . Formalmente escribamos tambin:
S(y) =

n=0
T
n
y.
Dado que cada S
m
es lineal, el operador S tambin lo es. La igualdad (2.2) implica que
ST = T S = S I. As que (I T) S = S (I T) = I .
Para demostrar la continuidad de S, sea y X y notemos que
S(y) S(y) S
m
(y) +S
m
(y) S(y) S
m
(y) +
m
y .
Al tomar el lmite m concluimos que S

n=0
T
n
por lo que S es acotado con
lo que se completa la prueba.
Observemos que, en particular, las hiptesis del teorema se cumplen si T < 1 y
adems (I T)
1
=

n=0
T
n
, lo cual es un anlogo de la igualdad

n=0

n
= (1 )
1
para R, || < 1.
2.2 OPERADORES LINEALES 48
EJERCICIOS
2.6 Pruebe la proposicin 2.2.2.
2.7 Pruebe que (S
n
) L (X, Y), (T
n
) L (Y, Z) y S
n
S L (X, Y), T
n

T L (X, Y) entonces T
n
S
n
T S y que T S L (X, Z).
2.8 D un ejemplo de T L
_
R
2
_
tal que T = 0 y T
2
= 0. Utilizar este operador
para demostrar que la desigualdad
_
_
T
2
_
_
T
2
(y en general T
n
T
n
) puede ser
estricta.
2.9 Demostrar que si T es un operador L(X) tal que T < 1 entonces la serie

n=0
T
n
es convergente.
2.10 Sea (X,
X
) un espacio de Banach y A L(X, X) un operador lineal acotado
tal que 0 < A < 1. Demostrar que para todo b X existe una nica solucin de la
ecuacin z = Az +b.
2.11 Sea T L
_
R
2
_
el operador dado por
T x =
_
1
0
_
x
donde 0 < < 1. Demostrar que T > 1 y sin embargo la serie

n=0
T
n
es conver-
gente. (Sugerencia: demostrar primero que T
n
=
_

n
n
n1
0
n
_
y concluir que existen
constantes positivas C y tales que 0 < < 1 y T
n
C
n
para todo n N. )
2.12 Sea (X,
X
) un espacio de Banach y A L(X, X) un operador lineal acotado
tal que 0 < A < 1. Demostrar que
_
_
_(I A)
1
_
_
_ (1 A)
1
.
2.13 Sea (X, ) un espacio normado. Sea A : X R un operador lineal que no es
continuo.
2.3 OPERADOR INTEGRAL 49
a) Demostrar que existe una sucesin (x
n
) de elementos del espacio X tal que x
n
= 1
y | A(x
n
)| .
b) Sea
n
= A(x
n
). Demostrar que existe un nmero positivo N tal que si n N,
entonces se cumple |
n
| > 1.
c) Para cada n N, denimos y
n
= x
N

_

n
_
x
n
. Usando esta sucesin, demostrar
que ker(A) no es un conjunto cerrado.
d) Concluir que un operador lineal de X a R es continuo si y slo si su ncleo es un
conjunto cerrado en X.
2.14 Es necesariamente cierto que, si (X, ) es un espacio de Banach y Y X es
un subespacio vectorial, entonces (Y, ) es tambin de Banach?
2.3 Operador integral
En esta seccin vamos a denir un operador lineal importante. Sea [a, b] un intervalo
acotado. Se denir el operador I : C[a, b] R en el espacio de funciones continuas de
este intervalo. Para ello, vamos a utilizar algunos resultados que fueron demostrados en el
captulo anterior. Por ejemplo, echaremos mano de los ejercicios 1.14 y de la proposicin
2.2.1. La idea es denir a I en un conjunto denso de funciones (los polinomios) y luego
extender la denicin para todas las funciones continuas.
Sea p(x) =
n
x
n
+ +
1
x +
0
un polinomio. Considerando que p C[a, b]
denimos
I (p) =
n
_
b
n+1
n +1

a
n+1
n +1
_
+ +
1
_
b
2
2

a
2
2
_
+
0
(b a).
Es claro que si p y q son dos polinomios y r R entonces
I (p +q) = I (p) + I (q),
I (r p) = r I (p).
Es decir, la funcin I es lineal en los polinomios. Adems tenemos el siguiente resultado.
2.3 OPERADOR INTEGRAL 50
Lema 2.3.1 Si p P[a, b] es un polinomio, entonces
|I (p)| (b a) p . (2.3)
Demostracin
Sea p(x) =
n
x
n
+ +
1
x +
0
un polinomio. Denimos el polinomio
g(x) =
n
x
n+1
n +1
+ +
1
x
2
2
+
0
x.
Notemos que g

(x) = p(x) y que I (p) = g(b) g(a). Por el teorema del valor medio,
existe un punto (a, b) tal que
I (p) = g(b) g(a) = g

()(b a).
Por lo tanto
|I (p)| = | p()(b a)| (b a) p .
Esto termina la demostracin.
La desigualdad (2.3) nos permite denir a la funcin I en todo el espacio C[a, b]. Pri-
mero damos la denicin y posteriormente demostramos que tiene sentido.
Denicin 2.3.2 Si f C[a, b] denimos I ( f ) como el lmite
I ( f ) = lim
n
I ( f
n
), (2.4)
donde ( f
n
) es cualquier sucesin de polinomios tal que f
n

u
f .
Para que la denicin anterior sea correcta, debemos demostrar que el lmite (2.4) siem-
pre existe, y que es independiente de la sucesin que se escoja. La demostracin es la
siguiente.
Sea f C[a, b] una funcin continua. Sea ( f
n
) una sucesin de polinomios tal que
f
n

u
f . Notemos que
|I ( f
n
) I ( f
m
)| = |I ( f
n
f
m
)| (b a) f
n
f
m
.
2.3 OPERADOR INTEGRAL 51
Por lo tanto, dado que ( f
n
) es de Cauchy en C[a, b], tenemos que I ( f
n
) es de Cauchy en R.
De esto concluimos que I ( f
n
) es una sucesin convergente y por lo tanto el lmite existe.
Tomemos ahora otra sucesin (g
n
) de polinomios tal que g
n

u
f . Usando la desi-
gualdad del tringulo vemos que
0 |I ( f
n
) I (g
n
)| = |I ( f
n
g
n
)|
(b a) f
n
g
n
(b a) ( f
n
f + f g
n
) .
Por la convergencia uniforme, el lado derecho converge a 0. Por lo tanto,
lim
n
(I ( f
n
) I (g
n
)) = 0,
y esto implica que
lim
n
I ( f
n
) = lim
n
I (g
n
).
Tenemos adems, la siguiente.
Proposicin 2.3.3 La funcin I : C[a, b] R es continua.
El operador que hemos denido en esta seccin no es ms que la integral de una funcin
continua en un intervalo [a, b]. De este modo, podemos escribir, para cada f C[a, b], lo
siguiente:
I ( f ) =
_
b
a
f (x)dx.
La denicin que hemos dado es abstracta. Esto es, hemos dado la denicin basada pura-
mente en las propiedades del operador. En un captulo posterior daremos una denicin ms
clsica, basada en particiones. De cualquier manera, vale la pena recordar que el operador
integral es el nico operador lineal acotado de C[a, b] a R tal que
_
b
a
x
n
dx =
b
n+1
n +1

a
n+1
n +1
.
Tenemos adems las siguientes propiedades.
Proposicin 2.3.4 El operador integral satisface las siguientes propiedades para toda fun-
cin f, g C[a, b].
2.3 OPERADOR INTEGRAL 52
a) Si f (x) 0, para todo x [a, b] entonces
_
b
a
f (x)dx 0,
b) Si f (x) g(x), para todo x [a, b] entonces
_
b
a
f (x)dx
_
b
a
g(x)dx,
c) Si m = min{ f (x) : x [a, b]} y M = max{ f (x) : x [a, b]}, entonces
m(b a)
_
b
a
f (x)dx M(b a),
d)
_
b
a
f (x)
2
dx = 0 si y slo si f = 0,
e)

_
b
a
f (x) dx

_
b
a
| f (x) | dx.
Finalmente, tenemos la siguiente propiedad, llamada propiedad de aditividad.
Proposicin 2.3.5 Sean a < b < c y f C[a, c]. Entonces se cumple
_
c
a
f (x)dx =
_
b
a
f (x)dx +
_
c
b
f (x)dx.
EJERCICIOS
2.15 Demostrar la proposicin 2.3.3. (Sugerencia: utilizar el lema 2.3.1.)
2.16 Demostrar que I es un operador lineal acotado cuya norma es
I = b a.
2.17 Demostrar la proposicin 2.3.4.
2.18 Demostrar la proposicin 2.3.5.
2.19 Sea f una funcin continua en [0, 1] tal que
_
1
0
f (x)x
n
dx = 0,
para todo n = 0, 1, 2, . . . Demostrar que f es idnticamente 0. (Sugerencia: Demostrar
que
_
1
0
f (x)
2
dx = 0 y de ah deducir que f 0.)
2.3 OPERADOR INTEGRAL 53
2.20 Sea f C[0, 1]. Demostrar que
lim
n
(n +1)
_
1
0
x
n
f (x) dx = f (1).
2.21 Sean
1
,
2
, . . . ,
n
, . . . funciones continuas no negativas en [0, 1] tales que el
lmite
lim
n
_
1
0
x
k

n
(x)dx
existe para cada k = 0, 1, . . . Demostrar que el lmite
lim
n
_
1
0
f (x)
n
(x)dx
existe para toda funcin continua f en [0, 1].
2.22 Sea g C[0, 1]. Demostrar que existe una nica funcin f C[0, 1] tal que
f (x)
_
x
0
f (x t )e
t
2
dt = g(x),
para todo x [0, 1].