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

Умножением натуральных чисел называется алгебраическая операция, определённая на мн.N нат.чисел, ставящая в соответствие каждой паре (а,b) число а *b, удовлетворяющее свойствам (аксиомам): 1. (∀a є N)a∙1 = a; 2. (∀ а,b є N) а∙b' = а∙b + а. Число a∙b называется произведением чисел а и b, а сами числа аиb– множителями. Теорема 1. Умножение натуральных чисел существует, и оно единственно. Пользуясь определение операции умножения, составим таблицу умножения однозначных нат.чисел. а)1×1=1; 2×1=2; 3×1=3; 4×1=4 и т.д. (на основании св-ва 1); б)1×2=1×1’=1×1+1= 1+1=2; 2×2=2×1’= 2×1+1= 2+1=3; 3×2=3×1’= 3×1+1= 3+1=4 и т.д.(на основании св-ва 2).Теорема 2. (∀a,b,с є N)(а+b)∙с = а∙с + b∙c. Доказательство. Пусть натуральные числа а и b выбраны произвольно, а с принимает различные натуральные значения. Обозначим через М множество всех тех и только тех натуральных чисел с, для которых верно равенство (а + b)с = а∙с + b∙c. Покажем, что для с=1 верно равенство (а + b)∙1 = а∙1 + b∙1 Действительно, (a + b)∙1 =a+b=a∙1 + b∙1. Пусть дистрибутивный закон выполняется для произвольно выбранного числа с,т.е.равенство (а+b)∙с = а∙с + b∙c истинно. На основании предположения докажем справедливость равенства: (а + b)∙с' = а∙с' + b∙c' для числа с'. Рассмотрим левую часть равенства и покажем, что она равна правой: (а + b)∙с' = (а + b)∙c + (а + b)=(а∙с+b∙с)+ (а+b)= (а∙с+а)+(b∙с+b)= а∙с’+b∙c’. Данное равенство (а + b)∙с = а∙с + b∙c истинно для любого нат.числа с, а так как числа а и b выбирались произвольно, то это равенство справедливо и для любых а и b. Анологично доказывается левый дистрибутивный закон умножения: (∀а,b,с є N)а ∙(b+с)= а∙b+а∙с. Теорема 3. (∀ а,b,с є N)(а∙b) ∙с= a∙(b ∙с).-ассоциативна. Теорема 4. (∀a,b є N) a∙b = b∙a.- коммуникативна. Операция умножения удовлетворяет двум законам: ab = bа (коммутативный закон умножения), а(bс) = (аb)с (ассоциативный закон умножения). Имеется также закон, связывающий сложение и умножение: а(b + с) = ab + ас (дистрибутивный закон) Переместительный (коммутативный) закон умножения: m · n = n · m. Произведение не меняется от перестановки его сомножителей. Сочетательный (ассоциативный) закон умножения: (m · n) · k = m · (n · k) = m · n · k. Произведение не зависит от группировки его сомножителей. Распределительный (дистрибутивный) закон умножения относительно сложения: (m + n) · k = m · k + n · k. Этот закон фактически расширяет правила действий со скобками