REVISTA MATEM

ATICA
DEL PROGRAMA
J

OVENES TALENTO
N

umero 8
Mayo 2012
REVISTA MATEM

ATICA DEL
PROGRAMA J

OVENES TALENTO
N umero 8 (Mayo 2012)
Quienes somos
El Programa Jovenes Talento de El Salvador (PJT), cuya sede se encuentra en San Salvador, es un
proyecto conjunto de la Universidad de El Salvador y el Ministerio de Educacion que brinda atencion
a alumnos con rendimiento destacado en matematica y ciencias naturales. Asimismo, en sus mas de 10
a nos de existencia, ha estado a cargo de la seleccion y preparacion de las delegaciones que representan
a El Salvador en diversas competencias internacionales.
La Revista Matematica del PJT fue fundada en 2009 con el objetivo de estimular el estudio de la
matematica a un alto nivel, con enfasis en la tradicion de las olimpiadas de matematica. Esta dirigida
a alumnos familiarizados con la resolucion de problemas, instructores, profesores y al lector interesado
en la matematica en general. Inicialmente concebida en el contexto del PJT, la presente publicacion
pretende convertirse en una referencia seria de la actividad matematica de El Salvador y la region
centroamericana.
Editor
Gabriel Alexander Chicas Reyes (University of Tokyo)
Correo electronico: gachr.ebc253@gmail.com
Colaboradores
Agradecimientos especiales a Julio Ayala (Universidad de Buenos Aires), Lic.

Oscar Hernandez
(Universidad de El Salvador), Lic. Aar on Ramrez (Universidad de El Salvador), Lic. Gredy Salmeron
(Ponticia Universidad Catolica de Chile) y Mtr. Dimas Tejada (Universidad de El Salvador) por
participar en la correccion de errores del presente n umero.
Creditos fotogracos
A menos que se especique lo contrario, las imagenes empleadas son de dominio p ublico y no se
pretende ninguna violacion de derechos de autor.
Roberto Bobrow (p.22)
Julie Falk (p. 23, izquierda)
Exploratorium(p. 23, derecha)
Suscripcion
La presente es una publicacion digital distribuida mediante correo electronico. Para suscribirse fa-
vor escribir a la direccion remat.pjt@gmail.com.
Los interesados en una impresion de la revista pueden contactar a la Asociacion de Padres de
Familia del PJT (ASTALENTO), que hace circular (de manera limitada) una version en papel. Su
direccion de contacto es astalento@gmail.com.
i
Como contribuir
La Revista Matematica del PJT invita cordialmente a participar en su elaboracion a todos los
miembros del Programa (alumnos, instructores, catedraticos, padres de familia) y al lector interesado
en general.
Artculos. Se invita a los lectores a contribuir con sus trabajos originales sobre matematica
elemental. El documento debera incluir las referencias academicas usadas en su elaboracion y la
informacion de contacto de su autor, incluyendo: Nombre, aliacion academica y correo
electronico.
Columna de problemas. Se desafa a los lectores a enviar sus soluciones creativas a los pro-
blemas de esta seccion, as como a proponer problemas originales para la columna del siguiente
n umero. El archivo enviado debera incluir la informacion de contacto del autor, y en el caso de
un problema propuesto su respectiva procedencia (nombre del libro, olimpiada, o autor del
problema). Se dara prioridad a problemas originales.
Cafe Matematico. Se acepta todo tipo de material de divulgacion matematica, incluyendo:
Historia de las matematicas, biografas de matematicos famosos, acertijos, humor matematico,
etc. Tener en cuenta que esta seccion esta orientada hacia un p ublico mas amplio, por lo que se
evitaran documentos demasiado tecnicos.
Contacto
Se solicita a los lectores enviar sus contribuciones, preguntas o comentarios a la siguiente direccion:
remat.pjt@gmail.com.
Proximo n umero
El n umero 9 de la revista esta programado para DICIEMBRE DE 2012.
ii
Contenidos
Artculos (p. 1)
Una prueba elemental de un resultado sobre las medias potenciales
Daniel Campos (Universidad de Costa Rica)
Introduccion al analisis funcional I: Espacios normados
Gredy Salmeron (Ponticia Universidad Catolica de Chile)
Acerca de la caracterstica de Euler
Propuesto por el editor
Problemas olmpicos (p. 15)
Problemas de la Olimpiada Matematica de la Cuenca del Pacco 2012
La Asian Pacic Mathematics Olympiad (APMO) es una de las competencias regionales de mayor
prestigio en el mundo. Se caracteriza por ser una prueba no presencial, es decir, la prueba es adminis-
trada de manera local en cada uno de los pases concursantes. Los unicos pases que tienen derecho a
participar son aquellos que poseen costas en el oceano Pacco, y es por este motivo que El Salvador
puede entrar en la competencia. Por regla general la Olimpiada es celebrada el segundo lunes de marzo
de cada a no.
Los premios obtenidos este a no son:
Byron Thonatiu Escobar Bentez Medalla de plata
Gerardo Augusto Urbina Sanchez Medalla de bronce
Memoria de la Olimpiada Nacional de Matematica 2012
La Olimpiada Nacional de Matematica es el principal criterio de seleccion para el ingreso al Pro-
grama Jovenes Talento de El Salvador. Se desarrolla en dos etapas: una por correspondencia, en la que
la prueba es publicada en los periodicos mas importantes del pas, y otra presencial. En el presente
a no se conto con 1602 participantes en la primera etapa, de los cuales 680 se sometieron a la prueba
presencial. El n umero nal de estudiantes clasicados fue de 296.
A continuacion se adjunta un cuadro con los participantes mas destacados en cada etapa.
Grado Periodico Presencial
4 Ignacio Yamagiwa Andres Martnez
5 Daniel Sols, Nina Rivas Jose Blanco
6 Roberto Moreno Mario Hernandez
7 Ana Ascencio Gabriel Carranza
8 Carlos Gil Cristopher Padilla , Alma Araujo
9 Jose Guillen Miguel Aguilar, Martha Bran, Natalia Escalante
10 Keneth Turcios Mara Gonzalez, Katherine Gonzales
Por motivos de espacio no fue posible incluir los enunciados de los problemas. El lector interesado
puede contactar a la revista o bien al Programa Jovenes Talento directamente.
iii
Columna de problemas (p. 16)
En esta seccion se incluyen 5 problemas de desafo a los lectores, quienes estan invitados a resolver-
los y enviar sus mejores soluciones a la revista. Las soluciones mas originales seran publicadas en el
siguiente n umero.
Se ha introducido un nuevo formato en los enunciados de la columna. De ahora en adelante los
problemas originales seran marcados explcitamente por la palabra original, mientras que un problema
sugerido indica que el proponente no es el autor del problema en cuestion. Esto tiene dos objetivos:
el primero es evitar plagios y conictos de derechos de autor, y el segundo es resaltar el merito de
los autores que crearon sus propios problemas. El editor espera que en el futuro haya abundancia de
problemas originales, de modo que eventualmente esta distincion se vuelva innecesaria.
Fe de errata
Ofrecemos nuestras mas sinceras disculpas debido a errores en el plantamiento del problema 26A.
Agradecemos al Ing. Eduardo Aguilar (El Salvador), quien observo que tanto el problema original
como su version corregida son falsos. El lector curioso esta invitado a crear un resultado nuevo a partir
de las condiciones del problema original.
Problemas abiertos
Los siguientes problemas todava permanecen sin resolver: 18, 25, 35.
Cafe Matematico (p. 21)
Historia de Grigori Perelman
Xenia Godoy (Instituto Nacional de El Congo, Santa Ana)
Miscelanea: Curiosidades, noticias y mas
En este n umero hablamos sobre telara nas, pompas de jabon, Lady Gaga en las matematicas y los
premios Abel y Wolf.
iv
Una prueba elemental de un resultado
sobre las medias potenciales
Daniel Campos Salas
Universidad de Costa Rica
Resumen
Presentamos una demostraci on elemental de la convergencia de las medias potenciales a la media
geometrica e incluimos la generalizaci on para medias ponderadas.
1. Introducci on
Vamos a dar primero una prueba en el caso de las medias potenciales, y posteriormente demostraremos
su generalizacion a medias ponderadas basada en las ideas de la prueba para el caso particular.
Denicion 1. Sea n un entero positivo y r = 0. Si x = (x
1
, ..., x
n
), donde x
i
es un n umero real
positivo para i = 1, ..., n, se dene la media potencial de orden r como
A
r
(x) =

x
r
1
+ ... + x
r
n
n

1/r
,
y la media geometrica como
G(x) = (x
1
x
n
)
1/n
.
El objetivo de esta seccion es demostrar que
lm
r0
A
r
(x) = G(x).
Este resultado es conocido, aunque las demostraciones usuales recurren a tecnicas de calculo. En [1]
se encuentran por lo menos dos pruebas que, a pesar de ser sencillas, requieren de un conocimien-
to mnimo de calculo. Por otra parte, las tecnicas elementales que se presentan a continuacion son
utiles no solo para este teorema en particular, sino para resolver desigualdades en general. En par-
ticular, por esta razon se considera que la demostracion puede ser de interes para estudiantes olmpicos.
Antes de comenzar con un par de lemas tecnicos, hacemos unas observaciones sencillas. Las medias
potenciales y la media geometrica son funciones homogeneas de grado 1, es decir, satisfacen f(x) =
f(x) para > 0. Por lo tanto se puede suponer sin perdida de generalidad que x
i
1 para todo
i. En lo que sigue vamos a considerar x = (x
1
, ..., x
n
) y y = (u, 1, ..., 1), donde u = x
1
x
n
1.
Ademas, es suciente probar el lmite cuando r 0
+
, ya que si r = r

