Основные свойства сложения целых неотрицательных чисел

Все свойства сложения целых неотрицательных чисел выводятся из ранее указанных аксиом Пеано (§ 2) и аксиом сложения (§ 4).

1°. Ассоциативность сложения.

("a, в, с Î N0) [(a + в) + с = а + (в + с)].

Доказательство проведем методом математической индукции относительно с.

1) Проверим для с = 0, (а + в) + 0 = а + в по (А1) сложения. По этой же аксиоме слагаемое в можно заменить суммой (в + 0), т.е. получим (а + в) + 0 = а + (в + 0).

2) Допустим, что рассматриваемое равенство верно для с = k, т.е. (а + в) + k = а + (в + k). Докажем, что при этом допущении оно верно и для с = k', т.е. (а + в) + k' = а + (в + k').

(а + в) + k' = (по (А2) сложения)

= ((а + в) + k)' =(по допущению)

= (а + (в + k))' =(пo (A2) сложения)

= а + (в + k)' = (по (А2) сложения)

= а + (в + k').

Т.е. равенство (а + в) + с = а + (в + с) истинно для любого c Î N0, а поскольку числа а и в выбирались произвольно, то оно истинно и для любых a, в Î N0.

2°. Коммутативность сложения

("a, в Î N0) [a + в = в + а].

Предварительно докажем М.М.И., что ("a Î N0)[a + 1= 1 + а].

1) Проверим для а = 0. 0 + 1 = 0' = 1 и 1 + 0 = 1 по (А2) сложения. Равенство 0 + 1 = 1 + 0 истинно.

2) Допустим, что а + 1 = 1 + а. Докажем, что из этого допущения а' + 1 = 1 + а',

а' + 1 = (обозначение а' = а + 1)

= (а + 1) + 1 = (по допущению)

= (1 + а) + 1 = (по ассоциативности сложения)

= 1 + (а + 1) = (обозначение а + 1 = а')

= 1 + а'. Т.е. а' + 1 = 1 + а' – истинное равенство.

Итак, ("a Î N0)[a + 1 = 1 + а].

Перейдем к доказательству М.М.И. относительно в при фиксированном а коммутативного свойства сложения.

1) Пусть в = 0. Докажем, что ("a Î N0)[a + 0 = 0 + а]. При а = 0 имеем 0 + 0 = 0 + 0 – истинное равенство. Допустим а + 0 = 0 + а. Докажем, что и а' + 0 = 0 + а'.

а' + 0 = (обозначение а' = а + 1)

= (а + 1) + 0 = (по ассоциативности сложения)

= а + (1 + 0) = (по предварительно доказанному равенству)

= а + (0 + 1) = (по ассоциативности сложения)

= (а + 0) + 1 = (по допущению)

= (0 + а) + 1 = (по ассоциативности)

= 0 + (а + 1) – (обозначение а + 1 = а')

= 0 + а'. Т.е. ("a Î N0)[a + 0 = 0 + а].

2) Допустим, что для в = k a + k = k + а. Докажем, что при этом допущении и для в = k' а + k' = k' + a.

а + k'= (по (А2) сложения)

= (а + k)' = (обозначение (а + k)' = (а + k) + 1)

= (а + k) + 1 = (по допущению)

= (k + a) + 1 = (по ассоциативности)

= k + (a + 1) = (по предварительно доказанному равенству)

= k + (1 + a) = (по ассоциативности)

= (k + 1) + a = (обозначение k + 1 = k¢)

= k' + а. Т.е. равенство а + в = в + а истинно для любого в Î N0,
а поскольку числа а и в произвольны, то оно истинно и для любых
a, в Î N0.

Умножение целых неотрицательных чисел

Аксиоматическое определение умножения целых неотрицательных чисел состоит из двух аксиом, обозначенных ниже (А1), (А2).

(А1). Произведение любого целого неотрицательного числа а и нуля равно 0, т.е. ("a Î N0) [a · 0 = 0].

(А2). ("a, в Î N0) [a × в¢ = a · в + а].

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

Теорема 1. ("a,в Î N0) ($!c Î N0)[a × в = с].

Доказательство проведем методом математической индукции относительно в при фиксированном а.

1) Для в = 0 а · в = а · 0 = 0 (А1) определено и притом единственным образом.

2) Предположим, что для некоторого целого неотрицательного числа в = k произведение а · k существует, равно целому неотрицательному числу с и является единственным, т.е. a · k = с.

Докажем, что при этом предположении и а · k¢ существует и единственно, a · k' = a · k + а = с + а, а сумма любых двух целых неотрицательных чисел существует и является единственной по теореме о единственности суммы целых неотрицательных чисел (см. § 4). Следовательно, произведение a · k' существует и является единственным.

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

Теорема 2. ("a,в Î N0) [a' · в = а · в + в].

Доказательство проведем методом математической индукции относительно в.

1) Для в = 0 a' · 0 = 0 + 0 = a · 0 + 0. Равенство верно.

2) Предположим, что для в = k а' ·k = ak + k. Докажем, что при этом предположении и для в = k' а' ·k' = ak¢ + k¢.

а' · k' = (по (А2) умножения)

= a'k +a' = (по предположению)

= (ak + k) + a' = (обозначение а' = а + 1)

= (ak + k) + (a + 1) = (по ассоциативности и коммутативности сложения)

= (ak + а) + (k + 1) = (А2 умножения и обозначению k + 1 = k')

= ak' + k'. Итак, для ("вÎN0) a' · в = а · в + в.

Аналогично проводится доказательство М.М.И. относительно а.

Наши рекомендации