Arrangement

Un article de Wikipédia, l'encyclopédie libre.

Pour les articles homonymes, voir Arrangement (homonymie).

La notion d'arrangement est utilisée en probabilités, et notamment pour les dénombrements en analyse combinatoire.

En mathématiques, lorsque nous choisissons k objets parmi n objets discernables et que l?ordre dans lequel les objets sont sélectionnés revêt une importance, nous pouvons les représenter par un k-uplet d'éléments distincts et on en constitue une liste ordonnée sans répétition possible, c'est-à-dire dans laquelle l'ordre des éléments est pris en compte (si l'on permute deux éléments de la liste, on a une liste différente, et un élément ne peut être présent qu'une seule fois).

Une telle liste ordonnée est appelée un arrangement. Le nombre d'arrangements que l'on peut faire est noté $A^k_n$ et vaut :

$A^k_n = n (n-1)(n-2) ... (n-k+1)$

Cette formule peut se comprendre à l'aide d'un arbre des choix successifs, puisque le premier élément est choisi parmi n, le second parmi (n-1) ... et le dernier parmi (n-k+1). Avec la notation factorielle, où n! = 1×2×...n, cette formule devient

$A^k_n = \frac$

A^k_n est en fait le nombre d'injections que l'on peut faire d'un ensemble à k éléments vers un ensemble à n éléments. Le nombre d'arrangements est lié au coefficient binomial ${n \choose k}$ (anciennement $C^k_n$ ) par :

${n \choose k} = \frac$

Exemple : À un examen, cinq candidats tirent les uns après les autres un sujet dans une urne contenant des questions toutes différentes. Le premier tirage se fera sur un ensemble de 50 questions possibles. À chaque tirage suivant, la question qui vient d'être tirée est enlevée de l'urne. Ainsi, en faisant passer les cinq candidats, le tirage se fait d'abord sur 50, puis sur 49, et ainsi de suite jusqu'à 46 qui représente l'ensemble des questions restantes dans l'urne pour le dernier tirage. L'arrangement va consister à additioner à chaque modification possible de cet ensemble de départ la nouvelle probabilité de piocher une question donnée. La solution pour cet exemple est donc un arrangement de 5 (k) à 50 (n).

Si on remettait la question tirée de nouveau dans l'urne à chaque tirage, ce serait un arrangement avec répétition de 5 (k) à 50 (n), et la solution vaudrait 50^5.

Exemples d'arrangements :

une phrase sans répétition de mot est un arrangement du dictionnaire ;
une association forme son bureau (président, trésorier, secrétaire) à partir des membres de l'association ; le bureau est un arrangement de l'association ;
le podium d'une course est un arrangement de l'ensemble des participants.

Sommaire

1 Définition mathématique
2 Algorithme de calcul
- 2.1 En pseudo-code
- 2.2 En Java
3 Voir aussi
- 3.1 Liens internes

[] Définition mathématique

Définition

Soient E un ensemble fini de cardinal n et k un entier naturel. Un k-arrangement sans répétition de E est une application injective de {1, 2, ..., k} dans E.

Autre définition

Soient E un ensemble fini de cardinal n et k un entier naturel. Un k-arrangement de E (ou k-arrangement sans répétition de E, ou encore arrangement sans répétition de n éléments pris k à k) est un k-uplet (a₁, a₂, ..., a_k) d'éléments de E tel que a_i?a_j qqsoit i, j ? [1,k] avec i?j,. Un tel k-uplet est aussi appelé k-liste distincte d'éléments de E.

Théorème

Soient E et F deux ensembles finis de cardinaux respectifs n et k. L?ensemble $\mathcal I(F, E)$ des applications injectives de F dans E est fini et son cardinal est égal à n(n-1)... (n-k+1) si k?n et 0 sinon. Ce cardinal se note $A_n^k$ et se lit « Ank ». On dit aussi qu'on a un arrangement de k à n.

Démonstration

Si k > n, alors il n'existe aucune injection de F dans E et donc $A_n^k=0$ .
Si k < n, alors démontrons l'égalité par récurrence sur l'entier k.
- Si k = 1 alors F est un singleton et toute application de F dans E est injective donc $A_n^1 = n$ .
- Supposons l'égalité vérifiée pour tout ensemble F de cardinal k - 1 (2 ? k ? n) et démontrons la au rang k :
  Soit F un ensemble de cardinal k, et x un élément de F. Posons G=F\. Nous avons card(G)=k-1.
  Considérons la relation qui relie deux injections de F dans E quand elles ont même restriction à G. Les classes d'équivalence partitionnent $\mathcal I(F,E)$ en classes ayant toutes comme cardinal n-(k-1). En effet, il y a autant de façons de prolonger une injection de G dans E en une injection de F dans E que de choix de l'image de x parmi les n-k+1 images possibles. De plus le nombre de classes d'équivalence est égal au nombre de restrictions différentes d'applications de $\mathcal I(F,E)$ à G; il y en a donc $\rm\left(\mathcal I(G, E)\right)$ (la restriction d'une injection à une partie étant injective). D'après le lemme des bergers :
  $A_n^k = (n - k + 1). A_n^= n(n - 1) \ldots (n-k+2)(n- k+1)$ .
Si k=0, nous poserons par convention pour tout entier naturel n $A_n^0=1$ , puisqu'il existe une seule application qui va de l'ensemble vide ? dans un ensemble quelconque E qui de plus est injective !

Démonstration (élémentaire)

Si 1 ? k ? n alors supposons que F={x₁, x₂, ..., x_k}. Pour construire une application injective de F dans E, nous devons

choisir l'image de x₁ et il y a n images possibles,
choisir l'image de x₂ et il reste n-1 images possibles,
...
choisir l'image de x_k, il reste dans l'ensemble E n - (k-1) éléments non atteints donc n - (k-1) images possibles.

Au total, nous avons construit n.(n-1).....(n - k + 1) applications injectives différentes.

Corollaire

$A_n^k$ est aussi le nombre de k-arrangements sans répétition d'un ensemble E de cardinal n et nous avons $\forall n, k \in \mathbb, A_n^k=\left\0 & \rm & k>n\\\frac & \rm & k\leq n\\\end\right.$

Démonstration

Supposons F={x₁, x₂, ..., x_k}. Une injection f de F dans E s'identifie au k-uplet d'éléments distincts (f(x₁), f(x₂), ..., f(x_k)). Il y a donc une bijection entre l'ensemble des applications injectives de F dans E et l'ensemble des k-uplets d'éléments distincts de E.

Remarque

Construire un arrangement revient à placer les uns après les autres, k objets discernables pris parmi n, dans k cases numérotées et donc une permutation de n éléments est un n-arrangement de n éléments. La notion d'arrangement généralise donc celle de permutation.

[] Algorithme de calcul

[] En pseudo-code

Fonction Arrangements (n, k)

Ank = 1

// Test aux limites

Si k < 0 ou k > n alors

Retourner 0

Fin Si

// Calcul de Ank (boucle de i = k à n-1)

i = k

Tant que i < n

Ank = Ank * i

i = i + 1

Fin tant que

Retourner Ank

Fin fonction

[] En Java

int arrangements(final int n, final int k)
{

int Ank = 1;

// Test aux limites

if (k < 0 || k > n)

{

return 0;

}

// Calcul de Ank (boucle de i = n-k à n)

for (int i = n - k + 1; i <= n; i++)

{

Ank *= i;

}

return Ank;

}

[] Voir aussi

[] Liens internes

Opération binaire
numérique	fonctionnelle	en ensemble ordonné	structurelle
élémentaire + addition ? soustraction × multiplication ÷ division ^ puissance arithmétique div quotient euclidien mod reste euclidien ? PGCD ? PPCM combinatoire ( ) coefficient binomial A arrangement	? composition ? convolution	ensemble de parties ? réunion \ complémentation ? intersection ? différence symétrique ordre total min minimum max maximum treillis ? borne inférieure ? borne supérieure	ensembles × produit cartésien ? union disjointe ^ puissance ensembliste groupes ? somme directe ? produit libre ? produit en couronne modules ? produit tensoriel Hom homomorphismes Tor torsion Ext extensions	arbres ? enracinement variétés connexes # somme connexe espaces pointés ? bouquet ? smash produit ? joint
	vectorielle
	(.) produit scalaire ? produit vectoriel
	algébrique
	[,] crochet de Lie crochet de Poisson ? produit extérieur
	homologique
	? cup-produit ? produit d'intersection	séquentielle
	? cup-produit ? produit d'intersection	+ concaténation
logique booléenne
? ET (conjonction)	? OU (disjonction)	? OU exclusif	? IMP (implication)	? EQV (coïncidence)

Portail des mathématiques

Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/ Arrangement

eBabylone
.com

Arrangement

Un article de Wikipédia, l'encyclopédie libre.

Sommaire

[] Définition mathématique

[] Algorithme de calcul

[] En pseudo-code

[] En Java

[] Voir aussi

[] Liens internes

Réagissez

eBabylone .com

Arrangement

Un article de Wikipédia, l'encyclopédie libre.

Sommaire

[] Définition mathématique

[] Algorithme de calcul

[] En pseudo-code

[] En Java

[] Voir aussi

[] Liens internes

Réagissez

eBabylone
.com