Role of Axiom of Choice
The cardinality of any infinite ordinal number is an aleph number. Every aleph is the cardinality of some ordinal. The least of these is its initial ordinal. Any set whose cardinality is an aleph is equinumerous with an ordinal and is thus well-orderable.
Each finite set is well-orderable, but does not have an aleph as its cardinality.
The assumption that the cardinality of each infinite set is an aleph number is equivalent over ZF to the existence of a well-ordering of every set, which in turn is equivalent to the axiom of choice. ZFC set theory, which includes the axiom of choice, implies that every infinite set has an aleph number as its cardinality (i.e. is equinumerous with its initial ordinal), and thus the initial ordinals of the aleph numbers serve as a class of representatives for all possible infinite cardinal numbers.
When cardinality is studied in ZF without the axiom of choice, it is no longer possible to prove that each infinite set has some aleph number as its cardinality; the sets whose cardinality is an aleph number are exactly the infinite sets that can be well-ordered. The method of Scott's trick is sometimes used as an alternative way to construct representatives for cardinal numbers in the setting of ZF.
Read more about this topic: Aleph Number
Famous quotes containing the words role of, role, axiom and/or choice:
“Where we come from in America no longer signifies—it’s where we go, and what we do when we get there, that tells us who we are.
The irony of the role of women in my business, and in so many other places, too, was that while we began by demanding that we be allowed to mimic the ways of men, we wound up knowing we would have to change those ways. Not only because those ways were not like ours, but because they simply did not work.”
—Anna Quindlen (b. 1952)
“But however the forms of family life have changed and the number expanded, the role of the family has remained constant and it continues to be the major institution through which children pass en route to adulthood.”
—Bernice Weissbourd (20th century)
““You are bothered, I suppose, by the idea that you can’t possibly believe in miracles and mysteries, and therefore can’t make a good wife for Hazard. You might just as well make yourself unhappy by doubting whether you would make a good wife to me because you can’t believe the first axiom in Euclid. There is no science which does not begin by requiring you to believe the incredible.””
—Henry Brooks Adams (1838–1918)
“Holofernes. He is too picked, too spruce, too affected, too odd as it were, too peregrinate as I may call it.
Sir Nathaniel. A most singular and choice epithet.”
—William Shakespeare (1564–1616)