Why are separable spaces called "separable"?

  • Thread starter Thread starter pellman
  • Start date Start date
  • Tags Tags
    Separable
Click For Summary
Separable spaces are defined as metric spaces with a countable dense subset, meaning any element can be approximated by a limited number of other elements. This concept is significant as it allows for the representation of complex spaces using countably many terms, making it easier to describe physical systems in fields like physics. The term "separable" reflects the idea that these spaces are "not too large," enabling effective approximations similar to how rational numbers can describe real numbers. The discussion also touches on the relevance of separability in Hilbert spaces, where countably orthonormal bases exist. Overall, separability is a powerful generalization that aids in understanding and working with various mathematical and physical concepts.
pellman
Messages
683
Reaction score
6
What is getting separated from what? I presume there is some historical founding case that involved separating something. Like how the original vector spaces were mental arrows in R^3.
 
Physics news on Phys.org
Definition: A metric space X is called separable if it has a subset D which has a countable number of points and which is dense in X, that is, for which the closure of D in X is equal to X.
 
Thanks, Svein. I know the definition. But what is the significance of the label "separable"? For example, once you see that compactness is a generalization of closed and bounded, you understand why they chose the term "compact". But why "separable"? What is the fundamental metaphor at work here? I feel that if I can understand that, I will understand the concept much better than simply being able to repeat the strict definition.
 
For example: ℚ is dense in ℝ. This is important for some proofs.
 
  • Like
Likes pellman
So the idea is to approximate certain elements by other certain elements. Separable means that any element of the set can be approximated by a limited number of elements.
For example, with ##\mathbb{R}##, we can approximate an arbitrary element (for example ##e##) by their decimal representation. So we can approximate ##e## better and better by
2. ~2.7, ~ 2.71, ~ 2.718, ...
We can do exactly the same with any real number. We can do this in two dimensions too. For example, the couple ##(e,\pi)## can be approximated by
(2,3),~(2.7,3.1),~(2.71, 314),...
So separability actually is a very far-reaching generalization of the decimal representation. So basically, we have a countable number of "basis" elements, and then we succeed in approximating any element by the basis elements.

In the theory of Hilbert spaces, the analogy becomes even better with the existence of countably orthonormal bases. But I can only tell this if you know Hilbert spaces.

In a very general sense, you should see separable spaces and spaces which are "not too large" and where countable many terms suffice in many cases. In the same way that rational numbers can be used to describe real numbers.

It turns out that a very large portion of all spaces encountered "in nature" are separable. This is especially true in physics. This is good because it allows us to describe a physical system by countably many terms (like position, momentum, etc.) instead of dealing with uncountabilities.
 
micromass said:
So the idea is to approximate certain elements by other certain elements. Separable means that any element of the set can be approximated by a limited number of elements...

This is very helpful, micromass. Thank you.
 
micromass said:
So the idea is to approximate certain elements by other certain elements. Separable means that any element of the set can be approximated by a limited number of elements.
For example, with ##\mathbb{R}##, we can approximate an arbitrary element (for example ##e##) by their decimal representation. So we can approximate ##e## better and better by
2. ~2.7, ~ 2.71, ~ 2.718, ...

How do you use that analogy in non-metrizable separable spaces?
We can do exactly the same with any real number. We can do this in two dimensions too. For example, the couple ##(e,\pi)## can be approximated by
(2,3),~(2.7,3.1),~(2.71, 314),...
So separability actually is a very far-reaching generalization of the decimal representation. So basically, we have a countable number of "basis" elements, and then we succeed in approximating any element by the basis elements.

In the theory of Hilbert spaces, the analogy becomes even better with the existence of countably orthonormal bases. But I can only tell this if you know Hilbert spaces.

In a very general sense, you should see separable spaces and spaces which are "not too large" and where countable many terms suffice in many cases. In the same way that rational numbers can be used to describe real numbers.

It turns out that a very large portion of all spaces encountered "in nature" are separable. This is especially true in physics. This is good because it allows us to describe a physical system by countably many terms (like position, momentum, etc.) instead of dealing with uncountabilities.

How do you use the approximation analogy in non-metrizable separable spaces?
 
With nets
 
  • #10
Well sure, but I don't see how the analogy is helpful in non-metrizable cases.
 
  • #11
WWGD said:
Well sure, but I don't see how the analogy is helpful in non-metrizable cases.

To be honest, I don't think many people care about separability in a non-metrizable (or similar) context.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 0 ·
Replies
0
Views
8K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
14
Views
3K
  • · Replies 33 ·
2
Replies
33
Views
5K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 2 ·
Replies
2
Views
5K