Cantorin–Schröderin–Bernsteinin lause Navigointivalikkolaajentamalla
Joukko-oppi
Joukko-opissaGeorg CantorinFelix BernsteininErnst Schröderinmahtavuutta
Joukko-opissa käytettävä Cantorin–Schröderin–Bernsteinin lause on nimetty Georg Cantorin, Felix Bernsteinin, Ernst Schröderin mukaan. Lauseessa esitetään, että jos joukkojen A ja B välillä on olemassa injektiiviset funktiot f : A → B ja g : B → A, on olemassa bijektio h : A → B. Tarkoitettaessa joukkojen mahtavuutta tämä tarkoittaa, että jos |A| ≤ |B| ja |B| ≤ |A|, on oltava |A| = |B|. Tulos on usein hyödyllinen, jos joukkoja on tarpeen järjestää niiden mahtavuuden mukaan.
