Les ensembles.

a)on prend x£B et on montre que x£C :
si x£A:on a x£B alors x£A^B ainsi x£A^C alors x£C
si x n'appartient pas a A:on a x£b alors x£AUB ainsi x£AUC ainsi x£A ou x£C
alors x£C (selon notre hypo!)
alors dans tout cas B c C de meme on prouve C c B ainsi B=C C.Q.F.D
amicalement

pour deux sufis de savoir que A/B= A^Bbarre
amicalment

pour les ensembles tu peux essayer les fonctions caractéristiques .

K(AetB)=K(A)*K(B)
....


essaye.

c quoi K?svp

pour un ensemble A inclu dans E on note KA l'application :

def:
----

KA : E--->{0,1}
x --> KA(x)=1 si x dans A , sinon KA(x)=0.

Propos:
-----
1) Montrer que K{AetB} (x) = KA (x) * KB(x) pour tout x dans E ( donc KAetB = KA*KB )
2) A=B ssi KA=KB ( donc KA(x)=KB(x) pour tout x dans E)
3) K(Acomplementaire) = 1-KA
4)K(A-B)=... K(AouB) = ... à toi de les trouver
5) A inclus dans B SSi KA=<KB

...;


exemples:
------------

pour a) par exemple on :

(I) KA*KB=KA*KC
(II) KA+KB-KA*KB=KA+KC-KA*KC


on injecte I dans II donc KA+KB=KC+KA d'ou KC=KB et donc B=C on utilisant 2)


Ps: ça revient à la meme resolution

hypothese! je ne sais comment dire ''iftirad'' en francais!! car on a suppose que x£/A
alors reste que x£c

yasserito a écrit:

hypothese! je ne sais comment dire ''iftirad'' en francais!! car on a suppose que x£/A
alors reste que x£c

Oui.
Le mot c'est " assertions " je crois.
J'ai cru quelque chose d'autre...
Merci en tout cas.

assertion = 3ibara plus ou moin

ah dsl .l'important c'est de comprendre la methode.tu l'as.pas de problemes