
138
Глава
///.
Формалuзация
nредставленuй
сле
процедур
выделения
такие
границы
будут
считаться
несо
ставными.
5.
С
учетом
работ
[91, 99]
перейдем
к
организации
посред-
ством
перечисления
подтипов
еще
одного
типа
границ
в
lRf>,
l
= 3, 2, 1.
так
называемых
условных
геологических
границ.
Под
у~ловной
геологической
границей
первого
подтипа
в
lRf>
будем
понимать
поверхность
(линию,
точки),
на
которой
некоторые
'Ф
k
принимают
некоторые
фиксированные
значения.
Обозначать
такие
границы
будем
через
lr?:т
{'Ф
=
с}.
Если
в
lR'j>
заданакакая-нибудыl~т,тоo
вточкаХМЕlГ~т
можно
определить
различные
функции,
имеющие
определенный
геометрич
ес
кий
смысл
(например,
расстояние
от
некоторой
фиксированной
поверхности
(линии,
точки)
до
1V!
Е
lr~m,
радиус
кривизны
в
М
Е
lr~m,
показатель
выпуклости
-
вогнутости
в
МЕIГ~тИ
др.).
Будем
обозначать
такие
функции
через
h
(М).
ТочкиМ'
Е
lГ~т,
В
которых
h
(М)
(или
ее
какая-либо
производ
ная)
принимает
фиксированно
е
значение
с,
будем
называть
разделительными
точками
1
Г~т,
обозначая
их
через
М'
(1
Г~т,
h,
с
).
Если
задана
совокупность
eГ~т
}
,
то,
задавшись
некоторой
одной
h (N!),
М
Е
{lГ~т}
И
некоторыми
(возможно,
различными
для
различных
lr?:mE{lr~m})
фиксированными
значениями
h
(М)
{или
ее
какой-либо
производной),
можно
получить
совокуп
ность
разделительных
точек
М'
({lr~m},
h).
Всякую
поверхность
(линию,
точки),
построенную
в
lRf>
на
основе
некоторой
однозначной
операции
П
h
,
при
условии,
что
все
М
Е
M'({lr~т},
h)
принадлежат
этой
поверхности
(линии,
точкам),
будем
называть
условной
геологической
границей
второго
подтипа.
Обозначать
такие
границы
буд ем
чер
ез
lY~т
{Г,
П
h
}.
6.
Наконец,
введем
еще
один
тип
геологических
границ,
так
называемых
произвольных
г
еоло
гических
границ.
Под
произ
вольной
геологич
еск
ой
границей
буд
ем
понимать
поверхность
(линию,
точки),
которую
можно
выделить
в
; R-;', l = 3, 2,
1,
на
основе
некоторой
однозначной
процедуры,
не
связанной
с
'Ф
i
'
"Удобно
ввести
два
подтипа
таких
границ:
первый,
когда
проц
еду
ра
выделения
опирается
на
условия,
не
зависящие
от
исследователя
(например,
политико-административные),
и
второй,
когда
проц
е
дура
выделения
опирается
на
условия,
за
ви
с
ящие
от
исследователя.
Для
этих
двух
подтипов
границ
в
lR'f>
примем
обозначения:
у(1),
у
(2).