Durand

Espacios de funciones D
LIP
(X) vs D
(X)
Teorema de Banach-Stone
D-isometras
Espacios de Sobolev en Espacios Metricos de Medida
Espacios de Funciones puntualmente Lipschitz
sobre Espacios Metricos
Estibalitz Durand Cartagena
Jes us

Angel Jaramillo Aguado
UCM
3 de abril de 2008
Estibalitz Durand Cartagena Jes us

Angel Jaramillo Aguado UCM Espacios de Funciones puntualmente Lipschitz
LIP
(X) vs D
(X)
D-isometras
1
2
LIP
(X) vs D
(X)
3
4
D-isometras
5
Espacios M
1,p
Espacios Newtonianos N
1,p
M
1,
vs N
1,

LIP
(X) vs D
(X)
D-isometras

LIP
(X) vs D
(X)
D-isometras
Espacios D
Denici on
Sea (X, d) un espacio metrico y f : X R. Se dene
Lip f (x) = lmsup
yx
y=x
[f (x) f (y)[
d(x, y)
para cada x X.
D(X) = f : X R : | Lip f |
<
D
(X) = D(X) L
(X)
LIP(X) D(X) C(X)

LIP
(X) vs D
(X)
D-isometras
Espacios D
Denici on
Lip f (x) = lmsup
yx
y=x
[f (x) f (y)[
d(x, y)
para cada x X.
D(X) = f : X R : | Lip f |
<
D
(X) = D(X) L
(X)
LIP(X) D(X) C(X)

LIP
(X) vs D
(X)
D-isometras
Espacios D
Denici on
Lip f (x) = lmsup
yx
y=x
[f (x) f (y)[
d(x, y)
para cada x X.
D(X) = f : X R : | Lip f |
<
D
(X) = D(X) L
(X)
LIP(X) D(X) C(X)

LIP
(X) vs D
(X)
D-isometras
Algunas interpretaciones del Lip
Si f C
1
(),
ab
R
n
(o de una variedad Riemanniana) ,
entonces
Lip f (x) = [f (x)[ x .
Si f C
1
H
(),
ab
H, entonces
Lip f (x) = [
H
f (x)[ x ,
donde
H
f denota el gradiente horizontal de f .
Si (X, d, ) admite una estructura diferenciable medible
(X
, x
, entonces si f LIP(X),
Lip f (x) = [d
f (x)[ en ctp,
donde [d
f [ denota la diferencial de Cheeger.


LIP
(X) vs D
(X)
D-isometras
Si f C
1
(),
ab
R
n
entonces
Lip f (x) = [f (x)[ x .
Si f C
1
H
(),
ab
H, entonces
Lip f (x) = [
H
f (x)[ x ,
donde
H
(X
, x
Lip f (x) = [d
f (x)[ en ctp,
donde [d


LIP
(X) vs D
(X)
D-isometras
Si f C
1
(),
ab
R
n
entonces
Lip f (x) = [f (x)[ x .
Si f C
1
H
(),
ab
H, entonces
Lip f (x) = [
H
f (x)[ x ,
donde
H
(X
, x
Lip f (x) = [d
f (x)[ en ctp,
donde [d


LIP
(X) vs D
(X)
D-isometras
LIP
(X) vs D
(X)

LIP
(X) vs D
(X)
D-isometras
Espacios de longitud
Denici on
Sea (X, d) un espacio metrico. Una curva en un espacio metrico es
una funcion continua : [a, b] X donde [a, b] X. Se dene
() = sup
_
n1
i =0
d((t
i
), (t
i +1
))
_
donde el supremo se toma sobre todas las particiones
a = t
0
< t
1
< < t
n
= b. Una curva es recticable si () < .
Se dice que (X, d) es un espacio de longitud si
d(x, y) = inf (),
donde el nmo se toma sobre todas las curvas recticables
: [0, 1] X que unen x con y, donde (0) = x y (1) = y.

LIP
(X) vs D
(X)
D-isometras
Espacios casi-convexos
Denici on
Un espacio metrico (X, d) es casi-convexo si K > 0 constante tal
que x, y X, camino en X que une x con y tal que
() Kd(x, y).

LIP
(X) vs D
(X)
D-isometras
Espacios de casi-longitud
Denici on
Un espacio (X, d) es de casi-longitud si cumple las siguientes
propiedades:
(1) x, y X y > 0, cadena que une x e y, es decir,
sucesion nita de puntos z
1
= x, z
2
, . . . , z
= y tales que
d(z
i
, z
i +1
) < i = 1, 2, . . . , 1.
(2) K > 0 constante (que solo depende de X) tal que
( 1) K(d(x, y) + ).

LIP
(X) vs D
(X)
D-isometras
Denici on
Un espacio (X, d) es de casi-longitud si cumple las siguientes
propiedades:
(1) x, y X y > 0, cadena que une x e y, es decir,
sucesion nita de puntos z
1
= x, z
2
, . . . , z
= y tales que
d(z
i
, z
i +1
) < i = 1, 2, . . . , 1.
(2) K > 0 constante (que solo depende de X) tal que
( 1) K(d(x, y) + ).

LIP
(X) vs D
(X)
D-isometras
Lema (Semmes, 2002)
Sea (X, d) un espacio metrico. Las siguientes condiciones son
equivalentes:
(a) K tal que > 0 y f : X R se cumple que:
[f (x) f (y)[ K(d(x, y) + ) sup
zX
D
f (z), x, y X
D
f (z) =
1
sup[f (y) f (z)[ : y X, d(z, y) .

( Teorema de Valor Medio)
(b) X es un espacio de casi-longitud.

LIP
(X) vs D
(X)
D-isometras
Lema
Sea (X, d) un espacio metrico que satisface la condicion de
casi-longitud. Entonces
LIP(X) = D(X).
Pregunta
En general:
LIP(X)
??
= D(X)

LIP
(X) vs D
(X)
D-isometras
Lema
Sea (X, d) un espacio metrico que satisface la condicion de
casi-longitud. Entonces
LIP(X) = D(X).
Pregunta
En general:
LIP(X)
??
= D(X)

LIP
(X) vs D
(X)
D-isometras
Ejemplo 1
X = [0, ) =
_
nN
[n 1, n] =
_
nN
I
n
.
La distancia entre dos nodos
consecutivos n y n + 1 tiende a 0
cuando n .
(X, d) es Localmente Isom
etrico a (X, d
e
)
Pero d(x, y) d
e
(x, y) x, y X sucientemente alejados.
Sea ahora g : X R la funcion que viene dada por:
g(x) =
2k x si x I
2k
,
x 2k si x I
2k+1
.
X no es un espacio de casi-longitud. Falla en las distancias largas.

LIP
(X) vs D
(X)
D-isometras
Ejemplo 1
X = [0, ) =
_
nN
[n 1, n] =
_
nN
I
n
.
La distancia entre dos nodos
consecutivos n y n + 1 tiende a 0
cuando n .
(X, d) es Localmente Isom
etrico a (X, d
e
)
Pero d(x, y) d
e
(x, y) x, y X sucientemente alejados.
Sea ahora g : X R la funcion que viene dada por:
g(x) =
2k x si x I
2k
,
x 2k si x I
2k+1
.
X no es un espacio de casi-longitud. Falla en las distancias largas.

LIP
(X) vs D
(X)
D-isometras
Ejemplo 2
g(x, y) =
_
y si x 0,
y si x 0.
g D
(X) LIP
(X)
Que ocurre en el origen?
Falla localmente

LIP
(X) vs D
(X)
D-isometras
Ejemplo 2
g(x, y) =
_
y si x 0,
y si x 0.
g D
(X) LIP
(X)
Que ocurre en el origen?
Falla localmente

LIP
(X) vs D
(X)
D-isometras
Denici on (Espacio localmente radialmente casi-convexo)
Sea (X, d) un espacio metrico. Decimos que X es localmente
radialmente casi-convexo si x X, U
x
entorno de x y una
constante K
x
> 0 tal que y U
x
una curva recticable en
U
x
que conecta x con y que cumple que () K
x
d(x, y).
Observacion
Los ejemplos 1 y 2 son espacios localmente radialmente
casi-convexos.

LIP
(X) vs D
(X)
D-isometras
D
como espacio de Banach

Teorema
Sea (X, d) un espacio metrico localmente radialmente
casi-convexo. Consideramos en D
(X) la norma
| |
D
= max| |
, | Lip()|
.
Entonces el par (D
(X), | |
D
) es un espacio de Banach.
Corolario
casi-convexo. Entonces
LIP(X) = D(X) X es de casi-longitud.

LIP
(X) vs D
(X)
D-isometras
D
como espacio de Banach

Teorema
casi-convexo. Consideramos en D
(X) la norma
| |
D
= max| |
, | Lip()|
.
Entonces el par (D
(X), | |
D
Corolario
casi-convexo. Entonces
LIP(X) = D(X) X es de casi-longitud.

LIP
(X) vs D
(X)
D-isometras
D
no es siempre Banach
Lip f
n
(x) =
_
0 si x ,= 0,
1 si x = 0.
f
n
n
es una sucesion de Cauchy en (D
(X), | |
D
)
f
n
n
f =

x Pero f / D
(X), pues Lip(f )(0) = .


LIP
(X) vs D
(X)
D-isometras
D
Lip f
n
(x) =
_
0 si x ,= 0,
1 si x = 0.
f
n
n
(X), | |
D
)
f
n
n
f =

x Pero f / D
(X), pues Lip(f )(0) = .


LIP
(X) vs D
(X)
D-isometras
D
Lip f
n
(x) =
_
0 si x ,= 0,
1 si x = 0.
f
n
n
(X), | |
D
)
f
n
n
f =

x Pero f / D
(X), pues Lip(f )(0) = .


LIP
(X) vs D
(X)
D-isometras
Teorema (Banach 1932 y Stone 1937)
Sean K y L espacios compactos. Entonces, C(K) es isometrico a
C(L), si y solo si, K y L son homeomorfos.

LIP
(X) vs D
(X)
D-isometras
Deniciones
Denici on
Sean (X, d
X
) y (Y, d
Y
) espacios metricos. Dada una funcion
f : X Y denimos
Lip f (x) = lmsup
yx
y=x
d
Y
(f (x), f (y))
d
X
(x, y)
para cada x X.
Consideremos ademas el siguientes espacio de funciones:
D(X, Y) = f : X Y : | Lip f |
< +.
Un Dhomeomorsmo es una aplicacion biyectiva tal que
f D(X, Y) y f
1
D(Y, X).

LIP
(X) vs D
(X)
D-isometras
Deniciones
Denici on
Sean (X, d
X
) y (Y, d
Y
f : X Y denimos
Lip f (x) = lmsup
yx
y=x
d
Y
(f (x), f (y))
d
X
(x, y)
para cada x X.
D(X, Y) = f : X Y : | Lip f |
< +.
f D(X, Y) y f
1
D(Y, X).

LIP
(X) vs D
(X)
D-isometras
Deniciones
Denici on
Sean (X, d
X
) y (Y, d
Y
f : X Y denimos
Lip f (x) = lmsup
yx
y=x
d
Y
(f (x), f (y))
d
X
(x, y)
para cada x X.
D(X, Y) = f : X Y : | Lip f |
< +.
f D(X, Y) y f
1
D(Y, X).

LIP
(X) vs D
(X)
D-isometras
Propiedades algebraicas
D(X) es un RET
ICULO VECTORIAL UNITARIO.

D
(X) es una R
ALGEBRA.
Tenemos Regla de Leibniz para funciones D
:
Si f , g D
(X), entones
| Lip(f g)|
| Lip f |
|g|
+| Lip g|
|f |
.

LIP
(X) vs D
(X)
D-isometras
D(X) es un RET

D
(X) es una R
ALGEBRA.
:
Si f , g D
(X), entones
| Lip(f g)|
| Lip f |
|g|
+| Lip g|
|f |
.

LIP
(X) vs D
(X)
D-isometras
D(X) es un RET

D
(X) es una R
ALGEBRA.
:
Si f , g D
(X), entones
| Lip(f g)|
| Lip f |
|g|
+| Lip g|
|f |
.

LIP
(X) vs D
(X)
D-isometras
Teorema
[Banach-Stone] Sean (X, d
X
) y (Y, d
Y
) espacios metricos
localmente radialmente casi-convexos. Las siguientes armaciones
son equivalentes:
(a) X es D-homeomorfo a Y.
(b) D
(X) es isomorfo a D
(Y) como retculos vectoriales

unitarios.
(c) D
(X) es isomorfo a D
(Y) como algebras unitarias.

Demostracion
Observacion
Los ejemplos 1 y 2 son espacios localmente radialmente
casi-convexos.

LIP
(X) vs D
(X)
D-isometras
Ingredientes de la prueba
(D
(X), | |
D
Lema
Sean (X, d
X
) e (Y, d
Y
) espacios metricos y sea h : X Y.
Supongamos que f h D
(X) para cada f D
(Y). Entonces
h D(X, Y).
Lema
Sea (X, d) un espacio metrico completo y sea / C(X) un
retculo vectorial unitario que separa puntos y cerrados. Entonces
H(/) tiene una base de entornos numerable en H(/) si y solo
si X.
D
(X) es cerrado para la inversa.


LIP
(X) vs D
(X)
D-isometras
(D
(X), | |
D
Lema
Sean (X, d
X
) e (Y, d
Y
(X) para cada f D
(Y). Entonces
h D(X, Y).
Lema
si X.
D


LIP
(X) vs D
(X)
D-isometras
(D
(X), | |
D
Lema
Sean (X, d
X
) e (Y, d
Y
(X) para cada f D
(Y). Entonces
h D(X, Y).
Lema
si X.
D


LIP
(X) vs D
(X)
D-isometras
(D
(X), | |
D
Lema
Sean (X, d
X
) e (Y, d
Y
(X) para cada f D
(Y). Entonces
h D(X, Y).
Lema
si X.
D


LIP
(X) vs D
(X)
D-isometras
D-isometras

LIP
(X) vs D
(X)
D-isometras
D-isometras
Denici on
Sean (X, d
X
) y (Y, d
Y
) espacios metricos. Se dice que X e Y son
Disometricos si existe una biyeccion h : X Y tal que
| Lip h|
= | Lip h
1
|
= 1.
Corolario
Sean (X, d
X
) y (Y, d
Y
) espacios metricos localmente radialmente
casi-convexos. Las siguientes armaciones son equivalentes:
(a) X es D-isometrico a Y.
(b) D
(X) es isomorfo a D

unitarios (o como algebras) a traves de una isometra para las
normas D
.
Localmente Isometrico D-isometrico

LIP
(X) vs D
(X)
D-isometras
D-isometras
Denici on
Sean (X, d
X
) y (Y, d
Y
| Lip h|
= | Lip h
1
|
= 1.
Corolario
Sean (X, d
X
) y (Y, d
Y
(b) D
(X) es isomorfo a D

normas D
.

LIP
(X) vs D
(X)
D-isometras
D-isometras
Denici on
Sean (X, d
X
) y (Y, d
Y
| Lip h|
= | Lip h
1
|
= 1.
Corolario
Sean (X, d
X
) y (Y, d
Y
(b) D
(X) es isomorfo a D

normas D
.

LIP
(X) vs D
(X)
D-isometras
D-isometrico ,= Localmente Isometrico
(X, d
X
) es Disom
etrico a (Y, d
Y
)
Pero
X no es Localmente Isom
etrico a Y.

LIP
(X) vs D
(X)
D-isometras
D-isometrico ,= Localmente Isometrico
(X, d
X
) es Disom
etrico a (Y, d
Y
)
Pero
X no es Localmente Isom
etrico a Y.

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Espacios de Sobolev en Espacios Metricos de
Medida

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Espacios M
1,p
Sea (X, d, ) espacio metrico de medida y (B) > 0, B X.
Denicion (Hajslaz, 1996)
Sea 1 p .
M
1,p
(X, d, ) = f L
p
(X) : 0 g L
p
(X)
[f (x) f (y)[ d(x, y)(g(x) + g(y)) c.t.p.
M
1,p
(X, d, ) es el espacio cociente correspondiente a la
identicacion:
u v : u, v

M
1,p
(X, d, ) u = v c.t.p.
Si p = = M
1,
(X) = LIP
(X)

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Espacios M
1,p
Denici on (Hajslaz, 1996)
Sea 1 p .
M
1,p
(X, d, ) = f L
p
(X) : 0 g L
p
(X)
[f (x) f (y)[ d(x, y)(g(x) + g(y)) c.t.p.
M
1,p
identicacion:
u v : u, v

M
1,p
(X, d, ) u = v c.t.p.
Si p = = M
1,
(X) = LIP
(X)

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Espacios M
1,p
Denici on (Hajslaz, 1996)
Sea 1 p .
M
1,p
(X, d, ) = f L
p
(X) : 0 g L
p
(X)
[f (x) f (y)[ d(x, y)(g(x) + g(y)) c.t.p.
M
1,p
identicacion:
u v : u, v

M
1,p
(X, d, ) u = v c.t.p.
Si p = = M
1,
(X) = LIP
(X)

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Gradientes superiores
Denici on (Puramente metrica)
Una funcion de Borel no negativa g : X [0, ] se dice que es un
gradiente superior de f : X R si para toda curva recticable
: [0, ] X, parametrizada por la longitud de arco t, tenemos
que
[f (()) f ((0))[
_

0
g((t))dt.
Observacion
Si g es un gradiente superior de f y g = g, c.t.p., es otra
funcion Borel no negativa, entonces puede ocurrir que g no sea un
gradiente superior para f .

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Gradientes superiores
Denici on (Puramente metrica)
Una funcion de Borel no negativa g : X [0, ] se dice que es un
gradiente superior de f : X R si para toda curva recticable
: [0, ] X, parametrizada por la longitud de arco t, tenemos
que
[f (()) f ((0))[
_

0
g((t))dt.
Observacion
Si g es un gradiente superior de f y g = g, c.t.p., es otra
funcion Borel no negativa, entonces puede ocurrir que g no sea un
gradiente superior para f .

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
M odulo de una familia de curvas
Denici on
Sea = curvas recticables no constantes de X y
1 p .
Mod
p
() =
_
_
_
inf
_
X

p
d, si p <
inf
||
, si p =
donde el nmo se toma sobre todas las funciones Borel no
negativas que cumplen
_
1 para toda . Si una

propiedad es cierta para toda , con Mod
p
= 0, diremos
que la propiedad se cumple en pc.t. curva.

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Gradiente superior debil
Denici on
Una funcion Borel no negativa g de X es un pgradiente superior
debil de f , si
[f ((0)) f (())[
_
g
en pc.t. curva .

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Espacios Newtonianos
Denici on (Shamungalingam, 2000)
Sea 1 p
N
1,p
(X, d, ) = f L
p
: p gradiente superior debil en L
p
|u|
N
1,p
= |u|
L
p + inf
g
|g|
L
p ,
donde el nmo se toma sobre todos los pgradientes superiores
debiles g de f .
N
1,p
identicacion:
u v : u, v

N
1,p
(X, d, ) |u v|
N
1,p
= 0

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Lema
Si f D(X) entonces Lip(f ) es un gradiente superior de f .
Demostracion.
Sea : [0, ] X una curva recticable parametrizada por la
longitud de arco que conecta x con y (tal es 1Lipschitz). La
funcion f D([0, ]) y por el teorema de Stepanov
Enunciado
es
diferenciable en c.t.p. Deducimos que
[f (x) f (y)[
_

0
(f )
(t)dt

_

0
Lip(f ((t))) dt.
Notese que [(f )
(t)[ = Lip f (((t))) en cada punto de [0, ]

donde (f ) es diferenciable.

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Lema
Si f D(X) entonces Lip(f ) es un gradiente superior de f .
Demostracion.
Sea : [0, ] X una curva recticable parametrizada por la
longitud de arco que conecta x con y (tal es 1Lipschitz). La
funcion f D([0, ]) y por el teorema de Stepanov
Enunciado
es
diferenciable en c.t.p. Deducimos que
[f (x) f (y)[
_

0
(f )
(t)dt

_

0
Lip(f ((t))) dt.
Notese que [(f )
(t)[ = Lip f (((t))) en cada punto de [0, ]

donde (f ) es diferenciable.

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
LIP
(X) = M
1,
(X) D
(X) N
1,
(X).

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Espacios pPoincare doblantes
Denici on
Sea (X, d, ) un espacio metrico de medida. Diremos que es
doblante si todas las bolas tienen medida nita y positiva y C > 0
constante tal que (B(x, 2r )) C(B(x, r )) x X y r > 0.
Denicion
Sea 1 p < . (X, d, ) admite una p-desigualdad de
Poincare debil si C > 0 y 1 tal que u : X R funcion
medible Borel y g : X [0, ] gradiente superior de u, el par
(u, g) satisface la desigualdad
_
B(x,r )
[u u
B(x,r )
[ d Cr
_
_
B(x,r )
g
p
d
_
1/p
B(x, r ) X.

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Espacios pPoincare doblantes
Denici on
Sea (X, d, ) un espacio metrico de medida. Diremos que es
doblante si todas las bolas tienen medida nita y positiva y C > 0
constante tal que (B(x, 2r )) C(B(x, r )) x X y r > 0.
Denici on
Sea 1 p < . (X, d, ) admite una p-desigualdad de
Poincare debil si C > 0 y 1 tal que u : X R funcion
medible Borel y g : X [0, ] gradiente superior de u, el par
(u, g) satisface la desigualdad
_
B(x,r )
[u u
B(x,r )
[ d Cr
_
_
B(x,r )
g
p
d
_
1/p
B(x, r ) X.

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Teorema
Sea (X, d) un espacio metrico localmente compacto con medida
doblante . Supongamos que X admite una p-desigualdad de
Poincare debil para alg un 1 p < y sea L
(X) tal que

0 . Entonces, F X con (F) = 0 y K = K(X, ||
) > 0
una constante tal que x, y X F, curva recticable tal que
_
< + y () Kd(x, y).


LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Corolario 1
Poincare debil para alg un 1 p < . Entonces
N
1,
(X) = LIP
(X).
Corolario 2
Sea (X, d) un espacio metrico y sea una medida de Borel.
Supongamos que L
(X), 0 , K > 0 constante tal que

x X, U
x
entorno de x tal que y U
x
curva recticable
tal que
_
< + y () Kd(x, y). Entonces

N
1,
(X) = D
(X).

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Corolario 1
Poincare debil para alg un 1 p < . Entonces
N
1,
(X) = LIP
(X).
Corolario 2
Sea (X, d) un espacio metrico y sea una medida de Borel.
Supongamos que L
(X), 0 , K > 0 constante tal que

x X, U
x
entorno de x tal que y U
x
curva recticable
tal que
_
< + y () Kd(x, y). Entonces

N
1,
(X) = D
(X).

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
LIP
(X) = M
1,
(X) D
(X) = N
1,
(X)?

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
LIP
(X) = M
1,
(X) D
(X) = N
1,
(X)?

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Referencias
Z. M. Balogh, K. Rogovin, T. Z urcher: The Stepanov Dierentiability
Theorem in Metric Measure Spaces. J. Geom. Anal. 14 No. 3, (2004),
405422.
J. Cheeger: Dierentiability of Lipschitz Functions on metric measure
spaces. Geom. Funct. Anal. 9 (1999), 428517.
M. I. Garrido, J. A. Jaramillo: Homomorphism on Function Lattices.
Monatshefte f ur mathematik. 141(2) (2004), 127146.
P. Hajlasz: Sobolev spaces on metric-measure spaces. Contemp. Math.
Volume 338 (2003), 173218.
E. Jarvenpaa, M. Jarvenpaa, N. Shanmugalingam K. Rogovin, and S.
Rogovin: Measurability of equivalence classes and MEC
p
-property in
metric spaces. Preprint 2008.
S. Semmes: Some Novel Types of Fractal Geometry. Oxford Science
Publications (2001).

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
MUCHAS GRACIAS POR SU ATENCI
ON!!

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Caso NO completo
No podemos extender h de manera continua.

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Demostracion del teorema

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Volver

LIP
(X) vs D
(X)
D-isometras
Espacios M
1,p
1,p
M
1,
vs N
1,
Teorema de Stepanov
Teorema (Stepanov)
Sean
ab
R
n
y f : R. Entonces f es diferenciable en casi
todo punto del conjunto
x : Lip f (x) <
Volver


Durand

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Durand

Uploaded by

Copyright:

Available Formats

Espacios de funciones D

Estibalitz Durand Cartagena Jes us

f [ denota la diferencial de Cheeger.

f [ denota la diferencial de Cheeger.

f [ denota la diferencial de Cheeger.

sup[f (y) f (z)[ : y X, d(z, y) .

como espacio de Banach

como espacio de Banach

(X), pues Lip(f )(0) = .

(X), pues Lip(f )(0) = .

(X), pues Lip(f )(0) = .

ICULO VECTORIAL UNITARIO.

ICULO VECTORIAL UNITARIO.

ICULO VECTORIAL UNITARIO.

(Y) como retculos vectoriales

(Y) como algebras unitarias.

(X) para cada f D

(X) es cerrado para la inversa.

(X) para cada f D

(X) es cerrado para la inversa.

(X) para cada f D

(X) es cerrado para la inversa.

(X) para cada f D

(X) es cerrado para la inversa.

(Y) como retculos vectoriales

(Y) como retculos vectoriales

(Y) como retculos vectoriales

1 para toda . Si una

(t)[ = Lip f (((t))) en cada punto de [0, ]

(t)[ = Lip f (((t))) en cada punto de [0, ]

(X) tal que

< + y () Kd(x, y).

(X), 0 , K > 0 constante tal que

< + y () Kd(x, y). Entonces

(X), 0 , K > 0 constante tal que

< + y () Kd(x, y). Entonces

You might also like