WikiDer > Oldindan buyurtma

Yilda to'plam nazariyasi, a oldindan yashash a ikkilik munosabat ${ displaystyle leq}$ anavi o'tish davri, konneksva asosli (aniqrog'i, munosabat ${ displaystyle x leq y land y nlele x}$ asosli). Boshqacha qilib aytganda, agar ${ displaystyle leq}$ to'plamga oldindan buyurtma berish ${ displaystyle X}$va agar biz aniqlasak ${ displaystyle sim}$ tomonidan

${ displaystyle x sim y iff x leq y land y leq x}$

keyin ${ displaystyle sim}$ bu ekvivalentlik munosabati kuni ${ displaystyle X}$va ${ displaystyle leq}$ undaydi a kelishuv ustida miqdor ${ displaystyle X / sim}$. The buyurtma turi bu induksiya qilingan vordelning an tartiblideb nomlangan uzunlik oldingi davlat boshqaruvi.

A norma to'plamda ${ displaystyle X}$ dan xarita ${ displaystyle X}$ tartibda. Har qanday me'yor oldindan buyurtma berishga majbur qiladi; agar ${ displaystyle phi: X to Ord}$ bu norma bo'lib, tegishli oldindan kelishuv tomonidan beriladi

${ displaystyle x leq y iff phi (x) leq phi (y)}$

Aksincha, har bir oldingi kelishuv o'ziga xos xususiyatga ega muntazam me'yor (norma ${ displaystyle phi: X to Ord}$ agar mavjud bo'lsa, odatiy hisoblanadi ${ displaystyle x in X}$ va har qanday ${ displaystyle alpha < phi (x)}$, u yerda ${ displaystyle y in X}$ shu kabi ${ displaystyle phi (y) = alfa}$).

Oldindan mulkni ko'chirish

Agar ${ displaystyle { boldsymbol { Gamma}}}$ a nuqta klassi ba'zi to'plamlarning pastki to'plamlari ${ displaystyle { mathcal {F}}}$ ning Polsha bo'shliqlari, ${ displaystyle { mathcal {F}}}$ ostida yopilgan Dekart mahsulotiva agar bo'lsa ${ displaystyle leq}$ ba'zi bir kichik to'plamning oldingi buyrug'i ${ displaystyle P}$ ba'zi elementlarning ${ displaystyle X}$ ning ${ displaystyle { mathcal {F}}}$, keyin ${ displaystyle leq}$ deb aytiladi a ${ displaystyle { boldsymbol { Gamma}}}$-oldindan yashash ning ${ displaystyle P}$ munosabatlar bo'lsa ${ displaystyle <^ {*}}$ va ${ displaystyle leq ^ {*}}$ ning elementlari ${ displaystyle { boldsymbol { Gamma}}}$, qaerda ${ displaystyle x, y in X}$,

1. ${ displaystyle x <^ {*} y iff x in P land [y notin P lor {x leq y land y not leq x }]}$
2. ${ displaystyle x leq ^ {*} y iff x in P land [y notin P lor x leq y]}$

${ displaystyle { boldsymbol { Gamma}}}$ ega bo'lishi aytiladi oldindan mulkni boshqarish agar har bir o'rnatilgan bo'lsa ${ displaystyle { boldsymbol { Gamma}}}$ tan oladi a ${ displaystyle { boldsymbol { Gamma}}}$- buyurtma berish.

Oldindan boshqarish xususiyati kuchliroq bilan bog'liq miqyosdagi mulk; amalda, avvaldan buyurtma berish xususiyatiga ega bo'lgan ko'plab nuqta sinflari miqyos xususiyatiga ega, bu esa yanada kuchli xulosalar chiqarishga imkon beradi.

Misollar

${ displaystyle { boldsymbol { Pi}} _ {1} ^ {1}}$ va ${ displaystyle { boldsymbol { Sigma}} _ {2} ^ {1}}$ ikkalasi ham oldindan buyurtma qilish xususiyatiga ega; buni isbotlash mumkin ZFC yolg'iz. Etarli deb taxmin qilish katta kardinallar, har bir kishi uchun ${ displaystyle n in omega}$, ${ displaystyle { boldsymbol { Pi}} _ {2n + 1} ^ {1}}$ va ${ displaystyle { boldsymbol { Sigma}} _ {2n + 2} ^ {1}}$oldindan yashash xususiyatiga ega.

Oqibatlari

Kamaytirish

Agar ${ displaystyle { boldsymbol { Gamma}}}$ bu etarli ball prewellordering xususiyati bilan, u ham ega kamaytirish xususiyati: Har qanday bo'sh joy uchun ${ displaystyle X in { mathcal {F}}}$ va har qanday to'plamlar ${ displaystyle A, B subseteq X}$, ${ displaystyle A}$ va ${ displaystyle B}$ ikkalasi ham ${ displaystyle { boldsymbol { Gamma}}}$, ittifoq ${ displaystyle A cup B}$ to'plamlarga bo'linishi mumkin ${ displaystyle A ^ {*}, B ^ {*}}$, ikkalasi ham ${ displaystyle { boldsymbol { Gamma}}}$, shu kabi ${ displaystyle A ^ {*} subseteq A}$ va ${ displaystyle B ^ {*} subseteq B}$.

Ajratish

Agar ${ displaystyle { boldsymbol { Gamma}}}$ bu etarli ball kimning ikkita nuqta klassi prewellordering xususiyatiga ega, keyin ${ displaystyle { boldsymbol { Gamma}}}$ bor ajratish xususiyati: Har qanday bo'sh joy uchun ${ displaystyle X in { mathcal {F}}}$ va har qanday to'plamlar ${ displaystyle A, B subseteq X}$, ${ displaystyle A}$ va ${ displaystyle B}$ ajratish ikkalasini ham o'rnatadi ${ displaystyle { boldsymbol { Gamma}}}$, to'plam mavjud ${ displaystyle C subseteq X}$ ikkalasi ham shunday ${ displaystyle C}$ va uning to'ldiruvchi ${ displaystyle X setminus C}$ ichida ${ displaystyle { boldsymbol { Gamma}}}$, bilan ${ displaystyle A subseteq C}$ va ${ displaystyle B cap C = emptyset}$.

Masalan, ${ displaystyle { boldsymbol { Pi}} _ {1} ^ {1}}$ prewellordering xususiyatiga ega, shuning uchun ${ displaystyle { boldsymbol { Sigma}} _ {1} ^ {1}}$ ajratish xususiyatiga ega. Bu shuni anglatadiki, agar ${ displaystyle A}$ va ${ displaystyle B}$ ajratilgan analitik ba'zi Polsha makonining pastki to'plamlari ${ displaystyle X}$, keyin bor Borel kichik to'plam ${ displaystyle C}$ ning ${ displaystyle X}$ shu kabi ${ displaystyle C}$ o'z ichiga oladi ${ displaystyle A}$ va ajratilgan ${ displaystyle B}$.

Shuningdek qarang

• Ta'riflovchi to'plamlar nazariyasi
• Miqyosi xususiyati
• Baholangan poset - gradusli poset normaga oldingi buyurtma bilan o'xshash bo'lib, xaritani ordinallarga butun sonlar xaritasi bilan almashtiradi

Adabiyotlar

• Moschovakis, Yiannis N. (1980). Tasviriy to'plamlar nazariyasi. Shimoliy Gollandiya. ISBN 0-444-70199-0.