Vous êtes sur la page 1sur 18

Relation binaire

Pascal Lain

RELATION BINAIRE
Exercice 1 : { Soit

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. Allez : Correction exercice 2 : Exercice 3 : Sur , on considre la relation

} et

classes dquivalentes

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 bijecti on. Allez : Correction exercice 3 : Exercice 4 : Soient et deux ensembles et ( ) ,

une application. On dfinit une relation ( ) ( )

sur

en posant, pour tout

1. Montrer que est une relation dquivalence. 2. Dcrire la classe de llment . 3. Pourquoi lapplication ( ) Est-elle bien dfinie ? Montrer quelle est injective. Que peut-on conclure sur lensemble quotient Allez : Correction exercice 4 : Exercice 5 : Soit un ensemble et soit posant, pour tout couple (

une partie de . On dfinit dans ) de parties de :

( ) la relation dquivalence

en

1. Expliciter les classes , , et . 2. Montrer que si , alors est lunique reprsentant de contenu dans . 3. Expliciter une bijection entre ( ) et ( ). 1

Relation binaire

Pascal Lain

Remarque : ne pas hsiter, si ncessaire, expliciter les classes pour un cas particulier, par exemple { } et { }. Allez : Correction exercice 5 : 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 ? Allez : Correction exercice 6 : Exercice 7 : Soient un ensemble fini non vide et relations dquivalences sur ( ) ? 1. ( ), 2. ( ), 3. ( ), ( 4. ( ), 5. Soit , ( ), 6. Soit , ( ), Allez : Correction exercice 7 : Exercice 8 : Dans

un lment fix de . Les relations

dfinies ci-dessous sont-elles des

) ( )

, on dfinit une relation

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 ? Allez : Correction exercice 8 : 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 . Allez : Correction exercice 9 :

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 . Allez : Correction exercice 10 :

Relation binaire Exercice 11 : Soient un ensemble fini non vide et relations dordre sur ( ) ? 1. ( ), 2. ( ), 3. 4. ( ), ( ), )

Pascal Lain

un lment fix de . Les relations

dfinies ci-dessous sont-elles des

