Partition (mathematiques)

Partition (mathematiques)

Partition (mathématiques)

Page d'aide sur l'homonymie Pour les articles homonymes, voir Partition.

Une partition d'un ensemble X est un ensemble P de sous-ensembles non vides de X deux à deux disjoints et qui forment un recouvrement de X. Autrement dit P est une partition de X si et seulement si les parties de P sont non vides et tout élément x de X se trouve dans l'une exactement de ces parties.

Sommaire

Définition

Soit un ensemble X quelconque. Un ensemble P de sous-ensembles de X est une partition de X si :

  • Aucun élément de P n'est vide  ;
  • L'union des éléments de P est égale à X ;
  • Les éléments de P sont deux à deux disjoints.

Les éléments de P sont appelés les parties de la partition.


En notation mathématique en posant P = {P1,P2,...Pn} avec P_i \subset X les conditions ci-dessus peuvent s'écrire :

  • P_i \neq \emptyset
  • \bigcup P_i = X
  • P_i \cap P_j =\emptyset \text{ si } i \neq j

Exemples

L'ensemble {1, 2, 3} a les partitions suivantes :

  • { {1}, {2}, {3} },
  • { {1, 2}, {3} },
  • { {1, 3}, {2} },
  • { {1}, {2, 3} } et
  • { {1, 2, 3} }.

Remarquons que

  • { {}, {1, 3}, {2} } n'est pas une partition parce qu'elle contient l'ensemble vide, noté {} ou \empty.
  • { {1, 2}, {2, 3} } n'est pas une partition parce que l'élément 2 appartient à plus d'une partie.
  • { {1}, {2} } n'est pas une partition de {1, 2, 3} parce qu'aucun de ses éléments ne contient 3 ; c'est une partition de {1, 2}.

Dans le cas où toutes les parties de la partition ont même cardinal, on retrouve le lemme des bergers.


On pourrait penser que la première condition de la définition implique que l'ensemble vide n'admet pas de partitions. Il n'en est rien : la partition vide convient (et c'est la seule), puisque n'ayant aucun élément, tous ses éléments ont bien toutes les propriétés voulues, et que leur union est évidemment l'ensemble vide lui-même.

Partitions et relations d'équivalence

Si une relation d'équivalence est donnée sur l'ensemble X, alors l'ensemble de toutes les classes d'équivalence forme une partition de X. Inversement, si une partition P de X est donnée, alors nous pouvons définir une relation d'équivalence sur X notée ~, par x ~ y si et seulement s’il existe une partie de P qui contient à la fois x et y. Les notions de relation d'équivalence et de partition sont donc fondamentalement équivalentes.

Ordre partiel sur les partitions : le treillis des partitions

L'ensemble de toutes les partitions d'un ensemble est partiellement ordonné : par définition, une partition est plus fine qu'une autre si elle fractionne les parties de l'autre en de plus petites parties. Cet ordre partiel forme un treillis complet où la borne inférieure est la partition grossière en un seul sous-ensemble et la borne supérieure la partition en singletons.

Nombre de partitions d'un ensemble fini

  • Le nombre de Bell Bn est le nombre de partitions différentes d'un ensemble à n éléments. Les premiers nombres de Bell sont B0=1, B1=1, B2=2, B3=5, B4=15, B5=52, B6=203.

Les partitions par paire

  • Le nombre de partitions par paires d'un ensemble à 2n éléments est égal à \frac{(2n) !}{2^n n !}
  • Une bijection d'un ensemble E sur un ensemble F transforme une partition de E par paire, en une partition de F par paire.
  • Tout ensemble infini admet au moins une partition par paire.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Partition (math%C3%A9matiques) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Partition (mathematiques) de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Partition (mathématiques) — Pour les articles homonymes, voir Partition.  En particulier en mathématiques, ne pas confondre avec la notion de partition d un entier, ni celle de partition de l unité. Une partition d un ensemble X est un ensemble P de sous ensembles non… …   Wikipédia en Français

  • Partition mathématique — Partition (mathématiques) Pour les articles homonymes, voir Partition. Une partition d un ensemble X est un ensemble P de sous ensembles non vides de X deux à deux disjoints et qui forment un recouvrement de X. Autrement dit P est une partition… …   Wikipédia en Français

  • Partition entière — Partition d un entier Une partition d un entier strictement positif n est une façon d écrire n comme une somme d entiers strictement positifs. Deux sommes qui diffèrent seulement de l ordre de leurs opérandes sont considérées comme étant la même… …   Wikipédia en Français

  • Partition d'un entier — Pour les articles homonymes, voir Partition.  En particulier en mathématiques, ne pas confondre avec la notion de partition de l unité ni celle de partition d un ensemble …   Wikipédia en Français

  • Partition — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « partition », sur le Wiktionnaire (dictionnaire universel) Le mot « partition », dérivé du… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Fonction Partition — En mathématiques, la fonction partition p(n) représente le nombre de partitions possibles d un entier naturel n, ce qui veut dire le nombre de manières distinctes (et d ordre indépendant) de représenter n comme une somme d entiers. Par convention …   Wikipédia en Français

  • Fonction partition — En mathématiques, la fonction partition p(n) représente le nombre de partitions possibles d un entier naturel n, ce qui veut dire le nombre de manières distinctes (et d ordre indépendant) de représenter n comme une somme d entiers. Par convention …   Wikipédia en Français

  • ISLAM - Les mathématiques et les autres sciences — «Et vous avez en ma personne le meilleur barbier de Bagdad, un médecin expérimenté, un chimiste très profond, un astrologue qui ne se trompe point, un grammairien achevé, un parfait rhétoricien, un logicien subtil, un mathématicien accompli dans… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”