Ensembles

[mehdibj]

soit f une une application de E dans F et B une partie de F
montrer que
j'ai essayé en utilisant une double inclusion et j'ai montré que puis pour montrer l'inclusion dans l'autre sens : et là je me plante qui peut m'aider s'il vous plait

[beagle]

Cela ne serait pas plus simple de diviser B en deux parties
B est l'union de :
B qui a des atcd par f et B qui n'a pas d'atcd par f
la première partie est clairement f(f-1(B))
et c'est bien cet ensemble qui est f(E)interB

après pour l'écrire ...

[mehdibj]

j'ai le droit de faire cela ?! dans ce cas tout devient plus simple merci

[Ben314]

Salut,

soit f une une application de E dans F et B une partie de F
montrer que
j'ai essayé en utilisant une double inclusion et j'ai montré que puis pour montrer l'inclusion dans l'autre sens : et là je me plante qui peut m'aider s'il vous plait

Normalement, c'est bien comme ça qu'on est sensé faire (c'est pas forcément le plus "visuel", mais il faut apprendre à rédiger proprement ce type de truc).

Bref, ça :

c'est tou bon et pour continuer, ben il faut dire que, vu que , ça signifie (par définition) qu'il existe un tel que .
Ensuite, vu que (qui vaut ) est dans ça signifie (définition) que est dans . . .
et donc que est dans . . .