ESPACIOS MÉTRICOS EN CONJUNTOS FINITOS

Documentos relacionados
Espacios completos. 8.1 Sucesiones de Cauchy

sup si A no es acotado.

sup si A no es acotado.

ELEMENTOS DE ANÁLISIS FUNCIONAL

Subconjuntos notables de un Espacio Topológico

Parte 2: Definición y ejemplos de topologías.

1. Definiciones y propiedades básicas.

diám A = x,y A d(x,y) si A es acotado si A no es acotado. {d(x,y) : x,y A}

Práctica 5 -Completitud, Continuidad uniforme y Compacidad- A. Completitud

Taller de Cálculo Avanzado - Segundo Cuatrimestre de Práctica 3

Nociones de Topología

Práctica 3: Espacios Métricos. Métricas en R n

Práctica 3: Espácios Métricos. A. R n como Espácio Métrico

Guía Semana 1 1. RESUMEN. Universidad de Chile. Ingeniería Matemática

1. La topología inducida.

INTRODUCCIÓN A LOS Z-CONJUNTOS

Continuidad. 5.1 Continuidad en un punto

Espacios compactos. 7.1 Espacios compactos

Espacios métricos completos

Algunos resultados de Topología I. Rafael López Departamento de Geometría y Topología Universidad de Granada

Tema IX: TOPOLOGÍA. Tema IX: TOPOLOGÍA

OBJETIVOS Y/O ALCANCES DE LA ASIGNATURA

RESUMEN ELEMENTOS DE GEOMETRÍA DIFERENCIAL Y TOPOLOGÍA CURSO

Comisión de Pedagogía - Diego Chamorro Análisis Funcional (Nivel 2).

Espacios compactos. Capítulo Cubiertas. En este capítulo estudiaremos el concepto de compacidad en un espacio métrico.

TOPOLOGÍA. Resumen Curso 2011/2012

Reconocer y utilizar las propiedades sencillas de la topología métrica.

Problemas de TOPOLOGÍA Hoja 2

Índice. Funciones de varias variables reales I Espacios normados. Revisando con perspectiva. Se puede hacer de forma más general?

Tema 10: Continuidad en varias variables.

Normas Equivalentes. Espacios Normados de Dimensión Finita

INTRODUCCIÓN UNIDAD DIDÁCTICA 1 Espacios Métricos

Acerca del producto de funciones uniformemente continuas en subconjuntos de la recta real

Análisis Real: Primer Curso. Ricardo A. Sáenz

Espacios compactos. 1. Cubiertas

MATEMÁTICAS PARA LA ECONOMÍA II

1. Espacios topológicos compactos.

Nociones topológicas elementales de R n

Elementos Básicos de Análisis Funcional en. Dr. Oldemar Rodríguez Rojas

Relación de ejercicios. Topología en R N

El espacio euclideano

2.3. Aplicaciones del teorema de Baire a espacios de Banach

Espacios conexos. 6.1 Conexos

Espacios topológicos. 3.1 Espacio topológico

MATEMÁTICAS PARA LA ECONOMÍA II

1. Sucesiones. Sucesiones. Compacidad. {( 1) n, n N} = { 1, 1, 1, 1, 1, 1,... } es una sucesión de elementos del conjunto { 1, 1}, y la familia

ENCUENTRO DE JÓVENES TOPÓLOGOS MÉTRICA DE HAUSDORFF

Series numéricas y de potencias. 24 de Noviembre de 2014

Funciones continuas Motivación

Espacios conexos. Capítulo Conexidad

1 Continuidad uniforme

Ejercicios de Análisis Funcional

Tarea N 2. Análisis I. MAT-223

Análisis Real: Primer Curso. Ricardo A. Sáenz

3. Puntos notables en un espacio métrico ( )

Convergencia Sucesiones convergentes

C alculo Noviembre 2010

1 Denición y ejemplos

Ejercicios Propuestos

Principio de acotación uniforme

UNIVERSIDAD AUTONOMA DE GUERRERO

TOPOLOGÍA. Curso 2011/2012

Espacios compactos. Se pretenden alcanzar las siguientes competencias específicas:

TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS

Espacios Pseudométricos

Nociones topológicas elementales de R n

ECUACIONES EN DERIVADAS PARCIALES Tópicos previos

1 Números reales. Funciones y continuidad.

