WikiDer > Теория моделей

Model theory

В математика, теория моделей это исследование взаимосвязи между формальные теории (собрание фразы в формальный язык высказывание заявлений о математическая структура), и их модели, взятые как интерпретации которые удовлетворяют предложениям этой теории.[1]

Неформальное описание

Теория моделей признает двойственность и тесно связана с ней: она исследует семантический элементы (смысл и истина) посредством синтаксический элементы (формулы и доказательства) соответствующего языка. В кратком определении, датируемом 1973 годом:

теория моделей = универсальная алгебра + логика.[2]

Теория моделей быстро развивалась в течение 1990-х годов, и более современное определение дает Уилфрид Ходжес (1997):

теория моделей = алгебраическая геометрияполя.

Это умный слоган, подразумевающий, что есть много общего: так, например, алгебраическое многообразие неформально можно описать как геометрическое место точек, где набор многочленов равен нулю. Точно так же модель можно описать как локус интерпретаций, в котором набор предложений истинен. Есть и другие аналогии, доходящие до разной глубины.

Другой часто повторяющийся слоган гласит: "если теория доказательств о сакральном, тогда модельная теория о профанном "[3], указывая на то, что эти две темы в некотором смысле двойственны друг другу. Так же, как теория доказательств, теория моделей находится в области междисциплинарность среди математика, философия, и Информатика. Теория моделей используется в различных условиях, как академических, так и промышленных. К ним относятся:

Самой известной профессиональной организацией в области теории моделей является Ассоциация символической логики.

ветви

Эта страница посвящена финишный первый заказ модельная теория бесконечных структур. Теория конечных моделей, который концентрируется на конечных структурах, существенно отличается от изучения бесконечных структур как в изучаемых проблемах, так и в используемых методах. Теория моделей в логика высшего порядка или же инфинитарная логика сдерживается тем, что полнота и компактность в общем, не придерживаются этой логики. Однако в области такой логики также было проведено много исследований.

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

Примеры ранних теорем классической теории моделей включают: Теорема Гёделя о полноте, вверх и вниз Теоремы Левенхайма – Сколема, Vaughtдвухкардинальная теорема, Скоттпо теореме об изоморфизме теорема об исключении типов, а Теорема Рылля-Нардзевского. Примеры первых результатов теории моделей применительно к полям: Тарскийс устранение кванторов за настоящие закрытые поля, Топортеорема о псевдоконечные поля, и Робинсонразвитие нестандартный анализ. Важный шаг в развитии классической теории моделей произошел с рождением теория устойчивости (через Теорема морли о бесчисленных категоричных теориях и Шелаклассификационная программа), который разработал исчисление независимости и ранжирования на основе синтаксических условий, которым удовлетворяют теории.

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

Теория конечных моделей

Теория конечных моделей (FMT) - это часть теории моделей (MT), которая имеет дело с ее ограничением интерпретациями конечных структур, которые имеют конечную вселенную.

Поскольку многие центральные теоремы теории моделей не выполняются, когда они ограничиваются конечными структурами, FMT сильно отличается от MT своими методами доказательства. Центральные результаты классической теории моделей, которые не подходят для конечных структур при FMT, включают теорема компактности, Теорема Гёделя о полноте, а метод сверхпродукты за логика первого порядка.

Основные области применения FMT: описательная теория сложности, теория баз данных и формальная теория языка.

Логика первого порядка

В то время как универсальная алгебра предоставляет семантика для подпись, логика предоставляет синтаксис. С условиями, идентичностями и квази-тождествадаже универсальная алгебра имеет некоторые ограниченные синтаксические инструменты; Логика первого порядка является результатом явной количественной оценки и добавления отрицания в картину.

Первого порядка формула построен из атомарные формулы Такие как р(ж(Икс,у),z) или же у = Икс + 1 с помощью Булевы связки и префикс кванторов или же . Предложение - это формула, в которой каждое вхождение переменной входит в область действия соответствующего квантификатора. Примерами формул являются φ (или φ (x), чтобы отметить тот факт, что не более x является несвязанной переменной в φ) и ψ, определяемые следующим образом:

(Обратите внимание, что символ равенства здесь имеет двоякое значение.) Интуитивно понятно, как перевести такие формулы в математический смысл. В σsmr-структура натуральных чисел, например, элемент п удовлетворяет формула φ тогда и только тогда, когда п простое число. Формула ψ аналогично определяет неприводимость. Тарский дал строгое определение, иногда называемое "Определение истины Тарским", для отношения удовлетворения , так что легко доказать:

простое число.
неприводимо.

