Геморфология

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

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

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

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

Выделим из множества векторов образующих произведение R множества  векторов

                   (1)

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

Поскольку каждая материальная точка Земли совпадает с одной, и только одной, точкой физического пространства, соответствие (1) является функциональным, однозначным от S к P. Его можно сделать взаимнооднозначным, выделив из множества P подмножество P_s тех точек физического пространства, с которыми совпадают материальные точки Земли, и сузив область значений соответствия (1) на это подмножество. В результате получим соответствие: S и P_s, получаем возможность внести во множество 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 точек внешней границы литосферы. Такой подход нисколько не исключает рассмотрение в геоморфологии вещественных свойств земной поверхности, которые вводятся в рассмотрение ниже в числе рельефообразующих факторов. Вместе с тем такой подход не исключает рассмотрения в геологии геометрических свойств земной поверхности как ограничения геологических тел. Приведенное определение объекта геоморфологии можно вообще трактовать, как узкое, сохранив наряду с ним принятое сейчас более широкое определение и дав последнему математическую трактовку в виде пространства возможных состояний рельефа, о котором будет идти речь ниже.

Свойства земной поверхности как таковой описываются геометрическими характеристиками g₁, g₂…, g_k, принимающими значения соответственно на множествах G₁, G₂…, G_k. Ряд геометрических характеристик земной поверхности, например, высоту, уклон, кривизну, практически можно относить к точке поверхности. Вместе с тем эти характеристики могут быть измерены и выражены количественно, принимая, таким образом, значения на множестве действительных чисел. Но рельеф представляет собой, в терминах теории систем, сложную, иерархически, ярусно построенную систему, у которой элементы высшего яруса, вступая в определенные отношения между собой, образуют элементы низшего яруса — больших размеров. В рельефе элементами самого высокого яруса — самых малых размеров — являются точки земной поверхности. Из точек строятся элементы (в геоморфологическом смысле) форм рельефа, из  элементов форм – сами формы, из форм – типы рельефа. Обобщенный в кибернетике опыт изучения сложных систем показывает, что для них количественное выражение свойств элементов и отношений между элементами часто оказывается невозможным. Поэтому для описания состояния сложных систем приходится прибегать к качественным характеристикам, принимающим значения на конечных множествах. Так, если в каждой точке склона степень выпуклости или вогнутости определяется количественно второй производной  высоты H по расстоянию x и принимает значения на множестве действительных чисел, то склоны как элементы рельефа делят на выпуклые,

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

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

Изменения рельефа вызываются рельефообразующими факторами, описываемыми характеристиками, которые обозначим

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

                     (2)

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

                    (3)

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

                (4)

где Q_u — любое из названных выше множеств. Образуем из этих множеств необходимое для дальнейших построений множество Q_u), называют системой множеств.

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

                 (5)

Прямое произведение множеств представляет собой, согласно определению, в данном случае множество векторов вида (p, t, m, g₁, g₂, …, g_k, b₁, b₂, …, b_l). Каждый из этих векторов описывает состояние, которое, вообще говоря, может принять некоторая точка рельефа в некоторый момент времени, находясь под воздействием определенного сочетания рельефообразующих факторов. Множество этих векторов будем называть пространством W возможных состояний рельефа[1]. Как было сказано выше, это пространство можно рассматривать в качестве объекта изучения геоморфологии в том широком понимании, какой придается ему в настоящее время.

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

                           (6)

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

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

               (7)

Здесь  (перевернутая буква Е) — квантор существования, читаемый как «существует хотя бы один»,  — логический союз «или» разделительное, требующий выполнения одного, и только одного из связываемых им высказываний. В целом, условие (7) читается как «существует хотя бы одно такое множество Q_u (входящее в систему  множеств, из которых строится пространство состояний W), которое удовлетворяет высказыванию, заключенному в квадратные скобки, представляя собой либо множество M, либо множество G_m».

Множества G_m могут входить как в область значений, так и в область определения соответствия (6). Пусть мы имеем условие:

                          (8)

Здесь  (перевернутая буква А) — квантор общности, имеющий смысл слова «все». Выражение (8) читается как «все множества  должны представлять собой только множества G_m», т.е. областью значений соответствия (6) при соблюдении условия (8) могут быть только те множества, на которых принимают значения геометрические характеристики рельефа. Множества, на которых принимают значения рельефообразующие факторы, элементы пространства и времени, могут входить только в область определения соответствия (6). Иначе говоря, соответствиями, удовлетворяющими условию (8), выражаются зависимости очертаний рельефа от местоположения, времени, рельефообразующих факторов, а также взаимосвязи геометрических характеристик рельефа. Ясно, что установление такого рода соответствий относится к задачам геоморфологии, сюда же отнесем соответствия, удовлетворяющие приводимому ниже условию (10).

