Смекни!
smekni.com

Развитие понятия "Пространство" и неевклидова геометрия (стр. 5 из 15)

Систему следствий, вытекающих из одних только аксиом I – IV обычно называют абсолютной геометрией. Абсолютная геометрия является общей частью как евклидовой, так и неевклидовой геометрий, ибо все предложения, которые могут быть доказаны только с помощью аксиом I – IV, верны как в геометрии Евклида, так и в геометрии Лобачевского.

Доказательство непротиворечивости аксиоматики Гильберта

Чтобы доказать непротиворечивость некоей теории Х, необходимо из материала другой, заведомо непротиворечивой, теории А построить такую модель, в которой выполняются все аксиомы теории Х. Если это удастся, теорию Х можно считать непротиворечивой. Следовательно, для того, чтобы доказать непротиворечивость гильбертовой системы, необходимо построить такую модель евклидовой геометрии, в которой выполнялись бы все аксиомы, предложенные Гильбертом.

Для построения такой модели, необходима вышеупомянутая заведомо непротиворечивая теория. В модели, построенной Гильбертом, такой теорией служит теория действительных чисел. Идея построения модели состояла в рассмотрении системы координат на плоскости. В такой системе каждой точке М плоскости соответствуют два числа х и у – её координаты. Чтобы понять суть построения модели забудем о плоскости и имеющейся на ней координатной системе, «точками» будем называть упорядоченные пары действительных чисел (х; у) т. е. пары (х; у) и (у; х) с различными х и у будем считать различными. Теперь попытаемся определить «прямую». Вспомним, что каждая прямая описывается в координатах линейным уравнением вида ax + by + c = 0, где хотя бы один из коэффициентов a и b отличен от нуля. Например, уравнение прямой, не параллельной оси ординат, имеет вид у = kx + l, или, что то же самое, ax + by + c = 0, где a = k, b = -1, c = l. Если же прямая параллельна оси ординат, ей соответствует уравнение x = p (т. е. уравнение ax + by + c = 0, где a = 1, b = 0, c = -p;). При этом если все коэффициенты уравнения ax + by + c = 0 умножить на одно и то же число k ≠ 0, то полученное уравнение будет описывать ту же прямую. Мы же в своей модели будем называть «прямой» любое линейное уравнение вида ax + by + c = 0, в котором хотя бы один из коэффициентов a и b отличен от нуля, причём коэффициенты рассматриваются с точностью до ненулевого множителя пропорциональности (при k ≠ 0 уравнения ax + by + c = 0 и (ak)x + (bk)y + kc = 0 считаются одной и той же прямой).

Далее, «точка» (х1; у1) лежит на «прямой», если числа х1 и у1 удовлетворяют указанному уравнению. Как видим, для определения «прямых», «точек» и расположения «точек» на «прямой» достаточно опереться на теорию действительных чисел. Легко проверить, что в указанной модели выполняются, например, такие аксиомы:

1. Через две различные «точки» проходит «прямая»

2. На «прямой» имеется не менее двух «точек»

Легко определить случай, при котором одна из трёх «точек» лежит на «прямой» «между» двумя другими. Когда A(x1; y1), B(x2; y2) и C(x3;y3) – три «точки», лежащие на одной «прямой», «точка» B считается расположенной «между» A и C при условии, что число x2 заключено между числами x1 и x3 (если x1 = x2 = x3, то y2 заключено между y1 и y3). Тогда очевидно, что

3. Из трёх «точек», лежащих на одной «прямой», одна и только одна расположена между двумя другими.

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

Будем говорить, что две «прямые» a1x + b1y + c1 = 0 и a2x + b2y + c2 = 0 «параллельны», если коэффициенты a1, b1 и a2, b2 пропорциональны. Это можно кратко записать равенством a1b2a2b1 = 0. Нетрудно проверить, что две «параллельные» «прямые» либо не имеют ни одной общей «точки», либо совпадают (в обычной геометрии тоже часто принимают, что прямая параллельна самой себе). Более того,

4. Через любую «точку» A1(x1; y1) проходит одна и только одна «прямая», параллельная данной «прямой» Ax + By + C = 0.

Иначе говоря, в указанной модели выполняется аксиома параллельности. Можно здесь говорить и о длинах отрезков, и о величинах углов. Например, «расстоянием» между двумя «точками» A1(x1; y1) и A2(x2; y2) называется число

A1A2 =

Далее, в привычной евклидовой геометрии справедлива теорема косинусов:


cosC =

(величина угла С равна арккосинусу правой части равенства. Можно возразить, что тригонометрические функции (и, в частности, косинус) определяются геометрически и обойтись без обычной евклидовой геометрии в данном случае невозможно. Однако это неверно. В математическом анализе доказывается, что функция cosx задаётся бесконечным рядом

cosx =

,

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

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

1.4 Другие системы аксиом геометрии

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

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

II. Аксиомы порядка

Будем полагать, что на прямой есть два направления, взаимно противоположных друг другу, и по отношению каждому из них каждая пара точек А и В находится в известном отношении, которое выражается словом «предшествовать». Это отношение обозначается знаком <, так что выражение «А предшествует В» можно символически записать так:

А < B.

Требуется, чтобы указанное отношение для точек на прямой удовлетворяло нижеследующим пяти аксиомам.

II, 1.Если А < В в одном направлении, то В < А в противоположном направлении.

II, 2. В одном из двух направлений А < В исключает В < А.

II, 3. В одном из двух направлений если А < В и В < С, то А < С.

II, 4. В одном из двух направлений для каждой точки В найдутся точки А и С такие, что А < B < C.

Каждое из утверждений аксиом II, 2 – 4 относится к одному из двух направлений на прямой. По аксиоме II, 1 оно верно также и для противоположного направления.

Прежде чем сформулировать последнюю аксиому, определим некоторые понятия. Пусть а – прямая и А – точка на ней. При фиксированном направлении на прямой точка А разбивает её на две части (полупрямые), для каждой точки Х одной из них Х <А, а для каждой точки Х другой полупрямой А < X. Очевидно, это разбиение прямой на части не зависит от выбранного на ней направления (аксиома II, 1).

Пусть А и В – две точки прямой а. Если для точки С прямой а выполняется условие А < C < В или В < C < А, то мы будем говорить, что точка С лежит между точками А и В. Очевидно, свойство точки лежать между двумя данными не зависит от направления на прямой. Часть прямой а, все точки которой лежат между А и В, мы будем называть отрезком АВ, а точки А и В – концами отрезка.

II, 5. Прямая а, лежащая в плоскости α, разбивает эту плоскость на две полуплоскости так, что если X и Y – две точки одной полуплоскости, то отрезок XY не пересекается с прямой а, если же X и Y принадлежат разным полуплоскостям, то отрезок XY пересекается с прямой а.

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

Теорема 1. Среди точек А, В, С на прямой а одна и только одна лежит между двумя другими.

Теорема 2. Каждый отрезок содержит по крайней мере одну точку.

Теорема 3. Если В – точка отрезка АС, то отрезки АВ и ВС принадлежат АС, т. е. каждая точка отрезка АС и каждая точка отрезка ВС принадлежит отрезку АС.

Теорема 4. Если В – точка отрезка АС и X – точка того же отрезка, отличная от В, то она принадлежит либо отрезку АВ, либо ВС.