[PDF] Relation déquivalence, relation dordre - Exo7

Exercice 1 Dans C on définit la relation R par : zRz ⇔ z = z 1 Montrer que R est une relation d'équivalence 2 Déterminer la classe d'équivalence de chaque z

Allez à : Correction exercice 6 : Exercice 7 : Soient un ensemble fini non vide et un élément fixé de Les relations définies ci-dessous sont-elles des

[PDF] Corrigé du TD no 7

Exercice 1 Dire si chacune des relations ci-dessous est réflexive, symétrique, ou transitive 1 La relation R sur Q définie par : xRy ⇔ xy = 0 (a) La relation R

[PDF] Relation déquivalence, relation dordre - Exo7 - Exercices de

Exercice 1 Dans C on définit la relation R par : zRz ⇔ z = z 1 Montrer que R est une relation d'équivalence 2 Déterminer la classe d'équivalence de chaque z

[PDF] Logique, ensembles et applications - Exo7 - Exercices de

k=1 k3 et ∑n k=1 k4 (et mémoriser les résultats) 3 On pose Sp = ∑n k=1 kp Déterminer une relation de récurrence permettant de calculer les Sp de proche

[PDF] Exo7 - Cours de mathématiques - Emathfr

est déterminée par u0 > 0 et la relation de récurrence un+1 = un − u2 Quelle opération mathématique élémentaire transforme un nombre binaire an a1a0 b

[PDF] Exo7 Arithmétique : en route pour la cryptographie Un - Emathfr

exo7 emath 1 La relation «congru modulo n» est une relation d'équivalence : Voyons comment l'écriture binaire des nombres peut nous aider L'écriture

[PDF] les exercices au format pdf - Exo7

Exercice 130 Complétion d'une relation réflexive et transitive Soit R une relation binaire sur un ensemble E réflexive et transitive On définit les deux relations :

[PDF] Exercices de mathématiques - Exo7

Exercice 113 Soit 勿 une relation binaire sur un ensemble E, symétrique et transitive Que penser du raisonnement suivant ? “x勿y ⇒ y勿x car 勿 est symétrique,

[PDF] Exercices de mathématiques 1 Relation déquivalence 2 Relation d

Exo7 Année 2009 Exercices de mathématiques Relation d'équivalence, relation d'ordre Soit R une relation binaire sur un ensemble E, symétrique et

[PDF] Ensembles, relations binaires et axiomes de Peano - Aurélien Poiret

Exercice No 14 : Soit R une relation binaire réflexive et transitive sur un ensemble E On définit une relation S par : ∀x, y ∈ E, xSy ⇐⇒ xRy et yRx Montrer

[PDF] liste des verbes d'action

[PDF] liste des verbes d'état cm2

[PDF] exercice sur les verbes d'état et d'action cm2

[PDF] les verbes d'action pdf

[PDF] film éthique et culture religieuse

[PDF] les verbes d'état pdf

[PDF] tous les verbes d'état

[PDF] liste des verbes attributifs

[PDF] surclassement pop corn c'est quoi

[PDF] upload file magazines gaumont 262 web

[PDF] exercice de maths rapport et proportion

[PDF] gaumont pathé

[PDF] rapport entre deux nombres

[PDF] montrez que la productivité globale des facteurs est source de croissance économique.

[PDF] presenter deux limites dans l'utilisation du pib comme indicateur de la croissance economique

Exo7

Relation d"équivalence, relation d"ordre

1 Relation d"équivalence

Exercice 1DansCon définit la relationRpar :

zRz0, jzj=jz0j: 1.

Montrer que Rest une relation d"équivalence.

2. Déterminer la classe d"équi valencede chaque z2C.

Montrer que la relationRdéfinie surRpar :

xRy()xey=yex

est une relation d"équivalence. Préciser, pourxfixé dansR, le nombre d"éléments de la classe dexmoduloR.

