3
$\begingroup$

Let $(X,\tau)$ be a connected Hausdorff space.

Suppose $S\subseteq X$ is such that for every $U\in\tau$, $$U\cap S\neq\varnothing \implies U\cap \overline S\setminus S\neq\varnothing.$$

Is it true that the topology generated by $\tau\cup \{S\}$ is also connected?

$\endgroup$
  • 2
    $\begingroup$ I think it is false because what if $X=\mathbb R$ in the usual topology and $S=\mathbb Q \cap (-\infty,0]$. $\endgroup$ – aposyndetic Dec 11 '18 at 18:35
  • $\begingroup$ But isn't $(-\infty,0)\cup S$ open, with open complement? $\endgroup$ – aposyndetic Dec 11 '18 at 22:39
  • $\begingroup$ but $S$ contains $0$ $\endgroup$ – aposyndetic Dec 11 '18 at 23:10
  • 1
    $\begingroup$ Yes, that is right, this counterexample seems totally fine. $\endgroup$ – Joel David Hamkins Dec 11 '18 at 23:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.