Жиындар теориясының негізгі ұғымдары


Жұмыс түрі:  Материал
Тегін:  Антиплагиат
Көлемі: 83 бет
Таңдаулыға:   

1 Жиындар теориясының негізгі ұғымдары

1. 1 Жиындар

Жиын математикадағы негізгі ұғымдарының бірі болғандықтан, оған анықтама берілмейді. Жиын деп белгілі математикалық объектілердің жиынтығын түсінеміз. Ол объектілер жиынның элементтері деп аталып, кіші әріптермен, ал жиынның өзі бас әріппен белгіленеді.

а элементі А жиынына тиістілігін а https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image002.gif А, “ https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image002.gif ” - тиістілік кванторымен белгілейді.

b https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image003.gif A - b элементі А жиынына тиісті емес.

Бізге белгілі жиындарды атап өтейік:

N - натурал сандар жиыны;

Z - бүтін сандар жиыны;

Q - рационал сандар жиыны;

R - нақты сандар жиыны;

C - комплекс сандар жиыны; https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image004.gif

Ø - бос жиын.

Жиі қолданылатын кванторлар:

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image005.gif - кез келген, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image005.gif х https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image002.gif А (кез келген х А жиынында жатады) ;

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image006.gif - табылады, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image006.gif у https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image002.gif В (В жиынынан у элементі табылады) ;

׃ ( ) - мынадай, қасиетін сипаттау үшін;

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image007.gif - бұдан шығатын салдар;

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image008.gif - тепе-теңдік кванторы, тек сол жағдайда;

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image009.gif - қатаң енгізу кванторы.

Жиынға енетін элементтер саны шенеулі немесе шексіз көп болуы мүмкін.

1-мысал: а) қазақ алфавитінің әріптер жиыны (42 элемент бар) ;

ә) натурал сандар жиыны ( https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image010.gif элементі бар) ;

б) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image011.gif теңдеуінің нақты түбірлерінің жиыны ешқандай да элементтен тұрмайды, бос жиын.

Ақырлы жиын деп осы жиынның элементтерінің санына тең болатын натурал сан табылатын жиынды айтады. Ақырлы емес жиын ақырсыз жиын деп аталады.

Ақырлы А және В жиындары тек қана бірдей элементтерден құралса, тең жиындар деп аталып, А=В деп белгіленеді.

Егер ақырлы А жиынында ақырлы В жиынына тиісті емес элемент бар болса, және керісінше, онда олар тең емес жиындар деп аталады.

2-мысал. {0, 1, 2}={1, 2, 0}, {0, 1} https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image012.gif {1, 2, 0, 3}.

Жиындардың берілу тәсілдері.

1. Мүшелерін (элементтерін) тізіп жазу арқылы. Ақырлы жиын

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image013.gif , ақырсыз жиын В={1, 3, 5, 7, . . . , } - тақ сандар жиыны.

2. Сипаттау арқылы. Мысалы жиынның кез келген х мүшесі р(х)

қасиетіне ие болсын, онда осы элементтерден тұратын С жиыны былай беріледі: С={х https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image014.gif (х) }.

Осы сияқты анықталған жиындар

Q={ https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image015.gif }, В={х: х= https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image016.gif }.

А және В жиындары берілсін. Егер А жиынының кез келген х элементі В жиынында да жатса, онда А жиыны В жиынының ішкі жиыны деп аталады.

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image017.gif В немесе В https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image018.gif А деп белгіленеді. Кванторлар тілінде

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image017.gif В) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image008.gifhttps://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image002.gif А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image007.gif х https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image019.gif В) .

Егер В жиынының А ішкі жиыны В жиынынан және Ø-ден өзгеше болса,

онда ол меншікті ішкі жиыны деп аталады. Кванторлар тілінде, А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image009.gif В https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image008.gif

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image017.gif В және А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image012.gif В.

Ø кез келген жиынның ішкі жиыны болады: Ø https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image017.gif А.

Қасиеттері:

а) А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image017.gif А;

ә) А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image017.gif В, В https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image017.gif А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image020.gif А = В;

б) А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image017.gif В, В https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image017.gif С https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image007.gif А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image017.gif С.

