In set theory Set theory is the branch of mathematics that studies sets, which are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics, an ordinal number, or just ordinal, is the order type In mathematics, especially in set theory, two ordered sets X,Y are said to have the same order type just when they are order isomorphic, that is, when there exists a bijection f: X → Y such that both f and its inverse are monotone . (In the special case when X is totally ordered, monotonicity of f implies monotonicity of its inverse.) of a well-ordered set. They are usually identified with hereditarily transitive sets. Ordinals are an extension of the natural numbers In mathematics, there are two conventions for the set of natural numbers: it is either the set of positive integers {1, 2, 3, ...} according to the traditional definition or the set of non-negative integers {0, 1, 2, ...} according to a definition first appearing in the nineteenth century different from integers The integers are formed by the natural numbers including 0 (0, 1, 2, 3, ...) together with the negatives of the non-zero natural numbers (−1, −2, −3, ...). Viewed as subset of the real numbers, they are numbers that can be written without a fractional or decimal component, and fall within the set {... −2, −1, 0, 1, 2, ...}. For example, 6 and from cardinals In mathematics, cardinal numbers, or cardinals for short, are a generalization of the natural numbers used to measure the cardinality of sets. The cardinality of a finite set is a natural number – the number of elements in the set. The transfinite cardinal numbers describe the sizes of infinite sets. Like other kinds of numbers, ordinals can be added, multiplied, and exponentiated.
Ordinals were introduced by Georg Cantor Georg Ferdinand Ludwig Phillip Cantor was a German mathematician, born in Russia. He is best known as the creator of set theory, which has become a fundamental theory in mathematics. Cantor established the importance of one-to-one correspondence between sets, defined infinite and well-ordered sets, and proved that the real numbers are "more in 1897 to accommodate infinite Infinity is a concept in mathematics and philosophy that refers to a quantity without bound or end. People have developed various ideas throughout history about the nature of infinity. In mathematics, infinity is defined in the context of set theory. The word comes from the Latin infinitas or "unboundedness." sequences and to classify sets with certain kinds of order Order theory is a branch of mathematics that studies various kinds of binary relations that capture the intuitive notion of ordering, providing a framework for saying when one thing is "less than" or "precedes" another. This article gives a detailed introduction to the field and includes some of the most basic definitions. For structures on them.[1]
The finite ordinals (and the finite cardinals) are the natural numbers: 0, 1, 2, …, since any two total orderings of a finite set are order isomorphic. The least infinite ordinal is ω which is identified with the cardinal number . However in the transfinite case, beyond ω, ordinals draw a finer distinction than cardinals on account of their order information. Whereas there is only one countably infinite cardinal, namely itself, there are uncountably many countably infinite ordinals, namely
- ω, ω + 1, ω + 2, …, ω·2, ω·2 + 1, …, ω2, …, ω3, …, ωω, …, ωωω, …, ε0, ….
Here addition and multiplication are not commutative: in particular 1 + ω is ω rather than ω + 1 and likewise, 2·ω is ω rather than ω·2. The set of all countable ordinals constitutes the first uncountable ordinal ω1 which is identified with the cardinal (next cardinal after ). Well-ordered cardinals are identified with their initial ordinals The von Neumann cardinal assignment is a cardinal assignment which uses ordinal numbers. For a well-ordered set U, we define its cardinal number to be the smallest ordinal number equinumerous to U. More precisely:, i.e. the smallest ordinal of that cardinality In mathematics, the cardinality of a set is a measure of the "number of elements of the set". For example, the set A = {2, 4, 6} contains 3 elements, and therefore A has a cardinality of 3. There are two approaches to cardinality – one which compares sets directly using bijections and injections, and another which uses cardinal numbers. The cardinality of an ordinal defines a many to one association from ordinals to cardinals.
In general, each ordinal α is the order type of the set of ordinals strictly less than α itself. This property permits every ordinal to be represented as the set of all ordinals less than it. Ordinals may be categorized as: zero, successor ordinals, and limit ordinals (of various cofinalities). Given a class of ordinals, one can identify the α-th member of that class, i.e. one can index (count) them. A class is closed and unbounded if its indexing function is continuous and never stops. The Cantor normal form uniquely represents each ordinal as a finite sum of ordinal powers of ω. However, this cannot form the basis of a universal ordinal notation due to such self-referential representations as . Larger and larger ordinals can be defined, but they become more and more difficult to describe. Any ordinal number can be made into a topological space Topological spaces are mathematical structures that allow the formal definition of concepts such as convergence, connectedness, and continuity. They appear in virtually every branch of modern mathematics and are a central unifying notion. The branch of mathematics that studies topological spaces in their own right is called topology by endowing it with the order topology In mathematics, an order topology is a certain 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; this topology is discrete In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points are "isolated" from each other in a certain sense if and only if the ordinal is a countable cardinal, i.e. at most ω. A subset of ω + 1 is open in the order topology if and only if either it is cofinite In mathematics, a cofinite subset of a set X is a subset Y whose complement in X is a finite set. In other words, Y contains all but finitely many elements of X. If the complement is not finite, but it is countable, then one says the set is cocountable or it does not contain ω as an element.
Contents |
