Zorn, lemmadiZorn, lemmadi o lemmadiKuratowski-Zorn, teorema il cui enunciato è il seguente: se R è un insieme parzialmente ordinato (→ ordinamento) in cui ogni catena (vale a dire un sottoinsieme [...] viceversa, che l’assioma della scelta può essere reso dimostrabile, a patto di accettare come assioma l’enunciato del lemmadiZorn. Una terza formulazione equivalente del lemmadiZorn e dell’assioma della scelta è il teorema del → buon ordinamento ...
Leggi Tutto
Kuratowski, lemmadiKuratowski, lemmadi in teoria degli insiemi, teorema che stabilisce che ogni catena in un insieme parzialmente ordinato è contenuta in una catena massimale (cioè in una catena non [...] al lemmadi → Zorn e all’assioma della → scelta. Poiché i lavori di K. Kuratowski sull’argomento sono precedenti ai lavori di M. Zorn, molti autori considerano più appropriato riferirsi al lemmadiZorn con la locuzione lemmadiKuratowski-Zorn. ...
Leggi Tutto
Zorn Max
Zorn 〈zòrn〉 Max [STF] (n. 1906) Matematico statunitense. ◆ [ALG] Lemmadi Z., o lemmadi Z.-Kuratowski, o principio dell'insieme massimale: enunciato nel 1922 da K. Kuratowski, afferma che un [...] insieme parzialmente ordinato, di cui ogni sottoinsieme totalmente ordinato ammette un elemento maggiorante, possiede almeno un elemento massimale; si tratta di un postulato equivalente all'assioma della scelta. ...
Leggi Tutto
scelta, assioma della
scelta, assioma della o assioma di Zermelo, assioma della teoria degli insiemi, enunciato da E. Zermelo nel 1904, che asserisce quanto segue: data un’arbitraria famiglia non vuota [...] sia la sua negazione sono consistenti con il sistema di assiomi ZF, cioè non portano a contraddizioni. Il lemmadi → Kuratowski, il teorema del → buon ordinamento e il lemmadi → Zorn sono tutti equivalenti all’assioma della scelta: aggiungendo agli ...
Leggi Tutto
Complesso di norme che ordinano e disciplinano una determinata istituzione o attività.
Diritto
L’o. giuridico
Dell'o. giuridico si hanno sostanzialmente tre concezioni. La teoria normativa, che fa capo [...] Il teorema del buon o. è equivalente all’assioma delle infinite scelte arbitrarie (➔ Zermelo, Ernst) e al lemmadiZorn-Kuratowski (➔ scelta). O. filtrante (o preordine). Particolare o., per solito parziale, che ha interesse soprattutto nella teoria ...
Leggi Tutto
Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] date nel 1914 da G. Hausdorff, nel 1924 e nel 1938 da A. Tarski, nel 1922 da C. Kuratowski. L’enunciato formulato da Kuratowski è abitualmente chiamato lemmadiZorn-Kuratowski o principio dell’insieme massimale (un insieme parzialmente ordinato ...
Leggi Tutto