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

Предметом данного реферата является определение объекта исследования и изложение в общих чертах содержания геоморфологии в терминах теории множеств, математической логики и топологии. Использован имеющийся опыт применения элементов теории множеств и математической логики в геологии (Косыгин, Воронин и др., 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 и принимает значения на множестве действительных чисел, то склоны как элементы рельефа делят на выпуклые, , прямолинейные, , вогнутые , т.е. дают им характеристику, принимающую значения на конечном трехэлементном множестве. Другой пример: различая холмистый, низкогорный, среднегорный и высокогорный рельеф, мы даем типам рельефа качественную характеристику, принимающую значения на упорядоченном четырехэлементном множестве. Характеристики рельефа могут принимать значения на множествах функций, аппроксимирующих его очертания, корреляционных или спектральных функций, описывающих типы рельефа, и др.

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

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

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

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

(2)

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

;,(3)

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

,(4)

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

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

(5)

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

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

(6)

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

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

,(7)

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

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

(8)

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

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

,(9)

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

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

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

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

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

Геометрия рельефа:

.

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

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

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

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

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

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

.(10)

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

Динамика рельефа: .

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

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

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

изучения современного и прогнозирование будущего рельефа, определяемые условием ;

изучения прошлого рельефа, определяемые в кинематике и динамике рельефа условием , а в геометрии и статике рельефа — условием .

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

Список литературы

Журнал «Геоморфология», А.С. Девдариани, №1, 1971г., с.46-55.

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

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

Девдариани А.С. Итоги науки. Геоморфология, вып.1. Математические методы. Изд. ВИНИТИ, М., 1966.

Косыгин Ю.А., Воронин Ю.А., Соловьев В.А. Опыт формализации некоторых тектонических понятий. Геол. и геофиз., 1964, №1.

Косыгин Ю.А., Воронин Ю.А. Геологическое пространство как основа структурных построений. Статья 1. Геол. и геофиз., 1965, №9.

Родоман Б.Б. Математические аспекты формализации порайонных географических характеристик. Вестн. МГУ. География, 1967, №2.

Стинрод Н., Чинн У. Первые понятия топологии. «Мир», М., 1967.

Уитроу Дж. Естественная философия времени. «Прогресс», М., 1965.

Шиханович Ю.А. Введение в современную математику. «Наука», М., 1965.