Normal Measure

	Normal Measure In set theory, a normal measure is a measure on a measurable cardinal κ such that the equivalence class of the identity function on κ maps to κ itself in the ultrapower construction. Equivalently, if f:κ→κ is such that f(α)<α for most α<κ, then there is a β<κ such that f(α)=β for most α<κ. (Here, "most" means that the set of elements of κ where the property holds is a member of the ultrafilter, i.e. has measure 1.) Also equivalent, the ultrafilter (set of sets of measure 1) is closed under diagonal intersection . For a normal measure, any closed unbounded (club) subset of κ contains most ordinals less than κ. And any subset containing most ordinals less than κ is stationary in κ. If an uncountable cardinal κ has a measure on it, then it has a normal measure on it. See also * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
picture info	Set Theory Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory. The non-formalized systems investigated during this early stage go under the name of '' naive set theory''. After the discovery of paradoxes within naive set theory (such as Russell's paradox, Cantor's paradox and the Burali-Forti paradox) various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is still the best-known and most studied. Set theory is commonly employed as a foundational ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Measurable Cardinal In mathematics, a measurable cardinal is a certain kind of large cardinal number. In order to define the concept, one introduces a two-valued measure on a cardinal , or more generally on any set. For a cardinal , it can be described as a subdivision of all of its subsets into large and small sets such that itself is large, and all singletons are small, complements of small sets are large and vice versa. The intersection of fewer than large sets is again large. It turns out that uncountable cardinals endowed with a two-valued measure are large cardinals whose existence cannot be proved from ZFC. The concept of a measurable cardinal was introduced by Stanislaw Ulam in 1930. Definition Formally, a measurable cardinal is an uncountable cardinal number κ such that there exists a κ-additive, non-trivial, 0-1-valued measure on the power set of ''κ''. (Here the term ''κ-additive'' means that, for any sequence ''A''''α'', α<λ of cardinality ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Ultraproduct The ultraproduct is a mathematical construction that appears mainly in abstract algebra and mathematical logic, in particular in model theory and set theory. An ultraproduct is a quotient of the direct product of a family of structures. All factors need to have the same signature. The ultrapower is the special case of this construction in which all factors are equal. For example, ultrapowers can be used to construct new fields from given ones. The hyperreal numbers, an ultrapower of the real numbers, are a special case of this. Some striking applications of ultraproducts include very elegant proofs of the compactness theorem and the completeness theorem, Keisler's ultrapower theorem, which gives an algebraic characterization of the semantic notion of elementary equivalence, and the Robinson–Zakon presentation of the use of superstructures and their monomorphisms to construct nonstandard models of analysis, leading to the growth of the area of nonstandard analysis, which was ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Diagonal Intersection Diagonal intersection is a term used in mathematics, especially in set theory. If \displaystyle\delta is an ordinal number and \displaystyle\langle X_\alpha \mid \alpha<\delta\rangle is a sequence of subsets of $\displaystyle\delta$ , then the ''diagonal intersection'', denoted by : $\displaystyle\Delta_ X_\alpha,$ is defined to be : $\displaystyle\.$ That is, an ordinal $\displaystyle\beta$ is in the diagonal intersection $\displaystyle\Delta_ X_\alpha$ if and only if it is contained in the first $\displaystyle\beta$ members of the sequence. This is the same as : $\cup X_\alpha ),$ wh ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Measurable Cardinal In mathematics, a measurable cardinal is a certain kind of large cardinal number. In order to define the concept, one introduces a two-valued measure on a cardinal , or more generally on any set. For a cardinal , it can be described as a subdivision of all of its subsets into large and small sets such that itself is large, and all singletons are small, complements of small sets are large and vice versa. The intersection of fewer than large sets is again large. It turns out that uncountable cardinals endowed with a two-valued measure are large cardinals whose existence cannot be proved from ZFC. The concept of a measurable cardinal was introduced by Stanislaw Ulam in 1930. Definition Formally, a measurable cardinal is an uncountable cardinal number κ such that there exists a κ-additive, non-trivial, 0-1-valued measure on the power set of ''κ''. (Here the term ''κ-additive'' means that, for any sequence ''A''''α'', α<λ of cardinality ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Club Set In mathematics, particularly in mathematical logic and set theory, a club set is a subset of a limit ordinal that is closed under the order topology, and is unbounded (see below) relative to the limit ordinal. The name ''club'' is a contraction of "closed and unbounded". Formal definition Formally, if \kappa is a limit ordinal, then a set C\subseteq\kappa is ''closed'' in \kappa if and only if for every \alpha < \kappa, if $\sup(C \cap \alpha) = \alpha \neq 0,$ then $\alpha \in C.$ Thus, if the limit of some sequence from $C$ is less than $\kappa,$ then the limit is also in $C.$ If $\kappa$ is a limit ordinal and $C \subseteq \kappa$ then $C$ is unbounded in $\kappa$ if for any $\alpha < \kappa,$ there is some $\beta \in C$ such that $\alpha < \b ...$ [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Large Cardinals In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the name suggests, generally very "large" (for example, bigger than the least α such that α=ωα). The proposition that such cardinals exist cannot be proved in the most common axiomatization of set theory, namely ZFC, and such propositions can be viewed as ways of measuring how "much", beyond ZFC, one needs to assume to be able to prove certain desired results. In other words, they can be seen, in Dana Scott's phrase, as quantifying the fact "that if you want more you have to assume more". There is a rough convention that results provable from ZFC alone may be stated without hypotheses, but that if the proof requires other assumptions (such as the existence of large cardinals), these should be stated. Whether this is simply a linguistic convention, or something more, is a controversial point among distinct phil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]

See also