Gelijkmachtigheid

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de verzamelingenleer, een deelgebied van de wiskunde, worden twee verzamelingen A en B gelijkmachtig genoemd als zij dezelfde kardinaliteit hebben, dat wil zeggen als er een bijectie f: A → B bestaat. Dit wordt meestal aangegeven door

A \approx B \! of A \sim B\!.

In de categorie van verzamelingen is de categorie van alle verzamelingen met functies een morfismen, is een isomorfisme tussen twee verzamelingen precies een bijectie en zijn twee verzamelingen gelijkmachtig als deze twee verzamelingen isomorf in deze categorie zijn.

Zie ook[bewerken]