Biordered to'plami - Biordered set

Ushbu maqola ohang yoki uslub aks ettirmasligi mumkin entsiklopedik ohang Vikipediyada ishlatilgan. Vikipediyani ko'ring yaxshiroq maqolalar yozish uchun qo'llanma takliflar uchun. (2012 yil noyabr) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

A to'siq o'rnatilgan ("boset") a matematik ob'ekt ning tavsifida uchraydi tuzilishi to'plamining idempotentlar a yarim guruh. Kontseptsiyasi va terminologiyasi tomonidan ishlab chiqilgan K S S Nambooripad 70-yillarning boshlarida.^[1][2][3]Ikkala qatlamli to'plamning aniqlovchi xususiyatlari ikkitadan ifodalanadi quasiorders to'plamda aniqlangan va shuning uchun biordered to'plam nomi. Patrik Jordan, Sidney universitetining magistratura talabasi bo'lganida, 2002 yilda ushbu atamani kiritdi ko'ylagi biordered to'plamining qisqartmasi sifatida.^[4]

Mohan S. Putchaning so'zlariga ko'ra, "Ikki qatlamli to'plamni aniqlaydigan aksiomalar juda murakkab. Ammo yarim guruhlarning umumiy xususiyatlarini hisobga olgan holda, bunday cheklangan aksiomatizatsiya qilish mumkinligi ajablanarli emas".^[5] Nambooripad tomonidan o'rnatilgan biorderedning asl ta'rifi nashr etilganidan beri ta'rifning bir nechta o'zgarishi taklif qilindi. Devid Easdown ta'rifini soddalashtirdi va aksiomalarini u ixtiro qilgan maxsus o'q belgisida shakllantirdi.^[6]

Yarim guruhdagi idempotentlar to'plami ikkiga bo'lingan to'plam bo'lib, har bir bog'langan to'plam ba'zi yarim guruhlarning idempotentlar to'plamidir.^[3][7]Oddiy biordered to'plam - qo'shimcha xususiyatga ega bioreded to'plam. A dagi idempotentlar to'plami muntazam yarim guruh muntazam biordered to'plami va har bir muntazam biordered to'plami ba'zi bir muntazam yarim guruhning idempotentlari to'plamidir.^[3]

Ta'rif

Nambooripad tomonidan berilgan ikki qatorli to'plamning rasmiy ta'rifi^[3] ba'zi dastlabki o'yinlarni talab qiladi.

Dastlabki bosqichlar

Agar X va Y bo'lishi to'plamlar va r⊆ X × Y$ r $ bo'lsin y ) = { x ∈ X : x r y }.

Ruxsat bering E bo'lishi a o'rnatilgan unda a qisman ikkilik operatsiya, yonma-yon qo'yish bilan ko'rsatilgan, aniqlangan. Agar D._E bo'ladi domen qismli ikkilik operatsiyani yoqish E keyin D._E a munosabat kuni E va (e,f) ichida D._E agar va faqat mahsulot bo'lsa ef mavjud E. Quyidagi munosabatlarni aniqlash mumkin E:

${ displaystyle omega ^ {r} = {(e, f) ,: , fe = e }}$

${ displaystyle omega ^ {l} = {(e, f) ,: , ef = e }}$

${ displaystyle R = omega ^ {r} , cap , ( omega ^ {r}) ^ {- 1}}$

${ displaystyle L = omega ^ {l} , cap , ( omega ^ {l}) ^ {- 1}}$

${ displaystyle omega = omega ^ {r} , cap , omega ^ {l}}$

Agar T har qanday bayonot haqida E qisman ikkilik operatsiyani va yuqoridagi munosabatlarni o'z ichiga olgan E, chapdan o'ngga belgilash mumkin ikkilamchi ning T bilan belgilanadi T*. Agar D._E bu nosimmetrik keyin T* har doim mazmunli bo'ladi T bu.

Rasmiy ta'rif

To'plam E Quyidagi bo'lsa, biordered to'plam deb nomlanadi aksiomalar va ularning ikkiliklari o'zboshimchalik elementlariga tegishli e, f, gva hokazo E.

(B1) ω^r va ω^l bor reflektiv va o'tish davri munosabatlar E va D._E = (ω^r ∪ ω ^l ) ∪ (ω^r ∪ ω^l )⁻¹.

(B21) Agar f ω da joylashgan^r( e ) keyin f R fe ω e.

