Algebras de Funciones Diferenciables

en Variedades Riemannianas
Yenny Carolina Rangel Oliveros
Universidad Centroccidental Lisandro Alvarado
Decanato de ciencias y tecnologa.
Barquisimeto, 2010

Algebras de Funciones Diferenciables

en Variedades Riemannianas
Por
Yenny Carolina Rangel Oliveros
Trabajo de Ascenso presentado como requisito parcial para optar a la categora de
Asistente en el escalaf on del personal docente e investigaci on de la UCLA
Universidad Centroccidental Lisandro Alvarado
Decanato de ciencias y tecnologa.
Barquisimeto, 2010

Algebras de Funciones Diferenciables

en Variedades Riemannianas
Resumen
La presente Memoria est a dedicada fundamentalmente a estudiar dos cues-
tiones, relacionadas entre s, en el marco de los espacios de funciones difer-
enciables en variedades Riemannianas. Por una parte, nos interesamos en
un problema de aproximaci on diferenciable, m as concretamente la cuesti on
de aproximar uniformemente una funci on Lipschitziana por funciones difer-
enciables y Lipschitzianas, manteniendo el control sobre las constantes de
Lipschitz. Por otro lado, estudiamos un problema de tipo Banach-Stone, m as
concretamente nos preguntamos si la estructura m etrica de una variedad Rie-
manniana queda determinada por la estructura natural de algebra de Banach
en el espacio de las funciones diferenciables, acotadas y con derivada acota-
da, denidas sobre la variedad Riemanniana.

Indice general
Introducci on 6
1. Variedades Riemannianas de dimensi on innita 9
1.1. Lneas geod esicas y funci on exponencial . . . . . . . . . . . . . . . . . . 10
1.2. Estructura de longitud . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3. Propiedades locales de la funci on exponencial . . . . . . . . . . . . . . . 15
1.4. Isometras entre variedades Riemannianas . . . . . . . . . . . . . . . . . 16
1.5. Variedades Uniformemente Mesetables . . . . . . . . . . . . . . . . . . 19
2. Aproximaci on diferenciable de funciones Lipschitz sobre variedades Rie-
mannianas 21
2.1. Algunos m etodos de aproximaci on . . . . . . . . . . . . . . . . . . . . . 21
2.2. Aproximaci on de funciones Lipschitz denidas en un espacio de Hilbert . 30
2.3. Aproximaci on de funciones Lipschitz denidas en una variedad Rieman-
niana separable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.

Algebras de funciones diferenciables en variedades Riemannianas 39
3.1. El espacio de Estructura del algebra C
1
b
(M) . . . . . . . . . . . . . . . . 39
3.2. Un teorema de Banach-Stone para variedades Riemannianas . . . . . . . 41
Problemas abiertos 44
Bibliografa 45
5
Introducci on
Antecedentes
En el marco cl asico de las variedades Riemannianas de dimensi on nita, el proble-
ma de la regularizaci on y aproximaci on diferenciable de funciones Lipschitzianas fue
estudiado por Greene y Wu en [22], utilizando como herramienta principal la convolu-
ci on integral con un n ucleo adecuado. Este m etodo no puede ser utilizado en variedades
de dimensi on innita, ni siquiera en espacios de Hilbert de dimensi on innita, puesto
que en este caso no se dispone de una medida adecuada que permita introducir la con-
voluci on. Por este motivo, es necesario recurrir a una estrategia diferente, y en concreto
nosotros utilizamos la combinaci on de tres t ecnicas distintas para obtener el correspon-
diente resultado de aproximaci on innito dimensional. Por una parte, utilizamos las lla-
madas convoluci on inmal y suprimal, una t ecnica desarrollada por Lasry y Lions en [29]
que permite aproximar uniformemente funciones Lipschitzianas en espacios de Hilbert
por funciones de clase C
1
y Lipschitzianas. Este m etodo, sin embargo, no permite obten-
er mayor regularidad, y en particular no sirve para obtener aproximaci on por funciones
de clase C
2
. Para ello, utilizamos un resultado de Moulis [33] en espacios de Hilbert
separables, sobre aproximaci on de funciones C
1
por funciones C

en la topologa -
na de primer orden, es decir, aproximaci on de la funci on y la derivada. Finalmente, es
necesario utilizar una adecuada partici on diferenciable de la unidad para combinar estas
aproximaciones locales y obtener el resultado global.
En cuanto a la segunda cuesti on, por un teorema de tipo Banach-Stone entendemos
un resultado que caracterice la estructura (que puede ser topol ogica, diferenciable, m etri-
ca, etc.) de un cierto espacio X, en t erminos de determinadas propiedades algebraicas
o algebraico-topol ogicas de la familia C(X) de las funciones reales continuas denidas
sobre X, o bien de una subfamilia adecuada de C(X). En este sentido, recordamos que
el teorema cl asico de Myers-Nakai [[34],[36]] establece que, para una variedad Rieman-
niana de dimensi on nita, la estructura Riemanniana de la variedad queda determinada
por la estructura natural de algebra de Banach en el espacio de las funciones diferen-
ciables, acotadas y con derivada acotada, denidas sobre la variedad. Myers [34] obtuvo
este resultado para variedades compactas, y Nakai [36] lo extendi o al caso general de
variedades de dimensi on nita. Una de las principales motivaciones de nuestro traba-
jo es la extensi on de este resultado al caso de variedades Riemannianas de dimensi on
innita. Las demostraciones cl asicas se basan fuertemente en la compacidad local, y
7
8
por tanto es necesario desarrollar t ecnicas diferentes para abordar el problema. Por ello
nosotros ponemos el acento en la estructura m etrica de la variedad, inducida por la dis-
tancia geod esica. En primer lugar, demostramos que esta estructura m etrica determina la
estructura Riemanniana de la variedad, es decir, obtenemos una extensi on del teorema
de Myers-Steenrod al caso innito-dimensional. A continuaci on, introducimos t ecnicas
semejantes a las desarrolladas por Garrido y Jaramillo en [15] y [16] para el estudio de
las algebras y retculos de funciones Lipschitzianas en espacios m etricos, y demostramos
que la estructura m etrica de la variedad queda determinada por la estructura de algebra
de Banach del correspondiente espacio de funciones.
Estructura de la memoria y aportes originales.
Para poder considerar las correspondientes estructuras m etricas, supondremos a lo
largo de la Memoria que todas las variedades son conexas (en caso contrario el estudio
se reducira a cada componente conexa).
El contenido de la Memoria es el siguiente. El Captulo 1 comienza con una breve
recopilaci on de los conceptos y los resultados fundamentales sobre variedades Rieman-
nianas de dimensi on innita que ser an utilizados en el trabajo. En ese punto seguimos
el libro de Lang [28] como principal referencia. Tambi en se incluye en este Captulo un
resultado original, como es la extensi on del teorema de Myers-Steenrod al caso innito-
dimensional (Teorema 1.12), que adem as de su inter es propio ser a utilizado m as ade-
lante. El Captulo 2 est a dedicado a la aproximaci on de funciones Lipschitzianas en var-
iedades Riemannianas. El principal resultado original (Teorema 2.14) asegura en particu-
lar que, si M es una variedad Riemanniana separable (posiblemente innito-dimensional)
y f : M R es una funci on Lipschitz, entonces para todo > 0 existe una funci on in-
nitamente diferenciable g : M R tal que f (p) g(p) para todo p M y
Lip(g) Lip( f ) +. Como consecuencia de este resultado, obtenemos que toda variedad
Riemanniana separable es uniformemente mesetable (ver Denici on 1.13), un concepto
que ser a fundamental en el captulo siguiente. En el Captulo 3 obtenemos la versi on
innito-dimensional del teorema de Myers-Nakai (Teorema 3.4): si M es una variedad
Riemanniana completa y uniformemente mesetable, entonces la estructura Riemanniana
de M est a determinada por la estructura natural de algebra de Banach de C
1
b
(M), de las
funciones sobre M de clase C
1
, acotadas y con derivada acotada.
Publicaciones resultado de la memoria
El captulo 2 ha sido publicado en la revista Journal of Mathematical Analysis and
Applications en el 2007 (ver [6]), y el captulo 3 ha sido publicado en la revista Bulletin
of the London Mathematical Society en el 2009 (ver [17]).
Captulo 1
Variedades Riemannianas de dimensi on
innita
En este captulo presentamos en primer lugar las deniciones y resultados sobre var-
iedades Riemannianas, b asicamente tomadas del libro de Lang [28], que ser an utilizadas
a lo largo de esta memoria.
En segundo lugar, estableceremos un resultado de Myers-Steenrod [35] para var-
iedades Riemannianas innito dimensionales. Este resultado liga la estructura Riemanni-
ana de una variedad con su estructura diferenciable, lo cual es de gran importancia para
nosotros a la hora de establecer el correspondiente teorema de tipo Banach-Stone para
variedades Riemannianas de dimensi on innita.
Finalmente, presentaremos una interesante clase de variedades Riemannianas intro-
ducida por Azagra, Ferrera y L opez-Mesas en [4] las cuales usaremos en los posteriores
captulos; ellas son las denominadas variedades Riemannianas uniformemente meseta-
bles.
Comencemos recordando que una variedad Riemanniana es una variedad diferencia-
ble real en la cual cada espacio tangente se equipa con un producto interior de manera
que vare suavemente punto a punto. Esto permite que se denan varias nociones m e-
tricas como longitud de curvas, gradiente de funciones, etc. Formalmente denimos una
variedad Riemanniana como sigue,
Denici on 1.1. Diremos que (M, g) es una variedad Riemanniana, si M es una variedad
de clase C

modelada sobre un espacio de Hilbert H (posiblemente innito dimensional),

tal que para todo p M existe un producto escalar g(p) = g
p
= (, )
p
en el espacio
tangente T
p
M = H de modo que jvj
p
= ((v, v)
p
)
1
2
dene una norma equivalente en T
p
M
para todo p M, y la aplicaci on p M g
p
S
2
(M) es una secci on de clase C

del
brado : S
2
(M) M de las formas bilineales continuas y sim etricas.
9
10
Por otro lado, se dene el brado tangente T M de M como la uni on disjunta de todos
los espacios tangentes con su estructura diferencial natural,
T M =
_
pM
T
p
M.
Denotaremos a veces los elementos en T M por (p, v) donde p M y v T
p
M. Adem as
denimos la proyecci on can onica : T M M como (p, v) = p.
Si f : M N es una funci on de clase C
1
entre variedades M y N, podemos denir
f

: T M TN por f

(p, v) = ( f (p), d f (p)(v)). Una propiedad interesante es que si

f : M N y g : N Z son funciones diferenciables entre las correspondientes
variedades M, N y Z entonces,
( f g)

= f

Si una funci on f : M R es de clase C

1
en p M, la norma de la diferencial
d f (p) T

p
M en el punto p se dene por
jd f (p)j
p
= supd f (p)(v) : v T
p
M, jvj
p
1.
Dado que (T
p
M, jj
p
) es un espacio de Hilbert, tenemos una isometra lineal que identica
este espacio y su dual (T

p
M, jj
p
) mediante la aplicaci on T

p
M d f (p) f (p) T
p
M,
donde d f (p)(v) = (f (p), v)
p
= g
p
(f (p), v), para cada v T
p
M y f (p) es llamado el
gradiente de f en p. Teni endose adem as, jd f (p)j
p
= jf (p)j
p
.
1.1. Lneas geod esicas y funci on exponencial
Para el estudio de las geod esicas comenzamos con la denici on de curva.
Curvas:
Sea M una variedad Riemanniana. Una curva en M ser a una funci on : J M de clase
C
r
(con r 1) donde J es un intervalo abierto de R.
Si : J M es una curva entonces su aplicaci on

asociada

: T J = J R T M
viene dada por

(t, ) = (t, d(t)()) y se tiene que

: J T M denida por

(t) =
(t, d(t)(1)) es una curva sobre T M. Adem as si f : M N es una funci on de clase C
1
,
entonces
( f )

