ГЕОМЕТРИЧЕСКИЕ ПРОСТРАНСТВА И ИХ РАЗМЕРНОСТЬ

Термин «пространство» часто встречается в геометрии. Существуют аффинное пространство, евклидово, проективное, топологическое, эллиптическое и другие. Любое пространство представляет собой множество, удовлетворяющее определенной системе аксиом.

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

Интуитивно мы понимаем, что на плоскости точек больше, чем на прямой, так как прямая может быть совмещена с некоторой прямой на плоскости. На поверхности точек меньше, чем в пространстве, то есть поверхность - подмножество пространства, поэтому поверхность содержит «меньше» точек, чем пространство.

Таким образом, среди бесконечных множеств существует своя иерархия. Можно сказать, что если множество Мможно взаимно однозначно и взаимно непрерывно отобразить на множество N, то М и N имеют одинаковую размерность. Если же такого отображения не существует, но существует взаимно однозначное и взаимно непрерывное отображение множества М на подмножество N₁ N, то М имеет размерность меньше, чем N.

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

Число параметров p, которое необходимо задать, чтобы определить элемент множества, называется параметрическим числом этого множества, а само множество – р-параметрическим. Параметрическое число может быть взято в качестве количественной характеристики бесконечных множеств. В качестве параметров для евклидовых пространств могут быть взяты координаты точки в декартовой системе координат (декартовы координаты).

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

Число параметров (координат), которое необходимо задать, чтобы определить точку в пространстве, называется размерностью пространства. Таким образом, размерность – это параметрическое число множества, которое является пространством. В связи с этим будем считать, что точка – «нульмерное» пространство (аксиома). Линия (прямая) – одномерное евклидово пространство, которое обычно обозначается Е₁, или одномерное множество точек - . Поверхность (плоскость) – двумерное евклидово пространство, обозначается Е₂,или двумерное множество точек - , а трехмерное евклидово пространство имеет размерность, равную 3, – трехмерное множество точек - , обозначается Е₃. Употребляется также запись dim M=n, означающая «размерность множества М равна n» (dimension(англ.) – размерность).

Пусть N – двупараметрическое множество. Каждый элемент из N определяется конкретной парой чисел из множества (а₁, а₂). Между Nи Е₂можно установить взаимно однозначное соответствие, так как они одной мощности (параметрическое число N и размерность Е₂ равны). Соответствие можно установить, например, так: х=а₁, y=а₂. Каждому элементу из Nбудет соответствовать точка из Е₂. Пространство Е₂будет являться геометрической моделью N.

Итак, множество имеет размерность n, если его элементам можно взаимно однозначно поставить n-ки («энки») чисел а₁, а₂, а₃ …, а_n, то есть n-я декартова степень множества. Эти числа называют параметрами конкретного множества.

Таким образом, за эталон n-мерного множества принимают множество R_n, элементом которого служит n-ка вещественных чисел а₁, а₂, а₃, …, а_n, то есть n-я декартова степень множества вещественных чисел.