Металогика

билинейный ряд эрмитова положительно определенного непрерывного в ядра , где D- замыкание ограниченной области в евклидовом пространстве абсолютно и равномерно сходится в к ядру . Здесь - характеристич. Числа ядра - соответствующие им ортонормированные собственные функции. Интегральный оператор с ядром К, удовлетворяющим условиям М. Т.,- ядерный и его след вычисляется по формуле. М. Т. Допускает обобщение на случай разрывных ограниченных ядер. Теорема доказана Дж. Мерсером [1]. Лит...

- двуступенно разрешимая группа, т. Е. Группа, коммутант к-рой абелев. Все М. Г. Образуют многообразие (см. Групп многообразие), определяемое тождеством Особый интерес представляют конечно порожденные М. Г. Все они финитно аппроксимируемы (см. Финитно аппроксимируемая группа )и удовлетворяют условию максимальности (см. Обрыва цепей условие )для нормальных подгрупп. Аналогичными свойствами обладают обобщения этих групп - конечно порожденные группы, у к-рых факторгруппа по абелевой нормальной по..

- совокупность математич. Теорий, используемых при изучении формальных теорий (исчислений). М., относящаяся к изучению данной формальной теории, составляет то, что наз. метатеорией формальной теории. В близком смысле термин "М." используется как синоним доказательств теории. А. Г. Драгалин.. ..

- утверждение об изучаемой формальной аксиоматич. Теории, полученное в рамках определенной метатеории. А. Г. Драгалин.. ..