Требования, предъявляемые к системе аксиом

аксиома вектор произведение скалярный

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

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

Теорема: система аксиом Вейля непротиворечива, если непротиворечива арифметика действительных чисел.

Для доказательства построим математическую модель. Введем основные объекты:

векторы;

точка.

Введем основные отношения:

сложение двух векторов;

умножение вектора на скаляр;

скалярное произведение векторов;

бинарное отношение, принадлежность упорядоченной пары точек и вектора.

Убедимся в справедливости аксиом:

V1.

V2.

V3.

V4.

V5.

V6.

V7.

V8.

V1-V8-выполнены.

D1.

D2.

D1-D2-выполнены.

E1.

E2.

E3.

E4.

E1-E4-выполняются.

T1.

T2.

T1-T2-выполняются.

Список используемой литературы

Егоров И.П. Лекции по аксиоматике Вейля и неевклидовым геометриям, пособие для студентов. Рязань, 1973

Основания геометрии. Геометрия Лобачевского: Учебно-методическое пособие/ Н.В. Эйрих, Д.В. Мостовая.