единственность
111НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ — определение, в котором определяемое вводится через некрое его отношение ко всем объектам класса, одним из элементов которого мыслится и само определяемое. В Н. о. часть (элемент) определяется через целое (множество), мыслимое раньше всех… …
112МЕТОДЫ ИССЛЕДОВАНИЯ ПРИЧИННЫХ СВЯЗЕЙ — логич. методы установления причин явлений или вытекающих из них следствий. Простейшими М. и. п. с. являются методы изучения эмпирич. причинных связей, известные под названием методов Бэкона – Милля (или индуктивных методов Милля, или методов… …
113ОПИСАНИЯ ОПЕРАТОРЫ — (операторы дескрипции) – логич. операторы, посредством к рых вводятся в рассмотрение т.н. описания (описательные о п р е д е л е н и я) – языковые конструкции (выражения), играющие роль собств. имен (в дополнение к собств. именам, входящим в… …
114АЛГЕБРАИЧЕСКИЙ МНОГОЧЛЕН НАИЛУЧШЕГО ПРИБЛИЖЕНИЯ — многочлен, наименее уклоняющийся от заданной функции. Точнее, пусть измеримая функция f(x).интегрируема с р й степенью на множество алгебраич. многочленов степени не выше п. Величину наз. наилучшим приближением, а многочлен, для к рого нижняя… …
115АСИМПТОТИЧЕСКИ УСТОЙЧИВОЕ РЕШЕНИЕ — решение дифференциальной системы, устойчивое по Ляпунову (см. Устойчивость по Ляпунову).и притягивающее все остальные решения с достаточно близкими начальными значениями. Таким образом, решение системы с правой частью , заданной для всех и… …
116БЕНДИКСОНА КРИТЕРИИ — теорема, позволяющая установить отсутствие замкнутых траекторий у ди намич. систем на плоскости: Впервые был указан И. Бендиксоном [1] в следующей формулировке: если в односвязной области G выражение знакопостоянно (т. е. сохраняет знак п… …
117БЕРНУЛЛИ УРАВНЕНИЕ — обыкновенное дифференциальное уравнение 1 го порядка где. действительное число, не равное нулю и единице. Это уравнение впервые было рассмотрено Я. Бернулли [1]. Подстановкой Б. у. приводится к линейному неоднородному уравнению 1 го порядка (см.… …
118ВЕДДЕРБЕРНА - МАЛЬЦЕВА ТЕОРЕМА — пусть А конечномерная ассоциативная алгебра над полем Fс радикалом N и пусть факторалгебра A/N сепарабельная алгебра (для алгебр над полем характеристики 0 это всегда выполнено); тогда алгебра Аразлагается (как линейное пространство) в прямую… …
119ВЕТВЯЩИХСЯ ПРОЦЕССОВ РЕГУЛЯРНОСТЬ — свойство ветвящегося процесса, обеспечивающее конечность числа частиц в любой момент времени. Вопрос о В. п. р. сводится, как правило, к вопросу о единственности решения нек рого дифференциального или интегрального уравнения. Напр., в ветвящемся… …
120ВЛОЖЕНИЯ ТЕОРЕМЫ — теоремы, относящиеся к циклу вопросов, посвященных изучению неравенств между нормами одной и той же функции, принадлежащей к разным классам (нормированным пространствам). Обычно речь идет о двух классах и , где есть часть и при этом выполняется… …
