====================================================================================================

monoide::

      [123, 3|12, 1|23, 13|2, 3|2|1, 1|3|2, 1|2|3, 23|1, 12|3, 3|1|2, 2|1|3, 2|13, 2|3|1]

distribution de probabilite::

      {12|3: 1/5, 23|1: 1/7, 13|2: 1/5}

treillis de support::

      [{2|3|1, 1|2|3, 3|1|2, 2|1|3, 3|2|1, 1|3|2}, {1|23, 23|1}, {3|12, 12|3}, {13|2, 2|13}, {123}]

====================================================================================================

X, element du treillis L::

      {2|3|1, 1|2|3, 3|1|2, 2|1|3, 3|2|1, 1|3|2}

sous-monoide d'elements x tels que supp(x) >= X::

      [123, 3|12, 1|23, 13|2, 2|3|1, 3|1|2, 3|2|1, 1|2|3, 12|3, 23|1, 2|1|3, 2|13, 1|3|2]

restriction de la distribution au sous-monoide::

      {12|3: 1/5, 13|2: 1/5, 23|1: 1/7}

elements minimaux ('regions') du sous-monoide::

      [2|3|1, 1|2|3, 3|1|2, 2|1|3, 3|2|1, 1|3|2]

matrice de transition pour ce sous-monoide::

      [1/7   0 1/5 1/5   0   0]
      [1/7 1/5   0   0   0 1/5]
      [  0 1/5 1/5   0 1/7   0]
      [1/7   0   0 1/5   0 1/5]
      [  0   0 1/5 1/5 1/7   0]
      [  0 1/5   0   0 1/7 1/5]

espaces propres de la matrice de transition::

      valeur propre: 0
      vecteurs propres:
           [ 1  0 -1 -1  0  1]
           [ 0  1 -1 -1  1  0]

      valeur propre: 1/7
      vecteurs propres:
           [ 1  0  0  0 -1  0]

      valeur propre: 1/5
      vecteurs propres:
           [ 0  1  0 -1  0  0]
           [ 0  0  1  0  0 -1]

      valeur propre: 19/35
      vecteurs propres:
           [    1 49/30   7/6   7/6     1 49/30]

un vecteur propre normalize associe a la valeur propre maximale::

      (5/38, 49/228, 35/228, 35/228, 5/38, 49/228)

vecteur propre vu comme combinaison lineaire de regions::

      35/228*B[2|1|3] + 5/38*B[3|2|1] + 49/228*B[1|2|3] + 35/228*B[3|1|2] + 5/38*B[2|3|1] + 49/228*B[1|3|2]

====================================================================================================

X, element du treillis L::

      {1|23, 23|1}

sous-monoide d'elements x tels que supp(x) >= X::

      [123, 1|23, 23|1]

restriction de la distribution au sous-monoide::

      {23|1: 1/7}

elements minimaux ('regions') du sous-monoide::

      [1|23, 23|1]

matrice de transition pour ce sous-monoide::

      [  0 1/7]
      [  0 1/7]

espaces propres de la matrice de transition::

      valeur propre: 0
      vecteurs propres:
           [ 1 -1]

      valeur propre: 1/7
      vecteurs propres:
           [0 1]

un vecteur propre normalize associe a la valeur propre maximale::

      (0, 1)

vecteur propre vu comme combinaison lineaire de regions::

      B[23|1]

====================================================================================================

X, element du treillis L::

      {3|12, 12|3}

sous-monoide d'elements x tels que supp(x) >= X::

      [123, 3|12, 12|3]

restriction de la distribution au sous-monoide::

      {12|3: 1/5}

elements minimaux ('regions') du sous-monoide::

      [3|12, 12|3]

matrice de transition pour ce sous-monoide::

      [  0 1/5]
      [  0 1/5]

espaces propres de la matrice de transition::

      valeur propre: 0
      vecteurs propres:
           [ 1 -1]

      valeur propre: 1/5
      vecteurs propres:
           [0 1]

un vecteur propre normalize associe a la valeur propre maximale::

      (0, 1)

vecteur propre vu comme combinaison lineaire de regions::

      B[12|3]

====================================================================================================

X, element du treillis L::

      {13|2, 2|13}

sous-monoide d'elements x tels que supp(x) >= X::

      [123, 2|13, 13|2]

restriction de la distribution au sous-monoide::

      {13|2: 1/5}

elements minimaux ('regions') du sous-monoide::

      [13|2, 2|13]

matrice de transition pour ce sous-monoide::

      [1/5   0]
      [1/5   0]

espaces propres de la matrice de transition::

      valeur propre: 0
      vecteurs propres:
           [ 1 -1]

      valeur propre: 1/5
      vecteurs propres:
           [1 0]

un vecteur propre normalize associe a la valeur propre maximale::

      (1, 0)

vecteur propre vu comme combinaison lineaire de regions::

      B[13|2]

====================================================================================================

X, element du treillis L::

      {123}

sous-monoide d'elements x tels que supp(x) >= X::

      [123]

restriction de la distribution au sous-monoide::

      {}

elements minimaux ('regions') du sous-monoide::

      [123]

matrice de transition pour ce sous-monoide::

      [0]

espaces propres de la matrice de transition::

      valeur propre: 0
      vecteurs propres:
           [1]

un vecteur propre normalize associe a la valeur propre maximale::

      (1)

vecteur propre vu comme combinaison lineaire de regions::

      B[123]

====================================================================================================
====================================================================================================

valeurs propres::

      19/35
      1/7
      1/5
      1/5
      0

====================================================================================================

idempontents orthogonaux::

      5/38*B[2|3|1] + 49/228*B[1|2|3] + 35/228*B[3|1|2] + 35/228*B[2|1|3] + 5/38*B[3|2|1] + 49/228*B[1|3|2]
      B[23|1] - 1/2*B[2|3|1] - 1/2*B[3|2|1]
      B[12|3] - 5/12*B[2|1|3] - 7/12*B[1|2|3]
      -7/12*B[1|3|2] - 5/12*B[3|1|2] + B[13|2]
      7/19*B[2|3|1] - B[13|2] + B[123] + 7/19*B[3|2|1] + 7/19*B[1|2|3] + 5/19*B[3|1|2] - B[23|1] + 5/19*B[2|1|3] - B[12|3] + 7/19*B[1|3|2]

====================================================================================================

somme de valeurs propres fois idempotents orthogonaux::

      1/7*B[23|1] + 1/5*B[13|2] + 1/5*B[12|3]

====================================================================================================