Количественные натуральные числа. Счет

Аксиоматическая теория описывает натуральное число как элемент бесконечного ряда, в котором числа располагаются в определенном порядке, существует первое число и т.д. Другими словами, в аксиоматике раскрывается порядковый смысл натурального числа. Но натуральные числа имеют и количественный смысл. Чтобы выяснить, как связаны между собой эти два смысла натурального числа, рассмотрим такие понятия, как отрезок натурального ряда, конечное множество, счет, и другие.

Определение. Отрезком N_a натурального ряда называется множество натуральных чисел, не превосходящих натурального числа а.

Упражнения

1. Можно ли назвать отрезком натурального ряда множество:

а) {1,2,3,4}; в) {2, 3,4, 5};

б) {1,3,5,7}; г) {1,2,4,5}?

2. Докажите, что множество В конечное, если:

а) В - множество букв в слове «параллелограмм»;

б) В - множество учащихся в классе;

в) В - множество букв в учебнике математики.

3. Прочитайте записи: п(А) = 5; п(А) = 7. Приведите примеры множеств, содержащих указанное число элементов.

4. Что значит сосчитать элементы конечного множества? Сформулируйте правила, которые должны соблюдать учащиеся при счете предметов и которые вытекают из определения счета элементов конечного множества.

§15 ТЕОРЕТИКО-МНОЖЕСТВЕННЫЙ СМЫСЛ НАТУРАЛЬНОГО ЧИСЛА, НУЛЯ И ОПЕРАЦИЙ НАД ЧИСЛАМИ

Введя понятие отрезка натурального ряда, мы выяснили, что счет элементов конечного множества приводит к числу количественному. Используя теоретико-множественные понятия, можно разъяснить смысл количественного натурального числа, не связывая его со счетом. Сделаем это в рамках так называемого теоретико-множественного подхода к числу. Учителю начальных классов знание этого подхода поможет понять, как построены те курсы начальной математики, которые основаны на теоретико-множественной модели системы натуральных чисел, используемой явно или неявно.

70. Теоретико-множественный смысл натурального числа, нуля и отношения «меньше»

Как было установлено ранее, количественное натуральное число а получается в результате счета элементов конечного множества А: а = п(А). Это же число а может быть получено и при пересчете элементов другого множества, например, В. Но если а = п(В), то множества А и В равномощны, поскольку содержат поровну элементов.

Так как любому непустому конечному множеству соответствует только одно натуральное число, то вся совокупность конечных множеств разбивается на классы равномощных множеств. В одном классе будут содержаться все одноэлементные множества, в другом – двухэлементные и т.д. Множества одного класса различны по своей природе, но все они содержат одинаковое число элементов. И это число можно рассматривать как общее свойство класса конечных равномощных множеств.

Таким образом, с теоретико-множественной точки зрения, натуральное число - это общее свойство класса конечных равномощных

Так как каждый класс равномощных конечных множеств однозначно определяется выбором какого-нибудь его представителя, то о натуральном числе «три» можно сказать, что это общее свойство класса множеств, равномощных, например, множеству сторон треугольника, а о натуральном числе «четыре», что это общее свойство класса множеств, равномощных, например, множеству вершин квадрата.

Число «нуль» с теоретико-множественных позиций рассматривается как число элементов пустого множества: 0 =п( Æ ).

Итак, натуральное число а как характеристику количества можно рассматривать с двух позиций:

1)как число элементов в множестве А, получаемое при счете, т.е. а = п(А), причем А ~ N_а;

2)как общее свойство класса конечных равномощных множеств.

Установленная связь между конечными множествами и натуральными числами позволяет дать теоретико-множественное истолкование отношения «меньше».

В аксиоматической теории это отношение определено следующим образом:

а < b Û ($ с Î N) а + с=b.

Если а < b, то это означает, что отрезок натурального ряда N _a является собственным подмножеством отрезка N _b, т.е. N _a Ì N _b и N _a ¹ N _b. Справедливо и обратное утверждение: если N _а - собственное подмножество N _b, то а < b. Тем самым отношение «меньше» получает теоретико-множественное истолкование: а < b в том и только в том случае, когда отрезок натурального ряда N _a является собственным подмножеством отрезка N _b:

