Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

This question already has an answer here:

I want to prove the following: Let $X$ be an infinite set and $\tau$ a topology on $X$. If every infinite subset of $X$ is in $\tau$, then $\tau$ is the discrete topology on $X$.

Proof. Let $x\in X$. There exist two infinite subsets $A$ and $B$ of $X$ such that $\{x\}=A\cap B$. So every singleton is open in $X$. It follows that $\tau$ is the discrete topology on $X$.

Edit. Justifying the existence of $A$ and $B$. Assume that $C$ is a countable subset of $X$. Let $A$ be the set of odd-numbered points in $C$ and $B=(C-A)\cup\{x\}$ for some $x$ in $A$ (i.e. $B$ contains the even-numbered points together with $x$). $A\cap B=\{x\}$. This holds for every $x$ in $B$ as well (by symmetry) so such $A$ and $B$ always exist.

share|cite|improve this question

marked as duplicate by Amzoti, Dan Rust, Aang, azimut, Start wearing purple Jul 15 '13 at 13:08

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

what is the question? – Thomas Rot Jul 15 '13 at 12:43
The proof looks fine. I think you may need to justify your statement that such an $A$ and $B$ exist though. – Dan Rust Jul 15 '13 at 12:43
@ThomasRot Is the proof correct? – saadtaame Jul 15 '13 at 12:43
as daniel suggests, the existence of $A$ and $B$ is the only conceivable missing detail. think hilbert's hotel – citedcorpse Jul 15 '13 at 12:44
up vote 1 down vote accepted


Choose an arbitrary $\,x\in X\;$ :

== There exists an infinite countable $\,Y\subset X\setminus\{x\}\,$ , say $\,Y=\{y_1,y_2,\ldots\}\;$

== Define $\,A:=\{y_i\in Y\;;\;i\;\;\text{is an odd natural number}\}\cup\{x\}\\B:=\{y_i\in Y\;;\;i\;\;\text{is an even natural number}\}\cup\{x\}$

== Deduce that any point in $\;X\;$ is open ...

share|cite|improve this answer

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