MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X$ be a countably infinite (or larger) set with the cofinite topology. for every $x\in X$ is there exists a family $\xi\subset\tau$ such that $\lbrace x\rbrace=\bigcap\xi $ ? If the answer is yes, then what is the cardinality of $\xi$ ?

share|cite|improve this question
Due to the way MO parses the MathJax, \{ is ignored. You can use \\{ or \lbrace\rbrace instead. – Asaf Karagila Apr 23 '13 at 17:36
up vote 1 down vote accepted

You should mean $\{x\}=\bigcap\xi$, and the answer is clearly yes, since we can take $\xi$ equal to the set of all open sets containing $x$. Any point $y$ other than $x$ is excluded in this intersection by the open set $X-\{y\}$. The cardinality of this $\xi$ is the same as the number of finite subsets of $X$, which is equinumerous with $X$. And the same will be true of any $\xi$ having your property, since the points other than $x$ must get excluded by elements of $\xi$, but only finitely many at a time, and so the cardinality of $\xi$ must be the same as $X$.

(This argument uses the axiom of choice, in order to know that the collection of finite subsets of an infinite set is equinumerous with that set. In $\neg$AC worlds, the situation is more complicated.)

share|cite|improve this answer
Since you only need to intersect co-singletons, your $\xi$ can have cardinality at most that of $X$ even without AC. If you you want $\xi$ to have exactly the cardinality of $X$, even if $X$ is Dedekind-finite, then just throw one more set into $\xi$. An interesting question might be, in the Dedekind-finite case, how much smaller than $X$ you can make $\xi$. – Andreas Blass Apr 23 '13 at 17:34
Andreas, that is an interesting question. My intuition points to "there is no minimal cardinality". – Asaf Karagila Apr 23 '13 at 17:38
Yes, I agree with all that. – Joel David Hamkins Apr 23 '13 at 17:42
In particular, since for Dedekind finite sets one can find $\xi$ of cardinality strictly smaller than $X$, we do know that some AC is involved in the claim that all such $\xi$ have the same size as $X$. – Joel David Hamkins Apr 23 '13 at 19:24

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.