Когда я говорю, что такая-то часть такого-то тела находится в соприкосновении с такой-то частью другого какого-нибудь тела, я высказываю предложение, касающееся взаимных отношений этих двух тел, но не их отношений к пространству.
Я думаю, вы согласитесь со мной, что здесь мы имеем дело не с геометрическими свойствами; по крайней мере, вы, наверно, согласитесь, что эти свойства независимы от каких бы то ни было понятий метрической геометрии.
После этого представим себе, что имеется твердое тело, состоящее из восьми тонких железных стержней ОА, ОВ, ОС, ОD, ОE, ОF, OG и ОН, соединенных вместе своими концами О.
Пусть, с другой стороны, мы имеем второе твердое тело, например кусок дерева, на котором отметим чернилами три маленьких пятнышка; я назову их αβγ.
Пусть мы убедились затем, что можно привести в соприкосновение αβγ с AGO (т. е. одновременно α с А, β с G и γ с О), потом – что последовательно можно привести в соприкосновение αβγ с ВGO, CGO, DGO, EGO, FGO, затем с АНО, ВHО, СHО, DНО, ЕНО, FHO, потом αγ последовательно с AВ, ВС, CD, DE, EF, FA.
Вот опытные факты, в которых можно удостовериться, не имея наперед никакого знания о форме или метрических свойствах пространства. Они никоим образом не относятся к «геометрическим свойствам тел». И эти факты будут невозможны, если тела, над которыми экспериментируют, движутся, следуя группе такой же структуры, как группа Лобачевского (я хочу сказать – по законам движения твердых тел в геометрии Лобачевского). Значит, достаточно этих фактов, чтобы убедиться, что тела эти движутся, следуя евклидовой группе, или, по крайней мере, что они движутся не в соответствии с группой Лобачевского.
Что эти факты совместимы с евклидовой группой, легко убедиться: стоит только представить себе αβγ неизменяемым твердым телом нашей обычной геометрии, имеющим форму прямоугольного треугольника, а точки A, В, С, D, E, F, G, Н – вершинами многогранника, образованного двумя правильными шестигранными пирамидами нашей обыкновенной геометрии, имеющими общим основанием ABCDEF, а вершинами – одна G, другая Н.
Предположим теперь, что вместо предыдущих фактов мы наблюдали, что можно опять-таки наложить αβγ последовательно на AGO, BGO, CGO, DGO, EGO, FGO, АНО, ВHО, СHО, DHО, EHО, FHО, а потом можно αβ (отнюдь не αγ) наложить последовательно на АВ, ВС, CD, DE, EF и FA.
Вот опытные факты, которые можно было бы наблюдать, если бы неевклидова геометрия была правильна и если бы αβγи OABCDEFGH были неизменяемыми твердыми телами: первое – в форме прямоугольного треугольника, а второе – в форме двойной правильной шестигранной пирамиды соответствующих размеров.
Итак, эти новые факты невозможны, раз тела движутся, следуя евклидовой группе; но они стали бы возможны, если бы допустить, что тела движутся подобно группе Лобачевского. Их было бы, следовательно, достаточно (если бы они наблюдались), чтобы убедиться, что рассматриваемые тела не движутся, следуя евклидовой группе.
Таким образом, не вводя никакой гипотезы о форме и природе пространства, об отношениях тел