GetWiki
Separable space
ARTICLE SUBJECTS
being →
database →
ethics →
fiction →
history →
internet →
language →
linux →
logic →
method →
news →
policy →
purpose →
religion →
science →
software →
truth →
unix →
wiki →
ARTICLE TYPES
essay →
feed →
help →
system →
wiki →
ARTICLE ORIGINS
critical →
forked →
imported →
original →
Separable space
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
{{Short description|Topological space with a dense countable subset}}{{distinguish|Separated space|Separation axiom}}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 whose image is a subset of a Hausdorff space is determined by its values on the countable dense subset.Contrast separability with the related notion of second countability, which is in general stronger but equivalent on the class of metrizable spaces.- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
First examples
Any topological space that is itself finite or countably infinite is separable, for the whole space is a countable dense subset of itself. 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 length-n vectors of rational numbers, boldsymbol{r}=(r_1,ldots,r_n) in mathbb{Q}^n, is a countable dense subset of the set of all length-n vectors of real numbers, mathbb{R}^n; so for every n, n-dimensional Euclidean space is separable.A simple example of a space that is not separable is a discrete space of uncountable cardinality.Further examples are given below.Separability versus second countability
Any second-countable space is separable: if {U_n} is a countable base, choosing any x_n in U_n from the non-empty U_n gives a countable dense subset. Conversely, a metrizable space is separable if and only if it is second countable, which is the case 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 product of at most continuum many separable spaces is separable {{harv | Willard | 1970 | loc=Th 16.4c | p=109 }}. A countable product of second-countable spaces is second countable, but an uncountable product of second-countable spaces need not even be first countable.
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 mathfrak{c}. In such a space, closure is determined by limits of sequences and any convergent sequence has at most one limit, so there is 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^mathfrak{c}, where mathfrak{c} is the cardinality of the continuum. For this closure is characterized in terms of limits of filter bases: if Ysubseteq X and zin X, then zinoverline{Y} if and only if there exists a filter base mathcal{B} consisting of subsets of Y that 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) rightarrow X when overline{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 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^mathfrak{c}. More generally, if kappa is any infinite cardinal, then a product of at most 2^kappa spaces with dense subsets of size at most kappa has itself a dense subset of size at most kappa (HewittâMarczewskiâPondiczery theorem).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
Separable spaces
- Every compact metric space (or metrizable space) is separable.
- Any topological space that is the union of a countable number of separable subspaces is separable. Together, these first two examples give a different proof that n-dimensional Euclidean space is separable.
- The space C(K) of all continuous functions from a compact subset Ksubseteqmathbb{R} to the real line mathbb{R} is separable.
- The Lebesgue spaces L^{p}left(X,muright), over a measure space leftlangle X,mathcal{M},murightrangle whose Ï-algebra is countably generated and whose measure is Ï-finite, are separable for any 1leq p, 3.4.5.
- content above as imported from Wikipedia
- "Separable space" does not exist on GetWiki (yet)
- time: 6:17am EDT - Wed, May 22 2024
- "Separable space" does not exist on GetWiki (yet)
- time: 6:17am EDT - Wed, May 22 2024
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 21 MAY 2024
The Illusion of Choice
Culture
Culture
GETWIKI 09 JUL 2019
Eastern Philosophy
History of Philosophy
History of Philosophy
GETWIKI 09 MAY 2016
GetMeta:About
GetWiki
GetWiki
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
Biographies
GETWIKI 20 AUG 2014
GetMeta:News
GetWiki
GetWiki
© 2024 M.R.M. PARROTT | ALL RIGHTS RESERVED