Обчисленна множина

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Обчисленна множина (також рекурсивна множина) - множина натуральних чисел, для якої існує алгоритм, що отримує на вхід будь-яке натуральне число і після скінченної кількості кроків (можливо залежної від цього числа) дає відповідь, чи належить це число даній множині, чи ні. Іншими словами, множина є обчисленною, якщо її характеристична функція обчисленна . Множина, яка не є обчисленною, називається необчисленною. Також можна говорити про обчисленну множину, що складається з будь-яких конструктивних об'єктів, що кодуються натуральними числами. Будь-яка обчисливана множина є перераховною і арифметичною . Дозволені множини відповідають рівню арифметичної ієрархії[en] .

У загальному випадку, підмножина множини конструктивних елементів називається обчисленною щодо , якщо існує алгоритм, застосовний до об'єктів з та у разі застосування до деякого об'єкту цей алгоритм дає відповідь на запитання, чи належить цей об'єкт [1] .

Існують перераховні множини, які не є обчисленними. Більше того, перераховна множина розв'язна тоді і тільки тоді, коли її доповнення також перераховне. Проєкція обчисленної множини перераховна, але може не бути обчисленною. Підмножина обчисленної множини може не бути обчисленною (і навіть може не бути перераховною).

Сукупність всіх обчисленних підмножин це зліченна множина, а сукупність всіх необчисленних підмножин це незліченна множина, так як множина всіх підмножин позитивних цілих чисел незліченна. [2]

Існує взаємно однозначна відповідність між обчисленними підмножинами та обчисленними дійсними числами[en] [2] .

Приклади

[ред. | ред. код]
  • Порожня множина є обчисленною.
  • Будь-яка скінченна множина та її доповнення є обчисленними множинами.
  • Існують нескінченні обчисленні множини з нескінченним доповненням. Наприклад, множина всіх парних чисел і множина простих чисел обчисленні.
  • Доповнення обчисленної множини є обчисленним.
  • Об'єднання та перетин скінченного числа обчисленних множин також обчисленні.
  • Будь-яка перераховна множина, доповнення якої також перераховне, є обчисленною (теорема Посту[en]).
  • Множина раціональних чисел, менших числа є обчисленною.
  • Множина, єдиний елемент якої дорівнює одиниці, якщо гіпотеза Рімана вірна, і нулю в іншому випадку, є обчисленною (бо вона скінченна).
  • Множина номерів нетривіальних нулів ζ-функції, для котрих порушується гіпотеза Рімана, є обчисленною (хоча невідомо, чи вона порожня, скінченна чи нескінченна).
  • Множина рядків, які є правильними доведеннями ZFC, є обчисленною. Її проєкція — множина тверджень, що доводяться в ZFC — перераховна, але, за умови несуперечності ZFC — необчисленна.

Примітки

[ред. | ред. код]
  1. Эббинхауз, 1972, с. 19.
  2. а б Биркгоф Г., Барти Т. Современная прикладная алгебра. — М., Мир, 1976. — с. 375—376

Література

[ред. | ред. код]
  • Эббинхауз Г.Д., Якобс К., Ман Ф.К., Хермес Г. Машины Тьюринга и рекурсивные функции. — М. : Мир, 1972. — 262 с.