В жиынының В және Ø ішкі жиындары оның меншіксіз ішкі жиындары деп аталады. Егер жиын ең болмағанда екі элементтен тұрса, онда оның меншікті ішкі жиындары болады.

Мысалы: А = {а, в} жиынының ішкі жиындары: {а}, {в}, {Ø}, {а, в}. Бұл ішкі жиындардың ішінде {а}, {в}- меншікті, ал {а, в}, {Ø}- меншіксіз болып табылады.

Ішкі жиындарға қолданылатын амалдар

U (универсум) деп кең жиынды белгілейік, яғни элементтер осы жиыннан алынып отыратын болсын.

Эйлер https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image021.gif - Венн https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image022.gif диаграммасы . Тік төртбұрыштың нүктесі U жиынынан алынған деп есептейік. Мысалға А={1, 2, 3, 4}, В={1, 3, 5}, С={5, 6} жиындарын алайық.

1. Ең болмағанда А жиынына немесе В жиынына тиісті элементтер

жиынын А және В жиындарының бірігуі (қосындысы) (А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif В) деп айтады.

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image024.jpg А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif В = {х: х https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image002.gif А немесе х https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image002.gif В}

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif В={1, 2, 3, 4, 5}, А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif С={1, 2, 3, 4, 5, 6}.

1. 1 Сурет

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image025.gif Леонард Эйлер (1707-1783) - швейцарлық математик.

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image026.gif Джон Венн (1834-1923) - ағылшын математигі.

«Бірігу» амалын жалпыласақ, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image027.gif

2. А жиынына да, В жиынына да тиісті элементтер жиынын А және В жиындарының қиылысуы (көбейтіндісі) (А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif В) деп айтады.

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif В ={х:х https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image002.gif А және х https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image002.gif В}.

:
: https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image029.jpg

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif В={1, 3}, В https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif С={5}, А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif С= Ø.

1. 2 Сурет

«Қиылысу» амалын жалпыласақ, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image030.gif .

3. А жиынына тиісті, бірақ В жиынына тиісті емес элементтер жиынын А және В жиынының айырымы (А\В) деп айтады.

А\В = {х:х https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image002.gif А және х https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image003.gif В}

:
: https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image031.jpg

А \ В={2, 4}, В \ С={1, 3}, А\С=А.

1. 3 Сурет

4. А және В жиындарының симметриялық айырмасы https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image032.gif В) деп келесі

жиынды айтады:

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image032.gif В=(А\В) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif (В\А) = {х:(х https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image002.gif А және х https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image003.gif В) немесе (х https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image002.gif В және х https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image003.gif А) }.

:
: https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image033.jpg

1. 4 Сурет

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image032.gif В= {2, 4} https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif {5}={2, 4, 5}, А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image032.gif C= {1, 2, 3, 4} https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif {5, 6}={1, 2, 3, 4, 5, 6}.

5. U\A жиыны А жиынының толықтауышы деп аталып, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image034.gif деп белгіленеді.

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image034.gif = U\A

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image035.jpg

1. 5 Сурет

Унивесум U={1, 2, 3, 4, 5, 6, 7, 8, 9} болса, онда https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image034.gif ={5, 6, 7, 8, 9} болады.

1. 2 Жиындар алгебрасы

Жиындарға амалдар қолданып, жаңа жиындар алуға болады. Осы амалдардың негізгі қасиеттері мен олардың арасындағы байланыс жиындар алгебрасы деп аталады.

1. 1 К е с т е - Қасиеттер

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif
https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif
: 1
:

(идемпотенттік)

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif А=А

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif А=А

: 2
:

Ауыстырымдылық (коммутативтік)

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif В=В https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif А

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif В=В https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif А

: 3
:

Үлестірімділік

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gifhttps://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif С) =(А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif В) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif С

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gifhttps://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif С) =(А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif В) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif С

: 4
:

Терімділік (дистрибутивтік)

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gifhttps://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif С) =(А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif В) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gifhttps://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif С)

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gifhttps://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif С) =(А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif В) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gifhttps://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif С)

: 5
:

Сіңіру

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gifhttps://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif А) =А

А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gifhttps://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif А) =А

: 6
: Нөлдің қасиеті А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif Ø=А
А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif Ø= Ø
: 7
: Бірдің қасиеті А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image023.gif U= U
А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image028.gif U= А
: 8
:

