Indice
4 relazioni: Filtro (matematica), Teorema di compattezza (logica matematica), Topologia, Ultrafiltro.
- Teoria degli insiemi
Filtro (matematica)
In teoria degli insiemi il concetto di filtro venne introdotto nel 1937 da Henri Cartan come metodo per introdurre una nozione di convergenza generalizzata per gli spazi topologici.
Vedere Proprietà dell'intersezione finita e Filtro (matematica)
Teorema di compattezza (logica matematica)
Nella logica matematica il teorema di compattezza è un risultato relativo alla coerenza o all'esistenza di modelli per insiemi di enunciati nell'ambito della logica proposizionale o di un linguaggio del primo ordine.
Vedere Proprietà dell'intersezione finita e Teorema di compattezza (logica matematica)
Topologia
La topologia (dal greco τόπος, tópos, "luogo", e λόγος, lógos, "studio", col significato quindi di "studio dei luoghi") è una branca della matematica che studia le proprietà delle figure e, in generale, degli oggetti matematici, che non cambiano quando viene effettuata una deformazione senza "strappi", "sovrapposizioni" o "incollature".
Vedere Proprietà dell'intersezione finita e Topologia
Ultrafiltro
In teoria degli insiemi un ultrafiltro mathcal A è un filtro proprio sull'insieme A tale che ogni sottoinsieme di A o il suo complemento appartiene ad mathcal A, in formule Sia il concetto di filtro che di ultrafiltro furono introdotti da Henri Cartan nel 1937.
Vedere Proprietà dell'intersezione finita e Ultrafiltro
Vedi anche
Teoria degli insiemi
- Argomento diagonale di Cantor
- Cardinalità del continuo
- Chiusura deduttiva
- Classe (matematica)
- Cofinalità
- Funzione coppia
- Insieme
- Insieme nullo (teoria della misura)
- Insieme transitivo
- Insieme trascurabile
- Limite insiemistico
- Ordine totale
- Orologio di Berlino
- Proprietà dell'intersezione finita
- Proprietà di chiusura
- Sottoclasse (insiemistica)
- Struttura (matematica)
- Supporto (matematica)
- Teorema di Cantor
- Teorema di Goodstein
- Teoria degli insiemi
- Teoria ingenua degli insiemi
- Unione (insiemistica)