Трансфінітна індукція

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

Трансфінітна індукція — метод доведення, що узагальнює математичну індукцію у випадку незліченного числа значень параметра.

Трансфінітна індукція базується на наступному твердженні:

Нехай  — цілком впорядкована множина, при  — деяке твердження. Нехай для будь-якого з того, що істинно для всіх , випливає, що вірним є твердження . Тоді твердження є вірним для будь-якого .

Зв'язок з математичною індукцією

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

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

Приклади використання трансфінітної індукції

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

У багатьох випадках трансфінітна індукція використовується разом з теоремою Цермело, яка стверджує, що будь-яку множину можна цілком впорядкувати. Теорема Цермело еквівалентна аксіомі вибору, тому доведення є неконструктивним[джерело?].

Як приклад покажемо, що можна задати деяку множину кіл таку, щоб через кожну точку площини проходило рівно два кола. Це твердження можна довести, побудувавши явну конструкцію. Однак для випадку трьох кіл явна конструкція досі не відома, тоді як доведення її існування мало відрізнятиметься від нижченаведеного[джерело?].

Впорядкуємо всі точки множини так, щоб потужність множини точок, менших була менша, ніж континуум (можна показати, що будь-яку множину можна цілком впорядкувати так, щоб для будь-якого його елемента множини менших за нього мало меншу потужність). Як візьмемо наступне твердження: можна провести меншу, ніж континуальну множину різних кіл так, щоб кожна точка, яка є меншою або рівною була покрита рівно 2 колами, а всі інші точки були покритими не більше, ніж двома колами, а також для будь-якої точки цю множину можна вибрати такою, щоб вона містила множину кіл для точки . Якщо  — мінімальна точка, тоді візьмемо будь-які 2 різні кола, які проходять через цю точку. Твердження для мінімального доведено. Нехай тепер  — будь-яка точка, і відомо, що твердження є вірним для будь-якого . Візьмемо об'єднання множин кіл для всіх точок . Згідно з припущенням індукції можна вважати, що множини кіл для більших точок включають множини кіл для менших точок, тому отримана множина буде покривати точки площини не більше двох разів. Так як множина елементів, які є менші ніж , є меншою, ніж континуум, і кожна об'єднана множина менша, ніж континуум, тоді отримана множина також буде мати меншу потужність, ніж континуум. Побудована множина кіл вже вдвічі покриває всі точки, менші .

Покажемо тепер, як покрити . Через проходить континуум кіл, які не перетинаються. Помітимо, що будь-яка пара кіл перетинається не більше, ніж в двох точках, а значить потужність множини точок площини, покритих 2 рази, менша, ніж континуум (тут використовується твердження, що множина є рівнопотужною до , якщо  — нескінченна множина). Це означає, що знайдеться континуум кіл, на яких немає точок, покритих 2 рази. Візьмемо з них одну або дві, в залежності від кількості кіл, що вже проходять через точку . Твердження індукції доведено.

Див. також

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

Джерела

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