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