Докажите, что если расстояние между любыми двумя точками множества М на прямой больше единицы, то множество М не более, чем счетное​

Разобьем прямую на отрезки длины 1 целыми числами (по сути, возьмем числовую ось). Обозначим это множество A.

Т.к. расстояние между любыми двумя точками множества М на прямой больше единицы, то каждый отрезок содержит не более одной точки множества М. Пусть множество - множество отрезков, содержащих точку множества М.

Поставим каждому отрезку в соответствие число, являющееся его левым концом. Тогда множество A счетно. А значит любое его подмножество счетно. Значит B счетно.

Поставим в соответствие каждой точке множества M отрезок из B, содержащий эту точку. Тогда между M и B есть биекция, а тогда М не более, чем счетное​.