Производный Автоморфизм

вывода для данного исчисления - вывода правило, заключение к-рого выводимо из его посылок в рассматриваемом исчислении. Напр., в высказываний исчислении правило вывода является П. П., поскольку в этом исчислении имеет место выводимость из посылок. Всякое П. П. Является допустимым правилом, но не всякое допустимое правило является П. П. Напр., подстановки правило в исчислении высказываний является допустимым правилом, но не производным. Лит.:[1] Клини С. К., Введение в метаматема..

производное число Дини,- понятие теории функций действительного переменного. Верхним правым П. Ч. La наз. Верхний предел отношения при , где x1>x. Аналогично определяют нижнее правое la, верхнее Lg и нижнее lg левые П. Ч. Если La=la (Lg=lg), то f(x).имеет в точке ходностороннюю правую (левую) производную. Обыкновенная производная существует, если все четыре П. Ч. Конечны и совпадают. П. Ч. Были введены У. Дини [1]. Как показал Н. Н. Лузин, если все четыре П. Ч. Конечны на нек-ром множеств..

- функтор, "измеряющий" отклонение основного функтора от точного. Пусть Т( А, С).- аддитивный функтор из категории R1 -модулей и R2 -модулей в категорию R-модулей, ковариантный по первому аргументу и контравариантный по второму. Для инъективной резольвенты Xмодуля Аи проективной резольвенты Yмодуля Сполучают дважды градуированный комплекс Т( Х, Y). Группы гомологии ассоциированного одинарного комплекса Т( А, С).не зависят от выбора резольвент, обладают функторньтми свойствами и наз. Правыми прои..

генератриса, числовой или функциональной последовательности {а п (х)} - сумма степенного ряда с положительным радиусом сходимости. Если известна П. Ф., то для изучения последовательности { а п (х)}используются свойства коэффициентов Тейлора аналитич. Ций. Для многочленов {Р п (х)}, ортогональных на интервале ( а, b).с весовой функцией h(х), при нек-рых общих условиях существует П. Ф. Для классических ортогональных многочленов П. Ф. Представляется в явном виде через весовую функцию..