Подпредставление Представления

- статистический критерий для проверки сложной гипотезы против сложной альтернативы , функция мощности к-рого принимает на Q0 одно и то же заранее заданное значение из интервала (0,1). См. Неймана структура, Беренса - Фишера проблема, Подобная область. Лит.:[1] Леман Э., Проверка статистических гипотез, пер. С англ., 2 изд., М., 1979. М. С. Никулин. ..

объекта категории - понятие, аналогичное понятию подструктуры математич. Структуры. Пусть - произвольная категория и А - фиксированный объект из . В классе всех мономорфизмов из с концом в Авводится отношение предпорядка (отношение делимости справа). предшествует или , если m=m's для нек-рого . В действительности, морфизм m' однозначно определен, поскольку s - мономорфизм. Отношение предпорядка индуцирует отношение эквивалентности между мономорфизмами с концом в А:мономорфизмы и эквивале..

алгебраических систем - специальный тип подсистем прямого (декартова) произведения систем. Пусть ,- семейство однотипных алгебраич. Систем и пусть А == - прямое произведение этих систем с проекциями . Алгебраич. Система Втого же типа паз. Подпрямым произведением систем АI, если существует такое вложение , что гомоморфизмы , сюръективны. Иногда под П. П. Понимается любая система, изоморфная подсистеме прямого произведения. Тогда системы, удовлетворяющие сформулированному выше условию, наз. С..

геометрического с и м-плициального комплекса К - такой геометрический симплициальный комплекс К г, что тело KI совпадает с телом К и каждый симплекс К г содержится в нек-ром симплексе К. Практически переход к П. Производится с помощью разбиения симплексов комплекса Кна более мелкие симплексы так, чтобы разбиение каждого симплекса было согласовано с разбиением его граней. В частности, каждая вершина Кявляется вершиной К^. Переход к П. Обычно используется для доказательства инвариантнос..