Działanie 5a Bijekcja, f : {X} -- > f : {Y} Odwzorowania funkcji wzajemnie jednoznacznych w podzbiorze {bdA1}

[zclkazimierz]

 Plik zawiera 10 załączników. Dla katalogowanej kolejności działań nr 5a , na podzbiorach brzegów, zbiorów równolicznych

Przykład działań

Grupa Lp.1 < A >], [<1>] i [<2>] 

(< f:~ (1y, 2y, 3z, 4z, 5x, 6x, 7z, 8z, 9x, 10x, 11y, 12y)>) należą do f : {X} podgrupa 1

(< f:~ (1z, 2z, 3x, 4x, 5y, 6y, 7y, 8y, 9z, 10z, 11x ,12x)>) należą do f : {Y} podgrupa 2

Sprawdzona jest zgodność odwzorowania.                                                                   Stałe kierunki działań [<UP, ul >, --- >], [ <UL>, < --- ]

Odwzorowania funkcji wzajemnie jednoznacznych należących do f:~ (1z)należy do f :{Y} i obiektu 2 (< f:~ (1z,4x, 5y)>), {Grupy A }, {{ bdA1}, {bd A}

f:~ (1z) należy do f :{Y} i obiektu (< f:~ (1z,4x,5y)>), {Grupy A }, {{ bdA1}, {bd A} działanie trzecie   f: (w j) należy do f:~ (1z), f :{Y}  -- > w f : (~), f : {X}

pierwszy obiekt f : różnowartościowej   | G |  Í  | klucz| f:(~)      f :{Y} | f: (w j)  Lp -- > f:(~) | G | klucz f:{X} działanie nr 1,2 tabeli cykli to [<1>]. Nr 3,4 to [<2>]

<<<1,2)3>),(<4(5,6>>),(<9,7,8>>),        | A | bdA1|[<1>]| (  1z)| f :{Y} | | f:(w j)  043 -- > (  7z)| A [<1>] f : {X}

<<<1,2)3>),(<4(5,6>>),(<9,7,8>>), (<<<1(4,9>>),(<2(6,7>>),(<3(5,8>>>), (<<<1(5,7>>),(<2(4,8>>),(<3(6,9>>>), (<<<1(6,8>>),(<2(5,9>>),(<3(4,7>>>>, 

<<<1,2)4>),(<3(7,5>>),(<9,6,8>>),        | A | bdA1|[<2>]| (  1z)| f :{Y} | f:(w j)  359 -- > (  4z)| E [<2>] f : {X}

<<<1,2)4>),(<3(7,5>>),(<9,6,8>>), (<<<1(3,9>>),(<2(5,6>>),(<4(7,8>>>), (<<<1(7,6>>),(<2(3,8>>),(<4(5,9>>>), (<<<1(5,8>>),(<2(7,9>>),(<4(3,6>>>>, 

<<<1,2)5>),(<3(6,8>>),(<7,9,4>>),        | A | bdA1|[<1>]| (  1z)| f :{Y} | f:(w j)  199 -- > (  5x)| C [<1>] f : {X}

<<<1,2)5>),(<3(6,8>>),(<7,9,4>>), (<<<1(3,7>>),(<2(6,4>>),(<5(8,9>>>), (<<<1(8,4>>),(<2(3,9>>),(<5(6,7>>>), (<<<1(6,9>>),(<2(8,7>>),(<5(3,4>>>>, 

<<<1,2)6>),(<3(9,4>>),(<8,5,7>>),        | A | bdA1|[<2>]| (  1z)| f :{Y} | f:(w j)  634 -- > (  7x)| O [<2>] f : {X}

<<<1,2)6>),(<3(9,4>>),(<8,5,7>>), (<<<1(3,8>>),(<2(4,5>>),(<6(9,7>>>), (<<<1(9,5>>),(<2(3,7>>),(<6(4,8>>>), (<<<1(4,7>>),(<2(9,8>>),(<6(3,5>>>>, 

<<<1,2)7>),(<3(4,8>>),(<5,6,9>>),        | A | bdA1|[<1>]| (  1z)| f :{Y} | f:(w j)  726 -- > (  8z)| K [<1>] f : {X}

<<<1,2)7>),(<3(4,8>>),(<5,6,9>>), (<<<1(3,5>>),(<2(4,9>>),(<7(8,6>>>), (<<<1(8,9>>),(<2(3,6>>),(<7(4,5>>>), (<<<1(4,6>>),(<2(8,5>>),(<7(3,9>>>>, 

<<<1,2)8>),(<3(9,5>>),(<6,7,4>>),        | A | bdA1|[<2>]| (  1z)| f :{Y} | f:(w j)  510 -- > (  1y)| X [<2>] f : {X}

<<<1,2)8>),(<3(9,5>>),(<6,7,4>>), (<<<1(3,6>>),(<2(5,7>>),(<8(9,4>>>), (<<<1(9,7>>),(<2(3,4>>),(<8(5,6>>>), (<<<1(5,4>>),(<2(9,6>>),(<8(3,7>>>>, 

<<<1,2)9>),(<3(6,7>>),(<4,5,8>>),        | A | bdA1|[<1>]| (  1z)| f :{Y} | f:(w j)  147 -- > (  9z)| B [<1>] f : {X}

<<<1,2)9>),(<3(6,7>>),(<4,5,8>>), (<<<1(3,4>>),(<2(6,8>>),(<9(7,5>>>), (<<<1(7,8>>),(<2(3,5>>),(<9(6,4>>>), (<<<1(6,5>>),(<2(7,4>>),(<9(3,8>>>>,

O przyporządkowaniu f:~ (1z) do f :{ Y } decydują wartości w uporządkowanych trójkach filara pierwszego obiektu funkcji różnowartościowej

f:~ (1z) i jej obiekty f : (w j) przyporządkowane podstawie obliczeniowej.  Uporządkowane zgodnie z cyklami i kluczami. Bijekcja        działanie czwarte

pierwszy obiekt f : różnowartościowej    | G |  Í  | klucz| f:(~)      f :{Y} | f: (w j)  L p -- > f:(~) | G | klucz f : {X} działanie nr 1,2 tabeli cykli to [<1>].Nr 3,4 to [<2>]

<<<1,2)3>),(<4(5,6>>),(<9,7,8>>),        | A | bdA1|[<1>]| (  1z)| f :{Y} | | f:(w j) 043 -- >(  7z)| A [<1>] f : {X}

<<<1,2)4>),(<3(7,5>>),(<9,6,8>>),        | A | bdA1|[<2>]| (  1z)| f :{Y} | f:(w j)  359 -- > (  4z)| E [<2>] f : {X}

<<<1,2)5>),(<3(6,8>>),(<7,9,4>>),        | A | bdA1|[<1>]| (  1z)| f :{Y} | f:(w j)  199 -- > (  5x)| C [<1>] f : {X}

<<<1,2)6>),(<3(9,4>>),(<8,5,7>>),        | A | bdA1|[<2>]| (  1z)| f :{Y} | f:(w j)  634 -- > (  7x)| O [<2>] f : {X}

<<<1,2)7>),(<3(4,8>>),(<5,6,9>>),        | A | bdA1|[<1>]| (  1z)| f :{Y} | f:(w j)  726 -- > (  8z)| K [<1>] f : {X}

<<<1,2)8>),(<3(9,5>>),(<6,7,4>>),        | A | bdA1|[<2>]| (  1z)| f :{Y} | f:(w j)  510 -- > (  1y)| X [<2>] f : {X}

<<<1,2)9>),(<3(6,7>>),(<4,5,8>>),        | A | bdA1|[<1>]| (  1z)| f :{Y} | f:(w j)  147 -- > (  9z)| B [<1>] f : {X}

,,--------------------------------------------------------------------------------------------------------------------------------------------,,

<<<1,2)3>),(<4(5,6>>),(<9,7,8>>),        | A |bdA1 |[<1>]| ( 7z)| f :{X} | f: (w j) 043 -- > (  1z)| A [<1>] f : {Y}                f: (w j) Î f : (~) Î f :{X} -- > w f : (~) Î f : {Y}<<<1,2)3>),(<4(5,6>>),(<9,7,8>>), (<<<1(4,9>>),(<2(6,7>>),(<3(5,8>>>), (<<<1(5,7>>),(<2(4,8>>),(<3(6,9>>>), (<<<1(6,8>>),(<2(5,9>>),(<3(4,7>>>>, <<<1,2)4>),(<3(7,5>>),(<9,6,8>>),        | E |bdA1|[<2>]| (  4z)| f :{X} | f:(w j)  359 -- > (  1z)| A [<2>] f : {Y}

<<<1,2)4>),(<3(7,5>>),(<9,6,8>>), (<<<1(3,9>>),(<2(5,6>>),(<4(7,8>>>), (<<<1(7,6>>),(<2(3,8>>),(<4(5,9>>>), (<<<1(5,8>>),(<2(7,9>>),(<4(3,6>>>>, 

<<<1,2)5>),(<3(6,8>>),(<7,9,4>>),        | C |bdA1|[<1>]| ( 5x)|   f :{X} | f:(w j)  199 -- > (  1z)| A [<1>] f : {Y}

<<<1,2)5>),(<3(6,8>>),(<7,9,4>>), (<<<1(3,7>>),(<2(6,4>>),(<5(8,9>>>), (<<<1(8,4>>),(<2(3,9>>),(<5(6,7>>>), (<<<1(6,9>>),(<2(8,7>>),(<5(3,4>>>>, 

<<<1,2)6>),(<3(9,4>>),(<8,5,7>>),        | O |bdA1|[<2>]| (  7x)| f :{X} | f:(w j)  634 -- > (  1z)| A [<2>] f : {Y}

<<<1,2)6>),(<3(9,4>>),(<8,5,7>>), (<<<1(3,8>>),(<2(4,5>>),(<6(9,7>>>), (<<<1(9,5>>),(<2(3,7>>),(<6(4,8>>>), (<<<1(4,7>>),(<2(9,8>>),(<6(3,5>>>>, 

<<<1,2)7>),(<3(4,8>>),(<5,6,9>>),        | K |bdA1|[<1>]| (  8z)| f :{X} | f:(w j)  726 -- > (  1z)| A [<1>] f : {Y}

<<<1,2)7>),(<3(4,8>>),(<5,6,9>>), (<<<1(3,5>>),(<2(4,9>>),(<7(8,6>>>), (<<<1(8,9>>),(<2(3,6>>),(<7(4,5>>>), (<<<1(4,6>>),(<2(8,5>>),(<7(3,9>>>>, 

<<<1,2)8>),(<3(9,5>>),(<6,7,4>>),        | X |bdA1|[<2>]| (  1y)| f :{X} | f:(w j)  510 -- > (  1z)| A [<2>] f : {Y}

<<<1,2)8>),(<3(9,5>>),(<6,7,4>>), (<<<1(3,6>>),(<2(5,7>>),(<8(9,4>>>), (<<<1(9,7>>),(<2(3,4>>),(<8(5,6>>>), (<<<1(5,4>>),(<2(9,6>>),(<8(3,7>>>>, 

<<<1,2)9>),(<3(6,7>>),(<4,5,8>>),        | B |bdA1|[<1>]| (  9z)| f :{X} | f:(w j)  147 -- > (  1z)| A [<1>] f : {Y}

<<<1,2)9>),(<3(6,7>>),(<4,5,8>>), (<<<1(3,4>>),(<2(6,8>>),(<9(7,5>>>), (<<<1(7,8>>),(<2(3,5>>),(<9(6,4>>>), (<<<1(6,5>>),(<2(7,4>>),(<9(3,8>>>>,