Жуан Гомес - Том 4. Когда прямые искривляются. Неевклидовы геометрии стр 2.

Проблема заключается в том, что мысленно мы моделируем наше путешествие геометрически идеальным образом, представляя наш путь в виде почти прямой линии. Однако реальность вовсе не является геометрически идеальной. Наши расчеты нарушают не только неисправные светофоры или разгружающие товары грузовики. Дело еще и в том, что блоки городских зданий не образуют идеальных квадратов, а улицы не пересекаются под идеально прямыми углами Означает ли это, что невозможно найти оптимальную дорогу, чтобы утром добраться до работы?

* * *

ИЛЬДЕФОНСО СЕРДА (18151876)

Известный главным образом как инженер и архитектор, Ильдефонсо Серда обладал многими талантами, занимаясь также экономикой, правом и политикой. Его реформа городского планирования в Барселоне в XIX в., получившая название «План Серда», изменила лицо города, в результате чего появился один из самых впечатляющих районов Эшампле. По-каталонски (IEixample) или по-испански (el Ensanche) это означает «расширение». Улицы Эшампле образуют прямоугольные кварталы, пересекаясь на равных расстояниях друг от друга.

Вид с воздуха на район Эшампле в Барселоне.

* * *

Представьте, что вы находитесь в районе Эшампле и хотите попасть из точки А в точку В. Если каждый городской квартал считать за единицу пути, то каким будет в этих единицах расстояние между точками А и В?

Глядя на этот рисунок, можно представить треугольник с гипотенузой (прямая линия между точками А и В) и двумя другими сторонами (вдоль улиц от одной точки к другой). Тогда длина одной стороны составит 4 единицы, а другой 2.

Применяя теорему Пифагора (а2 = Ь2 + с2), мы можем найти длину гипотенузы: (42 + 22) = 20 = 4,47 единиц. Если нам нужно рассчитать время в пути, то очевидно, что это расстояние обманчиво, потому что мы не можем передвигаться из одной точки в другую по прямой линии. Реальное расстояние будет суммой двух других сторон треугольника, то есть 6 единиц.

Мы могли бы попробовать различные другие маршруты, чтобы найти наименьшее расстояние. Вариантов множество. Мы можем двигаться по вертикали и по горизонтали, поворачивая на первую улицу, а затем на вторую, или сделать поворот через две улицы и так далее. Однако общее расстояние всегда будет 6 единиц.

На следующем рисунке изображены различные маршруты между точками А и В. Всего имеется 15 возможностей.

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

* * *

ВОЗМОЖНЫЕ МАРШРУТЫ

Формула, выражающая количество всех возможных маршрутов для n вертикальных и m горизонтальных движений, выглядит следующим образом:

Здесь n! означает факториал числа n, который равен n ·(n-1)·(n-2)··2·1. Например, 5! = 54 32 1 = 120. В нашем примере формула записывается так:

возможных маршрутов.

В отличие от евклидова расстояния, минимальное расстояние в городе с прямоугольной сеткой улиц считается как dT(P, Q) = |x2 x1| + |y2 y1|

* * *

АБСОЛЮТНОЕ ЗНАЧЕНИЕ

Выражение |А| означает «абсолютное значение числа А», которое получается путем игнорирования знака числа. Если число А положительно, то |А| = А, а если число А отрицательно, то |А| = А, например, |-5| = 5.

Это альтернативное расстояние называется манхэттенским расстоянием, или расстоянием Минковского, в честь немецкого математика Германа Минковского.

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

Если точка С является началом координат, то точка А имеет координаты (2, 1), а точка В координаты (0, 5). Таким образом, евклидово расстояние составляет 4,47 единиц, а расстояние такси 6 единиц. Обратите внимание, что положение начала координат не влияет на результат при расчете расстояний.

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

1) δ(A, В) >= 0, и из δ(A, В) = 0 следует, что А = В;

2) δ(A, В) = δ(В, A);

3) δ(А, В) =< δ(А, С) + δ(С, В).

Евклидово расстояние d(A, В) и расстояние такси dt(A, В) два примера расстояний, которые удовлетворяют указанным выше условиям. В общем случае d(A, В) =< dT(A, В).

* * *

ГЕРМАН МИНКОВСКИЙ (18641909)

Немецкий математик Герман Минковский разработал геометрическую теорию чисел геометрический метод решения задач из теории чисел. В 1907 г. он понял, что специальная теория относительности Эйнштейна может быть лучше выражена в терминах неевклидовой геометрии четырехмерного пространства. Это пространство с тех пор называется пространством Минковского. В нем время и пространство являются взаимосвязанными измерениями и образуют четырехмерное пространство, так называемое пространство-время. Именно таким подходом позже воспользовался Эйнштейн при работе над общей теорией относительности.

* * *