слайды(slides5)

Введение в
математическую логику
и теорию алгоритмов
Лекция 5
Алексей Львович Семенов
1
06.05.2016
Адреса лекций
• https://dl.dropboxusercontent.com/u/69927703/v
ml2015/slides1.ppt
• https://dl.dropboxusercontent.com/u/69927703/v
ml2015/slides2.ppt
• https://dl.dropboxusercontent.com/u/69927703/v
ml2015/slides3.ppt
• https://dl.dropboxusercontent.com/u/69927703/v
ml2015/slides4.ppt
• https://dl.dropboxusercontent.com/u/69927703/v
ml2015/slides5.ppt
2
План
• Теорема Тарского об определимости в
арифметике действительных чисел,
повторение
• Теория моделей. Начальные понятия и
теоремы
• Теория и модель. Примеры
• Элементарные подструктуры и
расширения
• Теорема Тарского – Вота
3
Истинность. Повторение и обозначения
Фиксируем сигнатуру .
Формула в сигнатуре  – это формула, в которой все имена
отношений берутся из .
Структура сигнатуры  – M = <D, , Зн>. Можем рассматривать
разные структуры (D и Зн могут меняться).
M = <D, , Зн> – структура, (x1,. . . , xk) – формула в сигнатуре ,
все ее свободные переменные входят в цепочку x1,. . . , xk ,
a1,. . . , ak … – интерпретация ,
M ⊨ (a1,. . . , ak) означает, что значение  в M при данной
интерпретации – истина (вместо свободных переменных xi
подставлены элементы ai).
Векторные обозначения: a - набор (цепочка) элементов a1,. . . , ak,
Утверждение – это формула без свободных переменных
(иначе говоря – замкнутая),
M ⊨  означает, что утверждение  истинно в M.
4
Теорема Тарского (– Зайденберга)
R = ℝ, p ( ) = 0, > 0 – для всех полиномов
p с целыми коэфф., Зн
Т. Существует алгоритм, который для
всякой формулы сигнатуры структуры R
строит эквивалентную ей в этой структуре
бескванторную формулу.
5
Доказательство теоремы Тарского – Зайденберга
(повторение)
4 операции на семействах многочленов.
1. Модифицированный остаток
Дано: пара p,q многочленов от u
(с коэффициентами из ℤ[x1, . . . , xn]),
степень p(u) не меньше степени q(u).
Пусть k = (степень p(u) – степень q(u)) + 1,
a – старший коэффициент q(u).
Получаем: модифицированный остаток от деления
p(u) на q(u) = остаток от деления ak p(u) на q(u).
Вопрос. Что дает домножение на ak ?
Р. Попробуйте делить «столбиком». Что происходит в
процессе деления?
Степень (по u) модифицированного остатка меньше степени q.
6
Доказательство теоремы Тарского – Зайденберга
(повторение)
Определяем еще 3 операции на семействах многочленов.
2. Отбрасывание старшего члена
3. Взятие старшего коэффициента
4. Дифференцирование по u
При этих операциях наибольшая положительная степень аргументов
уменьшается.
Диаграмма (конечного) семейства многочленов:
•Для каждого многочлена из семейства рисуется прямая, на ней
отмечаются его корни.
•Строится столбец многочленов, одна под другой располагаются
соответствующие прямые.
•Для каждого многочлена отыскиваются его знаки во всех корнях других
многочленов и в интервалах между корнями (возможно, разных
многочленов).
•Строятся столбцы найденных знаков
7
Доказательство теоремы Тарского – Зайденберга.
• Пусть задана формула, F – замыкание (относительно 1-4)
семейства всех многочленов из нее.
• F0 – часть F, состоящая из многочленов степени 0 по u
(они представляют собой многочлены из ℤ[x1, . . . , xn]).
• Диаграмма для множества F0 состоит из одного столбца.
• Лемма. Пусть F – семейство многочленов из
(ℤ[x1, . . . , xn])[u] , замкнутое относительно операций 1-4.
• Тогда диаграмма семейства F в данной точке x может
быть построена по диаграмме семейства F0 в той же
точке.
• То, что диаграмма множества F0 данная, записывается
бескванторной формулой (конъюнкцией знаков
многочленов от x1, . . . , xn ).
8
Доказательство теоремы Тарского – Зайденберга.
Доказательство Леммы
•Добавляем к F0 многочлены из F в порядке неубывания их
степеней (то есть можем добавить многочлен, если все
многочлены меньшей степени уже добавлены), пока не
получим всё множество F.
•(действуем снизу вверх)
•Показываем, что на каждом шаге диаграмма
расширенного множества (с новым многочленом) может
быть однозначно восстановлена по диаграмме
предыдущего множества.
Была:
•Задача. Завершить доказательство Леммы.
9
Доказательство теоремы Тарского – Зайденберга.
Доказательство Леммы
Задача. Добавляем многочлен p. Что происходит с диаграммой?
•Надо «добавить» все корни p
•Куда?
–Какие появляются строки?
–Какие появляются столбцы?
Как искать Знак p в корнях уже рассмотренных многочленов?
Куда добавлять корни p?
Р. Использование операций 1 – 4, в частности,
модифицированный остаток.
примеры соображений:
Если в соседних корнях уже рассмотренных многочленов p(u) имеет
одинаковые знаки, то между этими корнями нет корней p(u)
(иначе между корнями был бы корень производной, входящей в диаграмму),
и знак в промежутке тот же.
Если в соседних корнях уже рассмотренных многочленов p(u) положителен и
отрицателен, то между этими корнями есть один корень p(u). Нужно
10
добавить три столбца
Доказательство теоремы Тарского – Зайденберга
Для всякой формулы
u B(u, x), где B – бескванторная, мы строим
эквивалентную бескванторную:
•Выписываем семейство всех многочленов из B.
•Строим замыкание F’ семейства (относительно 4-х операций).
•Берем в замыкании часть нулевой степени F0.
•Строим (восстанавливаем) диаграмму для F, из диаграммы для F0
(из одного столбца),
•Отбираем из диаграмм для F те, которые обращают
 u B(u, x) в истину. Берем те диаграммы из F0, из которых они
