Число а меньше числа b тогда и только тогда, когда (∃ с ∈ Ν) а + с = b
а • b ⇔ (∃ с ∈ Ν) а + с = b
Отношение «больше» определяется аналогично
Равными натуральными числами называют те и только те числа, которые характеризуют равномощные конечные множества:
а = b ⇔ А ~ В
А ~ В =
5 = 5
4 • 6
Отношение «больше» определяется аналогично
А = {а, b, c}, n(A) = 3,
B = {а, b, c, m, n}, n (В) = 5
А ⊂ В, А ≠ В ⇒ n(А) • n(В)
3 < 5
N3 = {1, 2, 3}, n(N3) = 3,
N5 = {1, 2, 3, 4, 5}, n (N5) = 5
А = {а, b, c}, n(A) = 3,
B = {m, n, p, q, s}, n (В) = 5
А ~ В1, В1 ⊂ В, В1 ≠ В
В1 = {m, n, p}, n(В1) = 3
3 < 5
3 • 5
3 меньше 5 на 2
n(В2) = 2
В2 = B1′ = В \ В1, n(В2) = с ⇒
а меньше b на с
n(А) = а
n(В) = b
3) транзитивность: а = b ∧ b = с ⇒ а = с
Отношение «равно» на множестве N является отношением эквивалентности, так как обладает свойствами рефлексивности, симметричности, транзитивности.
Отношение «меньше» на множестве N является отношением порядка, так как обладает свойствами антисимметричности и транзитивности.
а = b, если А ~ В
а • b, если А ⊂ В
а • b, если А ~ В1,
В1⊂ В, В1 ≠ В
р = q, если а = b
р • q, если а • b,
где а = ре, b=qе
Если не удалось найти и скачать презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:
Email: Нажмите что бы посмотреть