^^ix Teoria degli insiemi
- > ix Classi-fic-are/azione elementi.
- ix Applicazione, Funzione. Spazio
funzionale.
- ix Teoria delle categorie.
- Definire un insieme.
- Insiemistica intuitiva-ingenua / razionale.
- Insiemi. Denominazione, terminologia.
- Definizione intensiva o estensiva di un insieme.
- Subsets, sottoinsiemi, selections, selezioni.
- Appartenenza, inclusione (= contenenza).
- Assioma di selezione ≡
specificazione. Set-builder_notation.
- Intersezione, unione, complementare.
- Definizione ricorsiva di un insieme.
- Teoria assiomatica degli insiemi.
- Insiemi fondamento della matematica.
- Classe (matematica).
-
Costruzione dei numeri
- Costruzione dei numeri naturali in
insiemistica.
- Costruzione dei numeri in insiemistica.
-
Insieme delle parti
- Insieme delle parti, insieme potenza, insieme
dei sottoinsiemi.
- Evidenziare il complementare nell'insieme
delle parti.
- Insieme delle parti di 4 elementi, e' fatto di 16.
- Insieme delle parti ordinato per ordine e per
complementare.
- Il nr di sottoinsiemi di N elementi e' 2^N.
-
- Coppia ordinata e non.
- Prodotto cartesiano di 2 insiemi.
- Relazione binaria tra 2 insiemi; in un insieme.
- Relazione; definizione
intensiva e estensiva.
- Proprieta' delle relazioni.
- Proprieta' elementari delle
relazioni: transitiva, simmetrica, riflessiva.
- Elementi confrontabili/non rispetto
ad una relazione.
- Relazioni transitive.
- Relazioni simmetriche. |
nella natura.
-
Rel equivalenza
- Relazione di equivalenza.
- Relazione di equivalenza e partizione di un
insieme sono logicamente equivalenti.|
Esempi.
- Partizione di un insieme.
- Partizioni = relazioni di equivalenza, in
un universo di 3 o 4 elementi.
- Elencare le partizioni di un
insieme. Quante sono le partizioni di un insieme?
- Confronto equivalenza / ordine.
-
Varie
- Ricorsione matematica. Definizione ricorsiva.
Struttura ricorsiva. Induzione matematica.
- Sunflower_(mathematics).
-
Altrove
- Spazio insiemistico.