0
$\begingroup$

If $(X,\tau)$ is a topological space, we say $S\subseteq X$ is discrete, if the subspace topology on $S$ inherited from $(X,\tau)$ is discrete.

Is there an infinite connected $T_2$-space $(X,\tau)$ and a discrete subset $S\subseteq X$ such that no proper superset of $S$ is discrete?

EDIT: Added "infinite" in the question.

Improve this question
$\endgroup$
2
  • $\begingroup$ Maybe some modification of the Knaster-Kuratowski fan would work? Gerhard "Do I Feel A Breeze?" Paseman, 2017.01.06. $\endgroup$
    – Gerhard Paseman
    Commented Jan 6, 2017 at 9:45
  • $\begingroup$ Sorry, I forgot (again) to add infinity as a requirement $\endgroup$
    – Dominic van der Zypen
    Commented Jan 6, 2017 at 12:43

1 Answer 1

Reset to default
2
$\begingroup$

No. If $S$ is a maximal discrete subset of a $T_1$-space $X$, then every point of $S$ is isolated in $X$ (in fact, $S$ must be the set of isolated points of $X$ and it must be dense in $X$). Thus if $X$ has at least two points, it is not connected.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .