Partition af en mængde

Fra Wikipedia, den frie encyklopædi
Gå til: navigation, søg

En partition (eller klassedeling) af en mængde X, er en familie af parvist disjunkte delmængder af X, der tilsammen udgør hele X. Med andre ord: Lad (X_\alpha)_{\alpha\in I} være en familie mængder, så X_\alpha\subseteq X for alle \alpha i en indeksmængde I. Nu er (X_\alpha)_{\alpha\in I} en partition af X, hvis

  1. X_\alpha\cap X_\beta = \emptyset for alle \alpha,\beta\in I, hvor \alpha\neq\beta,
  2. \bigcup_{\alpha\in I} X_\alpha = X.
Matematik Stub
Denne artikel om matematik er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.