w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 1
Preliminares
En este captulo presentamos algunos aspectos basicos fundamentales sobre el conjunto
de los n umeros complejos y sobre el espacio C[0, 1]. Asumimos que el lector esta famil-
iarizado con las principales deniciones y resultados de la teora de funciones de una
variable compleja. El proposito fundamental del captulo es jar la notacion y presentar
algunos resultados que nos permitan establecer el lenguaje y la motivacion necesaria para
el ulterior planteamiento y discusion de nuestros objetivos fundamentales.
1.1. Discos abiertos y la topologa en C
Denotaremos el conjunto de los n umeros complejos mediante C. Si z C, entonces
podemos expresar z en su descomposicion como parte real e imaginaria mediante
z = x + yi, x, y R.
Como es usual, z denotara al n umero complejo x yi llamado el conjugado de z. El
modulo (o valor absoluto)de z se dene como
|z| :=
_
x
2
+ y
2
=

zz.
Si r > 0 y a es un n umero complejo, denotaremos mediante D(a; r) al disco abierto
de centro a y radio r. Es decir:
D(a; r) = {z : |z a| < r}
Al disco abierto de centro 0 y radio 1 lo denotaremos simplemente como U y lo
llamaremos disco unitario.
3
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. PRELIMINARES 4
D( a; r ) = {z : |z a| r} es la adherencia de D( a; r ), y
D

(a, r) = {z : 0 < |z a| < r} es el disco perforado con centro a y radio r.

La coleccion de todos los discos abiertos es una base para la, asi llamada, topologa
usual de C. Cualquier denicion topologica (abierto cerrado, compacto, conexo, etc...)
sobre C a que hagamos referencia en este trabajo sera con respecto a la topologa usual.
Un subconjunto abierto y conexo diferente de vaco en el plano complejo se denomina
region.
Como cada subconjunto abierto en el plano es una union de discos, y como todos los
discos son conjuntos conexos, cada componente conexa de es abierta. As, todo conjunto
abierto en el plano es union de regiones disjuntas.
Una funcion f se dice compleja si tiene como codominio al conjunto de los n umeros
complejos
Si A es un conjunto no vaco, f y g son funciones complejas denidas en A y C
se dene las funciones f + g, f, fg, f y |f| como
1. (f + g)(x) = f(x) + g(x)
2. (f)(x) = f(x)
3. (fg)(x) = f(x)g(x)
4. f(x) = f(x)
5. |f|(x) = |f(x)|
1.2. El espacio C[0, 1]
C[0, 1] denotara el conjunto de todas las funciones complejas continuas denidas en [0, 1],
las operaciones (1) y (2) denidas en C[0, 1] hacen de este un espacio vectorial com-
plejo.
Recordemos que si f C[0, 1] el conjunto {|f(x)| : x [0, 1]} alcanza maximo,
pudiendo as denir

: C[0, 1] R
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. PRELIMINARES 5
como
f

= max{|f(x)| : x [0, 1]} (llamada norma del supremo).

Esta funcion dene una norma sobre C[0, 1]; es decir, .

satisface:
1. f

= 0 f 0 (f C[0, 1])
2. f

= ||f

( C, f C[0, 1])
3. f + g f

+g

(f, g C[a, b]).

Cuando hagamos referencia de C[0, 1] como espacio vectorial normado sera con respecto
a las operaciones ya denidas y a la norma del supremo.
Esta norma sobre C[0, 1] induce una topologa

sobre C[0, 1], llamada topologa

de la convergencia uniforme y sera esta con la que consideraremos a C[0, 1] como
espacio topologico
Sea X C[0, 1] diremos que f es una combinacion lineal (C.L.) de elementos en X
si existen funciones f
1
, f
2
, . . . , f
n
X y escalares
1
,
2
, . . . ,
n
C tales que
f
1
f
1
+
2
f
2
+ . . . +
n
f
n
.
Denimos Span(X) = {f C[0, 1] : f es una C.L. de elementos en X}
Recordemos que f
0
C[0, 1] es punto clausura de X si para cada > 0 existe una
funcion f
1
en X tal que
f
0
f
1

< .
X denotara al conjunto de todos los puntos clausura de X. Diremos que X es denso
en C[0, 1] si X = C[0, 1]
Lema 1.1 Si X C[0, 1] satisface que f +g X para cada f, g X y C entonces
X tambien tiene esta propiedad
Prueba. Sea f, g X, C\{0} y > 0 por denicion existen f, g X tales que
f f
1

<

2||
y g g
1

< /2
por lo tanto
(f + g) (f
1
+ g
1
)

||f f
1

+g g
1

<
como f
1
+ g
1
X se cumple que f + g X
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. PRELIMINARES 6
Denicion 1.2 Si K C, {f
n
}
n
es una sucesion de funciones complejas denidas en
K diremos que la sucesion {f
n
}
n
converge uniformemente en K a una funcion f (y lo
denotaremos por f
n
f) si para cada > 0 existe n
0
N tal que
|f
n
(z) f(z)| < para cada z K y n n
0
Teorema 1.3 (M-test de Weierstrass) Supongamos que {f
n
}
n
es una sucesion de fun-
ciones complejas continuas denidas en C, y que existe una sucesion {M
n
}
n
R
+
tal que
|f
n
(z)| M
n
(para cada n N y z ).
Si

n=1
M
n
< entonces la serie

n=1
f
n
converge uniformemente en a una funcion
continua f
Teorema 1.4 (Aproximacion de Weierstrass) Para cada f C[0, 1] existe una suce-
sion de polinomios {P
n
}
n
tal que
P
n
f
El teorema de aproximacion de Weierstrass nos dice en su forma mas sencilla que el
conjunto de los polinomios es denso en C[0, 1]. A continuacion presentaremos dos lemas
que aunque su demostracion es relativamente facil, nos seran de gran utilidad mas ade-
lante.
Lema 1.5 El disco unitario es homeomorfo al semiplano derecho
+
:= {z C :
Re(z) > 0}
Prueba. Veamos primero que si z = x + iy D(0, 1), x, y R, entonces
1 +z
1 z

+
.
En efecto:
x
2
+ y
2
< 1 (1 x)(1 +x) y
2
> 0
Re
_
(1 +x + iy)(1 x + iy)
(1 x)
2
+ y
2
_
> 0
Re
_
1 +z
1 z
_
> 0
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. PRELIMINARES 7
Ahora podemos denir
f : D(0, 1)
+
como
f(z) =
1 +z
1 z
(z D(0, 1))
I) f es inyectiva: si z
1
, z
2
D(0, 1) y f(z
1
) = f(z
2
) entonces
1 +z
1
1 z
1
=
1 +z
2
1 z
2
1 z
2
+ z
1
z
1
z
2
= 1 +z
2
z
1
z
1
z
2
z
1
= z
2
II) f es sobreyectiva: si z
0
= a + bi
+
, a, b R entonces
a > 0 (a 1)
2
+ b
2
(a + 1)
2
+ b
2

