Bonjour j'ai quelques difficultés de résolution et rédaction pour cet exercice...Si quelqu'un a une idée merci bien.
Soient R et S deux relations d'équivalence respectivement sur E et F. Soit f:E->F compatible : i.e xRy => f(x)Sf(Y)q.
1) Montrez qu'il existe une "unique" application g: E/R -> F/S tq le diagramme suivant soit commutatif !
f
E -> G
h | | h'
E/R -> F/S
g
2) supposons maintenant qu'il existe g telle que le diagramme soit commutatif montrez que f ompatible avec R et S.
D'après ce que j'ai compris il faut que h'of = goh
j'ai pensé à g: cl(x) ->cl(f(x)) , on retrouve bien h'of=goh...mais bon. Si quelqu'un pouvait m'éclairer ne serait-ce que sur la démarche et la forme.
Je continue quand même à chercher ! merci beaucoup.
cordialement.
Hakenaton
-----