Punto límite - Limit point

En matemáticas, un punto límite (o punto de clúster o punto de acumulación ) de un conjunto en un espacio topológico es un punto que puede ser "aproximada" por puntos de en el sentido de que cada barrio de con respecto a la topología en también contiene un punto de otro que no sea él mismo. Un punto límite de un conjunto no tiene por qué ser en sí mismo un elemento de. También existe un concepto estrechamente relacionado para las secuencias . Un punto de conglomerado o punto de acumulación de una secuencia en un espacio topológico es un punto tal que, para cada vecindario de hay infinitos números naturales tales que Esta definición de un conglomerado o punto de acumulación de una secuencia se generaliza a redes y filtros . A diferencia de los conjuntos, para una secuencia, red o filtro, el término "punto límite" no es sinónimo de "punto de agrupación / acumulación"; por definición, la noción de nombre similar de un punto límite de un filtro (respectivamente, un punto límite de una secuencia , un punto límite de una red ) se refiere a un punto al que converge el filtro (respectivamente, la secuencia converge , la red) converge a ). ${\ Displaystyle S}$ ${\ Displaystyle X}$${\ Displaystyle x}$${\ Displaystyle S}$${\ Displaystyle x}$${\ Displaystyle X}$${\ Displaystyle S}$${\ Displaystyle x}$${\ Displaystyle S}$${\ Displaystyle S.}$ ${\ Displaystyle (x_ {n}) _ {n \ in \ mathbb {N}}}$ ${\ Displaystyle X}$${\ Displaystyle x}$${\ Displaystyle V}$${\ Displaystyle x,}$${\ Displaystyle n}$${\ Displaystyle x_ {n} \ in V.}$

Los puntos límite de un conjunto no deben confundirse con los puntos adherentes para los que cada vecindario de contiene un punto de . A diferencia de los puntos límite, este punto de puede ser él mismo. Un punto límite se puede caracterizar como un punto adherente que no es un punto aislado . ${\ Displaystyle x}$${\ Displaystyle S}$${\ Displaystyle S}$${\ Displaystyle x}$

Los puntos límite de un conjunto tampoco deben confundirse con los puntos límite . Por ejemplo, es un punto límite (pero no un punto límite) del conjunto en con topología estándar . Sin embargo, es un punto límite (aunque no un punto límite) del intervalo en con topología estándar (para un ejemplo menos trivial de un punto límite, consulte la primera subtítulo). ${\ displaystyle 0}$${\ Displaystyle \ {0 \}}$${\ Displaystyle \ mathbb {R}}$${\ Displaystyle 0.5}$${\ Displaystyle [0,1]}$${\ Displaystyle \ mathbb {R}}$

Este concepto generaliza provechosamente la noción de límite y es la base de conceptos como conjunto cerrado y cierre topológico . De hecho, un conjunto se cierra si y solo si contiene todos sus puntos límite, y la operación de cierre topológico puede considerarse como una operación que enriquece un conjunto al unirlo con sus puntos límite.

Con respecto a la topología euclidiana habitual , la secuencia de números racionales no tiene límite (es decir, no converge), pero tiene dos puntos de acumulación (que aquí se consideran puntos límite ), a saber. -1 y +1. Así, pensando en conjuntos, estos puntos son puntos límite del conjunto.${\ Displaystyle x_ {n} = (- 1) ^ {n} {\ frac {n} {n + 1}}}$${\ Displaystyle S = \ {x_ {n} \}.}$

Definición

Puntos de acumulación de un conjunto

Sea un subconjunto de un espacio topológico Un punto en es un punto límite o un punto de cúmulo o${\ Displaystyle S}$ ${\ Displaystyle X.}$${\ Displaystyle x}$${\ Displaystyle X}$ punto de acumulación del conjunto si cadavecindariodecontiene al menos un punto dediferente desí mismo. ${\ Displaystyle S}$${\ Displaystyle x}$${\ Displaystyle S}$${\ Displaystyle x}$

No importa si restringimos la condición a vecindarios abiertos solamente. A menudo es conveniente usar la forma de "vecindad abierta" de la definición para mostrar que un punto es un punto límite y usar la forma de "vecindad general" de la definición para derivar hechos de un punto límite conocido.

Si es un espacio (como un espacio métrico ), entonces es un punto límite de si y solo si cada vecindario de contiene infinitos puntos de De hecho, los espacios se caracterizan por esta propiedad. ${\ Displaystyle X}$${\ Displaystyle T_ {1}}$${\ Displaystyle x \ in X}$${\ Displaystyle S}$${\ Displaystyle x}$${\ Displaystyle S.}$${\ Displaystyle T_ {1}}$

Si es un espacio de Fréchet-Urysohn (que son todos los espacios métricos y los primeros espacios contables ), entonces es un punto límite de si y solo si hay una secuencia de puntos en cuyo límite es De hecho, los espacios de Fréchet-Urysohn se caracterizan por esta propiedad. ${\ Displaystyle X}$${\ Displaystyle x \ in X}$${\ Displaystyle S}$${\ Displaystyle S \ setminus \ {x \}}$${\ Displaystyle x.}$

