ПОИСК Статьи Рисунки Таблицы Доказательство теорем из "Термодинамический формализм" Это неравенство несовместимо с неравенствами 1 — е, е, если е выбрано достаточно малым. Поэтому предположение [i] ф [j] необходимо отбросить. [c.101] Различные множества а классов [г] можно считать непересекающи-мися, что доказывает п. (а) теоремы 5.2. Вспомним теперь, что носитель каждого чистого гиббсовского состояния для взаимодействия Ф G на fi содержится в одном из множеств fil и, следовательно, в одном из множеств F )fi Поэтому ограничение такого состояния на fi ) является гиббсовским состоянием для ограничения взаимодействия Ф на множество Ui x конечно , т. е. для Это доказывает утверждение (Ь). Утверждение (с) доказывается непосредственно. [c.102] Вернуться к основной статье