Présentation de 167.jps

/syracuse/bbgraf/albums/set/167.jpg
%% 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 <latex> $E$ </latex> E3 0 4 subv [1.5 dup] dctexlabel <latex> $F$ </latex> F3 0 4 subv [1.5 dup] dctexlabel %% On place A et f(A) (image directe) /Acentre {E3 E4 milieu} def /A {[Acentre .8 1.2 0]} def /fillstyle {violet fill} def A ellipse* /fAcentre {F2 F3 milieu} def /fA {[fAcentre .8 1.2 0]} def /fillstyle {violet fill} def fA ellipse* %% et leurs noms <latex> $A$ </latex> Acentre .8 0 subv [1.5 dup] cltexlabel <latex> $f(A)$ </latex> fAcentre .8 0 addv [1.5 dup] crtexlabel %% 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