History
| This section does not cite any references or sources. |
The notion of cardinality, as now understood, was formulated by Georg Cantor, the originator of set theory, in 1874–1884. Cantor first established cardinality as an instrument to compare finite sets; e.g. the sets {1,2,3} and {2,3,4} are not equal, but have the same cardinality: three.
Cantor identified the fact that one-to-one correspondence is the way to tell that two sets have the same size, called "cardinality", in the case of finite sets. Using this one-to-one correspondence, he applied the concept to infinite sets; e.g. the set of natural numbers N = {0, 1, 2, 3, ...}. He called these cardinal numbers transfinite cardinal numbers, and defined all sets having a one-to-one correspondence with N to be denumerable (countably infinite) sets.
Naming this cardinal number, aleph-null, Cantor proved that any unbounded subset of N has the same cardinality as N, even if this might appear at first glance to run contrary to intuition. He also proved that the set of all ordered pairs of natural numbers is denumerable (which implies that the set of all rational numbers is denumerable), and later proved that the set of all algebraic numbers is also denumerable. Each algebraic number z may be encoded as a finite sequence of integers which are the coefficients in the polynomial equation of which it is the solution, i.e. the ordered n-tuple (a0, a1, ..., an), ai ∈ Z together with a pair of rationals (b0, b1) such that z is the unique root of the polynomial with coefficients (a0, a1, ..., an) that lies in the interval (b0, b1).
In his 1874 paper, Cantor proved that there exist higher-order cardinal numbers by showing that the set of real numbers has cardinality greater than that of N. His original presentation used a complex argument with nested intervals, but in an 1891 paper he proved the same result using his ingenious but simple diagonal argument. This new cardinal number, called the cardinality of the continuum, was termed by Cantor.
Cantor also developed a large portion of the general theory of cardinal numbers; he proved that there is a smallest transfinite cardinal number (, aleph-null) and that for every cardinal number, there is a next-larger cardinal
His continuum hypothesis is the proposition that is the same as . This hypothesis has been found to be independent of the standard axioms of mathematical set theory; it can neither be proved nor disproved under the standard assumptions.
Read more about this topic: Cardinal Number
Famous quotes containing the word history:
“There are two great unknown forces to-day, electricity and woman, but men can reckon much better on electricity than they can on woman.”
—Josephine K. Henry, U.S. suffragist. As quoted in History of Woman Suffrage, vol. 4, ch. 15, by Susan B. Anthony and Ida Husted Harper (1902)
“We don’t know when our name came into being or how some distant ancestor acquired it. We don’t understand our name at all, we don’t know its history and yet we bear it with exalted fidelity, we merge with it, we like it, we are ridiculously proud of it as if we had thought it up ourselves in a moment of brilliant inspiration.”
—Milan Kundera (b. 1929)
“I am ashamed to see what a shallow village tale our so-called History is. How many times must we say Rome, and Paris, and Constantinople! What does Rome know of rat and lizard? What are Olympiads and Consulates to these neighboring systems of being? Nay, what food or experience or succor have they for the Esquimaux seal-hunter, or the Kanaka in his canoe, for the fisherman, the stevedore, the porter?”
—Ralph Waldo Emerson (1803–1882)