Ikkilik munosabatlar va ularning xususiyatlari

ularning ta'riflar Paradox so'nggi analitik tahlil beri tushunchalar bir qator bilan birga o'rnak uchun munosabatlar keng. abadiy televizoringizning maqolada muhokama tushunchalar turli. dual turi haqida gapirganda, bo'lsa-da, bu bilan bir necha o'zgaruvchilar o'rtasidagi o'zaro bir munosabatni ifoda etiladi. Va shuningdek, ob'ektlarni yoki so'zlar o'rtasida.

fikr ob'ektlarni qilingan va R shaxslar o'rtasidagi munosabatlar bir necha shaklda belgisidir - qoida tariqasida, ikkilik munosabatlar x va x qaerda, XRX R sohasida x har qanday qiymati uchun, bunday mulkiy o'zlik deb ataladi ya'ni, agar, R ko'rsatilgan . bitiklari shifrovka nihoyat ma'no uyushmasi o'xshash belgisi, "agar ... keyin ...» Va, (XRY UY RZ) - Shu bilan birga, Express yoki xRy® yRx bo'lsa, u ® simmetriya davlat haqida gapiradi. U belgisi bilan, o'timli munosabatlar haqida aytib ®xRz - bu bir bog'lovchi hisoblanadi.

A ikkilik, ham o'zlik, nosimmetrik bo'lib munosabat va o'timli bir ekvivalentligi deb ataladi. f nisbati - va bir vazifasi i f va I f tenglik y = z nazarda tutadi. Simple ikkilik vazifasi osongina ma'lum tartibda ikki oddiy mustaqil qo'llanilishi mumkin, va faqat shu holda, u bir vaziyatda qabul bu ikki iborani qaratilgan unga bir qiymat, beradi.

Bu, bu xaritalar x f y derlar kerak f zonasi ta'rifi maydoni qiymatlari x va y funksiyasi bo'lsa. y F x va y I Z extrapolates Biroq, keyin bu x, z Aslida o'sha f shoularni keladi. Oddiy misol: f (x) = 2x juda o'zboshimchalik butun son x uchun amal qiladi bo'lsa, unda biz f Shu butun ko'plab ma'lum barcha butun sonlarning imzolangan majmuini, xaritalar, lekin bu safar ham raqamlar, deb aytish. Yuqorida aytib o'tilganidek, bir vaqtning o'zida, o'zlik simmetrik va o'timli, ekvivalentlik munosabat binar munosabatlar, deb.

ikkilik munosabatlarning xususiyatlari bilan belgilanadi ekvivalent yuqorida, munosabatlar asosida:

• yansıtıcı - nisbati (M ~ N);
• simmetriya - tenglik M ~ N bo'lsa, N ~ M ham bo'ladi;
• transitivity - agar ikki tenglik va M ~ N N ~ R, natija M ~ P.

batafsil ikkilik munosabatlarning dastur xususiyatlarini ko'rib chiqib. Dönüşlülük - sinov fotoalbomlarda har bir element bu tenglik o'zi bo'lgan ba'zi ulanish xususiyatlarini biridir. Misol uchun, raqamlar bir = c va a³ o'rtasida - o'zlik aloqa, har doim bir = c = c va a³ bilan s³ bor, chunki. Shu bilan birga, tengsizlik a nisbati> c - chunki tengsizlik a> a imkansızlıklar antireflexive. Bu mol-mulkni aksioma belgi kodlangan: ® aRc® Ara U CRC, bu erda ramzi so'zni bildiradi "shama" (yoki "nazarda tutadi") va U belgisi - "va" (yoki birgalikda) yonida. Bu bayonot u quyidagicha, agar rost va arc ifoda Ara va CRC sifatida taklif haqiqati.

Simmetriya munosabatlar mavjudligini sabab va ruhiy ob'ektlar bekor bo'lsa, ob'ektlarni bir simmetrik munosabat qayta tashkillashtirish shakli o'zgartirish olib kelmaydi, ya'ni "ikkilik munosabatlar." Misol uchun, tenglik bir = C munosabatlar tufayli ekvivalentligi aloqa C simmetrik bo'lgan = a; Bundan tashqari, u aloqa s¹a, teng a¹s va hukm javob sifatida.

- o'timli to'plami quyidagi talabini qondirish bo'lgan mulki hisoblanadi X da, z X, ® Z I Y qaerda so'zlarni almashtirish belgisi sifatida ® Havoriylar: «Agar ... keyin ...". Og'zaki formula shunday deb o'qib: ". X mustaqil, z x funktsiya sifatida y, z tegishli bo'lsa"