5

I'm trying to solve exercise 6.3#7 from Sidney A. Morris' "Topology without tears": "Prove that each discrete space [...] is a Polish space."

I started by proving that discrete spaces are always completely metrizable with the discrete metric. But then I got stuck. As far as I know, the only dense subset of a discrete space is the whole space.

But does that not mean that only countable discrete spaces are separable (and therefore Polish) spaces?

jerico
  • 347
  • 5
    You're right. Polish spaces are second countable by definition and an uncountable discrete space is not second countable. – t.b. Apr 03 '12 at 00:28
  • Thanks! Just a typo then. Do you want to write it as an answer so that I can give you credit? – jerico Apr 03 '12 at 00:30
  • 3
    Better yet, write your own answer and (after the necessary lapse of time) accept it. – Brian M. Scott Apr 03 '12 at 00:31

1 Answers1

3

See t.b.'s comment above confirming my assumption.

jerico
  • 347