Exercices Corriges Relations Binaires PDF

Relation binaire
Pascal Lain
RELATION BINAIRE
Exercice 1 :
{
Soit
} et
la relation binaire sur dont le graphe est

{( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )}
1. Vrifier que la relation est une relation dquivalence.
2. Faire la liste des classes dquivalences distinctes et donner lensemble quotient
Allez : Correction exercice 1 :
Exercice 2 :
1. Montrer que la relation de congruence modulo
[ ]
Est une relation dquivalence sur .
2. En vous servant de la division euclidienne, montrer quil y a exactement
distinctes.
classes dquivalentes
Exercice 3 :
Sur , on considre la relation
dfinie par
(
) ( )
1. Montrer que est une relation dquivalence.
2. Dcrire la classe dquivalence ( ) du couple (
).
3. On dsigne par
lensemble quotient pour cette relation. Montrer que lapplication
[
[
( )
Est bien dfinie et que cest une bijection.
Exercice 4 :
Soient et deux ensembles et
(
)
,
une application. On dfinit une relation

( )
sur
en posant, pour tout
( )

2. Dcrire la classe de llment
.
3. Pourquoi lapplication
( )
Est-elle bien dfinie ? Montrer quelle est injective. Que peut-on conclure sur lensemble quotient
Exercice 5 :
Soit un ensemble et soit
posant, pour tout couple (
une partie de . On dfinit dans

) de parties de :
( ) la relation dquivalence
1. Expliciter les classes , , et .

2. Montrer que si
, alors est lunique reprsentant de contenu dans .
3. Expliciter une bijection entre ( )
et ( ).
1
en
Relation binaire
Pascal Lain
Remarque : ne pas hsiter, si ncessaire, expliciter les classes pour un cas particulier, par exemple
{
} et
{ }.
Exercice 6 :
Soit
lensemble des nombres premiers strictement suprieurs . On considre la relation
deux lments de
dfinie par :
entre
La relation est-elle rflexive, symtrique et transitive ?

Exercice 7 :
Soient un ensemble fini non vide et
relations dquivalences sur ( ) ?
1.
( ),
2.
( ),
3.
( ),
(
4.
( ),
5. Soit
,
( ),
6. Soit
,
( ),
Exercice 8 :
Dans
, on dfinit une relation
un lment fix de . Les relations
dfinies ci-dessous sont-elles des
)
(
en posant
1. Montrer que est une relation dordre partiel sur .

On considre dans la suite de lexercice que lensemble
est ordonn par la relation .
2. Lensemble
possde-t-il un plus grand lment ? un plus petit lment ?
3. Soit
{
}. Lensemble possde-t-il un plus grand lment ? Un plus petit lment ?
Exercice 9 :
Dans
, on dfinit une relation
en posant pour tout (
1. Montrer que est une relation dordre partiel sur .

On considre dans la suite de lexercice que lensemble
est ordonn par la relation
2. Soit
{
}. Dterminer le plus grand lment et le plus petit lment de .
Exercice 10 :
) (
)
(
)
Dans , on dfinit la relation en posant (
1. Montrer que est une relation dordre. Est-ce une relation dordre total ?
)} et reprsenter les dans
2. Dterminer lensemble des majorants et des minorants du singleton {(
{(
) ( )}. Dterminer
3. Soit
et
.
Relation binaire
Pascal Lain
Exercice 11 :
Soient un ensemble fini non vide et
relations dordre sur ( ) ?
1.
( ),
2.
( ),
un lment fix de . Les relations
dfinies ci-dessous sont-elles des
( ),
( ),
3.
4.
(
5.
( ),
Exercice 12 :
Les relations dfinies ci-dessous sont-elles des relations dordre sur
1.
,
2.
,
3.
,
| | | |
4.
,
5.
,
6.
,
Exercice 13 :
Montrer que la relation binaire dfinie par :
( )
( )
Est une relation dordre.

Exercice 14 :
Les relations dfines ci-dessous sont-elles des relations dquivalence sur
| | | |
1.
2.
| |
3.
4.
|
|
5.
Exercice 15 :
Soit , la relation dfinie sur
par :
1. Montrer que est une relation d'quivalence.

2. Dterminer la classe d'quivalence de pour tout rel .
3. Dterminer l'ensemble quotient.
Relation binaire
Pascal Lain
Exercice 16 :
Soit la relation dfinie sur ]
[ par :
Montrer que est une relation dordre total.

Exercice 17 :
1. Soit
, dterminer en fonction de lensemble des complexes tels que
{
}
Soit
On dfinit sur
la relation
2. Montrer que est une relation dquivalence sur
.
3. Dcrire lensemble des classes dquivalence.
Exercice 18 :
On dfinit sur
la relation
(
1. Montrer que est une relation dordre.

2. On admettra quil sagit dune relation dordre totale. Classer par ordre croissant les dix premiers
couples de
muni de la relation dordre .
Exercice 19 :
Soient une relation dfinie sur
par :
(
) (
)
)
2. soit (
, avec
, dcrire la classe dquivalence de (
Exercice 20 :
Soit la relation dfinie sur
).
par :
(
Montrer que est une relation dordre total.

Exercice 21 :
Soit un ensemble.
(
) (
On pose
)
On dfinit dans l'ensemble ( ) des parties de , la relation , en posant, pour tout couple (
parties de :
est un ensemble fini ayant un nombre fini pair dlment.
Montrer que est une relation d'quivalence dans ( ).
) de
Relation binaire
Pascal Lain
CORRECTIONS
Correction exercice 1 :
1. Daprs le graphe, on a :
{
} on a
Pour tout
donc la relation est rflexive. On a
et
dune part et
et
ce qui montre que la relation est symtrique et videmment elle est transitive, donc il sagit dune relation
dquivalence.
{ } et
{ } par consquent
2. Il y a deux classes dquivalence
{
}
Allez : Exercice 1 :
1.
divise
car existe
tel que
, il suffit de prendre
[ ]
, par consquent
est rflexive.
[ ] alors divise
Si
, c'est--dire quil existe
tel que
, ce qui entraine
( ) ,
[ ].
que
donc
divise , autrement dit
est symtrique.
[ ]
Si {
alors il existe
et
tel que {
, en faisant la somme de ces deux
[ ]
(
) , comme
galits
, divise
, autrement
[ ].
dit
est transitive.
Finalement est une relation dquivalence.
2. Soit
, effectuons la division euclidienne de par . Il existe un unique couple
( )
{
} tel que
[ ]. Il y a
, donc
autrement dit
}.
exactement classes dquivalence {
1.
(
est rflexive.
(
) ( )
est symtrique.
(
) ( )
{
{
( ) ( )
est transitive.
) (
)
(
) (
(
) (
)
)
2.
) ( )
(
) (
)
Si on pose
alors
, donc la classe de (
) est le cercle de centre ( ) de
) ( ) la classe de (
rayon . Si (
) est rduite ( ) (cest un cercle un peu spcial).
3. On appelle cette application , en fait cela sera une application lorsque lon aura montr que lorsque
que lon change de reprsentant la valeur de ne change pas, cest ce que lnonc veut dire en
demandant de montrer que est bien dfinie.
(
Relation binaire
Pascal Lain
) (
) (si ce nest pas vident pour
Prcisons un peu : si on a ( ) ( ) ce qui quivaut (
vous, rflchissez un peu et vous verrez cest vident) et si (( ))
(( ) ) on voit bien que cela
pose un problme dans la dfinition de .
(( ) ),
Si ( ) ( ) alors
donc (( ))
tout va bien est bien dfinie.
Remarque :
Si (( ))
alors nest pas une application.
Montrons que est une bijection.
(( ) )
Pout tout
[
[ il faut montrer quil existe une unique classe ( ) tel que
(( ) )
Soit il est vident que tous les couples (
) qui vrifie
fait leffort de le montrer, ce que nous allons faire.
Un couple solution est (
) car ( )
sont dans la mme classe, soit on
. Soit (
) un autre couple solution on a alors
on en dduit que ( )
Mais comme ( )
classe ( ) telle que
(( ) ),
( ), cela montre quil ny a quune
est bijective.
1.
( )
( )
est rflexive.
( )
( )
( )
( )
est symtrique.
{
( )
( )
( )
( )
( )
est transitive.
2. Pour tout
,
et donc ( )
( ) donc
( )
( )}
{
3. Notons cette application , cest le mme problme que dans lexercice prcdent, pour une classe
a-t-on forcment
on doit le mme rsultat quel que soit le reprsentant de la classe, si on a
( )?
( )
( ) donc ( )
autrement dit est une application.
Montrons que est injective.
( )
Donc est injective.
( )
Ici on ne demande pas de montrer que
1.
( )
( )
( )
( )
( ), tout va bien, est bien dfinie,
( )
est une relation dquivalence.
( )
6
Relation binaire
Pascal Lain
( )
( )
( )
Remarque :
2. Montrons que
(
) (
)
, il est clair que
Donc
, mais est-ce le seul ?
et
Soit
,
car
ce qui entraine que
est le seul lment de la classe de qui soit inclus dans .
3. On rappelle que ( )
est lensemble des classes pour la relation dquivalence
( )
On pose
( ) dfinie par ( )
.
a-t-on ( )
( )?
Est-ce que est bien dfinie ? Si on prends
.
.
Donc
( )
( )
Tout va bien.
( )
( ) ?
Pour tout
on cherche sil existe un unique
tel que
Daprs la question 2.
est le seul lment de la classe de qui soit inclus dans , cest
parfait cest exactement ce que lon voulait. est bijective.
Pour tout
est rflexive.
est symtrique.
Cherchons un peu
{
Il faudrait pouvoir en dduire que
{
et ce moment l on doit se dire que cela na pas lair
vident et que donc, puisque lnonc demande la relation est-elle transitive ? et non pas montrer
que la relation est transitive il se peut que la rponse soit non , on va donc chercher un contreexemple, pour cela on va faire un tableau.
Relation binaire
Pascal Lain
On a coch en jaune les cases des couples (

) en relation.
On a
et
et pourtant
nest pas en relation avec .
Remarque :
Pour trouver un contre-exemple il faut quil y ait au moins deux cases coches en jaune autre que celle
de la case
, donc sur ce tableau lexemple cit est le seul contre-exemple, pour en trouver dautre il
faudrait faire un tableau plus grand.
1.
donc
{
est rflexive
donc
donc
est symtrique.
est transitive.
Cette relation est une relation dquivalence.

2.
donc est rflexive.
{
donc
est transitive.
Mais si
alors
mais
donc on na pas
donc la relation nest pas symtrique.
Cette relation nest pas une relation dquivalence.
Remarque : il tait inutile de montrer que cette relation tait rflexive et transitive.
3. Si
alors
donc cette relation nest pas rflexive.
Donc ce nest pas une relation dquivalence, on va tout de mme regarder les deux autres proprits.
donc cette relation est symtrique.
{
Cela nentraine pas que

, prenons un exemple
{ },
{ } et
{ }.
Cette relation nest pas transitive.
4. Il vaut mieux rflchir un peu avant de se lancer, comment peuvent tre deux ensembles et qui ne
vrifient pas
? Cest clair il faut que ces deux ensembles soient tous les deux gal
lensemble vide, mais alors
. Il semble bien que pour tout ensemble et on ait
,
dmontrons cela.
Soient et deux ensembles :
Si
alors
et donc
.
Si
alors
et donc
.
La relation binaire est une relation dquivalence, si vous ntes pas convaincu :
donc est rflexive.
Si
alors
(
tant vraie pour tout et pour tout ). Donc est symtrique.
Si
et si
alors
(
tant vraie pour tout et pour tout ). Donc est transitive.
8
Relation binaire
Pascal Lain
Remarque :
Il ny a quune seule classe dquivalence.
5. Si
alors
et donc on na pas
, nest pas rflexive.
Par consquent nest pas une relation dquivalence.
(
)
6. Soit
,
( ),
ou
donc
) (
(
symtrique.
{
Or
(
, ce qui signifie que est rflexive.

)
, la relation
est donc
((
))
{
)
)
)
((
))
De mme
(
((
))
Donc
((
))
(
(
)
((
(
)
(
(
(
))
)
Or
et
) (
(
Par consquence :
))
))
((
))
((
)
)
))
))
((
((
((
))
(
))
)
)
))
((
((
))
)
((
)
(
)
(
)
)
(
(
donc
) (
Et alors
Ce qui montre que
1.
Il existe
tel que
est rflexive.
Si {
est transitive et finalement
alors il existe
, il suffit de prendre
tels que {
, donc
, do
.
et sont deux entiers positifs, la seul solution est
est antisymtrique.
9
.
, en simplifiant par
, on en dduit que
,
.
Relation binaire
Si {
Pascal Lain
tels que {
alors il existe
, do
, comme
on a
est transitive.
Finalement est une relation dordre partiel.
Remarque :
nest pas une relation dordre totale car il y a des couples de
qui ne sont pas en relation, par
exemple on a ni
ni
.
2. Supposons que
admette un plus grand lment not alors
avec
donc
ce qui signifie que
est plus grand (au sens de ) que ce qui est contradictoire puisque
est le plus grand, donc il ny a pas de plus grand lment.
Remarque prliminaire : si
alors
puisque
avec
donc
.
Sil y a un plus petit lment cela ne peut tre que le plus petit lment de
au sens de , c'est--dire . Estce que est le plus petit lment au sens de ?
Pour tout
, il existe
tel que
donc
, cest bon est le plus petit
lment de .
Remarque :
{ }, cest--dire lensemble des entiers suprieur ou gal na pas de plus petit lment puisque ne
vrifie pas
avec
pour tout
.
3. Avec la remarque prliminaire du 2. le seul plus petit lment de possible est 4 mais il nexiste pas de
tel que :
. Il ny a pas de plus petit lment (On a pris mais on aurait pu prendre
ou .
De mme le seul plus grand lment possible serait
mais il nexiste pas de
tel que
(on a pris mais on aurait pu prendre
ou .
1. Pour tout
Il existe
est rflexive.
tel que
donc
tels que {
Sil existe
entiers positifs, la seule solution est

est antisymtrique.
Si {
il existe
alors
donc
, par consquent
tels que {
alors
est une relation dordre partiel.

Remarque :
Ce nest pas une relation dordre totale car il y a des couples (
ni
ni
.
2. Remarque : si
alors
car il existe
(
.
Le seul plus petit lment possible est .
Donc est le plus petit lment de {

Le seul plus grand lment est .
10
, comme
et
sont des
comme
on a
) qui ne sont pas en relation, par exemple on a

) tel que
car
Relation binaire
Pascal Lain
}
Donc
est le plus grand lment de {
Remarque :
{
} est un ensemble totalement ordonn pour la relation dordre
dordre totale (sur cet ensemble).
)
1. (
) donc (
est rflexive.
(
) (
)
{
{
(
) (
)
)
)
{
est antisymtrique.
(
) (
)
{
(
) (
)
(
(
{
(
(
)
)
{
)
)
est une relation
).
(
(
, autrement dit
(
(
)
)
(
(
)
)
est transitive.
Finalement est une relation dordre (partiel).
Est-ce que cette relation est une relation dordre total ?
) et (
).
Considrons deux couples (
Il y a plusieurs cas :
) (
)
Si
alors (
) (
)
Si
alors (
) (
)
Si
et
alors (
) (
)
Si
et
alors (
) (
) (
) (
))
Si
et
alors (
) (on a (
) et (
Tous les couples sont comparables, est une relation dordre total.
) (
), ce sont les couples qui vrifient :
2. On cherche tous les couples (
) tels que (
{
Il sagit dun quart de plan limit en bas par la demi-droite

(demi-droite comprise) et
gauche par la demi-droite
(demi-droite non comprise).
) (
Lensemble des couples (
) tel que (
) est le complmentaire de ce quart de plan.
11
Relation binaire
Pascal Lain
{(
)(
Si
alors
Si
alors
Si
et
Si
et
Si
et
3.
)}
( ) (
) et
( ) ( ).
).
( ) ( ) et
( ) (
) et
( )
alors ( ) (
alors ( ) ( ) et
( )
( ) (
)
alors ( )
(
(
(
).
).
).
1.
la relation est rflexive.
{
la relation est antisymtrique.

la relation est transitive.
Il sagit bien dune relation dordre.

2.
la relation est rflexive.
{
, la relation est antisymtrique.

la relation est transitive.

3.
donc on na pas
, la relation nest pas rflexive, et ce nest pas une relation
dquivalence.
Regardons tout de mme les deux autres proprits.
{
On ne peut avoir
{
4.
donc
, la relation est transitive.
, la relation est rflexive.

{
On est mal parti pour en dduire que

, il faut trouver un contre exemple.
Soient contenant et contenant , et tel que ne soit pas inclus dans et que
dans .
donc
donc la relation nest pas antisymtrique.
et
donc
ne soit pas inclus
. La relation nest pas
et pourtant
antisymtrique.
Donc la relation nest pas une relation dordre, regardons tout de mme la transitivit.
{
{
(
)
(
(
)
Donc
12
)
(
(
)
)
(
(
)
)
(
(
)
Relation binaire
Pascal Lain
(
On en dduit que
, on a alors
. La relation est transitive.
1.
est faux donc la relation nest pas rflexive, ce nest pas une relation dquivalence.
2.
{

est une relation dordre.

Remarque : cette relation est une relation dordre totale puisque pour tout
soit
.
3.
{
et pour tout


Remarque : cette relation est une relation dordre totale puisque pour tout
et pour tout
, soit
.
4. | | | |
| | | |
| | | |
{
{
| | | |
Cest mal parti pour affirmer que
, il faut trouver un contre exemple.
( ) ( )
| | | |
{
{
| | | |
( ) ( )
Et videmment
, la relation nest pas antisymtrique.
5.
donc
{
, soit
, soit
Si la somme de deux entiers positifs est nul, cest que ces deux entiers sont nuls, par consquent
.
Donc
. La relation est antisymtrique.
{
(
) (
)
Finalement est une relation dordre.
{
Remarque : Cette relation nest pas une relation dordre totale car et
cest une relation dordre partielle.
6.
donc
{
{
13
(par exemple) ne sont pas en relation,
Relation binaire
Pascal Lain
Cest mal parti, rien nindique que
, prenons un contre-exemple.
Et pourtant
. La relation nest pas antisymtrique.
Ce nest pas une relation dordre. Regardons si elle est transitive (par curiosit).
{
(
)
{
( )
( ) entraine que
Si
et
alors ( )
( ) et ( )
( ) alors ( )
( ), est strictement monotone donc
est injective, par consquent
, ce qui signifie que est antisymtrique.
Si
et
alors ( )
( ) et ( )
( ) donc ( )
( ) ce qui signifie que
, est
transitive. On pourrait montrer que cest une relation dordre totale.
1.
donc est rflexive.
Si
alors
alors
alors
donc est symtrique.
Si
et
alors
et
, en additionnant ces deux galits on trouve
. est transitive.
2. Soit
si
cest--dire si
autrement dit si est
solution de lquation du second degr
, videmment est solution, le produit des
solutions est
(
) donc lautre solution est
. Donc {
} sauf si
{ }.
alors
3. Lensemble quotient est lensemble des classes dquivalence :
}
{{
On est oblig de considrer
crirait deux fois chaque classe.
(ou
) car pour
}
,
donc si on considre
, on
1. | | | |
| | | | | | | |
, la relation est symtrique.
| | | |
| | | |
{
{
, la relation est transitive, il sagit donc dune relation
| | | |
dquivalence.
2. Il y a un pige parce que sur
,| |
dquivalence, le problme est en

pour
| |
| | et on vient de voir au 1) quil sagit une relation
. La rflexivit dit que pour tout
car | | na pas de sens.
Ce nest pas une relation dquivalence.

14
, on a
, ce qui est faux
Relation binaire
Pascal Lain
3.
{
, la relation est transitive. Il sagit dune relation
dquivalence.
|
4. |
donc on na pas
, la relation nest pas rflexive et ce nest donc pas une relation
dquivalence.
Regardons tout de mme les autres proprits.
|
|
|
|
|
|
{
{
|
|
|
On ne voit pas bien pourquoi on aurait |
.
On prend
,
et
|
| |
|
| |
|
{
et |
, la relation nest pas transitive.
|
| |
|
| | |
5. |
|
la relation est symtrique.

|
|
{
{
|
|
|
|
|
la relation est transitive, il sagit donc dune relation dquivalence.
Premire mthode
donc
Si
et
est rflexive.
alors
et
(
car
est antisymtrique.
Si
et
alors
Finalement
Soit
donc
)
et
entraine
et
)
(
en particulier
, do
donc

et alors
, soit
)
)(
)
. Donc
est transitive.
, il sagit dune relation dordre total.
et alors
Deuxime mthode
Soit
Donc
total
dfinie par ( )
( )
( )
,
( )
donc
est dcroissante sur ]
est une relation dordre total donc
15
est une relation dordre
Relation binaire
Pascal Lain
1.
{
( )
Donc
Ou
{
2.
cette relation est rflexive.

cette relation est rflexive.
{
cette relation est transitive.
Donc est une relation dquivalence.

3. Remarque : est aussi une relation dquivalence sur , pas seulement sur
lments de
sont les complexes
Regardons la classe de
}
{
Et cest fini. Il y a trois classes de

{
{
{
.On rappelle que les
}}
}}
{
{
}}
lments (cela fait bien
lments).
1.
(
Cette relation est rflexive.

(
{
(
)
)
(
(
)
)
Les trois premiers systmes nont pas de solutions donc

(
{
(
)
)
(
(
)
)
Cette relation est antisymtrique.

16
Relation binaire
(
{
(
)
)
Pascal Lain
(
(
)
)
)
(
Cette relation est transitive.

2.
( ) (
) (
1.
donc (
(
) (
)
Si (
) (
),
est rflexive.
) (
(
) (
) et (
Donc
) donc
) alors {
, on multiplie par
est symtrique.
alors {
et on simplifie par
car
, cest--dire
, on a alors
) (
), donc est transitive.
)
2. Si (
(
)
, donc divise
et
daprs le thorme de Gauss divise ,
il existe
tel que
, cela que lon remplace dans
, ce qui donne
,
donc
, lensemble des couples de ( ) sont les couples de la forme (
).
{
{
(
{
(
do (
donc {
(
)
)
)
(
(
{
{
{
Si
Si
Si
Si
Soit (
),
est rflexive.
{
(
{
)
)
)
{
est antisymtrique.
) (
Si (
) et (
{
)
) alors
et {
et
et
) et (
) (
donc (
et
donc (
et
alors
) deux couples de .
alors
donc (
alors
alors
17
)
) (
) (
et
).
).
donc (
).
Relation binaire
Pascal Lain
) (
Si
ou si
alors (
) ou (
)
Si
alors soit
soit
donc (
La relation est donc une relation dordre totale.
)
(
(
).
) ou (
).
(
) (
)
a zro lment. Donc on a
. est rflexive.
(
) (
Si
,
) est un ensemble fini qui a un nombre pair dlments.
(
) (
) (
) (
)
Alors
est un ensemble fini qui a un nombre
pair
dlments. Donc est rflexive.
(
) (
Si
et
alors
) est un ensemble fini qui a un nombre pair dlments
(
) (
et
) est un ensemble fini qui a un nombre pair dlments.
) (
))
(
)
(
)
((
Comme
,
(
)
(
)
(
)
( )
( )
(
)
(
)
(
)
(
)
( )
( )
(
)
( )
( )
(
)
( )
( )
(
)
Donc
et
Donc
(
)
(
)
( )
(
)
(
)
( )
Cest un nombre fini et pair donc
, est transitive.
18
( )
( )
( )
(
(
(
)
)

Exercices Corriges Relations Binaires PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Exercices Corriges Relations Binaires PDF

Transféré par

Droits d'auteur :

Formats disponibles

Relation binaire

la relation binaire sur dont le graphe est

une application. On dfinit une relation

en posant, pour tout

1. Montrer que est une relation dquivalence.

une partie de . On dfinit dans

1. Expliciter les classes , , et .

La relation est-elle rflexive, symtrique et transitive ?

, on dfinit une relation

un lment fix de . Les relations

dfinies ci-dessous sont-elles des

1. Montrer que est une relation dordre partiel sur .

, on dfinit une relation

en posant pour tout (

1. Montrer que est une relation dordre partiel sur .

un lment fix de . Les relations

dfinies ci-dessous sont-elles des

Est une relation dordre.

1. Montrer que est une relation d'quivalence.

Montrer que est une relation dordre total.

1. Montrer que est une relation dordre.

Montrer que est une relation dordre total.

sont dans la mme classe, soit on

) un autre couple solution on a alors

( ), cela montre quil ny a quune

( ), tout va bien, est bien dfinie,

est une relation dquivalence.

On a coch en jaune les cases des couples (

Cette relation est une relation dquivalence.

Cela nentraine pas que

, ce qui signifie que est rflexive.

est une relation dquivalence.

est transitive et finalement

entiers positifs, la seule solution est

est une relation dordre partiel.

Donc est le plus petit lment de {

) qui ne sont pas en relation, par exemple on a

est une relation

Il sagit dun quart de plan limit en bas par la demi-droite

la relation est antisymtrique.

Il sagit bien dune relation dordre.

, la relation est antisymtrique.

Il sagit bien dune relation dordre.

, la relation est transitive.

, la relation est rflexive.

On est mal parti pour en dduire que

donc la relation nest pas antisymtrique.

ne soit pas inclus

. La relation nest pas

. La relation est transitive.

, la relation est antisymtrique.

est une relation dordre.

, la relation est antisymtrique.

est une relation dordre.

(par exemple) ne sont pas en relation,

Cest mal parti, rien nindique que

dquivalence, le problme est en

| | et on vient de voir au 1) quil sagit une relation

. La rflexivit dit que pour tout

car | | na pas de sens.

Ce nest pas une relation dquivalence.

, ce qui est faux

, la relation est transitive. Il sagit dune relation