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

..

- числа, величины, по к-рым находится (определяется) положение какого-либо элемента (точки) в некоторой совокупности (множестве М), например на плоскости поверхности, в пространстве, на многообразии. В ряде разделов математики и физики К. Именуются по-другому, напр. К. Элемента (вектора) векторного пространства наз. Его компонентами, К. В произведении множеств - проекции на один из его сомножителей, в теории относительности системы К.- это системы отсчета, и т. П. Часто встречается ситуация, ког..

представление группы Ли G, контрагредиентное к присоединенному представлениюAd этой группы. К. П. Действует в пространстве g*, дуальном к пространству алгебры Ли g группы G. Если G - вещественная матричная группа, т. Е. Подгруппа в GL (n,R), то g - подпространство в пространстве Matn (R) вещественных матриц порядка n. Пусть g^ - ортогональное дополнение к g относительно билинейной формы V - какое-нибудь подпространство в Matn(R), дополнительное к g^, P - оператор проектирования на Vпар..

семейства объектов категории - понятие, описывающее на языке морфизмов конструкции прямой суммы модулей или разъединенного объединения (букета) множеств. Пусть Ai, i ОI -индексированное семейство объектов категории M. Объект S, вместе с морфизмами si . А i-> S, наз. Копроизведением семейства А i, i ОI, если для всякого семейства морфизмов ai . А i-> X, i ОI, существует такой единственный морфизм a. S->X, что sia=ai, i ОI. Морфизмы si наз. Вложениями копроизведения. К. Обозначается П*i ОI А i..