El conjunto de puntos límite de se denomina conjunto derivado de${\ Displaystyle S}$${\ Displaystyle S.}$

Tipos de puntos de acumulación

Si cada vecindario de contiene un número infinito de puntos de, entonces hay un tipo específico de punto límite llamado${\ Displaystyle x}$${\ Displaystyle S,}$${\ Displaystyle x}$ω-punto de acumulación de${\ Displaystyle S.}$

Si cada vecindario de contiene incontables puntos de, entonces hay un tipo específico de punto límite llamado punto de condensación de${\ Displaystyle x}$${\ Displaystyle S,}$${\ Displaystyle x}$${\ Displaystyle S.}$

Si cada vecindario de satisface, entonces hay un tipo específico de punto límite llamado${\ Displaystyle U}$${\ Displaystyle x}$${\ Displaystyle \ left | U \ cap S \ right | = \ left | S \ right |,}$${\ Displaystyle x}$punto de acumulación completo de${\ Displaystyle S.}$

Puntos de acumulación de secuencias y redes

Una secuencia que enumera todos los números racionales positivos . Cada número real positivo es un punto de agrupación.

En un espacio topológico, se dice que un punto es un punto de agrupación o${\ Displaystyle X,}$${\ Displaystyle x \ in X}$punto de acumulación de una secuencia si, para cadavecindariodehay infinitos,tales que Es equivalente a decir que para cada vecindariodey cadahay algotal que Ifes unespacio métricoo unprimer espacio contable(o, más generalmente , unespacio de Fréchet-Urysohn), entonceses un punto de agrupación desi y solo sies un límite de alguna subsecuencia de El conjunto de todos los puntos de agrupación de una secuencia a veces se denominaconjunto límite. ${\ Displaystyle x _ {\ bullet} = \ left (x_ {n} \ right) _ {n = 1} ^ {\ infty}}$ ${\ Displaystyle V}$${\ Displaystyle x,}$${\ Displaystyle n \ in \ mathbb {N}}$${\ Displaystyle x_ {n} \ in V.}$${\ Displaystyle V}$${\ Displaystyle x}$${\ Displaystyle n_ {0} \ in \ mathbb {N},}$${\ Displaystyle n \ geq n_ {0}}$${\ Displaystyle x_ {n} \ in V.}$${\ Displaystyle X}$${\ Displaystyle x}$${\ Displaystyle x _ {\ bullet}}$${\ Displaystyle x}$${\ Displaystyle x _ {\ bullet}.}$

Tenga en cuenta que ya existe la noción de límite de una secuencia para significar un punto al que la secuencia converge (es decir, cada vecindario de contiene todos, excepto un número finito de elementos de la secuencia). Es por eso que no usamos el término punto límite de una secuencia como sinónimo de punto de acumulación de la secuencia. ${\ Displaystyle x}$${\ Displaystyle x}$

El concepto de red generaliza la idea de secuencia . Una red es una función donde hay un conjunto dirigido y es un espacio topológico. Se dice que un punto es un punto de agrupación o${\ Displaystyle f: (P, \ leq) \ a X,}$${\ Displaystyle (P, \ leq)}$${\ Displaystyle X}$${\ Displaystyle x \ in X}$punto de acumulación de una red si, para cadavecindariodey cadahay algotal que, de manera equivalente, sitiene unasubredque converge a lospuntos de Cluster en las redes abarcan la idea tanto de puntos de condensación como de puntos de acumulación ω. La agrupación en clústeres y los puntos límite también se definen para losfiltros. ${\ Displaystyle f}$ ${\ Displaystyle V}$${\ Displaystyle x}$${\ Displaystyle p_ {0} \ in P,}$${\ Displaystyle p \ geq p_ {0}}$${\ Displaystyle f (p) \ en V,}$${\ Displaystyle f}$${\ Displaystyle x.}$

Relación entre el punto de acumulación de una secuencia y el punto de acumulación de un conjunto

Cada secuencia en es, por definición, solo un mapa para que su imagen se pueda definir de la manera habitual. ${\ Displaystyle x _ {\ bullet} = \ left (x_ {n} \ right) _ {n = 1} ^ {\ infty}}$${\ Displaystyle X}$${\ Displaystyle x _ {\ bullet}: \ mathbb {N} \ to X}$ ${\ Displaystyle \ operatorname {Im} x _ {\ bullet}: = \ left \ {x_ {n}: n \ in \ mathbb {N} \ right \}}$

• Si existe un elemento que ocurre infinitas veces en la secuencia, es un punto de acumulación de la secuencia. Pero no es necesario que sea un punto de acumulación del conjunto correspondiente Por ejemplo, si la secuencia es la secuencia constante con valor que tenemos y es un punto aislado de y no un punto de acumulación de${\ Displaystyle x \ in X}$${\ Displaystyle x}$${\ Displaystyle x}$${\ Displaystyle \ operatorname {Im} x _ {\ bullet}.}$${\ Displaystyle x,}$${\ Displaystyle \ operatorname {Im} x _ {\ bullet} = \ {x \}}$${\ Displaystyle x}$${\ Displaystyle \ operatorname {Im} x _ {\ bullet}}$${\ Displaystyle \ operatorname {Im} x _ {\ bullet}.}$

