Bonjour :
y6227 a écrit: Pourtant en suivant le même raisonnement je peux montrer une autre égalité qui est :
)
 = f(A) \cap f(B))
qui est fausse si
Voici mon raisonnement en suivant celui du professeur :
}\Leftrightarrow \red{ f^{-1}(y)} \in {{A}\cap{B}})
 \in {A})
et
 \in {B})
})
et
})
}} \cap {{f(B)}})
Où est donc l'erreur ?
Merci d'avance
l'erreur commence à la ligne ci-dessosus en rouge : tu as écris
)
qui n'a pas de sens ici.
Ce qui a un sens c'est
)
mais alors ce n'est pas un élément de
mais une partie de
Et si tu insistes de suivre ce mode de raisonnement, voici ce que, par exemple, tu peux dire :
 \Leftrightarrow f^{-1}\left(\{y}\right) \cap A \cap B \neq \emptyset)
Mais je te conseille de ne pas calquer la preuve du Prof (juste et belle mais pour l'image réciproque et pas l'image directe).
Tu peux plutôt dire : d'une part :
=y)
D'autre part :
 \cap f(B) \Leftrightarrow y \in f(A) \quad \text{et} \quad y \in f(B) \Leftrightarrow \exists(a,b) \in A \times B \quad y=f(a)=f(b))
et tu vois qu'on a besoin que
soit injective pour avoir
!
Moralité si
est injective on a bien
=f(A) \cap f(B))
pour toutes parties
de
Sinon pas forcément ....
PS: la propriété :
 \quad \quad (\forall(A,B) \in ({\mathscr P}(E))^2 \quad f(A \cap B)=f(A) \cap f(B))
caractérise le fait que
est injective.
