Relation binaire et Application involutive

[Anonyme]

Salut !
L'exercice á suivre est trés dur; j'ai essayé de le trouver dans Dunod, Breal, Hprepa, en vain. Il me semble qu'il est trés difficile. Pourrez vous m'aidez?
Merci d'avance!

Soit E un ensemble non vide. On se donne 2 parties A et B de E et on définit l'application f: P(E)--->P(E), X---->[A(inter)X]U[B(inter)Xbar].
1.Discuter et resoudre f(X)=$\Phi$.
Deduire une condition necessaire pour que f soit bijective.
2.On suppose maintenant que B=Abar
a-Exprimer f á l'aide de la difference symertrique $\Delta$
b-Montrer que f bijective; determiner $f^{-1}$.
c-Verifier que f involutive
d-Quelle propriété déduit-on?


Cet exercice, un peu comme une devinette s'énonce:
Soit R une relation binaire sur E, symétrique et transitive. Que penser du raisonnement suivant?
"xRy ===> yRx car R symétrique,
or (xRy et yRx)===> xRx car R transitive,
donc R réflexive".

Merci d'avance de votre aide.

[becirj]

Bonsoir
Pour que la relation soit réflexive , il faut que xRx pour tout x ce qui n'est pas assuré par la symétrie et la transitivité.

[becirj]

1. lorsque X n'a aucun élément commun avec A et avec B donc lorsque

Pour que f soit bijective, il est nécéssaire que soit

Excuse moi, ce n'est pas ça, j'ai mal lu le texte;

[becirj]

lorsque et
On doit donc avoir
Si l'équation n'a pas de solution.
Si sont solutions les parties X vérifiant .

[Galt]

Cet exercice, un peu comme une devinette s'énonce:
Soit R une relation binaire sur E, symétrique et transitive. Que penser du raisonnement suivant?
"xRy ===> yRx car R symétrique,
or (xRy et yRx)===> xRx car R transitive,
donc R réflexive".

Merci d'avance de votre aide.

Ca ne marche que si, x étant donné, il existe au moins un y tel que xRy. Autrement dit, une relation reflexive et symétrique peut comporter des éléments isolés qui ne sont pas en relation avec eux-mêmes. EN revanche, tout élément relié à un autre est aussi relié à lui-même, comme la démonstration précédente le prouve

[becirj]

Voila la suite:
1. Pour que f soit une bijection, il est ncessaire que l'équation admette une solution et une seule donc que , la solution unique est alors .

2.a)
b)Rappels : la différence symétrique est associative, admet pour élément neutre et pour toute partie A ,
Soit Y une partie de E,




L'équation admet une solution et une seule ; f est donc une bijection et .

c)
(même calcul que dans la partie b)

d) On retrouve que

[yos]

Becirj , je sais qu'il est tard mais...
Quand on résout f(X)= phi, on doit trouver X en fonction de phi.

[becirj]

est l'ensemble vide, on ne peut pas exprimer une partie de E en fonction de

[yos]

phi est l'ensemble vide??? C'est la meilleure celle là.
Donc je n'ai rien compris mais pourtant la suite de l'exercice me donne raison: "en déduire une CNS pour que f soit bijective" Il s'agit bien de chercher des antécédents à une partie quelconque de E. Cela dit je trouvais drôle de la noter phi!

Quoi qu'il en soit on n'a pas le choix pour résoudre l'exercice: il faut chercher des antécédents à une partie que je vais noterT pour éviter la confusion.

Pour toute partie X, on a :
(A inter B) inclus dans f(X) inclus dans (A union B).
Ainsi pour que T ait un antécédent, il est nécessaire que :
(A inter B) C T C (A union B).
(On peut montrer que c'est suffisant)
Si on veut que f soit surjective, il est donc nécessaire que A inter B soit vide et que A union B soit égal à E (là aussi, ce doit être suffisant).
Je dirais que l'injectivité s'ensuivra.

La construction de f^(-1)(T) n'est pas très dure :faire un dessin.

[becirj]

Il y a plusieurs manières d'aborder l'exercice, j'ai simplement suivi l'esprit du texte en prenant les questions telles qu'elles étaient posées.

[Anonyme]

Hi, merci de vos aides; nb: ce n'est pas CNS mais CS;
alors que devient finalement la methode de resolution? merci bcp.

[yos]

CN plutôt!
Il est vrai que la recherche d'antécédents de l'ensemble vide te fournit une CN qui est que (A,B) doit former une partition de E.
Ma remarque était spécieuse (je n'avais pas compris cette histoire de phi=vide).
Le raisonnement de Becirj pour la CN puis dans le groupe
(P(E),delta) est irréprochable.

L'étude de f lorsque (A,B) n'est pas une partition de E est intéressante mais ce n'est pas l'objet de ton exercice.