z
0
1
z
0
+ 1
D(0, 1)
ademas f
_
z
0
1
z
0
+ 1
_
=
1 +
z
0
1
z
0
+ 1
1
z
0
1
z
0
+ 1
=
2z
0
2
= z
0
luego por la parte I) y II) existe f
1
:
+
D(0, 1) ademas
f
1
(z) =
z 1
z + 1
(z
+
)
de mas este decir f y f
1
son funciones continuas.
Lema 1.6 Si {
n
} es una sucesion de n umeros reales positivos tal que c :=nf{
n
: n
N} > 0 y

n=1
1

n
= , entonces

n=1
_
1
|
n
1|

n
+ 1
_
=
Note que 1
|
n
1|

n
+ 1
> 0 para cada n N
Prueba. Denimos A = {n N :
n
1} y B = N\A entonces A es nito o innito
Caso I: A es nito
En este caso se tiene que por ser la serie

n=1
1

n
divergente, tambien lo es la serie

nB
1

n
,
ademas
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. PRELIMINARES 8

nB
_
1
|
n
1|

n
+ 1
_
=

nB
2
1 +
n
y
1

n
<
2
1 +
n
para cada n B
Por lo tanto

nB
_
1
|
n
1|

n
+ 1
_
= y as

n=1
_
1
|
n
1|

n
+ 1
_
=
Caso II: A es innito
Como para cada n A
0 < c <
n
<
2
n
1 +
n
se cumple que

nA
_
1
|
n
1|

n
+ 1
_
=

nB
2
n
1 +
n
=
por lo tanto

n=1
_
1
|
n
1|

n
+ 1
_
=
1.3. El Teorema de Stone-Weierstrass
En esta seccion mostraremos que la conclusion del Teorema de Weierstrass se puede
extender a familias de funciones que satisfacen propiedades similares a las del conjunto
de los polinomios, para esto deniremos en primer lugar lo siguiente:
Denicion 1.7 Diremos que un conjunto R C[0, 1] tiene la propiedad de Stone si
satisface las siguientes condiciones:
1. f + g, f g, cf, f R f, g R y c C
2. Para cada par de puntos x
1
, x
2
[0, 1] existe f R tal que f(x
1
) = f(x
2
)
3. Para cada x [0, 1] existe f R tal que f(x) = 0
Si f es una funcion compleja denida en [0, 1], denotaremos por X
f
al conjunto formado
por todas las combinaciones lineales de las funciones
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. PRELIMINARES 9
1, f, f
2
, f
3
, . . . , f
n
, . . .
Es claro que si f C[0, 1] es una funcion a valores reales inyectiva, entonces X
f
tiene la
propiedad de Stone.
Teorema 1.8 (Stone - Weierstrass) Todo subconjunto R de C[0, 1] que satisface la
propiedad de Stone es denso en C[0, 1].
Corolario 1.9 Si f C[0, 1] es una funcion a valores reales inyectiva, entonces X
f
es
denso en C[0, 1].
El teorema de Stone - Weierstrass nos permite dar numerosos ejemplos de subconjuntos
densos en C[0, 1]. Sin embargo, nuestro interes esta en ciertas colecciones de polinomios
que estan muy lejos de ser el conjunto de todos los polinomios en C[0, 1].
Lema 1.10 Supongamos que A N es nito, p N y k
1
, k
2
, k
3
, . . . es una enumeracion
de N/A. Denamos
M := span{1, t
k
1
, t
k
2
, t
k
3
, . . .}
y
N := span{1, t
p
, t
2p
, t
3p
, . . .}
entonces M y N son densos en C[0, 1].
Prueba.
Sea k = mn{k
1
, k
2
, k
3
, . . .} y denamos M
k
:= span{1, t
k
, t
2k
, . . .} Por el corolario
1.9 es evidente que tanto N como M
k
son densos en C[0, 1], ademas M
k
M, concluyendo
asi que M tambien es denso en C[0, 1].
Si ahora consideramos una sucesion creciente {n
k
}
kN
de n umeros naturales y el subespa-
cio
X({n
k
}
kN
) := Span{1, t
n
1
, t
n
2
, . . .}
la pregunta que surge es Cuando podemos asegurar que X es denso en C[0, 1]?, evi-
dentemente si X({n
k
}
kN
) posee una subcoleccion con la propiedad de Stone entonces
X({n
k
}
kN
) sera denso, pero esta condicion a parte de ser suciente sera necesaria? La
respuesta es NO, para esto, daremos un ejemplo el cual vericaremos en el captulo 4.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. PRELIMINARES 10
Lema 1.11 Supongamos que p
1
, p
2
, . . . es una enumeracion creciente de los n umero pri-
mos, entonces

n=1
1
p
n
=
La divergencia de esta peculiar serie fue demostrada por primera vez en 1737 por Euler
y la siguiente demostracion se debe a Clarkson
Prueba.
Supongamos que la serie

n=1
1
p
n
converge, entonces existe k N tal que

m=k+1
1
p
m
<
1
2
sea Q = p
1
p
2
p
k
y denamos para cada n N a
n
= 1 +nQ, note que ninguno de los
n umeros p
1
, p
2
, . . . , p
k
divide a a
n
y por lo tanto los factores de a
n
se encuentran entre
los primos p
k+1
, p
k+2
, . . .
Ahora, si s N se cumple que
s

n=1
1
a
n

t=1
_

m=k+1
1
p
n
_
t
(1.1)
pues la suma de la derecha contiene todos los terminos de la suma izquierda. Como la
serie

t=1
_
1
2
_
t
es convergente se tiene que la serie

t=1
_

m=k+1
1
p
n
_
t
tambien lo es y en
consecuencia por (1.1) la serie

n=1
1
a
n
tambien es convergente.
Si n N es claro que
1
n
<
2Q
1 +nQ
=
2Q
a
n
Ya que la serie

n=1
2Q
a
n
tambien es convergente se tendra que la serie armonica tambien
lo es, lo que nos lleva a una contradiccion (ya que la serie armonica es divergente). Por lo
tanto, la serie

n=1
1
p
n
es divergente.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. PRELIMINARES 11
X({p
k
}
kN
) no posee una subcoleccion con la propiedad de Stone y sin embargo es
denso en C[0, 1], en realidad la condicion necesaria y suciente para que X({n
k
}
kN
) sea
densa en C[0, 1] es que

