ГИЛЬБЕРТА СИСТЕМА АКСИОМ это:

ГИЛЬБЕРТА СИСТЕМА АКСИОМ

евклидовой геометрии - система аксиом, предложенная в 1899 Д. Гильбертом (см. [1]). Со времени первой публикации Г. с. а. Д. Гильберт внес в систему аксиом различные изменения и уточнения.

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

Г. с. а. содержит 20 аксиом, к-рые разбиты на пять групп.

I группа состоит из восьми аксиом принадлежности (соединения), к-рые описывают отношение "принадлежит". I1. Для любых двух точек существует прямая, проходящая через каждую из этих двух точек. I2. Для двух различных точек существует не более одной прямой, проходящей через каждую из этих двух точек. I3. На каждой прямой лежат по крайней мере две точки. Существуют по крайней мере три точки, не лежащие на одной прямой. I4. Для любых трех точек, не лежащих на одной прямой, существует плоскость, проходящая через каждую из этих трех точек. На каждой плоскости лежит по крайней мере одна точка. I5. Для любых трех

точек, не лежащих на одной прямой, существует не более одной плоскости, проходящей через каждую из этих трех точек. I6. Если две точки А, В прямой алежат в плоскости , то всякая точка прямой а лежит в плоскости . I7. Если две плоскости имеют общую точку, то они имеют еще по крайней мере одну общую точку. I8. Существуют по крайней мере четыре точки, не лежащие в одной плоскости.

II группа содержит четыре аксиомы порядка, описывающие отношение "между". II1. Если точка Влежит между точкой Аи точкой С, то А, В, С- различные точки одной прямой и Влежит также между Си А.II2. Для любых двух точек Аи Вна прямой АВ существует по крайней мере одна точка Стакая, что точка Влежит между Аи С. II3. Среди любых трех точек прямой существует не более одной точки, лежащей между двумя другими. II4 (аксиома Паша). Пусть А, В, С- три точки, не лежащие на одной прямой, и а - прямая в плоскости ABC, не проходящая ни через одну из точек А, В, С. Тогда, если прямая апроходит через внутреннюю точку отрезка АВ, то она проходит также через внутреннюю точку отрезка АС или через внутреннюю точку отрезка ВС.

III группа содержит пять аксиом конгруэнтности, к-рые описывают отношение "конгруэнтен" (это отношение Гильберт обозначает знаком ). III1. Если даны отрезок А В илуч ОХ, то на луче ОX существует точка В' такая, что отрезок А В конгруэнтен отрезку ОВ', то есть . III2. Если и , то . III3,. Пусть АВ и ВС- два отрезка на прямой, не имеющие общих внутренних точек, а и - два отрезка на той же или на другой прямой, тоже не имеющие общих внутренних точек. Тогда, если и , то III4. Пусть даны угол АОВ, луч О'А' и полуплоскость П', ограниченная прямой О'А'. Тогда в полуплоскости П' существует один и только один луч О'В' такой, что . Кроме того, каждый угол конгруэнтен самому себе. III5. Если для двух треугольников ABC и А'В'С' имеем: , , , то

IV группа состоит из. двух аксиом непрерывности. IV1 (аксиома Архимеда). Пусть А В и CD - два каких-нибудь отрезка. Тогда на прямой АВ существует конечное множество точек таких, что точка лежит между и , точка лежит между и и т. д., причем отрезки , , конгруэнтны отрезку CD и Влежит между и (аксиома Кантора). Пусть на какой-либо прямой адана бесконечная последовательность отрезков удовлетворяющая двум условиям: а) каждый последующий отрезок есть часть предыдущего, б) для любого наперед заданного отрезка CD найдется натуральное число и такое, что Тогда на прямой асуществует точка М, принадлежащая каждому из отрезков этой последовательности.

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

(У Д. Гильберта IV группа - аксиома о параллельных, V группа - аксиомы непрерывности.)

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

Г. с. а. обладает свойством полноты; она непротиворечива, если непротиворечива арифметика действительных чисел. Если в Г. с. а. заменить аксиому о

параллельных ее отрицанием, то полученная новая система аксиом тоже непротиворечива (система аксиом геометрии Лобачевского), т. е. аксиома о параллельных но зависит от остальных аксиом Г. с. а. Можно установить независимость нек-рых других аксиом Г. с. а. от остальных аксиом этой системы.

Г. с. а. является первым достаточно строгим обоснованием евклидовой геометрии.

Лит.:[1] Гильберт Д., Основания геометрии, пер. с нем., М.- Л., 1948; [2] Ефимов Н. В., Высшая геометрия, 5 изд., М., 1971. В. Т. Базылев.



Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ГИЛЬБЕРТА СИСТЕМА АКСИОМ" в других словарях:

  • Аксиоматика Гильберта — Аксиоматика Гильберта  система аксиом евклидовой геометрии. Разработана Гильбертом как более полная, нежели система аксиом Евклида. Содержание 1 Неопределяемые понятия 2 Аксиомы …   Википедия

  • Проблемы Гильберта — Проблемы Гильберта  список из 23 кардинальных проблем математики, представленный Давидом Гильбертом на II Международном Конгрессе математиков в Париже в 1900 году. Тогда эти проблемы (охватывающие основания математики, алгебру, теорию… …   Википедия

  • Формальная система — (формальная теория, аксиоматическая теория)  результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… …   Википедия

  • КАТЕГОРИЧНОСТЬ СИСТЕМЫ АКСИОМ — свойство, выражающее содержат. полноту системы аксиом. Система аксиом наз. категоричной, если она однозначно определяет только одну систему предметов с точностью до изоморфизма, т.е. если все интерпретации, или модели, этой системы изоморфны друг …   Философская энциклопедия

  • ОСНОВАНИЯ ГЕОМЕТРИИ — раздел геометрии, в к ром исследуются основные понятия геометрии, соотношения между ними и связанные с ними вопросы. Важная роль основных понятий и соотношений между ними, на базе к рых строятся определения фигур и доказываются геометрич.… …   Математическая энциклопедия

  • РИМАНА ГЕОМЕТРИЯ — э л л и п т и ч е с к а я г е о м е т р и я, одна из неевклидовых геометрий, т. е. геометрич, теория, основанная на аксиомах, требования к рых отличны от требований аксиом евклидовой геометрии. В отличие от евклидовой геометрии в Р. г.… …   Математическая энциклопедия

  • ЕВКЛИДОВА ГЕОМЕТРИЯ — геометрия пространства, описываемого системой аксиом, первое систематическое (но не достаточно строгое) изложение к рой было дано в Началах Евклида. Обычно пространство Е. г. описывается как совокупрость объектов трех родов, называемых точками ,… …   Математическая энциклопедия

  • ПРОЕКТИВНАЯ ГЕОМЕТРИЯ — раздел геометрии, изучающий свойства фигур, не меняющиеся при проективных преобразованиях, напр. при проектировании. Такие свойства наз. проективными; к ним относятся, напр., прямолинейное расположение точек (коллинеарность), порядок алгебраич.… …   Математическая энциклопедия

  • ИНЦИДЕНТНОСТЬ — геометрический термин, употребляемый для обозначения отношения принадлежности (связи, соединения) между основными объектами геометрии: точками, прямыми, плоскостями. Свойства И. характеризуются так наз. аксиомами принадлежности (см., например,… …   Математическая энциклопедия

  • КОНГРУЭНТНОСТЬ — отношение эквивалентности на множестве геометрич. фигур (отрезков, углов и т. д.). Оно вводится либо аксиоматически (см. Гильберта система аксиом), либо на основе какой либо группы преобразований, чаще всего движений. Так, в евклидовой геометрии… …   Математическая энциклопедия

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»