ВЫНУЖДЕНИЯ МЕТОД это:

ВЫНУЖДЕНИЯ МЕТОД

форсинг-метод,- особый способ доказательства существования моделей аксиоматич. теорий, предложенный П. Козном в 1963 для доказательства совместимости отрицания континуум-гипотезы щСН и других теоретико-множественных предложений с аксиомами системы Цермело - Френкеля ZF (см. [1]). В дальнейшем В. м. был упрощен и модернизирован (см. [2]-[6]); выявилась, в частности, связь этого метода с теорией булееозначных моделей (см. [2), [3]) и моделями Крипке (см. [6]).

Центральным понятием В. м. является отношение вынуждения


("условие рвынуждает формулу ").

Определению отношения вынуждения предшествует фиксирование нек-рого языка Lи частично упорядоченного множества Рвынуждающих условий р с отношением порядка . Язык Lможет содержать переменные и константы разных сортов (или типов).

Построение модели ZF, предложенное П. Козном, в к-рой нарушается континуум-гипотеза, выглядит следующим образом. Множество Мназ. транзитивным, если

Пусть М - счетное транзитивное множество, являющееся моделью ZF, и - ординальное (по Нейману) число, т. е. Пусть - произвольное множество (возможно, что ), где - первое бесконечное ординальное число. Если X - транзитивное множество, то пусть Def (X).обозначает множество всех X-определимых подмножеств (см. Конструктивное по Гёделю множество), т. е. .С помощью процесса, аналогичного построению конструктивных по Гёделю множеств, для каждого ординального числа , дуктивно определяется множество :


Пусть где : - ординал . Модель ZF, в к-рой нарушается континуум-гипотеза, ищется среди моделей вида М[А]. Пусть - ординал такой, что в Мистинно утверждение: есть второй несчетный ординал.

Множество вынуждающих условий Ри отношение определяются эквивалентностями: а) -функция, определенная на век-ром конечном подмножестве множества , со значениями в множестве ) есть продолжение р. В качестве языка Lберется так наз. разветвленный язык, имеющий много типов переменных (для каждого свой тип переменных, пробегающих множество ) и содержащий имена (т. е. индивидные константы) для каждого множества из . Если , то имя хобозначается через . Пусть а - имя множества А. Отношение вынуждения вводится индуктивным определением, имеющим, в частности, следующие характерные пункты:


Если - тип переменной х, то


где - множество всех констант типа . Последовательность вынуждающих условий


наз. полной, если для всякой замкнутой формулы языка Lимеет место


Счетность множества всех замкнутых формул языка Lи пункт (2) определения отношения вынуждения позволяют доказать существование полной последовательности, начиная с любого р 0 .

Множество А, содержащееся в , наз. генерическим относительно модели М, если существует такая полная последовательность, что есть характеристич. функция множества А. Фундаментальное значение имеют следующие два факта о генерических множествах и отношении вынуждения .

I. Если А - генернческое множество, то


где означает, что формула истинна в М[А].

II. Отношение


где - константы L, рассматриваемое как отношение между р, c1 ,..., с n выразимо в модели М.

В силу этих фактов, для доказательства того, что М[A]| = j, достаточно показать истинность в модели Мутверждения


На этом основана проверка справедливости в модели М[А]аксиом ZF и . При проверке в используется также специфика множества вынуждающих условий, позволяющая доказать, что:

1) если ординалы различны, то


т. е.


2)

Укажем, как отношение вынуждения связано с булевозначными моделями.

Если ввести обозначения


то есть полная булева алгебра и есть булево значение формулы . Таким образом, задание частично упорядоченного множества и определение отношения оказываются равносильными построению нек-рой булевозначной модели . Анализ доказательства утверждений вида:


где - аксиома или , позволяет заключить, что формулы , выражающие утверждение:


т. е. выводимы из аксиом . Таким образом, есть B-модель для , построенная средствами ZF. Предположение о существовании счетного транзитивного множества, являющегося моделью ZF, равно как и понятие генерического множества, оказываются несущественными для целей доказательства относительной непротиворечивости.

Выяснилось, что построение булевозначной модели можно упростить (см. [2], [3], [5]). В частности, введение разветвленного языка Lне является обязательным. Возможен следующий способ построения генерической модели М[А](см. [4]).

Подмножество Xчастично упорядоченного множества наз. плотным, если


