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

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