Présentation de 167.jps

%% 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