Và al contegnud

Lema da Zorn

De Wikipedia
Portal Artícuj relazziunaa a matemàtica


Ul lema da Zorn, cjamaa apó lema da Kuratowski-Zorn, al è un teurema da la teuría di cungjuunt ch’al afirma :

Tütt cungjuunt indütiif al amet almaanch un elemeent massimaal.

L'enunziaa al curespuunt a la scèrnida abitüala dal para (1,3) in la definizziú d'un cungjuunt indütiif ; si sa ga scerniss ul para (1,4) sa l utegn un enunziaa (a l’aparenza) plüü fort, da le völte bé ütil.

Cheest « lema » al è taal noma si sa al amet l'assioma da la scèrnida : in efett, i quàtar enunziaa utegnüü variaant la scèrnida da para in l'artícul cungjuunt indütiif, i è equivaleent a cheest assioma. Sa pöö dunca apó bé cunsiderá ul lema da Zorn cuma un assioma pussíbil, e l'« assioma da la scèrnida » cuma un teurema ch’al saress la suva cunseguenza.

L'interess da cheest lema a l’è dal permett un druvameent fàcil dal assioma da la scèrnida senza iga a druvá la teuría di urdinaj. Da tüta manera, par chij ch’i cugnuss chesta darera, le custrüzziú par récurenza trasfinida i è plüü intütive (malgraa plüü lunghe) e plüü infurmative.

(in vrac e incumplett in cheest cantée)

[[Category:Teuría di úrden] ]