See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Insieme universo - Wikipedia

Insieme universo

Da Wikipedia, l'enciclopedia libera.

Nella teoria degli insiemi si indica con insieme universo quel particolare insieme che contiene tutti gli elementi e tutti gli insiemi esistenti, compreso quindi anche se stesso e l'insieme vuoto.

Indice

[modifica] Notazione

Solitamente l'insieme universo viene indicato con la lettera U che sta proprio per universo.

[modifica] Proprietà

  • ogni insieme è sottoinsieme dell'insieme universo.
  • l'unione di un qualunque insieme A con l'insieme universo è l'insieme universo stesso.
  • l'intersezione di un qualunque insieme A con l'insieme universo consiste nell'insieme A.
  • l'unico insieme che contiene l'insieme universo è l'insieme universo stesso.

Poiché l'insieme universo è unico, si parla dell'insieme universo e non di un insieme universo. Nella teoria degli insiemi, infatti, due insiemi sono uguali se hanno gli stessi elementi, quindi ci può essere un solo insieme contenente tutti gli elementi.

[modifica] Paradossi

Nella teoria assiomatica degli insiemi il riferimento ad un "insieme di tutti gli insiemi" (cioè ad un insieme universo) tipicamente conduce ad un paradosso. Il motivo di ciò è da ricercarsi nella forma dell'assioma di specificazione di Zermelo: per qualsiasi formula \varphi(x) ed insieme A esiste l'insieme \{x \in A \mid \varphi(x)\} che contiene esattamente quegli elementi x di A che soddisfano \varphi.
Se l'insieme universo U esiste, tale insieme può appartenere soltanto a se stesso. Infatti gli insiemi, per definizione, sono considerabili elementi di altri insiemi; ma non vi è nessun insieme dell'insieme universo che possa contenere l'insieme universo stesso, in quanto un insieme non può mai essere contenuto in un suo sottoinsieme. Inoltre l'insieme universo, considerato come elemento, appartiene a se stesso perché, per la definizione data sopra, tutti gli elementi appartengono all'insieme universo. Allora ci si può imbattere nel paradosso di Russell considerando l'insieme

R=\left \{X \in U \mid X \notin X \right \}

cioè l'insieme di tutti gli insiemi che non appartengono a se stessi. È legittimo chiedersi se l'insieme R, a sua volta, appartenga o non appartenga a se stesso; vi sono ovviamente due sole possibilità, ma conducono entrambe ad una contraddizione:

R \in R \Rightarrow \; R \notin R cioè se R appartiene ad R, allora deve soddisfare la proprietà degli elementi di R, che è quella di non appartenere a se stessi;
R \notin R \Rightarrow \; R \in R cioè se R non appartiene ad R, allora è un elemento dell'insieme degli insiemi che non appartengono a se stessi, quindi appartiene ad R;

Poiché l'aver assunto che R fosse un insieme (cioè che potesse essere considerato sia come elemento sia come classe) ha condotto in ogni caso ad una contraddizione (reductio ad absurdum), abbiamo dimostrato che R non è un insieme ma una classe propria, cioè una classe che non può essere considerata elemento di un'altra classe.

Più in generale, nella teoria assiomatica degli insiemi, si distingue fra insiemi e classi proprie, che sono entrambi classi ma che si differenziano per il fatto che i primi possono essere anche considerati come elementi di altre classi, mentre le classi proprie non possono essere considerate elementi di altre classi. Tuttavia né insiemi né classi proprie possono appartenere a se stessi: i primi per l'assioma della fondatezza; le seconde perché, per definizione, non possono appartenere ad alcunché e quindi nemmeno a se stesse.

Poiché nessun insieme può appartenere a se stesso, e poiché oltre agli insiemi esistono altri tipi di classi, dette classi proprie, l'insieme universo (definito come sopra) non esiste, mentre si può accettare il concetto di una classe universale, che contenga elementi, insiemi e classi proprie e che sia, a sua volta, una classe propria.

[modifica] Ulteriori sviluppi

Nelle teorie che postulano l'esistenza di classi proprie l'affermazione U \in U non è vera perché, come abbiamo visto, le classi proprie non possono essere considerate come elementi.
Esistono teorie considerate coerenti (se la teoria degli insiemi comunemente adottata è coerente) in cui l'insieme universale U esiste (e U \in U è vera). In queste teorie l'assioma di specificazione di Zermelo in generale non regge, e l'assioma di comprensione della teoria ingenua degli insiemi viene limitato in un differente modo. Esempi di tali teorie sono le varie versioni della Nuova fondazione di cui è nota la coerenza e sistemi di teorie positive degli insiemi.

[modifica] Voci correlate



aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -