Флатландия. Сферландия - Эдвин Эбботт, Дионис Бюргер

Многомерные пространства давно утратили тот ореол таинственности, которым они были некогда окутаны. Идеи и методы многомерной геометрии (причем не только евклидовой, но и неевклидовой) находят ныне столь широкое применение, что трудно понять, как наши предки могли обходиться без них. К услугам многомерной геометрии прибегают химик, исследующий свойства многокомпонентных систем, и физик, пытающийся выяснить отдельные подробности поведения многих тел (трудности проблемы n тел столь велики, что вынуждают говорить о «многих телах» всякий раз, когда n ≥ 3), астроном и биолог. Проектировщик машин, создавая зубчатую передачу с большим числом шестерен, также вынужден будет воспользоваться методами многомерной геометрии, если хочет, чтобы его творение не просто соответствовало назначению, а выполняло свою функцию (в том или ином смысле) оптимально.

Четырехмерное евклидово пространство, ближайшего по размерности соседа привычного нам трехмерного пространства, постигла та же участь, что и другие многомерные пространства: оно утратило былую экзотичность и стало привычным инструментом в руках современного исследователя.

Четырехмерный мир — далеко не самое удивительное из того, что создано математической мыслью. Пытаясь найти ответы на внешне простые, но в действительности необычайно глубокие вопросы, математики совершили немало удивительных открытий. Они узнали, что существует не одна, а несколько геометрий, что размерность геометрической фигуры нельзя определять по такому интуитивно очевидному признаку, как «запас» принадлежащих фигуре точек, поскольку, например, множество точек, составляющих отрезок, равномощно множеству точек, составляющих квадрат или куб (иначе говоря, отрезок содержит «столько же» точек, сколько их содержит квадрат или куб), что размерность пространства не обязательно должна быть конечной и даже целой.

Не следует думать, будто столь странное па первый взгляд понятие, как нецелая размерность, является своего рода математическим курьезом и не имеет отношения к действительности.

Как доказывается в механике, простейшая из задач N тел — задача трех тел — приводит к необходимости рассматривать пятимерное пространство, а при произвольном N ≥ 3 — пространство с числом измерений, равным 3N − 4. Но почему нельзя считать N нецелым? Что мешает нам, например, говорить о π-мерном мире? Формулы n-мерной геометрии нам удается без особых ухищрений распространить на случай