Proprietà definita in un insieme.
Salve a tutti, ritorno dopo un periodo in cui per vostra fortuna non ci sono stato.
Dunque, il professore ha detto oggi in classe, cominciando dalle prime nozioni di matematica teorica, che una proprietà x si dice definita in un insieme se "abbia senso" dire per ogni elemento dell'insieme che abbia o meno tale proprietà. Penso dunque all'esempio dei numeri pari. "Ha senso" chiedersi se 3 (numero che sappiamo non essere pari) lo sia o meno, dunque la proprietà di un numero di essere pari è definita in N.
Il professore, continuando, ha esposto la notazione classica con cui si rappresenta un'insieme in maniera intensiva. Dato un insieme S, e data una proprietà p, la notazione S= {x € S: p} sta a significare che p sia una proprietà che identifica tutti gli elementi di un insieme, creando appunto l'insieme con quegli elementi che ne godono.
A questo punto il mio dubbio, più che altro legato ad una piccola disattenzione mia, credo, piuttosto che a una reale ambiguità di chi esponeva, è il seguente: ho capito bene se dico che p è definita in S, ma proprietà che abbiano lo stesso ruolo di p nel determinare un insieme non sono le sole ad essere definite nell'insieme che costruiscono? O, il che è lo stesso, si può dire della negazione di p che sia definita nell'insieme S che essa stessa "determina"?
Dunque, il professore ha detto oggi in classe, cominciando dalle prime nozioni di matematica teorica, che una proprietà x si dice definita in un insieme se "abbia senso" dire per ogni elemento dell'insieme che abbia o meno tale proprietà. Penso dunque all'esempio dei numeri pari. "Ha senso" chiedersi se 3 (numero che sappiamo non essere pari) lo sia o meno, dunque la proprietà di un numero di essere pari è definita in N.
Il professore, continuando, ha esposto la notazione classica con cui si rappresenta un'insieme in maniera intensiva. Dato un insieme S, e data una proprietà p, la notazione S= {x € S: p} sta a significare che p sia una proprietà che identifica tutti gli elementi di un insieme, creando appunto l'insieme con quegli elementi che ne godono.
A questo punto il mio dubbio, più che altro legato ad una piccola disattenzione mia, credo, piuttosto che a una reale ambiguità di chi esponeva, è il seguente: ho capito bene se dico che p è definita in S, ma proprietà che abbiano lo stesso ruolo di p nel determinare un insieme non sono le sole ad essere definite nell'insieme che costruiscono? O, il che è lo stesso, si può dire della negazione di p che sia definita nell'insieme S che essa stessa "determina"?
Risposte
Una proprietà non è definita su un insieme. Si dice intuitivamente che una proprietà è una "funzione logica" che associa ad ogni elemento un valore di verità (V/F). In realtà questa non è una buona definizione per motivi di consequenzialità logica nella costruzione della teoria degli insiemi.
Una proprietà P(x) è una formula del linguaggio della teoria delgi insiemi che contiene la variabile x LIBERA. (cioè non quantificata).
Parlare di proprietà che definiscono un insieme non è in generale corretto. Un assioma della teoria assiomatica degli insiemi (detto assioma di comprensione o di separazione) afferma che dato un insieme A ed una proprietà $p(*)$ esiste l'insieme $B={x in A: p(x)}$. In particolare se vale:
$AA x in A\ p(x)$ necessariamente $B=A$ per un altro assioma (di estensionalità) che dice che due insiemi sono uguali se e solo se hanno gli stessi elementi.
La questione importante è osservare che il primo assioma che ti ho citato permette di costruire insiemi "ritagliandoli" da insiemi di cui sappiamo già l'esistenza.
Quindi gli insiemi esistono per conto loro. Partendo da un insieme puoi deifnire un suo sottinsieme come insieme di tutti gli elementi del primo insieme che verificano una proprietà. (in tal caso si parla di estensione della proprietà).
Il problema di fondo è che se accettassimo di poter definire insiemi a partire da una qualunque proprietà otterremmo dei paradossi come ad esempio:
$V={x : "x=x"}$
Una proprietà P(x) è una formula del linguaggio della teoria delgi insiemi che contiene la variabile x LIBERA. (cioè non quantificata).
Parlare di proprietà che definiscono un insieme non è in generale corretto. Un assioma della teoria assiomatica degli insiemi (detto assioma di comprensione o di separazione) afferma che dato un insieme A ed una proprietà $p(*)$ esiste l'insieme $B={x in A: p(x)}$. In particolare se vale:
$AA x in A\ p(x)$ necessariamente $B=A$ per un altro assioma (di estensionalità) che dice che due insiemi sono uguali se e solo se hanno gli stessi elementi.
La questione importante è osservare che il primo assioma che ti ho citato permette di costruire insiemi "ritagliandoli" da insiemi di cui sappiamo già l'esistenza.
Quindi gli insiemi esistono per conto loro. Partendo da un insieme puoi deifnire un suo sottinsieme come insieme di tutti gli elementi del primo insieme che verificano una proprietà. (in tal caso si parla di estensione della proprietà).
Il problema di fondo è che se accettassimo di poter definire insiemi a partire da una qualunque proprietà otterremmo dei paradossi come ad esempio:
$V={x : "x=x"}$
La tua spiegazione è troppo complessa per poterla seguire in tutta la sua organicità, ma credo di aver capito che per il primo assioma, una proprietà è definita in un insieme e non "definisce" l'insieme, e quindi confermerebbe il fatto che semmai "definirebbe" (anche se forse quello che ho appena detto non è logicamente esente da errori) un sottoinsieme, ovvero permetterebbe di stabilire quali elementi del primo insieme appartengano anche ad un sottoinsieme di questo.
Sì il succo è quello. Solo che come ti ho detto una proprietà non è definita su un insieme perchè una proprietà non è una funzione.
Se poi proprio volessi considerarla una funzione saebbe definita su tutto l'universo, che come ti ho scritto in fondo al post precedente non è un insieme. Fine della storia.
L'unica cosa che puoi dire è che data una proprietà ed un insieme A, un certo elemento di A verifica la proprietà. Se prendi tutti gli elementi di A che la verificano ottieni un insieme-sottoinsieme di A (eventualmente vuoto o tutto A).
Se poi proprio volessi considerarla una funzione saebbe definita su tutto l'universo, che come ti ho scritto in fondo al post precedente non è un insieme. Fine della storia.
L'unica cosa che puoi dire è che data una proprietà ed un insieme A, un certo elemento di A verifica la proprietà. Se prendi tutti gli elementi di A che la verificano ottieni un insieme-sottoinsieme di A (eventualmente vuoto o tutto A).
Pensavo a quello che mi diceva un amico che aveva ascoltato i corsi all'università. Dunque, secondo la sua docente, quello di insieme sarebbe un concetto primitivo. Questo perchè la definizione classica che se ne dà sarebbe quasi inadatta a spiegare tutti i casi. Alla definizione classica che se ne da, forse quella più diffusa, che indica l'insieme come "una collezione di oggetti, aventi tutti una data proprietà", andrebbero fatte secondo quello che mi diceva a buon diritto secondo me alcune obiezioni: innanzitutto, non tutti gli insiemi sono una "collezione di oggetti". Esiste a confermare quanto dico, l'insieme vuoto. Di conseguenza, con questo, la definizione sopra esposta non basterebbe, ma dovrebbe essere integrata da una postilla che contempli anche questo caso particolare.
In secondo luogo, non tutti gli insiemi hanno una data proprietà. Lui mi ha citato l'esempio dell'Universo(che tu dici non essere un insieme, per questo ho approfittato di questa discussione per esporre anche questo problema), dicendo che anche quello fosse un insieme. Io gli ho detto, cadendo evidentemente in una tautologia, che anche un insieme {1, 2, k, pasquale, Pasquale} possedeva una proprietà, appunto quella di contenere gli elementi che lo componessero, che quindi avevano a loro volta la proprietà di "essere contenuti nell'insieme dato". Ovviamente senza accorgermi che per definire l'insieme si tornava al suo ruolo, cosa evidentemente simile ad un "cane che si morde la coda".
Come succo di tutto ciò, si arriverebbe alla conclusione che quello di insieme è un concetto primitivo. Vorrei sapere che ne pensi tu e che ne pensano tutti gli altri che leggeranno.
In secondo luogo, non tutti gli insiemi hanno una data proprietà. Lui mi ha citato l'esempio dell'Universo(che tu dici non essere un insieme, per questo ho approfittato di questa discussione per esporre anche questo problema), dicendo che anche quello fosse un insieme. Io gli ho detto, cadendo evidentemente in una tautologia, che anche un insieme {1, 2, k, pasquale, Pasquale} possedeva una proprietà, appunto quella di contenere gli elementi che lo componessero, che quindi avevano a loro volta la proprietà di "essere contenuti nell'insieme dato". Ovviamente senza accorgermi che per definire l'insieme si tornava al suo ruolo, cosa evidentemente simile ad un "cane che si morde la coda".
Come succo di tutto ciò, si arriverebbe alla conclusione che quello di insieme è un concetto primitivo. Vorrei sapere che ne pensi tu e che ne pensano tutti gli altri che leggeranno.
l'insieme è un concetto primitivo: se lo definisci con sinonimi, qual è la definizione di "collezione", "raggruppamento", ecc.?
si parla solo di insieme "ben definito", nel senso che appunto una collezione di oggetti rappresenta un insieme se e solo se è oggettivamente stabilito quali elementi facciano parte dell'insieme stesso.
per il resto, la necessità di partire da concetti primitivi è insita nella matematica in quanto scienza ipotetico-deduttiva. la scelta di quali siano i concetti primitivi può essere ovviamente diversa... ma non mi risulta che si usino concetti primitivi tali da poter definire rigorosamente gli insiemi.
non so se ho risposto alla domanda. spero di essere stata utile. ciao.
si parla solo di insieme "ben definito", nel senso che appunto una collezione di oggetti rappresenta un insieme se e solo se è oggettivamente stabilito quali elementi facciano parte dell'insieme stesso.
per il resto, la necessità di partire da concetti primitivi è insita nella matematica in quanto scienza ipotetico-deduttiva. la scelta di quali siano i concetti primitivi può essere ovviamente diversa... ma non mi risulta che si usino concetti primitivi tali da poter definire rigorosamente gli insiemi.
non so se ho risposto alla domanda. spero di essere stata utile. ciao.
aggiungo che nella teoria assiomatica degli insiemi gli unici insiemi che si dice esplicitamente che esistano sono il vuoto e un insieme induttivo (~ una cosa che contiene tutti i naturali). E poi gli altri assiomi dicono quali sono i modi per ricavare altri insiemi da insiemi già definiti. L'insieme è un concetto primitivo e qualsiasi cosa esista è un insieme. Quindi anche ogni cosa che non è un insieme non esiste. Quindi secondo questa assiomatizzazione non parti da una proprietà per definire un insieme ma parti da insiemi già formati e poi verifichi che valgono determinate proprietà. In conclusione dire che un insieme contiene tutti e soli gli elementi che verificano una proprietà intendila come una caratterizzazione dell'insieme e non come una definizione.
...grazie... certo che è una "caratterizzazione" e non una "definizione", visto che una definizione non esiste.
certo, però, questo fatto che tutto ciò che non è insieme non esiste è "fortissimo": si adatta all'ordinario concetto di insieme che si usa nella matematica di base?
certo, però, questo fatto che tutto ciò che non è insieme non esiste è "fortissimo": si adatta all'ordinario concetto di insieme che si usa nella matematica di base?
Sì, in effetti mentre lo scrivevo ero un po' dubbioso. Il nostro interlocutore, mi sembra di capire, è proprio all'inizio. Ho cercato di semplificare dei concetti piuttosto ostici senza banalizzarli, ma non mi risulta semplice.
Diciamo che per "non esiste" intendo proprio "non è un insieme", perchè nella teoria assiomatica degli insiemi ogni "oggetto" di cui si parla è un insieme. Ci sono delle classi (cose che intuitivamente sembrano insiemi) ma in realtà non possiamo considerarli insieme in questa teoria assiomatica perchè porterebbero a paradossi. Un esempio è l'<> universo.
Forse dovrebbe essere turtle a dire se ha capito, cosa ha capito, se basta così o gli servono altre spiegazioni.
Diciamo che per "non esiste" intendo proprio "non è un insieme", perchè nella teoria assiomatica degli insiemi ogni "oggetto" di cui si parla è un insieme. Ci sono delle classi (cose che intuitivamente sembrano insiemi) ma in realtà non possiamo considerarli insieme in questa teoria assiomatica perchè porterebbero a paradossi. Un esempio è l'<
Forse dovrebbe essere turtle a dire se ha capito, cosa ha capito, se basta così o gli servono altre spiegazioni.
l'insieme universo in realtà è sostituito dall'insieme ambiente... ed esiste, anche se non in maniera univoca.
è l'insieme "che contiene tutti gli elementi" che non esiste, ed il motivo è strettamente correlato al fatto che gli elementi di un insieme possono essere a loro volta insiemi...
l'insieme vuoto, poi, ha infinite rappresentazioni caratteristiche. le più utilizzate: {monti della Terra alti più di 10000 m}, {città con più di un miliardo di abitanti}, {numeri primi pari maggiori di 5}, e simili...
definire una proprietà all'interno di un insieme equivale a stabilire un sottoinsieme:
se N è l'insieme dei numeri naturali (preso come insieme ambiente), A è l'insieme dei numeri naturali che verificano la proprietà P, se prendi un numero naturale (come ad esempio il 3 del primo messaggio) e ti chiedi se 3 verifica la proprietà P (l'essere pari, ad esempio), allora se la risposta è NO, vuol dire che 3 appartiene non ad A, ma al suo complementare rispetto ad N (N-A)...
non so se sono andata fuori tema. spero almeno di aver chiarito qualche dubbio... o anche di averne creato qualche altro... (è sempre positivo!). ciao.
è l'insieme "che contiene tutti gli elementi" che non esiste, ed il motivo è strettamente correlato al fatto che gli elementi di un insieme possono essere a loro volta insiemi...
l'insieme vuoto, poi, ha infinite rappresentazioni caratteristiche. le più utilizzate: {monti della Terra alti più di 10000 m}, {città con più di un miliardo di abitanti}, {numeri primi pari maggiori di 5}, e simili...
definire una proprietà all'interno di un insieme equivale a stabilire un sottoinsieme:
se N è l'insieme dei numeri naturali (preso come insieme ambiente), A è l'insieme dei numeri naturali che verificano la proprietà P, se prendi un numero naturale (come ad esempio il 3 del primo messaggio) e ti chiedi se 3 verifica la proprietà P (l'essere pari, ad esempio), allora se la risposta è NO, vuol dire che 3 appartiene non ad A, ma al suo complementare rispetto ad N (N-A)...
non so se sono andata fuori tema. spero almeno di aver chiarito qualche dubbio... o anche di averne creato qualche altro... (è sempre positivo!). ciao.
Ti cito la definizione di insieme che sembra dare il mio testo:
"Nel linguaggio matematico per indicare un ente costituito da una pluralità di oggetti si usa il termine insieme". Questo per scrupolo di precisione, non per dare l'impressione di essere tornato all'inizio di questa discussione.
Con questo mi pare di capire che, indicando in senso "profondo" l'insieme un' unità esistente, quasi l' "anima matematica" di ogni entità (infinitesimamente semplice e infinitamente composta), è impossibile individuare prima una proprietà e poi "creare" quasi l'insieme, quasi che la proprietà dell'insieme fosse la causa della sua esistenza, e non la sua conseguenza. L'insieme esisterebbe di per sè, e le proprietà sarebbero poste in un rapporto conseguenziale con esse. Ovviamente, nonostante questo, se il professore mi chiedesse che cos'è un insieme, potrei rispondere lo stesso con la definizione classica riportata da me in precedenza (in una precedente risposta, non all'inizio di questa): tuttavia dovrei tenere presente questa sottile sfumatura logica, però niente pare impedirmi di dare questa definizione in un contesto poco rigoroso.
Non sono sicuro di aver capito tutto quello che avete detto, in particolare non mi pare di aver capito il significato dell' espressione "insieme universo" o di "Universo".
In ogni caso, aspetto conferme a quello che ho detto, o smentite.
"Nel linguaggio matematico per indicare un ente costituito da una pluralità di oggetti si usa il termine insieme". Questo per scrupolo di precisione, non per dare l'impressione di essere tornato all'inizio di questa discussione.
Quindi secondo questa assiomatizzazione non parti da una proprietà per definire un insieme ma parti da insiemi già formati e poi verifichi che valgono determinate proprietà. In conclusione dire che un insieme contiene tutti e soli gli elementi che verificano una proprietà intendila come una caratterizzazione dell'insieme e non come una definizione.
Con questo mi pare di capire che, indicando in senso "profondo" l'insieme un' unità esistente, quasi l' "anima matematica" di ogni entità (infinitesimamente semplice e infinitamente composta), è impossibile individuare prima una proprietà e poi "creare" quasi l'insieme, quasi che la proprietà dell'insieme fosse la causa della sua esistenza, e non la sua conseguenza. L'insieme esisterebbe di per sè, e le proprietà sarebbero poste in un rapporto conseguenziale con esse. Ovviamente, nonostante questo, se il professore mi chiedesse che cos'è un insieme, potrei rispondere lo stesso con la definizione classica riportata da me in precedenza (in una precedente risposta, non all'inizio di questa): tuttavia dovrei tenere presente questa sottile sfumatura logica, però niente pare impedirmi di dare questa definizione in un contesto poco rigoroso.
Non sono sicuro di aver capito tutto quello che avete detto, in particolare non mi pare di aver capito il significato dell' espressione "insieme universo" o di "Universo".
In ogni caso, aspetto conferme a quello che ho detto, o smentite.
Ti cito la definizione di insieme che sembra dare il mio testo:
"Nel linguaggio matematico per indicare un ente costituito da una pluralità di oggetti si usa il termine insieme". Questo per scrupolo di precisione, non per dare l'impressione di essere tornato all'inizio di questa discussione.
Con questo mi pare di capire che, indicando in senso "profondo" l'insieme un' unità esistente, quasi l' "anima matematica" di ogni entità (infinitesimamente semplice e infinitamente composta), è impossibile individuare prima una proprietà e poi "creare" quasi l'insieme, quasi che la proprietà dell'insieme fosse la causa della sua esistenza, e non la sua conseguenza. L'insieme esisterebbe di per sé, e le proprietà sarebbero poste in un rapporto conseguenziale con esse. Ovviamente, nonostante questo, se il professore mi chiedesse che cos'è un insieme, potrei rispondere lo stesso con la definizione classica riportata da me in precedenza (in una precedente risposta, non all'inizio di questa): tuttavia dovrei tenere presente questa sottile sfumatura logica, però niente pare impedirmi di dare questa definizione in un contesto poco rigoroso.
Non sono sicuro di aver capito tutto quello che avete detto, in particolare non mi pare di aver capito il significato dell' espressione "insieme universo" o di "Universo".
In ogni caso, aspetto conferme a quello che ho detto, o smentite. Intanto faccio un riassunto, provandomi a dare una definizione di insieme che possa essere VERA.
"Il concetto di insieme è un concetto intuitivo. Facendo riferimento alla teoria assiomatica, gli unici insiemi di cui si dice esplicitamente che esistano sono l'insieme vuoto e quelli ottenibili mediante procedimenti induttivi (insieme N). A rigor di termine, dato un insieme e data una proprietà, si può dire se la proprietà sia definita o no nell'insieme. Se definita nell'insieme, questa proprietà può caratterizzare alcuni elementi dell'insieme (o nei casi estremi nessun elemento o tutti gli elementi-insieme vuoto sottoinsieme dell'insieme dato e sottoinsieme improprio dell'insieme dato), essendo dunque vera per essi (gli elementi dell'insieme dato che godano della proprietà) e falsa per tutti gli altri (quelli che pur appartenendo all' insieme dato non ne godano)". Questo per dire anche quanto mi basta sapere, almeno per ora.
"Nel linguaggio matematico per indicare un ente costituito da una pluralità di oggetti si usa il termine insieme". Questo per scrupolo di precisione, non per dare l'impressione di essere tornato all'inizio di questa discussione.
Quindi secondo questa assiomatizzazione non parti da una proprietà per definire un insieme ma parti da insiemi già formati e poi verifichi che valgono determinate proprietà. In conclusione dire che un insieme contiene tutti e soli gli elementi che verificano una proprietà intendila come una caratterizzazione dell'insieme e non come una definizione.
Con questo mi pare di capire che, indicando in senso "profondo" l'insieme un' unità esistente, quasi l' "anima matematica" di ogni entità (infinitesimamente semplice e infinitamente composta), è impossibile individuare prima una proprietà e poi "creare" quasi l'insieme, quasi che la proprietà dell'insieme fosse la causa della sua esistenza, e non la sua conseguenza. L'insieme esisterebbe di per sé, e le proprietà sarebbero poste in un rapporto conseguenziale con esse. Ovviamente, nonostante questo, se il professore mi chiedesse che cos'è un insieme, potrei rispondere lo stesso con la definizione classica riportata da me in precedenza (in una precedente risposta, non all'inizio di questa): tuttavia dovrei tenere presente questa sottile sfumatura logica, però niente pare impedirmi di dare questa definizione in un contesto poco rigoroso.
Non sono sicuro di aver capito tutto quello che avete detto, in particolare non mi pare di aver capito il significato dell' espressione "insieme universo" o di "Universo".
In ogni caso, aspetto conferme a quello che ho detto, o smentite. Intanto faccio un riassunto, provandomi a dare una definizione di insieme che possa essere VERA.
"Il concetto di insieme è un concetto intuitivo. Facendo riferimento alla teoria assiomatica, gli unici insiemi di cui si dice esplicitamente che esistano sono l'insieme vuoto e quelli ottenibili mediante procedimenti induttivi (insieme N). A rigor di termine, dato un insieme e data una proprietà, si può dire se la proprietà sia definita o no nell'insieme. Se definita nell'insieme, questa proprietà può caratterizzare alcuni elementi dell'insieme (o nei casi estremi nessun elemento o tutti gli elementi-insieme vuoto sottoinsieme dell'insieme dato e sottoinsieme improprio dell'insieme dato), essendo dunque vera per essi (gli elementi dell'insieme dato che godano della proprietà) e falsa per tutti gli altri (quelli che pur appartenendo all' insieme dato non ne godano)". Questo per dire anche quanto mi basta sapere, almeno per ora.
Insieme universo = l'insieme che contiene tutto. (ad esempio volendolo vedere come estensione di un proprietà è l'insieme di tutti gli elementi che sono uguali a sé stessi)
Insieme ambiente = l'insieme che contiene tutto ciò che stiamo considerando.
Insieme ambiente = l'insieme che contiene tutto ciò che stiamo considerando.
Hai letto il resto, Megan00b. Fammi sapere dove ho sbagliato.
Per il resto ci sei, salvo che ti ripeto una proprietà non è una funzione e quindi non è definita in un insieme.
Grazie di tutto a tutti, a Megan, a Ada.
"turtle87":
... il professore ha detto oggi in classe, cominciando dalle prime nozioni di matematica teorica, che una proprietà x si dice definita in un insieme se "abbia senso" dire per ogni elemento dell'insieme che abbia o meno tale proprietà...
Posso dire che secondo me hai perso un poco il filo del discorso del tuo prof?
A mio modestissimo parere il tuo prof non voleva fare un breve spaccato di una tra ZFC, NBG, KP e MK. Secondo me voleva introdurvi ad un'idea molto più semplice: ha senso chiedersi se un generico $q \in \mathbb{Q}$ è pari o dispari? Evidentemente no: infatti un generico $q \in \mathbb{Q}$ può anche essere $\frac{2}{3}$ e in quel caso il pari o dispari va a farsi benedire. Quindi in $\mathbb{Q}$ non è definita la proprietà pari o dispari.
prego.
aggiungo un paio di precisazioni.
l'insieme che contiene tutti gli elementi non esiste (vedi paradosso di Russell): se aggiungi l'insieme stesso come elemento, ottieni un insieme più grande.
insieme universo è usato (come termine) impropriamente come sinonimo di insieme ambiente: insieme che contiene, come ti ha detto Megan00b, tutto ciò che stiamo considerando (ma può contenere anche altro).
per quanto riguarda l'insieme e le proprietà: come è vero che la maggior parte di insiemi infiniti si possono rappresentare solo in forma caratteristica, è vero anche che gli insiemi possono contenere elementi molto eterogenei tra loro, per cui per alcuni, non potendosi individuare attraverso proprietà, è praticamente impossibile scriverli in forma caratteristica.
ciao.
aggiungo un paio di precisazioni.
l'insieme che contiene tutti gli elementi non esiste (vedi paradosso di Russell): se aggiungi l'insieme stesso come elemento, ottieni un insieme più grande.
insieme universo è usato (come termine) impropriamente come sinonimo di insieme ambiente: insieme che contiene, come ti ha detto Megan00b, tutto ciò che stiamo considerando (ma può contenere anche altro).
per quanto riguarda l'insieme e le proprietà: come è vero che la maggior parte di insiemi infiniti si possono rappresentare solo in forma caratteristica, è vero anche che gli insiemi possono contenere elementi molto eterogenei tra loro, per cui per alcuni, non potendosi individuare attraverso proprietà, è praticamente impossibile scriverli in forma caratteristica.
ciao.
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo