Аксиоматика Тарского (вещественные числа) — Википедия. Что такое Аксиоматика Тарского (вещественные числа)
Wiki.sc

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

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

Аксиоматика вещественных чисел Тарского — вариант системы оснований арифметики вещественных чисел, предложенный Альфредом Тарским в 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 с.
Что такое Wiki.sc Вики является главным информационным ресурсом в интернете. Она открыта для любого пользователя. Вики это библиотека, которая является общественной и многоязычной.

Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License.

Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI.SC является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).

E-mail: admin@wiki.sc