Реферат: Математические основания геоморфологии (по статье А.С. Девдариани)

Предметом данного реферата является определение объекта исследования и изложение в общих чертах содержания геоморфологии в терминах теории множеств, математической логики и топологии. Использован имеющийся опыт применения элементов теории множеств и математической логики в геологии (Косыгин, Воронин и др., 1964, 1965 и др.; Геология и математика, 1967) и географии (Родоман, 1967).

Начнем с математического определения объекта изучения геоморфологии — земной поверхности, понимая под нею поверхность литосферы или поверхность раздела литосферы с гидро- и атмосферами. В масштабах макромира, изучаемого в геоморфологии, дискретным, молекулярно-атомарным строением оболочек Земли можно пренебречь и рассматривать их как сплошную среду, т.е. как бесконечно большое множество материальных точек, каждая из которых имеет исчезающе малые размеры. Слово множество можно понимать здесь в смысле, придаваемом ему и в обыденной речи, и в математике. Но вообще, если в обыденной речи под множеством понимается большое число объектов, то в математике это совокупность любого числа однородных в каких-либо отношениях объектов, или элементов произвольной природы. Множество материальных точек s Земли обозначим через S. Отношение принадлежности элемента s к множеству S можно записать словесно: «s принимает значения на множестве S», или «из множества S», либо символически: , где — знак принадлежности.

Множество S материальных точек Земли существует в физическом пространстве, которое в геоморфологии допустимо рассматривать как ньютоново пространство. Положение каждой точки p этого пространства определяется тремя действительными (т.е. рациональными или иррациональными) числами x, y, z. Тройка чисел (x, y, z) называется вектором, потому что в декартовой системе координат X, Y, Z ее можно рассматривать как три координаты радиус-вектора Op точки p. Координата x может принимать значения из множества X действительных чисел, отложенных на оси X; следовательно, . Аналогично , . Множество всех векторов (x, y, z) называется прямым произведением множеств и записывается в виде . Это есть вместе с тем множество  всех точек  ньютонова пространства, и таким образом: . Вообще в математике прямое произведение трех множеств действительных чисел называется трехмерным евклидовым пространством; произведение n множеств действительных чисел, где n — целое число, называется n-мерным евклидовым пространством. Евклидово пространство представляет собой частный случай метрических пространств. Так называют пространства, в которые можно ввести метрику, определив тем или иным образом расстояние между элементами пространства. В евклидовом пространстве это есть расстояние между точками в обычном понимании.

Чтобы внести метрику во множество S материальных точек Земли, образуем прямое произведение  этого множества и множества P точек физического пространства. Это есть множество всех векторов , у которых первой компонентной служит какая-либо материальная точка s Земли, а второй компонентой — какая-либо точка p физического пространства. Однако не все векторы , входящие в произведение , реально существуют. Например, из возможных векторов , , , где  — одна и та же материальная точка, а p1, p2, p3 — различные точки физического пространства, может реально существовать только один вектор, допустим .

Выделим из множества векторов , образующих произведение , только те, которые отвечают реальному нахождению данной материальной точки Земли в данной точке физического пространства. Совокупность этих факторов образует подмножество R множества  векторов :

(1)

где  — знак включения подмножества во множество. Выражение (1) представляет собой запись отношения соответствия между множествами S и P (или заданного на множествах S и P), первое из которых называется областью определения, а второе — областью значений соответствия. Множество S материальных точек s Земли отображается соответствием (1) во множество P точек p физического пространства. Точки p, удовлетворяющие этому соответствию, называются образами точки s, последние, в свою очередь, являются прообразами точек p. Соответствие представляет собой обобщение понятия функции, описывая не только однозначные зависимости, когда каждому элементу из области определения (аргументу) соответствует один, и только один, элемент из области значений (функция этого аргумента), но и многозначные зависимости, когда каждому элементу из области определения соответствует более чем один элемент из области значений, как это имеет место, например, для стохастических связей.