= f

.
Sea : J M una curva de clase C
r
(r 1). Una elevaci on de al brado tangente
T M es cualquier curva diferenciable : J T M tal que = , donde : T M M
denota la proyecci on can onica de T M sobre M. Esta elevaci on siempre existe, puesto que
al menos la curva

verica lo deseado. Es m as a la curva

se le llama la elevaci on
can onica de .
11
Campos vectoriales:
Un campo vectorial sobre M es una funci on de clase C
1
: M T M,
tal que (p) est a en el espacio tangente T
p
M para cada p M, esto es equivalente a decir
que = id, donde id denota la identidad.
Si es un campo vectorial sobre M y p
0
un punto de M. Una curva integral para el
campo vectorial de condici on inicial p
0
, es una curva
: J M,
donde J es un intervalo abierto de R que contiene al cero, tal que (0) = p
0
y

(t) =
((t)) para todo t J. La existencia y unicidad local de estas curvas integrales se garan-
tizan usando una representaci on local del campo vectorial; la demostraci on puede verse
en detalle en [28] [captulo IV, p ag 65].
Campos vectoriales de segundo orden:
Un campo vectorial de segundo orden sobre M es un campo vectorial G sobre el brado
tangente T M tal que, si : T M M denota la proyecci on can onica, entonces

G = id, esto es

G(v) = v, v T M,
donde

: TT M T M mapea el doble brado tangente en el brado tangente T M.

Se puede demostrar que un campo vectorial G en M es de segundo orden si, y sola-
mente si, cada curva integral de G es igual a la elevaci on can onica de su proyecci on
sobre M, es decir,
( )

= .
En efecto;
Si G es un campo vectorial de segundo orden y es una curva integral de G tenemos
que
( )

(G ) = (

G) = .
Para la otra implicaci on sea v T M y denotemos por
v
la curva integral del campo
vectorial G de condici on inicial
v
(0) = v, entonces tenemos que

v
= (
v
)

v
=

(G
v
).
Luego,
v =
v
(0) =

[G
v
(0)] =

G(v),
es decir

G = id, por tanto G es un campo vectorial de segundo orden.

Con estos preliminares procedemos ya a denir las curvas geod esicas.
12
Geod esicas:
Sea : J M una curva en M, denida sobre el intervalo J. Decimos que es una
geod esica con respecto a un campo vectorial de segundo orden G si la curva

: J T M
es una curva integral de G.
Puesto que

= , podemos expresar la condici on de geod esica equivalentemente

declarando que satisface la relaci on

= G(

).
Esta relaci on para curvas en M es llamada la ecuaci on diferencial de segundo orden
para la curva , determinada por G. Obs ervese que de lo anterior se deduce que, si es
una curva integral de G en T M, entonces es una geod esica para el campo vectorial
de segundo orden G. Adem as, notemos que para cada p M y para cada v T
p
M, existe
(localmente) una unica geod esica tal que (0) = p y

(0) = v
Sprays:
Sea s un n umero real y v T M, entonces para alg un p M, v T
p
M y tambi en
sv T
p
M, puesto que T
p
M es un espacio vectorial. Denotamos por s
T M
la funci on de
T M en T M dada por la multiplicaci on por este escalar. Ahora si consideramos
(s
T M
)

: TT M TT M,
entonces nuestra funci on s
T M
satisface la propiedad
(s
T M
)

s
TT M
= s
TT M
(s
T M
)

,
la cual se sigue de la linealidad de s
T M
sobre cada bra.
Un campo vectorial de segundo orden G sobre T M es llamado un spray si
G(sv) = (s
T M
)

sG(v), s R, v T M. (1.1)
Para visualizar el concepto localmente, consideremos el dominio de una carta U de
M. Entonces TU = U H donde H es el espacio de Hilbert, (p, v) = p, TTU =
(U H) (HH), y ()

(p, v, u, w) = (p, u). Por lo tanto un campo vectorial de segundo

orden G : TU TTU puede ser escrito como
G(p, v) = (p, v, v, f (p, v)),
donde f : U H H es una funci on diferenciable. La condici on del spray (1.1) nos da
que
(p, sv, sv, f (p, sv)) = (p, sv) = (s
T M
)

sG(v) = (s
T M
)

(p, v, sv, s f (p, v)) =

= (p, sv, sv, s
2
f (p, v)),
13
la cual signica que la funci on f (p, ) es cuadr atica.
Otra manera de ver los sprays es a trav es de sus curvas integrales. Es decir, si G es un
campo vectorial de segundo orden, y para cada v T M,
v
denota la curva integral de G
con condici on inicial
v
(0) = v, entonces son equivalentes las siguientes condiciones:
1. G es un spray.
2. Un n umero t est a en el dominio de
sv
si, y solamente si, st est a en el dominio de

v
y entonces

sv
(t) = s
v
(st).
3. Si s y t son n umeros reales, st est a en el dominio de
v
si, y solamente si, s est a en
el dominio de
tv
, y entonces

tv
(s) =
v
(st).
4. Un n umero t est a en el dominio de
v
si, y solamente si, 1 est a en el dominio de

tv
, y entonces

v
(t) =
tv
(1).
Esta equivalencia puede verse en [[28], captulo IV].
La funci on exponencial:
Sea G un spray en M, y sea D el conjunto de los v T M tal que
v
est a denida al menos
en [0, 1]. Es sabido que D es un abierto no vaco en T M y que la aplicaci on
v
v
(1)
es de clase C
1
.
Se dene la funci on exponencial exp : D M como,
exp(v) =
v
(1).
As exp es una funci on de clase C
1
sobre D que es llamado el dominio de la aplicaci on
exponencial asociada a G.
Si p M y 0
p
denota el vector cero en T
p
M, entonces de (1.1) haciendo s = 0, vemos
que G(0
p
) = 0. Por lo tanto
exp(0
p
) = p.
As nuestra funci on exponencial coincide con en la secci on transversal del cero, y por
lo tanto induce un difeomorsmo de la secci on transversal sobre M.
Denotamos por exp
p
la restricci on de exp al espacio tangente T
p
M
exp
p
: D T
p
M M.
A continuaci on enunciaremos dos propiedades importantes de la funci on exponencial
y cuya demostraci on pueden verse en [28], p agina 106 del captulo IV.
14
Proposici on 1.2. Sea M una variedad y G un spray sobre M. Entonces
exp
p
: D T
p
M M
induce un difeomorsmo de clase C
1
en un entorno de 0
p
, adem as d(exp
p
)(0
p
) = id.
Proposici on 1.3. Sea M una variedad y G un spray sobre M. Si v DT
p
M y denimos
para t [0, 1]
(t) = exp
p
(tv),
entonces es una geod esica tal que (0) = p y

(0) = v. Inversamente, sea : J M

una geod esica de clase C
2
denida sobre el intervalo J que contiene al cero, tal que
(0) = p y

(0) = v, entonces (t) = exp

p
(tv).
Es decir, la funci on exp
p
lleva segmentos que parten de 0
p
, en geod esicas que parten
de p.
1.2. Estructura de longitud
Sea (M, g) una variedad Riemanniana. Para cada curva : [a, b] M de clase C
1
denimos su longitud L() como
L() =
_
b
a
j

(t)j
(t)
dt,
(n otese que

(t) es un elemento del espacio tangente a M en el punto (t); j j

(t)
denota
la norma resultante del producto interior dado en ese espacio tangente).
Esta longitud depende solamente de la imagen ([a, b]) y no de c omo se mueven los
puntos (t). De forma m as concreta, si : [0, 1] [a, b] es una reparametrizaci on (es
decir, es sobreyectiva y mon otona) de entonces se tiene que L() = L(). Diremos
que la curva est a parametrizada por la longitud del arco, cuando : [a, b] M
satisface j

(t)j
(t)
= 1 para todo t, y en este caso se tiene que
L(
[r,s]
) =
_
s
r
j

(t)j
(t)
dt = s r,
para cada r, s [a, b].
Con esta denici on de longitud, cada variedad Riemanniana M conexa se convierte
en un espacio m etrico de un modo natural deniendo la distancia dist(p, q) entre los
puntos p y q en M como
dist(p, q) = nfL() : camino de clase C
1
a trozos que une p y q en M.
Notemos que para una variedad diferenciable M es equivalente ser conexa que ser conexa
por caminos C
1
a trozos. Para esta m etrica denotamos la bola abierta en M de centro p y
15
radio r > 0 por B(p, r) = q M : dist(p, q) < r y por B(0
p
, r) = q T
p
M : jqj
p
< r
la bola abierta en T
p
M de centro 0
p
y radio r.
Entonces dist es una m etrica en M (denominada g-distancia o distancia geod esica en
M) la cual dene la misma topologa que la dada en M. Diremos que M es una variedad
completa cuando M dotada con la distancia geod esica, es un espacio m etrico completo.
De modo que toda variedad Riemanniana tiene asociada de manera natural lo que se
llama una estructura de longitud (ver el libro de Burago-Burago-Ivanov [8]).
1.3. Propiedades locales de la funci on exponencial
Es importante ver que si (M, g) es una variedad Riemanniana la funci on g nos permite
denir un spray G = dK, donde K es la funci on
K : T M R
denida por K(v) =
1
2
jvj
2
p
, con v T
p
M para p M, conocida como energa cin etica.
Este spray es llamado spray can onico y a su vez nos da las geod esicas que son las que
denominaremos geod esicas Riemannianas y que son las que utilizaremos a lo largo de
esta memoria as como la correspondiente funci on exponencial.
Para describir m as propiedades locales de esta funci on exponencial en una variedad
Riemanniana M es necesario introducir la noci on de convexidad.
Denici on 1.4. Diremos que un conjunto abierto U de una variedad Riemanniana M es
convexo si para cualquier p y q en U, existe una unica geod esica (salvo reparametrizaci on)
contenida en U que une p y q, tal que la longitud de la geod esica es igual a dist(p, q).
Notemos que esta noci on coincide con la noci on de conjunto convexo en un espacio
normado (es decir, para cada p y q en U, el segmento que une p con q est a totalmente
contenido en U).
El siguiente teorema debido a Whitehead (que puede verse en [28], captulo VIII) nos
dice en parte que toda variedad Riemanniana es localmente convexa.
Teorema 1.5 (Whitehead). Sea M una variedad Riemanniana. Para cada p M, existe
r > 0 tal que para todo con 0 < r, la bola abierta B(p, ) = exp
p
B(0
p
, ) es
convexa.
Este teorema nos dice en particular que localmente las geod esicas minimizan la dis-
tancia. A continuaci on vamos a enunciar un resultado en cierto modo recproco seg un el
cual si la longitud de un camino C
1
a trozos coincide con la distancia entre los extremos
entonces dicho camino es una geod esica (salvo reparametrizaci on). Su demostraci on se
puede ver en [[28], captulo IV].
16
Proposici on 1.6. Si : [a, b] M es una curva C
1
a trozos parametrizada por el arco.
Si L() = dist((a), (b)) entonces es una geod esica, (en particular sera de clase
C
1
).
Vamos a nalizar esta secci on con un resultado que nos ser a util a lo largo de la
memoria y que nos proporciona una importante propiedad de la funci on exponencial.
Teorema 1.7. Sea M una variedad Riemanniana, p M. > 0 existe r > 0 tal que si
0 < < r tenemos que exp
p
: B(0
p
, ) B(p, ) es un difeomorsmo (1 + )-biLipschitz
(es decir, las aplicaciones exp
p
: B(0
p
, ) B(p, ) y exp
1
p
: B(p, ) B(0
p
, ) son
(1 + )-Lipschitz).
V ease [28] para una demostraci on.
1.4. Isometras entre variedades Riemannianas
En esta secci on veremos como la estructura m etrica y la estructura diferenciable sobre
cualquier variedad Riemanniana est an ntimamente relacionadas. En particular, extender-
emos el conocido resultado de Myers-Steenrod [35] al caso de variedades Riemannianas
innito dimensionales.
Denici on 1.8. Una funci on h : M N entre dos variedades Riemannianas M y N, es
llamada isometra Riemanniana si h es un difeomorsmo de clase C
1
satisfaciendo,
(dh(p)(v), dh(p)(w))
h(p)
= (v, w)
p
para todo p M y para todo v, w T
p
M.
En particular, cuando h : M N es una isometra Riemanniana entonces, para todo
p M, la funci on diferencial dh(p) : T
p
M T
p
N es una isometra lineal. En efecto,
para todo v T
p
M, tenemos que,
jdh(p)(v)j
2
h(p)
= (dh(p)(v), dh(p)(v))
h(p)
= (v, v)
p
= jvj
2
p
.
De lo anterior, se sigue que toda isometra Riemanniana preserva en particular la longitud
de caminos de clase C
1
a trozos, y entonces esta es una isometra m etrica con respecto
a las respectivas distancias geod esicas. En lo que sigue, veremos que el recproco tam-
bi en es cierto, esto es, existe un resultado an alogo al de Myers-Steenrod para el caso
de variedades innito dimensionales. Pero, previamente necesitamos establecer algunos
resultados.
17
Proposici on 1.9. Sea M una variedad Riemanniana y sea : [a, b] M un camino
continuo tal que dist((t), (t

)) = t t