k=1
1
n
k
= , como lo veremos en el Captulo 4.
1.4. El Teorema de Hahn-Banach y consecuencias
En esta seccion X denotara a un espacio vectorial complejo con norma y M un
subespacio vectorial de X el cual consideraremos a su vez como un espacio topologico con
respecto a la topologa inducida por la norma .
Diremos que una funcion f es un funcional lineal en M, si f es una funcion compleja
denida en M y ademas satisface que f(x + y) = f(x) + f(y) para cada x, y M y
C.
Denicion 1.12 Un funcional lineal f denido en M es acotado si lo esta el conjunto
L =
_
|f(x)|
x
: x M\{0}
_
.
En este caso denimos f
M
como el supremo de L y denotaremos por M

al conjunto
de todos los funcionales lineales denidos en M acotados.
Usualmente se le conoce a M

como el dual de M
Teorema 1.13 Si f es un funcional lineal en el M entonces son equivalentes:
(i) f es un funcional lineal acotado
(ii) f es una funcion continua.
Prueba.
(i) (ii) Sea x
0
M por ser f un funcional lineal acotado se cumple que
|f(x) f(x
0
)| = |f(x x
0
)| f
M
x x
0
para cada x M
lo cual implica que f es continua en x
0
.
(ii) (i) Si f es continua, en particular lo es en el cero, por lo tanto para = 1 existe
> 0 tal que para cada x M con x < se cumple que |f(x)| < 1 (1)
Mostraremos que
2

es cota superior del conjunto

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. PRELIMINARES 12
_
|f(x)|
x
: x M\{0}
_
Sea x M\{0} ya que
_
_
_
_
x
x

2
_
_
_
_
=

2
< se cumple por (1) que

f
_
x
x

2
_

< 1

2x
|f(x)| < 1

|f(x)|
x
<
2

Uno de los teoremas mas conocido y basico en el Analisis funcional es el de Hahn -
Banach, el cual nos sera de gran utilidad mas adelante y solo lo enunciaremos.
Teorema 1.14 (Hahn - Banach) Si f M

entonces existe F X

tal que F|
M
f
y f
M
= F
X
Teorema 1.15 Si M es un subespacio vectorial de X y x
0
X, entonces,
x
0
M si y solo si para cada f X

que se anule en todo M se cumple que f(x

0
) = 0
Prueba.
() Si x
0
M, existe una sucesion {x
n
}
nN
M tal que x
n
x
0
0. Sea f X

una funcion que se anule en todo M, por el teorema 3.1 f es continua en x

0
, por lo tanto
f(x
n
) f(x
0
) pero f(x
n
) = 0 para cada n N
f(x
0
) = 0
() Supongamos que x
0
M, en tal caso existira > 0 tal que
x x
0
> para cada x M (1.2)
Sea L = {x +x
0
: x M y C}, claramente L es un subespacio vectorial de X que
contiene a M, denamos
g : L C como
g(x + x
0
) = (x M, C)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 1. PRELIMINARES 13
Note que si x M y C entonces
x + x
0
= 0 x = 0 y = 0
y esto nos permite asegurar que g esta bien denido y que ademas es un funcional lineal
en L ademas si = 0
|g(x + x
0
)|
x + x
0

=
| |
x + x
0

=
1
_
_
_
x

x
0
_
_
_
por (1.2)
1
_
_
_
x

x
0
_
_
_
>
1

|g(x + x
0
)|
x + x
0

<
1

g L

, luego por el teorema de Hahn - Banach, existe G X

tal que G|
L
g como
para cada x M g(x) = 0 se concluye que G|
M
0
Sin embargo, G(x
0
) = G(0 + 1x
0
) = 1, lo cual contradice nuestra hipotesis.
Lema 1.16 Si M es un subespacio vectorial de X entonces M tambien lo es
Prueba. Sean x, y M y C, para mostrar que x +y M, bastara mostrar que
todo funcional lineal f en M

que se anule en M se tiene que anular en x + y.

Sea f M

tal que f|
M
0 como x, y M se tiene que f(x) = f(y) = 0
f(x + y) = f(x) + f(y) = 0
Vale la pena destacar que aunque el Teorema de Hanh - Banach depende del Axioma
de Eleccion, el lema anterior no depende de este pues se puede demostrar de una forma
similar a lo hecho en el lema 1.1.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 2
Medidas de Borel reales y complejas
En este captulo daremos algunas deniciones basicas para poder comprender los enunci-
ados del Teorema de Representacion de Riesz y el Teorema de Fubini.
Denicion 2.1 Una coleccion L de subconjuntos de un conjunto Y se llama algebra
en Y si L tiene las siguientes propiedades:
1. Y L
2. Si A L, entonces Y \A L
3. Si {A
n
}
nN
es una coleccion de elementos en L, entonces

_
n=1
A
n
L
Teorema 2.2 Si F es una coleccion de subconjuntos de Y existe una algebra mnima
L en Y que contiene a F
Prueba. Sea = {L : L es una algebra en Y que contiene a F}, es no vaco
pues la coleccion de todos los subconjunto de Y es una algebra en Y que contiene a
F, denamos
L

L
L,
observemos que
a) Y L para todo L , por lo tanto Y L

14
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 2. MEDIDAS DE BOREL REALES Y COMPLEJAS 15

b) Si A L

entonces Y \A L para cada L y as Y \A L

c) Si A =

_
n=1
A
n
y A
n
L

para cada n N entonces A L, para cada L , por lo

tanto A L

d) F L para cada L , y as F L

e) Si L es un algebra que contiene a F entonces L y as L

L
por a), b), c) y d) se concluye que L

es una algebra en Y que contiene a F y por e)

se tiene que L

es la menor algebra en Y con esta propiedad.

En lo que sigue Y denotara un conjunto no vaco y una topologa sobre Y.
Denicion 2.3 Denotaremos por

a la menor algebra en Y que contiene a , a

la llamaremos algebra de Borel en Y y a sus elementos conjuntos de Borel en Y.

Denicion 2.4 Si f es una funcion compleja denida en Y diremos que
(a) f es una funcion medible Borel si para todo z
0
C y > 0 se cumple que
f
1
({z C : |z z
0
| })

(b) Si f(Y ) es nito, diremos que f es una funcion simple ademas si f(Y ) R se
dene
f
+
, f

: Y [0, +) como
f
+
(x) = max{f(x), 0} y f
1
(x) = mn{f(x), 0} (x Y )
Teorema 2.5 Si f, g son funciones medibles Borel y f = u+iv donde u y v son funciones
reales, entonces:
(a) Si f(Y ) R entonces f
+
, f

son medibles Borel

(b) u, v, f + g, f g y |f| son medibles Borel
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 2. MEDIDAS DE BOREL REALES Y COMPLEJAS 16

Denicion 2.6 Una medida de Borel positiva sobre Y es una funcion denida
en

con recorrido en [0, +] con la propiedad de aditividad numerable, es decir que si

{A
n
}
nN
es una coleccion numerable de conjuntos disjuntos en

entonces

_

_
n=1
A
n
_
=

n=1
(A
n
)
Si es una funcion denida en

con recorrido en C y ademas por la propiedad de

