L'ordre produit direct

Prérequis. Produit cartésien.

Résumé. Pour qu'un vecteur domine un autre vecteur, chacune de ses composantes doit dominer chacune des composantes respectives de l'autre vecteur.

L'ordre produit direct

1. Exemples

On va d'abord approcher l'opérateur d'ordre produit direct (OPD) qu'on peut noter "»", de manière concrète et intuitive.

1) On considère la note en math et la note en français d'élèves et on admet que cela suffit pour évaluer le niveau scolaire. Paul a les notes (5 ; 15), tandis que Julie a les notes (4, 14). Alors Paul a un meilleur niveau scolaire que Julie et on écrit "Paul » Julie". En effet, la comparaison terme à terme des deux couples de notes donne Paul toujours meilleur. 

2) Maintenant, on considère que Julie a les notes (6 ; 0). On ne peut pas écrire Paul » Julie parce qu'en math, Julie est meilleure que Paul. Autrement dit, Paul et Julie ne sont pas comparables et la notion de niveau scolaire ne s'applique pas dans ce cas.

Pour qu'on puisse écrire Paul » Julie, il faut que Paul ait de meilleures notes que Julie dans toutes les matières.


2. Définition générale

On considère k ≥ 2 ensembles M i simplement (on peut aussi dire totalement) ordonnés de cardinal c. Par exemple, M 1 est l'ensemble des notes en math, et M 2 l'ensemble des notes en français. Ces ensembles sont identiques, mais le niveau scolaire suppose la donnée de deux notes : une en math, et une en français. On note de manière générale ces ensembles de la manière suivante :

M i = {x ij , j= 1, ..., c }.

Par exemple, le score x28 désigne la huitième note de l'ensemble des notes de français, tandis que x18 désigne la huitième note de l'ensemble des notes de math.

Lorsqu'on s'intéresse aux vecteurs des données (par exemple le vecteur (6, 0) de Julie), on trouve ces vecteurs dans le produit cartésien des ensembles Mi. Soit Mk le produit cartésien des k ensembles M i . Soient x et y deux éléments quelconques de M k

x = ( x1 , x2 , ..., xc ), avec xi une valeur dans Mi = {xij , j= 1, ..., c} ,  

y = ( y1 , y2 , ..., yc ), avec yi une valeur dans Mi .

Définition :

x » y si et seulement si pour tout i, xi yi .

Pour aller plus loin : Barbut & Monjardet (1970).