Қосалқы принципі (де Морган https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image021.gif заңы)

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image036.gif

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image037.gif

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image038.gif

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image039.gif

: 9
:

Екі рет теріске шығару https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image040.gif

: 10
:

Толықтауыштың қасиеті

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image041.gif https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image042.gif

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image041.gif https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image043.gif Ø

Жиындар арасындағы қасиеттер (заңдар) жоғарыдағы келтірілген қасиеттермен шектеліп қоймайды. Қалған қасиеттерді логика алгебрасының ережелері бойынша аталған касиеттерді қолданып алуға болады.

Жиындардың декарттық (тура) көбейтіндісі

Математикада жиындардың жай элементтері ғана емес, сонымен бірге олардың реттелген жұп элементтері де кездеседі. (а 1 , а 2 , . . . , а n ) элементтері реттелген жиын берілсін, оны жиынтық, вектор, кортеж деп те атайды, а і -

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image025.gif Огастес де Морган (1806-1871) - шотландық математик

жиынның і-ші мүшесі. (а 1 , а 2 , . . . , а n ) - жиынтығының ұзындығы деп n компоненталар санын айтамыз.

А және В жиындарының тура немесе декарттық көбейтіндісі деп (а, в) жұбының жиынын айтамыз. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image044.gif деп белгілейміз.

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image044.gif ={(a, b) : a https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image002.gif https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image045.gif , b https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image002.gif https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image046.gif },

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image045.gif = https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image046.gif https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image047.gif ,

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image048.gif ,

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image049.gif , https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image050.gif {Ø}.

Мысалдар қарастырып өтейік.

1. A={1, 2}, B={1, 2, 3} жиындары берілсін. Бұл жиындар үшін тура көбейтінділер

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image051.gif {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3) },

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image052.gif {(1, 1), (1, 2), (2, 1), (2, 2), (3, 1), (3, 2) },

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image053.gif {(1, 1), (1, 2), (2, 1), (2, 2) } (2, 1) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image012.gif (1, 2) .

2. R - нақты сандар жиыны берілсін. Онда

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image054.gif {(x, y}: (x, y) - жазықтықтың нүктелері},

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image055.gif {(x, y, z) : (x, y, z) - кеңістіктің нүктелері}.

3. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image056.gif , https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image057.gif екі жиынды қарастырайық. Егер жазықтықтағы декарттық координаталар жүйесін қарастырсақ, онда https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image058.gif ұзындығы бірге тең квадрат ретінде қарастыруға болады.

:
: https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image059.jpg

1. 6 Сурет

1-есеп . https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image036.gif де Морган заңын (қосалқы принципі) дәлелдеу керек.

Шешуі: І әдіс Эйлер-Венн диаграммасы арқылы. Ол үшін теңдіктің сол жағындағы жиынды кескіндеп аламыз:

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image060.gif а) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image061.gif

1. 7 Сурет

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image062.jpg Ал оң жақтағы жиынды бейнелеу үшін алдымен https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image034.gif жиынын https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image063.jpg көлденең жолақпен, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image064.gif жиынын тік жолақпен белгілеп аламыз. Сонда бізге керекті жиын осы екі жолақтың қиылысуында, яғни тормен кескінделген жиын болады;

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image065.gif ә) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image066.gif

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image067.gif

1. 8 Сурет

Байқасақ, жоғарыдағы диаграммада штрихпен белгіленген жиын мен төмендегі тормен белгіленген жиын бір жиынды береді, бұл екі жиынның теңдігін білдіреді.

ІІ әдіс қасиеттерге сүйеніп, өрнектерді түрлендіру арқылы.

Алдымен U =V https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image020.gif U https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image017.gif V, V https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image017.gif U қасиеті бойынша:

1) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image068.gif ;

2) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image069.gif енгізулері орындалатынын көрсетейік.

1) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image070.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image071.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image072.gif https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image073.gif ;

2) керісінше, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image074.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image075.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image076.gif https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image077.gif https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image067.gif .

Жиынның бүркеуі мен бөлікшесі

Жиындарға қолданылатын операциялардың тағы бір түрі - жиынды ішкі жиындар жүйесіне бөліктеу операциясы болып табылады. А жиыны мен оның ішкі жиындар жүйесін A https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image078.gif қарастырайық.

Анықтама. Егер 1) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image079.gif A https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image080.gif Ø], 2) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image081.gif

шарттары орындалса, онда A жиын жүйесін А жиынының бүркеуі деп атайды.

Анықтама. Егер 1) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image079.gif A https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image080.gif Ø, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image082.gif ] ; 2) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image081.gif ;

3) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image083.gif A https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image084.gif Ø] немесе https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image085.gif Ø

шарттары орындалса, онда A жиын жүйесі А жиынының бөлікшесі деп аталады.

Егер бүркеу анықтамасындағы екі шартқа 3) шартты қоссақ, онда бүркеу бөлікше бола алады. Басқаша айтқанда, егер әрбір https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image086.gif элементі тек қана бір А і ішкі жиынына тиісті болса, онда А жиынының бос емес ішкі жиындардың A жүйесі оның бөлікшесі бола алады.

1-мысал. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image087.gif жиыны берілсін:

а) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image088.gif - А жиынының бүркеуі;

ә) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image089.gif - А жиынының бөлікшесі болады;

б) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image090.gif - қандай-да бір ішкі жиындардың жүйесі, ол бүркеуі де емес, бөлікшесі де емес, себебі https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image091.gif .

2-мысал. N - натурал сандар жиынын қарастырайық. N 0 - жұп, N 1 - тақ сандар жиыны болсын. Онда {N 0 , N 1 } -N бөлікшесі бола алады.

1. 3 Қатынастар. Унарлы, бинарлы, n-орынды қатынастар

А 1 , А 2 , . . . , А n жиындарындағы n - орынды қатынас немесе n - орынды предикат деп А 1 https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image092.gif А 2 https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image092.gif . . . https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image092.gif А n тура көбейтіндісінің кез келген жиыншасын айтамыз. Басқаша айтқанда, егер (х 1 , х 2, . . . , x n ) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image093.gif Р болса, х 1 , х 2, . . . , x n элементтері (мұндағы х 1 https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image094.gif , х 2 https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image095.gif , x n https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image096.gif ) Р қатынасымен байланыстырылған деп аталып, Р(х 1 , х 2, . . . , x n ) деп белгіленеді.

n=1 болса, онда Р қатынасы А жиынының жиыншасы болады, Р https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image017.gif А және унарлы қатынас немесе қасиет деп аталады.

n=2 болса, онда https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image097.gif жиі кездесетін екі орынды қатынас. Бұл жағдайда олар бинарлы қатынас немесе сәйкестік деп аталады. Сонымен А және В жиындарының арасындағы Р сәйкестігі А https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image092.gif В жиынының жиыншалары болып табылады, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image097.gif және (х, у) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image098.gif , оны жиі хРу деп жазады.

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image099.gif - А жиынындағы n-орынды қатынас . Кейбір оқулықта https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image097.gif бинарлық қатынасы https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image100.gif немесе https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image101.gif деп белгіленеді, А 1 - қатынасты жіберу облысы, А 2 - қатынасты қабылдау жиыны деп аталады.

1-мысал:

а) егер https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image102.gif ал бинарлық қатынас P={(x; y) / x, y https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image103.gif , y элементі х-ке бөлінеді, х https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image104.gif }, онда P={(2, 2), (2, 4), (2, 6), (2, 8), (3, 3), (3, 6) };

ә) P={(х, у) / x, y https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image105.gif } қатынасын R жиынында қарастырайық. Онда xPy жазуын https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image106.gif деп түсінуге болады, яғни Р қатынасы “ https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image107.gif ” символымен берілген;

б) А - нақты сандар жиыны, онда {(x, y) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image108.gif } A жиынындағы бинарлы қатынас болады;

в) А - адамдар жиыны, онда {(x, y) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image109.gif -тің туысқаны} А-дағы бинарлық қатынас.

Бинарлы қатынастардың берілу жолдары:

1) тізіп жазу арқылы, мысалы (2, 2), (2, 4), (2, 6), (2, 8), (3, 3), (3, 6) ;

2) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image110.gif бинарлық қатынасын график көмегімен кескіндеу қолайлы.