aditividad numerable diremos que es una medida de Borel compleja
Una medida de borel positiva sobre Y es de medida de nita si existe una sucesion
de conjuntos {E
n
}
n
en

tal que Y = E
n
y (E
n
) < para cada n N.
Si f es una funcion medible Borel simple donde
1
,
2
, . . . ,
n
son los distintos valores
que toma la funcion en Y y es una medida de Borel positiva en Y denimos
_
E
fd =
n

i=1

i
(E A
i
),
donde E

y A
i
= {x Y : f(x) =
i
} para cada i = 1, 2, 3, . . . , n del mismo modo,
si f tiene recorrido en [0, +) se dene
_
E
fd = sup
__
E
sd : s es una funcion medible Borel simple y 0 s(x) f(x) x Y
_
Denicion 2.7 Si es una medida de borel positiva, denimos L
1
() como el conjunto
de todas las funciones medibles borel tal que
_
Y
|f|d < del mismo modo si f = u+iv,
donde u y v son funciones reales, f L
1
() y E

denimos
_
E
fd =
_
E
u
+
d
_
E
u

d + i
_
E
v
+
d i
_
E
v

d
Teorema 2.8 [Teorema de la Convergencia dominada de Lebesgue]
Supongamos que {f
n
} es una sucesion de funciones medibles complejas sobre Y tales
que existe
f(x) = lm
n
f
n
(x) para todo x Y
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 2. MEDIDAS DE BOREL REALES Y COMPLEJAS 17

si existe una funcion g L
1
() tal que
|f
n
(x)| g(x) (n = 1, 2, 3, . . . ; x Y )
entonces f L
1
()
lm
n
_
Y
|f
n
f|d = 0
y
_
Y
fd = lm
n
_
Y
f
n
d
Denicion 2.9 Si es una medida de borel compleja, se dene || :

[0, +]
mediante
||(E) = sup
_

i=1
|(E
n
)| : E =

_
n=1
E
n
donde {E
n
}
n

es una coleccion disjunta dos a dos

_
|| recibe el nombre de variacion total de .
Teorema 2.10 Si es una medida de borel compleja sobre Y, entonces la variacion total
|| de es una medida de borel positiva sobre Y, ademas ||(Y ) <
Teorema 2.11 Si es una medida de borel compleja existe una funcion medible borel
sobre Y, h tal que |h(x)| = 1 para todo x Y y
(E) =
_
E
hd|| para toda E

Teniendo sentido denir la integral de una funcion medible borel f sobre un subconjunto
E

con respecto a la medida como:

_
E
fd =
_
E
fhd||
Teorema 2.12 Si es una medida de borel positiva sobre Y, g L
1
() y
(E) =
_
E
gd (E

)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 2. MEDIDAS DE BOREL REALES Y COMPLEJAS 18

se tiene que es una medida de borel compleja sobre Y .
Ademas,
_
E
fd =
_
E
fgd E

y f medible borel.
2.1. El Teorema Representacion de Riesz
Si es una medida de borel compleja sobre [0, 1], la funcion : C[0, 1] C denida
por
(f) =
_
[0,1]
fd (f C[0, 1]) (2.1)
determina un funcional lineal que ademas es acotado por ||([0, 1]). Lo que Riesz de-
mostro fue que los funcionales lineales en C[0, 1]

son necesisariamente de esta forma.

Ahora estamos en condiciones de enunciar el Teorema de Representacion de Riesz.
Teorema 2.13 (Representacion de Riesz) A cada funcional lineal acotado sobre
C[0, 1] le corresponde una medida de borel compleja sobre [0, 1] tal que
(f) =
_
[0,1]
fd (f C[0, 1])
2.2. El Teorema de Fubini
Sean X, Y conjuntos no vaco y f una funcion compleja denida en X Y, para cada
x X e y Y denimos
f
x
: Y C y f
y
: X C
como
f
x
(a) = f(x, a) f
y
(b) = f(b, y) (a Y, b X).
El Teorema de Fubini involucra deniciones que no estan dentro de nuestro interes para la
realizacion de este trabajo, es por esto que daremos una version mas debil de este teorema.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 2. MEDIDAS DE BOREL REALES Y COMPLEJAS 19

Teorema 2.14 (Fubini) Sean X, Y espacios topologicos y , medidas de borel reales
y de medida nita sobre X e Y respectivamente, sea f una funcion compleja denida
en X Y tal que para cada x X, y Y
|f|
x
, f
x
L
1
() y f
y
L
1
()
denamos
(x) =
_
Y
f
x
d,

(x) =
_
Y
|f|
x
d, (y) =
_
X
f
y
d (x X, y Y )
Entonces
1.

es una funcion medible borel en X

2. Si
_
X

d < se cumple ademas que L

1
(), L
1
() y
_
X
d =
_
Y
d
Ejemplo 2.15 Sea m la medida de Lebesgue sobre [0, 1], denamos f : [0, 1][0, 1] C
como
f(x, y) =
_
_
_
e
x
2
si y < x 1
0 si 0 y y
en este caso
(x) =
_
[0,1]
f(x, y)dm(y) =
_
x
0
e
x
2
dy, (y) =
_
[0,1]
f(x, y)dm(x)
=

(x) =
_
1
y
e
x
2
dx
como f es una funcion acotada, entonces

L
1
(m). El Teorema de Fubini nos garantiza
que y son funciones medibles Lebesgue, (pero esto no es de sorprender pues el Teorema
Fundamental del Calculo podemos armar que y son continuas), ademas se cumple
que
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 2. MEDIDAS DE BOREL REALES Y COMPLEJAS 20

_
[0,1]
dm =
_
[0,1]
dm

_
[0,1]
dm =
_
1
0
__
[0,1]
f(x, y)dm(y)
_
dx
=
_
1
0
__
1
0
e
x
2
dy
_
dx
=
_
1
0
xe
x
2
dx
=
_
e
x
2
2
_
1
0
=
e 1
2
En el calculo surga un problema al tratar de hallar el valor de
_
1
0
_
1
y
e
x
2
dxdy sin cambiar
el orden de integracion, pues la funcion e
x
2
no posee primitiva a traves de funciones
elementales.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 3
Funciones analticas y distribucion de ceros
En el presente captulo denotara un subconjunto abierto del plano complejo y U al
conjunto {z C : |z| < 1}
Denicion 3.1 Diremos que una funcion compleja f denida en es diferenciable en
z
0
si
f

(z
0
) = lm
zz
0
f(z) f(z
0
)
z z
0
existe,
Del mismo modo si se cumple que f es diferenciable en todo punto de diremos que f
es analtica en y denotaremos por H() al conjunto de todos las funciones complejas
denidas en que sean analticas en .
Denicion 3.2 Una curva en C es una funcion compleja denida en un intervalo
compacto [a, b] R la cual es continua, en donde denotaremos por

