Punto de acumulacin

Punto de acumulacin
En topologa, el concepto de punto de acumulacin (tambin denominado de contacto o lmite) de un conjunto en un espacio captura la nocin informal de punto que est arbitrariamente prximo al conjunto sin pertenecer necesariamente a l. Informalmente hablando, un punto de acumulacin de un conjunto S en un espacio topolgico X es un punto x en X que puede ser aproximado por puntos de S distintos a x tanto como se desee. Este concepto generaliza la nocin de lmite y puede ser base de conceptos como conjunto cerrado y cerradura topolgica. Ciertamente, un conjunto es cerrado si y solo si contiene todos sus puntos de acumulacin, y la operacin topolgica de cerradura puede considerarse como el resultado de agregar a un conjunto todos sus puntos de acumulacin.

Definicin
Si S es un subconjunto de un espacio topolgico X, un punto contenga a x contiene otro punto es un punto de acumulacin de S si cualquier conjunto abierto que distinto de x. Es decir, cualquier vecindad de x contiene un punto de S distinto a x.

Ejemplos El intervalo tiene como puntos de acumulacin a todos los puntos del intervalo .

Un conjunto finito de nmeros reales en la topologa estndar no tiene puntos de acumulacin. Sin embargo, cualquier nmero es un punto de acumulacin de un conjunto finito en la topologa indiscreta de los nmeros reales. no tiene puntos de acumulacin cuando se considera como subconjunto de tanto, cada punto en es aislado. en la topologa estndar. Por lo

Propiedades
Caracterizacin de los puntos de acumulacin
x es un punto lmite de S si y solo s est en la cerradura de S \ {x}. 'Demostracin: Partamos del hecho de que un punto est en la cerradura de un conjunto si y solo si toda vecindad del punto tiene interseccin no vaca con el conjunto. Ahora, x es un punto lmite de S ssi toda vecindad de x contiene un punto de S distinto a x ssi toda vecindad de x contiene un punto de S \ {x} sii x est en la cerradura de S \ {x}. Si usamos L(S) para denotar el conjunto de puntos lmite de S, entonces tenemos la siguiente caracterizacin de la cerradura de S: La cerradura de S es igual a la unin de S y L(S). Demostracin: Supongamos que x est en la cerradura de S. Si x est en S, est demostrado. Si x no est en S, entonces toda vecindad de x contiene un punto de S, y este punto no puede ser s. En otras palabras, x es un punto lmite de S y x est en L(S). Conversamente, si x est en S, entonces toda vecindad de x claramente tiene interseccin no vaca con S, as que x est en la cerradura de S. Si x est en L(S), entonces toda vecindad de x contiene un punto de S (distinto de x), as que x est en la cerradura de S. Esto completa la prueba. Un corolario de este resultado nos da una caracterizacin de los conjuntos cerrado: un conjunto S es cerrado si y solo si este contiene a todos sus puntos lmite.

Punto de acumulacin

Caracterizacin de conjuntos cerrados

Teorema: de . es un conjunto cerrado si , donde es el conjunto de todos los puntos de acumulacin

Vlido en espacios mtricos y topolgicos. Y vlido en cualquier espacio.

Otras propiedades
Ningn punto aislado es el punto de lmite de un conjunto que no lo contenga. Un espacio X es discreto si y solo si ningn subconjunto de X tiene puntos lmites. Si un espacio X tiene la topologa trivial y S es un subconjunto de X con ms de un elemento, entonces todos los elementos de X son puntos lmites de S.

Referencias
W. Rudin. Principles of Mathematical Analysis. McGraw-Hill, 1976. ISBN 0-07-054235-X

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Punto de acumulacin Fuente: http://es.wikipedia.org/w/index.php?oldid=64566885 Contribuyentes: Agustobulo, Alberto Leguiza, Almendro, Anne Bauval, Cgb, Digigalos, Echani, Euclides, GermanX, HUB, Ingenioso Hidalgo, Jerowiki, Juan Marquez, Metronomo, Millars, Niqueco, Paintman, Tomatejc, Virtual kur2, 23 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/