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

## Definizione

Sia $A$ un insieme. Un sottoinsieme ${\mathcal {F}}$ non vuoto dell'insieme delle parti ${\mathcal {P}}(A)$ si dice filtro sull'insieme $A$ se gode delle seguenti proprietà:
* è chiuso verso l'alto rispetto all'inclusione, cioè: $X\in {\mathcal {F}}\land X\subseteq Y\in {\mathcal {P}}(A)\Rightarrow Y\in {\mathcal {F}};$
* è chiuso rispetto all'intersezione finita, cioè: $X\in {\mathcal {F}}\land Y\in {\mathcal {F}}\Rightarrow X\cap Y\in {\mathcal {F}}.$

## Esempio

* Sia $E$ un insieme e $x$ un elemento di $E.$ La famiglia di insiemi ${\mathcal {A}}=\{A\in {\mathcal {P}}(E)\mid x\in A\}$ è un filtro.

## Storia

Il concetto di filtro venne introdotto nel 1937 da Henri Cartan come metodo per introdurre una nozione di convergenza generalizzata per gli spazi topologici. Un'altra possibile tecnica per realizzare lo stesso scopo è l'uso delle reti, introdotte precedentemente da Moore e Smith. Il concetto di filtro è stato utilizzato da Kenneth Arrow nella dimostrazione del suo teorema sull'impossibilità matematica di attuare la democrazia rappresentativa perfetta, da Abraham Robinson per la sua Analisi non standard, e da Amartya Sen per estendere il teorema di Arrow all'impossibilità dello stato di diritto perfetto. Sia Arrow che Sen, per i loro risultati, hanno ricevuto il Premio Nobel per l'economia.

## Filtro proprio

Si definisce filtro proprio ${\mathcal {F}}$ un filtro su un insieme $A$ tale per cui esiste almeno un elemento di $P(A)$ che non appartiene ad ${\mathcal {F}}$, in simboli:
    $\exists X\in P(A):X\not \in {\mathcal {F}}.$
Un semplice teorema ci dice che
    Un filtro è proprio se e solo se a esso non appartiene l'insieme vuoto $\varnothing .$
Se infatti $\varnothing \in {\mathcal {F}}$, poiché per definizione l'insieme vuoto è contenuto in ogni sottoinsieme di $A,$ allora per la proprietà 1 ogni sottoinsieme $X$ di $A$ appartiene a ${\mathcal {F}}$. Viceversa, se esiste un elemento $X$ di $P(A)$ che non appartiene a ${\mathcal {F}}$, visto che $\varnothing \subseteq X$, sempre per la proprietà 1 l'insieme vuoto non può appartenere a ${\mathcal {F}}$, altrimenti avremmo $\varnothing \in {\mathcal {F}}\land \varnothing \subset X\land X\not \in {\mathcal {F}}.$

## Filtro generato da una famiglia di sottoinsiemi

Sia $A$ un insieme e sia $S$ una famiglia di sottoinsiemi di $P(A)$, allora si dice filtro generato da $S$ su $A$ :
    $\langle S\rangle =\bigcap _{{\mathcal {F}}\in {\mathcal {X}}}{\mathcal {F}}$ con ${\mathcal {X}}=\{F\ {\text{filtri}}|F\supseteq S\}.$
Esso è un filtro poiché segue dal fatto che l'intersezione tra due filtri sullo stesso insieme $A$ è un filtro sull'insieme $A$, inoltre è il più piccolo filtro contenente $S$.
Si dimostra inoltre che $\langle S\rangle =\{Y\subseteq A|Y\supseteq S_{1}\cap S_{2}\cap \ldots \cap S_{n}\;con\;S_{i}\in S\;\forall i,\;n\in \mathbb {N} \}.$

### Filtro principale su A

Un filtro ${\mathcal {F}}$ su $A$ si definisce principale se ${\mathcal {F}}=\langle S\rangle$ con $S=\{X\}$ e $X\in P(A).$
Un filtro ${\mathcal {F}}$ proprio è principale su $A$ se e solo se ha la proprietà che l'intersezione di tutti i suoi elementi non è l'insieme vuoto, ossia: $\bigcap _{X\in {\mathcal {F}}}X\neq \varnothing .$
Ad esempio, per un insieme non vuoto $A,$ l'insieme dei sottoinsiemi di $A$ che contengono l'elemento $x\in A$ è un filtro principale.

## Filtro cofinito

Dato un insieme infinito $S,$ il filtro $F_{S}$ che contiene tutti i sottoinsiemi $A$ di $S$ tali che l'insieme differenza $S\smallsetminus A$ sia finito è detto filtro cofinito o di Fréchet. In simboli:
    $F_{S}=\{A\subseteq S:S\smallsetminus A{\text{ insieme finito}}\}.$