Ivan Shishkin, Rye (1878)

Discussions

On peut calculer les sommes de signature ???

0 messages

Solution

Solution by Sequoia · FR

  1. En reprenant la formule du déterminant de la première indication, on remarque qu’on nous demande simplement de calculer le déterminant de la matrice avec des 11 partout (on prend tous les ai,σ(i)a_{i,\sigma(i)} égaux à 11). Mais cette matrice n’est clairement pas inversible car de rang 11 (toutes les colonnes sont égales) donc σSnε(σ)=0\sum_{\sigma\in\mathfrak{S}_n}\varepsilon(\sigma)=0. On notera le cas particulier n=1n=1 qui donne 11 pour résultat (car la seule permutation de taille 11 est l’identité, de signature 11).

  2. Notons Δn\Delta_n notre déterminant. On va alors réaliser différentes combinaisons avec les colonnes pour le calculer, ce qui est bien possible car le déterminant est invariant par ce type d’opération. Notons alors C1,,CnC_1,\dots, C_n les colonnes de notre matrice.

En retirant C1C_1 à toutes les colonnes Ci,i2C_i,i\geqslant 2 on trouve que:
Δn=01111(0)1(0)1\Delta_n=\begin{vmatrix} 0 & 1 & \dots & 1 \\ 1 & -1 & & (0)\\ \vdots & & \ddots & \\ 1 & (0) & & -1 \end{vmatrix}Il ne reste plus qu’à ajouter toutes les colonnes Ci,i2C_{i}, i\geqslant2 à C1C_1, ce qui donne:
Δn=n1111(0)(0)1\Delta_n=\begin{vmatrix} n-1 & 1 & \dots & 1 \\ & -1 & & (0)\\ & & \ddots & \\ (0) & & & -1 \end{vmatrix}On tombe ainsi sur une matrice triangulaire supérieure, dont il est facile de calculer le déterminant: c’est le produit des éléments sur la diagonale. Ainsi Δn=(1)n1(n1)\Delta_n=(-1)^{n-1}(n-1).

  1. On voit encore apparaître la forme d’un déterminant. Mais ici on somme sur des dérangements donc le produit iai,σ(i)\prod_{i}a_{i,\sigma(i)} est nul si, et seulement si, σ\sigma n’est pas un dérangement, soit s’il admet un point fixe.
    Ainsi cela se transcrit par l’annulation de tous les coefficients diagonaux aj,ja_{j,j}. Et si σ\sigma est un dérangement alors le produit vaut 11 donc on prend tous les autres coefficients égaux à 11.

Mais alors on retrouve le déterminant de notre matrice de la question 2)2) ! On conclut donc que notre somme est égale à son déterminant, ce qui donne le résultat.

No messages yet.