Метабелева Группа

- простое число вида М п= 2 п- 1, где n=1, 2, 3, . М. Ч. Рассматривались в 17 в. М. Мерсенном (М. Mersenne). Числа М п могут быть простыми только при простых значениях п. При n=2, 3, 5, 7 получаются соответственно простые числа М п=3,7, 31, 127. Однако при n=11 число М п будет составным. В дальнейшем при простых значениях псреди чисел М п встречаются как простые, так и составные числа. Быстрый рост чисел М п затрудняет их исследование. При рассмотрении конкретных чисел М п было д..

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

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

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