Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Альтернативы
Недавние
Show all languages
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

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

Из Википедии — свободной энциклопедии

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

Замечание

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

См. также

  • Вещественное замкнутое поле[en]

Примечания

  1. Tarski, Alfred. Introduction to Logic and to the Methodology of Deductive Sciences (англ.). — 4. — Oxford University Press, 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. Ucsnay, Stefanie. A Note on Tarski's Note (англ.) // The American Mathematical Monthly : journal. — 2008. — January (vol. 115, no. 1). — P. 66—68. — JSTOR 27642393.

Литература

  • Тарский, Альфред. Введение в логику и методологию дедуктивных наук = Introduction to Logic and the Methodology of Deductive Sciences. — М.: Государственное издательство иностранной литературы, 1948. — 327 с.
Эта страница в последний раз была отредактирована 22 июля 2023 в 15:49.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).