In set theory, the Cantor–Bernstein–Schroeder theorem, named after Georg Cantor, Felix Bernstein, and Ernst Schröder, states that, if there exist injective functions f : A → B and g : B → A between the sets A and B, then there exists a bijective function h : A → B. In terms of the cardinality of the two sets, this means that if |A| ≤ |B| and |B| ≤ |A|, then |A| = |B|; that is, A and B are equipollent. This is a useful feature in the ordering of cardinal numbers.
The theorem is also known as the Schroeder–Bernstein theorem, the Cantor–Bernstein theorem, or the Cantor–Schroeder–Bernstein theorem.
An important feature of this theorem is that it does not rely on the axiom of choice. However, its various proofs are non-constructive, as they depend on the law of excluded middle, and therefore rejected by intuitionists.
Assume without loss of generality that A and B are disjoint. For any a in A or b in B we can form a unique two-sided sequence of elements that are alternately in A and B, by repeatedly applying and to go right and and to go left (where defined).
For any particular a, this sequence may terminate to the left or not, at a point where or is not defined.
Call such a sequence (and all its elements) an A-stopper, if it stops at an element of A, or a B-stopper if it stops at an element of B. Otherwise, call it doubly infinite if all the elements are distinct or cyclic if it repeats. See the picture for examples.
By the fact that and are injective functions, each a in A and b in B is in exactly one such sequence to within identity, (as if an element occurs in two sequences, all elements to the left and to the right must be the same in both, by definition). Therefore, the sequences form a partition of the (disjoint) union of A and B. Hence it suffices to produce a bijection between the elements of A and B in each of the sequences separately, as follows:
- For an A-stopper, the function is a bijection between its elements in A and its elements in B.
- For a B-stopper, the function is a bijection between its elements in B and its elements in A.
- For a doubly infinite sequence or a cyclic sequence, either or will do ( is used in the picture).
Below follows an alternative proof.
Idea of the proof: Redefine f in certain points to make it surjective. At first, redefine it on the image of g for it to be the inverse function of g. However, this might destroy injectivity, so correct this problem iteratively, by making the amount of points redefined smaller, up to a minimum possible, shifting the problem "to infinity" and therefore out of sight.
More precisely, this means to leave f unchanged initially on C0 := A \ g[B]. However, then every element of f[C0] has two preimages, one under f and one under g –1. Therefore, leave f unchanged on the union of C0 and C1 := g[f[C0]]. However, then every element of f[C1] has two preimages, correct this by leaving f unchanged on the union of C0, C1, and C2 := g[f[C1]] and so on. Leaving f unchanged on the countable union C of C0 and all these Cn+1 = g[f[Cn]] solves the problem, because g[f[C]] is a subset of C and no additional union is necessary.
In the alternate proof, Cn can be interpreted as the set of n-th elements of A-stoppers (starting from 0).
Indeed, C0 is the set of elements for which g−1 is not defined, which is the set of starting elements of A-stoppers, C1 is the set of elements for which is defined but is not, i.e. the set of second elements of A-stoppers, and so on.
The bijection h is defined as f on C and g−1 everywhere else, which means f on A-stoppers and g−1 everywhere else, consistently with the proof below.
Then, for every a ∈ A define
If a is not in C, then, in particular, a is not in C0. Hence a ∈ g[B] by the definition of C0. Since g is injective, its preimage g –1(a) is therefore well defined.
It remains to check the following properties of the map h : A → B to verify that it is the desired bijection:
- Surjectivity: Consider any b ∈ B. If b ∈ f[C], then there is an a ∈ C with b = f(a). Hence b = h(a) by the definition of h. If b is not in f[C], define a = g(b). By definition of C0, this a cannot be in C0. Since f[Cn] is a subset of f[C], it follows that b is not in any f[Cn], hence a = g(b) is not in any Cn+1 = g[f[Cn]] by the recursive definition of these sets. Therefore, a is not in C. Then b = g –1(a) = h(a) by the definition of h.
- Injectivity: Since f is injective on A, which comprises C, and g –1 is injective on g[B], which comprises the complement of C, it suffices to show that the assumption f(c) = g –1(a) for c ∈ C and a ∈ A \ C leads to a contradiction (this means the original problem, the lack of injectivity mentioned in the idea of the proof above, is solved by the clever definition of h). Since c ∈ C, there exists an integer n ≥ 0 such that c ∈ Cn. Hence g(f(c)) is in Cn+1 and therefore in C, too. However, g(f(c)) = g(g –1(a)) = a is not in C — contradiction.
Note that the above definition of h is nonconstructive, in the sense that there exists no general method to decide in a finite number of steps, for any given sets A and B and injections f and g, whether an element a of A does not lie in C. For special sets and maps this might, of course, be possible.
An earlier proof by Cantor relied, in effect, on the axiom of choice by inferring the result as a corollary of the well-ordering theorem. The argument given above[clarification needed] shows that the result can be proved without using the axiom of choice.
As it is often the case in mathematics, the name of this theorem does not truly reflect its history. The traditional name "Schröder-Bernstein" is based on two proofs published independently in 1898. Cantor is often added because he first stated the theorem in 1895, while Schröder's name is often omitted because his proof turned out to be flawed while the name of the mathematician who first proved it is not connected with the theorem.
In reality, the history was more complicated:
- 1887 Richard Dedekind proves the theorem but does not publish it.
- 1895 Georg Cantor states the theorem in his first paper on set theory and transfinite numbers (as an easy consequence of the linear order of cardinal numbers which he was going to prove later).
- 1896 Ernst Schröder announces a proof (as a corollary of a more general statement).
- 1897 Felix Bernstein, a young student in Cantor's Seminar, presents his proof.
- 1897 After a visit by Bernstein, Dedekind independently proves it a second time.
- 1898 Bernstein's proof is published by Émile Borel in his book on functions. (Communicated by Cantor at the 1897 congress in Zürich.)
Both proofs of Dedekind are based on his famous memoir Was sind und was sollen die Zahlen? and derive it as a corollary of a proposition equivalent to statement C in Cantor's paper:
Cantor observed this property as early as 1882/83 during his studies in set theory and transfinite numbers and therefore (implicitly) relying on the Axiom of Choice.
- Myhill isomorphism theorem
- Schröder–Bernstein theorem for measurable spaces
- Schröder–Bernstein theorems for operator algebras
- Schröder–Bernstein property
- Ettore Carruccio (2006). Mathematics and Logic in History and in Contemporary Thought. Transaction Publishers. p. 354. ISBN 978-0-202-30850-0.
- J. König (1906). "Sur la théorie des ensembles". Comptes rendus hebdomadaires des séances de l'Académie des sciences 143: 110–112.
- Georg Cantor (1895). "Beiträge zur Begründung der transfiniten Mengenlehre (1)". Mathematische Annalen 46: 481-512.
Georg Cantor (1897). "Beiträge zur Begründung der transfiniten Mengenlehre (2)". Mathematische Annalen 49: 207-246.
- R. Uhl, "Tarski's Fixed Point Theorem", from MathWorld–a Wolfram Web Resource, created by Eric W. Weisstein. (Example 3)
This article incorporates material from the Citizendium article "Schröder-Bernstein_theorem", which is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License but not under the GFDL. Peter Schmitt contributed the History section to Citizendium which TakuyaMurata copied into this article.
- Proofs from THE BOOK, p. 90. ISBN 3-540-40460-0
- Proof of the Bernstein–Schroeder theorem, PlanetMath.org.
- MathPath – Explanation of and remarks on the proof of Cantor–Bernstein Theorem
- Papers on the history of the Cantor–Bernstein theorem
- Cantor-Schroeder-Bernstein theorem in nLab