, para todo t, t

[a, b]. Entonces es una

geod esica.
Demostraci on. Para cada c [a, b], sea p = (c), y sea U
p
= B(p, r) el entorno convexo
que existe usando el Teorema 1.5 (Whitehead) de la secci on 1.3. Tomemos > 0 tal que
([c , c +] [a, b]) U
p
. Si [, ] = [c , c +] [a, b], p
1
= () y p
2
= (), sea
: [0, dist(p
1
, p
2
)] M la unica geod esica (parametrizada por la longitud de arco) en
U
p
de p
1
a p
2
. Ya que dist(p
1
, p
2
) = por una simple traslaci on, podemos suponer
que est a tambi en denida en el intervalo [, ].
Ahora, para todo q ([, ]), sea
1
y
2
las correspondientes curvas geod esicas
contenida en U
p
uniendo p
1
con q, y q con p
2
, respectivamente. Entonces, es claro que la
uni on de
1
y
2
dene un camino de clase C
1
a trozos cuya longitud es la distancia entre
p
1
y p
2
, y por lo tanto debe coincidir con por la Proposici on 1.6. Entonces q ([, ]).
En conclusi on, hemos probado que el conjunto ([, ]) est a contenido en ([, ]) y por
lo tanto podemos considerar la funci on =
1
: [, ] [, ]. Puesto que es una
isometra tal que () = y () = , esta debe ser la identidad, y por lo tanto, =
sobre [, ].
Entonces es localmente un camino geod esico y por lo tanto es una geod esica.
Observaci on 1.10. Si en el lema anterior suponemos que dist((t), (t

)) = Ct t

, para
alg un C > 0, entonces es una geod esica parametrizada proporcionalmente a la longitud
de arco y con velocidad C (llamaremos velocidad de una curva en un punto, a la norma
del vector tangente en dicho punto).
Lema 1.11. Sea M una variedad Riemanniana, sea p M. Entonces v, w B(0
p
, )
tenemos que
lm
(v,w)(0
p
,0
p
)
dist(exp
p
v, exp
p
w)
jv wj
p
= 1
Demostraci on. Por el Teorema 1.7 tenemos que dado > 0, existe > 0 tal que
1
1 +
jv wj
p
dist(exp
p
v, exp
p
w) (1 + )jv wj
p
, v, w B(0
p
, ).
Luego tenemos que
1
1 +

dist(exp
p
v, exp
p
w)
jv wj
p
1 + ,
lo que signica que
lm
(v,w)(0
p
,0
p
)
dist(exp
p
v, exp
p
w)
jv wj
p
= 1

18
Con estas herramientas podemos ahora enunciar y demostrar la versi on innito di-
mensional del teorema cl asico de Myers-Steenrod [35].
Teorema 1.12. Sea h : M N una biyecci on entre dos variedades Riemannianas M y
N que preserva las correspondientes distancias geod esicas, entonces h es una isometra
Riemanniana.
Demostraci on. Sea p M y q = h(p) N. Consideremos r > 0 tal que B(p, r) y
B(q, r) sean entornos convexos de p y q, respectivamente, y tal que las correspondien-
tes funciones exponenciales exp
p
: B(0
p
, r) B(p, r) y exp
q
: B(0
q
, r) B(q, r) sean
difeomorsmos de clase C
1
. Puesto que h preserva las distancias geod esicas, entonces h
es una biyecci on de B(p, r) sobre B(q, r).
Ahora, para todo v T
p
M con v 0, consideremos la geod esica en B(p, r) que pasa
por p con velocidad jvj
p
, esto es (t) = exp
p
tv denida, para
r
jvj
p
< t <
r
jvj
p
. Entonces,
el camino continuo (t) = h((t)) est a contenido en B(q, r) y satisface
dist((t), (t

)) = dist((t), (t

)) = jvj
p
t t

,
cuando t y t

est an en el intervalo
_
r
jvj
p
,
r
jvj
p
_
. Ahora por la Observaci on 1.10, es una
geod esica parametrizada proporcionalmente al arco. En particular, es diferenciable.
Para v T
p
M con v 0, sea v

T
q
N el vector tangente a en el punto q. Note que
es la geod esica en pasa por q con velocidad jv

j
q
, y entonces (t) = exp
q
tv

, cuando
t
_
r
jv

j
q
,
r
jv

j
q
_
. Puesto que h preserva distancias, ambas geod esicas y tienen la misma
velocidad, esto es jvj
p
= jv

j
q
.
En este punto, si denimos h

(0
p
) = 0
q
, y h

(v) = v

, entonces hemos denido una

funci on h

: T
p
M T
q
N, tal que jh

(v)j
q
= jvj
p
. Adem as, es f acil ver que h

es tambi en
positivamente homog enea, esto es, h

(v) = h

(v), para > 0.

Para ver que h

es lineal usaremos el teorema cl asico de Mazur-Ulam[31]. Para ello es

suciente ver que h

es una isometra entre espacios de Banach, esto es, jh

(v)h

(w)j
q
=
jv wj
p
, para todo v, w T
p
M. En efecto, sean v, w T
p
M y sea > 0 tal que jvj
p
< r
y jwj
p
< r, entonces usando el Lema 1.11 tenemos que,
2(v, w)
p
jvj
p
jwj
p
=
jvj
2
p
+ jwj
2
p
jvj
p
jwj
p

jv wj
2
p
jvj
p
jwj
p
=
=
jvj
2
p
+ jwj
2
p
jvj
p
jwj
p
lm
t0
+
dist(exp
p
v, exp
p
w)
2
jvj
p
jwj
p
.
Observamos que el lado derecho lo preserva h

, por lo tanto para todo v, w T

p
M,
(h

(v), h

(w))
q
= (v, w)
p
.
Entonces h

preserva el producto escalar, y por lo tanto es una isometra lineal de

clase C
1
. Finalmente, sobre B(p, r) tenemos que h = exp
q
h

exp
1
p
, y como h

es
un difeomorsmo entre T
p
M y T
q
M, luego h es diferenciable en el punto p, y en efecto
dh(p) = h

. Lo mismo se hace para h

1
.
19
1.5. Variedades Uniformemente Mesetables
En esta secci on veremos una denici on establecida por Azagra, Ferrera y L opez-
Mesas, ver [4], que ser a utilizada a lo largo de la memoria.
Denici on 1.13. Una variedad Riemanniana M es uniformemente mesetable cuando
existen dos n umeros reales R > 1 (posiblemente grande) y r > 0 (posiblemente peque no)
tales que para todo p M y (0, r) existe una funci on b : M [0, 1] de clase C
1
tal
que:
1. b(p) = 1
2. b(q) = 0 si dist(q, p)
3. jbj

R/.
Ejemplos de variedades Riemannianas uniformemente mesetables son las variedades
compactas (ver [4]) y las variedades nito-dimensionales (ver [22]).
Observaci on 1.14. Es f acil ver que toda variedad Riemanniana M es mesetable, en el
sentido de que para todo p M y > 0, existe una funci on meseta b : M [0, 1]
de clase C
1
, con b(p) = 1, b(q) = 0 para q B(p, ) y jbj

< . Sin embargo

no est a claramente determinado cu ales son las variedades Riemannianas uniformemente
mesetables. Se sabe que un espacio de Hilbert es uniformemente mesetable ver [4], y
existen muchos ejemplos naturales de variedades Riemannianas que tambi en lo son. De
hecho no se conoce ning un ejemplo de variedad Riemanniana que no sea uniformemente
mesetable.
El teorema que viene a continuaci on nos da dos caracterizaciones importantes de las
variedades unifomemente mesetables.
Teorema 1.15. Sea M una variedad Riemanniana. Consideramos las siguientes condi-
ciones:
1. Existe una constante r > 0 tal que para todo p M la aplicaci on exp
p
est a denida
en B(0
p
, r) T
p
M, exp
p
: B(0
p
, r) B(p, r) es un difeomorsmo de clase C

, y
la funci on distancia est a dada por la expresi on
dist(q, p) = j exp
1
p
(q)j
p
, q B(p, r).
2. Existe una constante r > 0 tal que para todo p M la funci on distancia a p, es
decir, q M dist(q, p), es de clase C

en B(p, r) p.
20
3. M es uniformemente mesetable.
Entonces (1) (2) (3).
Demostraci on. (1) (2) En la hip otesis tenemos que exp
1
p
es un difeomorsmo de
clase C

de B(p, r) en B(0
p
, r), y j j
p
es de clase C

en T
p
M0
p
, y como dist(q, p) =
j exp
1
p
(q)j
p
para todo q B(p, r), tenemos lo deseado.
(2) (3) Supongamos que la funci on distancia q dist(q, p) es C

en B(p, r)p. Sea

: R [0, 1] una funci on de clase C

y Lipschitz tal que

1
(1) = (,
1
3
] y
1
(0) =
[1, ). Para un punto dado p M y un n umero (0, r), denimos b : M [0, 1] por
b(q) =
_
1

dist(q, p)
_
.
Teniendo en consideraci on el hecho de que la funci on distancia q dist(q, p) es 1-
Lipschitz y que la norma de su derivada est a acotada por 1 en todos los puntos ver [[4],
Proposici on 2.15], es f acil comprobar que b satisface las condiciones 1-2-3 de la deni-
ci on 1.13, para una constante R = j

> 1 que solo depende de la funci on , pero no

del punto p M.
Podemos observar que si hacemos b(q) = 1
1

dist(q, B
c
(p, )), para un punto p M
dado y un n umero (0, r), donde B
c
(p, ) denota el complemento de la bola, tenemos
que esta es una funci on
1

-Lipschitz. Es decir, en toda variedad Riemanniana podemos

construir de manera uniforme funciones meseta que son Lipschitzianas con la misma
constante, pero que en general no ser an diferenciables. En consecuencia, en aquellas
variedades donde podamos aproximar las funciones Lipschitz por funciones de clase
C

conservando aproximadamente la constante de Lipschitz, podremos garantizar que

estas son uniformemente mesetables. En el siguiente captulo veremos que este tipo de
aproximaci on puede realizarse en las variedades separables con lo que podremos deducir
que toda variedad separable es en particular uniformemente mesetable.
Captulo 2
Aproximaci on diferenciable de
funciones Lipschitz sobre variedades
Riemannianas
En este captulo mostraremos que para toda funci on Lipschitz f denida sobre una
variedad Riemanniana separable M (posiblemente de dimensi on innita), para toda fun-
ci on continua : M (0, +), y para todo n umero positivo r > 0, existe una funci on
Lipschitz g : M R de clase C

tal que f (p) g(p) (p) para todo p M, y

