Разрешающая Функция

области по разомкнутой простой дуге - удаление из области Dточек дуги g, т. Е. Переход от области Dк области (или областям) , а также само множество g. При этом предполагается, что области Dпринадлежит либо вся дуга g, либо вся дуга за исключением начальной или конечной точек , ), а или принадлежат границе . Каждой точке разреза g при 0 <t<1 соответствуют два граничных элемента прилегающей к g части области D:левый и правый. В совокупности эти элементы образуют соответственно л е в ..

м н о ж е с т в о р а з д е л а, от точки O - множество тех точек хриманова многообразия W, к-рые либо соединимы с Оболее чем одной кратчайшей Ох, либо Ох не продолжима как кратчайшая за точку х. В двумерном случае Р. М. Является одномерным графом без циклов (см. [2]). В аналитическом Wлюбой размерности - полиэдром из аналитич. Одмногообразий (см. [3]). Р. М. Непрерывно зависит от О. Р. М. Определяется не только от точки, но и от других подмножеств, напр. От края , а также в пространствах, ..

д е с и н г у л я р и з а ц и я,- замена особого алгебраич. Многообразия на бирационально изоморфное неособое многообразие. Более точно, Р. О. Алгебраич. Многообразия Xнад основным полем kназ. Собственный бирациональный морфизм такой, что многообразие неособое (гладкое). Аналогично определяется Р. О. Схемы, комплексно-аналитического пространства и т. Д. Существование Р. О. Позволяет сводить многие вопросы к неособым многообразиям, при изучении к-рых можно использовать теорию пересечений и апп..

алгоритмическая проблема, в к-рой для заданного множества Атребуется построить алгоритм, разрешающий Аотносительно другого множества В, включающего , т. Е. Такой алгоритм , к-рый применим ко всякому элементу из В, причем , если , и , если . Важным классом алгоритмич. Проблем являются Р. П. Для формальных теорий, то есть Р. П. Множества всех доказуемых в теории формул (множество А).относительно множества всех формул теории (множество В). Термин "Р. П." следует отличать от термина "проблема ..