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

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

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

- основное уравнение квантовой механики, определяющее вместе с соответствующими дополнительными условиями волновую функцию характеризующую состояние и микроскопия, свойства квантовой системы. Для нерелятивистской системы частиц без спина сформулировано Э. Шрёдингером (Е. Schrodinger, 1926). Оно имеет вид где -оператор Гамильтона, образованный по общему правилу. В классич. Функции Гамильтона Н( р, r )импульсы частиц ри их координаты . Заменены на операторы, имеющие, в частности, в координатн..

- непустое подмножество свободной группы Fс множеством образующих S, удовлетворяющее такому условию. Пусть элемент принадлежащий Ш. С., представлен в виде редуцированного слова от образующих группы. и пусть Тогда требуется, чтобы элемент gтакже принадлежал этой системе (элемент g' можно представлять себе как редуцированное слово, полученное из gзачеркиванием его последней буквы). Элемент 1 принадлежит каждой Ш. С. Введена О. Шрейером (О. Schreier) в 20-х гг., ом. [1]. Лит.:[1] Масси У., С..