Cantorova-Bernsteinova veta

Cantorova-Bernsteinova veta alebo Cantorova-Bernsteinova-Schröderova veta alebo Schröderova-Bernsteinova veta je matematická veta, základný výsledok v oblasti teórie množín, pomenovaný po matematikoch Georgovi Cantorovi, Felixovi Bernsteinovi a Ernstovi Schröderovi. Veta hovorí, že ak existujú injektívne zobrazenia f : A → B a g : B → A medzi množinami A a B, potom existuje aj bijektívne zobrazenie h : A → B.

Ekvivalentná formulácia tejto vety je: nech A, B sú množiny, pričom platí |A| ≤ |B| a zároveň |B| ≤ |A|. Potom platí |A| = |B|.

Externé odkazy

• Cantorova-Bernsteinova veta