Поскольку каждая материальная точка Земли совпадает с одной, и только одной, точкой физического пространства, соответствие (1) является функциональным, однозначным от S к P. Его можно сделать взаимнооднозначным, выделив из множества P подмножество Ps тех точек физического пространства, с которыми совпадают материальные точки Земли, и сузив область значений соответствия (1) на это подмножество. В результате получим соответствие: . Установив взаимнооднозначное соответствие между множествами S и Ps, получаем возможность внести во множество S метрику из пространства P, или, иначе говоря, определять расстояния между материальными точками Земли как расстояния между точками евклидова пространства.

Теперь можно воспользоваться понятием об окрестности некоторой точки s  множества S. Так называют множество точек s, которые находятся внутри сферы произвольного радиуса r с центром в данной точке. Выделим из множества S материальных точек Земли подмножество L точек l литосферы и подмножество A точек a гидро- и атмосферы. Всякая точка l литосферы, сколь угодно малая окрестность которой содержит только точки множества L, называется внутренней точкой множества L. Аналогичным образом определяются внутренние точки множества A.Множество M точек m, окрестности которых содержат точки как множества L, так и множества A, называется в топологии границей между множествами L и A.

Границу между множествами можно не включать ни в одно из них, а можно присоединить к любому из этих множеств. Вещество литосферы обладает гораздо меньшей подвижностью, чем вещество гидро- и атмосфер. Поэтому границу между множествами L и A удобнее присоединить к множеству L, рассматривая ее как внешнюю границу литосферы —земную поверхность. Но в таком виде эта граница, обладая и геометрическими, и вещественными свойствами, является объектом изучения не только геоморфологии, но также геологии и почвоведения. Если четко определять объект изучения геоморфологии и отделить его от объектов изучения геологии и почвоведения, то приходится принять, что задачей геоморфологии является изучение только геометрических, но не вещественных свойств земной поверхности. В математической формулировке это означает, что объектом изучения геоморфологии следует считать не саму границу множества L, а ее отображение в пространство P, т.е. поверхность в трехмерном евклидовом пространстве, прообразом которой является множество M точек внешней границы литосферы. Такой подход нисколько не исключает рассмотрение в геоморфологии вещественных свойств земной поверхности, которые вводятся в рассмотрение ниже в числе рельефообразующих факторов. Вместе с тем такой подход не исключает рассмотрения в геологии геометрических свойств земной поверхности как ограничения геологических тел. Приведенное определение объекта геоморфологии можно вообще трактовать, как узкое, сохранив наряду с ним принятое сейчас более широкое определение и дав последнему математическую трактовку в виде пространства возможных состояний рельефа, о котором будет идти речь ниже.

Свойства земной поверхности как таковой описываются геометрическими характеристиками g1, g2…, gk, принимающими значения соответственно на множествах G1, G2…, Gk. Ряд геометрических характеристик земной поверхности, например, высоту, уклон, кривизну, практически можно относить к точке поверхности. Вместе с тем эти характеристики могут быть измерены и выражены количественно, принимая, таким образом, значения на множестве действительных чисел. Но рельеф представляет собой, в терминах теории систем, сложную, иерархически, ярусно построенную систему, у которой элементы высшего яруса, вступая в определенные отношения между собой, образуют элементы низшего яруса — больших размеров. В рельефе элементами самого высокого яруса — самых малых размеров — являются точки земной поверхности. Из точек строятся элементы (в геоморфологическом смысле) форм рельефа, из  элементов форм – сами формы, из форм – типы рельефа. Обобщенный в кибернетике опыт изучения сложных систем показывает, что для них количественное выражение свойств элементов и отношений между элементами часто оказывается невозможным. Поэтому для описания состояния сложных систем приходится прибегать к качественным характеристикам, принимающим значения на конечных множествах. Так, если в каждой точке склона степень выпуклости или вогнутости определяется количественно второй производной  высоты H по расстоянию x и принимает значения на множестве действительных чисел, то склоны как элементы рельефа делят на выпуклые, , прямолинейные, , вогнутые , т.е. дают им характеристику, принимающую значения на конечном трехэлементном множестве. Другой пример: различая холмистый, низкогорный, среднегорный и высокогорный рельеф, мы даем типам рельефа качественную характеристику, принимающую значения на упорядоченном четырехэлементном множестве. Характеристики рельефа могут принимать значения на множествах функций, аппроксимирующих его очертания, корреляционных или спектральных функций, описывающих типы рельефа, и др.