Множество Т предложений называется (первого порядка) теория. Теория удовлетворительный если у него есть модель , то есть структура (соответствующей сигнатуры), которая удовлетворяет всем предложениям в наборе Т. Последовательность теории обычно определяется синтаксически, но в логике первого порядка теорема полноты нет необходимости различать выполнимость и последовательность. Поэтому теоретики моделей часто используют «согласованный» как синоним слова «выполнимый».

Теория называется категоричный если оно определяет структуру с точностью до изоморфизма, но оказывается, что это определение бесполезно из-за серьезных ограничений в выразительности логики первого порядка. В Теорема Лёвенгейма – Сколема означает, что для каждой теории Т имеющий счетную подпись[4] который имеет бесконечную модель для некоторого бесконечного количественное числительное, то у него есть модель размера κ для любого бесконечного количественное числительное κ. Поскольку две модели разных размеров не могут быть изоморфными, категориальная теория может описывать только финитарные структуры.

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

Как следствие (т. Е. Его противоположность), теорема компактности говорит, что каждая неудовлетворительная теория первого порядка имеет конечное невыполнимое подмножество. Эта теорема имеет центральное значение в теории бесконечных моделей, где слова «компактностью» являются обычным явлением. Один из способов доказать это с помощью сверхпродукты. Альтернативное доказательство использует теорему о полноте, которая в противном случае сводится к второстепенной роли в большей части современной теории моделей.

Аксиоматизируемость, устранение кванторов и полнота модели

Первый шаг, часто тривиальный, для применения методов теории моделей к классу математических объектов, таких как группы или деревья в смысле теории графов, - это выбрать сигнатуру σ и представить объекты как σ-структуры. Следующий шаг - показать, что класс начальный класс, т.е. аксиоматизируемые в логике первого порядка (т.е. существует теория Т такая, что σ-структура находится в классе тогда и только тогда, когда она удовлетворяет Т ). Например. этот шаг не выполняется для деревьев, поскольку связность не может быть выражена в логике первого порядка. Аксиоматизируемость гарантирует, что теория моделей может говорить о правильных объектах. Исключение квантора можно рассматривать как условие, гарантирующее, что теория моделей не слишком много говорит об объектах.

Теория Т имеет исключение квантора если всякая формула первого порядка φ (Икс1, ..., Иксп) над своей подписью эквивалентно по модулю Т к формуле первого порядка ψ (Икс1, ..., Иксп) без кванторов, т.е. держится во всех моделях Т. Например, теория алгебраически замкнутых полей в сигнатуре σзвенеть = (×, +, -, 0,1) имеет исключение квантора, потому что каждая формула эквивалентна булевой комбинации уравнений между многочленами.

А основание σ-структуры - это подмножество ее области, замкнутое относительно всех функций в ее сигнатуре σ, которая рассматривается как σ-структура, ограничивая все функции и отношения в σ на подмножество. An встраивание σ-структуры в другую σ-структуру это карта ж: АB между областями, которые можно записать как изоморфизм с подструктурой . Каждое вложение - это инъективный гомоморфизм, но обратное верно, только если сигнатура не содержит символов отношения.

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

Теория Т называется модель-полная если каждая подструктура модели Т который сам по себе является моделью Т является элементарной подструктурой. Существует полезный критерий для проверки того, является ли подструктура элементарной подструктурой, который называется Тест Тарского – Воота. Из этого критерия следует, что теория Т является модельно-полной тогда и только тогда, когда каждая формула первого порядка φ (Икс1, ..., Иксп) над своей подписью эквивалентно по модулю Т к экзистенциальной формуле первого порядка, то есть формуле следующего вида:

,

где ψ бескванторная. Теория, которая не является законченной на модели, может иметь или не иметь завершение модели, которая является связанной модельно-полной теорией, которая, как правило, не является расширением исходной теории. Более общее понятие - это понятие модели товарищей.

Категоричность

Как указано в разделе, посвященном логика первого порядкатеории первого порядка не могут быть категоричными, т.е.они не могут описывать единственную модель с точностью до изоморфизма, если эта модель не конечна. Но две известные теоретико-модельные теоремы имеют дело с более слабым понятием κ-категоричности для кардинал κ. Теория Т называется κ-категоричный если любые две модели Т мощности κ изоморфны. Оказывается, вопрос о κ-категоричности критически зависит от того, превышает ли κ мощность языка (т. Е. + | σ |, где | σ | - мощность подписи). Для конечных или счетных подписей это означает, что существует фундаментальная разница между -мощность и κ-мощность для несчетного κ.

Немного характеристики -категория включают:

