Cтраница 2
Понятие эквивалентности функций введено для упрощения вычисления пределов и будет еще использовано в гл. [16]
Понятие эквивалентности пар может быть истолковано еще следующим образом. Если теперь G и G - две такие Г - системы, то каждый изоморфизм этих новых систем является в то же самое время эквивалентностью пар ( G, Г) и ( G, Г) и наоборот. [17]
Понятие эквивалентности формул ИВ будет иметь для нас большое значение, так как основные изучаемые нами свойства формул ИВ сохраняются при переходе к эквивалентным формулам. Поэтому очень важно уметь находить для каждой формулы ИВ эквивалентную ей формулу, но устроенную по возможности более просто, В этом параграфе будут определены такие канониче ские представители для формул ИВ. [18]
Понятие эквивалентности прерывистых и непрерывных систем уточняется в гл. [19]
Понятием эквивалентности проб пользуются для сопоставления различных видов опробования, а также для быстрой оценки коэффициента абсолютного рассеивания по экспериментальному значению дисперсии в предположении, что изменчивость изучаемого признака может быть описана моделью Де Вийса. Кроме того, это понятие позволяет прогнозировать поведение экспериментальной вариограммы при больших расстояниях между пробами. [20]
Однако понятие эквивалентности может быть так обобщено, что любую формулу исчисления предикатов можно будет привести к нормальной форме Сколема. [21]
Это понятие эквивалентности не следует смешивать с понятием эквивалентности критерия Ф, рассматриваемого как статистика. Это, в частности, означает, что статистическое качество критерия проверки одной гипотезы относительно другой полностью определяется его функцией мощности. [22]
Используется понятие конечно-гладкой эквивалентности векторных полей на плоскости. [23]
Определим понятие эквивалентности операторных схем Янова. [24]
Расширим теперь понятие эквивалентности сплетающих гомоморфизмов. [25]
По определению понятия эквивалентности эквивалентные силы должны совершить одинаковую работу при смещении точек их приложения на один и тот же угол. [26]
Заметим, что понятие эквивалентности двух систем векторов является отношением эквивалентности. Рефлексивность очевидна, так как любая система эквивалентна самой себе, симметричность вытекает из определения эквивалентных систем, а транзитивность этого понятия следует из транзитивности понятия линейной комбинации. [27]
В классическом анализе понятие эквивалентности функций не играет существенной роли, так как там в основном рассматриваются непрерывные функции одного или нескольких переменных, а для них эквивалентность равносильна тождественности. Точнее, если две функции, / и g, непрерывные на некотором сегменте Е, эквивалентны ( относительно меры Лебега), то они совпадают. Мера такой окрестности положительна, поэтому непрерывные функции не могут быть эквивалентны, если они не совпадают. [28]
Для теории программирования понятие эквивалентности алгоритмов является слишком узким. [29]
Вообще говоря, понятие переводческой эквивалентности ( адекватности), также как и буквализма и переводческой вольности, не сводится, видимо, исключительно к вопросу о выборе надлежащей единицы перевода на том или ином языковом уровне; однако для качественной характеристики перевода решающее значение, очевидно, имеет правильный выбор этой единицы в каждом конкретном случае на требуемом уровне языковой иерархии. [30]