а < b Û N _b Ì N _b и N _a ¹ N _b.

Так, справедливость неравенства 3 < 7 вытекает из того, что {1, 2,3} Ì {1,2, 3,4, 5, 6, 7}.

Если воспользоваться терминологией, принятой в школьном курсе математики, то последнее определение отношения «меньше» можно сформулировать так: «Число а меньше числа b тогда и только тогда, когда при счете число а называют раньше числа b».

Данная трактовка отношения «меньше» позволяет сравнивать числа, опираясь на знание их места в натуральном ряду. Однако сравнение чисел (особенно небольших) часто выполняют иначе, используя связь чисел с конечными множествами. Например, если 3 – это число квадратов на рисунке 111, а 7 – число кружков на этом рисунке, то 3 < 7, потому что во втором множестве можно выделить собственное подмножество, равномощное множеству квадратов. Этот способ установления отношения между числами 3 и 7 вытекает из трактовки отношения «меньше», данной выше: множество квадратов равномощно отрезку N₃, а множество кружков – отрезку N₇ и N₃ Ì N₇.

В общем виде рассмотренный подход к определению отношения «меньше» можно обосновать следующим образом: пусть а = п(А), b = п(В), и а < b. Тогда A ~N _a, B ~N _a и N _a Ì N b. Последнее отношение означает, что в множестве В можно выделить собственное подмножество В, равномощное множеству А:

а = п(А), b = п(В) и а < b Û А ~ В₁, где В₁ Ì В, В₁ ¹ В, В₁ ¹ Æ.

Свойства отношения «меньше» для натуральных чисел также получают теоретико-множественное истолкование: транзитивность и антисимметричность этого отношения связаны с тем, что транзитивно и антисимметрично отношение «быть подмножеством».

Теоретико-множественный смысл неравенства 0 < а, истинного для любого натурального числа а, связан с тем, что пустое множество является подмножеством отрезка N _a (или любого такого множества А, для которого а = п(А)).

Заметим, что приведенные трактовки отношения «меньше» основываются на понятии подмножества конечного множества. Так как в реальной жизни мы, как правило, имеем дело с конечными множествами, то наш опыт говорит о том, что и любое подмножество конечного множества - конечно. Однако с математической точки зрения этот факт нуждается в доказательстве.

Теорема 1. Любое непустое подмножество конечного множества конечно.

Доказательство этой теоремы мы опускаем.

В связи с тем, что при определении числа, соответствующему множеству А, приходится прибегать к счету, а для этого нужен некоторый отрезок натурального ряда, то изучение математики в начальных классах начинается, как правило, с усвоения чисел первого десятка. Параллельно раскрывается смысл каждого из этих чисел, причем количественное натуральное число часто рассматривается как общее свойство класса конечных равномощных множеств. Например, когда Учащиеся изучают число «три», они рассматривают множества, содержащие три элемента: три кубика, три карандаша и др. Так происходит при изучении всех чисел первого десятка, но число элементов в Множестве каждый раз определяется путем пересчета, т.е. количественный и порядковый смысл числа, а также его запись выступают в тесной взаимосвязи.

Сравнение чисел в начальном курсе математики осуществи различными способами - оно основано на всех рассмотренных нами подходах к трактовке отношения «меньше».

Упражнения

1. Почему на уроке, где изучается число «четыре», можно использовать картинку с изображением четырех яблок, четырех тетрадей можно воспользоваться и другими примерами четырехэлементных множеств?

2. Какой подход к определению отношения «меньше» используется при ознакомлении младших школьников с неравенством 3 < 4, если выполняются следующие действия: возьмем три розовых кружка и четыре синих и каждый розовый кружок наложим на синий; видим что синий кружок остался незакрытым, значит, розовых кружков меньше чем синих, поэтому можно записать: 3 < 4.

3. Исходя из различных определений отношения «меньше», объясните, почему 2 < 5.

4. Как, используя теоретико-множественный подход к числу, объяснить, что 4 = 4?

Не нашли, что искали? Воспользуйтесь поиском: