[permalink] [id link]
* Every totally disconnected compact metric space is homeomorphic to a subset of a countable product of discrete spaces.
Some Related Sentences
Every and totally
** Zorn's lemma: Every non-empty partially ordered set in which every chain ( i. e. totally ordered subset ) has an upper bound contains at least one maximal element.
The restricted principle " Every partially ordered set has a maximal totally ordered subset " is also equivalent to AC over ZF.
* Every totally ordered set that is a bounded lattice is also a Heyting algebra, where is equal to when, and 1 otherwise.
Every November the Reebok Stadium hosts Kidz up North which is one of the largest free UK exhibitions totally dedicated to children with disabilities and special needs, their parents, carers and professionals who work with them.
Every subset of a totally bounded space is a totally bounded set ; but even if a space is not totally bounded, some of its subsets still will be.
Every and compact
* Every topological space X is a dense subspace of a compact space having at most one point more than X, by the Alexandroff one-point compactification.
* Every continuous map from a compact space to a Hausdorff space is closed and proper ( i. e., the pre-image of a compact set is compact.
Every entire function can be represented as a power series that converges uniformly on compact sets.
* Every locally compact regular space is completely regular, and therefore every locally compact Hausdorff space is Tychonoff.
Every compact Hausdorff space is also locally compact, and many examples of compact spaces may be found in the article compact space.
* Every compact Hausdorff space of weight at most ( see Aleph number ) is the continuous image of ( this does not need the continuum hypothesis, but is less interesting in its absence ).
Every group has a presentation, and in fact many different presentations ; a presentation is often the most compact way of describing the structure of the group.
Every H * is very special in structure: it is pure-injective ( also called algebraically compact ), which says more or less that solving equations in H * is relatively straightforward.
Every and metric
* Every separable metric space is isometric to a subset of the ( non-separable ) Banach space l < sup >∞</ sup > of all bounded real sequences with the supremum norm ; this is known as the Fréchet embedding.
* Every separable metric space is isometric to a subset of C (), the separable Banach space of continuous functions → R, with the supremum norm.
Every smooth submanifold of R < sup > n </ sup > has an induced Riemannian metric g: the inner product on each tangent space is the restriction of the inner product on R < sup > n </ sup >.
Every building has a canonical length metric inherited from the geometric realisation obtained by identifying the vertices with an orthonormal basis of a Hilbert space.
This is really a special case of a more general fact: Every continuous function from a compact space into a metric space is bounded.
# Every Riemannian metric on a Riemann surface is Kähler, since the condition for ω to be closed is trivial in 2 ( real ) dimensions.
Every hyperkähler manifold M has a 2-sphere of complex structures ( i. e. integrable almost complex structures ) with respect to which the metric is Kähler.
Every special uniformly continuous real-valued function defined on the metric space is uniformly approximable by means of Lipschitz functions.
Every metric space which is ccc is also separable, but in general a ccc topological space need not be separable.
Every locally compact group which is second-countable is metrizable as a topological group ( i. e. can be given a left-invariant metric compatible with the topology ) and complete.