Аксиома Паша


Аксиома Паша

Аксиома Па́ша — одна из аксиом порядка в системе аксиом Гильберта евклидовой геометрии.

Формулировка аксиомы использует понятие «лежать внутри отрезка», причем отрезок здесь рассматривается как система двух различных точек A и B, принадлежащих одной прямой; точки, лежащие «между» точками A и B, называются точками отрезка (или внутренними точками отрезка). Понятие «между» (лежать между) описывается группой аксиом порядка, куда входит и аксиома Паша, которая формулируется следующим образом:

Пусть A, B, C — три точки, не лежащие на одной прямой, и a — прямая в плоскости (ABC) этих трех точек, не проходящая ни через одну из точек A, B, C; если при этом прямая проходит через одну из точек отрезка AB, то она должна пройти через одну из точек отрезка AC или через одну из точек отрезка BC.

Аксиома Паша является аксиомой абсолютной геометрии. С помощью других гильбертовых аксиом порядка можно доказать, что прямая a не может пересечь оба отрезка AC и BC.

История

Аксиома впервые сформулирована Пашем[1].

Литература

  1. Pasch M., Vorlcsungcnüber neuere Geometric, Lpz., 1882

Wikimedia Foundation. 2010.

Смотреть что такое "Аксиома Паша" в других словарях:

  • ПАША АКСИОМА — одна из аксиом порядка в Гильберта системе аксиом евклидовой геометрии. Формулировка аксиомы использует понятие лежать внутри отрезка , причем отрезок здесь рассматривается как система двух различных точек Аи В, принадлежащих одной прямой; точки …   Математическая энциклопедия

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

  • ГИЛЬБЕРТА СИСТЕМА АКСИОМ — евклидовой геометрии система аксиом, предложенная в 1899 Д. Гильбертом (см. [1]). Со времени первой публикации Г. с. а. Д. Гильберт внес в систему аксиом различные изменения и уточнения. Основными (неопределяемыми) понятиями в Г. с. а. являются… …   Математическая энциклопедия

  • МЕТОД АКСИОМАТИЧЕСКИЙ — способ построения теории, при к ром в ее основу кладутся нек рые ее положения – аксиомы или постулаты, – из к рых все остальные положения теории (теоремы) выводятся путем рассуждений, называемых д о к а з а т е л ь с т в а м и. Правила, по к рым… …   Философская энциклопедия

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