ⓘ Equinumerosity. In mathematics, two sets or classes A and B are equinumerous if there exists a one-to-one correspondence between them, i.e. if there exists a fu ..

                                     

ⓘ Equinumerosity

In mathematics, two sets or classes A and B are equinumerous if there exists a one-to-one correspondence between them, i.e. if there exists a function from A to B such that for every element y of B there is exactly one element x of A with f = y. Equinumerous sets are said to have the same cardinality. The study of cardinality is often called equinumerosity. The terms equipollence and equipotence are sometimes used instead.

Equinumerosity has the characteristic properties of an equivalence relation. The statement that two sets A and B are equinumerous is usually denoted

A ≈ B {\displaystyle A\approx B\,} or A ∼ B {\displaystyle A\sim B}, or | A | = | B |. {\displaystyle |A|=|B|.}

The definition of equinumerosity using bijections can be applied to both finite and infinite sets and allows one to state whether two sets have the same size even if they are infinite. Georg Cantor, the inventor of set theory, showed in 1874 that there is more than one kind of infinity, specifically that the collection of all natural numbers and the collection of all real numbers, while both infinite, are not equinumerous see Cantors first uncountability proof. In a controversial 1878 paper, Cantor explicitly defined the notion of "power" of sets and used it to prove that the set of all natural numbers and the set of all rational numbers are equinumerous an example of the situation where a proper subset of an infinite set is equinumerous to the original set, and that the Cartesian product of even a countably infinite number of copies of the real numbers is equinumerous to a single copy of the real numbers.

Cantors theorem from 1891 implies that no set is equinumerous to its own power set the set of all its subsets. This allows the definition of greater and greater infinite sets starting from a single infinite set.

If the axiom of choice holds, then the cardinal number of a set may be regarded as the least ordinal number of that cardinality see initial ordinal. Otherwise, it may be regarded by Scotts trick as the set of sets of minimal rank having that cardinality.

The statement that any two sets are either equinumerous or one has a smaller cardinality than the other is equivalent to the axiom of choice.

                                     

1. Cardinality

Equinumerous sets are said to have the same cardinality. The cardinality of a set X is a measure of the "number of elements of the set". Equinumerosity has the characteristic properties of an equivalence relation:

Reflexivity Given a set A, the identity function on A is a bijection from A to itself, showing that every set A is equinumerous to itself: A ~ A. Symmetry For every bijection between two sets A and B there exists an inverse function which is a bijection between B and A, implying that if a set A is equinumerous to a set B then B is also equinumerous to A: A ~ B implies B ~ A. Transitivity Given three sets A, B and C with two bijections f: A → B and g: B → C, the composition g ∘ of these bijections is a bijection from A to C, so if A and B are equinumerous and B and C are equinumerous then A and C are equinumerous: A ~ B and B ~ C together imply A ~ C.

An attempt to define the cardinality of a set as the equivalence class of all sets equinumerous to it is problematic in Zermelo–Fraenkel set theory, the standard form of axiomatic set theory, because the equivalence class of any non-empty set would be too large to be a set: it would be a proper class. Within the framework of Zermelo–Fraenkel set theory, relations are by definition restricted to sets a binary relation on a set A is a subset of the Cartesian product A × A, and there is no set of all sets in Zermelo–Fraenkel set theory. In Zermelo–Fraenkel set theory, instead of defining the cardinality of a set as the equivalence class of all sets equinumerous to it one tries to assign a representative set to each equivalence class cardinal assignment. In some other systems of axiomatic set theory, e.g. Von Neumann–Bernays–Godel set theory and Morse–Kelley set theory, relations are extended to classes.

A set A is said to have cardinality smaller than or equal to the cardinality of a set B if there exists a one-to-one function an injection from A into B. This is denoted | A | ≤ | B |. If A and B are not equinumerous, then the cardinality of A is said to be strictly smaller than the cardinality of B. This is denoted | A | < | B |. If the axiom of choice holds, then the law of trichotomy holds for cardinal numbers, so that any two sets are either equinumerous, or one has a strictly smaller cardinality than the other. The law of trichotomy for cardinal numbers also implies the axiom of choice.

The Schroder–Bernstein theorem states that any two sets A and B for which there exist two one-to-one functions f: A → B and g: B → A are equinumerous: if | A | ≤ | B | and | B | ≤ | A |, then | A | = | B |. This theorem does not rely on the axiom of choice.

                                     

2. Cantors theorem

