Дискретная математика. Кулабухов С.Ю. - 25 стр.

                                                   x 3. sUPERPOZICIQ SOOTWETSTWIJ. pREOBRAZOWANIQ

   3.7. pREOBRAZOWANIQ KONE^NYH MNOVESTW. pUSTX A | KONE^NOE MNOVESTWO, A f |
PREOBRAZOWANIE MNOVESTWA A. pUSTX A = fa1
 a2
 : : :
 ang. uSLOWIMSQ f ZAPISYWATX W WIDE:
                                 "                              #
                             f = a1         a2 : : : an
                                   f(a1 ) f(a2 ) : : : f(an )
zAPISX PREOBRAZOWANIQ f W TAKOM WIDE BUDEM NAZYWATX PAROSTRO^NOJ ZAPISX@ f.
pRIMER 1. pRIWEDEM PAROSTRO^NYE ZAPISI WSEH PREOBRAZOWANIJ TREH\LEMENTNOGO MNOVESTWA
f1
 2
 3g.            "         #         "              #          "         #
                  e= 1 2 3 ,         g1 = 1 2 3 ,             g2 = 1 2 3 ,
                     1 2 3                1 3 2                    3 2 1
                      "         #         "              #          "         #
                 g3 = 1 2 3 ,        g4 = 1 2 3 ,             g5 = 1 2 3 ,
                      2 1 3               3 1 2                    2 3 1
                      "         #         "              #          "         #
                f11 = 1 2 3 , f12 = 1 2 3 , f13 = 1 2 3 ,
                      2 2 3         2 3 2         3 2 2
                      "         #         "              #          "         #
                f14 = 1 2 3 , f15 = 1 2 3 , f16 = 1 2 3 ,
                      3 3 2         3 2 3         2 3 3
                      "         #         "              #          "         #
                f21 = 1 2 3 , f22 = 1 2 3 , f23 = 1 2 3 ,
                      1 1 3         1 3 1         3 1 1
                      "         #         "              #          "         #
                f24 = 1 2 3 , f25 = 1 2 3 , f26 = 1 2 3 ,
                      3 3 1         3 1 3         1 3 3
                      "         #         "              #          "         #
                f31 = 1 2 3 , f32 = 1 2 3 , f33 = 1 2 3 ,
                      1 1 2         1 2 1         2 1 1
                      "         #         "              #          "         #
                f34 = 1 2 3 , f35 = 1 2 3 , f36 = 1 2 3 ,
                      2 2 1         2 1 2         1 2 2
                      "         #         "              #          "         #
                 h1 = 1 2 3 ,        h2 = 1 2 3 ,             h3 = 1 2 3 .
                      1 1 1               2 2 2                    3 3 3
  3.8. pODSTANOWKI.
oPREDELENIE 1. bIEKTIWNOE PREOBRAZOWANIE KONE^NOGO MNOVESTWA NAZYWAETSQ PODSTANOW               -
KOJ \TOGO MNOVESTWA.
pRIMER 1. 1. nA DWUH\LEMENTNOM MNOVESTWE MOVNO ZADATX LIX DWE PODSTANOWKI:
                                 "         # "         #
                                   a1 a2 ,     a1 a2 .
                                   a1 a2       a2 a1
   2. nA TREH\LEMENTNOM MNOVESTWE MOVNO ZADATX 6 PODSTANOWOK. |TO PODSTANOWKI e, g1{g5 PRI-
MERA 3.7.1.
tEOREMA 1. oBRATIMYE PREOBRAZOWANIQ KONE^NOGO MNOVESTWA A I TOLXKO ONI QWLQ@TSQ POD-
STANOWKAMI MNOVESTWA A.
   dOKAZATELXSTWO SLEDUET IZ TEOREMY 2.7.1.
                                              25