al conjunto de
todos los puntos (t) con a t b.
Un camino es una curva en C continuamente diferenciable a trozos, es decir existen
una cantidad nita de puntos a =
0
<
1
<
2
< . . . <
n
= b tales que |
[
i1
,
i
]
es
diferenciable y con derivada continua (i = 1, 2, . . . , n).
Si es un camino tal que (a) = (b) diremos que es un camino cerrado.
Dos de los resultados que nos sera bastante util es el de la f

rmula integral de Cauchy

y el de teorema de Morera, para esto deniremos lo siguiente:
Denicion 3.3 Si es una curva en C denida en [a, b] R y f es una funcion compleja
continua en

, la integral de f sobre se dene como

21
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 3. FUNCIONES ANAL

ITICAS Y DISTRIBUCI

ON DE CEROS 22
_

f(z)dz =
_
b
a
f((t))

(t)dt
Ejemplo 3.4 Denamos f : C\{0} C y : [0, 2] C\{0} como
f(z) =
1
z
(z C\{0}),
(t) = e
it
= cos t + i sen t (t [0, 2])
Calculemos la integral de f sobre
_

f(z)dz =
_
2
0
f((t))

(t)dt =
_
2
0
(sen t + i cos t)
cos t + i sen t
dt
=
_
2
0
(sen t + i cos t)(cos t i sen t)dt
=
_
2
0
(sent cos t + i sen
2
t + i cos
2
t + sen t cos t)dt
=
_
2
0
0dt + i
_
2
0
dt = 0 +i2 = i2.

Teorema 3.5 Sea un camino cerrado, sea k = C\

y denimos
Ind

(z) =
1
2i
_

d
z
(z K)
entonces Ind

es una funcion denida sobre K a valores enteros que es constante en cada

componente de K y que es 0 en la componente no acotada de K
Ejemplo 3.6 Si es la circunferencia orientada positivamente con centro en a C y
radio r, se tendra que las componente de C\

son D(a, r) y C\D(a, r) siendo esta ultima

la componente no acotada, lo cual por el teorema anterior se tendra que
Ind

(z) = 0 si |z a| < r
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 3. FUNCIONES ANAL

ITICAS Y DISTRIBUCI

ON DE CEROS 23
Ahora para saber el valor que toma la funcion Ind

en la componente D(a, r) basta

con saber que valor toma en a
Ind

(a) =
1
2i
_

d
a
=
1
2i
_
2
0
ie
it
dt
e
it
+ a a
=
i
2i
_
2
0
dt = 1
por lo tanto
Ind

(z) =
_
_
_
1 si |z a| < r
0 si |z a| > r
A continuacion y con el objeto de demarcar completamente el alcance de nuestra
exposici on damos una lista de algunos de los principales resultados de la teora de funciones
de una variable compleja.
[Teorema Fundamental del Calculo en C] Supongamos que F H() y que
F

es continua en . Entonces
_

(z)dz = 0
para todo camino cerrado en .
///.
[Teorema de Cauchy]
1
Sean: C, un conjunto abierto y convexo, p , f
una funcion continua en , tal que f H( {p}). Entonces existe F H()
tal que F

= f. Por lo tanto
_

f(z) dz = 0
para todo camino cerrado .
///.
[Formula Integral de Cauchy] Supongamos que es un camino cerrado en un
conjunto abierto y convexo , y f H(). Si z y z / ([a, b]), entonces
f(z) Ind

(z) : =
1
2i
_

f()
z
d. (3.1)
///.
1
Esta version del clasico teorema es suciente para nuestros propositos.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 3. FUNCIONES ANAL

ITICAS Y DISTRIBUCI

ON DE CEROS 24
[Teorema del Valor Medio de Gauss] El caso en que Ind

(a) = 1 es de partic-
ular interes: Si f H(D(a, r)), entonces
f(a) =
1
2
_
2
0
f(a + re
i
) d.
///.
[Analiticidad] Si C es abierto, entonces toda f H() puede representarse
mediante series de potencias en ; precisando: Si a entonces existe r > 0 tal
que
f(z) =

n=0
c
n
(z a)
n
, z D(a, r) , ;
en particular, toda funcon f H() es innitamente diferenciable.
Reciprocamente, si f puede representarse mediante series de potencias en ,
entonces f H() y f

tambien se representa mediante series de potencias en

.
De hecho si
f(z) =

n=0
c
n
(z a)
n
, z D(a, r),
entonces
f
k
(z) =

n=k
n(n 1)...(n k + 1) c
n
(z a)
nk
, z D(a, r). (3.2)
En consecuencia, (1.1) implica que
k! c
k
= f
k
(a) (k = 0, 1, 2, ...),
de modo que para cada a existe una unica sucesion {c
n
} para la que se verica
(1.1).
///.
[Ceros de Funciones Analticas y Unicidad ] Supongamos que es una region,
f H(), y pongamos
Z(f) := {a : f(a) = 0}.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 3. FUNCIONES ANAL

ITICAS Y DISTRIBUCI

ON DE CEROS 25
Entonces, o bien Z(f) = , o Z(f) no tiene puntos lmites en . Si Z(f) = ,
entonces a cada a Z(f) le corresponde un unico entero positivo m = m(a) tal que
f(z) = (z a)
m
g(z) (z ),
donde g H() y g(a) = 0; ademas, Z(f) es a lo sumo numerable. Como
consecuencia, se tiene el siguiente teorema de unicidad para funciones holomorfas:
[Teorema de Unicidad] Si f, g son funciones holomorfas en una region y si
f(z) = g(z) para todo z de alg un conjunto que posea un punto lmite en , entonces
f(z) = g(z) para todo z .
///.
[Version Cuadratica del TVM]
Si f(z) =

n=0
c
n
(z a)
n
, z D(a; r); y si 0 < r < R, entonces

n=o
|c
n
|
2
r
2n
=
1
2
_

|f(a + re
i
)|
2
d. (3.3)
///.
[Teorema de Morera] Si f es una funcion continua en un dominio y
_

f(z)dz = 0
para todo contorno cerrado en , entonces f H(D).
///.
[Teorema de Liouville] Supongamos que f H(C) y que existen constantes
reales A, B, R (0, ) y N N {0}, tales que
|f(z)| A|z|
N
+ B para todo z tal que |z| R.
Entonces f es un polinomio de grado menor o igual que N.
///.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 3. FUNCIONES ANAL

ITICAS Y DISTRIBUCI

ON DE CEROS 26
En el estudio de las funciones analticas en un conjunto abierto , un topico de gran
importancia es el de la distribucion de los ceros. El Teorema de Unicidad, mencionado
arriba, arma que los ceros de una funcion analtica en una region no pueden acumularse
en a menos que la funcion sea identicamente igual a cero. Otro resultado similar a este
ultimo (y el cual no se deriva del mismo) es el siguiente:
Teorema 3.7 Si f H(U) tal que f es acotada y
1
,
2
, . . . son ceros de f en U y si
ademas

