Stiamo lavorando per ripristinare l'app di Unionpedia nel Google Play Store
UscenteArrivo
🌟Abbiamo semplificato il nostro design per una migliore navigazione!
Instagram Facebook X LinkedIn

Proprietà dell'intersezione finita

Indice Proprietà dell'intersezione finita

La proprietà dell'intersezione finita in topologia è una proprietà di alcune famiglie non vuote di insiemi non vuoti.

Indice

  1. 4 relazioni: Filtro (matematica), Teorema di compattezza (logica matematica), Topologia, Ultrafiltro.

  2. 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