%% auteur : GH -2 10 setxrange -2.5 7 setyrange /xE 1 def %% abscisse des éléments de E /E1 {xE 0} def /E2 {xE 1.4} def /E3 {xE 2.7} def /E4 {xE 3.7} def /E5 {xE 5.3} def /E {[E3 2 4 0]} def /xF 7 def %% abscisse des éléments de F /F1 {xF 0} def /F2 {xF 1.6} def /F3 {xF 2.4} def /F4 {xF 3.9} def /F5 {xF 5} def /F {[F3 2 4 0]} def %% définition de couleur /grisclair {.95 .95 .95 setrgbcolor} def /violet {.63 .53 .67 setrgbcolor} def %% On représente les ensembles /fillstyle {grisclair fill} def E ellipse* F ellipse* %% et leurs noms $E$ E3 0 4 subv [1.5 dup] dctexlabel $F$ F3 0 4 subv [1.5 dup] dctexlabel %% On place B et f-1(B) (image réciproque) /Acentre {E3 E4 milieu} def /A {[Acentre .8 1.2 0]} def /fillstyle {violet fill} def A ellipse* [E1 .8 .8 0] ellipse* /Bcentre {F2 F3 milieu} def /B {[Bcentre .7 1.2 0]} def /fillstyle {violet fill} def B ellipse* %% et leurs noms $B$ Bcentre .7 0 addv [1.5 dup] crtexlabel $f^{-1}(B)$ Acentre .8 0 subv [1.5 dup] cltexlabel %% On représente les points des ensembles [E1 E2 E3 E4 E5] points [F1 F2 F3 F4] points %% On représente les flèches de l'application E1 F2 (->) pcarc E2 F4 (->) pcarc E3 F2 (->) pcarc E4 F3 (->) pcarc E5 F1 (->) pcarc