(B22) Agar g ω^l f va agar f va g ω ichida^r ( e ) keyin ge ω^l fe.

(B31) Agar g ω^r f va f ω^r e keyin gf = ( ge )f.

(B32) Agar g ω^l f va agar f va g ω ichida^r ( e ) keyin ( fg )e = ( fe )( ge ).

Yilda M ( e, f ) = ω^l ( e ) ∩ ω^r ( f ) (the M- sozlash ning e va f shu tartibda), munosabatni aniqlang ${ displaystyle prec}$ tomonidan

${ displaystyle g prec h quad Longleftrightarrow quad eg , , omega ^ {r} , , eh ,, , , , gf , , omega ^ {l} , , hf}$.

Keyin to'plam

${ displaystyle S (e, f) = {h in M ​​(e, f): g prec h { text {for all}} g in M ​​(e, f) }}$

deyiladi sendvich o'rnatildi ning e va f shu tartibda.

(B4) Agar f va g ω ichida^r ( e ) keyin S( f, g )e = S ( fe, ge ).

M-biordered to'plamlar va oddiy biordered to'plamlar

Biz biordered to'plam deb aytamiz E bu M- ustunlik to'plami agar M ( e, f ) Hamma uchun e va f yilda E. Shuningdek, E deyiladi a muntazam biordered to'plami agar S ( e, f ) Hamma uchun e va f yilda E.

2012 yilda Roman S. Gigo buni oddiy isbotladi M-qamallangan to'plamlar kelib chiqadi E-inversiv yarim guruhlar.^{[8][tushuntirish kerak ]}

Subobektlar va morfizmlar

Biordered pastki to'plamlari

Ichki to‘plam F bir-biriga bog'langan to'plam E ning pastki qism (subboset) E agar F - meros qilib olingan qisman ikkilik operatsiya ostida joylashgan ikki qatorli to'plam E.

Har qanday kishi uchun e yilda E sets to'plamlari^r ( e ), ω^l ( e ) va ω ( e ) ning pastki qismlari E.^[3]

Bimorfizmlar

Xaritalash φ: E → F Ikkala to'siq to'plamlari o'rtasida E va F agar hamma uchun bo'lsa (bimorfizm deb ham ataladi) e, f ) ichida D._E bizda ... bor ( eφ) ( fb) = ( ef ) φ.

Tasviriy misollar

Vektorli kosmik misol

Ruxsat bering V bo'lishi a vektor maydoni va

E = { ( A, B ) | V = A ⊕ B }

qayerda V = A ⊕ B shuni anglatadiki A va B bor subspaces ning V va V bo'ladi ichki to'g'ridan-to'g'ri summa ning A va B. E bilan aniqlangan qisman ikkilik operatsiya

( A, B ) ⋆ ( C, D. ) = ( A + ( B ∩ C ), ( B + C ) ∩ D. )

qiladi E bir-biriga bog'langan to'plam. Quasiorders E quyidagicha tavsiflanadi:

( A, B ) ω^r ( C, D. ) ⇔ A ⊇ C

( A, B ) ω^l ( C, D. ) ⇔ B ⊆ D.

Yarim guruhning birlashtirilgan to'plami

To'plam E yarim guruhdagi idempotentlar S qisman ikkilik operatsiya aniqlangan bo'lsa, ikkilangan to'plamga aylanadi E quyidagicha: ef ichida aniqlanadi E agar va faqat agar ef = e yoki ef= f yoki fe = e yoki fe = f ushlaydi S. Agar S u holda muntazam yarim guruh E muntazam ravishda bog'langan to'plamdir.

Aniq misol sifatida, ruxsat bering S ning barcha xaritalarini yarim guruhi bo'ling X = O'zi uchun {1, 2, 3}. Belgiga ruxsat bering (abc) 1 → ga teng bo'lgan xaritani belgilang a, 2 → bva 3 → v. To'plam E idempotentlarning S quyidagi elementlarni o'z ichiga oladi:

(111), (222), (333) (doimiy xaritalar)

(122), (133), (121), (323), (113), (223)

(123) (hisobga olish xaritasi)

Quyidagi jadval (xaritalar tarkibini diagramma tartibida olish) qisman ikkilik operatsiyani E. An X katakchada mos keladigan ko'paytma aniqlanmaganligini bildiradi.

Adabiyotlar