Intereting Posts

The derivative of $e^x$ using the definition of derivative as a limit and the definition $e^x = \lim_{n\to\infty}(1+x/n)^n$, without L'Hôpital's rule
Real-world applications of prime numbers?
The simplest way of proving that $|\mathcal{P}(\mathbb{N})| = |\mathbb{R}| = c$
converting a recursive formula into a non-recursive formula.
Elementary proof for $\sqrt{p_{n+1}} \notin \mathbb{Q}(\sqrt{p_1}, \sqrt{p_2}, \ldots, \sqrt{p_n})$ where $p_i$ are different prime numbers.
If matrix A is invertible, is it diagonalizable as well?
Calculating logs and fractional exponents by hand
Intuitively, how should I think of Measurable Functions?
Inverse trigonometric function identity doubt: $\tan^{-1}x+\tan^{-1}y =-\pi+\tan^{-1}\left(\frac{x+y}{1-xy}\right)$, when $x<0$, $y<0$, and $xy>1$
Plotting exponential partial sums in the complex plane
Showing a function is measurable in a product measure space
$p\mid $ then $p\mid $
Is any closed ball non-compact in an infinite dimensional space?
Are these definitions of submanifold equivalent?
What is the value of this repeated square root: $\sqrt{1\sqrt{2\sqrt {3 \sqrt{4\cdots}}}}$

A topological space is called *separable* if contains a countable dense subset. This is a standard terminology, but I find it hard to associate the term to its definition. What is the motivation for using this term? More vaguely, is it meant to capture any suggestive image or analogy that I am missing?

- Choosing an advanced group theory text: concerns
- Convergence in the product topology iff mappings converge
- What is a Resolvent?
- Prove that $x\in P$, then there exists a neighborhood $O$ of $x$ such that $O\subset X$, $P$ is defined in a particular way.
- What are some strong algebraic number theory PhD programs?
- Can open set in $\mathbb{R}^n$ be written as the union of countable disjoint closed sets?
- Is there an example of a sigma algebra that is not a topology?
- Let $(X,d)$ be a compact metric space. Let $f: X \to X$ be such that $d(f(x),f(y)) = d(x,y)$ for all $x,y \in X$. Show that $f $ is onto (surjective).
- Really advanced techniques of integration (definite or indefinite)
- Application of computers in higher mathematics

On Srivatsan’s request I’m making my comment into an answer, even if I have little to add to what I said in the MO-thread.

As Qiaochu put it in a comment there:

My understanding is it comes from the special case of ℝ, where it means that any two real numbers can be separated by, say, a rational number.

In my answer on MO I provided a link to Maurice Fréchet’s paper *Sur quelques points du calcul fonctionnel*, Rend. Circ. Mat. Palermo **22** (1906), 1-74 and quoted several passages from it in order to support that view:

The historical importance of that paper is (among many other things) that it is the place where metric spaces were formally introduced.

Separability is defined as follows:

Amit Kumar Gupta’s translation in a comment on MO:

We will henceforth call a class separable if it can be considered in at least one way as the derived set of a denumerable set of its elements.

And here’s the excerpt from which I quoted on MO with some more context — while not exactly accurate, I think it is best to interpret *classe $(V)$* as *metric space* in the following:

Felix Hausdorff, in his magnum opus *Mengenlehre* (1914, 1927, 1934) wrote (p.129 of the 1934 edition):

My loose translation:

The simplest and most important case is that a countable set is dense in $E$ [a metric space]; $E = R_{\alpha}$ has at most the cardinality of the continuum $\aleph_{0}^{\aleph_0} = \aleph$.

A set in which a countable set is dense is called separable, with a not exactly very suggestive but already established term by M. Fréchet. A finite or separable set is calledat most separable.

- How were the sine, cosine and tangent tables originally calculated?
- Tensor product and Kronecker Product
- Solve $\frac{\cos x}{1+\sin x} + \frac{1+\sin x}{\cos x} = 2$
- Lagrange multiplier question: finding a counterexample.
- Union of subgroups is subgroup
- Problem concerning Sylow subgroups and normalizers
- Intuitive meaning of immersion and submersion
- Can a set containing $0$ be purely imaginary?
- Fermat's Christmas theorem on sums of two squares with Gaussian integers
- An outrageous way to derive a Laurent series: why does this work?
- Find all rings $R$ satisfying $\mathbb Z \subset R \subset \mathbb Z$
- A question concerning the Cantor (ternary) function
- Show $m(A \cap I) \leq (1-\epsilon)m(I)$ for every $I$ implies $m(A) = 0$
- Origin and use of an identity of formal power series: $\det(1 – \psi T) = \exp \left(-\sum_{s=1}^{\infty} \text{Tr}(\psi^{s})T^{s}/s\right)$
- The system of equations