Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Аксиомы Пеано





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

  1. (1 является натуральным числом);
  2. Если , то (Число, следующее за натуральным, также является натуральным);
  3. (1 не следует ни за каким натуральным числом);
  4. Если S (b) = a и S (c) = a, тогда b = c (если натуральное число a непосредственно следует как за числом b, так и за числом c, то b = c);
  5. Аксиома индукции. Пусть P (n) — некоторый одноместный предикат, зависящий от параметра — натурального числа n. Тогда:

если P (1) и , то

(Если некоторое высказывание P верно для n = 1 (база индукции) и для любого n при допущении, что верно P (n), верно и P (n + 1) (индукционное предположение), то P (n) верно для любых натуральных n).

Перечисленные аксиомы отражают наше интуитивные представления о «натуральном ряде».

Принципиальным фактом является то, что эти аксиомы по сути однозначно определяют натуральные числа (категоричность системы аксиом Пеано). А именно, можно доказать (см.[1], а также краткое доказательство[2]), что если и — две модели для системы аксиом Пеано, то они необходимо изоморфны, то есть существует биекция такая, что и для всех .

Поэтому, достаточно зафиксировать в качестве какую-либо одну конкретную модель множества натуральных чисел, например, ту, что описана ниже.

Теоретико-множественное определение (Определение Фреге-Рассела)

Согласно теории множеств, единственным объектом конструирования любых математических систем является множество.

Таким образом, и натуральные числа вводятся, исходя из понятия множества, по двум правилам:

Числа, заданные таким образом, называются ординальными.

Первые несколько ординальных чисел и соответствующие им натуральные числа:

Ноль как натуральное число

Иногда, в иностранной и переводной литературе, в первой и третьей аксиомах Пеано заменяют 1 на 0. В этом случае ноль считается натуральным числом. При определении через классы равномощных множеств 0 является натуральным числом по определению. Специально отбрасывать его было бы неестественно. Кроме того, это значительно усложнило бы дальнейшее построение и применение теории, так как в большинстве конструкций ноль, как и пустое множество, не является чем-то выделенным. Одним из преимуществ натурального нуля является то, что при этом образует полугруппу с единицей.

В русской литературе обычно ноль исключён из числа натуральных чисел , а множество натуральных чисел с нулём обозначается как . Если в определение натуральных чисел включен ноль, то множество натуральных чисел записывается как , а без нуля как .

В международной математической литературе, с учётом сказанного выше и во избежание неоднозначностей, множество обычно называют множеством положительных целых чисел и обозначают . Множество зачастую называют множеством неотрицательных целых чисел и обозначают .

Операции над натуральными числами

К замкнутым операциям (операциям, не выводящим результат из множества натуральных чисел) над натуральными числами относятся следующие арифметические операции:

  • Сложение. Слагаемое + Слагаемое = Сумма
  • Умножение. Множитель * Множитель = Произведение
  • Возведение в степень ab, где a — основание степени и b — показатель степени. Если основание и показатель натуральны, то и результат будет являться натуральным числом.

Дополнительно рассматривают ещё две операции. С формальной точки зрения они не являются операциями над натуральными числами, так как не определены для всех пар чисел (иногда существуют, иногда нет).

  • Вычитание. Уменьшаемое − Вычитаемое = Разность. При этом Уменьшаемое должно быть больше Вычитаемого (или равно ему, если считать 0 натуральным числом).
  • Деление. Делимое / Делитель = (Частное, Остаток). Частное p и остаток r от деления a на b определяются так: a = p * b + r, причём . Заметим, что именно последнее условие запрещает деление на ноль, так как иначе a можно представить в виде a = p * 0 + a, то есть можно было бы считать частным 0, а остатком = a.

Следует заметить, что именно операции сложения и умножения являются основополагающими. В частности, кольцо целых чиселопределяется именно через бинарные операции сложения и умножения.







Дата добавления: 2015-04-19; просмотров: 2325. Нарушение авторских прав; Мы поможем в написании вашей работы!




Функция спроса населения на данный товар Функция спроса населения на данный товар: Qd=7-Р. Функция предложения: Qs= -5+2Р,где...


Аальтернативная стоимость. Кривая производственных возможностей В экономике Буридании есть 100 ед. труда с производительностью 4 м ткани или 2 кг мяса...


Вычисление основной дактилоскопической формулы Вычислением основной дактоформулы обычно занимается следователь. Для этого все десять пальцев разбиваются на пять пар...


Расчетные и графические задания Равновесный объем - это объем, определяемый равенством спроса и предложения...

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

Случайной величины Плотностью распределения вероятностей непрерывной случайной величины Х называют функцию f(x) – первую производную от функции распределения F(x): Понятие плотность распределения вероятностей случайной величины Х для дискретной величины неприменима...

Схема рефлекторной дуги условного слюноотделительного рефлекса При неоднократном сочетании действия предупреждающего сигнала и безусловного пищевого раздражителя формируются...

Классификация и основные элементы конструкций теплового оборудования Многообразие способов тепловой обработки продуктов предопределяет широкую номенклатуру тепловых аппаратов...

Именные части речи, их общие и отличительные признаки Именные части речи в русском языке — это имя существительное, имя прилагательное, имя числительное, местоимение...

Интуитивное мышление Мышление — это пси­хический процесс, обеспечивающий познание сущности предме­тов и явлений и самого субъекта...

Studopedia.info - Студопедия - 2014-2025 год . (0.014 сек.) русская версия | украинская версия