Exercice 3Soit(E;6)un ensemble ordonné. On définit surP(E)nf/0gla relationpar

XYssi(X=You8x2X8y2Y x6y):

Vérifier que c"est une relation d"ordre.

Indication pourl"exer cice1 NUn dessin permettra d"avoir une bonne idée de ce qui se passe...

Indication pour

l"exer cice

2 N1.Pour la transiti vitéon pourra calculer xyez.

Poser la fonction t7!te

t, après une étude de fonction on calculera le nombre d"antécédents possibles.2 Correction del"exer cice1 N1.Soient z;z0;z00des complexes quelconques.

Reflexivité :zRzcarjzj=jzj.

Symétrie :zRz0)z0Rzcarjzj=jz0jet doncjz0j=jzj.

Transitivité :zRz0etz0Rz00alorsjzj=jz0j=jz00jdonczRz00. En fait, nous avons juste retranscrit que l"égalité "=" est une relation d"équivalence. 2.

La classe d"équi valenced"un point z2Cest l"ensemble des complexes qui sont en relation avecz,i.e.

l"ensemble des complexes dont le module est égal àjzj. Géométriquement la classe d"équivalence dez

est le cerlceCde centre 0 et de rayonjzj: C=n jzjeiq=q2Ro :Correction del"exer cice2 N1.• Refle xivité: Pour tout x2R,xex=xexdoncxRx. Symétrie : Pour x;y2R, sixRyalorsxey=yexdoncyex=xeydoncyRx. T ransitivité: Soient x;y;z2Rtels quexRyetyRz, alorsxey=yexetyez=zey. Calculonsxyez: xye z=x(yez) =x(zey) =z(xey) =z(yex) =yzex: Doncxyez=yzex. Siy6=0 alors en divisant paryon vient de montrer quexez=zexdoncxRzet c"est fini. Pour le casy=0 alorsx=0 etz=0 doncxRzégalement. 2. Soit x2Rfixé. On noteC(x)la classe d"équivalence dexmoduloR:

C(x):=fy2RjyRxg:

Donc

C(x) =fy2Rjxey=yexg:

Soit la fonctionf:R!Rdéfinie par

f(t) =te t: Alors

C(x) =fy2Rjf(x) =f(y)g:

Autrement ditC(x)est l"ensemble desy2Rqui parfprennent la même valeur quef(x); en raccourci :

C(x) =f1(f(x)):

Étudions maintenant la fonctionfafin de déterminer le nombre d"antécédents: par un calcul def0on

montrer quefest strictement croissante sur]¥;1]puis strictement décroissante sur[1;+¥[. De plus

en¥la limite defest¥,f(1) =1e , et la limite en+¥est 0.

C"est le moment de dessiner le graphe def!!

Pour x60 alorsf(x)2]¥;0]et alorsf(x)a un seul antécédent.

Pour x>0 avecx6=1 alorsf(x)2]0;1e

[et alorsf(x)a deux antécédents. pour x=1, alorsf(x) =1=en"a qu"un seul antécédent. Bilan : six2]0;1[[]1;+¥[alors CardC(x) =Cardf1(f(x)) =2, six60 oux=1 alors CardC(x) =

Cardf1(f(x)) =1.

3 Correction del"exer cice3 N•Refle xivité: pour tout X2P(E)on aXXcarX=X. Anti-symétrie : pour X;Y2P(E)tels queXYetYX, alors par définition deon a

8x2X8y2Y x6yety6x:

Comme la relation6est une relation d"ordre alorsx6yety6ximpliquex=y. Donc

8x2X8y2Y x=y;

ce qui implique queX=Y(dans ce cas en faitXest vide ou un singleton). T ransitivité: soit X;Y;Z2P(E)tels queXYetYZ. SiX=YouY=Zalors il est clair queXZ.

[PDF] [PDF] Relation déquivalence, relation dordre - Exo7 - Exercices de

[PDF] RELATION BINAIRE - Licence de mathématiques Lyon 1