( 5. ( ), Allez : Correction exercice 11 :

Exercice 12 : Les relations dfinies ci-dessous sont-elles des relations dordre sur 1. , 2. , 3. , | | | | 4. , 5. , 6. , Allez : Correction exercice 12 : Exercice 13 : Montrer que la relation binaire dfinie par : ( ) Est une relation dordre. Allez : Correction exercice 13 : ( )

Exercice 14 : Les relations dfines ci-dessous sont-elles des relations dquivalence sur | | | | 1. 2. 3. 4. | | | |

| | 5. Allez : Correction exercice 14 :

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. Allez : Correction exercice 15 :

Relation binaire Exercice 16 : Soit la relation dfinie sur ] [ par :

Pascal Lain

Montrer que est une relation dordre total. Allez : Correction exercice 16 : 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. Allez : Correction exercice 17 : 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 . Allez : Correction exercice 18 : Exercice 19 : Soient une relation dfinie sur

par : ( ) ( ) 1. Montrer que est une relation dquivalence. ) 2. soit ( , avec , dcrire la classe dquivalence de ( Allez : Correction exercice 19 : Exercice 20 : Soit la relation dfinie sur (

).

par : ) ( ) {

Montrer que est une relation dordre total. Allez : Correction exercice 20 : 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 ( ). Allez : Correction exercice 21 :

) 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 : Correction exercice 2 : 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 { Allez : Exercice 2 : Correction exercice 3 : 1. ( est rflexive. ( ) ( ) est symtrique. ( ) ( ) { { ( ) ( ) est transitive. Finalement est une relation dquivalence. 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 ( Mais comme ( ) classe ( ) telle que Allez : Exercice 7 : Correction exercice 4 : 1. ( ) est rflexive. ( ) est symtrique. { { ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ) car ( ) . Soit ( sont dans la mme classe, soit on ) un autre couple solution on a alors ( ), cela montre quil ny a quune

on en dduit que ( ) (( ) ), est bijective.

est transitive. Finalement est une relation dquivalence. 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. Allez : Exercice 4 : ( ) Correction exercice 5 : Ici on ne demande pas de montrer que 1. { 6 ( ) } ( ) ( ) ( ), tout va bien, est bien dfinie,

( )

( )

( )

est une relation dquivalence.

Relation binaire Remarque : 2. Montrons que : { ( ) } { ( ) } { ( ) }

Pascal Lain

( ) ( ) , 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. Allez : Exercice 5 : Correction exercice 6 : 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. Allez : Exercice 6 : Correction exercice 7 : 1. donc { {

est rflexive donc donc

est symtrique. est transitive.

Cette relation est une relation dquivalence. Allez : Exercice 7 : 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. Allez : Exercice 7 : 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. Allez : Exercice 7 : 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 soie nt 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 Remarque : Il ny a quune seule classe dquivalence. Allez : Exercice 7 : 5. Si alors et donc on na pas , nest pas rflexive. Par consquent nest pas une relation dquivalence. Allez : Exercice 7 : ( ) 6. Soit , ( ), ou ( symtrique. { Or ( ) ( { ) ( De mme ( Donc (( ) ( ( (( ( ( ( ( Or ( Par consquence : Et alors Ce qui montre que Allez : Exercice 7 : est transitive et finalement est une relation dquivalence. et ) ( ( ) ) ( )) ( ) ( ( ) )) (( ) ) ( ( ( ( )) (( ) ( ) )) ( (( )) (( ) ) ) ( ( ) ) ( donc ) ( ) (( ) ) ) ( )) ) (( ( ) ( ) (( ) ( ) ) ) )) ( ) ( )) ) (( ( ( )) ) ( )) (( ) ) ( ) ( ) ( ) ( ) ) ( ( ) ) ( donc ) (

Pascal Lain

, ce qui signifie que est rflexive. ) , la relation (( ) ) ( ( ) )) (( ( ) ) ( (

est donc )) )

( ( (

)) ))

Correction exercice 8 : 1. Il existe tel que est rflexive. Si { alors il existe

, il suffit de prendre tels que {

, donc , do

. , en simplifiant par , on en dduit que . ,

. et sont deux entiers positifs, la seul solution est est antisymtrique. 9

Relation binaire Si { alors il existe tels que { , do , comme

Pascal Lain 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 . Allez : Exercice 8 : Correction exercice 9 : 1. Pour tout Il existe est rflexive. Sil existe

tel que tels que {

donc

. ( )

alors

donc .

, comme

et

sont des

entiers positifs, la seule solution est est antisymtrique. Si { il existe tels que {

, par consquent ( )

alors

comme

on a

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 .

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

Donc est le plus petit lment de { Le seul plus grand lment est .

10

Relation binaire } Donc est le plus grand lment de { Remarque : { } est un ensemble totalement ordonn pour la relation dordre dordre totale (sur cet ensemble). Allez : Exercice 9 : Correction exercice 10 : ) 1. ( ) donc ( est rflexive. ( ) ( ) { { ( ) ( ) { { est antisymtrique. ( ) ( ) { ( ) ( ) { ( ( ) ) ( ( { ( ( ) ) (

Pascal Lain

, autrement dit

est une relation

). ( ( { { ( ) ) { ( ) ( ) ) { ( ) ) ) { ) ( ) {

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 )( Si alors Si alors Si et Si et Si et Allez : Exercice 10 : 3. {( )} ( ) ( ) et ( ) ( ). ). ( ) ( ) et ( ) ( ) et ( ) alors ( ) ( alors ( ) ( ) et ( ) ( ) ( ) alors ( )

Pascal Lain

( ( (

). ). ).

Correction exercice 11 : 1. la relation est rflexive. { { { { la relation est antisymtrique. la relation est transitive.

Il sagit bien dune relation dordre. Allez : Exercice 11 : 2. la relation est rflexive. { { { { , la relation est antisymtrique. la relation est transitive.

Il sagit bien dune relation dordre. Allez : Exercice 11 : 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. { { et { ( ) ( ) ( ) ( )

On ne peut avoir { {

donc la relation nest pas antisymtrique. , la relation est transitive.

Allez : Exercice 11 : 4. donc

, la relation est rflexive. { { ne soit pas inclus

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 et pourtant antisymtrique. Donc la relation nest pas une relation dordre, regardons tout de mme la transitivit. { { ( ) ( ( ) ) ( ( ) ( ) ( ) ( ) ( ) ( ) ( )

. La relation nest pas

( )

Donc 12

Relation binaire ( On en dduit que Allez : Exercice 11 : ) ( ) ( )

Pascal Lain

, on a alors

. La relation est transitive.

Correction exercice 12 : 1. est faux donc la relation nest pas rflexive, ce nest pas une relation dquivalence. Allez : Exercice 12 : 2. , la relation est rflexive. { { { { , la relation est antisymtrique. , la relation est transitive. et pour tout , soit ,

est une relation dordre. Remarque : cette relation est une relation dordre totale puisque pour tou t soit . Allez : Exercice 12 : 3. , la relation est rflexive. { { { { , la relation est antisymtrique. , la relation est transitive.

est une relation dordre. Remarque : cette relation est une relation dordre totale puisque pour tout et pour tout , soit . Allez : Exercice 12 : 4. | | | | , la relation est rflexive. | | | | | | | | { { | | | | Cest mal parti pour affirmer que , il faut trouver un contre exemple. ( ) ( ) | | | | { { | | | | ( ) ( ) Et videmment , la relation nest pas antisymtrique. Allez : Exercice 12 : 5. donc , la relation est rflexive. { { { ( ) ( )

, 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. { , la relation est transitive. (par exemple) ne sont pas en relation,

Remarque : Cette relation nest pas une relation dordre totale car et cest une relation dordre partielle. Allez : Exercice 12 : 6. donc , la relation est rflexive. { { 13 {

Relation binaire Cest mal parti, rien nindique que { , prenons un contre-exemple. { {

Pascal Lain

Et pourtant . La relation nest pas antisymtrique. Ce nest pas une relation dordre. Regardons si elle est transitive (par cu riosit). { ( ) Allez : Exercice 12 : ( ) { , la relation est transitive.

Correction exercice 13 : ( ) ( ) entraine que , la relation est rflexive. 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. Allez : Exercice 13 : Correction exercice 14 : 1. donc est rflexive. Si alors alors alors donc est symtrique. Si et alors et , en additionnant ces deux galits on trouve . est transitive. Finalement est une relation dquivalence. 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. Allez : Exercice 14 : (ou ) car pour } , } donc si on considre , on

Correction exercice 15 : 1. | | | | , la relation est rflexive. | | | | | | | | , la relation est symtrique. | | | | | | | | { { , la relation est transitive, il sagit donc dune relation | | | | dquivalence. Allez : Exercice 15 : 2. Il y a un pige parce que sur pour ,| | | | | | et on vient de voir au 1) quil sagit une relation , on a , ce qui est faux dquivalence, le problme est en car | | na pas de sens. Ce nest pas une relation dquivalence. 14 . La rflexivit dit que pour tout

Relation binaire Allez : Exercice 15 : 3. , la relation est rflexive. , la relation est symtrique. { {

Pascal Lain

, la relation est transitive. Il sagit dune relation

dquivalence. Allez : Exercice 15 : | 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. | | | | , la relation est symtrique. | | { { | | | On ne voit pas bien pourquoi on aurait | . On prend , et | | | | | | | { et | , la relation nest pas transitive. | | | | Allez : Exercice 15 : | | | 5. | , la relation est rflexive. | | |
( )

la relation est symtrique. | | { { | | |

| | la relation est transitive, il sagit donc dune relation dquivalence. Allez : Exercice 15 : Correction exercice 16 : Premire mthode donc Si et alors car est antisymtrique. Si et alors Finalement Soit Deuxime mthode Soit ] [ Donc total Allez : Exercice 16 : dfinie par ( ) ( ) ( ) , , ( )
( )

est rflexive. et ( et et ) entraine donc et alors donc ( ( ) ( )( ) ) . Donc ) ( en particulier , do .

est transitive.

est une relation dordre. et alors , soit

, il sagit dune relation dordre total. donc est dcroissante sur ] [

est une relation dordre total donc

est une relation dordre

15

Relation binaire Correction exercice 17 : 1. ( ) Donc Ou { 2. { { } { }

Pascal Lain

cette relation est rflexive. cette relation est rflexive. cette relation est transitive. .On rappelle que les } } { { }}

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 Regardons la classe de { { Regardons la classe de { { Et cest fini. Il y a trois classes de Allez : Exercice 17 : Correction exercice 18 : 1. { Cette relation est rflexive. ( { ( { ) ) ( ( ) ) ( { { ( { ) ) ( ) ( { } , { {

} {

{ }}

} {

{ }}

lments (cela fait bien

lments).

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

Cette relation est antisymtrique. 16

Relation binaire ( { ( { ( { ) ) ) ( ( ) ) ( { { ( ( ) ) ( ( ) ( { ) ( ) )

Pascal Lain

{ )

Cette relation est transitive. Il sagit bien dune relation dordre. 2. ( ) ( Allez : Exercice 18 : ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

Correction exercice 19 : ) ( 1. donc ( ( ) ( ) Si ( Donc ( ) ( ) et (

), ) (

est rflexive. ( ) alors { et on simplifie par ) ( ) donc alors { , on a alors est symtrique. car , cest--dire

, on multiplie par

) ( ), donc est transitive. est une relation dquivalence. ) 2. Si ( ( ) , donc divise et daprs le thorme de Gauss divise , il existe tel que , cela que lon remplace dans , ce qui donne , ) sont les couples de la forme ( donc , lensemble des couples de ( ). Allez : Exercice 19 : Correction exercice 20 : { ( { ( { ) ) ( ( ) ) { { est antisymtrique. ) ( Si ( ) et ( { Si Si Si Si Soit ( et et et { ) ( donc ( et donc ( et alors ) deux couples de . alors 17 donc ( alors alors ) ) ( ) ( et ). ). donc ( ) ( { { { ) alors ( donc { ( ( do ( ) ) { ) ( ) { ) ( ), est rflexive.

).

) et (

Relation binaire ) ( Si ou si alors ( ) ou ( ) Si alors soit soit donc ( La relation est donc une relation dordre totale. Allez : Exercice 20 : ) ( ( ). ) ou ( )

Pascal Lain

).

Correction exercice 21 : ( ) ( ) 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. Finalement est une relation dquivalence. Allez : Exercice 21 : ( ) ( ( ) ( ) ( ( ) ( ) ( ) )

18