Espacios Topológicos 1. Punto de Acumulación. Al conjunto de puntos de acumulación de A se le denomina el conjunto derivado de A (A a Notación).

ELEMENTOS DE ANÁLISIS FUNCIONAL

Cálculo Integral Series de potencias. Universidad Nacional de Colombia

1. Límites de sucesiones en R n

ELEMENTOS DE GEOMETRÍA DIFERENCIAL Y TOPOLOGÍA

RELATIVIDAD DE LA DERIVADA

Topología sin símbolos. Rafael López Departamento de Geometría y Topología Universidad de Granada

Construcción de topologías

Convergencia de sucesiones

Teoremas de la función inversa, función implícita y del rango constante

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos.

CÁLCULO DIFERENCIAL. Víctor Manuel Sánchez de los Reyes. Departamento de Análisis Matemático Universidad Complutense de Madrid

Benemérita Universidad Autónoma de Puebla. Funciones continuas en el sentido de Cauchy.

1. Convergencia en medida

Análisis Matemático I

JUSTIFICACIÓN UNIVERSIDAD SIMÓN BOLÍVAR. Física y Matemáticas DEPARTAMENTO Matemáticas Puras y Aplicadas. CÓDIGO MA2321 ASIGNATURA Análisis I DIVISIÓN

Espacios Metricos, Compacidad y Completez

Funciones en R n Conceptos métricos y topológicos Límites y continuidad en R 2. Funciones en R n : nociones topológicas

CÁLCULO DIFERENCIAL Muestras de examen

Sucesiones y convergencia

El Teorema de Baire Rodrigo Vargas

Gustavo Montero. Escuela Técnica Superior de Ingenieros Industriales University of Las Palmas de Gran Canaria

Cálculo Infinitesimal 1. Cuestiones de examen (2010/2011 a 2015/2016)

Gustavo Montero. Escuela Técnica Superior de Ingenieros Industriales University of Las Palmas de Gran Canaria. Curso

Problemas con soluciones

Sucesiones y series de funciones

Compacidad. Ejercicio 2. Probar que todo espacio métrico compacto es separable. ) k N está denida por

Índice general. Introducción 1 Notación 3

Departamento de Matemáticas

Pauta 1 : Sucesiones y Continuidad

CÁLCULO DIFERENCIAL EN VARIAS VARIABLES

Teorema de Existencia y Unicidad Ecuaciones Diferenciales Ordinarias.

Transcripción:

ESPACIOS MÉTRICOS EN CONJUNTOS FINITOS Octavio Montoya Profesor Universidad del Tolima Ibagué, Colombia octaviomontoya1963@yahoo.es Resumen En este documento se presentan algunos conceptos y resultados estudiados en los espacios métricos desde el punto de vista de los conjuntos finitos. 1. Introducción El propósito de este documento es la de estudiar desde el punto de vista de los conjuntos finitos, los conceptos y resultados más importantes en el contexto de los espacios métricos. Conceptos como bolas abiertas y cerradas, puntos de acumulación, puntos frontera, sucesiones de cauchy, espacios métricos completos y otros son analizados en este documento. Queremos ante todo que el lector se familiarice con los conceptos antes mencionados de la forma más didáctica posible a través de los conjuntos finitos. 2. Ejemplos de espacios métricos Definición 1. Sea E conjunto no vacío, una métrica en E es una aplicación tal que d : E E R d1) d(x, y) =0 x = y d2) Para x, y, z E : d(x, y) d(x, z)+d(y, z) (Desigualdad Triagular.)