Cantors theorem implies that no set is equinumerous to its power set the set of all its subsets. This holds even for infinite sets. Specifically, the power set of a countably infinite set is an uncountable set.

Assuming the existence of an infinite set N consisting of all natural numbers and assuming the existence of the power set of any given set allows the definition of a sequence N, P N, P N), P N), … of infinite sets where each set is the power set of the set preceding it. By Cantors theorem, the cardinality of each set in this sequence strictly exceeds the cardinality of the set preceding it, leading to greater and greater infinite sets.

Cantors work was harshly criticized by some of his contemporaries, e.g. by Leopold Kronecker, who strongly adhered to a finitist philosophy of mathematics and rejected the idea that numbers can form an actual, completed totality an actual infinity. However, Cantors ideas were defended by others, e.g. by Richard Dedekind, and ultimately were largely accepted, strongly supported by David Hilbert. See Controversy over Cantors theory.

Within the framework of Zermelo–Fraenkel set theory, the axiom of power set guarantees the existence of the power set of any given set. Furthermore, the axiom of infinity guarantees the existence of at least one infinite set, namely a set containing the natural numbers. There are alternative set theories, e.g. "general set theory" GST, Kripke–Platek set theory, and pocket set theory PST, that deliberately omit the axiom of power set and the axiom of infinity and do not allow the definition of the infinite hierarchy of infinites proposed by Cantor.

The cardinalities corresponding to the sets N, P N, P N), P N), … are the beth numbers ℶ 0 {\displaystyle \beth _{0}}, ℶ 1 {\displaystyle \beth _{1}}, ℶ 2 {\displaystyle \beth _{2}}, ℶ 3 {\displaystyle \beth _{3}}, …, with the first beth number ℶ 0 {\displaystyle \beth _{0}} being equal to ℵ 0 {\displaystyle \aleph _{0}} aleph naught, the cardinality of any countably infinite set, and the second beth number ℶ 1 {\displaystyle \beth _{1}} being equal to c {\displaystyle {\mathfrak {c}}}, the cardinality of the continuum.

                                     

3. Dedekind-infinite sets

Sometimes a set is equinumerous to some of its proper subsets, e.g. the set of natural numbers is equinumerous to the set of even natural numbers. Such a set is called Dedekind-infinite.

The axiom of countable choice AC ω, a weak variant of the axiom of choice AC, is needed to show that a set that is not Dedekind-infinite is actually finite. The axioms of Zermelo–Fraenkel set theory without the axiom of choice ZF are not strong enough to prove that every infinite set is Dedekind-infinite, but the axioms of Zermelo–Fraenkel set theory with the axiom of countable choice ZF + AC ω are strong enough. Other definitions of finiteness and infiniteness of sets do not require the axiom of choice for this.

                                     

4. Compatibility with set operations

Equinumerosity is compatible with the basic set operations in a way that allows the definition of cardinal arithmetic. Specifically, equinumerosity is compatible with disjoint unions: Given four sets A, B, C and D with A and C on the one hand and B and D on the other hand pairwise disjoint and with A ~ B and C ~ D then A ∪ C ~ B ∪ D. This is used to justify the definition of cardinal addition.

Furthermore, equinumerosity is compatible with cartesian products:

  • A × B ~ B × A
  • If A ~ B and C ~ D then A × C ~ B × D.
  • A × B × C ~ A × B × C

These properties are used to justify cardinal multiplication.

Exponentiation:

  • A × B C ~ A C × B C
  • A B ∪ C ~ A B × A C for disjoint B and C.
  • If A ~ B and C ~ D then A C ~ B D. Here X Y denotes the set of all functions from Y to X.
  • A B C ~ A B × C

These properties are used to justify cardinal exponentiation.

Furthermore, the power set of a given set A the set of all subsets of A is equinumerous to the set 2 A, the set of all functions from the set A to a set containing exactly two elements.



                                     

5. Categorial definition

In Set, the category of all sets with functions as morphisms, an isomorphism between two sets is precisely a bijection, and two sets are equinumerous precisely if they are isomorphic in this category.

                                     
  • under the equivalence relation of equinumerosity This definition may appear circular, but it is not, because equinumerosity can be defined in alternate ways
  • classes on the entire universe of sets, by equinumerosity The concepts are developed by defining equinumerosity in terms of functions and the concepts of
  • defined as follows. The relation of having the same cardinality is called equinumerosity and this is an equivalence relation on the class of all sets. The equivalence
  • theory, this is taken as the definition of same number of elements equinumerosity and generalising this definition to infinite sets leads to the concept