Separable space

Separable space

In mathematics a topological space is called separable if it contains a countable dense subset; that is, there exists a sequence { x_n }_{n=1}^{infty} of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence.

Like the other axioms of countability, separability is a "limitation on size", not necessarily in terms of cardinality (though, in the presence of the Hausdorff axiom, this does turn out to be the case; see below) but in a more subtle topological sense. In particular, every continuous function on a separable space is determined by its values on the countable dense subset.

In general, separability is a technical hypothesis on a space which is quite useful and -- among the classes of spaces studied in geometry and classical analysis -- generally considered to be quite mild. It is important to compare separability with the related notion of second countability, which is in general stronger but equivalent on the class of metrizable spaces.

Here is a sample result showing the way separability naturally arises:

For a compact Hausdorff space "X", the following are equivalent:

(i) "X" is second countable.

(ii) The space mathcal{C}(X,mathbb{R}) of continuous real-valued functions on"X" is separable.

(iii) "X" is metrizable.

First examples

Evidently any topological space which is itself finite or countably infinite is separable. An important example of an uncountable separable space is the real line, in which the rational numbers form a countable dense subset. Similarly the set of all vectors (r_1,ldots,r_n) in mathbb{R}^n in which r_i is rational for all "i" is a countable dense subset of mathbb{R}^n, so for every n the n-dimensional Euclidean space is separable. This can also be deduced from the facts that any compact metrizable space is separable and that any topological space which is the union of a countable number of separable subspaces is separable.

A simple example of a space which is not separable is a discrete space of uncountable cardinality.

Further examples are given below.

eparability versus second countability

Any second-countable space is separable: if {U_n} is a countable basis, choosing any x_n in U_n gives a countable dense subset. Conversely, a metrizable space is separable if and only if it is second countable if and only if it is Lindelöf.

To further compare these two properties:
* An arbitrary subspace of a second countable space is second countable; subspaces of separable spaces need not be separable (see below).
* Any continuous image of a separable space is separable harv|Willard|1970|loc=Th. 16.4a.; even a quotient of a second countable space need not be second countable.
* A countable product of separable (respectively, second countable) spaces is separable (respectively, second countable). An uncountable product of second countable spaces need not even be separable. However, there is more to say about certain uncountable products of Hausdorff separable spaces (see below).

Cardinality

The property of separability does not in and of itself give any limitations on the cardinality of a topological space: any set endowed with the trivial topology is separable, as well as second countable, quasi-compact, and connected. The "trouble" with the trivial topology is its poor separation properties: its Kolmogorov quotient is the one-point space.

A first countable, separable Hausdorff space (in particular, a separable metric space) has at most the continuum cardinality. In such a space, closure is determined by limits of sequences and any sequence has at most one limit, so we get a surjective map from the set of convergent sequences with values in the countable dense subset to the points of X.

