Аксиоматика Тарского (вещественные числа)

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Аксиоматика вещественных чисел Тарского — вариант системы оснований арифметики вещественных чисел, предложенный Альфредом Тарским в 1936 году[1].

Особенности[править | править код]

Данную аксиоматику Тарского можно рассматривать как версию более обычного определения множества вещественных чисел как единственного упорядоченного поля, полного в смысле Дедекинда[2] (см. также Least-upper-bound property).

Подход Тарского, в отличие от более распространённых аналогов (см. статью Вещественные числа), содержит всего 9 аксиом, связывающих четыре примитивных понятия[3].

Следует отметить,что аксиоматика Тарского использует логику не первого, а второго порядка, что также выделяет её среди аналогов. Краткость аксиоматики достигнута благодаря использованию неортодоксальных вариантов стандартных алгебраических аксиом и других тонких приёмов (см., например, аксиомы 5 и 6, которые объединяют обычные четыре аксиомы абелевых групп). Кроме того, компактность перечня аксиом вызывает необходимость утомительного доказательства длинного списка теорем, которые «доводят» теорию до практически пригодного уровня[4].

Аксиоматика[править | править код]

В аксиоматике Тарского используются четыре примитивных (неопределяемых) понятия.

  1. Множество чисел, обозначенное R.
  2. Бинарное отношение полного порядка элементов R, обозначенное инфиксным символом < .
  3. Бинарная операция сложения над R, обозначаемая инфиксным символом +.
  4. Константа 1.

Эти понятия связаны следующими девятью аксиомами[3].

Аксиомы порядка для R
  1. (линейность): если xy, то либо x < y, либо y < x.
  2. (асимметричность): если x < y, то неверно y < x.
  3. (закон плотности порядка): если x < z, то существует y такое, что x < y и y < z..
  4. (аксиома непрерывности Дедекинда): для любых подмножеств X, YR, если x < y для любых x ∈ X и y ∈ Y, то существует элемент z такой, что для всяких x ∈ X и y ∈ Y выполняется свойство: если z ≠ x и z ≠ y, то x < z и z < y.

Последняя аксиома наглядно означает, что если все элементы множества X расположены на числовой оси левее, чем все элементы множества Y, то существует хотя бы одно вещественное число между этими множествами. Именно эта аксиома, содержащая два квантора по подмножествам, заставляет отнести аксиоматику Тарского не к первому, а ко второму порядку логики. Использование аксиомы непрерывности позволяет (после определения умножения) ввести сначала рациональные числа[5], а затем — произвольные вещественные как дедекиндовы сечения[2].

Аксиомы сложения
  1. x + (y + z) = (x + z) + y.
  2. (возможность вычитания): для любых x, y существует такое z, что x + z = y. Одно из следствий этой аксиомы — существование нуля как решения уравнения 1 + x = 1.
  3. если x + y < z + w, то x < z или y < w.
Аксиомы для единицы
  1. (существование): 1 ∈ R.
  2. 1 < 1 + 1.

Тарский доказал, что все аксиомы, кроме первой, независимы (первая может быть выведена из прочих[4]). Из аксиом можно вывести, что R представляет собой линейно упорядоченную[en] абелеву делимую группу относительно сложения с положительным выделенным элементом 1. Существование умножения, деления и обычные их свойства также доказываются. R при этом полно в смысле Дедекинда.

Замечание[править | править код]

Первая аксиома (линейность порядка) следует из остальных аксиом[6].

См. также[править | править код]

Примечания[править | править код]

  1. Tarski, Alfred. Introduction to Logic and to the Methodology of Deductive Sciences. — 4. — Oxford University Press, 24 March 1994. — ISBN 978-0-19-504472-0.
  2. 1 2 См. дедекиндов подход в книге: Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. — Изд. 6-е. — М.: Наука, 1966. — Т. I.
  3. 1 2 Тарский. Введение в логику, 1948, с. 275.
  4. 1 2 Тарский. Введение в логику, 1948, с. 278.
  5. Тарский. Введение в логику, 1948, с. 285.
  6. (Jan 2008) «A Note on Tarski's Note». The American Mathematical Monthly 115 (1): 66–68.

Литература[править | править код]

  • Тарский, Альфред. Введение в логику и методологию дедуктивных наук = Introduction to Logic and the Methodology of Deductive Sciences. — М.: Государственное издательство иностранной литературы, 1948. — 327 с.