Том 18. Открытие без границ. Бесконечность в математике | страница 29

Что произойдет, если параллельных прямых будет не две, а три, десять, двадцать? Мы получим то, что в геометрии называется пучком прямых, и, что более важно, определим направление. Представим, что в нашей плоскости мы рассматриваем точку на бесконечности (одну из точек, в которых сходятся две параллельные прямые). Каждой из этих точек мы можем присвоить направление на плоскости.

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

Ее основная идея заключается в том, что две параллельные прямые или две параллельные плоскости (в аффинной геометрии они объединены общим термином «многообразие») не имеют общих точек. Единственное, что их объединяет, — общее направление. Это поняли уже геометры Возрождения, так как они работали с представлениями в трехмерном пространстве.

Идея использовать бесконечно удаленную точку принадлежит Иоганну Кеплеру (1571–1630), который стремился создать единую теорию конических сечений (он расположил второй фокус параболы на бесконечности). Более систематически эту идею изложил Жирар Дезарг (1591–1661), которого можно считать одним из отцов-основателей проективной геометрии, получившей полноценное развитие лишь в XIX веке усилиями французского математика Гаспара Монжа (1746–1818).

Понятие бесконечной делимости тесно связано с понятием непрерывности. Этот вопрос достаточно сложен и необычен. В прошлой главе вы увидели, что означает непрерывное как противоположность дискретному. Теперь мы попытаемся рассмотреть непрерывное с несколько иной точки зрения. Наиболее интуитивно понятное определение непрерывного звучит так: линия является непрерывной, если мы можем изобразить ее, не отрывая карандаша от бумаги. Понятие непрерывности также применимо к преобразованиям. Допустим, что дан параллелограмм, подобный изображенному на рисунке:

и мы хотим превратить его в квадрат с помощью непрерывного преобразования:

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

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