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

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Teoria ingenua degli insiemi - Wikipedia

Teoria ingenua degli insiemi

Da Wikipedia, l'enciclopedia libera.

La teoria ingenua degli insiemi1 si distingue dalla teoria assiomatica degli insiemi per il fatto che la prima considera gli insiemi come collezioni di oggetti, chiamati elementi o membri dell'insieme, mentre la seconda considera insiemi solo quelli che soddisfano determinati assiomi. Gli insiemi hanno una grande importanza in matematica; infatti, nelle trattazioni formali moderne, la maggior parte degli oggetti matematici (numeri, relazioni, funzioni, etc.) sono definiti in termini di insiemi.

Indice

[modifica] Introduzione

La teoria ingenua degli insiemi venne creata alla fine del diciannovesimo secolo da Georg Cantor allo scopo di permettere ai matematici di lavorare in modo consistente con gli insiemi infiniti.

Come si scoprì più tardi, l'assunzione che sia possibile eseguire qualsiasi operazione sugli insiemi senza restrizioni porta a paradossi come il paradosso di Russell. In risposta, la teoria assiomatica degli insiemi fu sviluppata per determinare precisamente quali operazioni sono ammesse e quando. Oggi, quando i matematici parlano di "teoria degli insiemi" come campo di studio, in genere intendono la teoria astratta degli insiemi, ma quando parlano di teoria degli insiemi come semplice strumento da applicare in altri campi della matematica, intendono solitamente la teoria ingenua degli insiemi.

La teoria assiomatica degli insiemi può essere piuttosto astrusa e ha poca influenza sulla matematica ordinaria. Quindi è utile studiare gli insiemi nell'originale senso ingenuo allo scopo di sviluppare abilità nel lavorare con essi. Inoltre, una buona padronanza della teoria ingenua degli insiemi è necessaria come prima fase nella comprensione della motivazione per la teoria assiomatica.

In questo articolo si descrive la teoria ingenua. Gli insiemi sono definiti informalmente e alcune delle loro proprietà sono esaminate. I collegamenti in questo articolo a specifici assiomi della teoria degli insiemi mostrano alcuni dei collegamenti fra la qui presente discussione informale e la successiva assiomatizzazione della teoria degli insiemi, ma non si giustifica ogni affermazione su questa base.

[modifica] Insiemi, appartenenza e uguaglianza

Nella teoria ingenua degli insiemi, un insieme è descritto come una collezione ben definita di oggetti. Questi oggetti sono chiamati elementi o membri dell'insieme. Gli oggetti possono essere qualsiasi cosa: numeri, persone, altri insiemi, etc. Ad esempio, 4 è un elemento dell'insieme di tutti i numeri interi pari. Come si vede da questo esempio, gli insiemi possono avere un numero infinito di elementi.

Se x è un elemento di A, allora si dice anche che x appartiene a A, o che x è in A. In questo caso, scriviamo x ∈ A. (Il simbolo "\in" ha origine dalla lettera greca epsilon, "ε", introdotta da Peano nel 1888.) Il simbolo \notin è talvolta usato per scrivere x ∉ A, oppure "x non è in A".

Due insiemi A e B sono detti uguali quando hanno esattamente gli stessi elementi, cioè, se ogni elemento di A è un elemento di B e ogni elemento di B è un elemento di A. (Vedi assioma di estensionalità.) Quindi un insieme è completamente determinato dai suoi elementi; la descrizione è irrilevante. Ad esempio, l'insieme con elementi 2, 3 e 5 è uguale all'insieme di tutti i numeri primi minori di 6. Se A e B sono uguali, allora questo è indicato simbolicamente con A = B.