Өзара перпендикуляр өстер (Ox - көлденең өс, Oy - тік өс) сызайық. А және В жиындарының элементтерін сәйкес өстерде белгілейік. XOY жазықтығында координаталары https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image111.gif болатын нүктелерді белгілейік. Алынған нүктелер жиыны Р қатынасына сәйкес келеді;

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image112.jpg

1. 9 Сурет

1 мысалдағы Р қатынасы.

3) Р қатынасымен байланысқан https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image086.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image113.gif элементтері стрелкамен қосылған түрінде.

2 ысал. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image114.gif мен https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image115.gif жиындарының арасындағы https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image116.gif қатына-сын, ал А жиынындағы https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image117.gif қатынасын бейнелеу керек:

а) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image118.gif ;

ә) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image119.gif ;

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image120.jpg https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image121.jpg

1. 10 Сурет

4) ақырлы жиындардың арасындағы бинарлы қатынас жұптардың тізімімен немесе матрица арқылы беріледі. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image122.gif , https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image123.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image110.gif бинарлы қатынасы берілген болсын. Бұл қатынастың матрицасы : https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image124.gif , https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image125.gif өлшемді, мұндағы

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image126.gif .

Сонымен нөл мен бірден тұратын кез келген матрица - қандай да бір бинарлы қатынастың матрицасы болып табылады.

3-мысал. а) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image127.gif , https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image128.gif жиындары мен осы жиындар арасындағы https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image129.gif , https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image130.gif қатынастары берілген. Бұл қатыныстарды матрица арқылы беруге болады

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image131.gif , https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image132.gif ;

ә) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image133.gif жиынында https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image134.gif қатынасы берілген: https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image135.gif . Бұл қатынасқа сәйкес матрица

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image136.gif .

Анықтама. Р қатынасының анықталу облысы (D p деп белгіленеді) D p https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image137.gif кейбір у үшін https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image138.gif . Ал мәндерінің жиыны Е р https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image139.gif кейбір х үшін https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image138.gif жиындары айтылады.

D p - бірінші элементтерден құралған жиын,

Е р - екінші элементтерден құралған жиын.

А және В жиындарының арасында Р қатынасы берілсін. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image140.gif .

Келесі анықтамаларды енгізейік:

а) кері қатынас :

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image141.gif ;

ә) толықтауыш қатынас :

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image142.gif ;

б) тепе-тең қатынас :

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image143.gif . Кейде https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image144.gif деп белгіленеді, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image145.gif -дағы диагональ деп те атайды;

в) универсалды қатынас :

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image146.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image147.gif кейде толық қатынас деп те атайды.

4-мысал. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image133.gif жиынында https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image148.gif x элементі y -тің бөлгіші} қатынасы берілген. Олай болса https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image149.gif . Бұл қатынас үшін D p ={2, 3} - анықталу облысы, E p ={2, 3, 4, 6, 8} - мәндерінің жиыны, P -1 ={(2, 2), (4, 2), (6, 2), (8, 2), (3, 3), (6, 3) } - кері қатынас.

1. P қатынасына (предикатына) қатысты Х жиынының бейнесі деп, келесі жиын айтылады: P(x) ={y/(x, y) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image150.gif , кейбір https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image151.gif үшін}

2. P предикатына қатысты кері бейнесі деп, Р -1 (х) немесе Р -1 предикатына қатысты Х жиынының бейнесін айтады.

Анықтама. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image152.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image153.gif бинарлық қатынастарының композициясы немесе көбейтіндісі деп https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image154.gif қатынасы https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image155.gif немесе жиыны айтылады, ол былай анықталады

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image156.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image157.gif .

5-мысал https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image158.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image159.gif - оң бүтін сандар жиынында берілген бинарлық қатынастар болсын: https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image160.gif -оң бүтін сан}, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image161.gif - оң бүтін сан}. Онда https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image162.gif - оң бүтін сан} және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image163.gif - оң бүтін сан}.

Теорема. Кез келген P, Q, R бинарлық қатынастар үшін келесі қасиеттер орындалады:

а) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image164.gif ;

ә) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image165.gif ;

б) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image166.gif .

Дәлелдеуі [1, 19 бет] .

