Множество натуральных чисел. Специальность 050201 «Математика»

Курс 8 семестр

Курс лекции (24 ч.)

Числовые системы

Специальность 050201 «Математика»

с дополнительной специальностью 050202 «Информатика»

Волгоград 2009
Лекции 1-2.

Определение. Натуральными числами назовем элементы множества N, в котором выделен элемент и определено отображение (-следующий за , удовлетворяющее следующим аксиомам:

1. (1 не следует ни за каким натуральным числом);

2. (инъективность);

3. .

Аксиомы 1-3 будем называть аксиомами Пеано.

Следствия из аксиом Пеано:

1) (однозначность).

2) .

Доказательство. Предположим, что . Тогда, по аксиоме 2, . Поучили противоречие с условием , следовательно, предположение ложно.

3) .

Доказательство. Пусть . , т.к. . Покажем, что . . Тогда, по 3 аксиоме Пеано, .

4) .

Доказательство. Пусть . , т.к. . Покажем, что . . Тогда, по 3 аксиоме Пеано, .

5) І форма метода математической индукции для множества натуральных чисел: Если утверждение о натуральных числах верно для 1 и из истинности этого утверждения для всякого числа следует истинность его для , то справедливо для каждого натурального числа.

.

Доказательство. Пусть . , т.к. . Из условия теоремы имеем, что . Тогда, по 3 аксиоме Пеано, .

Дата добавления: 2014-01-06