Сегодня иррациональные числа вполне привычны, узнать их можно по десятичной записи: в ней такие числа имеют бесконечное число знаков после запятой с непериодичной последовательностью.
Рациональные и иррациональные числа называют действительными и связывают их с положением точки в ее измерении.
* * *
Представим, что числовая прямая — это бесконечно длинная проволока, по которой ползет муравей. Если мы возьмем любую точку и обозначим ее как 0, мы сможем определить положение муравья, сказав, за сколько метров от нее он находится. Ноль обычно называют началом координат. Поскольку для определения положения муравья нам необходимо только одно число, говорят, что проволока — это одномерное пространство.
На практике для указания положения нужно больше чисел. Например, чтобы определить на GPS-карте местоположение нашего автомобиля, нужно два числа: горизонтальное и вертикальное положение на экране. Значит, карта — двумерное пространство, поскольку для определения положения частицы на ней необходимы две координаты.
Теперь мы легко понимаем, как определить положение объекта в трехмерном пространстве — для этого нам нужно не меньше чем три числа: одно — для определения высоты тела и два — для определения его положения на плоскости.
Положение частицы может быть представлено группой чисел. Рассмотрим случай частицы на плоскости.
Ее положение задано двумя точками: 5 для горизонтального положения и 7 — для вертикального. Если обозначить положение частицы через r, можно записать:
r = (5, 7).
В случае с тремя измерениями положение задано тремя числами, например:
r = (5, 7, 9),
где последнее число показывает нам глубину.
Многомерные системы
Как только мы представили каждое измерение в виде обычного числа, переход к многомерным системам упрощается: надо только продолжать добавлять числа, одно за другим. Положение точки в десятимерном пространстве задано десятью числами:
r = (5, 7, 9, 2, 3, 6, 4, 1, 3, 3).
Но как выглядит положение в десяти измерениях? Все понимают, что значит положение на плоскости, но очень сложно и даже невозможно представить пространство из пяти и более измерений. И какой смысл в том, чтобы анализировать пространства, имеющие больше трех измерений?
Великий потенциал математики состоит в том, что эта наука способна описывать объекты, которые невозможно представить. Если удается обнаружить ряд правил, работающих для одного, двух и трех измерений, их можно распространить на произвольное количество последних. Использование этих правил не требует какого-либо наглядного представления, а с его помощью можно описать свойства абсолютно новых геометрических объектов. Со временем оказалось, что многие из этих геометрических объектов, находящихся в стороне от повседневного опыта, имеют огромное значение при изучении действительности. Кажется, что математики способны, основываясь на абстрактных рассуждениях, раскрыть тайны Вселенной до того, как на них обратят внимание естественные науки.
Для того чтобы получить представление о типе отношений, которые могут выводиться для любого измерения, лучше всего подходит понятие длины, например длины стрелки.
Начнем с одномерного пространства. Предположим, что мы хотим найти длину этой стрелки.
Для этого вычитаем точку, где стрелка начинается, из точки, где она заканчивается, то есть ее длина равна 10 — 0 = 10 единиц.
В двумерном пространстве найти длину сложнее.
Как можно заметить, невозможно вычислить длину, просто глядя на график.
Нам потребуется теорема Пифагора, согласно которой квадрат гипотенузы равен сумме квадратов катетов, то есть если h — гипотенуза, а и Ь — катеты, то:
h2 = a2 + Ь2.
Таким образом, длина гипотенузы равна квадратному корню суммы квадратов катетов:
Поскольку отрезок образует треугольник с горизонтальными и вертикальными осями, нам нужно только заменить стороны а и b числами 3 и 4 соответственно, длину стрелки обозначим через l:
Теперь рассмотрим трехмерное пространство.
Горизонтальная проекция образует прямоугольный треугольник.
В этом случае длину можно найти в два этапа. Мы видим, что отрезок снова образует треугольник, в котором мы знаем высоту (она равна семи единицам), но не основание. Чтобы найти основание, нужно понять, что оно также является гипотенузой прямоугольного треугольника со сторонами три и четыре, как показано на рисунке. Обозначив основание через h, имеем:
h2 = a2 + b2 = 32 + 42 = 25.
Используя полученный результат, применим теорему Пифагора к большому треугольнику, высота которого семь единиц, а основание — пять. Обозначим через с высоту, через l длину. Помня, что h2 = a2 + Ь2 имеем:
В наших рассуждениях просматривается определенная модель. В двух измерениях длина — это квадратный корень суммы квадратов каждой координаты, то есть:
В то время как в трех измерениях длина равна:
* * *
НЕЕВКЛИДОВЫ ПРОСТРАНСТВА
Геометрия, которой мы пользуемся до сегодняшнего дня, была описана греческим математиком Евклидом (ок. 325 до н. э. — ок. 265 до н. э.). В своей книге «Начала» он описал пять аксиом, то есть утверждений, которые Евклид считал истинными, построив на их основе остальную геометрию.
В пятой аксиоме Евклида утверждается, что параллельные прямые никогда не пересекаются. Включение этой аксиомы в число основных вызывало вопросы у математиков: они были убеждены в том, что ее можно вывести из четырех предыдущих. Однако все попытки сделать это не увенчались успехом. В конце концов было решено попробовать другой путь: изменить пятую аксиому и доказать, что это ведет к противоречию. Но, к удивлению математиков, новые геометрии с измененной пятой аксиомой не были противоречивыми. В конце концов ученые вынуждены были признать, что евклидова геометрия не является единственно возможной.
Новые геометрии могут рассматриваться как обобщение понятия расстояния. Вспомним, что длина стрелки вычисляется суммированием квадратов длин сторон и извлечением квадратного корня:
Но мы можем определить расстояние и по-другому. Например, общая теория относительности определяет расстояние в пространстве и во времени. Если с — скорость света, a d — евклидово расстояние, то пространственно-временное расстояние выражается следующим образом:
Неевклидовы геометрии больше подошли для описания действительности, чем наш здравый смысл.
* * *
На самом деле, в одном измерении это просто а, которое можно выразить следующим образом:
l = √(a2)
Рассмотрев эти три выражения, можно сделать вывод, что для получения длины в еще одном измерении нужно прибавить квадрат следующей координаты. Таким образом, в n-мерном пространстве складываются квадраты n координат и извлекается корень суммы. Выражаясь математически, если обозначить n-ную координату через х, то:
Это выражение легко распространяется на любое число измерений. Таким образом, мы получили формулу для расчета длины стрелки в пространстве с любым количеством измерений. И это потрясающее математическое достижение.
Объемы, гиперобъемы, площади и гиперплощади
Понятие объема можно определить как количество пространства, которое занимает объект. Можно ли говорить об объемах в других измерениях? Например, подошло бы наше понятие объема обитателям Вселенной из пяти измерений?
Прежде чем анализировать пространства с размерностью больше трех, рассмотрим меньшее количество измерений.
В нашей повседневной действительности объем измеряется в кубических метрах (м3), кубических сантиметрах (см3) или в целом в любой единице измерения расстояния, возведенной в куб. Любопытно, что показатель степени единицы измерения объема совпадает с числом измерений пространства, в котором мы живем.
Теперь возьмем другую знакомую величину — площадь. Она измеряется в единицах измерения длины в квадрате, обычно в квадратных метрах, или м2. Площадь используется для измерения количества пространства, которое занимает плоская, то есть двумерная фигура. Итак, мы можем трактовать площадь как вид объема для двумерных объектов. Точно так же длина соответствует объему одномерных объектов.
