Шпеккерова Последовательность

151

алгорифмическая, монотонная, ограниченная последовательность рациональных чисел, не являющаяся конструктивно (алгорифмически) фундаментальной. Соответственно, числовой ряд с алгорифмически заданным неотрицательным рациональным общим членом и ограниченными в совокупности частичными суммами, не являющийся конструктивно сходящийся в себе, наз. Шпеккеровым рядом. Первый пример такой последовательности (ряда) был указан Э. Шпеккером [1]. Более точно, для Ш. П. невозможна общерекурсивная функция такая, что при любых i, j, птаких, что выполняется неравенство Существование Ш. П. Является фактом принципиального значения как для конструктивной математики, так и для традиционного математич. Анализа. Поскольку Ш. П. Не сходится ни к какому конструктивному (вычислимому) действительному числу и из нее нельзя выбрать подпоследовательности с этим свойством, то .

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

См. Также Конструктивная математика, Конструктивный анализ. Лит.:[1] Specker Е., лJ. Symbol. Log..

Значения в других словарях
Шоке Симплекс

- непустое компактное выпуклое множество Xв локально выпуклом пространстве E, обладающее следующим свойством. При вложении Ев качестве гиперплоскости в пространство проектирующий конус множества Xпревращает в частично упорядоченное пространство, для к-рого пространство разностей является решеткой. В случае конечномерного ЕШ. С. Есть обычный симплекс с числом вершин dim E+1.Существует ряд эквивалентных определений III. С. (см. [1]). Одно из них сводится к требованию, чтобы пересечение с л..

Шоттки Теорема

если функция регулярная аналитическая в круге D= {z . |z|<R} и не принимает в Dнек-рых конечных значений a1, а 2, то в любом круге модуль |f(z)|ограничен числом M(a1, a2, c0, R1), зависящим только от a1, a2, c0, R1 (см. [1]). Более законченную формулировку получают, объединяя обобщенную Ш. Т. И теорему Ландау при произвольном числе выпускаемых значений. Пусть функция (*) не принимает нек-рых конечных значений Тогда, если то радиус R ограничен сверху числом, зависящим только от a1, . .,..

Шпернера Лемма

если покрытие замкнутого n-мерного симплекса Т n состоит из п+1 залмкнутых множеств А 0, A1,..., А п, поставленных в соответствие вершинам а 0, а 1, ..., а п симплекса Т n таким образом, что каждая грань этого симплекса покрыта множествами соответствующими ее вершинам, то существует точка, принадлежащая всем множествам А 0, A1,..., А п. Установлена Э. Шпернером (см. [1]). Из Ш. Л. Следует, что Лебега размерность пространства есть п. Ш. Л. Используется также для доказательства Бра..

Шрёдингера Представление

Одно из основных возможных (наряду с Гейзенберга представлением и взаимодействия представлением )эквивалентных представлений зависимости от времени tоператоров Аи волновых функции в квантовой механике и квантовой теории поля. В III. Л. Операторы А S, соответствующие физич. Динамич. Величинам, не зависят от времени t, поэтому решение Шрёдингера уравнения можно записать с помощью не зависящей от t Гамильтона функции Н формально в виде где не зависит от времени, а волновая функция в Ш. ..

Дополнительный поиск Шпеккерова Последовательность Шпеккерова Последовательность

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Шпеккерова Последовательность" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Шпеккерова Последовательность, различные варианты толкований, скрытый смысл.

Первая буква "Ш". Общая длина 29 символа