Перейти до вмісту

Неконструктивне доведення

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

Неконструктивне доведення (неефективне доведення) — клас математичних доведень, що доводять лише існування в заданій (як правило, нескінченній) множині елемента, що задовольняє заданим властивостям, але не дає ніякої інформації про інші властивості елемента, тобто не дозволяють ні пред'явити його, ані приблизно описати. Доведення, які доводять існування елемента, надаючи спосіб одержання цього елемента, називають конструктивними.

Якщо в доведенні доводиться формула, в якій одна з величин — стала, але її значення відновити неможливо, це число називають неефективною сталою.[1]

Це поняття не слід плутати з випадком, коли сталу (або інший шуканий об'єкт) просто дуже складно виразити або вона виходить за межі розумних очікувань. Наприклад, доведення, в якому виникає число Грема, є конструктивним, оскільки число Грема, хоч і дуже велике, але його можна описати конкретно.

Природа неконструктивних доведень

[ред. | ред. код]

Неконструктивні доведення, як правило, виникають при застосуванні під час доведення деяких типових тверджень і прийомів, які самі є неконструктивними. Часто неконструктивні доведення ведуться від супротивного.

Принцип Діріхле

[ред. | ред. код]
Докладніше: Принцип Діріхле

Багато таких доведень засновані на різних формах та узагальненнях принципу Діріхле. Сам собою цей принцип

Якщо елементів лежать у комірках, то існує комірка з не менш ніж двома елементами.

стверджує існування, але не дозволяє знайти шуканого об'єкта.

До цієї ж групи можна віднести застосування нерівності Маркова і нерівності для звичайних сум, що випливає з неї. Наприклад, якщо відомо, що сума досить велика, а елементи в ній обмежені зверху (), то можна показати, що існує багато елементів, значення яких відносно велике і близьке до . Це «багато» означає деяку множину елементів, і це , якщо воно або його елементи буде використано далі в доведенні, зробить доведення неконструктивним, оскільки нічого, крім того, що воно існує, про нього дізнатися неможливо.

Аналогічні принципу Діріхле міркування лежать в арифметичній основі ймовірнісного методу, де майже всі доведення виявляються неконструктивними.

Може використовуватися також обернена постановка принципу Діріхле для нескінченних множин:

Якщо в скінченному числі ящиків міститься скінченна кількість кроликів, то в кожному ящику міститься скінченна кількість кроликів.

Тут твердження існування немає, але воно виникне, якщо, наприклад, замість дискретних ящиків розглядати відрізок та значення функції на ньому. Якщо збігається, то збігається майже скрізь, тобто множина точок, де воно не збігається має міру нуль. Але ми не можемо нічого сказати про цю множину, а значить, не можемо нічого сказати і про точки, де ряд збігається. Ми довели, що ряд збігається майже скрізь, але де саме — незрозуміло. У цьому полягає неконструктивність.

Різниця розміру множин

[ред. | ред. код]

Якщо , то .

Якщо переформулювати це в термінах принципу Діріхле, то вийде таке:

якщо з кроликів деякі сидять у одній із кліток, але в кожній клітці сидить не більше одного кролика, то хоча б один кролик не сидить у жодній із кліток.

В описаному вище прикладі з інтегралом ряду застосовано саме цей прийом, але слід зазначити, що в цьому прийомі не важливо, чи були множини і конструктивними раніше. Навіть якщо вони були однозначно визначеними, існування елемента доведено неконструктивно (у рамках множини ).

Використання існування як передумови

[ред. | ред. код]
Див. також: Засновок

Більшість математичних теорем формулюються за принципом «Якщо […], то […]». Якщо перша частина цього речення (передумова) містить якісь умови, що стосуються лише існування елементів з тими чи іншими властивостями, то доведення такого твердження може бути конструктивним лише в сенсі чіткого вказання залежності шуканого об'єкта (існування якого доводиться) від об'єкта, існування якого припускається. Однак конструктивність доведення в цьому сенсі ще не гарантує конструктивності ширших тверджень, для доведення яких використовуватиметься це — для забезпечення їхньої конструктивності необхідно забезпечити ще конструктивність доведення припущеної тут властивості існування.

Наприклад, нехай доводиться деяке твердження для будь-якої безперервної функції та деякої точки (такої, що ). За визначенням неперервності, . З цього легко вивести, що . Доведення цього можна вважати конструктивним, оскільки ми можемо оцінити у термінах залежності . Однак, якщо ми потім будемо використовувати доведений наслідок для певної функції , про яку нам відомо, що вона неперервна, але не відома чітка залежність (тобто неперервність доведено неконструктивно), то отримаємо неконструктивне доведення, оскільки не зможемо відновити і .

Приклади неконструктивних доведень

[ред. | ред. код]

Теорія обчислюваності

[ред. | ред. код]

Існування необчисленної множини — класичний приклад неконструктивного доведення через різницю розмірів множин.

Формалізація поняття алгоритму свого часу породила питання — чи існує множина натуральних чисел, для якої не існує алгоритму (строгіше, машини Тюрінга), яка перевіряє довільне число на належність цій множині.

Відповідно до теореми Кантора, потужність множини всіх підмножин натуральних чисел дорівнює континууму. Оскільки будь-яка машина Тюрінга задається скінченним числом символів, множина всіх машин Тюрінга є зліченною.

Оскільки континуум більший від зліченної множини, а кожному алгоритму відповідає деяка множина, то, крім деякої зліченної множини функцій, інші функції виявляються необчислюваними. Однак про те, як вони влаштовані, на основі цих міркувань нічого сказати не можна, тому таке доведення є неконструктивним.

Слід зазначити, що ніяке неконструктивне доведення не скасовує можливості іншого, конструктивного доведення. Зокрема, деякі приклади незліченних множин і функцій (а також алгоритмічно нерозв'язних задач, які можна звести до них) все-таки відомі, див.:

Геометрія чисел

[ред. | ред. код]
Докладніше: Геометрія чисел

Нехай дано замкнуте опукле тіло об'ємом , симетричне відносно початку координат. Якщо розглянути функцію

,

то очевидно, що , отже

так що існують точки , різниця яких є парною точкою цілочисельної ґратки. Через властивості опуклості та симетричності з цього легко вивести, що в лежить хоча б одна ціла точка крім . Однак про те, яка саме ця точка, нічого сказати не можна.

Доведене твердження називають теоремою Мінковського[2]. Описане доведення є неконструктивним через те, що використовує принцип Діріхле.

Комбінаторна геометрія

[ред. | ред. код]

Деякі доведення, що стосуються задачі Данцера — Ґрюнбаума, були неконструктивними через застосування ймовірнісного методу[3][4][5].

Теорія чисел

[ред. | ред. код]
Докладніше: Теорія чисел

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

Див. також

[ред. | ред. код]

Примітки

[ред. | ред. код]
  1. Bridges, Douglas; Palmgren, Erik (2018). Zalta, Edward N.; Nodelman, Uri (ред.). Constructive Mathematics. The Stanford Encyclopedia of Philosophy (вид. Summer 2018). Metaphysics Research Lab, Stanford University.
  2. Чандрасекхаран, 1968, с. 136—137.
  3. P. Erdos, Z. Furedi. The greatest angle among n points in the d-dimensional Euclidean space // Combinatorial mathematics.--Marseille-Luminy, 1981.--P. 275—283; North-Holland Math. Stud.--75.--North-Holland, Amsterdam, 1983 (PDF). Архів оригіналу (PDF) за 28 серпня 2018. Процитовано 31 березня 2018.
  4. D. Bevan, «Sets of Points Determining Only Acute Angles and Some Related Colouring Problems», Electron. J. Combin., 13:1 (2006), 24 p. Архів оригіналу за 2 травня 2018. Процитовано 31 березня 2018.
  5. Л. В. Бучок, «О двух новых подходах к получению оценок в проблеме Данцера-Грюнбаума, Матем. заметки, 2010, том 87, выпуск 4, страницы 519—527». Архів оригіналу за 12 травня 2018. Процитовано 31 березня 2018.
  6. Кейперс, 1963.

Література

[ред. | ред. код]