Lip(g) Lip( f ) + r, donde Lip( f ) y Lip(g) son las constantes de Lipschitz de f y g
respectivamente. Con este resultado podemos garantizar que toda variedad Riemanniana
separable es uniformemente mesetable. Es importante hacer notar que para demostrar
este resultado de aproximaci on, es necesario previamente establecerlo en el caso particu-
lar en el que M es un espacio de Hilbert separable. Debemos se nalar que no conocemos si
un resultado similar se cumple para espacios de Banach separables innito-dimensionales
que admitan funciones mesetas de clase C

.
2.1. Algunos m etodos de aproximaci on
En esta secci on vamos a presentar algunas de las herramientas que nos ser an de utili-
dad para obtener los deseados resultados de aproximaci on.
Convoluci on integral:
Dada una funci on f : R
n
R y una funci on g : R
n
R se dene la convoluci on integral
de f con g como la funci on:
f g(x) =
_
R
n
f (y)g(x y)dy.
Por otro lado, si para una funci on continua f : R
n
R denimos la sucesi on f
k

kN
por
f
k
(x) = f
k
(x) =
_
R
n
f (y)
k
(x y)dy,
21
22
donde las funciones
k
: R
n
R son de clase C

,
_
R
n

k
= 1 y sop(
k
) B(0,
1
k
) (estas
funciones
k
se conocen con el nombre de n ucleos de convoluci on) tenemos que, dado
> 0 existe un entero N > 0 (que depende de ) tal que f
k
(x) f (x) < para todo
x R
n
y todo k N.
Este m etodo de aproximaci on diferenciable tiene muchas ventajas sobre otros pro-
cedimientos, puesto que la convoluci on integral preserva muchas de las propiedades ge-
om etricas que f pueda tener, tal como convexidad o la Lipschitzianidad. Es decir, si f es
K-Lipschitz entonces f
k
es K-Lipschitz tambi en.
Para variedades Riemannianas nito-dimensionales, Greene y Wu [22] usaron un re-
namiento de este procedimiento de convoluci on integral para obtener resultados muy
utiles sobre aproximaci on diferenciable de funciones Lipschitz o convexas denidas so-
bre una variedad Riemanniana. Desafortunadamente, el m etodo de convoluci on inte-
gral falla en dimensi on innita, debido a la falta de una medida adecuada como la de
Lebesgue, y en su lugar han sido empleados otros m etodos.
Convoluci on inmal:
Acontinuaci on vamos a dar la denici on y algunas propiedades b asicas de la convoluci on
inmal de dos funciones las cuales pueden verse en detalle en el trabajo de D. Azagra
[2].
Denici on 2.1. Sean f , g : E R +, donde E es un espacio normado. Se dene
la convoluci on inmal o suma epigr aca, de f y g por
f
nf
g(v) = nf f (w) + g(v w) : w E, v E.
An alogamente, si f , g : E R , se dene la suma hipogr aca de f y g por
f
hip
g(v) = nf f (w) g(v w) : w E, w E.
Para una funci on f : E R , se dene el epigrafo de f por
epi f = (v, t) E (, ] : t f (v)
y el epigrafo estricto de f por
epi
s
f = (v, t) E (, ] : t > f (v).
Por otro lado si C, D E, y R se denotan por
C + D = v + w : v C, w D y C = v : v C.
Para una funci on f : E R , se dene el argumento mnimo como
argmin( f ) = v E : f (v) = nf f (E).
23
Observaciones 2.2. Recordemos lo siguiente:
1) f : E R es convexa si f (tv + (1 t)w) t f (v) + (1 t) f (w), para todo
v, w E y para todo t [0, 1].
2) f : E R es c oncava si f es convexa.
3) f es afn si f es c oncava y convexa a la vez, es decir, f (tv+(1t)w) = t f (v)+(1t) f (w)
para todo v, w E, y para todo t [0, 1].
4) f es convexa si, y solamente si, el conjunto epi f es convexo.
A continuaci on enunciaremos las propiedades m as elementales de la convoluci on
inmal de dos funciones.
Proposici on 2.3. Sean f , g, h : E R, entonces:
(1) ( f
nf
g)
nf
h = f
nf
(g
nf
h).
(2) f
nf
g = g
nf
f .
(3) epi
s
( f
nf
g) = epi
s
f + epi
s
g.
(4) argmin f + argmin g argmin ( f
nf
g), es decir, si v minimiza a f en E y w
minimiza a g en E, entonces v + w minimiza f
nf
g.
(5) Si f y g son convexas, entonces f
nf
g es convexa.
(6) Si f es c oncava, entonces f
nf
g es c oncava para toda g.
(7) Si f es afn y g es convexa, entonces f
nf
g es afn.
24
Demostraci on. Comenzamos con (1):
( f
nf
g)
nf
h(v) = nf
uE
f
nf
g(u) + h(v u)
= nf
uE
_
nf
wE
f (w) + g(u w) + h(v u)
_
= nf
uE
_
nf
wE
f (w) + g(u w) + h(v u)
_
= nf
u,wE
_
f (w) + g(u w) + h(v u)
_
= nf
wE
_
nf
uE
f (w) + g(u w) + h(v u)
_
= nf
wE
_
f (w) + nf
uE
g(u) + h(v u w)
_
= nf
wE
_
f (w) + (g
nf
h)(v w)
_
= f
nf
(g
nf
h)(v).
Vamos a demostrar (2):
f
nf
g(v) = nf
wE
f (w) + g(v w)
= nf
wE
g(w) + f (v w)
= g
nf
f (v)
Vamos a demostrar (3):
Primero vamos a demostrar que epi
s
( f
nf
g) epi
s
f +epi
s
g. Sea (v, t) epi
s
( f
nf
g)
entonces t > ( f
nf
g)(v), por lo tanto existe t

tal que t > t

> m = nf
uE
f (u) +g(v u).
As, existe u E tal que m f (u) + g(v u) < t

< t. Entonces
(v, t) = (u, t

g(v u)) + (v u, g(v u) + t t

),
donde (u, t

g(vu)) epi
s
f (puesto que f (u) < t

g(vu)) y (vu, g(vu) +t t

)
epi
s
g (puesto que t > t

), luego (v, t) epi

s
f + epi
s
g.
Para demostrar que epi
s
f +epi
s
g epi
s
( f
nf
g). Sea (v, t) epi
s
f +epi
s
g entonces
(v, t) = (v
1
, t
1
) + (v
2
, t
2
) donde f (v
1
) < t
1
, g(v
2
) < t
2
, t = t
1
+ t
2
, v = v
1
+ v
2
; luego
t = t
1
+ t
2
> f (v
1
) + g(v
2
) = f (v
1
) + g(v v
1
) nf
uE
f (u) + g(v u) = f
nf
g(v).
Entonces, t > f
nf
g(v) y por lo tanto (v, t) epi
s
( f
nf
g).
Vamos a demostrar (4):
Si v minimiza f en E y w minimiza g en E, entonces para todo v
1
, v
2
E tenemos que
f (v) + g(w) f (v
1
) + g(v
2
), luego para todo u E se tiene
f
nf
g(v + w) = nf f (v
1
) + g(v
2
) : v
1
+ v
2
= v + w
f (v) + g(w) nf f (v
1
) + g(v
2
) : v
1
+ v
2
= u
= f
nf
g(u),
25
es decir, v
1
+ v
2
minimiza a f
nf
g en E.
Vamos a demostrar (5):
Para ello necesitamos el siguiente lema,
Lema 2.4. Sea E un espacio normado, y sea G : EE R convexa en EE; denamos
: E R por (v) = nf
uE
G(v, u). Entonces es convexa en E.
Demostraci on. Sean v, w E y sea > 0. Elijamos v
1
, w
1
E tales que (v) +
G(v, v
1
) y (w) + H(w, w
1
). Entonces
(tv + (1 t)w) = nf
uE
G(tv + (1 t)w, u)
G(tv + (1 t)w, tv
1
+ (1 t)w
1
)
tG(v, v
1
) + (1 t)G(w, w
1
)
t((v) + ) + (1 t)((w) + )
= t(v) + (1 t)(w) + .
Luego, (tv + (1 t)w) t(v) + (1 t)(w); y esto es v alido para todo v, w E y para
todo t [0, 1]. Por lo tanto es convexa.
Siguiendo ahora con la demostraci on de (5), consideremos G : E E R denida
por G(v, w) = f (w) + g(v w). G es convexa en E E puesto que
G[t(v, w) + (1 t)(v
1
, w
1
)] = G[tv + (1 t)v
1
, tw + (1 t)w
1
]
= f (tw + (1 t)w
1
) + g(tv + (1 t)v
1
tw (1 t)w
1
)
= f (tw + (1 t)w
1
) + g(t(v w) + (1 t)(v
1
w
1
))
t f (w) + (1 t) f (w
1
) + tg(v w) + (1 t)g(v
1
w
1
)
= t[ f (w) + g(v w)] + (1 t)[ f (w
1
) + g(v
1
w
1
)]
= tG(v, w) + (1 t)G(v
1
, w
1
).
Entonces por el lema anterior tenemos que f
nf
g(v) = nf
wE
G(v, w) es convexa en E.
Vamos a demostrar (6):
Supongamos que f es c oncava y g es cualquier funci on. Entonces, para cada u E, la
funci on v G
u
(v) = g(u) + f (v u) es c oncava (por serlo f ), y como el nmo de
una familia de funciones c oncavas es una funci on c oncava, obtenemos que la funci on
v f
nf
g(v) = nf
uE
G
u
(v) es c oncava.
Vamos a demostrar (7):
Si f es afn y g es c oncava entonces, por (5) f
nf
g es convexa, y por (6) f
nf
g es
c oncava. Luego, f
nf
g es c oncava y a la vez convexa, es decir, f
nf
g es afn.
26
Observaci on 2.5. Naturalmente, pueden demostrarse enunciados an alogos para la suma
hipogr aca de dos funciones. T engase en cuenta que f
hip
g = (f )
nf
(g).
La propiedad (3) anterior revela el signicado geom etrico de la convoluci on inmal
de dos funciones: intuitivamente convolucionar dos funciones f y g equivale a sumar sus
epigrafos, epi
s
f y epi
s
g, para obtener el epigrafo de la convoluci on f
nf
g; la corteza
inferior de este conjunto suma epi
s
f + epi
s
g es precisamente la gr aca de f
nf
g. Te-
niendo en cuenta esta propiedad y haciendo unos cuantos dibujos uno puede convencerse
de que si f es una funci on cualquiera y g es una funci on suave con la forma de una
norma al cuadrado, entonces f
nf
g es una funci on m as o menos aproximada a f pero
con la propiedad de que no tiene picos apuntando hacia abajo. Es decir, la convoluci on
inmal de una funci on con otra que es una norma al cuadrado tiene un efecto regular-
izador inferiormente sobre la primera, a la cual se aproxima. Si esta funci on regularizada
inferiormente se suma hipogr acamente ahora con una funci on que sea la opuesta de una
norma al cuadrado, obtenemos una funci on que est a regularizada superiormente (es de-
cir, no tiene picosque apuntan hacia arriba) y, cabe esperar, mantiene esa regularidad
superior de su progenitora; a la vez que sigue estando m as o menos aproximada a la
funci on f original.
Las propiedades (5), (6) y (7) (conservaci on de la convexidad y de la concavidad
por
nf
) hacen de la convoluci on inmal una herramienta particularmente interesante en
el an alisis convexo. La propiedad (4), junto con el ya se nalado efecto regularizador de
la convoluci on inmal, hacen que la misma tenga gran utilidad en problemas de mini-
mizaci on y optimizaci on.
A continuaci on vamos a dar la siguiente denici on la cual se usa para establecer el
teorema de Lasry y Lions que es de gran utilidad para poder establecer la aproximaci on
de una funci on Lipschitz denida en un espacio de Hilbert por otra funci on Lipschitz de
clase C

de constantes de Lipschitz aproximadamente iguales.

