|
Von Neumann Cardinal Assignment
The von Neumann cardinal assignment is a cardinal assignment that uses ordinal numbers. For a well-orderable set ''U'', we define its cardinal number to be the smallest ordinal number equinumerous to ''U'', using the von Neumann definition of an ordinal number. More precisely: :, U, = \mathrm(U) = \inf \, where ON is the class of ordinals. This ordinal is also called the initial ordinal of the cardinal. That such an ordinal exists and is unique is guaranteed by the fact that ''U'' is well-orderable and that the class of ordinals is well-ordered, using the axiom of replacement. With the full axiom of choice, every set is well-orderable, so every set has a cardinal; we order the cardinals using the inherited ordering from the ordinal numbers. This is readily found to coincide with the ordering via ≤''c''. This is a well-ordering of cardinal numbers. Initial ordinal of a cardinal Each ordinal has an associated cardinal, its cardinality, obtained by simply forgetting the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Von Neumann
John von Neumann ( ; ; December 28, 1903 – February 8, 1957) was a Hungarian and American mathematician, physicist, computer scientist and engineer. Von Neumann had perhaps the widest coverage of any mathematician of his time, integrating Basic research, pure and Applied science#Applied research, applied sciences and making major contributions to many fields, including mathematics, physics, economics, computing, and statistics. He was a pioneer in building the mathematical framework of quantum physics, in the development of functional analysis, and in game theory, introducing or codifying concepts including Cellular automaton, cellular automata, the Von Neumann universal constructor, universal constructor and the Computer, digital computer. His analysis of the structure of self-replication preceded the discovery of the structure of DNA. During World War II, von Neumann worked on the Manhattan Project. He developed the mathematical models behind the explosive lense ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Natural Number
In mathematics, the natural numbers are the numbers 0, 1, 2, 3, and so on, possibly excluding 0. Some start counting with 0, defining the natural numbers as the non-negative integers , while others start with 1, defining them as the positive integers Some authors acknowledge both definitions whenever convenient. Sometimes, the whole numbers are the natural numbers as well as zero. In other cases, the ''whole numbers'' refer to all of the integers, including negative integers. The counting numbers are another term for the natural numbers, particularly in primary education, and are ambiguous as well although typically start at 1. The natural numbers are used for counting things, like "there are ''six'' coins on the table", in which case they are called ''cardinal numbers''. They are also used to put things in order, like "this is the ''third'' largest city in the country", which are called ''ordinal numbers''. Natural numbers are also used as labels, like Number (sports), jersey ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aleph Number
In mathematics, particularly in set theory, the aleph numbers are a sequence of numbers used to represent the cardinality (or size) of infinite sets. They were introduced by the mathematician Georg Cantor and are named after the symbol he used to denote them, the Hebrew letter aleph (ℵ). The smallest cardinality of an infinite set is that of the natural numbers, denoted by \aleph_0 (read ''aleph-nought'', ''aleph-zero'', or ''aleph-null''); the next larger cardinality of a well-ordered set is \aleph_1, then \aleph_2, then \aleph_3, and so on. Continuing in this manner, it is possible to define an infinite cardinal number \aleph_ for every ordinal number \alpha, as described below. The concept and notation are due to Georg Cantor, who defined the notion of cardinality and realized that infinite sets can have different cardinalities. The aleph numbers differ from the infinity (\infty) commonly found in algebra and calculus, in that the alephs measure the sizes of sets, while ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Veblen Function
In mathematics, the Veblen functions are a hierarchy of normal functions ( continuous strictly increasing functions from ordinals to ordinals), introduced by Oswald Veblen in . If ''φ''0 is any normal function, then for any non-zero ordinal ''α'', ''φ''''α'' is the function enumerating the common fixed points of ''φ''''β'' for ''β''<''α''. These functions are all normal. Veblen hierarchy In the special case when ''φ''0(''α'')=ω''α'' this family of functions is known as the Veblen hierarchy. The function ''φ''1 is the same as the ε function: ''φ''1(''α'')= ε''α''. If then .M. Rathjen[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equivalence Class
In mathematics, when the elements of some set S have a notion of equivalence (formalized as an equivalence relation), then one may naturally split the set S into equivalence classes. These equivalence classes are constructed so that elements a and b belong to the same equivalence class if, and only if, they are equivalent. Formally, given a set S and an equivalence relation \sim on S, the of an element a in S is denoted /math> or, equivalently, to emphasize its equivalence relation \sim, and is defined as the set of all elements in S with which a is \sim-related. The definition of equivalence relations implies that the equivalence classes form a partition of S, meaning, that every element of the set belongs to exactly one equivalence class. The set of the equivalence classes is sometimes called the quotient set or the quotient space of S by \sim, and is denoted by S /. When the set S has some structure (such as a group operation or a topology) and the equivalence re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Uncountable Set
In mathematics, an uncountable set, informally, is an infinite set that contains too many elements to be countable. The uncountability of a set is closely related to its cardinal number: a set is uncountable if its cardinal number is larger than aleph-null, the cardinality of the natural numbers. Examples of uncountable sets include the set of all real numbers and set of all subsets of the natural numbers. Characterizations There are many equivalent characterizations of uncountability. A set ''X'' is uncountable if and only if any of the following conditions hold: * There is no injective function (hence no bijection) from ''X'' to the set of natural numbers. * ''X'' is nonempty and for every ω- sequence of elements of ''X'', there exists at least one element of X not included in it. That is, ''X'' is nonempty and there is no surjective function from the natural numbers to ''X''. * The cardinality of ''X'' is neither finite nor equal to \aleph_0 ( aleph-null). * The ... [...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] |
Countable Set
In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural numbers; this means that each element in the set may be associated to a unique natural number, or that the elements of the set can be counted one at a time, although the counting may never finish due to an infinite number of elements. In more technical terms, assuming the axiom of countable choice, a set is ''countable'' if its cardinality (the number of elements of the set) is not greater than that of the natural numbers. A countable set that is not finite is said to be countably infinite. The concept is attributed to Georg Cantor, who proved the existence of uncountable sets, that is, sets that are not countable; for example the set of the real numbers. A note on terminology Although the terms "countable" and "countably infinite" as def ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Epsilon Numbers (mathematics)
In mathematics, the epsilon numbers are a collection of transfinite numbers whose defining property is that they are fixed points of an exponential map. Consequently, they are not reachable from 0 via a finite series of applications of the chosen exponential map and of "weaker" operations like addition and multiplication. The original epsilon numbers were introduced by Georg Cantor in the context of ordinal arithmetic; they are the ordinal numbers ''ε'' that satisfy the equation :\varepsilon = \omega^\varepsilon, \, in which ω is the smallest infinite ordinal. The least such ordinal is ''ε''0 (pronounced epsilon nought (chiefly British), epsilon naught (chiefly American), or epsilon zero), which can be viewed as the "limit" obtained by transfinite recursion from a sequence of smaller limit ordinals: :\varepsilon_0 = \omega^ = \sup \left\\,, where is the supremum, which is equivalent to set union in the case of the von Neumann representation of ordinals. Larger ordinal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aleph Number
In mathematics, particularly in set theory, the aleph numbers are a sequence of numbers used to represent the cardinality (or size) of infinite sets. They were introduced by the mathematician Georg Cantor and are named after the symbol he used to denote them, the Hebrew letter aleph (ℵ). The smallest cardinality of an infinite set is that of the natural numbers, denoted by \aleph_0 (read ''aleph-nought'', ''aleph-zero'', or ''aleph-null''); the next larger cardinality of a well-ordered set is \aleph_1, then \aleph_2, then \aleph_3, and so on. Continuing in this manner, it is possible to define an infinite cardinal number \aleph_ for every ordinal number \alpha, as described below. The concept and notation are due to Georg Cantor, who defined the notion of cardinality and realized that infinite sets can have different cardinalities. The aleph numbers differ from the infinity (\infty) commonly found in algebra and calculus, in that the alephs measure the sizes of sets, while ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order Type
In mathematics, especially in set theory, two ordered sets and are said to have the same order type if they are order isomorphic, that is, if there exists a bijection (each element pairs with exactly one in the other set) f\colon X \to Y such that both and its inverse are monotonic (preserving orders of elements). In the special case when is totally ordered, monotonicity of already implies monotonicity of its inverse. One and the same set may be equipped with different orders. Since order-equivalence is an equivalence relation, it partitions the class of all ordered sets into equivalence classes. Notation If a set X has order type denoted \sigma, the order type of the reversed order, the dual of X, is denoted \sigma^. The order type of a well-ordered set is sometimes expressed as . Examples The order type of the integers and rationals is usually denoted \pi and \eta, respectively. The set of integers and the set of even integers have the same order type, becaus ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cardinal Assignment
In set theory, the concept of cardinality is significantly developable without recourse to actually defining cardinal numbers as objects in the theory itself (this is in fact a viewpoint taken by Frege; Frege cardinals are basically equivalence classes on the entire universe of sets, by equinumerosity). The concepts are developed by defining equinumerosity in terms of functions and the concepts of one-to-one and onto (injectivity and surjectivity); this gives us a quasi-ordering relation :A \leq_c B\quad \iff\quad (\exists f)(f : A \to B\ \mathrm) on the whole universe by size. It is not a true partial ordering because antisymmetry need not hold: if both A \leq_c B and B \leq_c A, it is true by the Cantor–Bernstein–Schroeder theorem that A =_c B i.e. ''A'' and ''B'' are equinumerous, but they do not have to be literally equal (see isomorphism). That at least one of A \leq_c B and B \leq_c A holds turns out to be equivalent to the axiom of choice. Nevertheless, most of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
