Lösbar uppsättning

En lösbar mängd (även rekursiv , beräkningsbar ) är en uppsättning naturliga tal för vilka det finns en algoritm som tar emot vilket naturligt tal som helst som indata och, efter ett ändligt antal steg, slutar med att avgöra om det tillhör denna mängd. Med andra ord är en mängd avgörbar om dess karakteristiska funktion är beräkningsbar . En mängd som inte är löslig kallas oavgörlig . Man kan också tala om en lösbar mängd som består av alla konstruktiva objekt kodade av naturliga tal. Varje avgörbar uppsättning är uppräknad och aritmetisk . Lösbara mängder motsvarar nivån för den aritmetiska hierarkin .

I det allmänna fallet kallas en delmängd av uppsättningen konstruktiva element avgörbar med avseende på , om det finns en algoritm som kan appliceras på objekt från och, om den tillämpas på något objekt , som svarar på frågan om detta objekt tillhör [ 1] .

Det finns otaliga uppsättningar som inte går att avgöra. Dessutom är en uppräknad mängd avgörbar om och endast om dess komplement också är uppräknelig. Projektionen av en avgörbar uppsättning är uppräknad, men kanske inte avgörbar. En delmängd av en avgörbar mängd kanske inte är avgörbar (och kanske inte ens aritmetisk).

Mängden av alla lösbara delmängder är räkningsbar och mängden av alla olösbara delmängder  är oräknelig , eftersom mängden av alla delmängder av positiva heltal är oräknelig. [2]

Det finns en en-till-en-överensstämmelse mellan beräkningsbara delmängder och beräkningsbara reella tal [2] .

Exempel

Anteckningar

  1. Ebbinhouse, 1972 , sid. 19.
  2. 1 2 Birkhoff G. , Barty T. Modern Applied Algebra. - M., Mir, 1976. - sid. 375-376

Litteratur