Corrigé du test 2 (sujet 1)

1) Soit < une relation dé…nie sur un ensemble E non vide. (3pt)
< est une relation d’ordre si:
a) < est ré‡éxive: [8x 2 E; x<x:]
b) < est antisymétrique: 8(x; y) 2 E 2 ; (x<y ^ y<x) =) x = y:
c) < est transitive: 8(x; y; z) 2 E 3 ; (x<y ^ y<z) =) x<z
< est une relation d’ordre total si 8(x; y) 2 E 2 ; ( x<y _ y<x) (1pt)

2.Considérons dans Z la relation < dé…nie par :

8(x; y) 2 Z2 ; x<y () x2 y2 0

2.1. < est ré‡éxive. En e¤et, (2pt)

8x 2 Z; x2 x2 0, d’où 8x 2 Z; x<x:
Transitivité. Soient x; y; z 2 Z; (3pt)

(x<y ^ y<z) =) (x2 y 2 0) ^ (y 2 z 2 0)

=) x2 y 2 + y 2 z 2 0
=) x2 z 2 0
=) x<z

Donc < est transitive.

2.2 Pour savoir si < est une relation d’ordre, on doit étudier l’antysimétrie.
(2pt)
Soient x; y 2 Z;

(x<y ^ y<x) =) (x2 y 2 0) ^ (y 2 x2 0)

=) (x2 y 2 0) ^ ( (x2 y 2 ) 0)
=) x2 y 2 = 0
=) (x y)(x + y) = 0
=) (x = y) _ (x = y):

Par suite < n’est pas antisymétrique et on com…rme avec le contre exemple
suivant (1pt) 8
>
> (1)2 ( 1)2 = 0
>
>
< ^
( 1)2 (1)2 = 0
>
>
>
> ^
:
1 6= 1
Par conséquent < n’est pas une relation d’ordre.

1
 2.3 On remplaçant Z par N; on obtient que < est antisymétrique. En e¤et
(2pt)
Soient x; y 2 N;

(x<y ^ y<x) =) (x2 y 2 0 ^ y 2 x2 0)

=) x2 y 2 = 0
=) x2 = y 2
=) x = y:

Par suite < est une relation d’ordre.

On a, 8x; y 2 N; (x2 y 2 0)_(y 2 x2 0) (1pt)
D’où 8x; y 2 N; (x<y _ y<x); donc < est une relation d’ordre total.