Yadro (tartib nazariyasi) - Nucleus (order theory)

Matematikada va ayniqsa tartib nazariyasi, a yadro funktsiya ${ displaystyle F}$ a uchrashish-semilattice ${ displaystyle { mathfrak {A}}}$ shunday (har biri uchun ${ displaystyle p}$ yilda ${ displaystyle { mathfrak {A}}}$):^[1]

1. ${ displaystyle p leq F (p)}$
2. ${ displaystyle F (F (p)) = F (p)}$
3. ${ displaystyle F (p wedge q) = F (p) x x F (q)}$

Har qanday yadro aniq monoton funktsiyadir.

Kadrlar va joylar

Odatda, atama yadro ichida ishlatiladi ramkalar va joylar nazariya (qachon yarim yarim ${ displaystyle { mathfrak {A}}}$ ramka).

Taklif: Agar ${ displaystyle F}$ ramkada joylashgan yadrodir ${ displaystyle { mathfrak {A}}}$, keyin poset ${ displaystyle operator nomi {Fix} (F)}$ ning sobit nuqtalari ${ displaystyle F}$, meros qilib olingan buyurtma bilan ${ displaystyle { mathfrak {A}}}$, shuningdek, ramka.^[2]

Adabiyotlar