• Si ningún elemento aparece infinitamente muchas veces en la secuencia, por ejemplo, si todos los elementos son distintos, cualquier punto de acumulación de la secuencia es un punto de acumulación del conjunto asociado.${\ Displaystyle \ omega}$${\ Displaystyle \ operatorname {Im} x _ {\ bullet}.}$

Por el contrario, dado un conjunto infinito contable en podemos enumerar todos los elementos de de muchas formas, incluso con repeticiones, y así asociar con él muchas secuencias que satisfagan${\ Displaystyle A \ subseteq X}$${\ Displaystyle X,}$${\ Displaystyle A}$${\ Displaystyle x _ {\ bullet}}$${\ displaystyle A = \ operatorname {Im} x _ {\ bullet}.}$

• Cualquier punto de acumulación de es un punto de acumulación de cualquiera de las secuencias correspondientes (porque cualquier vecindad del punto contendrá una cantidad infinita de elementos de y, por lo tanto, también una cantidad infinita de términos en cualquier secuencia asociada).${\ Displaystyle \ omega}$${\ Displaystyle A}$${\ Displaystyle A}$

• Un punto que no es un punto de -acumulación de no puede ser un punto de acumulación de ninguna de las secuencias asociadas sin repeticiones infinitas (porque tiene una vecindad que contiene solo un número finito (posiblemente incluso ninguno) de puntos de y esa vecindad solo puede contener un número finito de términos de tales secuencias).${\ Displaystyle x \ in X}$${\ Displaystyle \ omega}$${\ Displaystyle A}$${\ Displaystyle x}$${\ Displaystyle A}$

Propiedades

Cada límite de una secuencia no constante es un punto de acumulación de la secuencia. Y por definición, cada punto límite es un punto adherente .

El cierre de un conjunto es una unión disjunta de sus puntos límite y puntos aislados : ${\ Displaystyle \ operatorname {cl} (S)}$${\ Displaystyle S}$${\ Displaystyle L (S)}$${\ Displaystyle I (S)}$

${\ Displaystyle \ operatorname {cl} (S) = L (S) \ cup I (S), L (S) \ cap I (S) = \ varnothing.}$

Un punto es un punto límite de si y solo si está en el cierre de${\ Displaystyle x \ in X}$${\ Displaystyle S \ subseteq X}$${\ Displaystyle S \ setminus \ {x \}.}$

Si usamos para denotar el conjunto de puntos límite de entonces tenemos la siguiente caracterización del cierre de : El cierre de es igual a la unión de y Este hecho a veces se toma como la definición de cierre . ${\ Displaystyle L (S)}$${\ Displaystyle S,}$${\ Displaystyle S}$${\ Displaystyle S}$${\ Displaystyle S}$${\ Displaystyle L (S).}$

Un corolario de este resultado nos da una caracterización de conjuntos cerrados: un conjunto es cerrado si y sólo si contiene todos sus puntos límite. ${\ Displaystyle S}$

Ningún punto aislado es un punto límite de ningún conjunto.

Un espacio es discreto si y solo si ningún subconjunto de tiene un punto límite. ${\ Displaystyle X}$${\ Displaystyle X}$

Si un espacio tiene la topología trivial y es un subconjunto de con más de un elemento, entonces todos los elementos de son puntos límite de Si es un singleton, entonces cada punto de es un punto límite de${\ Displaystyle X}$${\ Displaystyle S}$${\ Displaystyle X}$${\ Displaystyle X}$${\ Displaystyle S.}$${\ Displaystyle S}$${\ Displaystyle X \ setminus S}$${\ Displaystyle S.}$

Ver también

• Punto adherente  : punto que pertenece al cierre de algún subconjunto de un espacio topológico.
• Punto de condensación
• Filtro convergente
• Conjunto derivado (matemáticas)
• Filtros en topología  : uso de filtros para describir y caracterizar todas las nociones y resultados topológicos básicos.
• Punto aislado
• Límite de una función  : punto al que convergen las funciones en la topología
• Límite de una secuencia  : valor al que "tienden" los términos de una secuencia.
• Límite subsecuente  : el límite de alguna subsecuencia

Citas

Referencias

• Bourbaki, Nicolas (1989) [1966]. Topología general: Capítulos 1–4 [ Topologie Générale ]. Éléments de mathématique . Berlín Nueva York: Springer Science & Business Media. ISBN 978-3-540-64241-1. OCLC  18588129 .
• Dugundji, James (1966). Topología . Boston: Allyn y Bacon. ISBN 978-0-697-06889-7. OCLC  395340485 .
• Munkres, James R. (2000). Topología (Segunda ed.). Upper Saddle River, Nueva Jersey : Prentice Hall, Inc . ISBN 978-0-13-181629-9. OCLC  42683260 .
• "Punto límite de un conjunto" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]