Kreative und produktive Mengen
# Kreative und produktive Mengen

Kreative und produktive Mengen sind Klassen von Teilmengen der natürlichen Zahlen, die in der Berechenbarkeitstheorie und der mathematischen Logik auftreten. Sie sind eng mit dem Begriff der rekursiven Aufzählbarkeit (RE) verbunden: Die produktiven Mengen sind in einem gewissen Sinne die noch am besten algorithmisch beherrschbaren Mengen, die nicht mehr rekursiv aufzählbar sind. Dagegen sind die kreativen Mengen genau die RE-vollständigen (vgl. Vollständigkeit (Theoretische Informatik)). Die Bezeichnung kreative Menge geht auf einen Aufsatz von Emil Post aus dem Jahre 1944 zurück, erst später kam eine eigene Bezeichnung für die produktiven Mengen hinzu.

## Definition

Es sei $\{W_{n}\}_{n\in \mathbb {N} }$ eine effektive Nummerierung aller rekursiv aufzählbarer Mengen.

Eine Menge $A\subseteq \mathbb {N}$ natürlicher Zahlen heiße produktiv, falls es eine partielle berechenbare Funktion $f\colon \mathbb {N} \rightsquigarrow \mathbb {N}$ gibt, die folgender Eigenschaft genügt:

    $\forall n\in \mathbb {N} \colon (W_{n}\subseteq A\Rightarrow f(n)\in A\setminus W_{n})$

Wann immer also eine rekursiv aufzählbare Menge ganz in $A$ liegt, wird ihr Index auf ein Element von $A$ abgebildet, dass nicht mehr Teil dieser Menge ist. Insbesondere ist $f$ an dieser Stelle definiert.

In diesem Fall wird $f$ eine produktive Funktion für $A$ genannt.

Eine Menge $B\subseteq \mathbb {N}$ heiße nun kreativ, falls sie selbst rekursiv aufzählbar und ihr Komplement ${\overline {B}}=\mathbb {N} \setminus B$ produktiv ist.

## Beispiele

* Das spezielle Halteproblem $K=\{n|n\in W_{n}\}$ ist der Prototyp einer kreativen Menge, sein Komplement ${\overline {K}}$ ist produktiv mit der Identität als produktiver Funktion.
* Die Klasse $ARITH$ aller gültigen arithmetischen Formeln – durch eine geeignete Gödelisierung als Menge natürlicher Zahlen aufgefasst – ist produktiv, dies besagt der Erste Gödelsche Unvollständigkeitssatz.
* Die Menge $TOTAL=\{n|W_{n}=\mathbb {N} \}$ der Indizes aller total berechenbaren Funktionen ist ebenfalls produktiv.

## Eigenschaften

* Die produktive Funktion lässt sich stets total und injektiv wählen.
* Produktive Mengen sind nicht rekursiv aufzählbar, für jede rekursiv aufzählbare Menge $W_{n}$ bezeugt ja $f(n)$, dass $W_{n}\neq A$ gilt.
* Allerdings besitzt jede produktive Menge eine unendliche, rekursiv aufzählbare Teilmenge.
   * Insbesondere sind also produktive Mengen stets unendlich.
* Kreative Mengen sind nicht entscheidbar, denn dazu müsste ihr Komplement rekursiv aufzählbar sein.
* Eine Menge ist genau dann produktiv, wenn ihr Komplement RE-schwer ist – vgl. Schwere (Theoretische Informatik). Dies ist der Satz von Myhill.
   * Eine Menge ist daher genau dann kreativ, wenn sie RE-vollständig ist.
* Ist eine Menge $A$ produktiv, so auch die Menge $\{n|W_{n}\subseteq A\}$.
* Seien $C;D\subseteq \mathbb {N}$ zwei Mengen mit $C\preceq _{m}D$, d. h. $C$ sei auf $D$ many-one-reduzierbar, dann gilt:
   * Ist $C$ produktiv, so auch $D$.
   * Ist $D$ kreativ, so ist $C$ genau dann kreativ, wenn ${\overline {C}}$ produktiv ist.