Для полной теории первого порядка Т в конечной или счетной сигнатуре следующие условия эквивалентны:
  1. Т является -категория.
  2. Для каждого натурального числа п, то Каменное пространство Sп(Т) конечно.
  3. Для каждого натурального числа п, количество формул φ (Икс1, ..., Иксп) в п свободные переменные, с точностью до эквивалентности по модулю Т, конечно.

Этот результат независимо от Engeler, Рылль-Нардзевски и Свенониус, иногда называют Рылль-Нардзевски теорема.

Дальше, -категориальные теории и их счетные модели имеют тесную связь с олигоморфные группы. Их часто строят как Пределы Fraïssé.

Майкл Морливесьма нетривиальный результат, что (для счетных языков) существует только один Понятие бесчисленной категоричности было отправной точкой для современной теории моделей, в частности теории классификации и теории устойчивости:

Теорема Морли о категоричности
Если теория первого порядка Т в конечной или счетной сигнатуре является κ-категоричной для некоторого несчетного кардинала κ, то Т является κ-категоричным для всех несчетных кардиналов κ.

Бесчисленно категоричный (т. е. κ-категоричны для всех несчетных кардиналов κ) теории со многих точек зрения являются наиболее приемлемыми. Теория, которая одновременно -категоричным и бесчисленно категоричным называется абсолютно категоричный.

Теория множеств

Теория множеств (что выражается в счетный язык), если он непротиворечив, имеет счетную модель; это известно как Парадокс Сколема, поскольку в теории множеств есть предложения, которые постулируют существование бесчисленных множеств, и все же эти предложения верны в нашей счетной модели. В частности, доказательство независимости гипотеза континуума требует рассмотрения наборов в моделях, которые кажутся бесчисленными, если смотреть со стороны в модель, но кому-то счет за пределами модель.

Теоретико-модельная точка зрения была полезна в теория множеств; например в Курт Гёдельработа над конструируемой вселенной, которая, наряду с методом принуждение разработан Пол Коэн можно показать, чтобы доказать (опять же философски интересно) независимость из аксиома выбора и гипотеза континуума из других аксиом теории множеств.

С другой стороны, сама теория моделей может быть формализована в рамках теории множеств ZFC. Развитие основ теории моделей (таких как теорема компактности) опирается на аксиому выбора или, точнее, теорему о булевом простом идеале. Другие результаты в теории моделей зависят от теоретико-множественных аксиом за пределами стандартной структуры ZFC. Например, если гипотеза континуума верна, то каждая счетная модель обладает сверхмощью, которая является насыщенной (по своей мощности). Аналогично, если гипотеза обобщенного континуума верна, то каждая модель имеет насыщенное элементарное расширение. Ни один из этих результатов нельзя доказать только с помощью ZFC. Наконец, было показано, что некоторые вопросы, возникающие из теории моделей (например, компактность для бесконечных логик), эквивалентны аксиомам больших кардиналов.

Другие основные понятия

Сокращает и расширяет

Поле или векторное пространство можно рассматривать как (коммутативную) группу, просто игнорируя часть его структуры. Соответствующее понятие в теории моделей - понятие сокращать структуры в подмножество исходной подписи. Противоположное отношение называется расширение - например, (аддитивная) группа рациональное число, рассматриваемый как структура в подписи {+, 0}, может быть расширен до поля с подписью {×, +, 1,0} или до упорядоченной группы с подписью {+, 0, <}.

Аналогично, если σ '- сигнатура, расширяющая другую сигнатуру σ, то полная σ'-теория может быть ограничена на σ, пересекая множество ее предложений с множеством σ-формул. И наоборот, полную σ-теорию можно рассматривать как σ'-теорию, и ее можно расширить (более чем одним способом) до полной σ'-теории. К этому отношению иногда также применяются термины редукция и расширение.

Интерпретируемость

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

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

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

Используя теоремы компактности и полноты

Теорема Гёделя о полноте (не путать с его теоремы о неполноте) говорит, что теория имеет модель тогда и только тогда, когда она последовательный, т.е. никакого противоречия теория не доказывает. Это сердце теории моделей, поскольку оно позволяет нам отвечать на вопросы о теориях, глядя на модели, и наоборот. Не следует путать теорему о полноте с понятием полной теории. Полная теория - это теория, которая содержит все приговор или его отрицание. Важно отметить, что можно найти полную непротиворечивую теорию, расширяющую любую непротиворечивую теорию. Однако, как показывают теоремы Гёделя о неполноте, только в относительно простых случаях можно будет иметь полную непротиворечивую теорию, которая также рекурсивный, т.е. это можно описать рекурсивно перечислимый набор аксиом. В частности, теория натуральных чисел не имеет рекурсивной полной и непротиворечивой теории. Нерекурсивные теории имеют мало практического применения, поскольку они неразрешимый если предложенная аксиома действительно является аксиомой, делая проверка а сверхзадача.