n=1
(1 |
n
|) = , entonces f 0
Denicion 3.8 Supongamos que {U
n
}
n
es una sucesion de n umeros complejos, pongamos
P
n
:= U
1
U
2
U
3
U
n
(n = 1, 2, . . .)
y supongamos que existe P = lm
n
P
n
. Entonces escribimos
P =

n=1
U
n
(3.4)
Los P
n
son los productos parciales del producto innito (3.4).
El teorema que a continuacion se presenta nos va a permitir mas adelante construir
funciones analtica en un conjunto abierto con ceros en puntos preescritos en .
Teorema 3.9 Supongamos que f
n
H() para n = 1, 2, 3, . . . , que ninguna f
n
es iden-
ticamente 0 en ninguna componente de , y que

n=1
|1 f
n
(z)|
converge uniformemente en cada subconjunto compacto de . Entonces se puede denir
f : C como
f(z) =

n=1
f
n
(z) (z )
y se cumple que f H() ademas, si z
0
entonces f(z
0
) = 0, si y solo si f
n
(z
0
) = 0
para alg un n N
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 3. FUNCIONES ANAL

ITICAS Y DISTRIBUCI

ON DE CEROS 27
Hasta los momentos hemos denido conceptos y enunciado teoremas (a los que por
obvias razones de exposicion y espacio le hemos omitido su demostracion) los cuales son
conocidos en distintos ramas de la matematica y que nos serviran para demostrar el
teorema de Muntz - Szasz. Resulta muy graticante obtener y demostrar resultados, con
interes propio, que se derivan de aquellos teoremas basicos, para comenzar veamos como
ejemplo el siguiente resultado.
Teorema 3.10 Sea una medida de borel compleja sobre un espacio X, un conjunto
abierto de C y una funcion compleja denida sobre X tal que
1. es acotada;
2.

{z}X
es una funcion medible para cada z ;
3.

{z}
H() para cada t X
Si denimos f : C como f(z) =
_
X
(z, t)d(t) (z ), entonces f H().
Prueba.
Para demostrar que f H(), basta con ver que f satisface las hipotesis del Teorema de
Morera.
I) f es continua en
Sea z
0
y > 0, sin perdida de generalidad supongamos que es una medida no
nula, y que D(z
0
, ) , tomemos = mn
_
/2,

2
2M||(X)
_
donde M es una cota en
R
+
de la funcion .
Veamos que f(D(z
0
, )) D(f(z
0
), )
Si z D(z
0
, )\{z
0
} y es una circunferencia orientada positivamente con centro z
0
y
radio .
Por la formula de Cauchy se tiene que:
(z, t) =
1
2i
_

(, t)
z
d y (z
0
, t)
1
2i
_

(, t)
z
0
d
para cada t X
Luego
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 3. FUNCIONES ANAL

ITICAS Y DISTRIBUCI

ON DE CEROS 28

f(z) f(z
0
)
z z
0

_
X
1
2i
__

_
(, t)
z

(, t)
z
0
_
d
_
d(t)
z z
0

=
1
2

_
X
__

_
(, t)
z

(, t)
z
0
_
d
_
d(t)
z z
0

1
2
_
X

(, t)
( z)( z
0
)
d

d||(t)
Pero

(, t)
( z)( z
0
)
d

M
_

d
| z|| z
0
|
=
M

d
| z|

1
/2
_

d =
4

2
M =
4

M
Por lo tanto,

f(z) f(z
0
)
z z
0

1
/2
4M

_
X
d||(t) =
2

||(X)M
y as |f(z) f(z
0
)|
2

||(X)M|z z
0
| <
f(z) D(f(z
0
), )
II) Ahora si es un triangulo cerrado, entonces
_

f(z)dz =
_

__
X
(z, t)d(t)
_
dz
Teorema de Fubini
=
_
X
__

(z, t)dz
_
d(t)
como

{t}
H() para cada t , entonces
_

(z, t)dz = 0 para cada t

Luego
_

f(z)dz =
_
X
0d(t) = 0

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 3. FUNCIONES ANAL

ITICAS Y DISTRIBUCI

ON DE CEROS 29
Sea
+
= {z C : Re(z) > 0} y denamos :
+
[0, 1] C como
(z, t) = t
z
=
_
_
_
e
ln(t)z
si t > 0
(z, t)
+
[0, 1]
0 si t = 0
note que para cada t [0, 1] la funcion |
{t}
es analtica en
+
y jado z
+
la
funcion |
z[0,1]
es continua en [0, 1], ademas si (z, t)
+
(0, 1] entonces
|(z, t)| |e
z ln(t)
| = |e
Re(z) ln t
e
Imz ln ti
| = |e
Re(z) lnt
| = t
Re(z)
1
es una funcion acotada en
+
[0, 1]
As, si es una medida de borel compleja en [0, 1], podemos armar, en virtud del teorema
3.12, que la funcion
f :
+
C denida como
f(z) :=
_
[0,1]
t
z
d(t) (z
+
) es analtica en
+
Lema 3.11 Si es una medida de borel compleja denida en [0, 1] entonces la funcion
f(z) =
_
[0,1]
t
z
d(t) (z
+
) es analtica en
+
Hemos enunciado resultados sobre la distribucion de los ceros de una funcion analtica
pero Que tiene que ver esto con el teorema de Muntz - Szasz? para responder esta
pregunta comenzaremos por demostrar el siguiente teorema:
Teorema 3.12 Si

= {z C : Re(z) > 2}, y {

n
} es una sucesion de n umeros
reales positivos tal que

n=1
1

n
< , entonces existe una funcion f

H(

) acotada en
el conjunto
0
= {z C : Re(z) 1} y que se anula solo en los puntos 0,
1
,
2
, . . .
Prueba. Para cada n N denamos
f
n
:

C como
f
n
(z) =

n
z
2 +
n
+ z
(z

),
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 3. FUNCIONES ANAL

ITICAS Y DISTRIBUCI

ON DE CEROS 30
es claro que f
n
H(

) pues es cociente de funciones analtica en

y 2 +
n
+ z no se
anula en

.
Sea K un subconjunto compacto de

, veamos que la serie

n=1
|1 f
n
(z)| converge
uniformemente en K
Como K es compacto existe M > 0 tal que
M |2 + 2z| +|2 +z| z K
ademas
1

n
0 (ya que

n=1
1

n
< ) y en consecuencia
n
, sea n
0
N tal que

n
2M n n
0
entonces se verica las siguientes desigualdades para cada z K y n n
0
1. |2 + 2z| M
2. 0 <
n
M |2 +
n
+ z|
3.
M

n
M

2M