A separable Hausdorff space has cardinality at most 2^c, where "c" is the cardinality of the continuum. For this we use the characterization of closure in terms of limits of filter bases: if "Y" is a subset of "X" and "z" is a point of "X", then "z" is in the closure of "Y" if and only if there exists a filter base "B" consisting of subsets of "Y" which converges to "z". The cardinality of the set S(Y) of such filter bases is at most 2^{2^{|Y|. Moreover, in a Hausdorff space, there is at most one limit to every filter base. Therefore, there is a surjection S(Y) ightarrow X when ar Y=X.

The same arguments establish a more general result: suppose that a Hausdorff topological space "X" contains a dense subset of cardinality kappa.Then "X" has cardinality at most 2^{2^{kappa and cardinality at most 2^{kappa} if it is first countable.

The product of at most continuum many separable Hausdorff spaces is a separable space harv | Willard | 1970 | loc=Th 16.4c | p=109 . In particular the space mathbb{R}^{mathbb{R of all functions from the real line to itself, endowed with the product topology, is a separable Hausdorff space of cardinality 2^c.

Constructive mathematics

Separability is especially important in numerical analysis and constructive mathematics, since many theorems that can be proved for nonseparable spaces have constructive proofs only for separable spaces. Such constructive proofs can be turned into algorithms for use in numerical analysis, and they are the only sorts of proofs acceptable in constructive analysis. A famous example of a theorem of this sort is the Hahn-Banach theorem.

Further examples

* It follows easily from the Weierstrass approximation theorem that the set mathbb{Q} [t] of polynomials with rational coefficients is a countable dense subset of the space of continuous functions on the unit interval [0,1] with the metric of uniform convergence. The Banach-Mazur theorem asserts that any separable Banach space is isometrically isomorphic to a closed linear subspace of this space.
* A Hilbert space is separable if and only if it has a countable orthonormal basis.
* An example of a separable space that is not second-countable is Rllt, the set of real numbers equipped with the lower limit topology.
* The first uncountable ordinal ω1 in its order topology is not separable.

Properties

* A subspace of a separable space need not be separable (see the Sorgenfrey plane and the Moore plane), but every "open" subspace of a separable space is separable, harv|Willard|1970|loc=Th 16.4b. Also every subspace of a separable metric space is separable.
* In fact, every topological space is a subspace of a separable space of the same cardinality. A construction adding at most countably many points is given in harv|Sierpinski|1952|p=49.
* Every separable metric space can be imbedded in the Hilbert cube. This is proved in the proof of the Urysohn metrization theorem.
* The set of all real-valued continuous functions on a separable space has a cardinality less than or equal to "c". This follows since such functions are determined by their values on dense subsets.

References

*Citation | last1=Kelley | first1=John L. | author1-link=John L. Kelley | title=General Topology | publisher=Springer-Verlag | location=Berlin, New York | isbn=978-0-387-90125-1 | id=MR | id=0370454 | year=1975
*Citation | last1=Sierpinski | first1=Waclaw | author1-link=Waclaw Sierpinski | title=General topology | publisher=University of Toronto Press | location=Toronto, Ont. | series=Mathematical Expositions, No. 7 | id=MathSciNet | id = 0050870 | year=1952
*Citation | last1=Steen | first1=Lynn Arthur | author1-link=Lynn Arthur Steen | last2=Seebach | first2=J. Arthur Jr. | author2-link=J. Arthur Seebach, Jr. | title=Counterexamples in Topology | origyear=1978 | publisher=Springer-Verlag | location=Berlin, New York | edition=Dover reprint of 1978 | isbn=978-0-486-68735-3 | id=MathSciNet|id=507446 | year=1995
*Citation | last1=Willard | first1=Stephen | title=General Topology | publisher=Addison-Wesley | isbn=978-0-201-08707-9 | id=MR|id=0264581 | year=1970


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • separable space — area that can be divided into separate parts (Mathematics) …   English contemporary dictionary

  • space — 1. noun /speɪs/ a) The intervening contents of a volume. If it be only a Single Letter or two that drops, he thruſts the end of his Bodkin between every Letter of that Word, till he comes to a Space: and then perhaps by forcing thoſe Letters… …   Wiktionary

  • Separable states — In quantum mechanics, separable quantum states are states without quantum entanglement. Separable pure states For simplicity, the following assumes all relevant state spaces are finite dimensional. First, consider separability for pure states.… …   Wikipedia

  • Separable sigma algebra — In mathematics, sigma; algebras are usually studied in the context of measure theory. A separable sigma; algebra (or separable sigma; field) is a sigma algebra that can be generated by a countable collection of sets. To learn what is meant by the …   Wikipedia

  • Space (mathematics) — This article is about mathematical structures called spaces. For space as a geometric concept, see Euclidean space. For all other uses, see space (disambiguation). A hierarchy of mathematical spaces: The inner product induces a norm. The norm… …   Wikipedia

  • separable — adjective a) Able to be separated. b) Of a metric space, that it has a countable dense subset. Ant: inseparable See Also: separability …   Wiktionary

  • Hilbert space — For the Hilbert space filling curve, see Hilbert curve. Hilbert spaces can be used to study the harmonics of vibrating strings. The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It… …   Wikipedia

  • Second-countable space — In topology, a second countable space, also called a completely separable space, is a topological space satisfying the second axiom of countability. A space is said to be second countable if its topology has a countable base. More explicitly,… …   Wikipedia

  • Metric space — In mathematics, a metric space is a set where a notion of distance (called a metric) between elements of the set is defined. The metric space which most closely corresponds to our intuitive understanding of space is the 3 dimensional Euclidean… …   Wikipedia

  • Sobolev space — In mathematics, a Sobolev space is a vector space of functions equipped with a norm that is a combination of Lp norms of the function itself as well as its derivatives up to a given order. The derivatives are understood in a suitable weak sense… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”