ELEMENTI DI LOGICA MATEMATICA LEZIONE VI

Transcript

1 ELEMENTI DI LOGICA MATEMATICA LEZIONE VI MAURO DI NASSO A partire da questa lezione, cambieremo la nostra impostazione che come hanno mostrato i paradossi di Russell e di Cantor si è rivelata contraddittoria. Procederemo in modo più attento e rigoroso, seguendo il moderno metodo assiomatico. Precisamente, presenteremo e svilupperemo la teoria ZFC di Zermelo-Fraenkel, che è ad oggi quella più largamente adottata. Tutte le varie nozioni insiemistiche anche le più elementari saranno definite in dettaglio, comprese quelle già viste informalmente nelle lezioni precedenti. Come è caratteristica del metodo assiomatico, le uniche proprietà che potremo assumere saranno quelle espresse dagli assiomi ZFC. Tutte le proprietà che considereremo, e in particolare gli assiomi, saranno espressi mediante formule in un opportuno linguaggio. Occorre quindi anzitutto chiarire queste nozioni logiche. Definizione 6.1. Chiamiamo simboli logici i seguenti simboli: Connettivi: ( non ), ( o ), ( e ), (implicazione: se... allora ), (doppia implicazione: se e solo se ) ; Variabili: x, y, z,..., t, s, u,..., x 1, x 2,..., x n,... ; Quantificatori: ( esiste ), ( per ogni ). Le formule del linguaggio della teoria degli insiemi, in breve le formule, sono particolari sequenze finite di simboli nelle quali possono comparire, oltre ai simboli logici e alle parentesi ) e (, soltanto il simbolo di uguaglianza =, e il simbolo di relazione binaria di appartenenza. Precisamente: Se x e y sono variabili, x = y e x y sono formule. Le variabili x e y si dicono variabili libere in quelle formule ; Se ϕ è una formula, anche (ϕ) è una formula che ha le stesse variabili libere di ϕ ; Se ϕ e ψ sono formule, allora anche (ϕ ψ), (ϕ ψ), (ϕ ψ), (ϕ ψ) sono formule, le cui variabili libere sono quelle di ϕ più quelle di ψ ; Se x è una variabile libera della formula ϕ, allora anche x (ϕ) e x (ϕ) sono formule, le cui variabili libere sono quelle di ϕ tranne x. In questo caso x si dice variabile legata ; Ogni formula si ottiene applicando un numero finito di volte le procedure indicate sopra. Si dice enunciato una formula senza variabili libere, cioè una formula dove tutte le variabili sono legate. Vediamo subito qualche esempio. (1) x e x non sono formule! 1

2 2 MAURO DI NASSO (2) x (x y) è una formula dove la variabile x è legata, e la variabile y è libera. (3) x y (x y) è un enunciato perché le sue due variabili x e y sono entrambe legate. Possiamo pensare alle variabili libere come insiemi non meglio precisati, un po come quando scriviamo equazioni polinomiali del tipo x 2 = 2x 1 pensiamo ad x come ad un numero non meglio precisato. In questo senso, la validità di una formula dipende da quali particolari insiemi si fanno corrispondere a ciascuna delle sue variabili libere. Risulta così chiaro lo speciale ruolo degli enunciati. Infatti, per la loro validità, il ruolo delle variabili (che sono tutte legate) è ininfluente. Ad esempio, nell enunciato (3) di sopra, semplicemente non ha senso pensare a quali particolari insiemi corrispondano x e y; si tratta infatti di una proprietà relativa alle coppie di insiemi x e y considerati nella loro totalità. Per non appesantire la scrittura delle formule, spesso ometteremo alcune parentesi, se non sono strettamente necessarie ad una corretta comprensione. 1 Inoltre, seguendo l uso comune, scriveremo: x y per intendere (x = y) ; x / y per intendere (x y) ; Seguiremo inoltre le usuali notazioni per le cosiddette quantificazioni ristrette: x y ϕ per intendere x (x y ϕ) ; x y ϕ per intendere x (x y ϕ) ; Siamo finalmente in grado di iniziare la formulazione dei dieci (gruppi di) assiomi ZFC. Il primo è la diretta formalizzazione del principio intuitivo di estensionalità che abbiamo già visto e commentato nella prima lezione del corso. Assioma 1: Estensionalità. A B ( ( x (x A x B)) A = B ). Per non rendere banale la nostra teoria ed evitare che parli di niente, dobbiamo garantire l esistenza di almeno un insieme. Può sembrare un po strano, ma anche per questo occorre un assioma. Non dobbiamo infatti dimenticare che, procedendo col metodo assiomatico, niente può essere assunto se non quello che segue logicamente dagli assiomi. Assioma 2: Insieme vuoto. x x =. Abbiamo scritto x = come abbreviazione della formula: y (y / x). Notiamo che, in conseguenza dell assioma di estensionalità, può esistere un solo insieme con la proprietà di non avere elementi. Questo giustifica l uso di uno speciale simbolo, cioè, per denotarlo. Il seguente terzo assioma di separazione permette di formare l insieme di tutti e soli gli elementi che godono di una fissata proprietà, ma solo a patto che tali elementi siano presi dentro un insieme già dato. Si tratta dunque di un indebolimento del 1 Ad esempio, al punto (2) di sopra abbiamo scritto x y (x y) anziché x ( y (x y)), come avremmo dovuto fare per attenerci strettamente alla definizione di formula.

3 SESTA LEZIONE 3 principio di comprensione, che garantisce solo l esistenza di sottoinsiemi di insiemi assegnati. La Separazione non è in realtà un singolo assioma, ma piuttosto di uno schema di assiomi, uno per ogni formula. Assioma 3: Separazione. Sia ϕ(x, x 1,..., x n ) una formula dove x, x 1,..., x n sono tutte e sole le sue variabili libere. Allora il seguente è un assioma: A 1... A n B C C = {x B ϕ(x, A 1,..., A n )}. Seguendo la comune notazione, abbiamo scritto C = {x B ϕ(x, A 1,..., A n )} come abbreviazione della formula: x ( (x C) (x B ϕ(x, A 1,..., A n )) ). Questa notazione è giustificata dal fatto che di tali insiemi B ne esiste esattamente uno, come conseguenza della estensionalità. In generale, coerentemente con quanto già fatto durante le prime lezioni, scriveremo C = {x ϕ(x, A 1,..., A n )} per denotare quell insieme i cui elementi sono tutti e soli gli x che soddisfano la proprietà P (x) : ϕ(x, A 1,..., A n ) relativa ad insiemi assegnati A 1,..., A n. Ci riferiremo a proprietà di questo genere come a proprietà con parametri A 1,..., A n. Per estensionalità, un tale insieme C (se esiste) è unico. La formulazione dell assioma di separazione, così come degli altri assiomi di ZFC, è giustificata dal criterio intuitivo noto come limitazione della grandezza ( limitation of size ). Partendo dalla osservazione che le collezioni coinvolte nei paradossi sono grandi, si è pensato di considerare come sicuro un assioma quando esso determina solo l esistenza di insiemi aventi grandezza limitata, a partire da insiemi già dati. 2 Certamente la separazione supera questo criterio, perché essa garantisce solo l esistenza di sottoinsiemi di insiemi già dati. Usando solo gli assiomi visti fin qui, non è possibile derivare l esistenza di nessun altro insieme, oltre all insieme vuoto. I prossimi tre assiomi (coppia, unione e potenza), ci forniscono tre basilari principi per estendere l universo degli insiemi, in accordo col criterio della limitation of size. Assioma 4: Coppia. A B C C = {A, B}. Dunque, per ogni coppia assegnata di insiemi, è possibile formare l insieme che consiste esattamente di quei due elementi. In particolare, se A = B, l insieme risultante C = {A, A} si denota C = {A} e si chiama singoletto di A. L assioma dell unione garantisce l esistenza dell unione di famiglie di insiemi. 3 2 Al di là della plausibilità filosofica di una tale assunzione, resta comunque il fatto oggettivo che esso ha prodotto la teoria ZFC, dalla quale non sono state mai derivate contraddizioni, anche dopo l enorme lavoro di deduzioni operato dai migliori matematici negli ultimi ottanta anni. 3 Parliamo qui di famiglie di insiemi per seguire l uso comune. In realtà, nella teoria assiomatica degli insiemi, ogni insieme è una famiglia di insiemi.

4 4 MAURO DI NASSO Assioma 5: Unione. F A A = F F F. In teoria degli insiemi, è più comune scrivere F anziché F F F. In altre parole, con F si denota l insieme degli elementi di elementi di F. In maniera simile, si denota talvolta F anziché F F F. Anche il prossimo assioma corrisponde ad una tipica operazione in matematica. Dato un insieme A, vogliamo formare la collezione contenente tutti i suoi sottoinsiemi. Assioma 6: Potenza. A B B = P(A). Nelle formule di sopra abbiamo usato delle notazioni come abbreviazioni di formule. Precisamente, come già discusso nella prima parte del corso, C = {A, B} indica la formula x ( (x C) (x = A x = B) ). A = F F F denota la formula x ( (x A) F (F F x F ) ). B = P(A) indica la formula x ( (x B) (x A) ) dove, a sua volta, x A è una abbreviazione di y ( (y x) (y A) ). Cominciamo ora ad usare gli assiomi presentati, dimostrando a partire da questi l esistenza di basilari oggetti matematici, che nelle precedenti lezioni avevamo giustificato con il principio (contraddittorio!) di comprensione. Proposizione 6.2. Per ogni A e per ogni B, esistono gli insiemi: (1) A B = {x (x A) (x B)}; (2) A B = {x (x A) (x B)}; (3) A \ B = {x (x A) (x / B)}. Dim. (1) Segue dall assioma di separazione, notando che A B = {x A x B}. (2) Basta applicare gli assiomi della coppia e della unione, notando che A B = {A, B}. (3) Per l assioma di separazione, esiste l insieme {x A x / B} = A \ B. Nella nostra teoria ci sono solo insiemi. Di conseguenza, tutti gli oggetti matematici che tratteremo (coppie ordinate, funzioni, numeri, ecc.) dovranno essere definiti come particolari insiemi. Abbiamo già iniziato a far questo nelle prime lezioni, ma ora dobbiamo procedere in modo più rigoroso, giustificando ogni definizione a partire dagli assiomi. Cominciamo mostrando l esistenza di coppie ordinate e prodotti cartesiani, mediante i quali si definiscono poi i fondamentali concetti di relazione e funzione.

5 SESTA LEZIONE 5 Proposizione 6.3. (1) Per ogni a e b, esiste la coppia ordinata di Kuratowski (a, b) = {{a}, {a, b}}; (2) Per ogni A e per ogni B, esiste il prodotto cartesiano A B, i cui elementi sono tutte e sole le coppie ordinate (a, b) dove a A e b B. Dim. (1). Dati gli elementi a e b, applichiamo l assioma della coppia, e ricaviamo l esistenza degli insiemi {a} = {a, a} e {a, b}. Applicando di nuovo l assioma della coppia a questi ultimi insiemi, otteniamo poi l esistenza di {{a}, {a, b}}, come volevamo. (2). Siano a A e b B. Sia {a} che {a, b} sono sottoinsiemi di A B, cioè sono elementi di P(A B). Dunque la coppia ordinata (a, b) = {{a}, {a, b}} è sottoinsieme di P(A B), e quindi (a, b) P(P(A B)). Si osservi che l esistenza di quest ultimo insieme è garantita dalla Proposizione 6.2 (2), e da una doppia applicazione dell assioma delle parti. L esistenza del prodotto cartesiano segue allora dall assioma di separazione, visto che possiamo scrivere A B = {x P(P(A B)) ϕ(x, A, B)}, dove ϕ(x, A, B) è la formula: a b (a A b B x = (a, b) ). 4 Sono adesso pienamente giustificate le definizioni di relazione binaria, di funzione, etc. che avevamo dato nelle prime lezioni. Esercizio 6.4. Per ogni A e B, esiste l insieme B A = {f f : A B}. 4 Al solito x = (a, b) denota in modo abbreviato una precisa formula, e cioè: s t (s = {a} t = {a, b} x = {s, t}), dove, a loro a volta, le scritture s = {a}, t = {a, b} e x = {s, t} abbreviano altre formule.