Карсона Преобразование

пусть {а п,1<n<} - не все равные нулю неотрицательные действительные числа, тогда. Установлено Ф. Карлсоном [1]. Интегральный аналог К. Н. Если f(x)>0, , f, то Константа p2 является наилучшей в том смысле, что существует последовательность а п такая, для к-рой правая часть (1) сколь угодно близка к левой, и существует функция f(x)такая, для к-рой знак равенства в (2) достигается. Лит.:[1] Carlson P., "Ark. Mat., astron. Och fys.", 1934, Bd 25A, №7, S. 1 - 13. [2] Xapди Г. Г., ..

правило бесконечной индукции, w-правило, - вывода правило, состоящее в том, что если для арифметич. Формулы j(х). Доказаны предложения j(0), j(1),..., j(n),..., то можно считать доказанным предложение Это правило впервые введено в рассмотрение Р. Карнапом [1]. К. П. Использует бесконечное множество посылок и потому неприемлемо при построении формальных теорий по Д. Гильберту (D. Hilbert). Понятие вывода в системе с К. П. Является неразрешимым. В математич. Логике при исследовании формальной ар..

криволинейная система координат, параметризация множества М,- взаимно однозначное отображение множества Мна открытое подмножество Dарифметического векторного пространства Rn. Число пназ. Размерностью карты, а компоненты х i (р)вектора - координатами точки относительно карты х. Примером К. Служит декартова прямоугольная система координат на плоскости и в пространстве, введенная П. Ферма (P. Fermat) и Р. Декартом (R. Descartes) и положенная ими в основу аналитич. Еометрии. К. (криволинейные ..

конечномерной полупростой комплексной алгебры Ли g - базис g, составленный из элементов Картана подалгебры алгебры g и корневых векторов Х a, где D - система всех ненулевых корней алгебры g относительно т. К.- В. Б. Выбирается неоднозначно. Корень a(h), . Как линейная форма над т, отождествляется с вектором для которого где ( х, у)- Киллинга форма в алгебре д. При этом для всякого Еслито причем можно выбрать Х a. Так, чтобы выполнялось равенство [Х a, X-a] = h'a. Если то где Если ..