В теорема компактности утверждает, что набор предложений S выполним, если выполнимо каждое конечное подмножество S. В контексте теория доказательств аналогичное утверждение тривиально, так как каждое доказательство может иметь только конечное число антецедентов, используемых в доказательстве. Однако в контексте теории моделей это доказательство несколько сложнее. Есть два хорошо известных доказательства, одно за другим. Гёдель (что проходит через доказательства) и один за другим Мальцев (что является более прямым и позволяет нам ограничить мощность результирующей модели).

Теория моделей обычно занимается логика первого порядка, и многие важные результаты (например, теоремы о полноте и компактности) не имеют логика второго порядка или другие альтернативы. В логике первого порядка все бесконечные кардиналы выглядят одинаково для языка, который счетный. Это выражается в Теоремы Левенхайма – Сколема, которые утверждают, что любая счетная теория с бесконечной моделью имеет модели всех бесконечных мощностей (по крайней мере, модели языка), которые согласуются с на все предложения, т.е. они 'элементарно эквивалентный'.

Типы

Исправить -структура , и натуральное число . Множество определимых подмножеств по некоторым параметрам это Булева алгебра. К Теорема Стоуна о представлении булевых алгебр к этому есть естественное двойственное понятие. Можно считать, что это топологическое пространство состоящий из максимальных непротиворечивых наборов формул над . Мы называем это пространством (полным) -типы над , и писать .

Теперь рассмотрим элемент . Тогда множество всех формул с параметрами в в свободных переменных так что непротиворечивый и максимальный такой. Это называется тип из над .

Это можно показать для любого -тип , существует элементарная расширение из и немного так что это тип над .

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

Наглядный пример: Предполагать является алгебраически замкнутое поле. В теории есть кванторное исключение. Это позволяет нам показать, что тип определяется в точности содержащимися в нем полиномиальными уравнениями. Таким образом, пространство -типы над подполем является биективный с набором главные идеалы из кольцо многочленов . Это тот же набор, что и спектр из . Однако обратите внимание, что топология, рассматриваемая в пространстве типов, - это конструктивная топология: набор типов базовый открыто если и только если он имеет форму или формы . Это лучше, чем Топология Зарисского.

История

Теория моделей как предмет существует примерно с середины 20 века. Однако некоторые более ранние исследования, особенно в математическая логика, ретроспективно часто рассматривается как имеющий теоретико-модельный характер. Первым значительным результатом того, что сейчас стало теорией моделей, был частный случай нисходящего Теорема Лёвенгейма – Сколема, опубликовано Леопольд Левенхайм в 1915 году. теорема компактности неявно присутствовал в работе Торальф Сколем,[5] но впервые он был опубликован в 1930 г., как лемма в Курт Гёдельдоказательство его теорема полноты. Теорема Лёвенгейма – Сколема и теорема компактности получили свои общие формы в 1936 и 1941 гг. Анатолий Мальцев.

Развитие теории моделей можно проследить до Альфред Тарский, член Львов – Варшавская школа вовремя межвоенный. Работы Тарского включены логическое следствие, дедуктивные системы, алгебра логики, теория определимости и семантическое определение истины, среди других тем. Его семантические методы привели к созданию теории моделей, которую он и ряд его авторов. Беркли студенты развивались в 1950-х и 60-х годах. Эти современные концепции теории моделей повлияли на Программа Гильберта и современная математика.

Смотрите также

Примечания

  1. ^ Чанг и Кейслер, п. 1
  2. ^ Чанг и Кейслер, п. 1
  3. ^ Дирк ван Дален, (1980; пятая редакция 2013) «Логика и структура» Springer. (Видеть Страница 1.)
  4. ^ В счетной подписи. Теорема имеет прямое обобщение на бесчисленные подписи.
  5. ^ «Все три комментатора [то есть Воот, ван Хейенорт и Дребен] согласны с тем, что и теоремы о полноте и компактности подразумевались в Сколеме 1923…». [Доусон, Дж. У. (1993). «Компактность логики первого порядка: от Гёделя до Линдстрема». История и философия логики. 14: 15. Дои:10.1080/01445349308837208.]

Рекомендации

Канонические учебники

Другие учебники

Бесплатные онлайн-тексты

внешняя ссылка