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

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

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

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

НехайM — цілком впорядкована множина, P(x) при x\in M — деяке твердження. Нехай для будь-якого x\in M з того, що P(y) істинно для всіх y<x слідує, що вірним є твердження P(x). Тоді твердження P(x) є вірним для будь-якого x.

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

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

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

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

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

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

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

Література[ред.ред. код]

  • Куратовский К., Мостовский А. Теория множеств. — М.: Мир, 1970. — 416 с.

Див. також[ред.ред. код]