Бинарлық қатынас матрицасының негізгі қасиеттері

Егер https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image167.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image168.gif , онда

1. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image169.gif

(матрицалардың элементтерін қосу 0+0=0; 1+1=0+1=1+0=1 ережесі бойынша жүргізіледі) ;

2. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image170.gif

матрицалардың элементтерін көбейту кәдімгідей іске асырылады, яғни 0 https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image171.gif 0=0 https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image171.gif 1=1 https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image171.gif 0=0; 1 https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image171.gif 1=1) .

1-мысал. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image172.gif бинарлық қатынастардың матрицалары берілген. Олар үшін

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image173.gif ,

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image174.gif .

3. Егер https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image175.gif -кері қатынас болса, онда https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image176.gif .

4. Егер https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image177.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image178.gif .

5. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image179.gif -тепе-тең қатынас болса, онда https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image180.gif - бірлік матрица.

6. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image181.gif https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image182.gif -ның толықтауышы, онда https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image183.gif - бұл https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image184.gif -дағы 0-ді 1-ге, ал 1-ді 0-ге ауыстырған матрица.

7. Егер https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image185.gif , онда композиция https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image186.gif және матрицалар кәдімгі матрицаларды көбейту ережесі бойынша іске асырылады, бірақ матрицаларды көбейту кезінде элементтерді қосып, көбейту бірінші пункттегідей жүргізіледі

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image187.gif .

Анықтама. P қатынасы https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image145.gif анықталған болсын.

1. Егер https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image188.gif үшін https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image189.gif болса, онда P рефлексивті қатынас деп аталады (P-«бір қалада тұру») .

2. Егер https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image190.gif үшін https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image191.gif -дан https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image192.gif шығатын болса, онда P симметриялы қатынас деп аталады (P-«бір фирмада жұмыс істеу») .

3. Егер https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image193.gif -дан https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image194.gif шығатын болса, онда P антирефлексивті деп аталады (P-«ұлы болу») .

4. Егер https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image195.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image192.gif -дан https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image196.gif шығатын болса, онда P антисимметриялы қатынас деп аталады (P-«бастық болу») .

5. Егер https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image197.gif https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image191.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image198.gif -да https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image199.gif шығатын болса, онда Р транзитивті қатынас деп аталады (P-«ағасы болу» немесе https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image200.gif ) .

2-мысал. А- нақты оң сандар жиыны болсын. Р қатынасы ретінде https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image201.gif ”<”, “>”, “=” қарастыруға болады.

Ескерте кетелік, Р бинарлы қатынасы https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image145.gif жиынында анықталған болсын. Бұл қатынастың қасиеттерін матрицасы арқылы тексеруге болады:

1. P- рефлексивті болсын https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image202.gif , https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image201.gif мұнда https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image025.gif https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image201.gif орнына бір немесе нөлдер белгіленген.

2. P- симметриялы болсын https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image203.gif .

3. P- антисимметриялы https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image204.gif немесе https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image205.gif . Бұл қасиет https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image206.gif матрицасындағы бас диагональдан басқа жердегі элементтері нөлге тең болады, бас диагональда да нөлдер болуы мүмкін екендігін көрсетеді. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image201.gif

4. P- транзитивті https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image207.gif , яғни егер https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image208.gif , https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image209.gif , онда https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image210.gif .

3-мысал. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image211.gif матрицасымен берілген Р қатынасының қасиеттерін қарастырайық. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image212.gif матрицасының бас диагоналінде бірлер тұрғандықтан, Р рефлексивті, яғни https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image213.gif . https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image212.gif матрицасы симметриялы емес, олай болса Р қатынасы да симметриялы емес.

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image214.gif .

Бұл матрица антисимметриялылықты тексеруге қажет. Бас диагональдан басқа жердегі элементтер нөлге тең емес болғандықтан, Р антисимметриялы емес. Келтірілген мысалдан антисимметриялық қасиет пен симметриялы емес қасиеттері әртүрлі екендігі көрінеді. Енді транзитивті қасиетіне тексерейік.

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image215.gif

яғни https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image216.gif , олай болса транзитивті емес [4, 93 бет], [6, 13 бет] .