n
por lo tanto
|1 f
n
(z)| =
|2z + 2|
|2 +
n
+ z|

M

n
M

2M

n
para cada n n
0
y z K, como la serie

n=n
0
2M

n
converge se tiene por el MTest de
Weierstrass que

n=n
0
|1f
n
(z)| converge uniformemente en K, por lo tanto

n=1
|1f
n
(z)|
converge uniformemente en K
Ahora aplicando el teorema 3.12 podemos denir
f

C como
f

(z) =
z
(2 +z)
3

n=1

n
z
2 +
n
+ z
(z

)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 3. FUNCIONES ANAL

ITICAS Y DISTRIBUCI

ON DE CEROS 31
y ademas armar que f

H(

), por otra parte si z

0
= a + bi con a, b R, a 1
entonces para cada n N

n
z
0
2 +
n
+ z
0

1 (
n
a)
2
+ b
2
(2 +
n
+ a)
2
+ b
2

n
2
2
n
4 + 4
n
+
2
n
+ 4a + 2
n
a
0 4 + 6
n
+ 4a + 2
n
a
0 4(a + 1) + 2
n
(a + 3)

n=1
f
n
(z
0
)

n=1
|f
n
(z
0
)| 1
de igual forma se prueba que

z
0
(2 +z
0
)
3

1 concluyendo, as que |f

(z
0
)| 1, otra
consecuencia del teorema 3.12 es que f

se anula solo en los puntos 0,

1
,
2
, . . .
Mas adelante, veremos como se relaciona esta funcion con un funcional lineal en
C[0, 1]

.
Lema 3.13 Si f H(
+
) es acotada y

n=1
1

n
= donde {
n
}
n
es una sucesi on de
n umeros reales positivos en donde se anula f y nf{
n
: n N} > 0, entonces f es
identicamente igual a cero en
+
Prueba. Sea g : U C denida por
g(z) = f
_
1 +z
1 z
_
(z U)
por ser la correspondencia
z
1 +z
1 z
(3.5)
una biyeccion entre U y
+
(ver lema 1.5) se cumple que f 0 si y solo si g 0 ahora
bien, ya que la correspondencia (3.5) determina una funcion analtica en U se tiene que
g H(U) ademas, si

n=1
1

n
= por el lema 1.6
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 3. FUNCIONES ANAL

ITICAS Y DISTRIBUCI

ON DE CEROS 32

n=1
1 |
n
| =
donde
n
=

n
1

n
+ 1
(n N) ademas g(
n
) = 0 para cada n N, luego por el teorema
3.9 se cumple que g 0
f 0
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo 4
El Teorema de M untz - Szasz
4.1. Transformada de Fourier
En esta seccion utilizaremos la letra m para representar a la medida de Lebesgue en R
y denotaremos por L
1
al conjunto de las funciones complejas f, denidas en R y medibles
Lebesgue tales que
_
R
|f|dm es nita.
Denicion 4.1 Si f L
1
se dene

f : R C como

f(t) =
1
2
_
R
f(x)e
ixt
dm(x) (t R).
A la funcion

f se le llama transformada de Fourier de f
El teorema que nos sera de gran utilidad en este trabajo es el que arma que

f es
continua y acotada.
Teorema 4.2 Si f L
1
, entonces

f es continua en todo R y ademas es acotada.
Prueba. Sea t R. Para probar la continuidad en t, supongamos que {t
n
}
n
R es
una sucesion que converge a t y veamos que

f(t
n
)

f(t) denamos para cada n N la
funcion f
n
: R C como f
n
(x) = f(x)(e
it
n
x
e
itx
) (t R) entonces para cada x R
f
n
(x) 0
33
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. EL TEOREMA DE M

UNTZ - SZ

ASZ 34
ademas
|f
n
(x)| 2|f(x)| x R y 2f L
1
luego por el teorema de la convergencia dominada
_
R
f
n
(x)dm
_
R
odm

_
R
|f(x)(e
it
n
x
e
itx
)|dm 0
|

f
n
(t
n
)

f(t)| =

_
R
f(x)e
it
n
x
dm
_
R
f(x)e
itx
dm

_
R
|f(x)||e
it
n
x
e
itx
|dm
|

f
n
(t
n
)

f(t)| 0 y as

f es continua en t
Por otra parte,
|

f(t)| =

_
R
f(x)e
itx
dm(x)

_
R
|f(x)e
itx
|dm(x)
=
_
R
|f(x)|dm(x) <
lo que muestra que

f es acotada en R.
Teorema 4.3 Sea f

como en el teorema 3.12, existe una medida de borel compleja

0
sobre [0, 1] tal que
f

(z) =
_
[0,1]
t
z
d
0
(t) (z
+
)
Prueba. f

(z) =
h(z)
(z + 2)
2
(z

) donde h(z) =
z
1 +z

n=1

n
z
2 +
n
+ z
sea z
+
y R > |z + 1| + 1, como f

H(

) por la formula de Cauchy (Teorema 3.7)

podemos armar que
f

(z) =
1
2i
__
l
R
f

()
z
d +
_
C
R
f

()
z
d
_
(4.1)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. EL TEOREMA DE M

UNTZ - SZ

ASZ 35
donde l
R
y C
R
son las curvas
l
R
(s) := 1 is (s [R, R])
C
R
(t) := Re
it
1 (t [, ])
C
R
l
R
-1 R 1
Ahora si t [, ] entonces

(C
R
(t))iRe
it
Re
it
1 z

= R

(C
R
(t))
(Re
it
+ 1)
2
(Re
it
1 z)

R
(R 1)
2
(R |z + 1|)

R
(R 1)
2
por lo tanto

_
C
R
f

()
z
d

R
(R 1)
2
dt =
2R
(R 1)
2
lm
R
_
C
R
f

()
z
= 0 de este hecho y por (4.1) se cumple que
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. EL TEOREMA DE M

UNTZ - SZ

ASZ 36
f

(z) = lm
R
1
2i
_
l
R
f

()
z
d
=
1
2i
lm
R
_
R
R
f

(1 si)(i)
1 s z
ds
=
1
2
lm
R
_
R
R
f

(1 +si)
1 si + z
ds
=
1
2
_

(1 +si)
1 si + z
ds
.
Por otra parte, para cada s R
_
1
0
t
zsi
dt =
_
t
zsi+1
z is + 1
_
1
0
=
1
z is + 1
f

(z) =
_

__
1
0
t
zis
f

(1 +si)
2(1 si + z)
dt
_
ds
Teo. de Fubini
=
_
1
0
t
z
_
1
2
_

(1 +is)e
is ln t
ds
_
dt
denamos
g : R C como
g(s) = f

(1 +is) (s R)
por tanto
|g(s)| =
|g(1 +is)|
|(is + 1)
2
|

1
|is + 1|
2

1
s
2
+ 1
como
_

