[permalink] [id link]
** Tychonoff's theorem stating that every product of compact topological spaces is compact.
from
Wikipedia
Some Related Sentences
** and theorem
** Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and A × A.
** König's theorem: Colloquially, the sum of a sequence of cardinals is strictly less than the product of a sequence of larger cardinals.
** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.
** The Vitali theorem on the existence of non-measurable sets which states that there is a subset of the real numbers that is not Lebesgue measurable.
** The Baire category theorem about complete metric spaces, and its consequences, such as the open mapping theorem and the closed graph theorem.
** Gödel's completeness theorem for first-order logic: every consistent set of first-order sentences has a completion.
** The numbers and are not algebraic numbers ( see the Lindemann – Weierstrass theorem ); hence they are transcendental.
** More generally, Rademacher's theorem extends the differentiability result to Lipschitz mappings between Euclidean spaces: a Lipschitz map ƒ: U → R < sup > m </ sup >, where U is an open set in R < sup > n </ sup >, is almost everywhere differentiable.
** Artin reciprocity law, a general theorem in number theory that provided a partial solution to Hilbert's ninth problem
** and stating
** Renowned medium, Derek Acorah visited Manning's home, stating that he was able to communicate with the spirit, and that it was called " Jim " and had died from a heart attack at the age of 58 around 1900.
** The Reichstag passes a statement stating that Hitler, s second-in-command Reichsmarshall Hermann Göring should be appointed as Hitler, s succesor as Führer should Hitler die in the middle of the Second World War. Rudolf Hess is to be appointed in Göring, s place should anything befall Göring.
** Canadian Prime Minister Mackenzie King, in English, and Justice Minister Ernest Lapointe, in French, give an international radio address, stating its intentions to declare war against Nazi Germany.
** On some maps intended for wilderness or navigational use, including the topographic maps of the U. S. Geological Survey ( USGS ), a diagram shows the relationship between magnetic north in the area concerned ( with an arrow marked " MN ") and true north ( a vertical line with a five-pointed star at its top ), with a label near the angle between the MN arrow and the vertical line, stating the size of the declination and of that angle, in degrees, mils, or both.
** NDP: The NDP respond to the Liberal platform stating it is " An empty health package ; a broken promise ; a small but good start ; and a misplaced priority.
** The Conservatives release press statements stating that the Liberals ( and later, the NDP ) are in favour of child pornography.
** EUROCONTROL puts a disclaimer on its data ( stating that USCG data takes precedence ), whereas the FAA certifies its website as meeting regulatory requirements.
** Marvel Comics issue a press release stating that Chris Claremont is suffering from cardiac stress and that this will result in delays to two books, Exiles and GeNext, which Claremont was due to take over in May.
** and every
** 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.
** Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset.
** The microcode can employ both pipelines to enable auto-repeating instructions such as rep movsw perform one iteration every clock cycle, while the 80486 needed three clocks per iteration ( and the earliest x86-chips significantly more than the 486 ).
** United Kingdom Census held, the first to record names and approximate ages of every household member and to be administered nationally.
** Circuit analysis, the process of finding the voltages across, and the currents through, every component in an electrical circuit
** Unique factorization domain, an integral domain in which every non-zero element can be written as a product of irreducible elements in essentially a unique way
** Atomic domain, an integral domain in which every non-zero non-unit is a finite product of irreducible elements
** Dedekind domain, an integral domain in which every nonzero proper ideal factors into a product of prime ideals
** GCD domain, an integral domain in which every two non-zero elements have a greatest common divisor
2.929 seconds.