Егер P қатынасы рефлексивті, симметриялы және транзитивті болса, онда ол эквивалентті қатынас деп аталады. Эквиваленттілікті Е немесе ~ (тильда) символымен белгілейді: https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image217.gif , https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image218.gif .

4-мысал. « https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image219.gif » теңдік қатынасы кез келген А жиынында эквивалентті қатынас болады, себебі:

а) рефлексивті https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image220.gif ;

ә) симметриялы https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image221.gif , https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image222.gif ;

б) транзитивті https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image223.gif , https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image224.gif .

5-мысал. Үшбұрыштар жиынын алсақ, ұқсастық қатынасы эквивалентті болады.

А жиынындағы Е эквиваленттілік қатынасы осы А жиынын элементтері өзара эквивалентті ішкі жиындарға бөледі. Мұндай ішкі жиындар эквиваленттілік класы деп аталады.

Е - А жиынындағы эквиваленттілік қатынасы және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image086.gif болсын. А жиынының х-ке эквивалентті элементтердің ішкі жиыны х элементінің эквиваленттілік класы деп аталады. Е(х) немесе https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image225.gif деп белгіленеді

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image226.gif
Эквивалент кластар жиыны А жиынының Е эквивалентке қатысты

фактор жиыны деп аталады, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image227.gif деп белгіленеді: https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image228.gif . Фактор жиын булеанның ішкі жиыны болып табылады.

6-мысал. А - АЭжБИ студенттер жиыны, Е - студенттік группаға тиесілік қатынасы. Эквиваленттілік класы - бір группадағы студенттер жиыны. Е-ге қатысты АЭжБИ студенттер жиынындағы фактор жиын АЭжБИ студенттік топтар жиыны болады.

Анықтама бойынша:

а) эквиваленттілік класының кез келген элементі эквиваленттілік класын туындайды, яғни егер https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image229.gif , онда https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image230.gif ;

ә) әрбір эквиваленттілік класта кем дегенде бір элемент бар, яғни

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image231.gif ;

б) ешқандай элемент екі әртүрлі класқа бірден тиесілі бола алмайды

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image232.gif , онда https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image233.gif

Бөлікше анықтамасын еске түсірсек, онда

Теорема. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image227.gif фактор-жиын А жиынының бөлікшесі болып табылады. Керісінше, егер A https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image234.gif - А жиынының қандай-да бір бөлікшесі, онда оған сәйкес Е эквиваленттілік қатынасын https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image235.gif орнатуға болады.

Сонымен, А жиынындағы барлық эквиваленттік қатынасы мен А-дағы барлық бөлікшелер арасында өзара бірмәнді сәйкестік орнатуға болады.

7-мысал. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image236.gif жиыны берілсін.

A https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image237.gif - https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image041.gif бөлікшесі, ал https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image238.gif -

осы бөлікшеге сәйкес эквиваленттік қатынас болады.

8-мысал. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image239.gif жиыны берілсін. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image240.gif және

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image241.gif болсын:

а) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image182.gif қатынасының эквивалентті қатынас болатындығын көрсетейік, яғни бұл қасиет рефлексивті, симметриялы және транзитивті қасиеттерге ие болатын-дығын тексереміз. Ол үшін

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image182.gif қатынасының матрицасын құрамыз

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image242.gif .

1) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image182.gif - рефлексивті, себебі матрицадағы бас диагональда бірлер тұр;

2) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image182.gif - симметриялы, себебі https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image243.gif ;

3)

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image244.gif .

Сондықтан https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image182.gif - транзитивті. Олай болса, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image182.gif - эквивалентті қатынас;

ә) эквиваленттілік класы мен барлық эквиваленттілік кластарының жиынын (яғни https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image245.gif фактор-жиынын құрайық) .

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image246.gif

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image247.gif

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image248.gif

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image249.gif

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image250.gif

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image251.gif

Сонымен үш эквиваленттілік класы бар

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image252.gif

Сондықтан фактор-жиын https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image253.gif . Сонымен берілген эквивалентті қатынасқа сәйкес А жиынының бөлікшесін алдық.

Бұл мысалдан:

а) эквиваленттілік класының кез келген элементінен эквиваленттілік класс туындайды (яғни https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image254.gif ) ;

