En matemáticas, un subconjunto de un espacio topológico se llama en ninguna parte denso o raro si su cierre tiene un interior vacío. En un sentido muy amplio, es un conjunto cuyos elementos no están muy agrupados en ninguna parte. Por ejemplo, los números enteros no son densos entre los reales, mientras que una bola abierta no lo es.
¿1 N no es denso en ninguna parte?
Un ejemplo de un conjunto que no es cerrado pero aún no es denso en ninguna parte es {1n|
∈N}. Tiene un punto límite que no está en el conjunto (es decir, 0), pero su cierre aún no es denso en ninguna parte porque no caben intervalos abiertos dentro de {1n|n∈N}∪{0}.
¿Cómo se prueba que un conjunto no es denso en ninguna parte?
Un subconjunto A ⊆ X se llama nada denso en X si el interior de la clausura de A está vacío, es decir, (A)◦=∅. Dicho de otro modo, A no es denso en ninguna parte si y solo si está contenido en un conjunto cerrado con interior vacío. Pasando a los complementos, podemos decir de manera equivalente que A no es denso en ninguna parte si y solo si su complemento contiene un conjunto abierto denso (¿por qué?).
¿Qué significa denso en todas partes?
Un subconjunto A de un espacio topológico X es denso para el cual el cierre es todo el espacio X (algunos autores usan la terminología en todas partes denso). Una definición alternativa común es: un conjunto A que interseca a todos los subconjuntos abiertos no vacíos de X.
¿Todo conjunto denso está abierto?
Un espacio topológico X es hiperconectado si y solo si todo conjunto no vacío abierto es denso en X. Un espacio topológico es submáximo si y solo sitodo subconjunto denso está abierto.