1
s
2
+ 1
ds < , se tiene que g L
1
y por el teorema 4.2 g es acotada, as la
funcion P(t) = g(log t) (t (0, +)) (donde g es la transformada de Fourier de g) es
continua y acotada, denamos
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. EL TEOREMA DE M

UNTZ - SZ

ASZ 37
(E) =
_
E
Pdt E
t
(0,1]
por el teorema 2.12 es una medida de borel compleja en (0, 1] que claramente la podemos
extender a una medida compleja
0
en [0, 1], obteniendo nalmente que
f

(z) =
_
1
0
t
z
d
0
(t)

4.2. El Teorema de M untz - Szasz

En este captulo daremos una de las demostraciones del Teorema de Muntz - Szasz. A
saber, la que se expone en el famoso texto de Walter Rudin: Real & Complex Analysis,
[10]. Finalizamos este capitulo enunciando algunas generalizaciones de este teorema.
Teorema 4.4 (M untz - Szasz)
Supongamos que 0 <
1
<
2
< . . . <
n
< . . . y que Y = span{1, t

1
, t

2
, . . .}.
1. Si

n=1
1

n
= , entonces Y = C[0, 1].
2. Si

n=1
1

n
< y si {
n
}, = 0 entonces Y no contiene la funcion t

Prueba. a) Supongamos que

n=1
1

n
= . Si Y contiene al conjunto de todos los
polinomios, el teorema de Weierstrass nos garantizara entonces que Y es denso en C[0, 1].
Para ver esto, en virtud del lema 1.16, solo bastara con mostrar que:
t
n
Y para cada n N.
Sea n
0
N, para mostrar que t
n
0
Y haremos uso del teorema 1.15. Sea un funcional
lineal en C[0, 1]

tal que
|
Y
0. (4.2)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. EL TEOREMA DE M

UNTZ - SZ

ASZ 38
Entonces, por el teorema de representacion de Riesz (Teorema 2.13) existe una medida
de borel compleja sobre [0, 1] tal que
(f) =
_
[0,1]
fd (f C[0, 1]).
El lema 3.13 nos asegura que la funcion
f(z) =
_
[0,1]
t
z
d(t) (z
+
)
es analtica en
+
, ademas por (4.2) f se anula en los puntos
1
,
2
, . . . y ya que la serie

n=1
1

n
es divergente, el teorema 3.13 implica que f es identicamente igual a cero en
+
;
en particular, f(n
0
) = 0.
(t
n
0
) = 0. Luego t
n
0
Y .
b) Supongamos ahora que

n=1
1

n
es convergente.
Sea R\{0,
1
,
2
, . . .} y denamos f

como en el teorema 3.12.

Sabemos que f

no se anula en , ademas por el teorema 4.3, se tiene la representacion

f

(z) =
_
[0,1]
t
z
d
0
(t) (z
+
) (4.3)
donde
0
es una medida de borel compleja en [0, 1]. Luego, como
0
determina un funcional
lineal en C[0, 1]

, el cual, por (4.3), no se anula en t

, concluimos por el teorema 1.17 que

t

no pertenece a Y .
Recordando el lema 1.11 obtenemos el siguiente corolario
Corolario 4.5 Si {p
n
}
nN
es una enumeracion creciente de los n umeros primos entonces
el conjunto span{1, t
p
1
, t
p
2
, . . .} es denso en C[0, 1].
Si
n
= 1 +
1
n
(n N), el teorema de Muntz - Szasz no nos asegura si Y
0
=
span{1, t

1
, t

2
, . . .} es denso o no (C[0, 1]), ya que la sucesion {
n
}
n
no es creciente;
sin embargo, en los lemas que estan involucrados en la demostracion de este teorema
nunca se supuso que la sucesion {
n
}
n
fuese creciente. La demostracion del siguiente lema
basicamente es la misma que la del teorema 4.4
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. EL TEOREMA DE M

UNTZ - SZ

ASZ 39
Lema 4.6 Sea {
n
}
n
es una sucesion de n umeros reales, entonces
1. Si nf{
n
: n N} > 0 y

n=1
1

n
= , entonces Y = C[0, 1]
2. Si

n=1
1

n
< y si {
n
}, = 0 entonces Y no contiene la funcion t

.
Corolario 4.7 Y
0
es denso en C[0, 1].
Otro ejemplo surge al considerar las funciones
1, t,

t,
3

t,
4

t, . . .
Sera el conjunto Y
1
= span{1, t,

t,
3

t,
4

t, . . .} denso en C[0, 1]?

y la respuesta es si, pues la demostracion del teorema 4.4 da para mucho mas, observemos
que

n=1
_
1
|1/n 1|
1/n + 1
_
=

n=1
_
1 +
1/n 1
1/n + 1
_
=

n=1
2
n + 1
=
esto quiere decir que si f es una funcion analtica en
+
acotada y se anula en los puntos
de la forma 1/n (n N) entonces necesariamente f se anula en todo es semiplano
derecho (comparar con el lema 3.13)
Si seguimos el esquema de la demostracion del teorema de M untz - Ssasz en la parte
a) tomando en cuenta lo dicho anteriomente llegamos a que Y
1
, es denso en C[0, 1].
Con argumentos muy parecidos a los que se encuentran en la demostracion del teorema
de M untz - Szasz, Peter Borwein y Tomas Erdelyi [4], [7] dieron la demostracion del
siguiente teorema
Teorema 4.8 (Generalizacion del Teorema de M untz - Szasz) Si {
n
}
n
es una suce-
sion de n umeros reales entonces
Y = span{1, t

1
, t

2
, . . .} es denso en C[0, 1]

n=1

n
1 +
n
2
= .
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAP

ITULO 4. EL TEOREMA DE M

UNTZ - SZ

ASZ 40
M untz - Szasz en espacios L
p
[0, 1]
Si 0 < p < y si f es una funcion compleja denida en [0, 1] la cual es medible
Lebesgue se dene
f
p
=
__
[0,1]
|f|
p
dm
_
1/p
Sea L
p
[0, 1] el conjunto de todas las funciones f para las que verica
f
p
<
Una de las propiedades del conjunto L
p
[0, 1] es que es un espacio vectorial complejo (con
las operaciones usuales) y que
p
dene una norma sobre este espacio, al considerar el
espacio L
p
[0, 1] como espacio topologico con respecto a la topologa que induce la norma

p
, Borwein y Edyerlin demostrar en el mismo trabajo, el siguiente teorema.
Teorema 4.9 (M untz - Szasz en L
p
[0, 1]) Si {
n
}
n
es una sucesion de n umeros reales
distintos y mayores que 1/p (p (0, +)) entonces son equivalentes
1. Span{t

1
, t

2
, . . . , t

n
, . . .} es denso en L
p
[0, 1]
2.

n=1

n
+ 1/p
(
n
+ 1/p)
2
+ 1
= .