Denici on 2.6. Sea f : E R +, donde E es un espacio normado. Se dice que f
est a minorada cuadr aticamente si existe c > 0 tal que f (v)
c
2
_
1 + jvj
2
_
.
Denici on 2.7. Sean E un espacio normado, f : E R + y > 0. Se dene la
regularizaci on Moreau-Yosida de f por
f

(v) = inf
uE
_
f (u) +
1
2
jv uj
2
_
, v E.
Es decir, f

= f
nf
1
2
j j
2
. An alogamente, suponiendo f : E R y > 0 se
dene la regularizaci on hipogr aca Moreau-Yosida de f por
f

(v) = sup
uE
_
f (u)
1
2
jv uj
2
_
, v E.
Es decir, f

= f
hip
_

1
2
j j
2
_
.
27
M as general, dados un espacio normado (E, j j), p [1, +) y > 0 puede denirse
la epi-regularizaci on de ndice p de una funci on f : E (, +] por f
nf
1
p
j j
p
,
y tambi en la correspondiente hipo-regularizaci on de ndice p para una funci on f : E
[, +) por f
hip
_

1
p
jj
p
_
. Las propiedades generales de estas funciones son an alogas
para todo p (1, +), y un poco diferentes para p = 1, aqu solo veremos las propiedades
para p = 2.
Proposici on 2.8. Sea (E, j j) un espacio normado, y sea f : E R +. Entonces:
(1) f

f , para todo > 0.

(2) Si 0 <

< entonces f

f .
(3) f

= (f

), para todo > 0.

(4) nf
vE
f

(v) = nf
vE
f (v). De hecho, cualquier mnimo de f es mnimo de f

; y si
f es semicontinua inferiormente, entonces cualquier mnimo de f

es tambi en mnimo de
f ; es decir,
argmin f

