Application

[sue]

non , on a pas encore vu !
c'est le sous titre d'un exo sur les applications , mais je comprend pas clairement ce que c'est d'aprés ce qu'on demande de montrer .

[fahr451]

c est donc un exo

il y a des questions il suffit d 'y répondre :id:

[sue]

c clair , c ce que j'essaye de faire .
y a juste que même en répondant aux questions je ne vois pas le rapport avec le titre et donc ça sert à rien de faire un exo sans comprendre le but !

j'aimerais juste une définition claire de cette opération même avec les notions que je connais pas , aprés je chercherai chacune des notions pr comprendre , car avec "factorisation..." je trouve rien sur google .

[fahr451]

alors toute application f se met sous la forme unique


f = j ° g°p

où j est l 'injection canonique , g (plutôt f "thild" (un zigouioui sur le dessus) et p la projection canonique


f : E - > F

j : f(E) -> F x -> x


p E - > E /R
x -> classe (x)
avec E/R l 'ensemble E quotienté par la relation d équivalence

x R x ' ssi f(x) = f (x')

et g : E /R - > f(E)

classe (x) -> f(x)

g étant une bijection

voila voila

[sue]

d'accord ,merci bien , j'essayerai de comprendre tt ça :we:

[fahr451]

après la rupture du jeûne, car il ne faut pas avoir le ventre vide pour penser

[sue]

bien au contraire pr moi :lol2: