12.08.2013 Views

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 ...

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!