Teorema di compattezza (logica matematica)

Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

Commento: Vecchia voce, ma una fonticina ina?

---

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.

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.

Nell'ambito della logica proposizionale il teorema afferma che:

Se ogni sottoinsieme finito di un insieme S di formule della logica proposizionale è soddisfacibile allora anche S è soddisfacibile.

• Il teorema di compattezza può essere utilizzato per dimostrare che se il teorema dei quattro colori vale per qualsiasi mappa finita allora deve valere anche per mappe infinite.
• Il teorema di compattezza è alla base dell'analisi non standard in cui grazie a questo teorema si riescono ad affiancare l'infinito e l'infinitesimo attuale ai numero reali standard con la conseguenza di poter rifondare tutta l'analisi matematica senza bisogno del complicato concetto di limite.

Enunciato:

Un insieme di formule è coerente se e solo se ogni suo sottoinsieme finito è coerente.

Dato che ogni dimostrazione di una teoria assiomatica fa uso di un numero finito di assiomi, se da un dato insieme di formule si deduce ${\displaystyle \varphi \wedge \neg \varphi }$, allora si può dedurre la stessa contraddizione anche da un suo sottoinsieme finito. Inoltre, se da un sottoinsieme finito di un insieme di formule si deduce una contraddizione, chiaramente tale contraddizione si deduce anche dall'insieme di formule di partenza. Dunque un insieme di formule non è coerente se e solo se esiste almeno un suo sottoinsieme finito non coerente, che è equivalente a quanto si doveva dimostrare

Nel caso di un linguaggio del primo ordine il teorema di compattezza semantica è il seguente:

Se ogni sottoinsieme finito di un insieme ${\displaystyle \Phi }$ di formule in un linguaggio del primo ordine ha un modello allora anche ${\displaystyle \Phi }$ ha un modello.

Sia ${\displaystyle \Phi }$ un insieme di enunciati del primo ordine e ${\displaystyle \mathrm {J} }$ l'insieme dei suoi sottoinsiemi finiti. Per ogni ${\displaystyle \Delta \in \mathrm {J} }$ sia ${\displaystyle {\mathcal {I}}_{\Delta }}$ un modello di ${\displaystyle \Delta }$. Definisco:

${\displaystyle {\tilde {\Delta }}=\{\Delta '\in \mathrm {J} :\Delta \subseteq \Delta '\}}$

Dati ${\displaystyle \Delta _{1},...,\Delta _{n}\in \mathrm {J} }$, si hanno ${\displaystyle \Delta _{i}\subseteq \Delta _{1}\cup ...\cup \Delta _{n}}$ per ogni i, perciò ${\displaystyle \Delta _{1}\cup ...\cup \Delta _{n}\in {\tilde {\Delta }}_{1}\cap ...\cap {\tilde {\Delta }}_{n}}$. ${\displaystyle \{{\tilde {\Delta }}:\Delta \in \mathrm {J} \}}$ ha la proprietà dell'intersezione finita e quindi posso considerare un ultrafiltro ${\displaystyle {\mathcal {U}}}$ che lo contiene.

Per concludere si dimostra che l'ultraprodotto ${\displaystyle {\begin{matrix}\prod _{\Delta \in \mathrm {J} }{\mathcal {I}}_{\Delta }/{\mathcal {U}}\end{matrix}}}$ è un modello di ${\displaystyle \Phi }$.

Sia ${\displaystyle \phi \in \Phi }$ un enunciato, ${\displaystyle \{\phi \}\in \mathrm {J} }$ e si può considerare ${\displaystyle \{{\tilde {\phi }}\}\in {\mathcal {U}}}$. Per ogni ${\displaystyle \Delta \supseteq \{\phi \}}$, equivalentemente ${\displaystyle \Delta \in \{{\tilde {\phi }}\}}$, si ha che ${\displaystyle {\mathcal {I}}_{\Delta }\models \phi }$ e perciò:

${\displaystyle {\tilde {\{\phi \}}}\subseteq \{\Delta \in \mathrm {J} :{\mathcal {I}}_{\Delta }\models \phi \}}$

da cui si conclude ${\displaystyle \{\Delta \in \mathrm {J} :{\mathcal {I}}_{\Delta }\models \phi \}\in {\mathcal {U}}}$ e ${\displaystyle {\begin{matrix}\prod _{\Delta \in \mathrm {J} }{\mathcal {I}}_{\Delta }/{\mathcal {U}}\end{matrix}}\models \phi }$ per il teorema di Łoś.

• (EN) compactness theorem, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica