- •050708 (031200) Педагогика и методика начального образования дпп. Ф. 06. Математика
- •Глава I. Элементы логики
- •§ 1. Множества и операции над ними
- •1. Понятие множества и элемента множества
- •2. Способы задания множеств
- •3. Отношения между множествами. Подмножество. Равные множества. Универсальное множество. Круги Эйлера. Числовые множества.
- •4. Пересечение множеств
- •5. Объединение множеств
- •6. Свойства пересечения и объединения множеств
- •7. Вычитание множеств. Дополнение множества до универсального
- •8. Понятие разбиения множества на классы с помощью одного, двух, трех свойств
- •9. Декартово произведение множеств
- •10. Число элементов в объединении и разности конечных множеств
- •11. Число элементов в декартовом произведении конечных множеств
- •12. Основные понятия:
- •§ 2. Математические понятия
- •3. Способы определения понятий
- •4. Основные выводы
- •§ 3. Математические предложения
- •§ 4. Математическое доказательство
- •26. Схемы дедуктивных умозаключений.
- •§5. Текстовая задача и процесс ее решения
- •29. Структура текстовой задачи
- •30. Методы и способы решения текстовых задач
- •31. Этапы решения задачи и приемы их выполнения
- •2. Поиск и составление плана решения задачи
- •3. Осуществление плана решения задачи
- •4. Проверка решения задачи
- •5. Моделирование в процессе решения текстовых задач
- •Упражнения
- •32. Решение задач «на части»
- •Упражнения
- •33. Решение задач на движение
- •Упражнения
- •34. Основные выводы.
- •§6. Комбинаторные задачи и их решение
- •§ 7. Алгоритмы и их свойства
- •Упражнения
- •Упражнения
- •Глава II. Элементы алгебры
- •§ 8. Соответствия между двумя множествами
- •41. Понятие соответствия. Способы задания соответствий
- •2. Граф и график соответствия. Соответствие, обратное данному. Виды соответствий.
- •3. Взаимно-однозначные соответствия
- •Упражнения
- •42. Взаимно однозначные соответствия. Понятие взаимно однозначного отображения множества х на множество y
- •2. Равномощные множества. Способы установления равномощности множеств. Счетные и несчетные множества.
- •Упражнения
- •43. Основные выводы § 8
- •§ 9. Числовые функции
- •44. Понятие функции. Способы задания функций
- •2. График функции. Свойство монотонности функции
- •Упражнения
- •45. Прямая и обратная пропорциональности
- •Упражнения
- •46. Основные выводы § 9
- •§10. Отношения на множестве
- •47. Понятие отношения на множестве
- •Упражнения
- •48. Свойства отношений
- •R рефлексивно на х ↔ х r х для любого х € X.
- •R симметрично на х ↔ (х r y →yRx).
- •49. Отношения эквивалентности и порядка
- •Упражнения
- •50. Основные выводы § 10
- •§ 11. Алгебраические операции на множестве
- •51. Понятие алгебраической операции
- •Упражнения
- •52. Свойства алгебраических операций
- •Упражнения
- •53. Основные выводы § 11
- •§ 12. Выражения. Уравнения. Неравенства
- •54. Выражения и их тождественные преобразования
- •Упражнения
- •55. Числовые равенства и неравенства
- •Упражнения
- •56. Уравнения с одной переменной
- •2. Равносильные уравнения. Теоремы о равносильности уравнений
- •3. Решение уравнений с одной переменной
- •Упражнения
- •57. Неравенства с одной переменной
- •2. Равносильные неравенства. Теоремы о равносильности неравенств
- •3. Решение неравенств с одной переменной
- •Упражнения
- •58. Основные выводы § 12
- •Упражнения
- •Глава III. Натуральные числа и нуль
- •§ 13. Из истории возникновения понятия натурального числа
- •§ 14. Аксиоматическое построение системы натуральных чисел
- •59. Об аксиоматическом способе построения теории
- •Упражнения
- •60. Основные понятия и аксиомы. Определение натурального числа
- •Упражнения
- •61. Сложение
- •62. Умножение
- •63. Упорядоченность множества натуральных чисел
- •Упражнения
- •64. Вычитание
- •Упражнения
- •65. Деление
- •66. Множество целых неотрицательных чисел
- •Упражнения
- •67. Метод математической индукции
- •Упражнения
- •68. Количественные натуральные числа. Счет
- •Упражнения
- •69. Основные выводы § 14
- •70. Теоретико-множественный смысл натурального числа, нуля и отношения «меньше»
- •Упражнения
- •Лекция 36. Теоретико-множественный подход в построении множества целых неотрицательных чисел.
- •71. Теоретико-множественный смысл суммы
- •Упражнения
- •72. Теоретико-множественный смысл разности
- •Упражнения
- •73. Теоретико-множественный смысл произведения
- •Упражнения
- •74. Теоретико-множественный смысл частного натуральных чисел
- •Упражнения
- •75. Основные выводы § 15
- •§16. Натуральное число как мера величины
- •76. Понятие положительной скалярной величины и ее измерения
- •Упражнения
- •77. Смысл натурального числа, полученного в результате измерения величины. Смысл суммы и разности
- •Упражнения
- •78. Смысл произведения и частного натуральных чисел, полученных в результате измерения величин
- •79. Основные выводы § 16
- •80. Позиционные и непозиционные системы счисления
- •81. Запись числа в десятичной системе счисления
- •Упражнения
- •82. Алгоритм сложения
- •Упражнения
- •83. Алгоритм вычитания
- •Упражнения
- •84. Алгоритм умножения
- •Упражнения
- •85. Алгоритм деления
- •86. Позиционные системы счисления, отличные от десятичной
- •87. Основные выводы § 17
- •§ 18. Делимость натуральных чисел
- •88. Отношение делимости и его свойства
- •89. Признаки делимости
- •90. Наименьшее общее кратное и наибольший общий делитель
- •2. Основные свойства наименьшего общего кратного и наибольшего общего делителя чисел
- •3. Признак делимости на составное число
- •Упражнения
- •91. Простые числа
- •92. Способы нахождения наибольшего общего делителя и наименьшего общего кратного чисел
- •93. Основные выводы § 18
- •3. Дистрибутивности:
- •§ 19. О расширении множества натуральных чисел
- •94. Понятие дроби
- •Упражнения
- •95. Положительные рациональные числа
- •96. Множество положительных рациональных чисел как расширение
- •97. Запись положительных рациональных чисел в виде десятичных дробей
- •98. Действительные числа
- •99. Основные выводы § 19
- •Глава IV. Геометрические фигуры и величины
- •§ 20. Из истории возникновения и развития геометрии
- •1. Сущность аксиоматического метода в построении теории
- •2. Возникновение геометрии. Геометрия Евклида и геометрия Лобачевского
- •3. Система геометрических понятий, изучаемых в школе. Основные свойства принадлежности точек и прямых, взаимного расположения точек на плоскости и прямой.
- •§ 21. Свойства геометрических фигур на плоскости
- •§ 22. Построение геометрических фигур
- •1. Элементарные задачи на построение
- •2. Этапы решения задачи на построение
- •Упражнения
- •3. Методы решения задач на построение: преобразования геометрических фигур на плоскости: центральная, осевая симметрии, гомотетия, движение.
- •Основные выводы
- •§24. Изображение пространственных фигур на плоскости
- •1. Свойства параллельного проектирования
- •2. Многогранники и их изображение
- •Тетраэдр Куб Октаэдр
- •Упражнения
- •3. Шар, цилиндр, конус и их изображение
- •Основные выводы
- •§ 25. Геометрические величины
- •1. Длина отрезка и ее измерение
- •1) Равные отрезки имеют равные длины;
- •2) Если отрезок состоит из двух отрезков, то его длина равна сумме длин его частей.
- •Упражнения
- •2. Величина угла и ее измерение Каждый угол имеет величину. Специального названия для нее в
- •1) Равные углы имеют равные величины;
- •2) Если угол состоит из двух углов, то его величина равна сумме величин его частей.
- •Упражнения
- •1) Равные фигуры имеют равные площади;
- •2) Если фигура состоит из двух частей, то ее площадь равна сумме площадей этих частей.
- •4. Площадь многоугольника
- •5. Площадь произвольной плоской фигуры и ее измерение
- •Упражнения
- •Основные выводы
- •1. Понятие положительной скалярной величины и ее измерение
- •1) Масса одинакова у тел, уравновешивающих друг друга на весах;
- •2) Масса складывается, когда тела соединяются вместе: масса нескольких тел, взятых вместе, равна сумме их масс.
- •Заключение
- •Список литературы
Упражнения
В чем суть аксиоматического способа построения теории?
Верно ли, что аксиома - это предложение, которое не требует доказательства?
Назовите основные понятия школьного курса планиметрии. Вспомните несколько аксиом из этого курса. Свойства каких понятий в них описываются?
Дайте определение прямоугольника, выбрав в качестве родового понятие параллелограмма. Назовите три понятия, которые в курсе геометрии должны предшествовать понятию «параллелограмм».
Какие предложения называют теоремами? Вспомните, какова логическая структура теоремы и что значит доказать теорему.
Лекция 32. Аксиоматическое построение множества целых неотрицательных чисел
План:
1. Основные понятия и аксиомы Пеано. Определение целого неотрицательного числа
2. Сложение целых неотрицательных чисел. Таблицы сложения и умножения.
3. Умножение целых неотрицательных чисел. Законы сложения и умножения.
60. Основные понятия и аксиомы. Определение натурального числа
В качестве основного понятия при аксиоматическом построении арифметики натуральных чисел взято отношение «непосредственно следовать за», заданное на непустом множестве N. Известными также считаются понятие множества, элемента множества и другие теоретико-множественные понятия, а также правила логики.
Элемент, непосредственно следующий за элементом а, обозначают а'.
Суть отношения «непосредственно следовать за» раскрывается в следующих аксиомах.
Аксиома 1. В множестве N существует элемент, непосредственно не следующий ни за каким элементом этого множества. Будем называть его единицей и обозначать символом 1.
Аксиома 2. Для каждого элемента а из N существует единственный элемент а, непосредственно следующий за а.
Аксиома 3. Для каждого элемента а из N существует не более одного элемента, за которым непосредственно следует а.
Аксиома 4. Всякое подмножество М множества N совпадает с N, если обладает свойствами: 1) 1 содержится в М; 2) из того, что а содержится в М, следует, что и а' содержится в М.
Сформулированные аксиомы часто называют аксиомами Пеано.
Используя отношение «непосредственно следовать за» и аксиомы 1-4, можно дать следующее определение натурального числа.
Определение. Множество N, для элементов которого установлено отношение «непосредственно следовать за», удовлетворяющее аксиомам 1-4, называется множеством натуральных чисел, а его элементы - натуральными числами.
В данном определении ничего не говорится о природе элементов множества N. Значит, она может быть какой угодно. Выбирая в качестве множества N некоторое конкретное множество, на котором задано конкретное отношение «непосредственно следовать за», удовлетворяющее аксиомам 1-4, мы получим модель данной системы аксиом. В математике доказано, что между всеми такими моделями можно установить взаимно однозначное соответствие, сохраняющее отношение «непосредственно следовать за», и все такие модели будут отличаться только природой элементов, их названием и обозначением. Стандартной моделью системы аксиом Пеано является возникший в процессе исторического развития общества ряд чисел:
1,2,3,4,...
Каждое число этого ряда имеет свое обозначение и название, которое мы будем считать известными.
Рассматривая натуральный ряд чисел в качестве одной из моделей аксиом 1-4, следует отметить, что они описывают процесс образования этого ряда, причем происходит это при раскрытии в аксиомах свойств отношения «непосредственно следовать за». Так, натуральный ряд начинается с числа 1 (аксиома 1); за каждым натуральным числом непосредственно следует единственное натуральное число (аксиома 2); каждое натуральное число непосредственно следует не более чем за одним натуральным числом (аксиома 3); начиная от числа 1 и переходя по порядку к непосредственно следующим друг за другом натуральным числам, получаем все множество этих чисел (аксиома 4). Заметим, что аксиома 4 в формализованном виде описывает бесконечность натурального ряда, и на ней основано доказательство утверждений о натуральных числах.
Вообще моделью системы аксиом Пеано может быть любое счетное множество, например:
I, II, III, IIII, ...
о, оо, ооо, оооо, …
один, два, три, четыре, …
Рассмотрим, например, последовательность множеств, в которой множество {оо} есть начальный элемент, а каждое последующее множество получается из предыдущего приписыванием еще одного кружка (рис. 108,а). Тогда N есть множество, состоящее из множеств описанного вида, и оно является моделью системы аксиом Пеано. Действительно, в множестве N существует элемент {оо}, непосредственно не следующий ни за каким элементом данного множества, т.е. выполняется аксиома 1. Если считать обведенные кружки за один элемент (рис. 108.6), то для каждого
а) {о о}, {о о о}, {о о о о}, …
б) { }, { о}, { о о}, …
Рис. 108
Рис. 109
множества А рассматриваемой совокупности существует единственное множество, которое получается из А добавлением одного кружка, т.е. выполняется аксиома 2. Для каждого множества А существует не более одного множества, из которого образуется множество А добавлением одного кружка, т.е. выполняется аксиома 3. Если М N и известно, что множество А содержится в М, следует, что и множество, в котором на один кружок больше, чем в множестве А, также содержится в N, то М ~ N (и значит, выполняется аксиома 4).
Заметим, что в определении натурального числа ни одну из аксиом опустить нельзя - для любой из них можно построить множество, в котором выполнены остальные три аксиомы, а данная аксиома не выполняется. Это положение наглядно подтверждается примерами, приведенными на рисунках 109 и 110. На рисунке 109, а) изображено множество, в котором выполняются аксиомы 2 и 3, но не выполнена аксиома 1 (аксиома 4 не будет иметь смысла, так как в множестве нет элемента, непосредственно не следующего ни за каким другим). На рисунке 109, 6) показано множество, в котором выполнены аксиомы 1, 3 и 4, но за элементом а непосредственно следуют два элемента, а не один, как требуется в аксиоме 2. На рисунке 109, в) изображено множество, в котором выполнены аксиомы 1, 2, 4, но элемент с непосредственно следует как за элементом а, так и за элементом b. На рисунке 110 показано множество, в котором выполнены аксиомы 1, 2, 3, но не выполняется аксиома 4 - множество точек, лежащих на луче, содержит 1 и вместе с
Рис. 110
каждым числом оно содержит непосредственно следующее за ним число, но оно не совпадает со всем множеством точек, показанных на рисунке.
То обстоятельство, что в аксиоматических теориях не говорят об «истинной» природе изучаемых понятий, делает на первый взгляд эти теории слишком абстрактными и формальными, - оказывается, что одним и тем же аксиомам удовлетворяют различные множества объектов и разные отношения между ними. Однако в этой кажущейся абстрактности и состоит сила аксиоматического метода: каждое утверждение, выведенное логическим путем из данных аксиом, применимо к любым множествам объектов, лишь бы в них были определены отношения, удовлетворяющие аксиомам.
Итак, мы начали аксиоматическое построение системы натуральных чисел с выбора основного отношения «непосредственно следовать за» и аксиом, в которых описаны его свойства. Дальнейшее построение теории предполагает рассмотрение известных свойств натуральных чисел и операций над ними. Они должны быть раскрыты в определениях и теоремах, т.е. выведены чисто логическим путем из отношения «непосредственно следовать за», и аксиом 1-4.
Первое понятие, которое мы введем после определения натурального числа, - это отношение «непосредственно предшествует», которое часто используют при рассмотрении свойств натурального ряда.
Определение. Если натуральное число b непосредственно следует за натуральным числом а, то число а называется непосредственно предшествующим (или предшествующим) числу b .
Отношение «предшествует» обладает рядом свойств. Они формулируются в виде теорем и доказываются с помощью аксиом 1-4.
Теорема 1. Единица не имеет предшествующего натурального числа.
Истинность данного утверждения вытекает сразу из аксиомы 1.
Теорема 2. Каждое натуральное число а, отличное от 1, имеет предшествующее число b , такое, что b ' = а.
Доказательство. Обозначим через М множество натуральных чисел, состоящее из числа 1 и из всех чисел, имеющих предшествующее. Если число а содержится в М, то и число а' также есть в N, поскольку предшествующим для а' является число а. Это значит, что множество М содержит 1, и из того, что число а принадлежит множеству М, следует, что и число а' принадлежит М. Тогда по аксиоме 4 множество М совпадает с множеством всех натуральных чисел. Значит, все натуральные числа, кроме 1, имеют предшествующее число.
Отметим, что в силу аксиомы 3 числа, отличные от 1, имеют единственное предшествующее число.
Аксиоматическое построение теории натуральных чисел не рассматривается ни в начальной, ни в средней школе. Однако те свойства отношения «непосредственно следовать за», которые нашли отражение в аксиомах Пеано, являются предметом изучения в начальном курсе математики. Уже в первом классе при рассмотрении чисел первого десятка выясняется, как может быть получено каждое число. При этом используются понятия «следует» и «предшествует». Каждое новое число выступает как продолжение изученного отрезка натурального ряда чисел. Учащиеся убеждаются в том, что за каждым числом идет следующее, и притом только одно, что натуральный ряд чисел бесконечен. И конечно, знание аксиоматической теории поможет учителю методически грамотно организовать усвоение детьми особенности натурального ряда чисел.