Пусть Ри отношение суть элементы нек-рого счетного транзитивного множества М, являющегося моделью ZF. Подмножество наз. M-генерическим фильтром, если:


Пусть Gесть Л/-генернческий фильтр на Р. Так как Мсчетно, то Gсуществует. Вообще говоря, . Отношение определяется эквивалентностью


где хи у - произвольные элементы модели М. Пусть функция определена на Мравенством


и


Если - замкнутая формула языка ZF, пополненного константами для обозначения каждого множества из М, то положим (G есть М-генерический фильтр ) Можно показать, что

I.

II. Отношение определимо в модели Мдля каждой формулы .

Используя только I, II и тот факт, что М - модель ZF, можно установить, что NQ - модель ZF. Если Ропределено эквивалентностями (а).и (6), то и есть характеристич. функция нек-рого множества п . Определимое в Мотношение не удовлетворяет пунктам (3) и (5) определения П. Коэна отношения вынуждения. Имеет место


Полагая


получим определимую в Мбулевозначную модель для с той же булевой алгеброй , что и в случае П. Коэна.

Таким образом, В. м. состоит фактически в построении В-модели и гомоморфизма, сохраняющего нек-рые бесконечные объединения и пересечения алгебры , в двухэлементную алгебру (о применениях В. м. в теории множеств см., напр., [2]).

Лит.:[1] Коэн П. Д ж., Теория множеств и континуум-гипотеза, пер. с англ., М., 1969; [2] И е х Т., Теория множеств и метод форсинга, пер. с англ., М., 1973; [3] Тakеuti G., Zaring W. M., Axiomatic Bet theory, N. Y. - Hdlb. - B., 1973; [4] Шенфилд Д ж., Математическая логика, пер с англ., М., 1975; [5] Манин Ю. И., в кн.: "Итоги науки к техники. Современные проблемы математики, т. 5, М., 1975 с. 5-72; [6] Fitting M. С., Intuitionistic logic, model theory and forcing, Amst.- L., 1969. В. Н. Гришин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ВЫНУЖДЕНИЯ МЕТОД" в других словарях:

  • ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …   Математическая энциклопедия

  • БУЛЕВОЗНАЧНАЯ МОДЕЛЬ — модель, определяемая следующим образом. Пусть сигнатура нек poro языка 1 й ступени с одним сортом переменных, т. е. множество символов функций и предикатов. Б. м. наз. тройка где невырожденная булева алгебра, непустое множество и функция,… …   Математическая энциклопедия

  • КРИПКЕ МОДЕЛИ — структуры, состоящие из нек рого множества обычных моделей для классической логики, упорядоченных между собой нек рым отношением, н служащие для интерпретации в них различных неклассических логик (интуипионистской, модальных и др.). Точнее, К. м …   Математическая энциклопедия

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… …   Математическая энциклопедия

  • АЛГОРИТМИЧЕСКАЯ СВОДИМОСТЬ — одно из основных понятий алгоритмов теории и ее приложений Возникло в связи с тем, что неразрешимость (и разрешимость) многих алгоритмических проблем устанавливается большей частью не непосредственно, а путем сведения к исследуемой проблеме такой …   Математическая энциклопедия

  • КОНТИНУУМ-ГИПОТЕЗА — гипотеза Г. Кантора (G. Cantor, 1878), состоящая в том, что всякое бесконечное подмножество континуума R равномощно либо множеству натуральных чисел, либо R. Эквивалентная формулировка (при наличии выбора аксиомы): (см. Алефы). Обобщение этого… …   Математическая энциклопедия

  • АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… …   Математическая энциклопедия

  • Континуума проблема —         задача, состоящая в том, чтобы доказать или опровергнуть средствами множеств теории (См. Множеств теория) следующее утверждение, называемое континуум гипотезой (К. г.): мощность Континуума есть первая мощность, превосходящая мощность… …   Большая советская энциклопедия

  • СУСЛИНА ГИПОТЕЗА — гипотеза, утверждающая, что всякое линейно упорядоченное множество без первого и последнего элементов, являющееся полным, плотным и удовлетворяющее условию Суслина, изоморфно действительной прямой. При этом полнота означает существование точной… …   Математическая энциклопедия

  • Лампа накаливания — общего назначения (230 В, 60 Вт, 720 лм, цоколь E27, габаритная высота ок. 110 мм Лампа накаливания  электрический источник св …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»