получились.
•Для каждой взятой диаграммы из F0 записываем бескванторную
формулу, (конъюнкция утверждений о каждой клетке).
•Искомая – дизъюнкция построенных формул.
11
. Доказательство теоремы Тарского – Зайденберга
Преобразование произвольной формулы в
бескванторную идет индукцией по построению
(«изнутри»)
Если при построении мы навешивали квантор , то
теперь мы его навешиваем и сразу избавляемся.
Мы заменяем всякую формулу
u B(u, x) на эквивалентную
u  B(u, x).
Со связками – очевидно.
12
Модель теории. Семантические свойства.
Теория – множество утверждений (формул без своб. перем.)
Структура M – модель теории Г, если M ⊨  для любой  ∊ Г.
Теория, у которой есть модель, называется совместной (или
семантически непротиворечивой).
Теория, у которой нет моделей, называется несовместной
(или семантически противоречивой).
Замкнутая формула  семантически следует из теории Г,
если формула  истинна в любой модели теории Г.
•
Обозначение: Г ⊨ .
Теория Г семантически полна, если для любого утверждения
 в той же сигнатуре Г ⊨  или Г ⊨ .
• Будем опускать слово «семантически».
13
Примеры теорий
В сигнатуре есть = и др.
u1,...,un v (v=u1  . . .  v=un)
• Структуры, содержащие не более n
элементов.
• Задача. Бывают ли теории, у которых
нет бесконечных моделей, но для
каждого натурального n есть модель,
содержащая n элементов?
14
Линейный порядок
Система аксиом Γ
u (¬R(u, u)) – антирефлексивность
u,v (R(u,v)  R(v,u)  u = v) – трихотомия
u,v,w ((R(u,v)  R(v,w)) → R(u,w)) –
транзитивность,
Модели – структуры, в которых
отношение R задает линейный порядок
Будем писать < вместо R
Задача. Следствие из аксиом:
u,v (u<v  v<u) – антисимметричность. 15
Линейный порядок без наибольшего
элемента
u (¬(u < u))
u,v (u < v  v < u  u = v)
u,v,w ((u < v  v < w) → u < w))
(Это была Г.)
u v (u < v)
• Примеры моделей – к известному числовому
множеству добавлено равенство и порядок:
Q<, R<, N<, Z<.
Задача. Доказать, что все модели бесконечны.
16
Теория ΓQ. Плотный линейный порядок
без первого и последнего элемента.
u (¬(u < u))
u,v (u < v  v < u  u = v)
u,v,w ((u < v  v < w) → u < w)
u,v (u < v → (w (u < w < v))) – плотность
u v (v < u) – неограниченность снизу
u v (u < v) – неограниченность сверху
Задача. Какие бывают модели?
Задача. Можно ли что-то добавить, чтобы
отделить Q< от R< (т.е., чтобы первая структура
была моделью, а вторая – нет)?
17
Теория ΓN : Дискретный линейный
порядок с наименьшим элементом.
1. u (¬(u < u))
2. u,v (u < v  v < u  u = v)
3. u,v,w ((u < v  v < w) → u < w)
4. u v (u < v)
5. u (0 < u  u = 0)
6. u (v (u < v  (w (u < w → (v=w  v<w)))))
7. u(u ≠ 0 → (v(v<u  (w(w<u → w=v  w < v)))))
Задачи:
• Что эта теория «означает» (смысл)?
• Какие у нее бывают модели (денотат)?
18
Изоморфизм
«Одинаковость» структур
Изоморфизм множеств – равномощность
Векторные обозначения: a – цепочка элементов a1,. . . , ak, Λ
– пустая цепочка. D* = {Λ} ⋃ D ⋃ D2…
Изоморфизм структур M1 = ⟨<D1, Σ, Зн1⟩ и M2 = ⟨D2, Σ, Зн2⟩ это взаимно однозначное отображение ψ: D1 на D2 при
котором:
Для любых P  Σ, a  D1*,
Зн1(P)(a)  Зн2(P)(ψ(a)).
Задачи:
• Изоморфны ли структура положительных рациональных и всех
рациональных чисел с порядком?
• Изоморфны ли две любые счетные модели ΓQ?
•Р. Челночный процесс. (Как в теореме Кантора – Берншт.)
• Бывают ли модели теории ΓQ, равномощные R, но не изоморфные 19
R<?
Теории и структуры
M – структура
• ThM – теория структуры = множество утверждений,
истинных в структуре M.
Теория класса структур = множество утверждений,
истинных в каждой структуре класса
Пусть
• m – класс структур,
•  – теория.
Определим отображения:
• Th (m) – теория класса структур m,
• Mod () – класс всех моделей теории .
•Th, Mod – соответствие Галуа (анти-монотонное).
Тогда m  Mod ()  Th (m)  .
20
Эквивалентность
Структуры M1 и M2 (элементарно)
эквивалентны, если их теории совпадают.
Задача. Почему изоморфные структуры
эквивалентны?
• Индукцией по построению (не обязательно замкнутой)
формулы Φ:
 M2 ⊨ Φ(ψ(a))