Memorias XV Encuentro de Geometría y III de Aritmética Al par (E,d) se le llama Espacio Métrico. d(x, y) d(y, x) (1) En esta sección daremos algunos ejemplos elementales de espacios métricos. Ejemplo 1. Sea K número real positivo. Todo conjunto E no vacío con la métrica { 0, si x = y d(x, y) = k, si x y Prueba. Ejercicio para el lector. Observación 1. El anterior ejemplo, nos indica que todo conjunto no vacío es un espacio métrico, dotado con la métrica anterior; es decir los conjuntos {a,e,i,u,o}, {&,#,@,, },{f : f es función}, {M : M es matriz},etc., son espacios métricos. Nota: Cuando k = 1 esta métrica es regularmente llamada métrica discreta. 3. Conceptos importantes en espacios métricos Definición 2. Sea (E,d) unepaciométrico x 0 E, r>0; definimos: 258 a) Bola abierta (cerrada) de centro x 0 yradior al conjunto B(x 0,r)={x E : d(x, x 0 ) <r}(b(x 0,r)={x E : d(x, x 0 ) r}) b) Dada A E, x E, x se dice punto interior de A si existe r>0talque: B(x 0,r) A El conjunto de los puntos interiores de A los notaremos por A o c) A E se dice abierto en E si A o = A d) x A E se llama punto de acumulación ó punto límite de A si para cada r>0 B(x, r) {x} A El conjunto de los puntos de acumulación los notaremos como Á

ESPACIOS MÉTRICOS EN CONJUNTOS FINITOS e) A E se llama cerrado si Á A. f) Sea A E. La adherencia de A la notaremos como A y la definimos como: A = A Á g) Se dice que el conjunto A E es acotado, si existe una bola abierta(cerrada) B(x, r)(b(x, r)), tal que A B(x, r)(a B(x, r)) h) La frontera de A E la notaremos por (A) y la definimos como (A) =A A c 4. Ejemplos con conjuntos finitos Ejemplo 2. Sea E = {a, b, c, d, e},yd métrica discreta. Es evidente que (E,d)un epacio métrico. Sea A = {a, b, c}, mostremos diferentes tipos de bolas en (E,d) a) La bola abierta de centro a yradio 1 2 es: B(a, 1 2 )={x E d(x, a) < 1 2 } = {a} Además podemos calcular las siguientes bolas: B(a, 1 2 )={x E : d(x, a) 1 2 } = {a} B(b, 2) = {x E : d(x, a) < 2} = E B(c, 3) = {x E : d(x, a) < 3} = E Podemos notar las siguientes curiosidades: i) Las bolas B(a, 1 2 )yb(a, 1 ) son abiertas y cerradas respectivamente y 2 a la vez son iguales. ii) Las bolas B(b, 2) y B(c, 3) tienen centros diferentes y radios diferentes, sin embargo las bolas son iguales. 259

Memorias XV Encuentro de Geometría y III de Aritmética iii) Todo el espacio E es la bola B(b, 2) b) Los puntos interiores de A son : Å = {a, b, c} Luego A es un conjunto abierto de E. c) a/ A ;yaqueexister =1talque, B(a, 1) {a} A = Análogamente se puede mostrar que b, c, d, e no son puntos de acumulación de A. Luego A = d) A es cerrado. Esto es evidente ya que A e) La adherencia de A es A = A A = {a, b, c} De b) y d) tenemos que A es abierto y cerrado. Nota. Las curiosidades en este ejemplo, no se pueden generalizar a otros espacios métricos. En general todo espacio métrico puede tener algunas peculiaridades que lo distinguen de otros espacios métricos. f) La frontera de A es (A) = ya que: A = A A = {a, b, c} y A c = A c (A c ) = {d, e} de donde (A)=A A c = Ejemplo 3. Sea E = {1, 2, 3, 4, 5} y d(x, y) = x y métrica en E. Sea A = {1, 2, 3}. a) B(1, 1) = {x E : d(x, 1) < 1} = {1} b) B(2, 5) = {x E : d(x, 2) < 5} = {1, 2, 3, 4, 5} c) Å = A. Esto indica que A es abierto. 260

ESPACIOS MÉTRICOS EN CONJUNTOS FINITOS d) A =. Esto indica que A es cerrado e) B = B. Observación. El conjunto A es abierto en (E,d), pero no es abierto en (R, d) (Los números reales con la métrica valor absoluto) 4.1. Sucesiones en espacios métricos En esta sección definiremos los conceptos de convergencia de sucesiones en espacios métricos, sucesiones de cauchy y espacios métricos completos y continuaremos con la presentación de estos en conjuntos finitos. Definición 3. Sea (E,d) unespaciométrico y x n una sucesión de elementos en E. 1) La sucesión x n se dice que converge a x E, cuando d(x n,x) 0 siempre que n + Esto significa que dado un número cualquiera ε > 0, existe N número natural tal que d(x n,x) ε siempre que n N Se puede verificar que x es único. El punto x se llama límite de la sucesión x n. 2) Una sucesión x n es de cauchy, si d(x n,x m ) 0 cuando m, n + Esto significa que dado un número cualquiera ε > 0, existe un número natural N tal que d(x n,x m ) ε siempre que m, n N Se puede notar fácilmente, que toda sucesión convergente es de cauchy y que toda sucesión de cauchy es acotada. 261