= argmin f ,
si f es semicontinua inferiormente.
(5) ( f

= f
+
, si > 0 y <
1
2
.
(6) Si f es convexa, entonces f

es convexa.
(7) Si f es c oncava, entonces f

es c oncava.
(8) Si f es afn, entonces f

es afn.
(9) Si f es invariante por un conjunto de isometras de E, entonces f

tambi en lo es.
Es decir, si T
i
: i I es un conjunto de isometras de E tal que f (T
i
v) = f (v) para todo
i I, entonces f

(T
i
v) = f

(v) para todo i I.

Demostraci on. (1), (2) y (3) son inmediatas. Vamos a demostrar (4):
Sabemos que
nf
vE
f

(v) = nf
vE
nf
uE
_
f (u) +
1
2
jv uj
2
_
= nf
v,uE
_
f (u) +
1
2
jv uj
2
_
=
= nf
uE
nf
vE
_
f (u) +
1
2
jv uj
2
_
= nf
uE
f (u),
luego nf
vE
f

(v) = nf
vE
f (v). Sea v mnimo de f ; como 0 es un mnimo de g =
1
2
j j
2
,
la Proposici on 2.3 (4) nos dice que v+0 = v es mnimo de f
nf
g = f

. Luego, argmin f
argmin f

.
28
Supongamos adem as que f es semicontinua inferiormente, y sea v un mnimo de f

;
veamos que v es tambi en mnimo de f . Sea u
n

nN
E tal que f (u
n
) +
1
2
jv u
n
j
2

(v) +
1
n
; entonces tenemos que
0
1
2
jv u
n
j
2
f

(v) +
1
n
f (u
n
)
f

(v) +
1
n
nf f =
1
n
0,
cuando n ; luego, u
n
v y como f es semicontinua inferiormente obtenemos que
f (v) lm
n
nf f (u
n
) lm
n
nf
_
f

(v) +
1
n
_
= f

(v) = nf f

= nf f .
Entonces, f (v) nf f implica que f (v) = nf f , por lo tanto v es un mnimo de f .
As argmin f

argmin f , si f es semicontinua inferiormente, y en consecuencia

argmin f

= argmin f en este caso.

Vamos a demostrar (5):
( f

(v) = nf
wE
_
1
2
jv wj
2
+ nf
uE
_
f (u) +
1
2
jw uj
2
__
= nf
wE
nf
uE
_
f (u) +
1
2
jv wj
2
+
1
2
jw uj
2
_
= nf
uE
nf
wE
_
f (u) +
1
2
jv wj
2
+
1
2
jw uj
2
_
= nf
uE
_
f (u) + nf
wE
_
1
2
jv wj
2
+
1
2
jw uj
2
__
= nf
uE
_
f (u) +
1
2
jv
1
+
(u + v)j
2
+
1
2
j
1
+
(u + v) uj
2
_
= nf
uE
_
f (u) +
1
2( + )
jv uj
2
_
= f
+
(v),
ya que el nmo nf
wE
_
1
2
jv wj
2
+
1
2
jwuj
2
_
se alcanza en el punto y =
1
+
(u +v).
(6), (7) y (8) son consecuencia de (5), (6) y (7) de la Proposici on 2.3, teniendo en cuenta
que g =
1
2
j j
2
es convexa y que f
nf
g = f

.
29
Vamos a demostrar (9):
f

(T
i
v) = nf
uE
_
f (u) +
1
2
jT
i
v uj
2
_
= nf
uE
_
f (T
i
u) +
1
2
jT
i
(v u)j
2
_
= nf
uE
_
f (T
i
u) +
1
2
jv uj
2
_
= nf
uE
_
f (u) +
1
2
jv uj
2
_
= f

(v).

Es importante notar que si f es K-Lipschitz entonces f

es K-Lipschitz (an aloga-

mente para f

). Esto es una consecuencia inmediata del hecho que las operaciones de

las convoluciones inf- y sup- (con la norma al cuadrado o con cualquier otro n ucleo)
preservan las constantes de Lipschitz de las funciones a ser regularizadas En efecto,
Proposici on 2.9. Sea E un espacio normado y > 0. Si f : E R es K-Lipschitz sobre
E entonces la funci on
f

(v) = nf
wE
f (w) +
1
2
jv wj
2

es K-Lipschitz sobre E.
Demostraci on. Note que
nf
wE
f (w) +
1
2
jv wj
2
= nf
wE
f (v w) +
1
2
jwj
2
,
entonces la funci on f

puede ser redenida como

f

(v

) = nf
wE
f (v

w) +
1
2
jwj
2
. (2.1)
La funci on f

es en la formula (2.1) un nmo de funciones continuas K-Lipschitz, en-

tonces esta es continua y K-Lipschitz.
Obviamente, el resultado anterior es cierto para la funci on f

con > 0 denida por

f

(v) = sup
uE
h(u)
1
2
jv uj
2
.
30
2.2. Aproximaci on de funciones Lipschitz denidas en
un espacio de Hilbert
Habiendo estudiado en la secci on anterior las propiedades de la regularizaci on de
Moreau-Yosida procedemos a introducir ahora la regularizaci on de Lasry y Lions. Esta
t ecnica de regularizaci on es un m etodo explcito que conserva la convexidad, concavidad
o anidad de las funciones que se pretenden regularizar.
El resultado clave es que para cualquier funci on f minorada cuadr aticamente, su sup-
inf convoluci on con normas al cuadrado ( f

es una funci on de clase C

1,1
. Recordemos
que una funci on se dice de clase C
1,1
cuando es de clase C
1
y su derivada es Lipschitziana.
A continuaci on enunciamos el teorema de Lasry y Lions cuya demostraci on puede
verse en [29].
Teorema 2.10 (Lasry y Lions). Sea H un espacio de Hilbert y sea f : H R
tal que existe c > 0 con f (v)
c
2
(1 + jvj
2
) para todo v H. Entonces la funci on
( f

: H R denida por
( f

(v) = sup
wH
inf
uH
f (u) +
1
2
jw uj
2

1
2
jv wj
2

verica que ( f

C
1,1
(H), para 0 < < <
1
c
. Adem as si f es uniformemente continua
y acotada en H, se tiene que ( f

converge uniformemente a f cuando 0 < < 0.

Es importante notar que por la Proposici on 2.9 tenemos que si f es K-Lipschitz en-
tonces ( f

es tambi en K-Lipschitz sobre H.

A continuaci on vamos a demostrar nuestro resultado de aproximaci on de una funci on
Lipschitz y acotada denida en un espacio de Hilbert separable. Este resultado lo de-
mostraremos combinando la t ecnica de regularizaci on de Lasry y Lions de convoluciones
sup-inf que acabamos de ver, con el siguiente resultado de Moulis cuya demostraci on
puede verse en [33].
Teorema 2.11 (Moulis). Sea U un subconjunto abierto de un espacio de Hilbert sepa-
rable H. Sea f : U R una funci on de clase C
1
, y sea : U (0, +) una funci on
continua. Entonces existe una funci on g : U R de clase C

tal que f (v) g(v) (v)

y jd f (v) dg(v)j (v) para todo v U.
Ahora procedemos a enunciar y demostrar el resultado central de esta secci on.
Teorema 2.12. Sea (H, j j) un espacio de Hilbert separable, sea f : H R una funci on
Lipschitz y acotada, y sea > 0. Entonces existe una funci on g : H R Lipschitz de
clase C

tal que f (v) g(v) para todo v H, y Lip(g) Lip( f ) + .

31
Demostraci on. Denotemos K = Lip( f ). Puesto que f es Lipschitz y acotada sobre H (en
particular est a minorada cuadr aticamente), por el Teorema 2.10, las funciones
v ( f

(v) := sup
wH
nf
uH
_
f (u) +
1
2
jw uj
2

1
2
jv wj
2
_
son de clase C
1,1
sobre H y convergen a f uniformemente sobre H cuando 0 < < 0.
Entonces escojamos y sucientemente peque nos con 0 < < tal que
( f

(v) f (v)

2
(2.2)
para todo v H.
Es importante observar que por la Proposici on 2.9 tenemos que ( f

es K-Lipschitz.
Por otro lado, puesto que ( f

es de clase C
1
, podemos usar el Teorema 2.11 para encon-
trar una funci on g : H R de clase C

tal que
g(v) ( f

(v)

2
y jdg(v) d( f

(v)j (2.3)
para todo v H. Combinando (2.2) y (2.3) obtenemos que f (v) g(v) y adem as
Lip(g) = sup
vH
jdg(v)j sup
vH
jd( f

)(v)j + K + = Lip( f ) + .

2.3. Aproximaci on de funciones Lipschitz denidas en

una variedad Riemanniana separable
Ahora establecemos el resultado principal de este captulo, cuya demostraci on com-
bina los m etodos de aproximaci on m as importantes que conocemos hasta ahora, con-
voluciones integrales, convoluciones inmales y particiones de la unidad. Recordemos
que una partici on de la unidad sobre una variedad M consiste en un cubrimiento abierto
U
i
de M y una familia de funciones
i
: M R satisfaciendo lo siguiente:
1. Para todo p M tenemos que
i
(p) 0.
2. El soporte de
i
est a contenido en U
i
.
3. El cubrimiento U
i
es localmente nito.
4. Para cada punto p M tenemos que
_

i
(p) = 1.
Adem as haremos uso del hecho que una funci on localmente K-Lipschitz denida sobre
una variedad Riemanniana M es globalmente K-Lipschitz. En efecto,
32
Lema 2.13. Sea M una variedad Riemanniana. Una funci on f : M R es K-Lipschitz
si y solamente si f es localmente K-Lipschitz, es decir, para cada punto p M existe un
entorno U
p
de p tal que para todo p
1
, p
2
U
p
f (p
1
) f (p
2
) Kdist(p
1
, p
2
).
Demostraci on. Es claro que una funci on globalmente K-Lipschitz lo es localmente. Para
mostrar el inverso, recuerde que para cualquier p
1
, p
2
M tenemos que dist(p
1
, p
2
) =
nf

L(), donde : [0, 1] M es un camino de clase C

1
a trozos con (0) = p
1
y
(1) = p
2
. As para establecer la Lipschitzianidad global de f de constante de Lipschitz
K necesitamos probar que para cualquier camino en M se tiene que f (p
1
) f (p
2
)
K L().
Por el lema de Lebesgue elijamos una partici on de [0, 1] por puntos t
0
= 0 < t
1
<
... < t
m
= 1 tal que para todo i = 0, ..., m 1, ([t
i
, t
i+1
]) est a contenida en un entorno U
p
para alg un p M y
f ((t
i
)) f ((t
i+1
)) Kdist((t
i
), (t
i+1
).
Tal elecci on es posible porque los U
p
forman un cubrimiento abierto de M. Entonces
f (p
1
) f (p
2
)
m1

i=0
f ((t
i
)) f ((t
i+1
))
K
m1

i=0
dist((t
i
), (t
i+1
)) KL().

A continuaci on enunciamos y demostramos el teorema central de este captulo cuyo

esquema de la demostraci on es el siguiente. Primero obtendremos usando cartas expo-
nenciales y convoluciones inmales, aproximaciones locales de f por funciones Lips-
chitz de clase C
1
. Luego, regularizaremos estas aproximaciones locales recurriendo a un
resultado de Moulis [33] y nalmente pegaremos todas las aproximaciones con la ayuda
de una partici on de la unidad especialmente construda.
Teorema 2.14. Sea M una variedad Riemanniana separable, sea f : M R una fun-
ci on Lipschitz, sea : M (0, +) una funci on continua, y r > 0 un n umero positivo.
Entonces existe una funci on Lipschitz g : M R de clase C

tal que f (p)g(p) (p)

para todo p M, y Lip(g) Lip( f ) + r.
Demostraci on. Denotaremos K = Lip( f ) para simplicar notaci on.
Sin p erdida de generalidad, podemos suponer que (p) r/2 para todo p M (si
reemplazamos con la funci on continua p mn(p), r/2). Adem as, jemos cualquier
33
n umero

(p) =

> 0 sucientemente peque no tal que

(K(1 +

) +

)(1 +

) < K +
r
2
.
Ahora, para todo p M, elegimos
p
> 0 sucientemente peque no tal que la funci on
exponencial sea un difeomorsmo (1+

)-biLipschitz de clase C

de la bola B(0
p
, 3
p
)
T
p
M sobre la bola B(p, 3
p
) M (ver Teorema 1.7). Por otro lado, por la continuidad de
f y , podemos suponer que
p
tambi en es sucientemente peque na tal que (q) (p)/2
y f (q) f (p) (p)/2 para todo q B(p, 3
p
).
Puesto que M es separable podemos tomar una sucesi on (p
n
) de puntos en M tal que
M =

_
n=1
B(p
n
,
n
),
donde denotamos
n
=
p
n
, y tambi en
n
= (p
n
). Ahora, para cada n N denamos una
funci on f
n
: B(0
p
n
, 3
n
) R por
f
n
(v) = f (exp
p
n
(v)),
el cual es K(1 +

)-Lipschitz. Podemos extender f

n
a todo T
p
n
M deniendo

f
n
(v) = nf
wB(0
pn
,3
pn
)
f
n
(w) + K(1 +

)jv wj
p
.
Luego,

f
n
es una extensi on Lipschitz de f
n
a todo T
p
n
M, con la misma constante
de Lipschitz K(1 +

). La funci on

f
n
es acotada sobre conjuntos acotados (porque es
Lipschitz) pero no es acotada en todo T
p
n
M. Sin embargo podemos modicar

f
n
fuera
de la bola B(0
p
n
, 4
n
) de manera que esta sea acotada en todo T
p
n
M. Para ello, sea C =
sup

f
n
(v) + 1 : v B(0
p
n
, 4
n
), y denamos

f
n
: T
p
n
M R por

f
n
(v) =
_

_
C si

f
n
(v) C,

f
n
(v) si C

f
n
(v) C,
+C si C

f
n
(v).
Es claro que

f
n
es acotada en todo T
p
n
M y tiene la misma constante de Lipschitz de

f
n
, el cual es menor o igual a K(1 +

). Esto es,

f
n
es una extensi on acotada K(1 +

)-
Lipschitz de f
n
en T
p
n
M.
En lo que sigue vamos a construir una partici on de la unidad diferenciable de clase C

subordinada al cubrimiento B(p

n
, 2
n
)
nN
de M y a estimar las constantes de Lipschitz
de cada una de las funciones de esta partici on. Tomemos una funci on diferenciable
n
:
R [0, 1] de clase C

tal que
n
= 1 sobre (,
n
] y
n
= 0 sobre [2
n
, +), y
denamos

n
(p) =
_

n
(j exp
1
p
n
(p)j
p
n
), si p B(p
n
, 3
n
);
0, en otro caso.
34
Es claro que cada una de las funciones
n
: M R son de clase C

y Lipschitz, y
satisface que
n
= 1 sobre la bola B(p
n
,
n
), y
n
= 0 sobre M \ B(p
n
, 2
n
).
Denamos las funciones
k
=: M [0, 1] por

k
=
k
_
j<k
(1
j
).
Es claro que
k
is C
k
-Lipschitz, donde
C
k
:=

jk
Lip(
j
),
y es f acil ver que
1. Para cada p M, si k = k(p) = mn j : p B(p
j
,
j
) entonces, como 1
k
=
0 sobre B(p
k
,
k
), tenemos que B(p
k
,
k
) es un entorno de p que intersecta una
cantidad nita de los soportes de las funciones

. Es decir, sop(

) B(p
k
,
k
) =
para todo > k, y sop(
k
) B(p
k
, 2
k
);
2.
_
k

k
= 1;
Esto es,
n

nN
es una partici on diferenciable de la unidad de clase C

subordinada al
cubrimiento B(p
n
, 2
n
)
nN
de M.
Ahora, por el Teorema 2.12 podemos encontrar una funci on diferenciable g
n
: T
p
n
M
R de clase C

tal que
g
n
(v)

f
n
(v)

n
2
n+2
(C
n
+ 1)
, (2.4)
para todo v T
p
n
M, y
Lip(g
n
) Lip(

f
n
) +

K(1 +

) +

. (2.5)
Estamos listos para denir nuestra aproximaci on g : M R por
g(p) =

n
(p)g
n
(exp
1
p
n
(p))
para cualquier p M. Observe que si p B(p
n
, 3
n
), entonces como la exponencial
exp
p
n
es un difeomorsmo de clase C

de B(0
p
n
, 3
n
) sobre B(p
n
, 3
n
), la expresi on

n
(p)g
n
(exp
1
p
n
(p)) est a bien denida y es diferenciable de clase C

sobre B(p
n
, 3
n
).
Adem as, si p B(p
n
, 2
n
) sop(
n
) entonces
n
(p) = 0. Luego, para cualquier p
B(p
n
, 3
n
), supondremos que las expresiones
n
(p)g
n
(exp
1
p
n
(p)) y g
n
(exp
1
p
n
(p)) se anu-
lan. Por lo tanto, g est a bien denida y es diferenciable de clase C

sobre M.
Veamos que g y Lip(g) aproxima a f y a Lip( f ), respectivamente, como es requerido.
35
Fijemos cualquier p M, y sea k = k(p) = mn j : p B(p
j
,
j
), entonces tenemos
que

= 0 sobre B(p
k
,
k
) para todo > k, y estimemos f g. Para simplicar notaci on
denotemos v
m
= exp
1
p
m
(p) T
p
m
M, entonces tenemos que
g(p) f (p) =

mk

m
(p)g
m
(exp
1
p
m
(p)) f (p)

mk

m
(p)
_
g
m
(v
m
) f (p)
_

mk

m
(p)
_
g
m
(v
m
)

f
m
(v
m
)
_

mk

m
(p)

m
2
m+2
(C
m
+ 1)

mk

m
(p)

m
2

mk

m
(p)(p)
=

m
(p)(p) = (p).
Finalmente, veamos que Lip(g) K + r. Como g est a denida sobre una variedad Rie-
manniana, por el Lema 2.13 es suciente mostrar que g es localmente (K + r)-Lipschitz.
Tomemos un punto a M, y denamos k = k(a) = mn j : a B(p
j
,
j
), tal que
sop(

) B(p
k
,
k
) = para todo > k. Sea tambi en

a
= mn
1
, ...,
k
,
k
d(a, p
k
),
y
F
p,q
= m 1, ..., k : B(p
m
, 2
m
) p, q .
Es f acil ver que si p, q B(a,
a
), entonces:
(i) Para todo m 1, ..., k, tenemos que p B(p
m
, 3
m
) si q B(p
m
, 2
m
); y sim etri-
camente q B(p
m
, 3
m
) si p B(p
m
, 2
m
). Consecuentemente, para todo m F
p,q
tenemos que p, q B(p
m
, 3
m
); en particular, si m F
p,q
, entonces v
m
:= exp
1
p
m
(p)
y w
m
:= exp
1
p
m
(q) est an bien denidos, y tenemos que
g
m
(v
m
) g
m
(w
m
) (K + r/2)d(p, q) (2.6)
De hecho, usando (2.5) y la elecci on de

se tiene que,
g
m
(v
m
) g
m
(w
m
) (K(1 +

) +

)j exp
1
p
m
(p) exp
1
p
m
(q)j
p
m
(K(1 +

) +

)(1 +

)d(p, q)
(K + r/2)d(p, q).
(ii) Si m N \ F
p,q
entonces
m
(p) = 0 =
m
(q) (porque sop(
m
) B(p
m
, 2
m
) y
sop(

) B(p
k
,
k
) = para todo > k).
36
Por lo tanto, para p, q B(a,
a
) (con la notaci on v
m
= exp
1
p
m
(p) y w
m
= exp
1
p
m
(q)) se
sigue que,
g(p) =

mF
p,q
g
m
(v
m
)
m
(p), g(q) =

mF
p,q
g
m
(w
m
)
m
(q),
1 =

mF
p,q

m
(p) =

mF
p,q

m
(q), y
g
m
(v
m
) g
m
(w
m
) (K(1 +

) +

)(1 +

)d(p, q) , si m F
p,q
.
Fijemos p, q B(a,
a
). Puesto que
_
mF
p,q
f (p)
_

m
(p)
m
(q
_
) = 0, tenemos
g(p) g(q) =

mF
p,q
g
m
(v
m
)
m
(p)

mF
p,q
g
m
(w
m
)
m
(q) =

mF
p,q
(g
m
(v
m
) f (p))(
m
(p)
m
(q)) +

mF
p,q
(g
m
(v
m
) g
m
(w
m
))
m
(q)
Por lo tanto, usando (2.4), (2.6), y el hecho de que
m
es C
m
-Lipschitz, obtenemos
que

g(p) g(q)

mF
p,q

g
m
(v
m
) f (p)

m
(p)
m
(q)

mF
p,q

g
m
(v
m
) g
m
(w
m
)

m
(q)

mk

m
2
m+2
(C
m
+ 1)
C
m
d(p, q) +

mk
(K + r/2)d(p, q)
m
(q)

mk
(a)
2
m+1
d(p, q) + (K + r/2)d(p, q) (K + r)d(p, q),
porque
_
mk
(a)
2
m+1
(a) r/2. Esto muestra que g es localmente
_
Lip( f ) + r
_
-Lipschitz
lo cual concluye la demostraci on.
Una consecuencia inmediata de este teorema y que tiene gran inter es en el estudio
de las variedades Riemannianas uniformemente mesetables que hemos denido en el
captulo 1 es la siguiente:
Corolario 2.15. Toda variedad Riemanniana separable es uniformemente mesetable.
Demostraci on. Sean R > 1, 0 < < r, y p M dados, y consideremos la funci on
f : M [0, 1] denida por
f (q) =
_
1
1

dist(q, p), si dist(q, p) ;

0, si dist(q, p) .
37
Es claro que f es
1

-Lipschitz y satisface que f (p) = 1, y f = 0 fuera de B(p, ). Por

el Teorema 2.14, para cualquier > 0 existe una funci on g : M R de clase C

tal
que g(q) f (q) para todo q M y Lip(g)
1

+ . Ahora tomemos una funci on

: R [0, 1] de clase C

tal que
(i) (t) = 0 para t ;
(ii) (t) = 1 para t 1 , y
(iii) Lip()
1+
12
,
y denamos b(q) = (g(q)) para todo q M. Entonces es claro que b(p) = 1, b(q) = 0 si
d(q, p) , y
sup
qM
jdb(q)j
q
= Lip(b) Lip()Lip(g)
1 +
1 2
_
1

+
_

R

si es elegido sucientemente peque no.

Captulo 3

Algebras de funciones diferenciables en

variedades Riemannianas
El objetivo de este captulo es obtener un teorema del tipo Banach-Stone para var-
iedades Riemannianas (innito dimensionales). Esto es, un resultado donde la estructura
Riemanniana de una variedad M pueda ser caracterizada de la estructura topol ogica y
algebr aica de la familia de funciones reales C
1
b
(M).
3.1. El espacio de Estructura del algebra C
1
b
(M)
Sea C
1
b
(M) el algebra de todas las funciones acotadas de clase C
1
sobre M que tienen
derivada acotada, esto es, jf j

= sup
pM
jf (p)j
p
< . No es difcil vericar (ver [4])
que C
1
b
(M) es un espacio de Banach dotado de la norma:
j f j
C
1
b
= supj f j

, jf j

.
Con esta norma, se tiene la desigualdad:
j f gj
C
1
b
2j f j
C
1
b
jgj
C
1
b
.
Por lo tanto, obtenemos que C
1
b
(M) es un algebra de Banach si lo dotamos de la
norma 2j j
C
1
b
.
Adem as, puesto que toda f C
1
b
(M) tiene derivada acotada entonces, del teorema
del valor medio en variedades Riemannianas innito dimensionales (ver [4]), se sigue
que f es una funci on Lipschitz con respecto a la distancia geod esica. Inversamente, si
f C
1
(M) es Lipschitz, entonces f C
1
b
(M) (ver Teorema 2.14 y Proposici on 2.15 en
[4]). Tambi en se sigue que si f C
1
b
(M) entonces jf j

= Lip( f ), donde Lip( f ) denota

como es habitual la constante de Lipschitz de f .
En esta secci on construiremos el espacio de estructura asociado al algebra C
1
b
(M), en
un camino an alogo como en Isbell [25] que est a hecho para algebras de funciones contin-
uas, o en Garrido y Jaramillo [15] que esta hecho para reticulos de funciones continuas.
39
40
Comencemos haciendo notar que C
1
b
(M) es un algebra con unidad que separa puntos y
conjuntos cerrados de M, y esto implica, en particular, que M est a dotada con la topologa
d ebil dada por C
1
b
(M). Por otro lado, C
1
b
(M) es cerrada bajo inversi on acotada, es decir,
si f C
1
b
(M) y f 1, entonces
1
f
C
1
b
(M).
Diremos que : C
1
b
(M) R es un homomorsmo de algebras si satisface:
1. (f + g) = ( f ) + (g),
2. ( f g) = ( f ) (g),
para todo f , g C
1
b
(M) y todo , R. Note que un homomorsmo de algebra es no
nulo si, y solamente si, (1) = 1. Adem as, todo homomorsmo de algebra es positivo,
esto es, ( f ) 0 cuando f 0. En efecto, cuando f y
1
f
est an en C
1
b
(M), entonces
( f (
1
f
)) = 1 lo que implica que ( f ) 0 y (
1
f
) =
1
( f )
. As, si suponemos que no
es positivo, entonces existe f 0 con ( f ) < 0. La funci on g = f ( f ) ( f ) > 0,
satisface g C
1
b
(M),
1
g
C
1
b
(M) y (g) = 0, lo que es una contradicci on.
Denimos el espacio de estructura H(C
1
b
(M)) como el conjunto de todos los homo-
morsmos de algebras : C
1
b
(M) R, considerado como un subespacio topol ogico
del producto R
C
1
b
(M)
. F acilmente se puede vericar que H(C
1
b
(M)) es cerrado en R
C
1
b
(M)
.
Adem as, como todas las funciones sobre C
1
b
(M) son acotadas, H(C
1
b
(M)) es en particular
un espacio compacto.
Ahora, consideremos la funci on natural , de la siguiente manera:
: M H(C
1
b
(M))
p (p) =
p
,
donde
p
es el homomorsmo denido por:

p
: C
1
b
(M) R
f
p
( f ) = f (p).
Claramente, es una funci on continua. Y se tiene adem as que el subespacio (M) es
denso en H(C
1
b
(M)). En efecto, dados H(C
1
b
(M)), f
1
, ..., f
n
C
1
b
(M), y > 0, existe
alg un p M tal que
p
( f
i
) ( f
i
) < , para todo i = 1, ..., n. De lo contrario la funci on
g =
_
n
i=1
( f
i
( f
i
))
2
C
1
b
(M) satisface g y (g) = 0, y esto es imposible ya que es
positivo.
Finalmente del hecho de que C
1
b
(M) separa puntos y conjuntos cerrados de M, se
sigue que es una aplicaci on abierta en su imagen, por lo que podemos decir que es
una inmersi on topol ogica, y en consecuencia H(C
1
b
(M)) puede ser considerado como una
compacticaci on de M. Adem as, esta compacticaci on tiene la propiedad de que toda
f C
1
b
(M) admite una extensi on continua a H(C
1
b
(M)), sin m as que denir

f () = ( f ),
para toda H(C
1
b
(M)). Note que esta extensi on

f coincide sobre H(C
1
b
(M)) con la
correspondiente funci on proyecci on
f
: R
C
1
b
(M)
R.
41
La siguiente proposici on nos muestra que para una clase especial de variedades Rie-
mannianas M, aquellas que son completas y uniformemente mesetables, los puntos de M
pueden ser topol ogicamente distinguidos en H(C
1
b
(M)).
Teorema 3.1. Sea M una variedad Riemanniana completa uniformemente mesetable, y
sea H(C
1
b
(M)). Entonces tiene una base de entornos numerable en H(C
1
b
(M)) si, y
s olo si, M.
Demostraci on. Primero supongamos que H(C
1
b
(M)) M tiene una base de entornos
numerable. Ya que M es denso en H(C
1
b
(M)) existe una sucesi on (p
n
) en M convergiendo
a . Puesto que M, la completitud de M implica que (p
n
) no tiene ninguna sub-
sucesi on de Cauchy y por lo tanto existe > 0 y una subsucesi on (p
n
k
) de (p
n
) tal que
dist(p
n
k
, p
n
j
) , k j.
Puesto que M es uniformemente mesetable existe R > 1 tal que, para alg un 0 < <

2
,
podemos construir una sucesi on (b
k
)
k
de funciones mesetas de clase C
1
satisfaciendo para
cada k N, las siguientes condiciones
1. b
k
(p
n
2k
) = 1.
2. b
k
(q) = 0 si dist(q, p
n
2k
) .
3. jb
k
j

.
Ahora, tomando f =
_
n
b
2n
tenemos que f C
1
b
(M), f (p
n
2k
) = 1 y f (p
n
2k+1
) = 0, para
todo k. Por lo tanto la funci on extensi on

f denida en todo H(C
1
b
(M)) toma los valores 1
sobre cl
H(C
1
b
(M))
A y 0 sobre cl
H(C
1
b
(M))
B, siendo A = p
n
2k
: k N, B = p
n
2k+1
: k N y
donde cl
H(C
1
b
(M))
denota la clausura en H(C
1
b
(M)). Pero esto es una contradicci on ya que
cl
H(C
1
b
(M))
A cl
H(C
1
b
(M))
B.
Para el recproco, si M, considere la bola abierta B
n
en M con centro en y radio
1
n
. Entonces, es f acil ver que la familia cl
H(C
1
b
(M))
B
n
es la base de entornos numerable
requerida.
3.2. Un teorema de Banach-Stone para variedades Rie-
mannianas
En esta secci on veremos como la estructura de algebra normada de C
1
b
(M) determina
la estructura de variedad Riemanniana de M. En este camino probaremos un teorema
del tipo Banach-Stone en el contexto de variedades Riemannianas innito dimensionales
que, en particular, generaliza el correspondiente resultado dado por Myers en [34] para
variedades compactas, as como el resultado de Nakai en [36] para variedades Rieman-
nianas nito dimensionales.
Para demostrar este resultado necesitamos el siguiente lema:
42
Lema 3.2. Sea H un espacio de Hilbert y r > 0. Para todo > 0, existe una funcion
: H R tal que:
1. (0) = r
2. sop () B(0, r)
3. jj

r
4. Lip () 1 +
5. C
1
b
(H)
6. jvj r (v) + , cuando v B(0, r).
Demostraci on. Dado > 0, consideremos una funci on : R [0, r] de clase C

tal que:
(i) = 0 sobre un entorno del intervalo (, 0]
(ii) = r sobre un entorno del intervalo [r, +)
(iii) t (t) para todo t [0, r]
(iv)

(t) 1 + , para todo t R.

Entonces, es suciente denir (v) = r (jvj), para v H.
El siguiente resultado nos muestra que si un operador de composici on de C
1
b
(N) a
C
1
b
(M) es una isometra lineal, entonces este es inducido por una isometra m etrica de M
a N.
Teorema 3.3. Sean M y N variedades Riemannianas y h : M N una aplicaci on tal
que el homomorsmo T : C
1
b
(N) C
1
b
(M) dado por T( f ) = f h es continuo. Entonces
h es jTj-Lipschitz para las correspondientes distancias geod esicas.
Demostraci on. Primero, notemos que h es continua puesto que M y N est an dotadas de
la topologa d ebil dada por C
1
b
(M) y C
1
b
(N), respectivamente, (ver Secci on 3.1). Ahora
para ver que h es Lipschitz, sean q
1
, q
2
M y > 0. Consideremos : [0, 1] M
una curva C
1
a trozos en M de q
1
a q
2
, con L() dist(q
1
, q
2
) + . Puesto que h es
continua entonces = h : [0, 1] N es una curva continua en N, de h(p
1
) a h(p
2
).
Entonces, para todo p ([0, 1]), sea 0 < r
p
< 1 tal que exp
p
: B(0
p
, r
p
) B(p, r
p
) es
un difeomorsmo (1 + ) bi-Lipschitz.
A continuaci on, para cada t [0, 1] consideremos un intervalo abierto I
t
(en [0, 1])
conteniendo a t y tal que (I
t
) B( (t), r
(t)
). Usando un argumento de conexidad pode-
mos extraer del cubrimiento abierto I
t

t[0,1]
una cadena simple que conecta al 0 con el
43
1, esto es, una sucesi on nita I
t
1
,..., I
t
m
tal que 0 = t
1
< ... < t
m
= 1, y I
t
j
I
t
k
si,
y solamente si, j k 1. Note que I
t
1
... I
t
m
= [0, 1]. Es f acil ver que, para cada
i = 1, ..., (m 1), podemos elegir un punto s
i
I
t
i
I
t
i+1
, con t
i
< s
i
< t
i+1
.
Ahora aplicamos el Lema 3.2 para cada r
p
y con el mismo

2m
, obteniendo las corres-
pondientes funciones C
1
b
(H). Si denimos la funci on f
p
=
p
exp
1
p
sobre B(p, r
p
)
y f
p
= 0 sobre N \ B(p, r
p
), entonces tenemos que:
1. f
p
C
1
b
(N).
2. f
p
(p) = r
p
.
3. j f
p
j

r
p
1.
4. Lip ( f
p
) (1 + )
2
.
5. dist(p, z) f
p
(p) f
p
(z) +

2m
, siempre y cuando z B(p, r
p
).
Adem as, de la continuidad del operador T, se sigue que,
Lip ( f
p
h) j f
p
hj
C
1
b
(M)
= jT( f
p
)j
C
1
b
(M)
jTj j f
p
j
C
1
b
(N)
jTj (1 + )
2
.
Finalmente, si denotamos p
i
= h((t
i
)) para i = 1, ..., m, obtenemos que
dist(h(q
1
), h(q
2
))
m1

i=1
_
dist(h((t
i
)), h((s
i
))) + dist(h((s
i
)), h((t
i+1
)))
_

m1

i=1
_
f
p
i
(p
i
) f
p
i
(h((s
i
))) + f
p
i+1
(p
i+1
) f
p
i+1
(h((s
i
))) +

m
_

m1

i=1
_
Lip ( f
p
i
h) dist((t
i
), (s
i
))
+Lip ( f
p
i+1
h) dist((t
i+1
), (s
i
)) +

m
_

m1

i=1
jTj(1 + )
2
_
dist((t
i
), (s
i
)) + dist((s
i
), (t
i+1
))
_
+

m1

i=1
jTj(1 + )
2
L(
[t
i
,t
i+1
]
) +
= jTj(1 + )
2
L() +
jTj(1 + )
2
(dist(q
1
, q
2
) + ) + .
Y, por lo tanto h es jTj-Lipschitz.
Con estas herramientas estamos en condiciones de demostrar el resultado central de
esta secci on. Recordemos que dos algebras normadas (A, j j
A
) y (B, j j
B
) se dicen
equivalentes si existe un isomorsmo de algebras T : A B que es una isometra, es
decir, jT(a)j
B
= jaj
A
, para todo a A.
44
Teorema 3.4. Sean M y N variedades Riemannianas completas (posiblemente innito
dimensionales) uniformemente mesetables. Entonces M y N son equivalentes como var-
iedades Riemannianas, si y solamente si, C
1
b
(N) y C
1
b
(M) son equivalentes como algebras
normadas. Adem as, todo isomorsmo isom etrico T : C
1
b
(N) C
1
b
(M) es de la forma
T( f ) = f h donde h : M N es una isometra Riemanniana.
Demostraci on. Primera implicaci on: Supongamos que h es una isometra Riemanni-
ana. Entonces es f acil comprobar que T : C
1
b
(N) C
1
b
(M) denida por T( f ) = f h es
una isometra de algebras normadas, por lo tanto, C
1
b
(N) y C
1
b
(M) son equivalentes como
algebras normadas.
Segunda implicaci on: Supongamos que T : C
1
b
(N) C
1
b
(M) es una isometra entre
algebras normadas. Entonces, considere la funci on h : H(C
1
b
(M)) H(C
1
b
(N)) entre los
espacios de estructura dada por h() = T, para todo H(C
1
b
(M)). Entonces h es una
biyecci on y en efecto h es un homeomorsmo ya que
f
h =
T( f )
, para todo f C
1
b
(M),
donde
f
y
T( f )
denotan las funciones proyecci on sobre los correspondientes espacios
productos.
Ahora, aplicando el Teorema 3.1, obtenemos que un punto H(C
1
b
(M)) tiene una
base numerable en H(C
1
b
(M)) si, y solamente si, M y lo mismo se cumple en la
variedad completa N. Por lo tanto el homeomorsmo h lleva M sobre N.
Adem as, para todo p M y todo f C
1
b
(N) tenemos que
T( f )(p) =
p
(T( f )) = (
p
T)( f ) = h(
p
)( f ) = h( f (p)) = (h f )(p)
y entonces se sigue que T( f ) = h f . Ahora, por el Teorema 3.3 podemos deducir que
h : M N es jTj-Lipschitz con respecto a la distancia geod esica. Puesto que T es
una isometra, entonces jTj = 1, y por lo tanto h es 1-Lipschitz. Ahora haciendo lo
mismo con h
1
, tenemos que h
1
tambi en es 1-Lipschitz, y por lo tanto h es una isometra
m etrica. Finalmente, del Teorema 1.12, h es en efecto una isometra Riemanniana, es
decir, M y N son equivalentes como variedades Riemannianas.

Problemas abiertos
En el an alisis de los problemas estudiados a lo largo de la memoria, surgen de manera
natural una serie de cuestiones que pretendemos abordar en un futuro pr oximo.
1. Una estructura de Finsler nito dimensional determina una geometra que en gener-
al no es innitesimalmente eucldea. Este tipo de estructura ya fue sugerida por el
propio Riemann en su Tesis de Habilitaci on

Uber die Hypotheser welche der geo-

metric zugrund liegen(1854), pero no fue estudiada en detalle hasta m as tarde por
P. Finsler en su Tesis

Uber kurven und Fl achen in allgeneinen R aumen(1918),

de quien toma el nombre. Con m as precisi on, una estructura de Finsler en una var-
iedad consiste en la asignaci on en cada punto de la variedad de lo que se llama
una norma de Minkowski (v ease denici on 4.1), que es una funci on positivamente
homog enea con buenas propiedades de diferenciabilidad y convexidad, pero que
en general no es una norma en el sentido usual. Esta estructura permite denir la
longitud de caminos sobre la variedad de la manera habitual y de este modo intro-
ducir la distancia geod esica sobre la variedad, que en general ser a una distancia
no sim etrica. En este contexto, queremos abordar un resultado general de aproxi-
maci on de funciones Lipschitzianas por funciones diferenciables y Lipschitzianas,
para lo cual combinamos el uso de la convoluci on integral (ahora estamos en el
caso nito-dimensional) junto con una modicaci on del tipo de particiones de la
unidad desarrolladas anteriormente, adaptadas al caso de una distancia no sim etri-
ca.
2. Como aplicaci on, queremos obtener una caracterizaci on funcional de la completi-
tud en variedades Finsler para una clase bastante amplia denominada variedades
casi-sim etricas.
3. En el cap

tulo 3 se estudi o el teorema cl asico de Myers-Nakai para variedades Rie-

mannianas de dimensi on innita. Nosotros a trav es de discuciones intumos que
este teorema no se verica en general para variedades que no sean absolutamente
homog eneas, y por ello pretendemos estudiar este contexto para obtener, si es posi-
ble, una extensi on de este teorema en el marco de las variedades de Finsler absolu-
tamente homog eneas.
45
Bibliografa
[1] Akbar-Zadeh, H., Sur les espaces de Finsler ` a courbures sectionnelles constantes,
Acad. Roy. Belg. Bull. Cl. Sci, 74(5) (1988) 281-322.
[2] Azagra, D., C alculo subdiferencial, convoluci on inmal y regularizaci on de fun-
ciones en espacios de Banach, Tesina de Licenciatura, Universidad Complutense
de Madrid, (1996).
[3] Azagra, D. and Ferrera, J., Inf-convolution and regularization of convex function
on Riemannian manifolds of nonpositive curvature, Rev. Mat. Complut, 19(2)
(2006) 323-345.
[4] Azagra, D., Ferrera, J. and L opez-Mesas, F., Nonsmooth analysis and Hamilton-
Jacobi equations on Riemannian manifolds, J. Funct. Anal. 220 (2005) 304-361.
[5] Azagra, D., Fry, R., G omez, J., Jaramillo, J. and Lovo, M., C
1
-ne approximation
of functions on Banach spaces with unconditional basis , Quart. J. Math. 56(1)
(2005) 13-20.
[6] Azagra, D., Ferrera, J., L opez-Mesas F. and Rangel, Y., Smooth approximation
of Lipschitz function on Riemannian manifolds, J. Math. Anal. Appl. 326 (2007)
1370-1378.
[7] Bao, D., Chern, S. and Shen, Z., An introducction to Riemannian-Finsler Geome-
try, Springer-Verlag, Berlin, 1999, MR 2001.
[8] Burago, D., Burago, Y. and Ivanov, S. A course in metric geometry, AMS Graduate
Studies in Mathematics, volumen 33.
[9] Busemann, H. and Mayer, W., On the foundations of the calculus of variations,
Trans. AMS. 49 (1941) 173-198.
[10] Chern, S. and Shen, Z., Riemann-Finsler Geometry, World Scientic, 2004.
[11] Deng, S. and Hou, Z., The group of isometries of a Finsler space, Pac. J. Math.
207(1) (2002) 149-155.
[12] Eglo, D, Uniform Finsler Hadamar manifolds, Annales de l I.H.P section A,
tome 66. (3) (1997) 323-357.
47
48 Bibliografa
[13] Ekeland, I., The Hopf-Rinow theorem in innite dimension, J. Dierential Geom.
13(2) (1978) 287-301.
[14] Ganey, M., The conservation property of the heat equation on Riemannian man-
ifolds, Comm. Pure. Appl. Math. XII (1959) 1-11.
[15] Garrido, M. and Jaramillo, J., Homomorphisms on Function Lattices, Monatsh.
Math. 141 (2004) 127-146.
[16] Garrido, M. and Jaramillo, J., A Banach-Stone theorem for uniformly continuous
functions, Monatsh. Math. 131 (2001) 189-192.
[17] Garrido, Isabel, Jaramillo, Jes us and Rangel, Yenny, Algebras of dierentiable
functions on Riemannian manifolds, Bull. London Math. Soc. 41 (2009) 993-1001.
[18] Gordon, W., An analytical criterion for the completeness of Riemannian mani-
folds, Proc. Amer. Math. Soc. 37(1) (1973) 221-225.
[19] Gordon, W., Corrections to An analytical criterion for the completeness of Rie-
mannian manifolds, Proc. Amer. Math. Soc. 45(1) (1974) 130-131.
[20] Greene, R. and Wu, H., On the subharmonicity and plurisubharmonicity of
geodesically convex functions, Indiana Uni. Math. J. 22 (1972/1973) 641-653.
[21] Greene, R. and Wu. H., C

convex functions and manifolds of positive curvature,

Acta. Math. J. 137(3-4) (1976) 209-245.
[22] Greene, R. and Wu, H., C

Approximations of convex, subharmonic, and plurisub-

harmonic functions, Ann. Sci.
`
Ecole Norm. Sup. (4)12(1) (1979) 47-84.
[23] Helgason, S., Dierential Geometry, Lie Groups and Symmetric Spaces, 2nd ed.,
Academic Press, New York, 1978.
[24] Hermann, R., Dierential Geometry and the calculus of variations, Math.in Sci.
and Engineering, vol. 49, Academic Press, New York, 1968.
[25] Isbell, J., Algebras of uniformly continuous functions,Annals of mathematics. 69,
n1(1958), 96-125.
[26] Kobayashi, S. and Nomizu, K., Foundations of dierential geometry, Vol. 1, Inter-
science, New York, 1963.
[27] Kobayashi, S., Transformation Groups in Dierential Geometry, Springer-Verlag,
Berlin, 1972.
[28] Lang, S., Dierential and Riemannian Manifolds, Springer-Verlag, New York,
1995.
49
[29] Lasry, J. and Lions, P., A remark on regularization in Hilbert spaces, Israel J. Math.
55(3) (1986) 257-266.
[30] Llavona, J. G., Approximation methods by regular functions, Mediterr. J. Math. 3
(2)(2006) 259-271.
[31] Mazur, S. and Ulam, S., Sur les transformations isom etriques despaces vectoriels
norm es, C. R. Acad. Sci. Paris. 194 (1932) 946-948.
[32] Milnor, J., Morse Theory, Ann. of Math. Studies, Princenton university Press,
Princeton, 1963.
[33] Moulis, N., Approximation de fonctions di erentiables sur certains espaces de
Banach, Ann. Inst. Fourier (Grenoble). 21(4) (1971) 293-345.
[34] Myers, S., Algebras of dierentiable functions, Proc. Amer. Math. Soc. 5 (1954)
917-922.
[35] Myers, S. and Steenrod, N., The group of isometries of a Riemannian manifold,
Ann. of Math. 40 (1939) 400-416.
[36] Nakai, M., Algebras of some dierentiable functions on Riemannian manifolds,
Japan. J. Math. 29 (1959) 60-67.
[37] Palais, R., On the dierentiability of isometries, Proc. Math. AMS. 8 (1957) 805-
807.
[38] Shen, Z., Lectures on Finsler Geometry, World Scientic, 2001.