Definition:Separable Space/Linguistic Note

From ProofWiki
Jump to navigation Jump to search

Linguistic Note on Separable Space

The thinking behind applying the word separable to the concept of a separable space arises from the idea of denseness in the context of the real number line.

For example, a subset $S \subseteq \R$ is dense if and only if any two distinct real numbers $a, b \in \R$ such that $a < b$ can be separated by an element of $S$ in the sense that there exists $s \in S$ such that $a < s < b$.

The term seems to have been coined by Maurice René Fréchet in $1906$.


Modern approaches sometimes call into question the usefulness of the term separable in this context, as it is not immediately intuitively obvious.

However, the name has stuck, and we now have to live with it.


Sources