Лекция 11. Ультрапроизведение моделей. Теорема Лося.

Ультрафильтры

Фильтром на множестве называется совокупностьподмножеств множестваобладающая свойствами:

1. (2)

3. 

Примеры фильтров:

1. Пусть Тогда– фильтр. Он называетсяфильтром, порождённым множеством

2. Пусть Тогда– фильтр. Он называетсяглавным фильтром, порождённым элементом

3. Пусть – бесконечное множество и– множество такихчтоТогда– фильтр.

Пусть – совокупность подмножеств множестваОна называетсяцентрированной системой подмножеств (иногда говорят: обладает свойством конечных пересечений), если пересечение любого конечного числа множеств из непусто, т.е.

Теорема 1. Всякая центрированная система подмножеств вкладывается в фильтр.

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

Теорема 2. Всякий фильтр вкладывается в ультрафильтр.

Теорема 3. Фильтр на множествеявляется ультрафильтром в том и только том случае, если для любоголиболибо

Тривиальным примером ультрафильтра является главный фильтр где– фиксированный элемент изОднако больший интерес представляют ультрафильтры, не являющиеся главными. Их существование, как показывает теорема 2, следует из леммы Цорна. Никому ещё не удалось построить ультрафильтр, не являющийся главным.

Ультрапроизведение моделей

Пусть – совокупность моделей одной и той же сигнатурыгде– множество символов операций, а– множество символов отношений. Рассмотрим вначалепрямое произведение множеств Обозначается оноа определяется как множество наборов(краткое обозначение:гдепри каждом(Если множествоконечно, скажем,то– это множество троекгдеНа множествелегко ввести операции иза именно: если– символп-арной операции, то положим

т.е. определим операции покомпонентно.

Намного хуже дело обстоит с определением отношений на множестве Пусть– символт-арного отношения. Первое, что приходит в голову, – это сказать, что тогда и только тогда, когдадля всехНапример, так определялось отношение порядкана прямом произведении частично упорядоченных множеств

Тогда действительно становится моделью той же сигнатурыоднако эта модель, в отличие от той, которая будет построена позднее, не обладает замечательным свойством, которое хотелось бы иметь. Нам хотелось бы, чтобы с моделейна модельпереносились свойства, выразимые на языке логики первого порядка. Для обычного прямого произведения это не так. Хотя прямое произведение групп – это группа, прямое произведение колец – кольцо, но прямое произведение полей не является полем, хотя поле задаётся девятью аксиомами УИП, прямое произведение линейно упорядоченных множеств частично упорядочено, но не является в общем случае линейно упорядоченным, хотя линейная упорядоченность задаётся одной аксиомой логики первого порядка:Исправить эту ситуацию нам поможет ультрапроизведение.

Пусть – ультрафильтр на множествеи– совокупность моделей одной сигнатурыВведём на произведенииотношение ~, положивПроверим, что ~ является отношением эквивалентности. Имеем: так какзначит, ~ рефлексивно. Симметричность отношения ~ очевидна. Докажем теперь его транзитивность. ПустьиТогдаиЕслитоиоткудаСледовательно,а значит,Таким образом, отношение ~ транзитивно и потому является отношением эквивалентности.

Множество отношением ~ разбивается на классы эквивалентности. Множество классов эквивалентности мы будем обозначатьи называтьультрапроизведением. Класс эквивалентности, в котором лежит элемент мы будем обозначатьЧтобы превратитьв модель сигнатурынам надо определить на этом множестве функциии предикаты

Пусть –п-арная функция. Положим

Надо доказать корректность этого определения, т.е. независимость значения функции от выбора представителей классов. А именно, надо показать, что если . . . ,то~ПоложимПо условиюНо тогдаДля каждогомы имеем:=Следовательно,~

Теперь рассмотрим т-арный предикат Будем считать, чтов том и только том случае, еслиДокажем корректность этого определения, т.е. независимость от выбора представителей. Пусть. . . ,ПоложимТак кактоПустьЕслитоДля элементоввыполнены равенстваиЗначит,прии поэтому

Большое значение ультрапроизведений в теории моделей объясняется тем, что, в отличие от обычного прямого произведения, ультрапроизведение сохраняет утверждения, выраженные формулами логики первого порядка.

Следующая важная теорема принадлежит польскому математику Лосю.

Теорема 4. Пусть – ультрапроизведение моделейодной и той же сигнатурыФормуладанной сигнатуры истинна на наборев том и только в том случае, если

Следствие. Если формула для каждогоистинна на наборев моделитоистинна вна наборе

Замечание. Как мы видели выше, прямое произведение полей не является полем, прямое произведение линейно упорядоченных множеств не обязано быть линейно упорядоченным. Однако по теореме Лося ультрапроизведение полей является полем (так как поле задаётся девятью аксиомами логики первого порядка), а ультрапроизведение линейно упорядоченных множеств линейно упорядочено (линейная упорядоченность определяется четырьмя аксиомами УИП).