Ammettiamo anche un insieme vuoto, spesso indicato con \varnothing: un insieme del tutto privo di elementi. Poiché un insieme è determinato completamente dai suoi elementi, può esistere solo un insieme vuoto. (Vedi assioma dell'insieme vuoto)

[modifica] Specificazione degli insiemi

Il modo più semplice per descrivere un insieme è elencare i suoi elementi fra parentesi graffe. Quindi {1,2} indica l'insieme i cui soli elementi sono 1 e 2. (Vedi assioma della coppia.) Nota i seguenti punti:

  • L'ordine degli elementi non è importante; ad esempio, {1,2} = {2,1}.
  • La ripetizione (molteplicità) degli elementi è irrilevante; ad esempio, {1,2,2} = {1,1,1,2} = {1,2}.

(Queste sono conseguenze della definizione di uguaglianza della precedente sezione.)

Questa notazione può essere abusata informalmente usando un'espressione del tipo {cani} per indicare l'insieme di tutti i cani, ma questo esempio sarebbe interpretato da un matematico come "l'insieme contenente il singolo elemento cani".

Un esempio estremo (ma corretto) di questa notazione è {}, che denota l'insieme vuoto.

Possiamo usare anche la notazione {x : P(x)} (o talvolta {x | P(x)}) per indicare l'insieme contenente tutti gli oggetti per cui vale la condizione P. Ad esempio, {x : x è un numero reale} denota l'insieme dei numeri reali, {x : x ha i capelli biondi} denota l'insieme di chi ha i capelli biondi, e {x : x è un cane} denota l'insieme di tutti i cani.

Questa notazione è chiamata notazione tabulare (o "notazione per inclusione", in modo particolare nella programmazione funzionale). Alcune varianti della notazione tabulare sono:

  • {x ∈ A : P(x)} denota l'insieme di tutti gli x elementi di A tali che la condizione P valga per x. Ad esempio, se Z è l'insieme degli interi, allora {x ∈ Z : x è pari} è l'insieme di tutti gli interi pari. (Vedi assioma della specificazione.)
  • {F(x) : x ∈ A} denota l'insieme di tutti gli oggetti ottenuti applicando la formula F agli elementi di A. Ad esempio, {2x : x ∈ Z} è ancora l'insieme di tutti gli interi pari. (Vedi assioma della sostituzione.)
  • {F(x) : P(x)} è la forma più generale per la notazione tabulare. Ad esempio, {proprietario di x: x è un cane} è l'insieme di tutti i proprietari di cani.

[modifica] Sottoinsiemi

Dati due insiemi A e B diciamo che A è un sottoinsieme di B se ogni elemento di A è anche un elemento di B. Osserva che in particolare B è un sottoinsieme di sé stesso; un sottoinsieme di B che non è uguale a B è detto sottoinsieme proprio.

Se A è un sottoinsieme di B, allora si può anche dire che B è un sovrainsieme di A, che A è contenuto in B, o che B contiene A. In simboli, A ⊆ B significa che A è un sottoinsieme di B, e B ⊇ A significa che B è un sovrainsieme di A. Alcuni autori usano i simboli "⊂" e "⊃" per i sottoinsiemi, mentre altri usano questi simboli solo per i sottoinsiemi propri. In questa enciclopedia, "⊆" e "⊇" sono usati per i sottoinsiemi mentre "⊂" e "⊃" sono riservati per i sottoinsiemi propri.

A titolo illustrativo, sia A l'insieme dei numeri reali, sia B l'insieme degli interi, sia C l'insieme degli interi dispari, e sia D l'insieme del Presidente d'Italia corrente o precedente. Allora C è un sottoinsieme di B, B è un sotoinsieme di A, e C è un sottoinsieme di A. Nota che non tutti gli insiemi sono comparabili in questo modo. Ad esempio, A non è un sottoinsieme di D, ma nemmeno D è un sottoinsieme di A.

Segue immediatamente dalla precedente definizione di eguaglianza di insiemi che, dati due insiemi A e B, A = B sse A ⊆ B e B ⊆ A. Infatti questa è spesso usata come definizione di eguaglianza.

L'insieme di tutti i sottoinsiemi di un dati insieme A è detto insieme potenza (o insieme delle parti) di A ed è indicato con 2A o con P(A). Se l'insieme A ha n elementi, allora P(A) avrà 2n elementi. Nota che l'insieme vuoto è un sottoinsieme di tutti gli insiemi.

[modifica] Insieme universo e complementi assoluti

In determinati contesti possiamo trattare tutti gli insiemi in considerazione come sottoinsiemi di un determinato insieme universo. Ad esempio, se stiamo esaminando le proprietà dei numeri reali R (e dei sottoinsiemi di R), possiamo prendere R come insieme universo. È importante capire che un insieme universo è definito solo temporaneamente dal contesto; non esiste qualcosa di simile all'insieme universo "universale", "l'insieme di tutto" (vedi Paradossi più sotto).

Dato un insieme universo U e un sottoinsieme A di U, possiamo definire il complemento di A (in U) come

AC := {x ∈ U : ¬(x ∈ A)},

dove ¬ è l'operatore di negazione. In altre parole, AC (talvolta semplicemente A' ) è l'insieme di tutti gli elementi di U che non sono elementi di A. Quindi, con gli A, B e C definiti nella sezione dei sottoinsiemi, se B è l'insieme universo, allora C' è l'insieme degli interi pari, mentre se A è l'insieme universo, allora C' è l'insieme di tutti i numeri reali che sono o interi pari o che non sono interi.

