Citation :
Soient E,F,G,H quatre ensembles non vides,
u:H—>E et
v:F—>G
deux applications.
On considère:
Phi: F(E,F)—>F(H,G)
f —> vofou
des notations ... un peu problématique ...
pour se simplifier la vie ...
A, B, C et D quatre ensembles et u : D --> A et v : B --> C
F : F(A, B) --> F(C, D) : f --> v o f o u
on cherche donc à montrer que :
si u est injective et v surjective alors F est surjective : pour tout g dans F(C, D) il existe (au moins) un f dans F(A, B) tel que g = v o f o u
on a le schéma suivant :
f ?
A ---------> B
^ |
| u | v
| ^
D <-------- C
g
ce schéma permet de comprendre pourquoi u doit être injective et v surjective
soit c dans C et d = g(c) dans D
v est surjective donc il existe b dans B tel que v(b) = c et donc g o v(b) = g(c) = d
d'autre part u(d) = a dans A donc u o g (c) = u(d) = a
et si on posait f(a) = b ...