Кстати, это равенство вообще верно? Тут нигде комплексного сопряжения не напутано?
-- 18.01.2015 23:11:55 --Действительно, по-дефолту принято проектировать на неподвижный базис
Боюсь, как бы у вас не смешалось несколько стилей использования бра-кет нотации, у Фейнмана в ФЛФ-8-9 она вводится несколько нестандартно. Мне кажется, вашу формулу более правильно записать как:

Можно внести пропагатор в первый множитель, и определить

но это как-то необщепринято. Удерживать пропагатор как отдельный множитель удобнее, особенно в КТП, где его расписывают как ряд, и вычисляют долго и с удовольствием.
-- 18.01.2015 23:15:30 --У Фейнмана "кет" - это приготовленные условия опыта, а "бра" - наблюдённый результат. Обычно "кет" и "бра" - векторы пространства состояний.