Смекни!
smekni.com

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

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

Геометрические характеристики рельефа изменяются не только в пространстве, но и во времени. Поэтому необходимо ввести в рассмотрение множество 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).