Successor Ordinal

	Successor Ordinal In set theory, the successor of an ordinal number ''α'' is the smallest ordinal number greater than ''α''. An ordinal number that is a successor is called a successor ordinal. The ordinals 1, 2, and 3 are the first three successor ordinals and the ordinals ω+1, ω+2 and ω+3 are the first three infinite successor ordinals. Properties Every ordinal other than 0 is either a successor ordinal or a limit ordinal.. In Von Neumann's model Using von Neumann's ordinal numbers (the standard model of the ordinals used in set theory), the successor ''S''(''α'') of an ordinal number ''α'' is given by the formula :S(\alpha) = \alpha \cup \. Since the ordering on the ordinal numbers is given by ''α'' < ''β'' if and only if ''α'' ∈ ''β'', it is immediate that there is no ordinal number between α and ''S''(''α''), and it is also clear that ''α'' < ''S''(''α''). Ordinal addition The successor operation can be used to defin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
picture info	Set Theory Set theory is the branch of mathematical logic that studies Set (mathematics), 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 of set theory, 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 the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
picture info	Ordinal Number In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, th, etc.) aimed to extend enumeration to infinite sets. A finite set can be enumerated by successively labeling each element with the least natural number that has not been previously used. To extend this process to various infinite sets, ordinal numbers are defined more generally using linearly ordered greek letter variables that include the natural numbers and have the property that every set of ordinals has a least or "smallest" element (this is needed for giving a meaning to "the least unused element"). This more general definition allows us to define an ordinal number \omega (omega) to be the least element that is greater than every natural number, along with ordinal numbers , , etc., which are even greater than . A linear order such that every non-empty subset has a least element is called a well-order. The axiom of choice implies that every set can be well-orde ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Limit Ordinal In set theory, a limit ordinal is an ordinal number that is neither zero nor a successor ordinal. Alternatively, an ordinal λ is a limit ordinal if there is an ordinal less than λ, and whenever β is an ordinal less than λ, then there exists an ordinal γ such that β 0, are limits of limits, etc. Properties The classes of successor ordinals and limit ordinals (of various cofinalities) as well as zero exhaust the entire class of ordinals, so these cases are often used in proofs by transfinite induction or definitions by transfinite recursion. Limit ordinals represent a sort of "turning point" in such procedures, in which one must use limiting operations such as taking the union over all preceding ordinals. In principle, one could do anything at limit ordinals, but taking the union is continuous in the order topology and this is usually desirable. If we use the von Neumann cardinal assignment, every infinite cardinal number In mathematics, a cardinal number, or ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
picture info	Ordinal Number In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, th, etc.) aimed to extend enumeration to infinite sets. A finite set can be enumerated by successively labeling each element with the least natural number that has not been previously used. To extend this process to various infinite sets, ordinal numbers are defined more generally using linearly ordered greek letter variables that include the natural numbers and have the property that every set of ordinals has a least or "smallest" element (this is needed for giving a meaning to "the least unused element"). This more general definition allows us to define an ordinal number \omega (omega) to be the least element that is greater than every natural number, along with ordinal numbers , , etc., which are even greater than . A linear order such that every non-empty subset has a least element is called a well-order. The axiom of choice implies that every set can be well-orde ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
picture info	Ordinal Arithmetic In the mathematical field of set theory, ordinal arithmetic describes the three usual operations on ordinal numbers: addition, multiplication, and exponentiation. Each can be defined in essentially two different ways: either by constructing an explicit well-ordered set that represents the result of the operation or by using transfinite recursion. Cantor normal form provides a standardized way of writing ordinals. In addition to these usual ordinal operations, there are also the "natural" arithmetic of ordinals and the nimber operations. Addition The sum of two well-ordered sets and is the ordinal representing the variant of lexicographical order with least significant position first, on the union of the Cartesian products and . This way, every element of is smaller than every element of , comparisons within keep the order they already have, and likewise for comparisons within . The definition of addition can also be given by transfinite recursion on . When the right ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Transfinite Induction Transfinite induction is an extension of mathematical induction to well-ordered sets, for example to sets of ordinal numbers or cardinal numbers. Its correctness is a theorem of ZFC. Induction by cases Let P(\alpha) be a property defined for all ordinals \alpha. Suppose that whenever P(\beta) is true for all \beta < \alpha, then $P(\alpha)$ is also true. Then transfinite induction tells us that $P$ is true for all ordinals. Usually the proof is broken down into three cases: * Zero case: Prove that $P(0)$ is true. * Successor case: Prove that for any successor ordinal $\alpha+1$ , $P(\alpha+1)$ follows from $P(\alpha)$ (and, if necessary, $P(\beta)$ for all $\beta < \alpha$ ). * Limit case: Prove that for any [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Isolated Point In mathematics, a point is called an isolated point of a subset (in a topological space ) if is an element of and there exists a neighborhood of that does not contain any other points of . This is equivalent to saying that the singleton is an open set in the topological space (considered as a subspace of ). Another equivalent formulation is: an element of is an isolated point of if and only if it is not a limit point of . If the space is a metric space, for example a Euclidean space, then an element of is an isolated point of if there exists an open ball around that contains only finitely many elements of . A point set that is made up only of isolated points is called a discrete set or discrete point set (see also discrete space). Related notions Any discrete subset of Euclidean space must be countable, since the isolation of each of its points together with the fact that rationals are dense in the reals means that the points of may be mapped injective ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Order Topology In mathematics, an order topology is a specific topology that can be defined on any totally ordered set. It is a natural generalization of the topology of the real numbers to arbitrary totally ordered sets. If ''X'' is a totally ordered set, the order topology on ''X'' is generated by the subbase of "open rays" :\ :\ for all ''a, b'' in ''X''. Provided ''X'' has at least two elements, this is equivalent to saying that the open intervals :(a,b) = \ together with the above rays form a base for the order topology. The open sets in ''X'' are the sets that are a union of (possibly infinitely many) such open intervals and rays. A topological space ''X'' is called orderable or linearly orderable if there exists a total order on its elements such that the order topology induced by that order and the given topology on ''X'' coincide. The order topology makes ''X'' into a completely normal Hausdorff space. The standard topologies on R, Q, Z, and N are the order topologies. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Undergraduate Texts In Mathematics Undergraduate Texts in Mathematics (UTM) () is a series of undergraduate-level textbooks in mathematics published by Springer-Verlag. The books in this series, like the other Springer-Verlag mathematics series, are small yellow books of a standard size. The books in this series tend to be written at a more elementary level than the similar Graduate Texts in Mathematics series, although there is a fair amount of overlap between the two series in terms of material covered and difficulty level. There is no Springer-Verlag numbering of the books like in the Graduate Texts in Mathematics series. The books are numbered here by year of publication. List of books # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Ordinal Arithmetic In the mathematical field of set theory, ordinal arithmetic describes the three usual operations on ordinal numbers: addition, multiplication, and exponentiation. Each can be defined in essentially two different ways: either by constructing an explicit well-ordered set that represents the result of the operation or by using transfinite recursion. Cantor normal form provides a standardized way of writing ordinals. In addition to these usual ordinal operations, there are also the "natural" arithmetic of ordinals and the nimber operations. Addition The sum of two well-ordered sets and is the ordinal representing the variant of lexicographical order with least significant position first, on the union of the Cartesian products and . This way, every element of is smaller than every element of , comparisons within keep the order they already have, and likewise for comparisons within . The definition of addition can also be given by transfinite recursion on . When the right ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Limit Ordinal In set theory, a limit ordinal is an ordinal number that is neither zero nor a successor ordinal. Alternatively, an ordinal λ is a limit ordinal if there is an ordinal less than λ, and whenever β is an ordinal less than λ, then there exists an ordinal γ such that β 0, are limits of limits, etc. Properties The classes of successor ordinals and limit ordinals (of various cofinalities) as well as zero exhaust the entire class of ordinals, so these cases are often used in proofs by transfinite induction or definitions by transfinite recursion. Limit ordinals represent a sort of "turning point" in such procedures, in which one must use limiting operations such as taking the union over all preceding ordinals. In principle, one could do anything at limit ordinals, but taking the union is continuous in the order topology and this is usually desirable. If we use the von Neumann cardinal assignment, every infinite cardinal number In mathematics, a cardinal number, or ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]
	Successor Cardinal In set theory, one can define a successor operation on cardinal numbers in a similar way to the successor operation on the ordinal numbers. The cardinal successor coincides with the ordinal successor for finite cardinals, but in the infinite case they diverge because every infinite ordinal and its successor have the same cardinality (a bijection can be set up between the two by simply sending the last element of the successor to 0, 0 to 1, etc., and fixing ω and all the elements above; in the style of Hilbert's Hotel Infinity). Using the von Neumann cardinal assignment and the axiom of choice (AC), this successor operation is easy to define: for a cardinal number ''κ'' we have :\kappa^+ = \left, \inf \\ , where ON is the class of ordinals. That is, the successor cardinal is the cardinality of the least ordinal into which a set of the given cardinality can be mapped one-to-one, but which cannot be mapped one-to-one back into that set. That the set above is nonempty follows from ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu]

Ordinal addition