- •Часть II
- •Isbn 978-5-9765-1937-4
- •2.1. Лекционный материал ..................................................................
- •3.1. Лекционный материал ………......................................................
- •4.1. Лекционный материал ..................................................................
- •Часть I. Множества. Элементы комбинаторики», «Математика. Часть I.
- •1. Элементы алгебры
- •1.1. Лекционный материал
- •1.1.1. Отношения
- •1.1.2. Соответствия
- •1.1.3. Числовые функции
- •1.1.4. Прямая и обратная пропорциональность
- •1.1.5. Алгебраические операции на множестве
- •1.1.6. Выражения и их тождественные преобразования
- •1.1.7. Числовые равенства и неравенства
- •1.1.8. Выражения с переменной. Тождества
- •1.1.11. Решение неравенств с одной переменной
- •1.2. Самостоятельные работы
- •1.2.1. Соответствия
- •1.2.2. Отношения
- •1.2.4. Числовые выражения, равенства и неравенства
- •1.2.5. Выражения с переменной
- •1.2.6. Уравнения
- •1.2.7. Неравенства
- •1.3. Проверочные работы
- •1.3.1. Числовые выражения
- •1.3.2. Числовые равенства (I часть)
- •1.3.3. Числовые равенства (II часть)
- •1.3.4. Выражения с переменной
- •1.3.5. Тождественные преобразования выражений
- •1.3.6. Преобразования выражений
- •1.3.7. Преобразование рациональных выражений
- •1.3.8. Уравнения. Равносильность уравнений
- •1.3.9. Решение уравнений
- •1.3.10. Решение дробно-рациональных уравнений
- •1.3.11. Решение неравенств
- •1.4. Проверь себя
- •2.1. Лекционный материал
- •2.1.1. Понятие об аксиоматическом методе построения теории
- •2.1.2. Сложение целых неотрицательных чисел
- •2.1.3. Умножение целых неотрицательных чисел
- •2.1.4. Свойства множества целых неотрицательных чисел
- •2.1.5. Вычитание и деление целых неотрицательных чисел
- •2.2. Самостоятельные работы
- •2.2.2. Сложение
- •2.2.3. Вычитание
- •2.2.4. Умножение
- •2.2.5. Деление
- •3.1. Лекционный материал
- •3.1.2. Сумма целых неотрицательных чисел
- •3.1.3. Разность целых неотрицательных чисел
- •3.1.4. Произведение целых неотрицательных чисел
- •3.1.5. Частное целых неотрицательных чисел
- •3.2.1. Теоретико-множественный смысл суммы
- •3.2.2. Теоретико-множественный смысл разности
- •3.2.3. Теоретико-множественный смысл произведения
- •4.1. Лекционный материал
- •Часть II
4.
(87 • 25) • 40
Г.
Коммутативное свойство умножения.
Д.
Дистрибутивное свойство умножения от-
носительно
сложения и коммутативное
свойство
умножения.
Ответ:
1 _______, 2 ________, 3 ________, 4 _________.
Задание
9
Рассмотрите
учебное задание: «Не выполняя умножения,
сравните
значения
выражений 70 • 32 + 9 • 32 ... 30 • 79 + 2 • 79».
Дополните
высказывание: «Теоретической основой
математиче-
ских
обоснований учащихся
выступает____________________________
______________________________________________________________
______________________________________________________________
____________________________________________________________».
Задание
10
Оцените
высказывание: «Теоретической основой
нахождения про-
изведения
7234
×
__6
43404
является
дистрибутивное свойство умножения
относительно сло-
жения».
1.
Верно.
2.
Неверно.
Обведите
кружком номер правильного ответа.
Предельно
допустимое время тестирования – 20
минут.
Задание
1
Дополните
высказывание: «Делением натуральных
чисел а
и
b
называется
операция, удовлетворяющая условию:
_______________ –
тогда
и только тогда, когда
___________________________________»
1552.2.5. Деление
Задание
2
Ученик
выполнил преобразование выражения с
целью нахождения
его
значения. 48 : (2 • 4) = 48 : 2 :
4 = 24 : 4 = 6.
Дополните
высказывание:
«Теоретическая
основа действий ученика:____________________
__________________________________________________________».
Задание
3
Выбрав
в качестве теоретической основы
вычислений значения
выражения
правило деления суммы на число, ученик
выполнил следу-
ющие
преобразования:
954:18
=_________________________________________________.
Задание
4
Для
вычисления значения выражения 882 : 18
ученик применил
правило
деления разности на число.
Запись
ученика:_______________________________________.
Задание
5
Дополните
высказывание: «Для обоснования действий
при вычис-
лении
значения выражения (560 • 32) : 16 ученик
использовал правило
____________________________________________________________
____________________________________________________________
и
выполнил следующую запись:
________________________________
__________________________________________________________»
.
156
3.
ТЕОРЕТИКО-МНОЖЕСТВЕННЫЙ ПОДХОД К
ПОСТРОЕНИЮ
МНОЖЕСТВА
ЦЕЛЫХ НЕОТРИЦАТЕЛЬНЫХ ЧИСЕЛ
3.1.1.
Построение системы натуральных чисел
на
основе теории множеств
План
1.
Из
истории возникновения понятия
натурального числа.
2.
Понятие
натурального числа и нуля.
3.
Счет.
Порядковые и количественные числа.
4.
Отношения
«равно», «меньше» и «больше» на множестве
целых
неотрицательных
чисел.
Содержание
1.
Понятие
натурального числа, как и многие другие
математиче-
ские
понятия, возникло из практических
потребностей людей и склады-
валось
постепенно. Основной причиной, приведшей
человека к созда-
нию
натуральных чисел, явилась необходимость
сравнивать различные
конечные
множества по количеству элементов.
В
ходе развития понятия натурального
числа можно выделить не-
сколько
этапов.
На
первом этапе, в глубокой древности,
сравнение множеств по ко-
личеству
элементов проводилось путем
непосредственного установления
взаимно-однозначного
соответствия. Так было при дележе
добычи, рас-
пределении
оружия и во многих других ситуациях.
Однако такой путь
сравнения
пригоден лишь для множеств, расположенных
рядом, и непри-
емлем
для случая множеств, отдаленных во
времени и пространстве.
Поэтому
на следующем этапе развития для этих
целей человек
стал
применять «множества-посредники».
Для
множеств с небольшим числом элементов
такими посредниками
чаще
всего были пальцы. Так, о численности
множества из пяти элемен-
1573.1. Лекционный материал
тов
человек говорил: «Столько же, сколько
пальцев на руке»; а о множе-
стве
из двадцати элементов –
«Столько
же, сколько пальцев у человека».
При
большей численности множеств стали
использоваться специ-
альные
множества-посредники, состоящие из
узелков, камешков, раку-
шек
или других подручных предметов. Если
требовалось сравнить два
стада
по количеству голов, то поступали
следующим образом. Устанав-
ливали
взаимно-однозначное соответствие между
множеством голов в
первом
стаде и множеством ракушек, а затем –
между
множеством ра-
кушек
и множеством голов во втором стаде.
Если во втором случае
между
множествами также устанавливалось
взаимно-однозначное со-
ответствие,
то говорили, что скота в обоих стадах
поровну. Если же ра-
кушки
оставались, то говорили, что в первом
стаде голов больше. А ес-
ли
ракушек не хватало, то больше голов во
втором стаде.
Позднее
за определенным количеством предметов
или явлений, с
которыми
люди встречались наиболее часто,
закреплялись специальные
наименования:
«глаза», «крылья», «весь человек» и
другие. Так, в язы-
ках
некоторых народностей использовались
выражения: «рука быков»,
«человек
стрел» или «три человека», «три лодки».
Однако отвлеченных
чисел
на этом этапе еще не было. Числа были
именованными.
Оперируя
множествами-посредниками, человек
постепенно заме-
чал
то общее, что существует между множествами,
имеющими одного
посредника.
Так произошло отвлечение от природы
элементов и воз-
никло
представление о натуральном числе. Это
был важнейший этап в
становлении
математики.
Возникновение
понятия натурального числа, осмысление
его как
математического
объекта было величайшим достижением
человеческой
мысли.
Число стало объектом изучения арифметики
(от греч. αρіφμοσ).
Люди
научились не только называть числа, но
и обозначать их, выпол-
нять
над ними действия, рассматривать
свойства действий.
Изучение
свойств натуральных чисел до сих пор
занимает в мате-
матике
важное место, оно составляет основное
содержание такого ее
раздела,
как теория чисел.
158
2.
Построение
системы натуральных чисел на основе
теории мно-
жеств
связывают с именем Георга Кантора –
творца
самой теории мно-
жеств.
В этой теории, которую называют
количественной
теорией
натуральных
чисел, основополагающими являются
понятия конечного
множества
и взаимно-однозначного соответствия.
Два
множества А
и
В
называются
равномощными, если между ни-
ми
можно установить взаимно-однозначное
соответствие (биективное
отображение).
Если множества А
и
В
равномощны,
то пишут А
~
В,
или
m(А)
= m(B). Для
конечных множеств вместо термина
«равномощные»
употребляют
термин «равночисленные».
Определение
3.1. Множество
называется конечным, если оно не
равномощно
никакому своему собственному подмножеству.
Отношение
равномощности (равночисленности) на
множестве
всех
конечных множеств, очевидно, обладает
свойствами:
1.
А
~
А
– рефлексивности;
2.
А
~
В
=>
В
~
А
– симметричности;
3.
А
~
В
∧
В
~
С
=>
А
~ С – транзитивности.
Это
означает, что оно является отношением
эквивалентности и
разбиения
всех конечных множеств на классы
эквивалентности. В один
и
тот же класс входят множества самой
различной природы, общим для
них
является только свойство равночисленности,
то есть то, что они со-
держат
одинаковое число элементов.
Например,
множество {a, b,
c, d} содержится
в том же классе эк-
вивалентности,
что и множество сторон квадрата,
множество времен
года,
множество ног собаки, множество букв
в слове «хлеб».
Определение
3.2. Натуральным
числом называется общее свой-
ство
класса непустых конечных равномощных
друг другу множеств.
Так,
число 5 означает не пять пальцев руки,
не пять уроков в день,
пять
рабочих дней недели, а то общее свойство,
которым обладают все
эти
множества –
их
общую количественную характеристику.
Таким
образом, в количественной теории
натуральное число по-
нимается
как число элементов конечного множества.
159
Число
нуль также имеет теоретико-множественное
истолкование,
/оно
ставится в соответствие пустому
множеству: 0 = m(
0
).
Присоединим
к пустому множеству произвольный
элемент, полу-
/чим
новое множество A
*
,
содержащее 0
в
качестве подмножества:
0
⊂
A*
;
A*
~
0 .
Назовем численность А
*
числом
«один» и обозначим//
/
символом
1, то есть т(А
*
)
=
1.
Присоединим
к множеству A
*
элемент,
не содержащийся в нем,
тогда
получим множество A
**
,
неравночисленное A
*
и
содержащее A
*
в
/качестве
подмножества: A*
⊂
A**
;
A**
~
A *
.
Назовем численность мно-
жества
A
**
числом
«два» и обозначим символом «2», то есть
т(А
**)
=
2.
Продолжая
описанный процесс последовательного
присоединения
новых
элементов к предыдущим множествам,
получим бесконечную
последовательность
неравночисленных между собой множеств,
нахо-
дящихся
в отношении включения.
/Действительно,
0
⊂
A*
⊂
A**
⊂
A***
⊂
.
Численности
этих множеств составят расширенный
ряд натураль-
ных
чисел, обозначаемых символами 0, 1, 2, 3,
... .
В
дальнейшем расширенный ряд натуральных
чисел будем обозна-
чать
символом N0
и
называть множеством целых
неотрицательных чисел.
3.
В
аксиоматической теории натуральное
число рассматривается
как
элемент специального множества,
представляющего собой беско-
нечный
упорядоченный ряд, в котором обязательно
существует первое
число
(первый элемент) и следующие за ним
числа расположены в
определенном
порядке. Другими словами, аксиоматическая
теория рас-
сматривает
натуральное число как число порядковое.
В
количественной теории натуральное
число понимается как ко-
личественная
характеристика конечного множества.
Выясним,
как же связаны между собой эти два
различные смысла
натурального
числа. С этой целью рассмотрим процесс
счета и предме-
тов.
Пусть, например, требуется сосчитать
элементы множества А,
представленного
на рисунке 3.1.
160
Указывая
на любой из элементов множества А,
мы
говорим
«один».
Указывая на другой, говорим «два», затем
–
«три»,
«четыре»,
«пять».
На этом процесс счета заканчивается,
так как использованы все
элементы
множества А.
Закончив
счет, мы говорим, что множество А
содержит
пять
элементов,
указывая тем самым на количественную
ха-
рактеристику
этого множества.
Рис.
3.1
Однако
в процессе счета мы не только нашли
количественную ха-
рактеристику
множества, но и упорядочили его. Про
элемент, которому
соответствует
число один, можно сказать «первый», про
элемент, кото-
рому
соответствует число «два», –
«второй»,
затем –
«третий»,
«четвер-
тый»,
«пятый».
Во
втором случае натуральное число
представляет собой порядко-
вый
номер некоторого элемента и поэтому
называется порядковым
натуральным
числом.
В
общем случае, ведя счет, важно соблюдать
следующие требования:
1)
начинать
счет можно с любого элемента множества
А;
2)
ни
один элемент множества А
не
должен быть пропущен;
3)
ни
один элемент множества А
не
должен быть сосчитан дважды;
4)
первым
при счете называется число «один»;
5)
числа,
используемые при счете, следуют одно
за другим без
пропусков.
При
соблюдении указанных требований после
окончания счета
между
множеством А
и
некоторым подмножеством натурального
ряда
161
устанавливается
взаимно-однозначное соответствие. Для
рассмотрен-
ного
примера таким подмножеством натурального
ряда является мно-
жество
{1, 2, 3, 4, 5}, которое называют отрезком
натурального ряда.
Определение
3.3. Отрезком
натурального ряда N 0
называется
множество
натуральных чисел, не превосходящих
натурального
числа
а.
Например,
отрезок N
0
есть
множество натуральных чисел, не пре-
восходящих
9, то есть N
9
=
{1, 2, 3, 4, 5, 6, 7, 8, 9}.
Определение
3.4. Счетом
элементов непустого конечного множе-
ства
А называется процесс установления
взаимно-однозначного со-
ответствия
между множеством А и отрезком натурального
ряда
Nа.
Рассмотрим
простейшие свойства отрезков натурального
ряда.
1.
Любой отрезок натурального ряда N
a
содержит
единицу, то есть
1∈
Na
.
Докажем
это. Поскольку а
число
натуральное, то а
не
может быть
меньше
1.
Если
а
= 1,
то имеем отрезок N
1
=
{1},
и
1
∈
N1
.
Если
a
>
1, то 1 < а
и,
значит, 1 содержится в отрезке N
a
.
2.
Если число b
принадлежит
отрезку N
a
и
b
≠ а, то
число b
+ 1
также
принадлежит отрезку N
a
.
(∀b
∈
N
a
)(b
≠
a
⇒
b
+
1
∈
N
a
)
.
Доказательство.
Поскольку
b
∈
N
a
,
то по определению 3.3 имеем
b
< а, тогда
по определению 3.4
существует
такое натуральное число k,
что
а
=
b
+
k.
Если
k
=
1, то b
+
1 = а
и,
значит, b
+
1
∈
N
a
.
Если
k
>
1, то k
–
1 – натуральное
число. Тогда запись a
=
b
+ k =
(b
+ 1) + (k –
1)
означает, что b
+
1 < а,
то
есть (по определению 3.4)
b
+
1∈
N
a
.
3.
Всякое
непустое конечное множество
взаимно-однозначно
отображается
на один и только один отрезок натурального
ряда.
162
Доказательство
существования отрезка
натурального ряда вытека-
ет
из определения 3.4 счета элементов
непустого конечного множества.
Доказательство
единственности проведем
методом от противного.
Предположим,
что множество А
взаимно-однозначно
отображается на два
различных
отрезка натурального ряда Na
и
Nb
.
Тогда
А
~ Na
и
A
~
Nb.
В
силу симметричности и транзитивности
отношения равномощности это
означает,
что Na
~
Nb,
или
m(Na
)
=
m(Nb).
Но m(Na)
=
a, m(Nb
)
=
b и,
сле-
довательно,
a
= b. Полученное
противоречие доказывает единственность.
Используя
понятие отрезка натурального ряда,
можно дать опре-
деление
конечного множества.
Определение
3.1*.
Множество
А называется конечным, если оно
равномощно
некоторому отрезку N a
натурального
ряда.
Доказательство
эквивалентности определений 3.1 и 3.1*
предлага-
ем
читателю в качестве упражнения.
Порядковый
смысл и количественный смысл натурального
числа, их
различия
и тесная связь рассматриваются уже в
первом классе при изуче-
нии
чисел первого десятка. Очень важно,
чтобы на этом этапе дети усво-
или
следующее. Количественное натуральное
число отвечает на вопрос:
«Сколько
предметов содержит данное множество?»
Порядковое число
отвечает
на вопрос: «Которым по счету назван
данный предмет?»
4.
Пусть
А,
В и
С
– произвольные
конечные множества; а,
b, с –
соответствующие
им целые неотрицательные числа, то есть
а
=
т(А),
b
= m(B), c = m(C).
Если
А
~
В,
то
множества А
и
В
принадлежат
одному классу экви-
валентности,
то есть имеют одну и ту же количественную
характери-
стику,
а значит, соответствующие им числа
равны, а
= b.
Итак,
числа а
и
b
равны,
если они определяются равномощными
множествами.
a=b
⇔
Df
А
~
В,
где
а
=
т(А),
b = т(В).
Из
свойств отношения равномощности
конечных множеств выте-
кают
аналогичные свойства отношения равенства
целых неотрицатель-
ных
чисел:
163
1.
(∀a
∈
N
0
)(a
=
a
)
–
рефлексивность;
2.
(∀a,
b
∈
N
0
)(a
=
b
⇒
b
=
a
)
–
симметричность;
3.
(∀a,
b,
c
∈
N
0
)(a
=
b
∧
b
=
c
⇒
a
=
c
)
–
транзитивность.
Таким
образом, отношение равенства целых
неотрицательных чи-
сел
является отношением эквивалентности.
Пусть
теперь А
~
В,
тогда
множества А
и
В
принадлежат
различным/
классам
эквивалентности и соответствующие им
числа не равны, a
≠ b.
Если
множество А
равномощно
собственному подмножеству В
1
множества
В,
то
говорят, что число а
меньше числа
b,
и
записывают
a
<
b.
В
этом случае говорят также, что число b
больше числа
а,
и
запи-
сывают
b
>
а.
Таким
образом,
a
<
b
⇔
A
~
B1
,
где
B1
⊂
B
∧
B1
≠
B
∧
B1
≠
0
.
Df
Отношение
«меньше» обладает рядом свойств.
1.
(∀a
∈
N
0
)
a
<
a
–
антирефлексивность.
Справедливость
этого свойства вытекает из того, что
конечное
множество
не может быть равномощно собственному
подмножеству.
2.
(∀a,
b
∈
N
0
)
a
<
b
⇒
b
<
a
–
асимметричность.
Справедливость
этого свойства вытекает из следующих
рассужде-
ний:
если конечное множество А
равномощно
собственному подмноже-
ству
множества В,
то
множество В
не
может быть равномощно никако-
му
собственному подмножеству множества
А,
так
как в противном слу-
чае
мы получили бы, что А
равномощно
некоторой своей собственной
части,
что противоречит конечности множества
А.
3.
(∀a,
b,
c
∈
N
0
)(a
<
b
∧
b
<
c
⇒
a
<
c
)
–
транзитивность.
Это
свойство вытекает из транзитивности
отношения строгого
включения
для множеств ( A
⊂
B
∧
B
⊂
C
⇒
A
⊂
C
).
Из
свойств 1-3 следует, что отношение
«меньше» определяет на
множестве
целых неотрицательных чисел N
0
строгий
порядок, который
является
линейным в силу свойства связности;
если a
≠ b, то
либо а
<
b,
либо
b
<
а.
164
(
)
(
)
