Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $(X,\tau)$ be a topological space. Suppose $dc(X)=\kappa$ and let $D\subset_{dense} X$ be a dense subset of $X$ of cardinality $\kappa$. Is it true that $X\setminus D$ has density character $\kappa$, as a subspace of $X$ with the restricted topology?

share|improve this question
Can you provide a link on which the notion of density character is defined? (or give the definition) Is it the smallest cardinality of a dense subspace? –  Davide Giraudo Jun 22 '12 at 15:23
The density character of a topological space $(X,\tau)$ is $\min\{|D|: D\subset_{dense} X\}$. –  Pedro Z. Jun 22 '12 at 15:26

1 Answer 1

up vote 2 down vote accepted

Not necessarily. Let $X=\beta\omega$: $X$ is separable, with $\omega$ as dense subset, but $X\setminus\omega$ is not. An even easier example is a Mrówka $\Psi$-space. Let $\mathscr{A}$ be a maximal almost disjoint family of subsets of $\omega$, and let $X=\omega\cup\mathscr{A}$ with the following topology: points of $\omega$ are isolated, and basic open nbhds of a point $A\in\mathscr{A}$ are of the form $\{A\}\cup(A\setminus F)$ for finite subsets $F$ of $A$. $X$ is separable, since $\omega$ is dense in $X$, but $X\setminus\omega=\mathscr{A}$ is an uncountable discrete set.

share|improve this answer
Is this question true in complete metric spaces? –  Pedro Z. Jun 22 '12 at 15:42
@Pedro: It’s true in all metrizable spaces, because in metrizable spaces the hereditary density equals the density. –  Brian M. Scott Jun 22 '12 at 15:50

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.