ә) әрбір эквиваленттілік класында ең болмағанда бір элемент болу керек (яғни https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image255.gif ) ;

б) әр элемент тек бір ғана класқа тиесілі болу керек ( https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image256.gif ) .

1. 4 Реттік қатынастар

Егер А жиынында Р қатынасы антисимметриялы және транзитивті болса, ол реттік қатынас деп аталады. Реттік қатынас рефлексивті болса, онда ол дербес реттілік (қатаң емес, мысалы https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image107.gif ), ал антирефлексивтік қосылса, онда қатаң реттілік (қатаң, мысалы, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image257.gif ) деп аталады.

А жиынында реттік қатынас берілген болсын. Егер осы жиынның екі https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image258.gif , https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image259.gif элементтері үшін https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image260.gif немесе https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image261.gif орындалса, онда бұл элементтер салыстырмалы деп аталады, қарсы жағдайда салыстырылмайтын деп аталады.

Егер А жиынының кез келген екі элементі салыстырылмалы болса, онда осы жиындағы дербес реттілік сызықты (толық, тізбектей) деп аталады.

Дербес (сызықты) реттілік анықталған жиын дербес реттелген жиын (сызықты реттелген жиын) деп аталып, д. р. ж. (с. р. ж) деп белгіленеді.

1-мысал. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image262.gif жиыны берілсін:

а) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image263.gif - дербес реттілік қатынас.

https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image264.gif Ол сызықты болмайды, себебі https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image258.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image259.gif , https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image259.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image265.gif арасында қатынас жоқ, салыстыруға келмейді.

1. 11 Сурет

Оның матрицасы https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image266.gif - бірлік матрица, рефлексивті (тепе-тең) ;

ә) P(A) https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image267.gif Ø, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image268.gif .

Осы P(A) жиынында келесі қатынасты анықтайық: https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image269.gif

= https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image270.gif https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image271.gif

P(A) - дербес реттелген жиын болады, бірақ сызықты реттілік емес, себебі https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image272.gif салыстырмалы, ал https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image273.gif және https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image274.gif салыстырылмайтын элементтер;

б) сызықты реттелген жиын - бұл N, Z, Q, R жиындары (кәдімгі рет бойынша алынған “<”, “>”, “=”…) . Бұл сызықты реттелген жиынды <N, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image107.gif >, (Z, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image107.gif ) жұбы ретінде белгілейді.

Сызықты реттелген жиынды бірінші элементіне қарай бөлуге болады. Мысалы, егер сызықты реттелген жиын ретінде натурал және бүтін сандар жиынын алатын болсақ, онда натурал сандарда кіші элемент бар, ал бүтін сандарда жоқ.

Егер реттелген А жиынында https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image275.gif https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image276.gif орындалатын х элементі болмаса, https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image277.gif элементі минималды (максималды) деп аталады.

Егер сызықты реттелген жиынның бос емес ішкі жиынында минимальды элемент бар болса, онда ол әбден реттелген деп аталады.

2-мысал. https://libr.aues.kz/facultet/frts/kaf_vm/1/umm/vm_1.files/image278.gif әбден реттелген жиын.

... жалғасы

Сіз бұл жұмысты біздің қосымшамыз арқылы толығымен тегін көре аласыз.
Ұқсас жұмыстар
Комбинаторика және ықтималдық теориясын оқыту әдістемесі
Қатынастар және олардың қасиеттері
Статистикалық мәліметтерді жинақтау, топтау
Математиканың бастауыш курсының негіздері
«Оқиғаның ықтималдығы»
Жиындарға қолданатын амалдар қасиеттері
Жиын
Математиканың даму тарихы
Математиканың бастауыш курсындығы алгебралық материалдардың мазмұны
Жиындар теориясына кіріспе
Пәндер



Реферат Курстық жұмыс Диплом Материал Диссертация Практика Презентация Сабақ жоспары Мақал-мәтелдер 1‑10 бет 11‑20 бет 21‑30 бет 31‑60 бет 61+ бет Негізгі Бет саны Қосымша Іздеу Ештеңе табылмады :( Соңғы қаралған жұмыстар Қаралған жұмыстар табылмады Тапсырыс Антиплагиат Қаралған жұмыстар kz