Aritmetická hierarchie

Související obrázek

Aritmetická hierarchie (také Kleeneova hierarchie) je v matematické logice způsob klasifikace podmnožin přirozených čísel s ohledem na složitost formulí, které je definují. Studium aritmetické hierarchie hraje důležitou roli v teorii rekurze a studiu formálních aritmetických teorií jako je například Peanova aritmetika. Aritmetickou hierarchii lze také použít pro elegantní důkaz silnější varianty první Gödelovy věty.

Definice

Hierarchie formulí

Následující definice má smysl pro formule libovolného jazyka L obsahujícího binární predikátový symbol $\le$.

• Zápisy $(\mathrm{\forall }x\le y)\phi$ resp. $(\mathrm{\exists }x\le y)\phi$ značí formule $(\mathrm{\forall }x)(x\le y\to \phi )$ resp. $(\mathrm{\exists }x)(x\le y\wedge \phi )$. Říkáme, že tyto formule vznikly omezenou kvantifikací formule $\phi$.
• Omezené formule jazyka L jsou takové formule tohoto jazyka, které vzniknou z atomických formulí libovolnou aplikací logických spojek a omezené kvantifikace.
• Definujeme $\phi$ je ${\mathrm{\Sigma }}_0$ resp. ${\mathrm{\Pi }}_0$ formule, je-li omezená.
• Dále indukcí $\phi$ je ${\mathrm{\Sigma }}_{n+1}$ resp. ${\mathrm{\Pi }}_{n+1}$ formule, je-li tvaru $(\mathrm{\exists }{x}_1)\dots (\mathrm{\exists }{x}_k)\psi$ resp. $(\mathrm{\forall }{x}_1)\dots (\mathrm{\forall }{x}_k)\psi$, kde $\psi$ je ${\mathrm{\Pi }}_n$ resp. ${\mathrm{\Sigma }}_n$ formule.

Aritmetická hierarchie

• Množina $A\subseteq {\mathbb{N}}^k$ se nazývá ${\mathrm{\Sigma }}_n$ resp. ${\mathrm{\Pi }}_n$ množina, existuje-li ${\mathrm{\Sigma }}_n$ resp. ${\mathrm{\Pi }}_n$ formule $\phi$ s k volnými proměnnými, že $\mathbb{N}\models \phi (a_1,\dots ,a_k)\iff (a_1,\dots ,a_k)\in A$ (poslední ekvivalenci slovně zkracujeme jako "$\phi$ definuje A v $\mathbb{N}$").
• Množina $A\subseteq {\mathbb{N}}^k$ se nazývá ${\mathrm{\Delta }}_n$ množina, je-li zároveň ${\mathrm{\Sigma }}_n$ i ${\mathrm{\Pi }}_n$.
• Systémy všech ${\mathrm{\Sigma }}_n$ resp. ${\mathrm{\Pi }}_n$ resp. ${\mathrm{\Delta }}_n$ množin značíme ${\mathrm{\Sigma }}_n$ resp. ${\mathrm{\Pi }}_n$ resp. ${\mathrm{\Delta }}_n$.
• Množina se nazývá aritmetická, je-li ${\mathrm{\Sigma }}_n$ pro nějaké n.

Vlastnosti

• Systémy ${\mathrm{\Pi }}_n$ a ${\mathrm{\Sigma }}_n$ jsou uzavřené na sjednocení a průnik. ${\mathrm{\Delta }}_n$ je uzavřen na doplněk.
• Množina je ${\mathrm{\Sigma }}_n$, právě když její doplněk je ${\mathrm{\Pi }}_n$ a naopak.
• Platí inkluze ${\mathrm{\Delta }}_n⊊{\mathrm{\Pi }}_n$ a ${\mathrm{\Delta }}_n⊊{\mathrm{\Sigma }}_n$ pro $n\ge 1$ a ${\mathrm{\Sigma }}_n⊊{\mathrm{\Pi }}_{n+1}$ a ${\mathrm{\Pi }}_n⊊{\mathrm{\Sigma }}_{n+1}$ pro všechna $n$.
• Dále platí ${\mathrm{\Pi }}_n⊊{\mathrm{\Pi }}_{n+1}$ a ${\mathrm{\Sigma }}_n⊊{\mathrm{\Sigma }}_{n+1}$ pro všechna $n$ a inkluze ${\mathrm{\Sigma }}_n\cup {\mathrm{\Pi }}_n⊊{\mathrm{\Delta }}_{n+1}$ pro $n\ge 1$. Tedy aritmetická hierarchie nekolabuje.

Důsledky nekolapsu aritmetické hierarchie

Snadným důsledkem tvrzení, že aritmetická hierarchie nekolabuje, je silnější verze první Gödelovy věty, kterou lze vyslovit takto:

Žádné rekurzivní rozšíření (tj. s rekurzivní množinou axiomů) Peanovy aritmetiky, které má standardní model $\mathbb{N}$, není úplné.

Jediné úplné rozšíření, které má standardní model, je totiž teorie standardního modelu $Th(\mathbb{N})$. Stačí nyní ukázat, že $Th(\mathbb{N})$ není rekurzivní. Ukážeme, že dokonce není ani aritmetická. Pokud by totiž byla nějaké ${\mathrm{\Sigma }}_n$, pak pro každou množinu z ${\mathrm{\Sigma }}_{n+1}$ definovanou formulí $\phi$ by bylo $\phi (a)\leftrightarrow \overline{\phi (a)}\in Th(\mathbb{N})$ a formule na pravé straně této ekvivalence je ${\mathrm{\Sigma }}_n$, tedy i $\phi$ by bylo ${\mathrm{\Sigma }}_n$, tj. aritmetická hierarchie by kolabovala - spor.

Literatura

• Švejdar, V., Logika - neúplnost, složitost, nutnost, Academia, Praha, 2002, Šablona:ISBN

Související články

• Peanova aritmetika
• Robinsonova aritmetika
• Gödelovy věty o neúplnosti