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

Мн-вот наз дискретным –если для его Эл-тов определено отношение порядка и между любыми 2-мя его Эл-ми находится лишь конечное число его Эл-тов. (N, Z)

Мн-во наз-ся плотным-если между любыми 2 различными его элементами наход-ся еще хотя бы 1 элемент данного мн-ва (Q, R) xRy, yRz => y лежит между элементами x и z.

5. Аксиоматика множества целых неотрицательных чисел. Арифметические операции над целыми неотрицательными числами, их основные свойства.

Основные понятия: единица, натуральное число; основное отношение: следовать за. а’ – элемент следующий за а

Опред: не пустое мн-во N, заданное на нем отношение следовать за, элементом которого является натуральное число, назыв-ся мн-во натуральных чисел, если выполняется следующая система аксиом (аксиомы Пеано):

А1. Существует натуральное число, которое не следует ни за каким другим натуральным числом (это число единица)

(Существует 1єN) (для любого числа а є N) 1 ≠ а

А2. За каждым натуральным числом следует только одно натуральное число (Для любых чисел a, b є N) a=b =>a‘= b‘

А3.Каждое натуральное число следует не более чем за одним натуральным числом(Для любых чисел a,bєN)a‘=b‘=>a=b

А4. Аксиома индукции M ≠Ø, M Í N

1. 1 є M => M=N

2. a є M => a’ є M

Опред: Сложением натуральных чисел называется операция (обозначается +) удовлетворяет следующим условиям:

1.(Для любого а є N) а+1= а’ , 2.(Для любых a, b є N) a+b‘ = (а+b)’ При этом результат операции называется суммой двух натуральных чисел, а компоненты– слагаемыми.

Теорема: Сумма двух натуральных чисел существует и единственна.

1.Единственность.

+, (+)

1.(Для любого а є N) а (+) 1= а’ (2)

2.(Для любых a, b є N) a (+) b = (а (+) b)’

1. (Для любого а є N) а+1= а’ (1)

2.(Для любых a, b є N) a+b = (а+b)’

Выберем элемент а М={для любого а є N | а+ b ≠ а (+) b }

1. 1єM? (a+1=a (+) 1) a+1=a’ = a (+) 1

2. b є M а + b = а (+) b=> b’ є M a+b’ = a (+)b’ а + b = а (+) b => a+b’ = a (+) b’

В силу того, что элемент а выбран произвольно следует то, что для любых а и bєN сумма а и b единственна.

2. Существование 1. a є N, М={для любого b є N | а+ b существует} (3)док-ть: M=N

док-во:

1)  1+а = а’

1 є M ? (1) (1+1=1′) – это следует из определения мн-ва натуральных чисел

(2) 1+а=(1+а)’

1+а= а’ => (1+а)’ = (а’)’ 1+а’ = (1+а)’ => (1+а)’ = 1+а’ єM

2. b єM => b’ єM a’ + b = (a+b)’ = b’+a = (b+a)’ (4)

1 єM => 1. b‘+1 = (b+1)’ = (b‘)’

2. (b‘+ а’ ) = (b‘+ а)’ b‘+ а’ = (b+ а’)’ = ((b+ а)’) = (b‘+ а)’

Вывод: 1. M=N; 2. В силу того, что а выбран произволен следует то, что для любого а и bєN сумма а и b существует.

следствия: а+1=а’ = 1+а => 1+a=a+1; a+b’=a’+b = (a+b)’

Свойства операции сложения:1.Коммуникативный закон.(Для любых чисел a, b є N) a+b = b+a 2.Ассоциативный закон.(Для любых чисел a, b, с є N) (a+b)+с = а+(b+с) 3. (Для любых чисел a, b, є N) a+b≠a или а+b≠b

Опред: Умножением натуральных чисел называется операция (обозначается «∙» ) удовлетворяет следующим условиям:

1)(Для любого а є N) а∙1= а, 2)(Для любых a, b є N) a∙b‘ =аb+a При этом результат операции называется произведением двух натуральных чисел, а компоненты– множители.

Единственность.

