Proprietà dell'intersezione finita
![Niente fonti!](http://upload.wikimedia.org/wikipedia/commons/thumb/6/64/Question_book-4.svg/45px-Question_book-4.svg.png)
Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.
La proprietà dell'intersezione finita in topologia è una proprietà di alcune famiglie non vuote di insiemi non vuoti.
Definizione
- Sia una famiglia non vuota di insiemi non vuoti, si dice che ha la proprietà dell'intersezione finita (PIF) se per ogni sottoinsieme finito si ha che .
Teoremi e risultati
- Dato , sia una famiglia di sottoinsiemi di . Se ha la PIF, allora l'insieme è un filtro su
Lemma dell'ultrafiltro
- Dato , sia una famiglia di sottoinsiemi di con la PIF, allora è contenuto in un ultrafiltro.
La proprietà dell'intersezione finita viene usata nelle dimostrazioni di alcuni risultati come il teorema di compattezza semantica.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)