Задача. Бывают ли эквивалентные
неизоморфные структуры?
• M1 ⊨ Φ(a)
21
Подструктура. Элементарная подструктура и
элементарное расширение
• M = ⟨D,Σ,Зн⟩, D1  D.
• Подструктура M1 = ⟨D1,Σ,Зн1⟩, Зн1 для каждого символа получается
ограничением Зн для этого символа на D1
• M1 – элементарная подструктура M :
M ⊨ Φ(a)  M1 ⊨ Φ(a)
для любых формул Φ и любых наборов a  D1*.
M – элементарное расширение M1.
Очевидно M эквивалентна M1.
• Задача. Бывают ли такие структуры M и M1, что
(1) M1 – подструктура M, и
(2) M1 эквивалентна M, но
(3) M1 не является элементарной подструктурой M?
22
Конеци 5-й лекции
23
Критерий Тарского – Вота
Пусть M1 = ⟨D1,Σ,Зн1⟩ – подструктура
структуры M = ⟨D,Σ,Зн⟩, D1  D.
Следующие два условия эквивалентны:
(1) M1 – элементарная подструктура
структуры M
(2) для любой формулы Φ(x,y) и любого набора a  D1*
если
M ⊨ Φ(a,b) для некоторого b  D, то
M ⊨ Φ(a,b′) для некоторого b′  D1.
Задача. (1)
→
(2)
Р. совсем просто
Роберт Вот (04.04.1926 – 02.02.2002)
24
Критерий Тарского – Вота
(2) → (1). Индукция по построению
M1 ⊨ Φ(a)  M ⊨ Φ(a), a  D1*
Рассмотрим случай, когда Φ = u Ψ(x,u)
⇒. M1 ⊨ u Ψ(a,u) ⇒
M1 ⊨ Ψ(a,b′) для некоторого b′  D1 ⇒
M ⊨ Ψ(a,b′) ⇒ M ⊨ u Ψ(a,u)
⇐. M ⊨ u Ψ(a,u).
M ⊨ Ψ(a,b) для некоторого b  D ⇒
M ⊨ Ψ(a,b′) для некоторого b′  D1 ⇒
M1 ⊨ Ψ(a,b′) ⇒ M1 ⊨ u Ψ(a,u)
Задача. Провести полное доказательство
критерия Тарского – Вота.
25
Теорема Лёвенгейма – Сколема об
элементарной подмодели.
Т. Любая бесконечная структура с конечной или
счетной сигнатурой содержит счетную
элементарную подструктуру.
Д. Строим цепь M0  M1  ... счётных подструктур M.
• M0 произвольно. (Для Mi = ⟨D,Σ,Зн⟩ пишем Mi вместо D.)
• На i -ом шаге берем все формулы Φ(x,y), все a  Mi * .
Если M ⊨ Φ(a,b), для какого-то b  M, помещаем в Mi+1 это b.
• M′ = Mi – счетное множество.
Задача.
• Как определяется D′ для M′ ?
• Доказать что M′ – элементарная подструктура.
• Еще один метод – «Объединение цепи».
26
Туральф Альберт Скулем
(Thoralf Albert Skolem),
1887—1963
Леопольд Лёвенгейм
Leopold Löwenheim
26.06.1878 – 5.05.1957
27
Теорема компактности
А.И. Мальцев
(14.11.1909—
07.07.1967)
Т. (Гедель,
Анатолий Иванович Мальцев)
Если любое конечное
подмножество теории
совместно, то теория совместна.
Как доказать теорему компактности?
Следствие. Если утверждение
является следствием теории, то это утверждение
является следствием некоторого конечного
подмножества данной теории.
Задача. Вывести следствие из теоремы
28
компактности.
Полные теории
Γ – Γ ⊨ Φ или Γ ⊨ ¬Φ для любого утверждения Φ.
Задача. Почему любую совместную теорию можно
расширить до полной?
Задача. ThM – полна.
Задача. Теория полна тогда и только тогда, когда
две любые модели теории эквивалентны.
Задача.
•Являются ли теории ΓQ, ΓN полными?
• Существуют ли у них неизоморфные счетные
модели?
29
Теорема Лёвенгейма – Сколема
об элементарном расширении.
• Теорема. Для любой бесконечной структуры с конечной
или счётной сигнатурой существует элементарное
расширение сколь угодно большой мощности.
• Доказательство. Расширяем структуру.
• M = <D, , Зн>, сигнатура M содержит имена для всех
элементов из D, сопоставление Зн естественно
продолжено до Зн'. ThM(M) – теория соответствующей
структуры, M элементарно вложима в модели этой теории.
• Новые имена предметов {c} – произвольной мощности,
Г = ThM(M) ⋃ {c ≠ d}.
• Г совместна (компактность).
• Мощность модели Г не меньше мощности множества
30
новых имен.
ω-категоричные теории
• О. Все счетные модели изоморфны
Задача. Доказать ω-категоричность
плотного порядка без первого и
последнего
– Изоморфизм – челнок.
31
Признак Лося – Воота
• Совместная теория с конечной или счётной
сигнатурой, не имеющая конечных моделей и
категоричная в счётной мощности, полна.
Задача. Доказать признак Лося – Воота.
Задача. Определить категоричность в
произвольной мощности.
• Совместная теория с конечной или счётной
сигнатурой, не имеющая конечных моделей и
категоричная в некоторой бесконечной
мощности, полна.
32
Дискретный порядок с
наименьшим
M – произвольная модель теории ΓN, a, b  M.
a, b близки – {c  M | a ≤ c ≤ b или b ≤ c ≤ a} конечно.
• Классы эквивалентности – галактики, галактика a ̃.
Задача. Как устроена галактика 0̃? Как устроены все прочие
галактики?
• Порядок на галактиках: a ̃ < b ̃ – a ̃ ≠ b ̃ и a < b.
Задача. Корректно ли определен порядок? Будет ли
порядок на галактиках линейным? Есть ли среди галактик
наименьшая?
33
Дискретный порядок с
наименьшим
N = ⟨N,{0,1,2,...,<,+,×},Зн0⟩.
R+(n1,n2,n3)  n1+n2 = n3
R×(n1,n2,n3)  n1·n2 = n3
a + b + c = d  (u (R+(a,b,u)  R+(u,c,d)))
Теория ThN  {c ≠ i | i  N} совместна.
N∗ – счетная модель данной теории.
N∗< получена из N∗ удалением всех отношений, кроме < и
константы 0.
Задачи.
• N∗< – модель теории ΓN.
Может ли структура N∗< оказаться изоморфной N<?
34