Модель или реализация системы аксиом

Модель системы аксиом T представляет собой такую совокупность некоторых объектов и отношений между ними, для которой выполняются все требования системы аксиом T, [9, стр. 117-118].

Модель или реализация системы аксиом T называется также моделью или реализацией как аксиоматической теории , так и структуры . Эту реализацию будем обозначать R(T)=R(T , …,T ).

Приведем примеры реализаций.

Модель линейного порядка Торальфа Сколема, см. п. 1.1, §1, является моделью или реализацией аксиоматики Пеано или структуры натурального ряда.

Множество действительных чисел является реализацией евклидовой прямой.

Арифметическая модель векторного пространства , см. п. 3.2, §3, является реализацией системы аксиом векторного пространства размерности три.

Арифметическая модель евклидова пространства , см. п. 4.1, §4, является реализацией как системы аксиом Гильберта, так и системы аксиом Вейля евклидовой геометрии.

Множество n–местных наборов чисел (x ,…,x ) является реализацией n-мерного арифметического евклидова пространства , см. п. 4.2, §4.

Модель Пуанкаре L является реализацией планиметрии Лобачевского.

Замечание 1.

Понятие «модель» и «структура» часто используются как понятие «конкретного множества» и «множества с заданными свойствами». Именно в таком контексте мы использовали эти понятия в §§3-5. Это не вступает в противоречие с точными определениями этих понятий, приведенными в этом §6.

Формальная и содержательная аксиоматики. Теории и структуры.

Пусть R(T) - реализация некоторой системы аксиом Т. Рассмотрим подробнее, что означает реализация R аксиоматической структуры . Согласно определению реализации, данному в предыдущем П.6.3, объект R содержит:

1. некоторые объекты R_i (M_i), являющиеся реализациями базовых множеств M₁…, M_m так, что существует взаимно-однозначное соответствие x_i r_i(x_i) между элементами x_i M_i и элементами r_i R_i, i = 1,2,…,m;

2. некоторые отношения p_i(r₁,…, r_m), представляющие или отражающие отношения Ð_i(x₁,…,x_m) соответствующих элементов x_i r_i(x_i);

3. некоторые объекты R(T), представляющие или отражающие в виде некоторых отношений утверждения в системе аксиом Т; (обычно R(T) называют реализацией системы аксиом).

Рассмотрим пример.

Пусть R² - арифметическая модель евклидовой плоскости, Тогда базовое множество М₁ - это все точки M R², реализующиеся как упорядоченные числовые пары (x,y). Множество H₂ - это множество всех прямых l R², реализующихся уравнениями вида ax+by+c = 0. Отношение Ð₁(M,l) (M l) - точка М принадлежит прямой l реализуется свойством P₁: пара (x,y) удовлетворяет уравнению ax+by+c = 0, и т.д.

Вывод 1.

Всякая реализация R(T) системы аксиом Т устанавливает взаимно однозначное соответствие x_i r_i(x_i) между элементами x_i базовых множеств M_i и объектами r_i реализаций R_i(M_i) , базовых множеств. При этом отношения Ð_i(x₁,…,x_m) между элементами x_i M_i, заданные в системе аксиом Т представляются или реализуются некоторыми отношениями P_i(r_i,…, r_m) между соответствующими объектами r_i(x_i).

Вывод 2.

Всякое утверждение А теории Т получается логическим заключением (выводом) и в реализации R(T) находится соответствующее отношение между объектами, отражающее утверждение А.

Определение.

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

Если существует реализация R(T) этой системы, то система Т, теория Т и структурой называются содержательными.

Классическим примером формальной теории является геометрия Лобачевского. Эта мыслимая геометрия долгое время не воспринималась однозначно как аксиоматическая теория, пока не были найдены ее реализации, например, реализация Пуанкаре L₂, построенная в п.6. Таким образом, исторический опыт с геометрией Лобачевского имеет "хороший конец": были найдены реализации и все вопросы были сняты в рамках этих реализаций.

Чтобы использовать реализации R(T) для исследования аксиоматических систем Т введем понятие изоморфизма реализаций (структур).

Изоморфизм.

Пусть система аксиом Т имеет две реализации R(T) и R^'(T). Тогда, согласно выводу 1, п.6.4, между объектами R_i и R^'_i реализующими базовые множества М_i, устанавливается взаимно-однозначное соответсвтвие по схеме

(2)

Что можно сказать о соответствии между реализациями соотношений Р_i в R_i и реализациями отношений P^'_i в R^'_i ? Рассмотрим два примера.

Пример 1.

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

(1) арифметическая модель R² (евклидовой плоскости);

(2) модель Пуанкаре L₂ (плоскости Лобачевского). Можно установить взаимно однозначное соответствие между точками М R² и точками N L₂, а также между прямыми l R² и прямыми a L₂. В то же время не всем отношениям между точками и прямыми в L₂ можно найти соответствующие отношения в R². Например, отношение Ð(a₁, a₂) прямые a₁ и a₂ не параллельны и не пересекаются может выполняться в L₂ и не имеет аналога в R². (Другие неевклидовы отношения между точками и прямыми на плоскости L₂ см. в п. 5.2 §5).

Пример 2.

Пусть e² - геометрическая модель направленных отрезков (выполненная, например, карандашом на бумаге или реализованная на мониторе компьютера). Пусть Е²- арифметическая модель векторного пространства. Операция откладывания вектора, указанная в модели Вейтеля, п.4.1, §4, устанавливает взаимно-однозначное отображение : (x,y) модели e² на модель Е² (x,y). При этом, отображение сохраняет все определенные в векторной структуре отношения между соответствующими векторами и ( )=(x,y).