Is every countable metric space separable?

pivoxa15
Messages
2,250
Reaction score
1

Homework Statement


'In topology and related areas of mathematics a topological space is called separable if it contains a countable dense subset; that is, a set with a countable number of elements whose closure is the entire space.'

http://en.wikipedia.org/wiki/Separable_metric_space

Let (X,d) be a metric space. If X is countable than it immediately satisfies being a separable metric space? Because just choose X itself as the subset. The closure of X must be X. Hence there exists a countable dense subset, namely X itself.

The Attempt at a Solution


Is this correct?

Or they referring to proper subsets only?
 
Physics news on Phys.org
If they meant proper, they'd say it. Admitting only proper subsets is equivalent to excluding countable sets. There's no good reason for doing that. Also, that article gives an example of a countable space being separable.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top