Производное Число

совокупность М' всех предельных точек множества Мв топологич. Пространстве. Множество М, совпадающее со своим П. М., наз. Совершенным. М. И. Войцеховский. ..

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

в эргодической теории - преобразование TX, определяющееся по автоморфизму Т пространства с мерой( М,m) и измеримому подмножеству положительной меры , почти все точки к-рого под действием итераций Тснова попадают в X. Для каждой такой точки хопределяют TX(x).как ту точку траектории Т"х, в к-рой эта траектория впервые после х возвращается в X(согласно Пуанкаре теореме о возвращении, условие, чтобы почти все точки из Xсо временем снова возвращались в X, автоматически выполняется, если ). Пре..

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