- •Предисловие
- •I. Множества и операции над ними
- •Понятие множества
- •Способы задания множеств. Отношения между множествами
- •3. Объединение и пересечение множеств, их свойства
- •4. Разность множеств. Дополнение к подмножеству
- •Задача 3.
- •Задача 6
- •Контрольные вопросы
- •Упражнения
- •5. Разбиение множества на классы
- •6. Декартово умножение множеств
- •II. Элементы математической логики
- •2. Высказывания с кванторами
- •Отрицание высказываний, содержащих кванторы
- •3. Отношение логического следования и равносильности
- •Строение теоремы. Виды теорем
- •6. Математические понятия
- •Отношения между понятиями
- •Умозаключения
- •III. Соответствия и отношения
- •Соответствия между элементами двух множеств.
- •2. Функции
- •3. Бинарные отношения
- •Алгебраические операции
- •IV. Аксиоматическое построение системы натуральных чисел
- •Об аксиоматическом построении теории
- •Сложение и умножение. Отношение «меньше» «больше»
- •Свойства операции сложения
- •Свойства операции умножения
- •Вычитание и деление
- •Правило вычитания числа из суммы
- •Правило вычитания суммы из суммы
- •Деление суммы на число
- •Деление разности на число
- •Деление произведения на число
- •4. Множество целых неотрицательных чисел. Деление с остатком
- •5. Свойства множеств натуральных и целых неотрицательных чисел
- •V. Теоретико-множественный смысл натурального числа, нуля и операций над числами
- •1. Порядковые и количественные натуральные числа.
- •2. Сложение и вычитание целых неотрицательных чисел.
- •Свойства операции сложения
- •3. Умножение целых неотрицательный чисел
- •Свойства операции умножения
- •4. Деление
5. Свойства множеств натуральных и целых неотрицательных чисел
Из аксиом Пеано, из определения отношений «больше», «меньше» и их свойств следуют свойства множеств а натуральных N и целых неотрицательных N0 чисел:
В множестве N (или N0) существует наименьший элемент 1 (0) (следует из первой аксиомы Пеано А1).
В множестве N (или N0) не существует наибольшего элемента (доказывается методом от противного с использованием аксиомы А2). Этим объясняется бесконечность множеств N и N0.
Ни для одного натурального (или целого неотрицательного) числа а не существует такого натурального числа n, что а < n < а + 1. Это свойство называется свойством дискретности множества натуральных чисел (или N0), а числа а и а+1 называют соседними.
Любое непустое подмножество натуральных чисел (или N0) содержит наименьшее число.
Если М – непустое подмножество множества натуральных чисел (или N0) и существует такое число b, что для всех чисел х из М выполняется неравенство х < b, то в множестве М есть наибольшее число.
Множество N0 (или N) – линейно упорядоченные множества, т.е. для их элементов имеют место следующие утверждения:
0 < 1 < 2 < 3 <…< n < n+1 <…
(1 < 2 < 3 < ... < n < n + 1 < ...).
Контрольные вопросы
Сформулируйте свойства множества натуральных и целых неотрицательных чисел.
Проиллюстрируйте свойства 4 и 5 на примерах.
Упражнения
346. Докажите 1 и 2 свойства множества натуральных чисел.
347. Укажите наибольший и наименьший элементы множества М, где М – множество четырехзначных чисел. Каким свойством множества N можно объяснить существование этих элементов?
Какие свойства множества натуральных чисел неявно используют младшие школьники, выполняя следующие задания:
а) запишите числа, которые больше 57 и меньше 62.
б) назовите предыдущее и последующее число к соответствующим числам 200 (700, 509, 799).
в) назовите самое большое и самое маленькое трехзначное (двузначное) число?
Докажите, что множество целых неотрицательных чисел – линейно упорядоченное множество.
Докажите свойство дискретности множества натуральных чисел.
По данной главе студент должен уметь:
показать, что множество натуральных чисел является моделью системы аксиом Пеано;
формулировать аксиомы, моделью которых является множество целых неотрицательных чисел, назвать число, которое играет в нем роль единицы;
составлять таблицы сложения и умножения натуральных чисел;
доказывать свойства операции сложения и умножения опираясь на аксиому индукции Пеано;
применять закон сложения и умножения при вычислении значений числовых выражений рациональным способом;
объяснять с помощью аксиом равенства 4 + 2 = 6 и 7 + 3 = 10;
проводить доказательства истинности предложений методом математической индукции.
V. Теоретико-множественный смысл натурального числа, нуля и операций над числами
Литература [1] гл III §15; [2] гл. IХ §2,§ 3; [3] гл II §5.