Свойства произведения:1. (Для любых чисел a, b є N) ab = ba2.(Для любых чисел a, b, с є N) (ab)с = а(bс)

3. .(Для любых чисел a, b, с є N) (a+b)с = ас+bc

Опред: разностью двух натур-х чисел a, b называется сєN такое, что а=b+c. Обозначается c=a-b, при этом а – уменьшаемое, b – вычитаемое. Операцию, с помощью которой находится разность, называют вычитанием.

Теорема: Разность a, bєN существует тогда и только тогда, когда a>b, если разность существует, то она единственна.

правила вычитания:

1. правило вычитания числа из суммы. Для того, чтобы из суммы вычесть число достаточно это число вычесть из одного из слагаемого и к полученному результату прибавить другое слагаемое

2. правило вычитания суммы из числа. Для того, чтобы из числа вычесть сумму достаточно из данного числа вычесть последовательно слагаемые

3. правило вычитания числа из разности. Для того, чтобы из разности a—b вычесть c, достаточно из числа a вычесть сумму b+c

4. правило вычитания разности из числа. Для того, чтобы из числа a вычесть a—b, достаточно из а+c вычесть b. И если a>b, то достаточно к (a-b) прибавить c

5. правило прибавления разности к числу. Для того, чтобы к a прибавить (b—c) достаточно от (a+b) вычесть c. И если a>c, то достаточно к (a—c) прибавить b

Опред: Частным a, b є N называется сєN, такое что а=bc. Обозначается c=a:b, при этом а — делимое, b–делитель, а действие, с помощью которого находится частное называется – деление.

Теорема: Произведение двух натуральных чисел существует и единственна. 1.

Теорема: Для того, чтобы существовало частное a, b є N, необходимо, чтобы a ≥b. Если частное существует то оно единственно.

правила деления:

1. правило деления суммы на число. Для того чтобы разделить сумму на число достаточно каждое слагаемое разделить на данное число (если частное существует) и полученные результаты сложить, т. е.

(для любых a, b,c є N) a:c, b:c =>(a+b):c=a:c+b:c

2. правило деления разности на число. Если существует частные a:c, b:c. И a>b, то (a-b):c=a:c-b:c

3. правило деления произведения на число. Если существуют частные чисел a:c, то (ab):c=(a:c)b

Введение нуля.

Z=Nu{0} – мн-во целых неотрицательных чисел

Опред: не пустое мн-во Z назыв-ся мн-во целых неотрицательных чисел, если отношение следовать за, заданное на мн-ве удовлетворяет система аксиом:

А1. Существует во мн-ве Z элемент, который не следует ни за каким другим элементом данного мн-ва (это 0)

(Существует 0єZ) (для любого числа а є Z) 0 ≠ а А4. Аксиома индукции M ≠Ø, M Í Z

1. 0 є M => M=Z

2. a є M => a’ є M

Опред: Сложением целых неотрицательных чиселназывается операция (обозначается +) удовлетворяет следующим условиям:1.(Для любого а є Z) а+0= а 2.(Для любых a, b є Z) a+b‘ = (а+b)’

Опред: Умножением целых неотрицательных чисел называется операция (обозначается «∙») удовлетворяет следующим условиям:1.(Для любого а є Z) а∙0=0 2.(Для любых a, b є Z) a∙b‘ =аb+a

Замечания:1. Отношение следовать за и операция сложения и умножения на мн-веZ обладает теми же св-вами, что и на мн-веN. 2. Операция деления на мн-ве Z оперед-ся также как и на мн-ве N, кроме деления на0.

Предложение: Деление на 0 невозможно

Док-во: (Метод от противного)

Предположим, что делить на 0 можно, т. е. 1) а≠0, b=0 и частное a:b существует => (для всякого cєZ) a=bc => a=0∙c=0; 2) a=0, b=0 и существует a:b => (для всякого cєZ) a=bc => 0=0∙c

К последнему равенству удовлетворяет любое cєZ, т. е. условия а=а, b=0 и частное а:b определено неоднозначно, поэтому считается что деление на 0 не опеределено.