Сравнение множеств по числу элементов

Пусть даны множества: А={a, b, c}, B={}, С={1,2,3,4}. В каком множестве больше элементов? На этот вопрос ответят все.

Д аны два множества N={1, 2, 3, 4, …} и D={2, 4, 6, 8,…}.В каком множестве больше элементов? И на сам собой напрашивающийся ответ: “конечно, их больше в N. Больше в 2 раза” можно спросить: “А как Вы это узнали? Неужели сосчитали? Но ведь в этих множествах бесконечное число элементов, так что сосчитать Вы никак не могли”.

Или: даны 2 отрезка: На каком отрезке больше точек? И так же ответ “Конечно, на CD, ведь он длиннее”, так же возразить “Неужели Вы сосчитали точки?”

Поэтому встает проблема сравнения двух множеств по числу элементов не считая их. И это можно сделать, например, так (см. самый первый пример).

A	a	b	c		A	a	b	c
B					C	1	2	3	4

В первом случае ясно, что во множествах А и В одинаковое число элементов, а во втором, что в С больше элементов. Заметьте, что в этом случае нет необходимости считать элементы, ответ получается без счета.

• Определение Правило, которое каждому элементу множества А ставит в соответствие элемент множества В, причем так, что каждому элементу множества В оказывается поставленным в соответствие один и только один элемент множества А называется взаимно-однозначным соответствием между множествами А и В.

Между множествами А={a, b, c} и B={}было установлено взаимно-однозначное соответствие ( ), а между множествами А и С –нет.

• Определение Если между множествами А и В можно установить взаимно-однозначное соответствие, то говорят, что эти множества эквивалентны по числу элементов (или: “имеют одинаковое число элементов”; или “имеют одинаковую мощность.

Рассмотрим множества N и D. Ясно, что между ними можно установить взаимно-однозначное соответствие.

N	1	2	3	4	…	n	…
D	2	4	6	8	…	2n	…

И поэтому, в этих множествах одинаковое число элементов.

• Замечание Четных чисел столько же, сколько и всех натуральных!

В отношении двух отрезков вопрос также решается очень просто. Проделав построение, указанное на рисунке, получим, что между точками отрезков АВ и CD установлено взаимно-однозначное соответствие. Таким образом, на этих двух отрезках одинаковое число точек (несмотря на то, что отрезок CD длиннее отрезка АВ). В чем же была ошибка? Она была в том, что на бесконечные множества были перенесены свойства конечных множеств.