Два - терм
Cтраница 4
Для справедливости формул (90.11) и (90.12), полученных при учете лишь двух состояний, необходима малость ( AC /) min по сравнению с расстоянием до других термов. Справедливость же формулы (90.7) для вероятности перехода требует выполнения указанного ниже условия (90.19), - вообще говоря, более жесткого. Если это условие не выполняется, то допустимо по-прежнему рассматривать только два терма, но для вычисления вероятности перехода обычная теория возмущений неприменима. В таком случае требуется более общее рассмотрение. [46]
В [28] использован оператор IF-THEN-ELSE и представлено множество правил, которые редуцируют каждую тавтологию к 1; однако для термов общего вида единственной нередуцируемой формы не получено. В этом случае, однако, порождаются перестановочные критические пары ( два терма содержат одинаковое количество одних и тех же переменных, см. [27]), с которыми невозможно оперировать, и при выполнении процедуры пополнения Кнута - Бендикса должен произойти авост. Легко построить двойственную систему с исходными операторами V и ( а не А и - f), которая также будет канонической. В данной статье, однако, в качестве базиса нашего метода доказательства теорем мы будем использовать приведенную выше систему ВА, а не двойственную к ней, поскольку оператор - - более естествен, чем, и поскольку В А обладает хорошими свойствами кольца. [47]
В выражении не могут стоять подряд два символа операдий или два терма. Обратите внимание на то, что выражение А ( В - 2) совсем не означает, что два терма здесь перемножаются. [48]
 |
Спектр поглощения d - d - полос для. [49] |
Другая причина уширения полос обусловлена эффектом Яна - Теллера, который имеет место в случае всех нелинейных многоатомных молекул. В результате этого эффекта каждое орбиталь-но-вырожденное состояние является неустойчивым. Если основное состояние характеризуется симметрией Е, то этот эффект может привести даже к расщеплению терма с симметрией Е на два терма, и соответствующее расщепление полосы поглощения действительно обнаруживается в спектре. [50]
Можно доказать существование таких зон многими способами. Мы рассмотрим два из них. На примерах иона молекулы водорода и молекулы водорода мы видели, что наличие двух собственных функций, отвечающих одной энергии, приводит к расщеплению энергии на два терма. Подобная ситуация возникает в металлах. Известно, что кристаллическая решетка приводит к отражению падающей волны, если соблюдены условия Брегга. [51]
Два атома унифицируемы, если они построены из одной предикатной константы, примененной к попарно унифицируемым термам. Таким образом, достаточно рассмотреть унификацию двух термов. Если один из них - переменная, то унификация получается мгновенно. В противном случае для унифицируемости два терма должны быть построены из одной и той же функциональной константы, примененной к попарно унифицируемым термам. [52]
Страницы: 1 2 3 4