Читая несколько лет назад «Начала теории множеств» Шеня, столкнулся с одним показательным примером, представленным в пункте — «Равномощные множества», который, видимо, и самого автора (Шеня) несколько удивлял, раз он обращал на него внимание.
В указанном пункте автор (Шень) утверждал что принято считать два отрезка с длинам в единицу и две единицы равномощными в силу функциональной, взаимно однозначной соотнесённости (соответствия) элементов. Действительно, если любое число из первого отрезка умножить на 2, то мы получил число, принадлежащее второму отрезку, что и «доказывает» эту соотнесённость.
Возникает ряд замечаний, которые призваны установить несправедливость такого положения
Прежде всего, как многим известно, количество выявляемых чисел на каждом из отрезков бесконечно много, исходя из математического подхода, но при нём не определены принципы их выявления. В худшем представлении, они могут просто определяться как любые, не превышающие установленной границы отрезка. Этот случай будет снова подчёркнут в конце статьи.
Но что если попытаться определять на отрезках числа, исходя из постепенного увеличения их единиц деления? Таким образом я могу выявлять бесконечное количество чисел на обоих отрезках и проверять их сопоставимость через индукцию.
Определяя на отрезках исключительно целые значения у меня отсутствует полная сопоставимость: на отрезке длины два есть число 1, которое не связано функционально (через умножение на 2) ни с одним числом из отрезка длины один.