Revision #917 → #1555 · back to history
addedSeparable space3ccf7d75d4c8
addedContinuous functions determined by dense subset7ebffe7019ad
addedFinite or countable spaces are separable47647609dc85
addedReal line is separablee6a4fb628269
addedEuclidean space is separable18c5c8b714d8
addedUncountable discrete space is not separablef76cc11c7c27
addedSecond-countable implies separable708c48e35ec9
addedMetrizable: separable iff second countable iff Lindelöfd5f93a007a4f
addedContinuous image of separable is separable920acbff70de
addedProduct of at most continuum many separable spaces is separablecbe90d700f6b
addedSeparable but not second countable875d7835f479
addedTrivial topology is separable6124d0793d0b
addedFirst-countable separable Hausdorff has continuum cardinality bound56f394568fbe
addedSeparable Hausdorff cardinality boundbf0d741a8d99
addedGeneral Hausdorff dense-subset cardinality bound06fc6df056d6
addedHewitt–Marczewski–Pondiczery theorem399c4c71fc20
addedHahn–Banach theorem (constructive context)56b384e45ab1
addedCompact metric space is separable0bc36ee50b53
addedCountable union of separable subspaces is separable399f6b52967a
addedContinuous functions on compact subset are separable5e2400d7f54b
addedLebesgue spaces are separable9449208b94da
addedC[0,1] is separable3cc9c9be6eea
addedBanach–Mazur theorem858cb08e2537
addedHilbert space separable iff countable orthonormal basisdd0c65c88e0f
addedSeparable infinite-dim Hilbert isometric to ℓ²224954221816
addedSorgenfrey line is separable not second-countable2f62b01dbd05
addedSeparable σ-algebra4d317e017466
addedFirst uncountable ordinal not separable07a8c2dde9ac
addedℓ^∞ bounded sequences not separablefe5b7915936d
addedBounded variation functions not separablebbb87516dd62
addedSubspaces of separable spaces14cafbe01f3e
addedEvery space embeds in separable space of same cardinality24935fe796d3
addedCardinality of C(X) on separable Xd19593ea1151
addedSeparable with uncountable closed discrete subspace not normal4ba1936b58fd
addedEquivalences for compact Hausdorff X7e4081c985a0
addedSeparable metric embeds in Hilbert cube9653e2e0e8c5
addedFréchet embedding into ℓ^∞dcb97c3332d2
addedBanach embedding into C([0,1])d23cd34c8e7c
addedEmbedding into Urysohn universal space9cdfbd39341e
addedNonseparable density-α embeddingb96f56b8c36d