Un punto de separación de un espacio topológico es un punto cuya eliminación aumenta el número de componentes conexas del espacio; en otras palabras, al quitar ese punto aislado se desconecta un espacio que antes era conexo.

Principio

Detectar la descomponibilidad global mediante la eliminación de un único punto: un punto de separación demuestra que el espacio no es irreduciblemente conexo en ese lugar.

Demostración

En el intervalo cerrado [0,1], cualquier punto interior x∈(0,1) es un punto de separación porque [0,1]\{x} se divide en dos intervalos abiertos disjuntos. En contraste, ningún punto del círculo S^1 es punto de separación, ya que la eliminación de un solo punto deja el círculo conexo.

Aplicación incorrecta

Llamar punto de separación a un punto frontera de un espacio ya desconectado sin verificar la hipótesis de conexidad, o confundir puntos cuya eliminación desconecta solo si también se quitan otros puntos; la noción exige que la eliminación de ese único punto aumente el número de componentes.

Consecuencia

Localizar puntos de separación permite descomponer el espacio en bloques unidos por puntos de articulación; en teoría de grafos, los puntos de separación (vértices de articulación) guían algoritmos de componentes bicongectadas e influyen en la estructura del grupo fundamental.

Inversión

Un punto no separador es un punto cuya eliminación deja inalterado el número de componentes conexas; tales puntos no sirven como articulaciones elementales del espacio.

Límite

La definición tiene sentido solo respecto a un espacio ambiente que se suponga conexo; en espacios totalmente desconectados, cada punto puede ser un punto de separación o ninguno puede modificar las componentes según la topología. La noción se distingue de las separaciones por múltiples puntos o por conjuntos cerrados de mayor cardinalidad.

Tensión semántica

Existe tensión entre 'punto de separación' en topología general y el 'articulation point' en teoría de grafos o fenómenos de eliminación en variedades; las diferencias sutiles aparecen al comparar conexidad local frente a global y al tratar espacios no Hausdorff o patológicos.

Síntesis

Un punto de separación es un único punto cuya supresión divide un espacio conexo en varias componentes, actuando como una articulación atómica que revela la descomponibilidad y guía análisis topológicos y combinatorios de la conexidad.