TH`ESE présentée pour obtenir le grade de DOCTEUR Domaine ...
TH`ESE présentée pour obtenir le grade de DOCTEUR Domaine ...
TH`ESE présentée pour obtenir le grade de DOCTEUR Domaine ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
32 Chap. 1 – Part. 1.3<br />
Cette insertion par va<strong>le</strong>ur peut se généraliser comme suit : soient k un<br />
entier et k une <strong>le</strong>ttre dont la gran<strong>de</strong>ur est comprise entre k − 1 et k (i.e.,<br />
k − 1 < k < k). On définit une M-bijection Ψk, appelée k-insertion, par<br />
[D1] Ψk(π1π2 · · · πn−1, x) = Ω(π1π2 · · · πxkπx+1 · · · πn) ∈ Sn,<br />
où Ω est encore la réduction. Comme la réduction est une opération simp<strong>le</strong><br />
à faire, on note éga<strong>le</strong>ment Ψk la M-bijection opérant sur <strong>le</strong>s permutations<br />
(non-réduites) <strong>de</strong> [n − 1] ∪ k.<br />
On a besoin aussi <strong>de</strong> la notation suivante :<br />
DÉFINITION 4.3. — Soient x, y et z trois nombres réels. On dit que<br />
<strong>le</strong> trip<strong>le</strong>t (x, y, z) est un triplant, noté x ≥y z, si ou bien x ≥ z avec y<br />
à l’extérieur <strong>de</strong> l’interval<strong>le</strong> [z, x], ou bien x < z avec y à l’intérieur <strong>de</strong><br />
]x, z[ ; en d’autres termes, si l’une <strong>de</strong>s conditions suivantes est satisfaite :<br />
y < z ≤ x, z ≤ x < y, ou x < y < z. On utilise <strong>le</strong>s autres écritures<br />
dérivées : x >y z signifie x ≥y z et x = z. On écrit encore x ≤y z, si<br />
x >y z n’est pas vrai.<br />
D ÉFINITION 4.4. — Soit π ∈ Sn [par convention, on pose π0 =<br />
πn+1 = 0] ; on dit qu’il y a une k-<strong>de</strong>scente à la place i, ou que i est<br />
une place <strong>de</strong> k-<strong>de</strong>scente, si πi > k πi+1, c’est-à-dire si l’une <strong>de</strong>s conditions<br />
suivantes est satisfaite :<br />
πi > πi+1 > k, k > πi > πi+1, πi < k < πi+1.<br />
Le nombre <strong>de</strong> k-<strong>de</strong>scentes et l’indice k-majeur sont définis par<br />
et<br />
<strong>de</strong>sk(π) = #{i | πi > k πi+1} − 1;<br />
maj k(π) = {i | πi > k πi+1} − n.<br />
LEMME 4.5. — On a en fait <strong>de</strong>sk = <strong>de</strong>s et maj = maj k +n − k + 1.<br />
D ÉMONSTRATION. — Soit π = (π0 = 0)π1π2 · · · πn(πn+1 = 0) une<br />
permutation. On peut décomposer <strong>le</strong> mot π <strong>de</strong> façon unique comme suit :<br />
π = p1q1p2q2 · · · prqrpr+1,<br />
où <strong>le</strong>s pi sont <strong>de</strong>s mots dont toutes <strong>le</strong>s <strong>le</strong>ttres sont plus petites que k et<br />
où <strong>le</strong>s qi sont <strong>de</strong>s mots dont toutes <strong>le</strong>s <strong>le</strong>ttres sont plus gran<strong>de</strong>s que k.