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

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

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

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

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

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

Поскольку каждая материальная точка Земли совпадает с одной, и только одной, точкой физического пространства, соответствие (1) является функциональным, однозначным от S к P. Его можно сделать взаимнооднозначным, выделив из множества P подмножество Ps тех точек физического пространства, с которыми совпадают материальные точки Земли, и сузив область значений соответствия (1) на это подмножество. В результате получим соответствие:
[pic]. Установив взаимнооднозначное соответствие между множествами 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. Ряд геометрических характеристик земной поверхности, например, высоту, уклон, кривизну, практически можно относить к точке поверхности. Вместе с тем эти характеристики могут быть измерены и выражены количественно, принимая, таким образом, значения на множестве действительных чисел. Но рельеф представляет собой, в терминах теории систем, сложную, иерархически, ярусно построенную систему, у которой элементы высшего яруса, вступая в определенные отношения между собой, образуют элементы низшего яруса — больших размеров. В рельефе элементами самого высокого яруса — самых малых размеров — являются точки земной поверхности. Из точек строятся элементы (в геоморфологическом смысле) форм рельефа, из элементов форм – сами формы, из форм – типы рельефа.
Обобщенный в кибернетике опыт изучения сложных систем показывает, что для них количественное выражение свойств элементов и отношений между элементами часто оказывается невозможным. Поэтому для описания состояния сложных систем приходится прибегать к качественным характеристикам, принимающим значения на конечных множествах. Так, если в каждой точке склона степень выпуклости или вогнутости определяется количественно второй производной
[pic] высоты H по расстоянию x и принимает значения на множестве действительных чисел, то склоны как элементы рельефа делят на выпуклые,
[pic], прямолинейные, [pic], вогнутые [pic], т.е. дают им характеристику, принимающую значения на конечном трехэлементном множестве. Другой пример: различая холмистый, низкогорный, среднегорный и высокогорный рельеф, мы даем типам рельефа качественную характеристику, принимающую значения на упорядоченном четырехэлементном множестве. Характеристики рельефа могут принимать значения на множествах функций, аппроксимирующих его очертания, корреляционных или спектральных функций, описывающих типы рельефа, и др.

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

Геометрические характеристики рельефа изменяются не только в пространстве, но и во времени. Поэтому необходимо ввести в рассмотрение множество T элементов t времени. Мы привыкли и в обыденной жизни, и при научных наблюдениях над современными процессами измерять время и полагать, что его элементы принимают значения на множестве действительных чисел.
Однако реальное время, существующее независимо от наших измерений, не имеет собственной метрики и представляет собой множество событий, упорядоченное отношением нестрогого порядка «раньше — позже» (Уитроу, 1964). Этому определению удовлетворяет относительное геологическое время, элементами которого являются конечные промежутки. Занумеруем множество промежутков прошлого времени числами натурального ряда 0, 1, 2, 3… Натуральный ряд чисел и множества любой природы, которые могут быть поставлены во взаимнооднозначное соответствие с ним, называются счетными множествами (в отличие от несчетных множеств, к которым принадлежит, например, множество действительных чисел). Таким образом, относительное геологическое время принимает значения на конечных подмножествах счетного множества.

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

Образуем прямое произведение введенных в рассмотрение множеств:

[pic] (2)

Введем сокращенные обозначения:

[pic]; [pic], (3) где [pic] — знак произведения множеств, m и n — индексы, которые могут принимать значения от 1 до k или l соответственно. Запись можно сделать еще более короткой, если множествам, входящим в произведение (2), дать единообразные обозначения: [pic]. В этих обозначениях будем иметь

[pic], (4) где Qu — любое из названных выше множеств. Образуем из этих множеств необходимое для дальнейших построений множество [pic]. Такое множество (в этом случае [pic]), элементами которого являются опять-таки множества (в этом случае Qu), называют системой множеств.

Используя (3) и (4), можно написать

[pic] (5)

Прямое произведение множеств представляет собой, согласно определению, в данном случае множество векторов вида (p, t, m, g1, g2, …, gk, b1, b2, …, bl). Каждый из этих векторов описывает состояние, которое, вообще говоря, может принять некоторая точка рельефа в некоторый момент времени, находясь под воздействием определенного сочетания рельефообразующих факторов.
Множество этих векторов будем называть пространством W возможных состояний рельефа[1]. Как было сказано выше, это пространство можно рассматривать в качестве объекта изучения геоморфологии в том широком понимании, какой придается ему в настоящее время.

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

[pic] (6) соответствия между подпространствами [pic] (область определения соответствия) и [pic] (область значений соответствия) пространства состояний, поскольку отношения соответствия описывают связи между явлениями. В соответствии (6), во-первых, [pic] и [pic], т.е. множества
[pic] и [pic], входящие в области определения и значений соответствия, выбираются соответственно из подсистем [pic] и [pic] системы [pic] множеств, из которых строится пространство W возможных состояний; во- вторых, [pic], т.е. одно и то же множество не может входить и в область определения, и в область значений соответствия; в-третьих, [pic], т.е. соответствие (6) может быть задано не на всех, а только на некоторых множествах из системы [pic]. Геоморфологический смысл, который может быть вложен в соответствия вида (6), станет понятным из приводимых в дальнейшем примеров.

Система множеств [pic], из которых строится пространство W, может включать, в зависимости от решаемых задач, те или иные из введенных в рассмотрение множеств. Однако, чтобы не потерялись объекты изучения геоморфологии, в построении пространства W должны участвовать либо множество M материальных точек рельефа, либо хотя бы одно из множеств Gm, на которых принимают значения геометрические характеристики рельефа. В символах математической логики это условие запишется так:

[pic], (7)