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

277

- система из пяти аксиом для натурального ряда Nи функции S(прибавление 1) на нем, введенная Дж. Пеано (G. Реапо, 1889). для любого свойства M (аксиома индукции). В первом варианте вместо 0 использовалась 1. Сходные аксиомы независимо предложил Р. Дедекинд (R. Dedekind, 1888). П. А. Категоричны, т. Е. Любые две системы (N, S,0) и (N', S',0'), удовлетворяющие П. А., изоморфны. Изоморфизм определяется функцией f(x, x), где Существование f( х, у).для всех пар ( х, у).и взаимная однозначность при доказываются по индукции. П. А. Позволяют развить теорию чисел, в частности ввести обычные арифметич. Функции и доказать их свойства. Все аксиомы независимы, однако (3) и (4) можно объединить в одну. если определить х<у как Независимость доказывается предъявлением модели, в к-рой верны все аксиомы, кроме рассматриваемой.

Для (1) такая модель - натуральный ряд, начиная с единицы. Для (2) - множество , где S0=1/2, S (1/2)=1. Для (3) - множество {0}. Для (4) - множество {0, 1} с S0=S1=1. Для (5) - множество {-1} Иногда под арифметикой Пеано понимают систему в языке 1-го порядка с функциональными символами состоящую из аксиом определяющих равенств для и схемы индукции (см. Арифметика формальная). Лит.:[l] Клини С. К., Введение в метаматематику, пер. С англ., М. 1957. Г. Б. Минц. .

Значения в других словарях
Паули Матрицы

- двурядные комплексные постоянные эрмитовы матрицы коэффициентов. Введены В. Паули (W. Pauli, 1927), для описания спинового механич. Момента (спина ) и магнитного момента электрона. Это уравнение корректным образом в нерелятивистском случае описывает частицы со спином (в единицах ) и может быть получено из Дирака уравнения при условии . В явном виде П. М. Можно записать следующим образом. Их собственные значения равны +1, П. М. Удовлетворяют следующим алгебраич. Соотношениям. Вм..

Паша Аксиома

- одна из аксиом порядка в Гильберта системе аксиом евклидовой геометрии. Формулировка аксиомы использует понятие "лежать внутри отрезка", причем отрезок здесь рассматривается как система двух различных точек Аи В, принадлежащих одной прямой. Точки, лежащие "между" точками Аи В, наз. Точками отрезка (или внутренними точками отрезка). Понятие "между" (лежать между) описывается группой аксиом порядка, куда входит и П. А., к-рая формулируется следующим образом. Пусть А, В, С - три точки, не леж..

Пеано Кривая

- непрерывный образ отрезка, заполняющий внутренность квадрата (или треугольника). Открыта Дж. Пеано [1]. П. К., рассматриваемая как плоская фигура, не есть множество, нигде не плотное на плоскости. Она является жордановой, но не канторовой кривой, а потому не является линией. Построение П. К., заполняющей квадрат, см. В ст. Линия;оно принадлежит Д. Гильберту (D. Hilbert). На рис. 1 приведен аналог его построения для треугольника (первые шесть шагов) (другие конструкции см. В [2] и [3]). ..

Пеано Производная

- одно из обобщений понятия производной. Пусть существует d>0 такое, что для всех tс |t|<d имеет место где - постоянные и при Пусть . Тогда число нав. Обобщенной производной Пеано порядка rфункции f в точке х 0. Обозначение. , в частности . Если существует f(r),(x0), то существует и . Если существует конечная обычная двусторонняя производная , то . Обратное неверно при r>1. Для функции , имеет место , но не существует при (ибо f(x).разрывна при ). Следовательно, не су..

Дополнительный поиск Пеано Аксиомы Пеано Аксиомы

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Пеано Аксиомы" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Пеано Аксиомы, различные варианты толкований, скрытый смысл.

Первая буква "П". Общая длина 13 символа