Stelling van Cantor-Bernstein-Schröder

In de axiomatische verzamelingenleer doet de stelling van Cantor-Bernstein-Schröder een uitspraak over de gelijkmachtigheid van twee verzamelingen. De stelling zegt dat als er tussen twee verzamelingen in beide richtingen een injectieve afbeelding is er een bijectieve afbeelding is tussen de beide verzamelingen, dus de verzamelingen gelijkmachtig zijn.

Laat $f:A\to B$ en $g:B\to A$ injectieve afbeeldingen zijn tussen de verzamelingen $A$ en $B$. Dan bestaat er een bijectieve afbeelding $h:A\to B$.

Een voorwaarde is dat alle elementen $a$ en $b$ in beide verzamelingen $A$ en $B$ door de beide injectieve afbeeldingen $f$ en $g$ op een element $f(a)$ en $g(b)$ in de andere verzameling worden afgebeeld, met andere woorden dat de beide verzamelingen samenvallen met het domein van de twee afbeeldingen. De stelling is genoemd naar Georg Cantor, Felix Bernstein en Ernst Schröder.

De stelling werd in 1887 door Georg Cantor geformuleerd, maar nog niet door hem bewezen. Felix Bernstein, die toen 19 jaar oud was, heeft in 1897 het eerste bewijs gegeven dat is gepubliceerd, door de Franse wiskundige Émile Borel. Borel was het bewijs tijdens het eerste Internationale Wiskundecongres in Zürich van 1897 te weten gekomen. Cantor had geholpen de aanzet voor het congres te geven. De stelling werd in in 1897 onafhankelijk door Ernst Schröder bewezen. Richard Dedekind heeft meteen in 1887 een bewijs gevonden, maar het niet gepubliceerd. Ernst Zermelo heeft het bewijs van Dedekind later teruggevonden en in 1908 nog een eigen bewijs van de stelling gegeven.