Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Вывод 1. Аксиомы 1–17 первых трех групп позволяют построить геометрию, в которой на прямой существует последовательность примыкающих друг к другу конгруэнтных



Аксиомы 1–17 первых трех групп позволяют построить геометрию, в которой на прямой существует последовательность примыкающих друг к другу конгруэнтных отрезков, пронумерованных натуральным рядом. В этой геометрии есть конгруэнтные и правильные фигуры, определено понятие движения, совмещающего конгруэнтные фигуры и т. д.

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

Действительно, шаром В (O, OА) с центром в точке О и радиусом ОА назовем все точки М такие, что ОМ < ОА. Далее, шар В (О,ОА 1) Ì B (О,ОА 2), если ОА 1< ОА 2, таким образом, множество окрестностей точки О есть множество всех шаров В (О, ОРк), k Î N, где Рк – любая точка пространства. Определим последовательность точек Мк Î В (О,ОРк), k Î N условиями а) и b):

а) ОР 1> ОР 2>…> ОРк >…, что означает последовательность вложенных шаров В (О,ОР 1В (О,ОР 2)É…É В (О,ОРк) É…;

b) Мк Ï Вк +1 " к Î N, что означает выбор каждой последующей точки в следующем вложенном шаре.





Дата публикования: 2014-11-04; Прочитано: 255 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.007 с)...