Тем не менее на картинах художников и в чертежах архитекторов XV века появляется точка, которая называется точкой схода. Так возникла центральная перспектива. Эту точку, в которой сходятся параллельные прямые, можно считать точкой, расположенной на актуальной бесконечности. Благодаря этой перспективе таким художникам, как Леон Баттиста Альберти (1404–1472), Филиппо Брунеллески (1377–1446) и Пьеро делла Франческа (1416–1492), которые основывались на трудах древнегреческих геометров, удалось создать ощущение трехмерного изображения.
От перспективы к проекции
Кто-нибудь хоть раз видел две параллельные прямые? Можно с уверенностью сказать: «Нет». На этот вопрос очень просто ответить, особенно если ему предшествует вопрос, на который также можно ответить категорическим нет: «Кто-нибудь хоть раз видел прямую?» Ее никто никогда не видел, так как прямая бесконечна. Максимум, что можно представить, — это отрезок прямой, пусть даже очень длинный, но не бесконечный. Если говорить о параллельных прямых, то максимум, что мы можем увидеть, — это изображение в перспективе, которое мы видим, когда смотрим на очень длинный участок, например, железнодорожных путей. Но мы видим (или же нам кажется) две прямые, которые сходятся в удаленной точке, расположенной на горизонте. Эту точку, в которой, как нам кажется, сходятся прямые, можно считать оптической иллюзией, так как ее нельзя достичь, сколько бы мы ни ехали вперед. С этой ситуацией ежедневно сталкивается, например, машинист скоростного поезда, когда движется в направлении бесконечности со скоростью триста километров в час. Можно быть уверенным, что преследование точки на бесконечности имеет столько же смысла, сколько погоня за собственной тенью.
Что произойдет, если параллельных прямых будет не две, а три, десять, двадцать? Мы получим то, что в геометрии называется пучком прямых, и, что более важно, определим направление. Представим, что в нашей плоскости мы рассматриваем точку на бесконечности (одну из точек, в которых сходятся две параллельные прямые). Каждой из этих точек мы можем присвоить направление на плоскости.
В этом случае все точки на бесконечности будут представлять различные направления на плоскости. Прямую, образованную этими бесконечно удаленными точками, можно назвать бесконечно удаленной прямой. Так мы несколько примитивным способом представили читателю один из интереснейших и красивейших разделов математики — проективную геометрию.
Ее основная идея заключается в том, что две параллельные прямые или две параллельные плоскости (в аффинной геометрии они объединены общим термином «многообразие») не имеют общих точек. Единственное, что их объединяет, — общее направление. Это поняли уже геометры Возрождения, так как они работали с представлениями в трехмерном пространстве.
Идея использовать бесконечно удаленную точку принадлежит Иоганну Кеплеру (1571–1630), который стремился создать единую теорию конических сечений (он расположил второй фокус параболы на бесконечности). Более систематически эту идею изложил Жирар Дезарг (1591–1661), которого можно считать одним из отцов-основателей проективной геометрии, получившей полноценное развитие лишь в XIX веке усилиями французского математика Гаспара Монжа (1746–1818).
Непрерывные преобразования
Понятие бесконечной делимости тесно связано с понятием непрерывности. Этот вопрос достаточно сложен и необычен. В прошлой главе вы увидели, что означает непрерывное как противоположность дискретному. Теперь мы попытаемся рассмотреть непрерывное с несколько иной точки зрения. Наиболее интуитивно понятное определение непрерывного звучит так: линия является непрерывной, если мы можем изобразить ее, не отрывая карандаша от бумаги. Понятие непрерывности также применимо к преобразованиям. Допустим, что дан параллелограмм, подобный изображенному на рисунке:
и мы хотим превратить его в квадрат с помощью непрерывного преобразования:
Нужно представить, что стороны фигуры изготовлены из деформируемого материала, например резины, и мы можем перейти от одной фигуры к другой, не ломая ее сторон.
В 1604 году Кеплер опубликовал небольшое сочинение «Оптическая часть астрономии» как дополнение к трактату по астрономии, где он представил необходимую теорию для изготовления оптических инструментов. Кеплер изучал конические сечения и возможные непрерывные преобразования одних сечений в другие. Напомним, что конические сечения — это плоские геометрические фигуры, получаемые сечением конуса плоскостью, как показано на следующей иллюстрации.
Аполлоний в своей книге «Конические сечения» определил эти фигуры как геометрические места плоскости. Его определение было абсолютно корректным, но чтобы понять его, требовались особые знания геометрии. Метод Кеплера, напротив, более понятен и обеспечивает более наглядное геометрическое представление.
Его формулировка звучит так: если мы разрежем двухсторонний конус (состоящий из двух бесконечно больших конусов, ориентированных в противоположные стороны, которые имеют общую ось и вершины которых совпадают) плоскостью, перпендикулярной оси, то получим окружность. Если мы слегка наклоним эту плоскость, то окружность превратится в эллипс, который будет увеличиваться с ростом угла наклона плоскости. Если мы продолжим наклонять плоскость, то наступит момент, когда она станет параллельна образующей конуса. В этом случае сечением будет парабола. Когда же, наконец, плоскость станет параллельна оси конуса, мы получим в сечении две ветви гиперболы. Эти кривые (эллипс, парабола и гипербола) получили название конических сечений (окружность обычно считается частным случаем эллипса). Существуют и другие способы сечения конуса плоскостью, при которых получаются так называемые вырожденные конические сечения (две прямые).
Можно представить, что плоскость, рассекающая конус, движется непрерывно, без скачков. Если бы мы могли наглядно изобразить преобразование сечения, то увидели бы, как эллипс превращается, например, в окружность или гиперболу.
Кеплер определил эти преобразования на плоскости, начав с эллипса. Напомним, что эллипс — это коническое сечение, которое можно определить как геометрическое место точек плоскости, для которых сумма расстояний до двух данных фиксированных точек, называемых фокусами, постоянна. Допустим, что фокусами эллипса, который мы хотим преобразовать, являются точки F и F' — две точки, расположенные на большой оси эллипса. Если мы будем непрерывно сдвигать F вдоль большой оси в сторону F' эксцентриситет эллипса будет уменьшаться, пока F и F' не совпадут, и эллипс не превратится в окружность.
Если теперь мы будем сдвигать фокус F в сторону, противоположную F' эксцентриситет эллипса будет расти, а сам эллипс — сплющиваться (эксцентриситет — это величина, принимающая значения от 0 до 1, которая указывает, насколько эллипс по форме отличается от окружности). В определенный момент эллипс превратится в параболу — коническое сечение с единственным фокусом. Аполлоний определял параболу как геометрическое место точек плоскости, равноудаленных от данной точки, называемой фокусом, и данной прямой, называемой директрисой параболы.
Если длинный путь точки F не закончится на бесконечности и продолжится дальше, эта точка совершит разворот в пространстве и снова появится слева от F' — в этом случае мы получим гиперболу. Иначе говоря, чтобы перейти от эллипса к гиперболе, нужно взять эллипс за концы, как за ручки, и согнуть, как показано на рисунке:
Гиперболу можно получить преобразованием эллипса. Для этого можно представить, что мы взялись за точки А и В обеими руками, как за руль автомобиля, и сложили эллипс, направив руки к себе. Таким образом, точка А перейдет в А', В — в В'.
Человек, расположенный лицом к нам, увидит у нас в руках две ветви гиперболы. Единственная проблема заключается в том, что для этого преобразования требуется выполнить поворот, пройти через бесконечность, вернуться в исходное положение и взглянуть на эллипс, как будто ничего не произошло. Как могло случиться, что Кеплер, который считал, что Вселенная конечна, и был противником всех философских и математических теорий, в которых рассматривалась актуальная бесконечность, смог не моргнув глазом описать подобное преобразование? Говоря прямо, Кеплер переходил от одной теории к другой в соответствии с практическими интересами. Разумеется, мы говорим об интересах прикладной математики.
