Опубликован: 24.04.2007 | Доступ: свободный | Студентов: 720 / 35 | Оценка: 4.60 / 4.30 | Длительность: 25:56:00
Специальности: Программист
Лекция 14:

Ультрафильтры и компактность

< Лекция 13 || Лекция 14: 12345678

Теорема 77 (Лося об ультрапроизведениях). Пусть параметрами формулы \varphi являются переменные a,b,\dots Она будет истинной в ультрапроизведении \prod_{s\in S} M_s при значениях параметров \alpha,\beta,\dots тогда и только тогда, когда множество тех s, при которых \varphi истинна в M_s при значениях параметров \alpha_s,\beta_s,\dots, принадлежит ультрафильтру.

Наглядно утверждение теоремы можно сформулировать так: голосование можно проводить не только по атомарным вопросам, а для любых формул. Для замкнутых формул про параметры можно ничего не говорить, и мы получаем, что формула истинна в ультрапроизведении, если и только если она истинна в большинстве (с точки зрения ультрафильтра) сомножителей. В частности, если формула истинна во всех сомножителях, то она истинна и в ультрапроизведении. Это важное утверждение заслуживает особого упоминания:

Следствие. Ультрапроизведение семейства моделей некоторой теории является моделью той же теории.

Докажем теорему Лося индукцией по построению формулы. Для атомарных формул оно непосредственно следует из определения истинности предикатов.

Пусть формула \varphi является конъюнкцией двух других формул \psi\land\eta, для которых утверждение уже верно. Тогда множество тех индексов, для которых \varphi истинно, является пересечение множеств тех индексов, где истинны \psi и \eta. Тем самым нам нужно такое свойство ультрафильтра: пересечение двух множеств является большим тогда и только тогда, когда оба они большие. Оно непосредственно следует из определения фильтра (здесь неважно, что это ультрафильтр), поскольку пересечение содержится в обоих множествах.

Для объединения соответствующее свойство звучит так: объединение S\cup T двух множеств большое тогда и только тогда, когда хотя бы одно из множеств S и T большое. В одну сторону (если одно из множеств большое, то и объединение таково) это вытекает из определения фильтра. В обратную сторону надо воспользоваться свойствами ультрафильтра: если S\hm\cup T большое, а оба множества S и T — нет, то они малые, их дополнения большие, пересечение дополнений большое, и не пересекается с S\hm\cup
T, что невозможно.

Пусть формула \varphi имеет вид \lnot\psi. Тогда имеет место такая цепочка: ( \varphi истинна в ультрапроизведении )\hm\Leftrightarrow(\psi ложна в нем )\hm\Leftrightarrow( множество индексов тех сомножителей, где \psi истинна, не является большим )\hm\Leftrightarrow( это множество является малым )\hm\Leftrightarrow( его дополнение большое )\Leftrightarrow( множество номеров тех сомножителей, где \psi ложна (то есть \varphi истинна), большое).

Импликация сводится к уже рассмотренным случаям ( \psi\hm\to\eta эквивалентна \lnot\psi\hm\lor\eta ); можно также сразу заменить формулу на эквивалентную без импликации.

Наиболее интересен случай кванторов. Можно ограничиться квантором существования (квантор всеобщности сводится к нему и к отрицаниям). Он разбирается так (мы используем не вполне корректные обозначения — надеемся, они не вызовут путаницы). Пусть формула \exists x\,\varphi(x,y,z,\dots) истинна в ультрапроизведении. Это значит, что существует функция x\colon s\hm\mapsto x_s, для которой \varphi(x,y,z,\dots) истинно в ультрапроизведении. По предположению индукции это означает, что для большинства s формула \varphi(x_s,y_s,z_s,\dots) истинна в M_s. Но тогда для этих индексов s и формула \exists x\,\varphi(x,y,z,\dots) истинна в M_s, что и требовалось. Обратное рассуждение аналогично: если для большинства s найдется соответствующее значение x_s, то эти x_s можно собрать в функцию (доопределив ее как угодно на малом множестве остальных s ), и эта функция будет искомым значением x в ультрапроизведении.

Теорема Лося доказана.

Мы уже говорили, что произведение нормальных интерпретаций может не быть нормальным. Но теорема Лося гарантирует, что в ультрапроизведении нормальных интерпретаций выполнены аксиомы равенства (поскольку они выполнены в каждом сомножителе), и потому равенство является отношением эквивалентности, и классы эквивалентности уже дают нормальную интерпретацию (с теми же истинными формулами).

Теорема Лося позволяет дать прямое доказательство теоремы компактности (теорема 50). Она утверждает, что если всякое конечное подмножество данного множества замкнутых формул T совместно (имеет модель), то и все множество T совместно.

Модель для всего множества T строится как ультрапроизведение. Индексами будут конечные подмножества множества T. Для каждого из них сомножителем будет существующая по условию модель. Теперь надо правильно подобрать фильтр на семействе конечных подмножеств множества T. Нам нужно, чтобы для каждого t\in
T семейство всех конечных подмножеств, содержащих t, было бы большим. (В этом случае теорема Лося гарантирует, что t будет истинно в ультрапроизведении.)

Как построить такой фильтр? Для каждого конечного T'\hm\subset
T рассмотрим семейство S(T') всех конечных подмножеств, содержащих T'. Очевидно, пересечение таких семейств снова будет семейством такого вида ( S(T')\hm\cap S(T'')=S(T'\hm\cup
T'') ), так что после добавления всех надмножеств всех таких множеств получится фильтр. Остается расширить этот фильтр до ультрафильтра по теореме 75. Теорема компактности доказана.

Поучительно проследить до конца, что дает такого рода построение для какого-нибудь конкретного примера. Вспомним построение нестандартного натурального ряда. Оно использовало теорему компактности. Сочетая его с приведенным только что доказательством теоремы компактности (и кое-что упростив), получаем такую конструкцию.

Рассмотрим натуральные числа как интерпретацию сигнатуры ({=},{+},{\times}). Рассмотрим ультрапроизведение *{\mathbb N} счетного числа таких интерпретаций по модулю какого-либо неглавного ультрафильтра. Теорема Лося говорит, что в этой интерпретации будут истинны те же формулы, что в натуральном ряду, то есть что *{\mathbb N} элементарно эквивалентна стандартной интерпретации \mathbb N.

Покажем, что \mathbb N не изоморфна *{\mathbb N}. В самом деле, при таком изоморфизме нуль обязан переходить в элемент (0,0,0,\dots) (точнее, в класс этого элемента относительно равенства), поскольку такой класс обладает свойствами нуля, однозначно его определяющими (в \mathbb N, а потому и в *{\mathbbN} ). По аналогичным причинам единица переходит в класс (1,1,1,\dots) и вообще число k соответствует классу (k,k,k,\dots). А класс (0,1,2,3,4,\dots) отличается от любого класса (k,k,k,\dots) (они совпадают в единственном сомножителе, а одноэлементное множество является малым, так как ультрафильтр неглавный). Таким образом, построенная нами модель *{\mathbbN} не является стандартной.

Аналогичное рассуждение позволяет построить и нестандартные модели действительных чисел (о которых мы будем говорить в следующем разделе).

< Лекция 13 || Лекция 14: 12345678