В других случаях геометрические характеристики рельефа могут входить в область определения соответствия (6), определяя собой либо значения геологических, гидрологических, биогеографических и прочих факторов, которые в задачах, удовлетворяющих условию (8), рассматривались как рельефообразующие, либо (в геохронологических исследованиях) время. Этим случаям отвечает условие:

                      (9)

где  — логический союз «и», означающий, что должны выполняться оба связываемые им высказывания. Примерами задач такого рода могут служить: установление зависимости характеристик потока от формы ложа, дешифрование геологического строения по очертаниям рельефа, измерение времени скоростью денудации. Отнесение такого рода задач к геоморфологии или к смежным к ней наукам в той или иной мере условно. Те из задач, которые можно отнести к геоморфологии, мы будем называть ее пограничными задачами. Таким образом, условие (9) является необходимым, но недостаточным точно так же, впрочем, как и условие (8), которому могут удовлетворять пограничные задачи смежных с геоморфологией наук.

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

В пределах внутренних задач геоморфологии, определяемых условием (8), а также приводимым ниже условием (10), можно либо не учитывать, либо учитывать рельефообразующие факторы. В первом случае имеет место условие  — знак логического отрицания «не», который, будучи поставлен перед квантором существования  означает «не существует».

Накладывая на пространство (5) и соответствия (6) приведенные условия, можно поставить основные задачи геоморфологии и выделить разделы науки, в которых они решаются.

В пределах внутренних задач геоморфологии, т.е. при выполнении условий (8) или (10), логическое обоснование получают четыре раздела геоморфологии — геометрия, статика, кинематика и динамика рельефа, ранее выделявшиеся интуитивно (Девдариани, 1966).

1.     

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

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

2.      Статика рельефа:

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

3.      Кинематика рельефа:

Изучаются изменения состояния рельефа во времени вне зависимости от вызывающих эти изменения рельефообразующих факторов. При этом могут использоваться два метода описания движения: а) Локальный метод, когда объектами наблюдения служат элементы p физического пространства (например, точки на карте), в которых с течением времени t изменяются геометрические характеристики рельефа g₁, g₂, …, g_k. Соответствие (6) получает вид

                  (10)

Здесь знак  обозначает логическое отношение эквивалентности, смысл которого состоит в том, что первое высказывание, утверждающее присутствие в области определения соответствия (6) множества M, требует осуществления второго высказывания, гласящего, что областью значений соответствия является только множество P, и наоборот. Выражение (10) является упоминавшимся выше вторым наряду с (8) условием, определяющим внутренние задачи геоморфологии.

4.     

Изучается развитие рельефа при активном или пассивном воздействии рельефообразующих факторов. Примером в терминах континуальной математики может служить уравнение развития продольного профиля реки: H — высота точки профиля, A — постоянная, зависящая от его начальных очертаний; они представляют собой геометрические характеристики рельефа, принимающие значения на множествах G₁ и G₂ соответственно; t — время, принимающее значения на множестве T; F(x) — функция расстояния x, принимающего значения в одномерном евклидовом пространстве P; m — постоянная, зависящая от рельефообразующих факторов, принимающих значения на множествах B₁, B₂, …, B_l; e — основание натуральных логарифмов. Все перечисленные характеристики принимают значения из множества действительных чисел, и приведенное уравнение представляет собой конкретную форму функционального соответствия  в многомерном евклидовом пространстве состояний

Рассмотрим бесконечную упорядоченную последовательность элементов времени:

Знак  указывает, что стоящий перед ним элемент предшествует элементу, стоящему после. Для элементов множества действительных чисел знак  равносилен знаку < (меньше), а  — знаку > (больше). Для элементов времени  означает раньше, а  позже. В указанной последовательности важнейшую грань образует момент (или промежуток) времени t_н, в который произведены (или начаты) наблюдения за состоянием рассматриваемой системы. Для последующих элементов времени,  — восстанавливаются историческим и методами, на основании сохранившихся свидетельств прошлых состояний. В соответствии с этим в каждом из разделов геоморфологии следует различать задачи:

1)     

2)     

Пограничные задачи геоморфологии делятся на пограничные задачи геометрии рельефа, когда  при соблюдении, разумеется условия (9).

Использованная литература.

1.     

Автором была использована литература:

2.       Геология и математика. «Наука», Новосибирск, 1967.

3.     

4.     

5.     

6.     

7.     

8.     

9.