La collezione {A : A ⊆ U} di tutti i sottoinsiemi di un dato universo U è chiamato insieme potenza di U. (Vedi assioma dell'insieme potenza.) È indicato con P(U); la "P" è talvolta scritta con un carattere decorato.

[modifica] Unioni, intersezioni, e complementi relativi

Dati due insiemi A e B, possiamo costruire la loro unione. Questa è l'insieme di tutti gli oggetti che sono elementi di A o di B o di entrambi (vedi assioma dell'unione). È indicata da A ∪ B.

L'intersezione di A e B è l'insieme di tutti gli oggetti che si trovano sia in A sia in B. È indicata da A ∩ B.

Per finire, il complemento relativo di B rispetto ad A, noto anche come differenza insiemistica di A e B, è l'insieme di tutti gli oggetti che appartengono ad A ma non a B. È scritto come A \ B. Simbolicamente, le definizioni sono rispettivamente

A ∪ B := {x : (x ∈ Aor (x ∈ B)};
A ∩ B := {x : (x ∈ Aand (x ∈ B)} = {x ∈ A : x ∈ B} = {x ∈ B : x ∈ A};
A \ B := {x : (x ∈ A) and not (x ∈ B) } = {x ∈ A : not (x ∈ B)}.

Osserva che A non deve essere un sottoinsieme di B perché B \ A abbia senso; questa è la differenza fra il complemento relativo e il complemento assoluto descritto nella precedente sezione.

Per illustrare queste idee, sia A l'insieme delle persone mancine, e sia B l'insieme delle persone bionde. Allora A ∩ B è l'insieme di tutte le persone bionde mancine, mentre A ∪ B è l'insieme delle persone che sono o mancine o bionde o entrambi. A \ B, d'altra parte, è l'insieme delle persone mancine ma non bionde, mentre B \ A è l'insieme di tutte le persone bionde ma non mancine.

Ora sia E l'insieme di tutti gli esseri umani, e sia F l'insieme degli esseri viventi più vecchi di 1.000 anni. Cosa è E ∩ F in questo caso? Nessun essere umano è più vecchio di 1.000 anni, quindi E ∩ F deve essere l'insieme vuoto {}.

Per ogni insieme A, l'insieme potenza P(A) è una algebra di Boole sotto le operazioni di unione e intersezione.

[modifica] Coppie ordinate e prodotto cartesiano

Intuitivamente, una coppia ordinata è semplicemente una collezione di due oggetti tali che uno può essere individuato come "primo elemento" e l'altro come "secondo elemento", e avente la proprietà fondamentale che due coppie sono uguali se e solo se i loro "primi elementi" sono uguali e i loro "secondi elementi" sono uguali.

Formalmente, una coppia ordinata con prima coordinata a, e seconda coordinata b, solitamente indicata da (a, b), è definita come l'insieme [[:Template:a]], {a, b}}.

Segue che due coppie ordinate (a,b) e (c,d) sono uguali se e solo se a = c e b = d.

Alternativamente, una coppia ordinata può essere formalmente pensata come un insieme {a,b} dotato di un ordine totale.

(La notazione (a, b) è usata anche per indicare un intervallo aperto sulla retta reale, ma il contesto dovrebbe rendere chiaro quale è il significato inteso.)

Se A e B sono insiemi, allora il prodotto cartesiano (o semplicemente prodotto) è definito come:

A × B = {(a,b) : a è in A e b è in B}.

Cioè A × B è l'insieme di tutte le coppie ordinate per le quali la prima coordinata è un elemento di A e la seconda coordinata è un elemento di B.

Possiamo estendere questa definizione a un insieme A × B × C di triplette ordinate, e più in generale a insiemi di n-tuple ordinate per ogni intero positivo n. È addirittura possibile definire prodotti cartesiani infiniti, ma per fare questo abbiamo bisogno di una definizione più complicata del prodotto.

I prodotto cartesiani sono stati sviluppati per primi da René Descartes nel contesto della geometria analitica. Se R denota l'insieme di tutti i numeri reali, allora R2 := R × R rappresenta il piano euclideo e R3 := R × R × R rappresenta lo spazio euclideo tridimensionale.

[modifica] Alcuni insiemi importanti

Nota: In questa sezione, a, b, e c sono numeri naturali, e r e s sono numeri reali.

  1. I numeri naturali sono usati per contare. Per indicare questo insieme si usa spesso una N maiuscola in grassetto da lavagna (\mathbb{N}).
  2. Gli interi si presentano come soluzioni per x nelle equazioni del tipo x + a = b. Per indicare questo insieme si usa spesso una Z maiuscola in grassetto da lavagna (dal tedesco Zahlen, che significa numeri, perché I è usato per l'insieme dei numeri immaginari).
  3. I numeri razionali si presentano come soluzioni delle equazioni del tipo a + bx = c. Per indicare questo insieme si usa spesso una Q maiuscola in grassetto da lavagna (\mathbb{Q}) (da quoziente, perché R è usata per l'insieme dei numeri reali).
  4. I numeri algebrici si presentano come soluzioni di equazioni polinomiali (a coefficienti interi) e possono coinvolgere radicali e qualche altro numero irrazionale. Per indicare questo insieme si usa spesso una A maiuscola in grassetto da lavagna (\mathbb{A}) o una Q con una sopralineatura.
  5. I numeri reali includono i numeri algebrici così come i numeri trascendenti, che non possono presentarsi come soluzioni di equazioni polinomiali a coefficienti razionali. Per indicare questo insieme si usa spesso una R maiuscola in grassetto da lavagna (\mathbb{R}).
  6. I numeri immaginari si presentano come soluzioni di equazioni del tipo x2 + r = 0 dove r > 0. Per indicare questo insieme si usa spesso una I maiuscola in grassetto da lavagna (\mathbb{I}).
  7. I numeri complessi sono somme di un numero immaginario e di un numero reale: r + si. Qui sia r che s possono essere uguali a zero; quindi, l'insieme dei numeri reali e l'insieme dei numeri immaginari sono sottoinsiemi dell'insieme dei numeri complessi. Per indicare questo insieme si usa spesso una C maiuscola in grassetto da lavagna (\mathbb{C}).

[modifica] Paradossi

Abbiamo fatto riferimento precedentemente alla necessità di un approccio assiomatico e formale. Quale problema sorge nella trattazione che abbiamo dato? Il problema è relativo alla composizione degli insiemi. La prima intuizione è che possiamo costruire tutti gli insiemi che vogliamo, ma questo porta a inconsistenze. Per ogni insieme possiamo chiedere se x è un elemento di sé stesso. Si definisce

Z = {x : x non è un elemento di x}.

Ora il problema: Z è un elemento di Z? Se sì, allora per definizione di Z, Z non è un elemento di sé stesso, cioè Z non è un elemento di Z. Questo ci costringe ad affermare che Z non è un elemento di Z. Allora Z non è un elemento di sé stesso, e così, ancora per definizione di Z, Z è un elemento di Z. Quindi entrambe le opzioni ci portano a una contraddizione e abbiamo una teoria inconsistente. Gli sviluppi assiomatici pongono restrizioni al tipo di insiemi che è permesso costruire e quindi previene l'insorgere di problemi come il nostro insieme Z. (questo particolare paradosso è il paradosso di Russel.)

Lo svantaggio è uno sviluppo molto più difficile. In particolare è impossibile parlare di un insieme di tutto, oppure, per essere un po' meno ambiziosi, anche di un insieme di tutti gli insiemi. Infatti, nell'assiomatizzazione standard della teoria degli insiemi, non esiste l'insieme di tutti gli insiemi. In aree della matematica che sembrano richiedere un insieme di tutti gli insiemi (come la teoria delle categorie), si può usare un insieme universale così grande che tutta la matematica ordinaria può essere svolta in esso (vedi universo). Alternativamente, si può fare uso delle classi proprie. Oppure si può usare una differente assiomatizzazione della teoria degli insiemi, come la Nuova fondazione di W. V. Quine, che permette un insieme di tutti gli insiemi ed evita il paradosso di Russel in un altro modo. La particolare soluzione scelta raramente porta a grandi differenze.

[modifica] Voci correlate

[modifica] Bibliografia

  • (EN) Paul Halmos, Naive set theory. Princeton, NJ: D. Van Nostrand Company, 1960. Ristampato da Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition).

[modifica] Collegamenti esterni

[modifica] Note

1 Riguardo all'origine dell'espressione "teoria ingenua degli insiemi", Jeff Miller [1] ha questo da dire: "teoria ingenua degli insiemi (in opposizione a teoria assiomatica degli insiemi) era usata occasionalmente negli anni 1940 e divenne un termine radicato nel 1950. Appare nella pubblicazione The Philosophy of Bertrand Russell di P. A. Schilpp (ed) nel American Mathematical Monthly, 53., No. 4. (1946), p. 210 e nella pubblicazione The Paradox of Kleene and Rosser di Laszlo Kalmar's nel Journal of Symbolic Logic, 11, No. 4. (1946), p. 136. (JSTOR)." Il termine è stato successivamente reso popolare dal libro di Paul Halmos, Naive Set Theory (1960).



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 -