Приведу еще один пример. Если мы возьмем совокупность всех точек промежутка 0–1, включая сюда и пределы 0 и 1, то, как известно, она имеет своими соответственными числами совокупность всех иррациональных и рациональных чисел, которые не меньше 0 и не больше 1. Такая группа точек принадлежит к типу так называемых совершенных групп. Каждому мыслимому числу, рациональному или иррациональному – безразлично, соответствует точка группы, и, наоборот, каждой точке группы соответствует рациональное или иррациональное число, которое меньше 0 и не больше
1. Возьмем теперь между теми же пределами О и 1 другую группу точек – группу рациональных точек; каждой точке этой группы непременно соответствует число, заключающееся между 0 и 1; но сказать наоборот никак нельзя: не всякому числу соответствует точка группы и, если мы берем число иррациональное, то соответствующей ему точки не существует. В соответственном месте отрезка – носителя группы – группа имеет изъян, пробел. Так как между каждыми двумя рациональными числами существует бесконечное множество иррациональных, то в каждом отделе группы нашей существует бесконечное множество изъянов; вся группа разъедена, изгрызена. Однако эта источенность группы имеет одно замечательное свойство: дело в том, что между любою парою рациональных чисел, как бы ни разнились они мало, существует не только бесконечное множество иррациональных промежуточных, но и бесконечное множество рациональных же промежуточных. Другими словами, какой бы малый кусочек нашего прямолинейного отрезка мы ни взяли, он непременно окажется начиненным бесконечным множеством точек группы. За это свойство группа наша может быть отнесена к типу групп «всюду-плотных». Итак, с одной стороны, мы имеем сказанную всюду – плотную группу, а с другой – группу совершенную, о которой речь шла ранее. Все точки, которые участвуют в первой группе, участвуют и во второй, но нельзя сказать обратного; во второй группе имеется бесконечное множество точек, не участвующих в первой. Первая группа есть как бы изъеденная бесконечно-тонкими дырочками вторая группа, а вторая – зачиненная первая; та и другая по своим свойствам существенно разнятся между собою; они настолько различны, что немыслимо смешивание их; иначе можно наделать грубейших ошибок. И, однако, та и другая никаким созерцанием, никаким микроскопом не отличимы между собою. Первая есть как бы полоска пыли, насыпанная вдоль прямой линии, вторая – сплошная ниточка; в первой – разрозненные точки, рассыпавшиеся ниточки бисера, а вторая – непрерывная последовательность точек. И все-таки та и другая группы не могут быть представляемы как разнящиеся, хотя, с другой стороны, не могут быть мыслимы как тождественные. Вводимое в теории групп понятие о группе производной делает различие их особенно очевидным.
Я бы мог привести тебе еще множество примеров из теории групп, но за недостатком времени поспешу идти далее.
A. –