Анықтама. Егер f: AB бейнелеуi әрмәнді инъективтi және тұтас (съюрективтi) бейнелеу болса, онда f бейнелеуi бірге-бір сәйкестiк биекция)немесе бірге-бір бейнелеу деп аталады.
Сонымен, қысқартажазсақ:
f – биекция болады сонда тек сонда ғана, егер
x,yA үшiн
Кез келген yB үшiн f(x) = y болатындай xA табылады.
шарттары орындалса.
Кез келген үшiн 1A(a)=a теңдiгi орындалатын 1A:AA функциясы бiрлiк функция деп аталады.
Егер f: AB және бейнелеулері үшін сәйкестігін үшін шартымен анықтасақ, бұл сәйкестік бейнелеу болады және оны және бейнелеулерінің композициясы (бернесі) деп айтамыз.
Белгілеуі: .
Егер f: AB, және берілсе, олардың композициясы үшін әруақытта келесі
терімділік:
қасиеті орындалады.
Егер f: AB бейнелеуі үшін бейнелеуі табылып, теңдігі орындалса, яғни кез келген үшін болса, онда бейнелеуі f бейнелеуіне кері бейнелеудеп аталып, ол түрінде белгіленеді.
1
№ 4
дәріс
Қарастырылатын сұрақтар (дәріс жоспары):
1. Қатынастар.
2. Бинарлы қатынастар және берілу тәсілдері.
3. Бинарлы қатынастарға қолданылатын амалдар және олардың қасиеттері. Дәрістің қысқаша мазмұны:
Анықтама. Бос емес А жиыны берiлсiн. Мұндеғы n – оң бүтiн сан, онда n жиынының кез келген iшкi жиынын Ажиынында анықталған n-орынды қатынас деп атаймыз.
1-орынды қатынастар унарлық, 2-орынды қатынастар бинарлық, 3-орынды қатынастар тернарлық қатынастар деп аталады. Практикада негiзiнен унарлық және бинарлық қатынастармен жұмыс iстеймiз. Әсiресе, төменде келтiрiлетiн арнайы бинарлық қатынастар математикада кеңінен қолданыс тапқан.
Осы бөлімде R арқылы А жиынында анықталған бинарлық қатынасты белгiлеуге келіселік. Сонымен бірге, парының R қатынасына тиістілігін (а,b)R, немесе aRb таңбалаулардың бірімен белгілейміз.
Бiздiң курсымызда ерекше маңызды және жиi кездесетiн арнайы бинарлық қатынастарды анықтайық.
Егер кез келген элементi үшiн (x,x)R болса, онда Rқатынасы рефлексивтi қатынас деп аталады.
Егер кез келген x,y элементтерi үшiн шарты орындалса, онда R қатынасы симметриялы деп аталады.
Егер кез келген элементтерi үшiн және шарты орындалса, онда қатынасы транзитивтi деп аталады.
Кез келген үшiн болса, онда қатынасы иррефлексивтi деп аталады.
Кез келген x,y үшiн және болғандығынан xyтеңдiгi орындалса, онда қатынасы антисимметриялы деп аталады.
Анықтамадан рефлексивті және иррефлексивті, симметриялы және антисимметриялы қатынастар біріне бірі толықтауыш жиындар болуы міндетті емес екенін көреміз.