< 0 con r

> 0, tenemos que

A
r
(x) = 1/A
r
(x

), donde x

esta formado por los inversos de las coordenadas de x.

Lema 2. Si t es un real positivo y k > 0 entonces se cumple que
t
k
1
k
t
k
log t.
Demostracion. La desigualdad se puede reescribir como 1+log u u, donde u = t
k
. Esta desigualdad
se sigue de 1 + x e
x
, que es valida para todo x, y as concluye la prueba.
Lema 3. Para todo > 0 existe R > 0 tal que si 0 < r < R entonces A
r
(y) G(y)
1+
.
1
Demostracion. Sea > 0. Entonces se tiene que
A
r
(y) =

u
r
+ (n 1)
n

1/r
=

u
r
1
n
+ 1

1/r
exp
u
r
1
nr
,
donde de nuevo utilizamos la desigualdad 1 + x e
x
.
Por el lema anterior sabemos que (u
r
1)/r u
r
log u. Ahora bien, utilizando el hecho de que
lm
s0
u
s
= 1 tenemos que existe un R > 0 tal que 0 < u
r
1 < , siempre que 0 < r < R. Entonces,
u
r
1
r
u
r
log u (1 + ) log u,
y por tanto A
r
(y) e
(u
r
1)/nr
u
(1+)/n
= G(y)
1+
.
Teorema 4. lm
r0
A
r
(y) = G(y).
Demostracion. Sea > 0. Por el lema 3 existe R > 0 de modo que si 0 < r < R entonces A
r
(y)
G(y)
1+0
, donde
0
= /G(y). Luego,
0 < log A
r
(y) log G(y)
0
log G(y) = ,
donde la desigualdad de la izquierda se debe a la desigualdad de las medias. Por tanto log A
r
(y)
log G(y) cuando r 0, y como el logaritmo es una funcion continua se sigue que A
r
(y) G(y).
Teorema 5. lm
r0
A
r
(x) = G(x).
Demostracion. Para cualesquiera X, Y 1 se cumple que
XY + 1 X Y = (X 1)(Y 1) 0. (1)
Luego, si denimos y
i
= (x
1
, ..., x
i
x
n
, 1, ..., 1) se tiene la siguiente cadena de desigualdades:
A
r
(y) = A
r
(y
1
) A
r
(y
2
) ... A
r
(y
n
) = A
r
(x). (2)
Por otra parte, por la desigualdad de las medias tenemos que A
r
(x) G(x) = G(y). En consecuencia
G(y) A
r
(x) A
r
(y), y por el teorema anterior haciendo r 0 tenemos el resultado.
2. Generalizaci on a medias ponderadas
La denicion original de medias y el teorema admiten la siguiente generalizacion.
Denicion 6. Sea n un entero positivo y r = 0. Dados x = (x
1
, ..., x
n
) y a = (a
1
, ..., a
n
), donde x
i
, a
i
son n umeros reales positivos para todo i = 1, ..., n, se dene la media potencial ponderada de orden
r con pesos a
1
, ..., a
n
como
A
r
(a, x) =

a
1
x
r
1
+ ... + a
n
x
r
n
a
1
+ ... + a
n

1/r
,
y la media geometrica ponderada con pesos a
1
, ..., a
n
como
G(a, x) = (x
a1
1
x
an
n
)
1/(a1+...+an)
.
2
En este apartado probaremos un analogo del Teorema 5:
lm
r0
A
r
(a, x) = G(a, x).
En la siguiente proposicion demostramos una desigualdad similar a (1) que nos permite establecer una
cadena de desigualdades como en (2). La idea, al igual que antes, es encontrar z = (z
1
, ..., z
n
) tal que
A
r
(a, z) A
r
(a, x) y G(a, z) = G(a, x).
Lema 7. Dados x = (x
1
, ..., x
n
) y a = (a
1
, ..., a
n
), sea z = (x
a1/a1
1
x
an/a1
n
, 1, ..., 1). Entonces
lm
r0
A
r
(a, z) = G(a, z).
Demostracion. Sean > 0, v = x
a1/a1
1
x
an/a1
n
1, p = a
1
y q = a
2
+ + a
n
. Entonces
A
r
(a, z) =

pv
r
+ q
p + q

1/r
=

p(v
r
1)
p + q
+ 1

1/r
exp
p(v
r
1)
(p + q)r
.
De manera analoga al Lema 3, podemos encontrar R > 0 tal que (v
r
1)/r (1+) log v, si 0 < r < R.
En consecuencia,
A
r
(a, z) exp
p(v
r
1)
(p + q)r
exp
p(1 + ) log v
p + q
= G(a, z)
1+
.
De aqu es inmediato concluir que lm
r0
A
r
(a, z) = G(a, z), tal y como en el Teorema 4.
Lema 8. Sean X, Y 1 y a b > 0. Entonces se cumple que
a + bX
a/b
Y aX + bY.
Demostracion. Como a/b 1, por la desigualdad de Bernoulli tenemos que
bX
a/b
b

1 +
a(X 1)
b

= b + aX a.
Por lo tanto resulta que
a + bX
a/b
Y a + bY + aXY aY aX + bY,
donde la ultima desigualdad se sigue por (1).
Teorema 9. lm
r0
A
r
(a, x) = G(a, x).
Demostracion. Supongamos sin perdida de generalidad que a
i
a
1
para todo i. Denamos z
1
= z,
como en el lema 7, z
n
= x y z
i
= (x
a1/a1
1
x
ai+1/a1
i+1
x
an/a1
n
, x
2
, . . . , x
i
, 1, . . . , 1) para 2 i n 1. Al
igual que en (2), por el lema 8 resulta que
A
r
(a, z) = A
r
(a, z
1
) A
r
(a, z
2
) A
r
(a, z
n
) = A
r
(a, x).
Por la version ponderada de la desigualdad de las medias sabemos que A
r
(a, x) G(a, x). Pero
G(a, x) = G(a, z) as que G(a, z) A
r
(a, x) A
r
(a, z). Haciendo r 0 obtenemos el resultado.
Referencias
[1] G.H. Hardy, J.E. Littlewood, G. P olya, Inequalities, Cambridge University Press, Cam-
bridge, 1973; p. 15.
3
INTRODUCCI

ON AL AN

