Описание слайда:
Всё о геометрии!
Важная роль основных понятий и соотношений между ними, на базе к-рых строятся определения фигур и доказываются геометрич. предложения, отмечается уже в работах античных геометров. Так, развивая дедуктивный метод в геометрии, они указывали на особую роль основных понятий, аксиом и постулатов, составляющих фундамент геометрии. В "Началах" Евклида (3 в. до н. э.) аксиомам и постулатам предпослана цепь определений всех понятий, к-рые используются в дальнейшем изложении. Среди этих определений особое место принадлежит понятиям "точка", "прямая", "плоскость", определения к-рых не опираются на другие геометрич. понятия. Сами определения этих основных понятий с геометрич. точки зрения неудовлетворительны, т. к. они выражают лишь характерное физич. свойство (напр., "точка есть то, что не имеет частей", т. е. под точкой понимается малое физически неделимое тело). Поэтому уже в трудах геометров, написанных почти одновременно с "Началами", содержатся многочисленные комментарии и критич. анализ определений основных и других геометрич. понятий, аксиом и постулатов. Но это были лишь уточнения, не затрагивающие основы определений. По существу, доказательства многих гоометрич. теорем опирались в основном на наглядность чертежа, на физич. осуществимость необходимых геометрич. построений, а не выводились строго логически из аксиом и постулатов. Только в 19 в. и особенно в нач. 20 в. появляются работы, в к-рых выясняется все глубокое значение основных понятий и соотношений между ними для логически безупречного дедуктивного метода построения геометрии и ее обоснования. Причем во многом этому углубленному анализу основ геометрии способствовало открытие неевклидовой геометрии Лобачевского (1826). Результаты по обоснованию евклидовой геометрии на основе тех же принципов и понятий, что и в "Началах" Евклида, содержатся в работах Дж. Пеано (G. Реапо, 1894), М. Паша (М. Pasch, 1882), М. Пиери (М. Pieri, 1899), Д. Гильберта (D. Hilbert) и др. Наибольшую известность получила Гильберта система аксиом евклидовой геометрии (1899). Добиваясь логически удовлетворительного построения евклидовой геометрии, Д. Гильберт выделил 5 групп аксиом, показал их необходимость и достаточность для построения всей евклидовой геометрии. Вместе с тем впервые была проведена логич. обработка всей системы, выяснена непротиворечивость системы с помощью построения числовой модели, установлена независимость групп аксиом, а также полнота системы. В отличие от концепции пространства как "места" для всех фигур, проводимой в "Началах", Д. Гильберт рассматривает его как множество всех "точек", "прямых", "плоскостей" и фигур, построенных на основе этих понятий.