Гейзенверга Представление

66

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

Дифференцирование (1) по tдает уравнение для операторов в Г. П., к-рое содержит всю информацию об изменении состояния квантовой системы с течением времени t. где операторы вообще говоря, не коммутируют. Г. П. Названо по имени В. Гейзенберга (W. Heisen-berg), к-рый ввел его в 1925 в матричной формулировке квантовой механики. В. Д. Иукин.

Значения в других словарях
Гёделя Теорема О Неполноте

общее название двух теорем, установленных К. Гёделем [1]. Первая Г. Т. О н. Утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики ( знаки и обычные правила обращения с ними), найдется формально неразрешимое суждение, т. Е. Такая замкнутая формула А, что ни А, ни не являются выводимыми в системе. Вторая Г. Т. О н. Утверждает, что при выполнении естественных дополнительных условий в качестве Аможно взять утверждение о непротиворечивости рассматриваемой си..

Гёделя Теорема О Полноте

утверждение о полноте классического исчисления предикатов. Всякая предикатная формула, истинная на всех моделях, выводима (по формальным правилам классич. Исчисления предикатов). Г. Т. О п. Показывает, что множество выводимых формул этого исчисления в определенном смысле максимально. Оно содержит все чисто логические законы теоретико-множественной математики. Доказательство К. Гёделя [1] дает способ построения контрмодели (т. Е. Модели для отрицания) всякой формулы А, невыводимой в Генцена фо..

Гейне - Бореля Теорема

об открытом покрытии - см. Бореля - Лебега теорема. ..

Гейтинга Формальная Система

Гейтипга исчисление,- название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них - гейтинговское, или интуиционистское, исчисление высказываний- формализация принципов конструктивной логики высказываний. Вторая - гейтинговское, или интуиционистское, исчисление предикатов- формализация конструктивной логики предикатов. Третья - гейтинговская, или интуиционистская, арифметика - формализация принципов элементарной конструктивной теории чисел. Задуманные пер..

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

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

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

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