ALISIS FUNCIONAL I:
ESPACIOS NORMADOS
Gredy Jhovanny Salmeron Casco
Ponticia Universidad Catolica de Chile
Haremos una introducci on al analisis funcional, comenzando por los espacios de Banach y los operadores lineales denidos
entre ellos. Seguidamente presentamos algunos teoremas basicos como el principio de acotaci on uniforme, el teorema de
la aplicacion abierta y el teorema de la graca cerrada. Como aplicaciones de estos resultados se incluyen varios ejercicios.
1. Que es el analisis funcional?
El analisis funcional es una rama del an alisis que estudia espacios de funciones y los operadores (trans-
formaciones lineales) entre ellos. A diferencia del analisis clasico, en el que se manipulan funciones
individualmente, en el analisis funcional las funciones son consideradas como puntos pertenecientes
a un espacio mas grande con cierta estructura. Este punto de vista permite transferir conceptos fami-
liares del espacio euclideano a espacios de funciones que son en general de dimension innita. Por este
motivo, esta rama puede ser descrita informalmente como algebra lineal de dimension innita.
Nuestros objetos basicos de estudio seran los espacios de Banach y sus operadores lineales. Infor-
malmente, un espacio de Banach es un espacio vectorial (generalmente de dimension innita) donde
esta denida la longitud de un vector y ademas es posible tomar lmites. Este concepto permite tratar
de manera sistematica muchos ejemplos importantes en el analisis. Otro tipo fundamental de espacio
(espacio de Hilbert) sera abordado en una posible secuela.
2. Espacios normados y espacios de Banach
Sea X un espacio vectorial (que siempre asumiremos. Una norma es una funcion [[ [[ : X R que
satisface:
1. [[x[[ 0 para todo x X, y [[x[[ = 0 si y solo si x = 0;
2. [[x[[ = [[[[x[[ para todo x X y R ;
3. (Desigualdad del triangulo) [[x +y[[ [[x[[ +[[y[[ para todo x, y X.
Un espacio vectorial X equipado con una norma [[ [[ se denomina espacio vectorial normado, o
simplemente espacio normado.
Recordemos que un espacio normado X la norma [[ [[ induce una metrica d(x, y) = [[x y[[ y por
tanto se vuelve un espacio metrico. Ademas, una sucesion x
n
en un espacio metrico X converge a
x si lm
n
[[x x
n
[[ = 0.
Denicion 2.1. Una sucesion de Cauchy es una sucesion x
n
que cumple que para todo > 0
existe N > 0 tal que m, n N entonces [[x
n
x
m
[[ < . Un espacio vectorial normado X es completo
si toda sucesion de Cauchy en X es convergente.
Denicion 2.2. Un espacio de Banach es un espacio normado completo respecto a la metrica
inducida por la norma, esto es, si para toda sucesion de Cauchy x
n
en X existe x X tal que
lm
n
x
n
= x.
A continuacion describimos algunos ejemplos. El lector esta invitado a completar los detalles.
Ejemplo 2.1. Sea n 1. R
n
y C
n
son espacios normados, tomando como norma el valor absoluto
habitual. Claramente R
n
y C
n
son tambien espacios de Banach.
4
Ejemplo 2.2. Sea X = C([0, 1] el espacio de funciones continuas [0, 1] R. Denamos [[[[

: X R
como |f|

= sup
x[0,1]
[f(x)[. Notemos que [[f[[

< ya que [0, 1] es compacto. En realidad [[ [[

es una norma (la norma del supremo) y (X, [[ [[

) es un espacio de Banach (compruebelo).

Ejemplo 2.3. Dado p 1, sea
p
la coleccion de todas las sucesiones reales x
n

n1
tales que

n=1
[x
n
[ < . Ahora denamos una norma sobre
p
como [[x
n
[[
p
=

n=1
[x
n
[ (la desigualdad
triangular satisfecha por esta norma en el caso 1 < p < es llamada desigualdad de Minkowski ).
Entonces
p
es un espacio de Banach. En el caso p = denimos

= x
n
: sup
n
[x
n
[ < y
[[x
n
[[

= sup
n
[x
n
[.
El siguiente ejemplo es de extremada importancia.
Ejemplo 2.4. Sea (X, M, ) un espacio de medida y jemos 1 p < . Denamos el conjunto
L
p
(X, ) y la funcion [[ [[ : L
p
(X, ) R como:
L
p
(X, ) = f : X R M-medible;

X
[f[
p
d < ; [[f[[
p
=

X
[f[
p
d

1/p
.
Esta funcion cumple trivialmente la condicion (3) de una norma; tambien satisface la desigualdad del
triangulo (2) debido a la desigualdad de Minkowski para integrales. En cambio (1) no se satisface.
La observacion crucial es que [[f[[
p
= 0 si y solo si f = 0 casi en todas partes (con respecto a );
luego (1) s se cumplira si consideramos clases de equivalencia de funciones, donde identicamos dos
funciones medibles f, g si f = g casi en todas partes. Este espacio cociente (que tambien denotamos
por L
p
(X, )), junto con la norma [[ [[
p
es conocido como espacio L
p
. Por tanto un espacio L
p
es un
espacio normado. De hecho, un espacio L
p
es tambien un espacio de Banach. Este hecho es conocido
a veces como el teorema de Riesz-Fischer.
Tambien es posible extender esta denicion a p = : L

(X, ) es la coleccion de clases de equivalencia

de funciones medibles esencialmente acotadas, y la norma viene dada por [[f[[

= ess sup [f[.

Por ultimo, observemos que los espacios
p
son un caso particular obtenido al tomar X = N y donde
es la medida de conteo.
3. Operadores entre espacios de Banach
En esta seccion estudiaremos operadores entre espacios de Banach. Los operadores que act uan en
funciones surgen naturalmente en el analisis: derivacion, integracion, transformacion de Fourier, etc.
Denicion 3.1. Una aplicacion T : X Y entre dos espacios vectoriales se llama un operador
lineal (o simplemente operador) si T(x +y) = T(x) +T(y) para todo x, y X, y , R.
Denicion 3.2. Sea T : X Y un operador lineal entre dos espacios normados. La norma del
operador T se dene por [[T[[ =nfM 0 : [[T(x)[[ M[[x[[, x X (ver Ejercicio 2). Se dice que
T es un operador acotado si [[T[[ es nito, y es no acotado en caso contrario.
De la denicion anterior es sencillo deducir que [[T(x)[[ [[T[[ [[x[[ para todo x.
Ejemplo 3.1. Sea X = C[0, 1], dotado con la norma del supremo. Denamos T : X X por
T(f)(x) = xf(x) para cada f X y x [0, 1]. Esta claro que T es un operador tal que [[T(f)[[

[[f[[

para todo f. Luego [[T[[ 1 y as T es un operador acotado.

Ejemplo 3.2. Sean X = C
1
[0, 1], Y = C[0, 1], ambos junto con la norma del supremo. Denimos
D : X Y como D(f) = f

(el operador diferencial). Entonces [[D[[ = . En efecto, si f

n
(x) = x
n
,
entonces [[f
n
[[

= 1 y [[D(f
n
)[[

= supnx
n1
: x [0, 1] = n para todo n, lo que implica que
[[D[[ = . Por consiguiente D es un operador no acotado.
5
Los operadores acotados son precisamente los operadores continuos, como veremos a continuacion.
Teorema 3.1. Para un operador T : X Y entre espacios normados, las siguientes proposiciones
son equivalentes .
1. T es un operador acotado.
2. Existe M 0 tal que [[T(x)[[ M[[x[[ para todo x X.
3. T es continuo en 0.
4. T es continuo.
Demostracion. Ejercicio.
Sean X e Y dos espacios normados. La coleccion de todos los operadores acotados de X en Y se deno-
tara por L(X, Y ). Por el teorema anterior, se deduce facilmente que L(X, Y ) es un espacio vectorial.
De hecho, L(X, Y ) es un espacio normado:
Teorema 3.2. Sean X e Y dos espacios normados. Entonces L(X, Y ) es un espacio normado bajo la
norma de operador. Ademas, si Y es un espacio de Banach, L(X, Y ) es tambien un espacio de Banach.
Demostracion. Ejercicio.
Denicion 3.3. Un subconjunto A L(X, Y ) es puntualmente acotado si para todo x X el
subconjunto T(x) : T A Y es acotado.
Si un subconjunto A de L(X, Y ) es acotado, existe M > 0 tal que [[T[[ M para todo T A. Ya que
[[T(x)[[ [[T[[[[x[[ M[[x[[ para todo T A, se sigue que A es puntualmente acotado. El reciproco de
esta armacion es tambien cierto, con la condicion de que X es un espacio de Banach. Para demostrar
este hecho necesitamos invocar el siguiente teorema, cuya prueba sera discutida en un apendice:
Teorema 3.3. (Teorema de Baire) Todo espacio metrico completo X es un espacio de Baire (ver
Denicion 4.1). Ademas, si X =

n=1
A
n
y cada A
n
es abierto, entonces existe un n tal que A
n
es
nada denso.
Teorema 3.4. (Principio de acotaci on uniforme) Sea X un espacio de Banach, y sea Y un espacio
normado. Entonces un subconjunto de L(X, Y ) es acotado si y solo si es puntualmente acotado
Demostracion. Ya sabemos que todo subconjunto acotado es puntualmente acotado. Recprocamente,
sea A L(X, Y ) puntualmente acotado. Para empezar, observemos que para cada n el conjunto
E
n
= x X : [[T(x)[[ n, T A es cerrado. Ademas, dado que A esta puntualmente acotado, se
deduce que X =

n=1
E
n
. En vista de la completitud de X y el teorema de Baire, existe alguna k con
(E
k
)

,= . Escogemos y E
k
y r > 0 tal que [[x y[[ r implica que x E
k
.
Ahora, sea T A, y sea x X tal que [[x[[ = 1. Puesto que [[(y+rx)y[[ = r, se deduce que y+rx E
k
,
y as r[[T(x)[[ = [[T(y +rx)T(y)[[ [[T(y +rx)[[ +[[T(y)[[ 2k. Por lo tanto, [[T(x)[[ 2kr
1
= M
para todo x X con [[x[[ = 1, y en consecuencia A es acotado, como buscabamos.
Teorema 3.5. Sea X un espacio de Banach, Y un espacio normado y T
n
una sucesion en L(X, Y ).
Si T(x) = lm
n
T
n
(x), entonces T es un operador acotado.
Demostracion. T es claramente un operador. Por el principio de acotacion uniforme, la sucesion T
n

esta uniformemente acotada; luego lminf [[T

n
[[ es nito. Sea x X. Por la continuidad de la norma
en Y , lm
n
[[T
n
(x)[[ = [[T(x)[[. Puesto que [[T
n
(x)[[ [[T
n
[[[[x[[ para todo n, tambien tenemos
[[T(x)[[ lminf [[T
n
[[[[x[[. Por lo tanto T es acotado y [[T[[ lminf [[T
n
[[.
Nuestro proximo objetivo es establecer otro resultado importante conocido como el teorema de la
aplicacion abierta.
6
Lema 3.1. Sean X e Y dos espacios de Banach, y sea T : X Y un operador lineal continuo. Si 0
es un punto interior de un subconjunto A X, entonces 0 es tambien un punto interior de T(A).
Demostracion. Sean V = x X : [[x[[ 1 y rV = rx : x V . Es suciente demostrar que 0
es un punto interior de T(V ). Ya que X =

n=1
nV y T es sobreyectivo, se tiene que Y =

n=1
nT(V ).
Por el teorema de Baire existe alg un k tal que kT(V ) tiene interior no vaco, es decir T(V ) tiene un
punto interior. Luego existen y
0
T(V ) y r > 0 tales que B(y
0
, 2r) T(V ). Ahora, si y Y satisface
[[y[[ < 2r, entonces y y
0
T(V ), por lo que y 2(T(V ). Se sigue que y Y : [[y[[ < r T(V ) y
por tanto y Y : [[y[[ < r2
n
2
n
T(V ) = T(2
n
V ) para todo n.
Ahora jemos y tal que [[y[[ < r/2 y tomemos una sucesion x
n
en X de modo que [[x
n
[[ 2
n
y
[[y

n
i=1
T(x
i
)[[ < r2
n1
para todo n. Pongamos s
n
= x
1
+ x
2
+ + x
n
para todo n. Ya que
[[s
n+p
s
n
[[ 2
n
para todo n y p, s
n
es una sucesion de Cauchy que converge a x = lm
n
s
n
en X. Entonces [[x[[

n=1
[[x
n
[[ 1(es decir x V ) y por consiguiente T(x) = lm
n
T(s
n
) =
lm
n

n
i=1
T(x
i
) = y. En otras palabras y T(V ), y por lo tanto y Y : [[y[[ < r/2 T(V ).
Teorema 3.6. (Teorema de la aplicacion abierta) Sean X e Y dos espacios de Banach, y sea
T : X Y un operador acotado sobreyectivo. Entonces T es una aplicacion abierta.
Demostracion. Sea O un abierto de X, y sea y T(O). Mostraremos que y es un punto interior de
T(O). Puesto que T es sobreyectivo existe x O tal que y = T(x). Notemos que y T(O) = T(xO).
Ahora hay que observar que 0 es un punto interior de x O, y por el Lema 3.1 tambien es un punto
interior de T(xO) = yT(O). Esto implica que y es un punto interior de T(O), como buscabamos.
Corolario 3.7. (Teorema de la aplicacion inversa) Sean X e Y espacios de Banach. Si T L(X, Y )
es un operador biyectivo, entonces T
1
es continuo.
Considere dos espacios normados X e Y . Entonces puede denirse una norma X Y por [[(x, y)[[ =
[[x[[ +[[y[[, que se conoce como la norma del producto. Ademas, si X e Y son espacios de Banach,
entonces X Y es tambien un espacio de Banach junto con la norma del producto. A menos que
se especique lo contrario, el producto cartesiano dos espacios normados sera considerado como un
espacio normado bajo su norma del producto.
Denicion 3.4. La graca de T es el conjunto G = (x, T(x)) : x X X Y .
Si T es un operador acotado, entonces es cuestion de rutina vericar que G es un subespacio cerrado
de X Y . El reciproco de esta ultima armacion es valido para los espacios de Banach:
Teorema 3.8. (Teorema de la graca cerrada) Sean X e Y dos espacios de Banach, y T : X Y
un operador. Si el graco de T es un subespacio cerrado de XY , entonces T es un operador acotado.
Demostracion. Dado que G es un subespacio cerrado del espacio de Banach X Y , entonces G es un
espacio de Banach. La aplicacion (x, T(x)) x es un operador lineal de G en X que es claramente uno
a uno y acotado. Luego (x, T(x)) x es un homeomorsmo por el teorema de la aplicacion abierta,
es decir x (x, T(x)) es continuo. Pero (x, T(x)) T(x) es continuo, y en consecuencia x T(x)
tambien es continuo, y de aqu tenemos que T es un operador acotado.
7
4. Apendice: El teorema de Baire
En este apartado incluimos una demostracion del teorema de Baire (2.3), que es un resultado de
topologa general. La lectura de la prueba no es esencial a nuestros argumentos y puede ser pospuesta.
Denicion 4.1. Un subconjunto Y de un espacio metrico es de primera categora si existe una
sucesion A
n
de subconjuntos nada densos tal que Y =

n=1
A
n
. Un espacio metrico X es un espacio
de Baire si todo abierto no vaco de X no es de primera categora.
Teorema 4.1. Para un espacio metrico las siguientes proposiciones son equivalentes:
1. X es un espacio de Baire.
2. Toda interseccion numerable de conjuntos abiertos densos es tambien densa.
3. Si X =

n=1
F
n
y cada F
n
es cerrado, entonces el conjunto abierto

n=1
(F
n
)

es denso.
Demostracion. (1) (2) Supongamos ahora que X es un espacio de Baire y sea A
n
una sucesion de
abiertos denso de X. Supongamos por absurdo que AO = para alg un abierto no vaco O. Entonces
X = (AO)
c
= A
c
O
c
y por lo tanto O = X O = A
c
O =

n=1
(A
c
n
O). Puesto que los A
c
n
O
son nada densos (por que?), esto demuestra que O es un conjunto de primera categora. Contradiccion.
(2) (3) Sea F
n
una sucesion de conjuntos cerrados que cumplen X =

n=1
F
n
y consideremos el
abierto O =

n=1
(F
n
)

. Para todo n, denimos E

n
= F
n
(F
n
)

y notemos que E
n
es conjunto cerrado
y nada denso. Luego E =

n=1
E
n
es un conjunto de primera categora.
Ya que E
n
es cerrado y nada denso, f acilmente se deduce que (E
n
)
c
es denso. As que, por nuestra
hipotesis, E
c
=

n=1
(E
n
)
c
es tambien denso. Ahora notemos que O
c
= XO =

n=1
F
n

n=1
(F
n
)

n=1
(F
n
(F
n
)

) = E y as E
c
O. Ya que E
c
es denso, O tambien es denso, como deseabamos.
(3) (1) Supongamos por absurdo que V =

n=1
A
n
es un abierto no vaco de primera categora.
Entonces X = V
c

n=0
A
n
es una union numerable de conjuntos cerrados, y por nuestra hipotesis
el abierto (V
c
)

= (V
c
)

n=0
(A
n
)

es denso en X. Por consiguiente V

c
es tambien denso en X, y
en particular V V
c
,= , lo cual es imposible.
Lema 4.1. (Teorema de interseccion de Cantor) Sea (X, d) un espacio metrico completo y sea
A
n
una sucesion de cerrados no vacos de X tales que A
n+1
A
n
para todo n y lmd(A
n
) = 0.
Entonces

n=1
A
n
contiene precisamente un elemento (d(A) denota el diametro del conjunto A X).
Demostracion. Si x, y

n=1
A
n
entonces x, y A
n
y 0 d(x, y) d(A
n
) para todo n. Por lo tanto,
d(x, y) = 0, de modo que x = y. Esto demuestra que

n=1
A
n
contiene a lo mas un elemento.
Ahora veremos que

n=1
A
n
,= . Para cada n elegimos x
n
A
n
. Entonces, es facil ver que d(x
n+p
, x
n
)
d(A
n
) para todo n y p, de donde x
n
es una sucesion de Cauchy en X. Por lo tanto, existe x X tal
que lmx
n
= x. Puesto que x
m
A
n
, m n, tenemos x A
n
= A
n
, por lo que x A
n
para todo n,
es decir x

n=1
A
n
, y con esto termina la demostracion.
Teorema 4.2. Todo espacio metrico completo es un espacio de Baire.
Demostracion. Sea A
n
una sucesion de abiertos densos de X. Por el Teorema 3.1 es suciente
mostrar que A =

n=1
A
n
es denso en X. A su vez, para establecer esto es suciente vericar que
B(x, r) A ,= para todo abierto basico B(x, r) = y X : d(x, y) < r.
Sea C(a, r) = x X : d(a, x) r. Tomemos una sucesion x
n
en X y una sucesion r
n
de
n umeros reales tales que 0 < r
n
1/n y C(x
n+1
, r
n+1
) B(x
n
, r
n
) A
n+1
para cada n. Ahora
tomemos C
n
= C(x
n
, r
n
) para cada n. Entonces cada C
n
es no vaco y cerrado, y C
n+1
C
n
para
todo n . Por otra parte, d(C
n
) 2r
n
2/n implica lmd(C
n
) = 0. Por lo tanto, por el lema anterior,
existe y

n=1
C
n
. Pero entonces facilmente se deduce que y B(x, r) A, y hemos terminado.
El teorema de Baire se deduce inmediatamente de los teoremas anteriores (compruebelo).
8
5. Problemas
1. Dos normas [[.[[
1
y [[.[[
2
en un espacio vectorial X son equivalentes si existen dos constantes
K > 0 y M > 0 tal que K[[x[[
1
[[x
2
[[ M[[x[[
1
para todo x X. Demostrar que dos normas
en un espacio de dimension nita son equivalentes.
2. Sea T : X Y un operador lineal sobre los espacios normados X e Y . Demuestre que las
siguientes son deniciones equivalentes de la norma de operador.
|T| = sup
x=0
|Tx|
|x|
= sup
x1
|Tx| = sup
x=1
|Tx|.
3. Demuestre que un espacio normado es completo si y solo si toda serie en X es absolutamente
convergente.
4. Denamos : (([0, 1]) R como (f) = f(0) (llamado el delta de Dirac).
(a) Muestre que : ((([0, 1]), [[ [[

) (R, [ [) es un operador acotado y calcule su norma.

(b) Muestre que : ((([0, 1]), [[ [[
1
) (R, [ [) es un operador no acotado.
5. Considere el operador T : (l
1
(N), [[ [[
1
) (l
1
(N), [[ [[
1
), (x
1
, x
2
, x
3
, x
4
, . . .) (x
2
, x
4
, x
6
, x
8
, . . .).
(a) Demuestre que T es un operador acotado y calcule su norma.
(b) Encuentre el n ucleo y la imagen de T.
6. Una funcion |.|
1
: X [0, ), en un espacio vectorial X es llamada pseudonorma si |x+y|
1

|x|
1
+ |y|
1
y |x|
1
= [[|x|
1
para todo escalar y x, y X. Dena x y si y solo si
|x y|
1
= 0. Demuestre que es una relacion de equivalencia y X/

es un espacio normado.
7. Sea X un espacio normado e Y un subespacio cerrado de X. El espacio vectorial inducido por
la pseudonorma |x|
1
=nf
yY
|x y| se denota por X/Y y se denomina el espacio cociente de
X modulo Y . Demuestre que la aplicacion canonica X X/Y es abierta.
8. Pruebe que si X es un espacio de Banach e Y es un subespacio cerrado de X, entonces el cociente
X/Y tambien es un espacio de Banach y la aplicacion canonica X X/Y tiene norma 1.
9. Sea X un espacio vectorial que es completo respecto a dos normas [[.[[
1
y [[.[[
2
. Si existe M > 0
tal que [[x[[
1
M[[x[[
2
para todo x X, pruebe que las dos normas deben ser equivalentes (ver
Ejercicio 1).
Sugerencia: Dena el operador id : (X, [[.[[
1
) (X, [[.[[
2
) por id(x) = x para todo x X y use
el teorema de la aplicacion abierta.
10. Sean X, Y y Z tres espacios de Banach. Supongamos que T : X Y es un operador y S : Y Z
es un operador acotado y biyectivo. Demostrar que T es un operador acotado si y solo si S T
es acotado.
Sugerencia: Use el teorema de la graca cerrada.
11. Sean X, Y , y Z espacios de Banach y sea B : X Y Z un operador continuo en cada variable
y bilineal. Entonces B es continuo.
Sugerencia: Reducir el problema a mostrar que [[B(x, y)[[ C[[x[[[[y[[ para alg un C > 0.
12. Demuestre que los n umeros reales no son numerables usando el teorema de Baire.
Referencias
[1] Royden, H.L., Fitzpatrick, P. M., Real Analysis, 4th ed., Prentice Hall, 2010.
[2] Folland, G.B., Real Analysis: Modern Techniques and Their Applications, 2nd ed., Wiley, 1999.
[3] MacCluer, B.D., Elementary Functional Analysis, GTM, Springer, 2009.
9
Acerca de la caracterstica de Euler
Gabriel Alexander Chicas Reyes
Resumen: El objetivo de esta nota es calcular la caracterstica de Euler de un espacio topol ogico mediante complejos
celulares. La mayor parte de la informacion ha sido tomada de los cursos del Dr. Nariya Kawazumi (Universidad de
Tokyo), con quien el autor est a en deuda.
0. Motivacion
La formula de Euler es un celebre resultado que arma que para todo poliedro convexo con
V vertices, E aristas y F caras, se cumple la relacion V E + F = 2. Un fenomeno intrigante es
que, como Euler mismo se dio cuenta posteriormente, una relacion analoga se cumple al triangular
la supercie de una esfera, es decir, dividir la supercie en guras triangulares sin dejar huecos o
superposiciones. Esto nos hace sospechar que la constante V E + F es una propiedad de la es-
fera que no depende ni del poliedro o la triangulacion en cuestion. La extension de esta idea a otras
supercies y guras de mayor dimension nos lleva a la denicion abstracta de la caracterstica de Euler.
La presente nota asume familiaridad con conceptos basicos de topologa algebraica; H

(X) deno-
tara siempre la homologa singular de coecientes enteros H

(X, Z) del espacio X. Se exhorta al lector

a intentar por su cuenta los detalles omitidos (en forma de ejercicios) y a consultar las referencias para
mas informacion.
1. La caracterstica de Euler de un espacio topologico
Denicion 1.1. El rango de un grupo abeliano nitamente generado G es la dimension del Q-
espacio vectorial G
Q
Q.
Todo grupo abeliano nitamente generado G tiene una descomposicion unica Z
r
G
tor
, donde G
tor
es un subgrupo nito de G (la torsion) formado por todos los elementos de orden nito. Luego tenemos
la denici on alternativa rank G = r.
Ejercicio. Demuestre que las dos deniciones de rank G son equivalentes.
Lema 1.2.
1. Para toda sucesion exacta corta 0 M

M M

0 de grupos abelianos nitamente

generados se tiene que rank M = rank M

+ rank M

.
2. Si C

: 0 C
m
C
m1
C
1
C
0
0 es un complejo de cadenas de grupos abelianos
nitamente generados, se cumple que

i0
(1)
m
rank H
i
(C

) =

i0
(1)
i
rank C
i
.
Demostracion. Ejercicio.
Denicion 1.3. Una sucesion de grupos abelianos M

= {M
i
}
i0
es nitamente generada si
existe un N > 0 tal que M
i
= 0 para todo i > N, y ademas M
i
es nitamente generado para todo
0 i N.
Denicion 1.4. Sea M

= {M
i
}
i0
una sucesion de grupos abelianos nitamente generada. La
caracterstica de Euler de M

es
(M

) =

i0
(1)
i
rank M
i
.
10
Notemos que (M

) esta bien denida para sucesiones nitamente generadas ya que M

i
= 0 para
todo i, a excepcion de un n umero nito de valores. Expresando el Lema 1 en esta notacion, vemos
que la caracterstica de Euler de una sucesion exacta corta es 0, y la parte (b) puede reescribirse como
(H

(C

)) = (C

).
Denicion 1.5.
1. Sea X un espacio topologico con homologa nitamente generada (es decir, la sucesion de grupos
de homologa H

(X) es nitamente generada). La caracterstica de Euler de X es

(X) = (H

(X)) =

i0
(1)
i
rank H
i
(X).
Los enteros positivos b
i
= rank H
i
(X) son llamados los n umeros de Betti de X.
2. Sea (X, A) una pareja de espacios topologicos con homologa relativa H

(X, A) nitamente ge-

nerada. La caracterstica de Euler de la pareja (X, A) se dene como
(X, A) = (H

(X, A)) =

i
(1)
i
rank H
i
(X, A).
Ejercicio. Sea X un espacio con homologa nitamente generada. Pruebe que b
i
= rank H
i
(X, Q).
Proposicion 1.6. La caracterstica de Euler y los n umeros de Betti son invariantes homotopicos.
Demostracion. Esto es trivial debido a que una equivalencia de homotopas induce un isomor-
smo de los respectivos grupos de homologa.
Corolario 1.7. La caracterstica de Euler y los n umeros de Betti son invariantes topologicos.
Notemos la importancia del corolario anterior: dos espacios tales que los valores de o {b
i
} no
coincidan no pueden ser homeomorfos. Quiere decir que estos n umeros brindan informacion util a
la hora de distinguir espacios. Esta idea la clasicacion de variedades salvo homeomorsmos sera
discutida nuevamente en el Comentario 2.7.
Ejemplo 1.8. El espacio trivial que consiste en un solo punto tiene caracterstica de Euler 1,
ya que todos sus grupos de homologa son 0 excepto el primero. Luego (X) = 1 para todo espacio
contrable X. En particular (R
n
) = 1 para todo n.
Ejemplo 1.9. Sea X un espacio formado por n puntos distintos, junto con la topologa discreta.
Entonces (X) = n = #X, ya que cada punto es una componente conexa de X. Este hecho, junto con
la Proposicion 1.14, nos permite armar que es una generalizacion del cardinal de conjuntos nitos.
Ejemplo 1.10. Sea S
n
R
n+1
la n-esfera. Recordemos que H
i
(S
n
) = Z si i = 0 o n, y es 0 en
cualquier otro caso. Luego (S
n
) = 1 + (1)
n
.
Ejemplo 1.11. Sea X una variedad (diferenciable) cerrada, orientable y de dimension impar n.
Bajo estas condiciones, la dualidad de Poincare garantiza la existencia de un isomorsmo canonico
H
i
(X)

= H
ni
(X), donde H

(X) denota la cohomologa (singular) de coecientes enteros de X. Por

tanto rank H
i
(X) = rank H
ni
(X), y de esto se desprende que (X) = 0.
Ejercicio. Justique la armacion rank H
i
(X) = rank H
ni
(X).
Ejemplo 1.12. Sea X una supercie (es decir, una variedad de dimension 2). Denimos el genero
g de X como g = (2 )/2. Por otro lado, dado g > 0 denotemos por
g
a la suma conexa de n toros,
esto es
g
= T
1
# #T
1
. Es posible demostrar (aunque no lo haremos aqu) que (
g
) = 2 2g.
11
Como podemos observar en este ejemplo, el genero coincide con el n umero de agujeros de la supercie.
Calculando la caracterstica de Euler de la sucesion exacta larga de homologa relativa y la sucesion
de Mayer-Vietoris obtenemos las siguientes propiedades.
Proposicion 1.13. Sea (X, A) una pareja de espacios topologicos tal que dos de los X, A y (X, A)
tienen homologa nitamente generada. Entonces el tercero tambien tiene homologa nitamente ge-
nerada y se cumple que (X) = (A) +(X, A).
Proposicion 1.14. Sea X un espacio topologico y U, V dos abiertos que satisfacen la condicion
de escision

U

V = X. Suponga que tres de los X, U, V y U V tienen homologa nita-
mente generada. Entonces el cuarto tambien tiene homologa nitamente generada y se tiene que
(X) = (U) +(V ) (U V ).
Ejercicio. Justique las proposiciones anteriores probando el siguiente resultado: Sean M

=
{M
i
}
i0
, M

= {M

i
}
i0
y M

= {M

i
}
i0
complejos de grupos abelianos tales que
M

i
M
i
M

i
M

0
M
0
M

0
0 (exacta).
Si dos de estos tres complejos son nitamente generados, entonces tambien el tercero es nitamente
generado, y se cumple que (M

) = (M

) +(M

).
2. Complejos celulares nitos
Los complejos celulares son una generalizacion de las triangulaciones y los complejos simpliciales.
Introducimos algo de notacion. Dado m 0, sea D
m
el disco unitario cerrado en R
m
, es decir
D
m
= {(x
1
, . . . , x
n
) R
m
:

x
2
i
1}. Denotando el interior de U X por

U, tenemos que

D
m
es
el disco unitario abierto, y D
m
= S
m1
.
Denicion 2.1. Sea X un espacio Hausdor. Una n-celula es un par (e, ), donde e X es un
subespacio y : D
m
X es una aplicacion continua tal que
|

D
m
:

D
m
e
es un homeomorsmo sobre e. El n umero m es llamado la dimension de la celula, y lo denotaremos
por dim(e).
Denicion 2.2. Un complejo celular nito es un par (X, {(e

)}

) que consiste en un
espacio Hausdor X y un n umero nito de celulas de modo que X =

y para todo ,

(D
n

) X
(n

1)
, donde n

= dim(e

) y X
(k)
=

dim(e)k
e

. El subespacio X
(k)
es llamado el
k-esqueleto de X.
Los poliedros convexos son ejemplos de estructuras celulares en la esfera. Ademas, es claro que la
triangulacion de una supercie tambien dene una estructura de complejo celular.
Lema 2.3. Sea (X, {(e

)}

) un complejo celular nito.

1. X es un espacio Hausdor compacto, y X
(k)
es un conjunto cerrado para todo k.
2. Un subconjunto U X es abierto en X si y solo si
1

(U) es abierto en D
n

para todo .
Demostracion. Ejercicio.
12
Teorema 2.4. Sea (X, {(e

)}

) un complejo celular nito. Para cada entero positivo k

denamos
k
= { : dim(e

) = k}. Las aplicaciones

, con
k
, inducen un isomorsmo
H
q
(X
(k)
, X
(k1)
)

=

k
H
q
(D
k
, D
k
).
En particular (X
(k)
, X
(k1)
) tiene homologa nitamente generada y se cumple que
(X
(k)
, X
(k1)
) = (1)
k
#
k
.
Demostracion. Sean D =

k
D
k
, =

: D X
(k)
, D =

k
D
k
, P = 0 D.
Probaremos que para todo q 0 la aplicacion inducida

: H
q
(D, D) H
q
(X
(k)
, X
(k1)
) es un
isomorsmo.
Observemos primero que X
(k)
\(P) es abierto en X
(k)
, ya que X
(k)
es Hausdor y (P) es dis-
creto. Ademas, haciendo U =

D
k
resulta que (U) es abierto en X
(k)
, puesto que para todo
,
1

((U)) es 0 o

D
k
.
Consideremos el siguiente diagrama conmutativo, donde las echas horizontales son las aplicaciones
inducidas por las inclusiones naturales, y las verticales son las aplicaciones inducidas por .
H
q
(U, U\P) H
q
(D, D\P) H
q
(D, D)

H
q
((U), (U)\(P)) H
q
(X
(k)
, X
(k)
\(P)) H
q
(X
(k)
, X
(k1)
)
La echa vertical izquierda es un isomorsmo, ya que la restriccion de

a

D
n

es un homeomor-
smo para todo . Las dos echas horizontales de la izquierda son isomorsmos debido al teorema de
escision. La echa horizontal superior derecha tambien es un isomorsmo, puesto que D
k
\{0} tiene
como retracto por deformacion a D
k
.
Ejercicio. Compruebe las armaciones anteriores.
Veamos que X
(k)
\(P) tiene como retracto por deformacion a X
(k1)
; una vez probado esto el
diagrama anterior nos da el isomorsmo deseado. Denamos F : X
(k)
\(P) [0, 1] X
(k)
\(P)
como
F(x, t) =

x si x X
(k1)

ty + (1 t)
y
|y|

si x =

(y), y D
k
,
k
Observemos que F esta bien denida, puesto que si x X
(k1)
(D) = (D) ambas deniciones
dan el mismo resultado F(x, t) = x. Ahora es suciente demostrar que F es continua.
Sea U X
(k)
un abierto de X
(k)
. Entonces
1

(U) es abierto en D
n

para todo . Es
necesario considerar dos casos, de acuerdo a la dimension de e

:
Si dim(e

) = n

< k, tenemos que e

X
(k1)
y por consiguiente F (

id
[0,1]
) =

. De
aqu (

id
[0,1]
)
1
(F
1
(U)) =
1

(U) es abierto en D
n

y tambien en D
n

[0, 1].
Si dim(e

) = k, denamos la aplicacion F

: D
k
\{0} [0, 1] D
k
, (y, t) ty +(1 t)y/|y|. Ya
que F

es continua, F
1

(U) es un abierto de D
k
\{0}[0, 1] y por tanto de D
k
[0, 1]. Pero
F (

id
[0,1]
) =

, y en consecuencia (

id
[0,1]
)
1
(F
1
(U)) es abierto en D
k
[0, 1].
13
En todo caso (

id
[0,1]
)
1
(F
1
(U)) es abierto en D
k
[0, 1] para todo , y esto es suciente
para establecer que U es abierto en X
(k)
, y por lo tanto F es continua.
Ejercicio. Justique la armacion anterior demostrando una version analoga del Lema 2.3 (2),
reemplazando X por X [0, 1].
El resto del teorema se sigue del hecho de que H
q
(D
k
, D
k
) = Z, por lo que H
q
(X
(k)
, X
(k1)
) es
igual a Z
#
k
para q = k, y es 0 en caso contrario. Concluimos que (X
(k)
, X
(k1)
) = (1)
k
#
k
.
Teorema 2.5. Todo complejo celular nito (X, {(e

)}

) tiene homologa nitamente gene-

rada y ademas
(X) =

i
(1)
i
#
i
=

i
(1)
i
N
i
donde N
i
es el n umero de i-celulas de X.
Demostracion. Probaremos inductivamente que para todo k 0, X
(k)
tiene homologa nita-
mente generada y ademas
(X
(k)
) =

i
(1)
i
#
i
.
Si N es el maximo de las dimensiones de las celulas de X, claramente X
(N)
= X, y por tanto el teorema
quedara demostrado. Si k = 0, X
(0)
es un conjunto nito de #
0
puntos. Luego H
q
(X
(0)
) = Z
#0
si
q = 0 y es 0 en caso contrario. Luego la condicion se cumple en este caso.
Supongamos que X
(k1)
satisface la condicion para alg un k 1. Por hipotesis X
(k1)
tiene
homologa nitamente generada, y por el teorema anterior el par (X
(k)
, X
(k1)
) tambien. Luego X
(k)
tiene homologa nitamente generada y podemos calcular su caracterstica de Euler usando el Lema
1.13 y el Teorema 2.4:
(X
(k)
) = (X
(k)
, X
(k1)
) +(X
(k1)
) =

i
(1)
i
#
i
.
Comentario 2.6. Observemos que la formula de Euler para poliedros V E +F = 2 es un caso
particular del teorema anterior, ya que los poliedros convexos son homeomorfos a la esfera y (S
2
) = 2.
Comentario 2.7 La importancia del concepto de la caracterstica de Euler se pone de relieve en el
estudio de supercies. Nos conciernen aqu las supercies cerradas, es decir supercies compactas sin
frontera. El teorema de clasicacion de supercies cerradas arma que toda supercie cerrada
conexa es homeomorfa o bien a una esfera, o bien a una suma conexa de toros, o bien a una suma
conexa de planos proyectivos. En otras palabras, una supercie cerrada queda completamente deter-
minada (salvo homeomorsmos) por su caracterstica de Euler y por el hecho de ser orientable o no.
Historicamente, el teorema de clasicacion fue demostrado utilizando el hecho de que toda 2-variedad
compacta admite una triangulacion (es decir, es homeomorfa a un complejo simplicial). Es aqu donde
el calculo de la caracterstica de Euler mediante complejos celulares es conveniente.
Referencias
Bredon, G.E., Topology and Geometry, GTM, Springer, 1993.
Hatcher, A., Algebraic Topology. http://www.math.cornell.edu/ hatcher/AT/AT.pdf
Stillwell, J., Mathematics and Its History, 3rd ed., UTM, Springer, 2010.
Gabriel Alexander Chicas Reyes (University of Tokyo)
E-mail address: gachr.ebc253@gmail.com
14
2012 APMO PROBLEMS
Time allowed: 4 hours Each problem is worth 7 points
*The contest problems are to be kept condential until they are posted on the o-
cial APMO website (http://www.mmjp.or.jp/competitions/APMO). Please do not
disclose nor discuss the problems over the internet until that date. Calculators are
not allowed to use.
Problem 1. Let P be a point in the interior of a triangle ABC, and let D, E, F
be the point of intersection of the line AP and the side BC of the triangle, of the
line BP and the side CA, and of the line CP and the side AB, respectively. Prove
that the area of the triangle ABC must be 6 if the area of each of the triangles
PFA, PDB and PEC is 1.
Problem 2. Into each box of a 2012 2012 square grid, a real number greater
than or equal to 0 and less than or equal to 1 is inserted. Consider splitting the grid
into 2 non-empty rectangles consisting of boxes of the grid by drawing a line parallel
either to the horizontal or the vertical side of the grid. Suppose that for at least one
of the resulting rectangles the sum of the numbers in the boxes within the rectangle
is less than or equal to 1, no matter how the grid is split into 2 such rectangles.
Determine the maximum possible value for the sum of all the 2012 2012 numbers
inserted into the boxes.
Problem 3. Determine all the pairs (p, n) of a prime number p and a positive
integer n for which
n
p
+1
p
n
+1
is an integer.
Problem 4. Let ABC be an acute triangle. Denote by D the foot of the
perpendicular line drawn from the point A to the side BC, by M the midpoint of
BC, and by H the orthocenter of ABC. Let E be the point of intersection of the
circumcircle of the triangle ABC and the half line MH, and F be the point of
intersection (other than E) of the line ED and the circle . Prove that
BF
CF
=
AB
AC
must hold.
Here we denote by XY the length of the line segment XY .
Problem 5. Let n be an integer greater than or equal to 2. Prove that if the
real numbers a
1
, a
2
, , a
n
satisfy a
2
1
+a
2
2
+ +a
2
n
= n, then

1i<jn
1
n a
i
a
j

n
2

15
Columna de Problemas No. 7 (Soluciones)
Problema 31
Encontrar todas las soluciones enteras de la ecuacion y
2
= x
3
+ 7.
Fuente: Folclor
Solucion de Byron Escobar (El Salvador)
Transformamos la ecuacion a y
2
+ 1 = (x + 2)(x
2
2x + 4).
Primero si 2|x entonces se cumple que 2|(x + 2) y 4|(x
2
2x + 4). En el otro lado de la ecuacion
se cumple entonces que 8|(y
2
+ 1), y esto signica que y
2
1 (mod 8). Pero 1 no es residuo
cuadratico modulo 8. Contradiccion.
Entonces 2 no divide a x, y por lo tanto y
2
+ 1 es impar. Ahora supongamos que p es un primo
impar tal que p|y
2
+ 1. Entonces 1 es un residuo cuadratico modulo p, y en consecuencia p 1
(mod 4). Entonces, viendo el otro lado de la ecuacion, todos los primos que dividen a x
2
2x + 4 son
de la forma 4k + 1. De aqu es facil ver que x
2
2x + 4 tiene que ser de la misma forma, es decir
x
2
2x + 4 1 (mod 4).
Analizando tenemos que x
2
1 (mod 4) y 2x 2 (mod 4); entonces x
2
2x+4 1 (mod 4).
Pero anteriormente tenamos x
2
2x + 4 1 (mod 4), contradiccion.
Por todo lo anterior concluimos que no existen soluciones enteras para la ecuacion.
Recibida tambien una solucion de Ervin Ramrez (National Taiwan University).
16
Problema 32
Se dene la sucesion {x
n
}
n0
como sigue: x
0
= x
1
= 1 y para todo n 1
x
n+1
=
x
2
n
x
n1
+ 2x
n
.
Hallar x
n
en funcion de n.
Fuente: Editor
Solucion de Byron Escobar (El Salvador)
Solucion: Experimentando un poco encontramos que:
x
2
=
1
3
=
1
1 3
, x
3
=
1
15
=
1
1 3 5
, x
4
=
1
105
=
1
1 3 5 7
.
Entonces podemos conjeturar que x
n
=
1
1 3 5 (2n 1)
. Ahora asumamos que esta expresion
se cumple para alg un k.
Ahora probamos para k + 1 que
x
k+1
=
x
2
k
x
k1
+ 2x
k
=
(
1
135(2k1)
)
2
(
1
135(2k3)
) + 2(
1
135(2k1)
)
=
1
1 3 5 (2k 1)(2k + 1)
.
Entonces por induccion se ha demostrado que x
n
=
1
1 3 5 (2n 1)
.
Recibidas tambien soluciones de: Eduardo Aguilar (El Salvador), Manuel Mundo (El Salvador),
Rufo Casco (Universidad Nacional de Ingeniera, Nicaragua).
17
Problema 33
Sea ABC un triangulo de incentro I. Las perpendiculares trazadas por I a IA, IB, IC cortan a
una tangente dada a la circunferencia inscrita en P, Q, R respectivamente. Demostrar que AP, BQ y
CR son concurrentes.
Fuente: Rufo Casco, Universidad Nacional de Ingeniera (Nicaragua)
Solucion de Eduardo Aguilar (El Salvador)
Sea S el punto de tangencia de la recta dada al incrculo. Sean L, M y N los puntos de tangencia
del incrculo con BC, CA y AB. Sean D, E y F los pies de las alturas desde S hacia MN, LN y LM
respectivamente.
Ahora bien, la polar de Q es la perpendicular a QI que pasa por S, pero QILN pues ambas son
perpendiculares a BI, y tambien SELN; entonces SEQI, as que SE es la polar de Q. Analoga-
mente SD y SF son las polares de P y R, respectivamente. Pero los puntos D, E y F son colineales,
ya que estan en la recta de Simson del triangulo LMN con respescto al punto S; luego sus polares
AP, BQ y CR concurren en el polo de la recta DEF.
Nota: Este problema fue descubierto por Vladimir Bosko, propuesto en el Mathematical Olympiad
Summer Program (MOP) y redescubierto por Rufo Casco en 2011, entrando en la lista corta de la
Olimpiada Iberoamericana de Matematica del mismo a no.
Referencias:
http://www.artofproblemsolving.com/Forum/viewtopic.php?f=47&t=470491
http://www.artofproblemsolving.com/Forum/viewtopic.php?f=47&t=18545
http://www.artofproblemsolving.com/Forum/viewtopic.php?f=49&t=18907
18
Problema 34
Sea a > 1 un n umero real positivo. Determinar el valor de a de modo que la graca de la funcion
f(x) = a
x
sea tangente a la graca de la funcion inversa de f.
Fuente:

Oscar Olmedo, Instituto Nacional Jorge Eliseo Azucena Ortega (El Salvador)
Solucion de Ervin Ramrez (National Taiwan University)
Si la graca de la funcion exponencial es la reexion de la graca de la funcion logartmica en la
diagonal y = x, entonces sus derivadas en el punto de tangencia deben ser igual a 1.
Si f(x) = a
x
y g(x) = log
a
x = log x/ log a, entonces f

(x) = a
x
log a = 1 implica que a
x
= 1/ log a.
Asimismo g

(x) = 1/(xlog a) = 1, de donde x = 1/ log a.

Igualando tenemos que
a
1/ log a
=
1
log a
a
1/ log a
log a = 1.
Finalmente, haciendo y = log a, es decir a = e
y
, y sustituyendo en la ecuacion anterior obtenemos
ey = 1, esto es y = 1/e y por tanto a = e
1/e
.
19
Columna de Problemas No. 8
36. Sea ABC un triangulo tal que el centro N de la circunferencia de los 9 puntos coincide con uno
de sus vertices. Hallar los angulos de ABC.
Original de

Oscar Olmedo, Instituto Nacional Jorge Eliseo Azucena Ortega (El Salvador)
37. Sea k un n umero real. Determinar todos los valores enteros de a y b que satisfacen
a
b
k
a +k
2
b
a +b
.
Original de

Oscar Hernandez, Universidad de El Salvador
38. Sea Q
+
el conjunto de n umeros racionales positivos. Demostrar que existen dos conjuntos A y
B de enteros positivos, tales que existe una biyeccion entre A/B = {a/b : a A, b B} y Q
+
.
Original de Daniel Campos, Universidad de Costa Rica
39. Encontrar todos los enteros positivos n que satisfacen n
3
+ (n + 1)
3
+ (n + 2)
3
= (n + 3)
3
.
Original de Manuel Mundo (El Salvador) y el editor
40. Calcular la integral indenida

log

1
1
x
3

dx.
Original del editor
20
Historia de Grigori Perelman
Xenia Ivette Penate Godoy
Instituto Nacional de El Congo, Santa Ana
El presente artculo es una version modi-
cada del reportaje El genio, el hombre,
el enigma, publicado en el periodico es-
pa nol El Pas el 3 de octubre de 2010.
Enunciado de la conjetura de
Poincare
La conjetura de Poincare es
uno de los 7 Problemas del Mile-
nio designados por el Clay Ma-
thematics Institute, quien ofrece
$1,000,000 por la solucion de ca-
da uno de ellos. Es un proble-
ma muy famoso por su dicul-
tad: haba quedado sin solucion
por cerca de 100 a nos. La co-
munidad matematica fue tomada
por sorpresa cuando un misterioso
matematico ruso, Grigori Perel-
man, publico una demostracion en
2003. Su enunciado es el siguiente:
Toda 3-variedad cerrada y
simplemente conexa es
homeomorfa a la esfera S
3
.
Sin embargo, el protagonista
de este documento no sera la
conjetura sino aquel que la de-
mostro. Haremos la pregunta que
muchos matematicos se hicieron
en su momento: Quien es Grigori
Perelman?
Los comienzos de Perelman
Perelman se inicio en las
matematicas siendo un ni no. Su
madre Lubov era una talentosa
matematica a la que su maestro,
Garold Natanson, incluso llego a
ofrecer un puesto en el instituto
donde el mismo ense naba. Esto
era un honor, ya que su nom-
bramiento iba a ser difcil por ser
mujer y juda.
La madre rechazo el ofreci-
miento ya que se acababa de
casar y quera formar una fami-
lia. Paso mas de una decada para
que ella volviera a encontrarse
con Natanson y comentarle sobre
los dotes matematicos de Perel-
man. Natanson contacto a Sergei
Rukshin, un profesor joven espe-
cializado en preparar ni nos, y el
resultado de esta conversacion fue
que Perelman ingreso en 1976,
recien cumplidos los 10 a nos, en
el circulo de la matematica que
funcionaba en el Palacio de los
Pioneros de Leningrado.
Perelman era talentoso, pero a
diferencia de otros compa neros se
mostraba callado. Cuando resolva
problemas casi no escriba nada
previo y todo lo analizaba mental-
mente hasta obtener la solucion;
solo hasta entonces la pasaba a
la hoja de papel. Pronto llego a
ser el mejor y se convirtio en el
alumno preferido de Rukshin. A
los 14 a nos, Rushkin comenzo a
darle clases de ingles para que
entrara a un colegio especializado
de matematica y fsica. Asom-
brosamente Perelman lo logro en
apenas tres meses.
A pesar de sus excentricidades
y de su dicultad para comu-
nicarse con otros, Perelman con-
tinu o su formacion y logro ingresar
a la Universidad de Leningrado.
Debido a problemas con el an-
tisemitismo Perelman no habra
podido ingresar por su cuenta,
as que la estrategia ideada por
sus protectores fue que formara
parte del equipo olmpico ruso de
de la Olimpiada Internacional de
Matematicas (IMO). Perelman no
solo lo consiguio, sino que obtuvo
un puntaje perfecto de 42 de un
total de 42 puntos.
En Leningrado Perelman es-
tudio cursos avanzados de ge-
ometra, para luego entrar al Insti-
tuto Steklov, donde se convirtio en
un experto en variedades de Rie-
mann y espacios de Alexandro.
Su trabajo fue tan original que
recibio ofertas de trabajo de las
mejores universidades de EE.UU.
Su resultado mas famoso en esta
etapa es la conjetura del alma,
un problema de geometra dife-
rencial.
Trabajo en la conjetura de
Poincare
En EE.UU. Perelman supo
del trabajo de Richard Hamilton,
quien intrudujo una herramienta
en la geometra diferencial llama-
da el ujo de Ricci. Hamilton
sospechaba que el ujo de Ricci
estaba estrechamente relaciona-
do con la conjetura de Poincare,
y esbozo un programa de inves-
tigacion para atacarla. Perelman
se dio cuenta de que su propio
trabajo podra ser de utilidad y
ofrecio su ayuda. Empero, al pare-
cer Hamilton no fue capaz de
apreciar sus ideas.
Luego de regresar a Rusia,
Perelman siguio trabajando en la
conjetura, hasta que en el a no
2002 publico en internet una
preprint que contena resulta-
dos que demuestran la conjetura
de geometrizacion de Thurston,
y por tanto la conjetura de
Poincare. Asimismo contacto a
varios matematicos en EE.UU.
anunciando su demostracion. Al-
gunos de ellos reconocieron la
21
importancia de su trabajo y lo
invitaron a presentarlo en EE.UU.
Posteriormente Perelman publi-
co dos partes mas de su de-
mostracion.
El trabajo de Perelman puede
ser resumido muy brevemente
como una modicacion del pro-
grama de Hamilton. A nos atras,
Hamilton haba tenido problemas
a la hora de aplicar el ujo de
Ricci, ya que uno de sus efec-
tos colaterales era la creacion de
singularidades. Perelman des-
cubrio que una modicacion del
ujo de Ricci ordinario, el u-
jo de Ricci con ciruga, poda
deshacerse de las singularidades y
completar la demostracion de la
conjetura de geometrizacion.
Perelman rechazo las nu-
merosas ofertas que le hicieron
para quedarse en EE.UU. y re-
greso a San Petersburgo en 2004.
Controversia
El estilo de Perelman (quien
mas bien esbozo ideas en lugar
de dar una prueba completa) y su
negativa a publicar en una revista
arbitrada hicieron que su traba-
jo fuera blanco de impostores.
El matematico chino Shing-Tung
Yau y algunos de sus discpulos se
atribuyeron el credito de una de-
mostracion completa, llenando
detalles en la solucion de Perel-
man. Posteriormente se puso en
evidencia que incluso esos detalles
contenan material plagiado de
otros matematicos.
El escandalo generado, la
demora del Instituto Clay en re-
conocer la prueba, unida a la
indiferencia de sus colegas rusos
que no salieron en su defensa
cuando trataron de robarle su
logro debieron abrir una heri-
da profunda en Perelman. Su
desilusion con el mundo de los
matematicos, que el crea perfec-
to y puro, fue creciendo al tiempo
que aumento su aislamiento. En
diciembre de 2005 renuncio a su
puesto en el Instituto Steklov,
anunciando al mismo tiempo que
abandonaba las matematicas.
Al a no siguiente, Perelman
rechazo la medalla Fields, el pre-
mio mas prestigioso que existe en
las matematicas. El mismo presi-
dente de la Union Matematica In-
ternacional, Sir John Ball, viajo en
vano hasta San Petersburgo para
intentar convencerlo de aceptar
su premio. Posteriormente Perel-
man tambien rechazo el premio de
$1,000,000 del Clay Mathematics
Institute.
Rukshin explica as los
sentimientos de Perelman:
Para comprender a Perelman,
imagnese que el teorema es como
su hijo, que en la infancia paso por
una enfermedad grave, durante la
cual no saba si sobrevivira o no.
Mientras no has demostrado el
teorema, mientras contin ua sien-
do una conjetura, es como tu hijo
enfermo. Y Perelman estuvo jun-
to a la cabecera de ese hijo 9 o
10 a nos, luchando por su vida y
cuidandolo da y noche. Por n,
el ni no sano, crecio, es fuerte y
hermoso; pero te lo quieren robar
y te lo secuestran. Para Perelman
fue como un secuestro cuando
trataron de apropiarse del resulta-
do de su trabajo. No pudo aceptar
que un teorema pudiera ser com-
prado, vendido o robado.
Referencias
Fernandez, R., El hombre,
el genio, el enigma, El Pas,
3/10/2010.
Nasar, S., Gruber, D., Mani-
fold Destiny, The New Yorker,
08/28/2006.
22
Cafe Matematico No. 8
Miscelanea
La catenaria y el catenoide
Alguna vez se ha preguntado que tipo de curva forman las telas de ara na o los alambres del tendido
electrico ? La respuesta es la catenaria, que es la curva formada por una cadena suspendida por sus
dos extremos. En realidad, planteando el problema usando un poco de mecanica elemental, es posible
determinar la ecuacion de la curva: Se trata de la graca del coseno hiperbolico cosh x.
Una propiedad sorprendente de la catenaria esta relacionada con el concepto de supercie minimal.
Suponga que tiene dos aros circulares de igual tama no y los remoja al mismo tiempo en una solucion
jabonosa, para luego separarlos lentamente. La pelcula de jabon formada entre los aros forma una
supercie llamada catenoide, que (en cierto sentido) posee un area mnima. Por cierto, el catenoide es
la supercie de revolucion obtenida al rotar una catenaria alrededor de su directriz, y es ademas la
unica supercie de revolucion minimal, aparte del plano. Coincidencia?
Bad Romance analtico complejo
Saba Ud. que existe una Gaga en la matematica? El manuscrito GAGA de Jean-Pierre Serre es
famoso dentro de la geometra algebraica y la geometra compleja, mas fuera de la matematica no
parece gozar de la misma popularidad de su homologa Lady Gaga (ignore el doble sentido topologico).
GAGA es el acronimo del ttulo Geometrie Algebrique et Geometrie Analytique. En este importante
artculo, Serre establece analogas entre objetos de la geometra algebraica (variedades algebraicas) y
la geometra analtica (espacios analticos), y demuestra que es posible utilizar los metodos de un area
en la otra. Por cierto, el termino geometra analtica no se reere a la geometra de coordenadas que
se ense na en las escuelas, sino al estudio de la geometra de las variedades analticas.
Premios Abel y Wolf 2012
El premio Abel es un reconocimiento otorgado anualmente por el rey de Noruega a uno o mas
matematicos distinguidos. Por su prestigio ha sido llamado a veces el Premio Nobel de Matematica.
El ganador del premio Abel 2012 es el h ungaro Endre Szemeredi (1940-), quien es famoso por su traba-
jo en combinatoria y computacion. Su prolca obra, que consta de mas de 200 publicaciones, contiene
resultados famosos como el teorema de Szemeredi (la solucion de una conjetura de Erdos y Turan), y
el lema de regularidad de Szemeredi.
23
Por otra parte, el premio Wolf es otorgado en Israel a cientcos y artistas por logros excepcionales
en sus areas de trabajo. El premio Wolf en Matematica tambien es considerado un analogo del Premio
Nobel. Los galardonados de este a no son (de izquierda a derecha en las imagenes): El estadounidense
Michael Aschbacher (1944-), quien dirigio la tarea colosal de clasicar los grupos simples nitos, y
el argentino Luis Caarelli (1948-), una gura eminente en el campo de las ecuaciones diferenciales
parciales. El hecho de que un premio tan prestigioso haya sido entregado a un matematico latinoame-
ricano debera de ser motivo de celebracion.
Mas informacion
Encyclopedie des formes mathematiques remarquables. http://www.mathcurve.com/
Gunning, R.C., Rossi, H., Analytic functions of several complex variables, Prentice-Hall, 1965.
Abel Prize. http://www.abelprize.no/
Wolf Fundation. http://www.wolund.org.il/
24