Memorias XV Encuentro de Geometría y III de Aritmética Definición 4. Un espacio métrico (E,d) se dice completo si toda sucesión de cauchy en (E,d) es convergente en (E,d). En caso contrario se dice que (E,d) es incompleto. Algunos ejemplos de espacios métricos completos finitos son: Ejemplo 4. ({*}, d), donde d(, ) = 0, es completo. En efecto, la única sucesión de cauchy en este conjunto es x n =. Esta sucesión evidentemente es convergente. Ejemplo 5. ({*, #, $}, d), donde d, es la métrica discreta, es completo. Ejemplo 6. ({1, 2, 3, 4, 5}, d), donde d(x, y) = x y,es la métrica,es completo. Observación. a) En los ejemplos anteriores todas las sucesiones de cauchy posibles son convergentes, ya que necesariamente a partir de un termino n-ésimo es constante, lo cual evidencia la convergencia de la sucesión. b) Todo conjunto no vacío dotado con la métrica discreta es completo. c) Todo subespacio finito de un espacio métrico, es completo. d) Sea {x n } (E,d) yx n x. Elconjunto{x, x 1,x 2,x 3,x 4,..., x n,...} es completo. 4.2. Continuidad En el lenguaje coloquial la palabra continuo es sinónimodenointerrupción ó no cambios abruptos. En matemáticas esta idea puede distorsionarse un poco, sobre todo en contextos tan amplios como la topología. En esta sección presentaremos algunos ejemplos de continuidad utilizando conjuntos finitos. Definición 5. Sea (E 1,d 1 ), (E 2,d 2 )espaciosmétricos (diferentes ó iguales), A E 1, A, a A y f : A E 2. 262

ESPACIOS MÉTRICOS EN CONJUNTOS FINITOS f es continua en a si para cada entorno T en E 1 de f(a) le corresponde un entorno S en E 1 de a tal que f(s A) T ; es decir, si para cada x S A implica que f(x) T. Ejemplo 7. Sea E 1 = {1, 2, 3, 4, 5, 6, 7}, con métrica d(x, y) = x y y E 2 = {, &, @, ℵ,, ç}, con métrica discreta, A = {1, 2, 3, 4} y f : A E 2, definida como: f(1) =, f(2) = &, f(3) = @, f(4) = ℵ. Esta función así definida es continua en todo A. En efecto, para cada entorno T de f(1) existe el entorno S =(1)talqueF (S A) =f({1}) ={f(1)} T Lo anterior indica que f es continua en 1. El razonamiento es análogo para 2, 3, 4. Por tanto f es continua en todo A. Ejemplo 8. Sea (R, d), d métrica usual, A = {1, 2, 3, 4, 5, 6}. La función f : A R definida como f(x) =0, x A es continua en todo A. La verificación es análoga al ejemplo anterior. Definición 6. Sea A (E,d), a A se llama punto aislado de A si existe un entorno S de a tal que S {a} A =. En el ejemplo anterior se puede notar que todos los puntos de A son aislados lo cual se constituye en una ventaja para la continuidad, como se puede observar en el siguiente teorema. Teorema 1. Sean (E 1,d 1 ), (E 2,d 2 )espaciosmétricos (diferentes ó iguales), A E 1, A, a A y f : A E 2. Si a es punto aislado de A entonces f es continua en a. Demostración. Si a es punto aislado de A entonces existe un entorno S de a tal que S {a} A =, lo cual indica que S A = {a}. Sea T un entorno cualquiera de f(a); y le hacemos corresponder el entorno S de a anterior. Tenemos que : f(s A) ={f(a)} T. 263

Memorias XV Encuentro de Geometría y III de Aritmética Por tanto f es continua en a. Bibliografía [1] Apostol, Tom. Mathematical Analysis. Addinson-Wesley. P. C., 1957. [2] Muñoz M. J. Introducción a la Topología, Departamento de Matemáticas y Estadística, Universidad Nacional de Colombia., 1983. [3] Rudin, W. Principles of Mathematical Análisis. Mc. Graw-Hill, 1964. [4] Rubiano N. Gustavo., Topología General, Departamento de Matemáticas y Estadística, Universidad Nacional de Colombia., 1997. 264