- Cantor–Bernstein–Schroeder theorem
In set theory, the

**Cantor–Bernstein–Schroeder**, named aftertheorem Georg Cantor ,Felix Bernstein , andErnst Schröder , states that, if there existinjective function s "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"|; "A" and "B" are said to be "equipollent ". This is obviously a very useful feature in the ordering ofcardinal number s.**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 theinverse 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 "C"_{0}:= A "g"[ "B"] . However, then every element of "f"[ "C"_{0}] has twopreimage s, one under "f" and one under "g"^{ –1}. Therefore, leave "f" unchanged on the union of "C"_{0}and "C"_{1}:= "g"[ "f"[ "C"_{0}] . However, then every element of "f"[ "C"_{1}] has two preimages, correct this by leaving "f" unchanged on the union of "C"_{0}, "C"_{1}, and "C"_{2}:= "g"[ "f"[ "C"_{1}] and so on. Leaving "f" unchanged on the countable union "C" of "C"_{0}and all these "C"_{"n"+1}= "g"[ "f"[ "C"_{"n"}] solves the problem, because "g"[ "f"[ "C"] is a subset of "C" and no additional union is necessary.**Proof:**Define:$C\_0=Asetminus\; g\; [B]\; ,qquad\; C\_\{n+1\}=g\; [f\; [C\_n]\; quad\; mbox\{\; for\; all\; \}nge\; 0,$

and

:$C=igcup\_\{n=0\}^infty\; C\_n.$

Then, for every "a" ∈ "A" define

:$h(a)=egin\{cases\}f(a)\; mbox\{if\; \}ain\; C,\; \backslash g^\{-1\}(a)\; mbox\{if\; \}a\; otin\; C.end\{cases\}$

If "a" is not in "C", then, in particular, "a" is not in "C"

_{0}. Hence "a" ∈ "g"[ "B"] by the definition of "C"_{0}. 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 "C"_{0}, this "a" cannot be in "C"_{0}. Since "f"[ "C"_{"n"}] is a subset of "f"[ "C"] , it follows that "b" is not in any "f"[ "C"_{"n"}] , hence "a" = "g"("b") is not in any "C"_{"n"+1}= "g"[ "f"[ "C"_{"n"}] 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" ∈ "C"_{"n"}. Hence "g"("f"("c")) is in "C"_{"n"+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.

**Visualization**The definition of "h" can be visualized with the following diagram.

Displayed are parts of the (disjoint) sets "A" and "B" together with parts of the mappings "f" and "g". If the set "A" ∪ "B", together with the two maps, is interpreted as a directed graph, then this bipartite graph has several connected components.

These can be divided into four types: paths extending infinitely to both directions, finite cycles of even length, infinite paths starting in the set "A", and infinite paths starting in the set "B" (the path passing through the element "a" in the diagram is infinite in both directions, so the diagram contains one path of every type). In general, it is not possible to decide in a finite number of steps which type of path a given element of "A" or "B" belongs to.

The set "C" defined above contains precisely the elements of "A" which are part of an infinite path starting in "A". The map "h" is then defined in such a way that for every path it yields a bijection that maps each element of "A" in the path to an element of "B" directly before or after it in the path. For the path that is infinite in both directions, and for the finite cycles, we choose to map every element to its predecessor in the path.

**Another proof**Below follows an alternate proof, attributed to

Julius König .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 alternatively in "A" and "B", by repeatedly applying "$f$" and "$g$" to go right and "$g^\{-1\}$" and "$f^\{-1\}$" to go left (where defined).

:"$cdots\; ightarrow\; f^\{-1\}(g^\{-1\}(a))\; ightarrow\; g^\{-1\}(a)\; ightarrow\; a\; ightarrow\; f(a)\; ightarrow\; g(f(a))\; ightarrow\; cdots$"

For any particular "a", this sequence may terminate to the left or not, at a point where "$f^\{-1\}$" or "$g^\{-1\}$" 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.

By the fact that "$f$" and "$g$" 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).

By the above observation, the sequences form a partition of the whole 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.

For an "A-stopper", the function "$f$" is a bijection between its elements in "A" and its elements in "B".

For a "B-stopper", the function "$g$" is a bijection between its elements in "B" and its elements in "A".

For a "doubly infinite" sequence or a "cyclic" sequence, either "$f$" or "$g$" will do.

**Original proof**An earlier proof by Cantor relied, in effect, on the

axiom of choice by inferring the result as acorollary of thewell-ordering theorem . The argument given above shows that the result can be proved without using the axiom of choice.The theorem is also known as the

**Schroeder-Bernstein theorem**, but the trend has been to add Cantor's name, thus crediting him for the original version. It is also called the**Cantor-Bernstein theorem**.**See also***

Schröder–Bernstein theorems for operator algebras

*Schroeder-Bernstein theorem for measurable spaces **References*** "Proofs from THE BOOK", p. 90. ISBN 3540404600

*

* [*http://www.mathpath.org/proof/Sch-Bern/proofofS-B.htm MathPath - Explanation of and remarks on the proof of Cantor-Bernstein Theorem*]

*Wikimedia Foundation.
2010.*