conjunto conexo

Un conjunto conexo es un subconjunto de un espacio topológico (donde es la colección de conjuntos abiertos del espacio topológico) que no puede ser expresado como unión disjunta de dos conjuntos abiertos no vacíos de la topología. Intuitivamente, un conjunto conexo es el que aparece como una sola pieza, que no se puede 'dividir' o 'partir'. En el caso de que un conjunto no sea conexo, se dice que es disconexo. Formalmente es un conjunto conexo si y sólo si implica Nótese que si y cumple lo anterior, entonces se dice que es un espacio topológico conexo. Bajo estas definiciones, se tiene que es conexo si y solamente si es un espacio topológico conexo para la topología traza. Se va a definir la conexividad en forma negativa: Un conjunto S se llama conexo, si no existe una partición del mismo en dos conjuntos no vacíos y disjuntos S 1 y S 2, ninguno de los cuales contiene puntos de acumulación del otro. Una hoja de papel es un conjunto conexo, al cortarla en dos partes se ve que ningún punto de una parte es punto de acumulación de la otra.