Gelijkmachtigheid

Twee verzamelingen $A$ en $B$ worden in de verzamelingenleer, een deelgebied van de wiskunde, gelijkmachtig genoemd als zij dezelfde kardinaliteit hebben, dat wil zeggen als er een bijectie $A\to B$ bestaat. Dit wordt meestal aangegeven door

$|A|=|B|$

of ook wel door

$A\approx B$ of $A\sim B$

Gelijkmachtigheid heeft de karakteristieke eigenschappen van een equivalentierelatie. De kardinaliteit van een verzameling wordt door een kardinaalgetal gegeven. Twee gelijkmachtige verzamelingen hebben, omdat zij dezelfde kardinaliteit hebben, hetzelfde kardinaalgetal.

Wanneer er tussen twee verzamelingen in beide richtingen een injectie is, bestaat er volgens de stelling van Cantor-Bernstein-Schröder een bijectie tussen de twee en zijn zij gelijkmachtig.

Wanneer een verzameling $A$ een echte deelverzameling $B$ omvat, maar $A$ en $B$ toch gelijkmachtig zijn, heet $A$ een Dedekind-oneindige verzameling. De rationale getallen $\mathbb{Q}$ zijn daar een voorbeeld van. Neem $A=\mathbb{Q}$ en $B=\mathbb{Z}$. Zowel $\mathbb{Q}$ als $\mathbb{Z}$ is aftelbaar, dus zijn ze gelijkmachtig, maar $\mathbb{Z}$ is een echte deelverzameling van $\mathbb{Q}$.