Métrica de Hausdorff.

Transcription

Métrica de Hausdorff.
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
´
´
ENCUENTRO DE JOVENES
TOPOLOGOS
´
METRICA
DE HAUSDORFF
Laura Victoria Forero Vega
21 de mayo de 2015
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
CONTENIDO
1 Introducci´
on
2 El espacio a trabajar
3 Separaci´
on de Hausdorff
4 Distancia de Hausdorff
5 Ejemplo difuso
6 Ejemplo fractal
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Los espacios m´etricos son considerados fuente de estudio para el
an´alisis matem´atico, con ello se desprenden diferentes tematicas,
entre ellas, la distancia de Hausdorff que corresponde, extiende y
ajusta la noci´on de distancia entre subconjuntos no vac´ıos compactos en el ambiente de los espacios m´etricos.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Felix Hausdorff fue un matem´atico alem´an que est´a considerado como uno de los fundadores de la Topolog´ıa moderna y que ha contribuido significativamente a la teor´ıa de
conjuntos, la teor´ıa descriptiva de conjuntos, la teor´ıa de la
medida, el an´alisis funcional y
la teor´ıa de funciones.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
CONTENIDO
1 Introducci´
on
2 El espacio a trabajar
3 Separaci´
on de Hausdorff
4 Distancia de Hausdorff
5 Ejemplo difuso
6 Ejemplo fractal
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Se considera en el posterior desarrollo, un espacio m´etrico cualquiera
(X, d),
Definici´on 2.1
Si toda sucesi´on de X tiene una subsucesi´on convergente, entonces
(X, d) es compacto. Un subconjunto M de X, se dice compacto si
toda sucesi´on en M tiene una subsucesi´on convergente.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Ejemplo 1
Sea X cualquier conjunto y ddis la m´etrica discreta, entonces todo
subconjunto finito de puntos de X es compacto.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Ejemplo 2
Sea Rn y du la distancia usual, entonces todo subconjunto cerrado
y acotado de Rn es compacto.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Definici´on 2.2
Sea a un punto de X y A un subconjunto no vac´ıo de X, la
distancia d(a, A) del punto a a A es
d(a, A) = ´ınf {d(a, x) : x ∈ A},
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
En los espacios m´etricos, se tienen diferentes tipos de colecciones de
sus elementos de acuerdo a unas condiciones, estos son, entre otros,
los conceptos de vecindad, bola abierta, bola cerrada y adherencia,
que son como aparecen en [1].
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Proposici´on 2.1
Sea x un punto en X y A un subconjunto no vac´ıo de X entonces:
1
d(x, A) ≥ 0
2
d(x, A) = 0 si y solo si x ∈ A
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Definici´on 2.3
Sea A un subconjunto no vac´ıo de X y δ > 0, la δ-vecindad de A
es
Vδ (A) = {x ∈ X : d(x, A) < δ}
La adherencia de Vδ (A) es Vδ (A) = {x ∈ X : d(x, A) ≤ δ}.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
CONTENIDO
1 Introducci´
on
2 El espacio a trabajar
3 Separaci´
on de Hausdorff
4 Distancia de Hausdorff
5 Ejemplo difuso
6 Ejemplo fractal
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Definici´on 3.1
Sean A y B dos subconjuntos acotados y no vac´ıos de X, la
separaci´on de Hausdorff de B a A es
d∗H (B, A) = sup {d(b, A) : b ∈ B}.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Teorema 3.1
Sean A y B dos subconjuntos acotados y no vac´ıos de Rn , la
separaci´on de Hausdorff de B a A es
n
o
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
d∗H (B, A) = ´ınf > 0 : B ⊆ V (A) .
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Proposici´on 3.1
Sean A, B, C ⊆ X no vac´ıos y acotados, entonces
1
d∗H (B, A) ≥ 0
2
d∗H (B, A) = 0 si y solo si B ⊆ A
3
d∗H (B, A) ≤ d∗H (B, C) + d∗H (C, A)
La sepaci´on de Hausdorff no satisface la propiedad simetrica,
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Ejemplo 3
En el espacio m´etrico R2 , sean
A = {(a1 , 2) : −1 ≤ a1 ≤ 1}
y
B = (b1 , b2 ) : b21 + b22 < 1 ,
entonces:
d∗H (B, A) = sup {d((b1 , b2 ), A) : (b1 , b2 ) ∈ B}
= sup {|b2 − 2| : (b1 , b2 ) ∈ B}
= 3,
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
d∗H (A, B) = sup {d(a, B) : a ∈ A}
)
(
√
√
x2 + 1
x2 + 1 ,2 2
) : (x, y) ∈ A
= sup (x, y) − ( 2
x +1
x +1 ≈ 1,236,
con lo cual d∗H (B, A) 6= d∗H (A, B).
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
La separaci´on de Hausdorff se constituye en un instrumento eficaz
en la consecuci´on de una m´etrica, claro est´a con algunas propiedades
adicionales en el contexto.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
CONTENIDO
1 Introducci´
on
2 El espacio a trabajar
3 Separaci´
on de Hausdorff
4 Distancia de Hausdorff
5 Ejemplo difuso
6 Ejemplo fractal
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Definici´on 4.1
Sean A y B dos subconjuntos acotados y no vac´ıos de X, la
distancia de Hausdorff de B a A es
dH (A, B) = m´
ax {d∗H (A, B), d∗H (B, A)}.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Con esta definici´on, la distancia Hausdorff satisface la simetr´ıa, pero
a´
un falta poner condiciones adicionales al ambiente para obtener la
estructura de espacio m´etrico; as´ı, se restringe, aun m´as, la naturaleza de los subconjuntos de X en consideraci´
on. El resultado que
sigue, se aplica a un universo espec´ıfico con alguna incidencia en los
dem´as.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Proposici´on 4.1
(H(X), dH ), la colecci´on de subconjuntos compactos de X con la
distancia de Hausdorff, es un espacio m´etrico.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
De modo que del ejemplo 1 expuesto, resulta ser espacio m´etrico,
es decir,
(H(Rn ), dH ), la colecci´
on de los conjuntos cerrados y acotados de
Rn y
dH (A, B) = m´
ax {supb∈B ´ınf a∈A ka − bk , supa∈A ´ınf b∈B ka − bk}
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
De modo que la distancia de Hausdorff mide cuan lejos est´an uno
de otro dos subconjuntos compactos de X.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Proposici´on 4.2
Sean A, B subconjuntos no vacios de H(X), si dH (A, B) ≤ y
b ∈ B, existe a ∈ A tal que d(a, b) ≤ Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
La prueba del siguiente teorema aparece en [2].
Teorema 4.1
Si (X, d) es un espacio m´etrico completo1 , entonces (H(X), dH )
tambi´e lo es, adem´as si {An }n∈N es una sucesi´
on de Cauchy en
n
K , su l´ımite es
A = {a ∈ X :existe {ani }i∈N , ani ∈ Ani y l´ımi→∞ ani = a}.
1
Sea (X, d) un espacio m´etrico, si toda sucesi´
on de Cauchy en X converge,
se dice que (X, d) es un espacio m´etrico completo.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Teorema 4.2
KC (X), la colecci´on de todos los conjuntos convexos compactos
de X, es un subconjunto cerrado del espacio m´etrico (K n , dH ).
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
CONTENIDO
1 Introducci´
on
2 El espacio a trabajar
3 Separaci´
on de Hausdorff
4 Distancia de Hausdorff
5 Ejemplo difuso
6 Ejemplo fractal
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Un subconjunto difuso u de un espacio X, es una funci´on
u : X → [0, 1],
que indica el nivel de pertenencia de un elemento x en el conjunto u, (ver en [2]); se requiere conocer una colecci´on particular de
subconjuntos difusos de Rn .
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Sea E n la colecci´on de todos los subconjuntos difusos u de Rn que
satisfacen:
1
El soporte 2 y los α-cortes3 de u son conjuntos compactos de
Rn , para todo α ∈ [0, 1],
2
u es convexo difuso, esto es,
u(λx + (1 − λ)y) ≥ m´ın {u(x), u(y)}
para todo λ ∈ [0, 1].
Para un conjunto difuso u de Rn , el soporte de u es [u]0 = α∈(0,1] [u]α .
3
Para un conjunto difuso u de Rn , el α-corte es [u]α = {x ∈ X : u(x) ≥ α}
para α ∈ (0, 1]
2
S
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Proposici´on 5.1
El par (E n , d), de la m´etrica del supremo d en E n definida como
d(u, v) = sup {dH ([u]α , [v]α ) : α ∈ I}
para elementos u, v ∈ E n es un espacio m´etrico.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
CONTENIDO
1 Introducci´
on
2 El espacio a trabajar
3 Separaci´
on de Hausdorff
4 Distancia de Hausdorff
5 Ejemplo difuso
6 Ejemplo fractal
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
Un fractal es un objeto geom´etrico cuya estructura b´asica, fragmentada o irregular, se repite a diferentes escalas. Para estudiar la
geometr´ıa fractal, se debe hablar de im´agenes, dibujos en blanco y
negro, estos son subconjuntos compactos del espacio (R2 , du ) y la
m´etrica de Hausdorff provee su eficaz estudio.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
4
4
Imagen tomada de [2].
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
5
5
Imagen tomada de [2].
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
´
CONCLUSION
La construcci´on de la m´etrica de Hausdorff es una edificaci´on desde
la definici´on de distancia entre un punto y un conjunto acotado
no vac´ıo, con ella se produce un nuevo espacio m´etrico completo
(K n , dH ) con los conjuntos compactos de X, que adem´as KCn , el
conjunto de compactos y convexos X, es un conjunto cerrado para
este espacio m´etrico.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
REFERENCIAS
T. M. Apostol. Mathematical Analysis. Addison-Wesley
Publishing Company. Massachusetts. 1981.
M. Barnsley. Fractals Everywhere. Academic Press. San
Diego. 1988.
C. Castaing y M. Valadier. Convex Analysis and
Measurable Multifunctions. Springer-Verlag. 1932.
E. Kreyszig Introductory Functional Analysis with
Applications. John Wiley & Sons. Canada 1978.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF
Introducci´
on
El espacio a trabajar
Separaci´
on de Hausdorff
Distancia de Hausdorff
Ejemplo difuso
Ejemplo fractal
REFERENCIAS
V. Lakshmikanthan y R.N. Mohapatra. Theory of
Fuzzy Differential Equantions and Inclusions.Taylor y FRancis.
London. 2003.
L. A. Zadeh. Fuzzy Sets. Inf. Control 8. 1965.
Laura Victoria Forero Vega
´
METRICA
DE HAUSDORFF