Так можно получить все точки гиперсферы. Чтобы лучше понять эту идею, мы повторим этот процесс на поверхности Флатландии. Предположим, что Квадрат, главный герой книги Эбботта, захотел изобразить на плоскости сферу с центром в точке О
и радиусом 5. Сначала он нарисовал в своей плоской вселенной окружность радиуса 5, которая, как он знает, является частью трехмерной сферы, то есть той частью, которая находится во Флатландии. Затем он действует так же, как и мы: он перемещается в любом направлении от центра на расстоянии 4 м, а затем представляет движение на 3 м вверх. По теореме Пифагора (которую он, к счастью, знает) полученная точка также будет точкой сферы (см. рисунок ниже). Кроме того, из точек окружности меньшего радиуса, например 4 м, Квадрат может представить другую окружность в верхней части сферы (то есть плоское сечение сферы), расположенную в 3 м над Флатландией. Другая меньшая окружность может быть получена при движении вниз.Квадрату удалось понять, что такое сфера, но теперь он должен попытаться представить ее. Учитывая, что каждая окружность с центром О
и радиусом меньше 5 м соответствует окружности сферы (на самом деле двум окружностям), квадрат-математик представляет себе половину сферы как группу всех окружностей с центром О и радиусом меньше 5 м, как показано на рисунке.Квадрат может мысленно представить себе это изображение, но все еще с большим трудом, поэтому он идет дальше и разделяет все круги по длине отрезка (отрезка прямой линии с концами —5 и 5) так, что каждая точка отрезка обозначает высоту h
от плоскости: положительная — вверх, отрицательная — вниз. Круг, соответствующий этой точке, будет кругом сечения сферы на высоте h (радиус которого равен положительному числу с, вычисляемому по теореме Пифагора: h2 + с2 = 52). Следующий рисунок получен именно так.Возвращаясь к случаю гиперсферы радиуса 5 м в четвертом измерении, мы можем применить аналогичный метод и представить полугиперсферу как семейство всех сфер с центрами на вершине мачты и с радиусами, меньшими 5 м или равными 5 м. Мы можем представить гиперсферу как все сферы, расположенные на различных высотах h
в направлении ана или ката.Одним из методов, используемых для визуализации четырехмерного объекта, в данном случае гиперкуба, в трехмерном или даже в двумерном пространстве, являются математические проекции, которые преобразуют четырехмерное пространство в трехмерное. Как правило, мы можем использовать математические проекции для преобразования любого n-мерного пространства в пространства меньших размерностей.
Существует два типа проекций — геометрические и алгоритмические. Первый является более естественным, его можно интерпретировать как лучи света, дающие изображения и тени. Алгоритмические проекции выражаются с помощью математических формул. Это означает, что геометрическая интерпретация теряется, зато можно использовать мощные математические средства.
В этой главе мы рассмотрим два типа естественных геометрических проекций, используемых в повседневной жизни. Это ортогональные проекции, соответствующие освещению солнечным светом, и центральные проекции, связанные с близко расположенным источником света, например лампой или фонарем. Именно так работает наше зрение, и именно их имитирует перспектива в живописи.