1. Рассмотрим уравнение Шредингера $H\psi =E\psi$ для системы, состоящей из двух тождественных частии. Примем ради простоты, что каждая частица имеет одну степень свободы; пусть их координатами будут $x$ и $y$. Тогда
$$\mathrm{H}\psi =-\frac{{\hslash }^2}{2m}(\frac{{\partial }^2}{\partial x^2}+\frac{{\partial }^2}{\partial y^2})\psi (x,y)+V(x,y)\psi (x,y)=E\psi (x,y),$$

где $m$-масса каждой из частиц. Так как частицы тождественны, потенциальная энергия должна быть одинаковой как в случае, когда первая частица находится в положении $a$, а вторая — в положении $b$, так и в случае, когда первая находится в $b$, а вторая — в $a$. Иначе говоря, для всех значений $a$ и $b$
$$V(a,b)=V(b,a).$$

Предположим, что (11.1) имеет дискретный спектр и что ${\psi }_x(x,y)$ принадлежит дискретному собственному значению $E_x$. Примем также, что этому собственному значению не принадлежат другие линейно независимые собственные функции; тогда наиболее общее решение дифференциального уравнения для ${\psi }_x$ :
$$H{\psi }_x=E_x{\psi }_x,$$

обращающееся в нуль при стремлении $x$ или $у$ к $+\mathrm{\infty }$ ити $-\mathrm{\infty }$, является произведением ${\psi }_x$ на константу.

Рассмотрим функцию $\mathrm{P}{\psi }_{\mathrm{x}}={\overline{\psi }}_x$, определенную таким образом, что
$$\mathrm{P}{\psi }_x(a,b)={\overline{\psi }}_x(a,b)={\psi }_x(b,a)$$

для всех значений $a$ и $b$. Покажем, что ${\overline{\psi }}_{\mathrm{x}}(a,b)$ также является решением дифференциального уравнения (11.3). Временно обозначим производную функции $f(x,y)$ по первой переменной через
$f^{(1)}(x,y)$, а по второй переменной — через $f^{(2)}(x,y)$. Иначе говоря
$$\begin{array}{c}\frac{\partial f(x,y)}{\partial x}=f^{(1)}(x,y),\frac{\partial f(x,y)}{\partial y}=f^{(2)}(x,y),\\ \frac{{\partial }^{2}f(x,y)}{\partial x^2}=\frac{\partial f^{(1)}(x,y)}{\partial x}=f^{(1)(1)}(x,y)\end{array}$$

и т. д. Аналогичным образом
$$\frac{\partial f(y,x)}{\partial x}=f^{(2)}(y,x),\frac{\partial f(y,x)}{\partial y}=f^{(1)}(y,x).$$

Тогда дифференцирование функции (11.4) по $a$ и $b$ дает
$$\begin{array}{ll}{\overline{\psi }}_x^{(1)}(a,b)={\psi }_x^{(2)}(b,a),& {\overline{\psi }}_x^{(1)(1)}(a,b)={\psi }_x^{(2)(2)}(b,a),\\ {\overline{\psi }}_x^{(2)}(a,b)={\psi }_x^{(1)}(b,a),& {\overline{\psi }}_x^{(2)(2)}(a,b)={\psi }_x^{(1)(1)}(b,a).\end{array}$$

Вычислим теперь
$$\begin{array}{l}H{\overline{\psi }}_x(x,y)=-\frac{{\hslash }^2}{2m}(\frac{{\partial }^2}{\partial x^2}+\frac{{\partial }^2}{\partial y^2}){\overline{\psi }}_x(x,y)+V(x,y){\overline{\psi }}_x(x,y)=\\ =-\frac{{\hslash }^2}{2m}[{\overline{\psi }}_x^{(1)(1)}(x,y)+{\overline{\psi }}_x^{(2)(2)}(x,y)]+V(x,y){\overline{\psi }}_x(x,y).\end{array}$$

Используя (11.6), (11.4), (11.2) и (11.3), получаем уравнение
$$\begin{array}{rl}H{\overline{\psi }}_x(x,y)& =-\frac{{\hslash }^2}{2m}[{\psi }_x^{(2)(2)}(y,x)+{\psi }_x^{(1)(1)}(y,x)]+V(y,x){\psi }_x(y,x)=\\ & =E_x{\psi }_x(y,x)=E_x{\overline{\psi }}_x(x,y).\end{array}$$

Таким образом, $\mathrm{P}{\psi }_x(x,y)={\overline{\psi }}_x(x,y)$ также является решением дифференциального уравнения (11.3), удовлетворяющим тем же граничным условиям на $\pm \mathrm{\infty }$. Оно должно быть, следовательно, кратным функции ${\psi }_x(x,y)$ :
$${\overline{\psi }}_x(x,y)=c{\psi }_x(x,y).$$

Чтобы определить постоянную $c$, заметим, что в силу (11.4),
$$c{\psi }_x(a,b)={\overline{\psi }}_x(a,b)={\psi }_x(b,a)$$

для всех значений $a$ и $b$. Если записать (11.10) сначала для пары значений $y,x$, а затем для пары $x,y$
$$c{\psi }_x(y,x)={\psi }_x(x,\cdot y),c{\psi }_x(x,y)={\psi }_x(y,x),$$

то получим
$$c^2{\psi }_x(x,y)={\psi }_x(x,y);$$

так как ${\psi }_x(x,y)$ не равна тождественно нулю, $c^2=1$ и $c=\pm 1$. Таким образом, при всех $x$ и $y$
$${\overline{\psi }}_x(x,y)={\psi }_x(y,x)=\pm {\psi }_x(x,y).$$
Собственная функция ${\psi }_{\mathrm{x}}(x,y)$ в точке $x,y$ имеют либо значение, равное значению в точке $y,x$, либо значение, противоположное по знаку. Из общих соображений нельзя определить, имеет ли место первый случай или второй; однако для всякой функции ${\psi }_{\mathrm{x}}(x,y)$, удовлетворяющей упомянутым выше условиям (т. е. для всякого определенного собственного значения), может осуществляться лишь олна из двух возможностен. Собственные значения и собственные функциии, для которых в (11.12) следует брать знак ${}^{+}$\», называются симметричными собственными значениями и собственными бункциями; а те, для которых следует брать знак ,- “, называются антисимметричными. Таким образом мы получаем качественную классификацию собственных значений и собственных функций уравнения Шредингера на классы в зависимости от того, подчиняются ли они соотношению (11.12) со знаком \»+ \», или $n$ — “.

Вполне аналогичные и даже несколько более простые аргументы применимы к уравнению для собственных значений
$$-\frac{{\hslash }^2}{2m}\frac{{\partial }^2\psi (x)}{\partial x^2}+V(x)\psi (x)=E\psi (x),$$

где
если определить
$$V(x)=V(-x)\text{. }$$
$$\mathrm{P}\psi (x)=\psi (-x)\text{. }$$

Тогда вместо (11.12) получим
$$\psi (x)=\pm \psi (-x).$$

Это является просто констатацией того хорошо известного факта, что все собственные функции являются либо четными, либо нечетными функциями от $x$.

Распространим эти соображения на более общий случай дискретного собственного значения с несколькими (но в конечном числе) линеинно независимыми собственными функциями ${}^1$ ). При этом вычисления мы будем заменять, где это возможно, качественными рассуждениями; ясно, что конкретный вид оператора Гамильтона (11.1) и (11.13) не является существенным и что в первом случае играет роль тождественность двух частиц, а во втором-
1) Здесь важен не столько дискретный характер собственных значений, сколько конечное число собственных функций, принадлежащих данному собственному значению. Вся теория может быть распространена почти без всяких изменений на „дискретные комплексные собственные значения\», с которыми имеет дело гамовская теория $\alpha$-распада ядер, хотя они и не являются дискретными в указанном выше смысле, так как интегралы от квадратов соответствүюцих собственных функций расходятся.
лишь равноправность двух направлений $+X$ и — $X$. Мы получим соотношения, аналогичные (11.12) и (11.16), которые аналогичным образом выделяют разные типы собственных функций: собственные функции, принадлежащие данному собственному значению, удовлетворяют одному из нескольких наборов соотношений, и, наоборот, собственные значения, собственные функции которых удовлетворяют тому же набору соотношений, обладают сходными свойствами. Собственные функции различных типов относятся к термам с разными свойствами; эти свойства образуют основу для классификации уровней ( зоологии уровней “).

Соображения, которые привели к (11.12), опираются на то обстоятельство, что (11.1) инвариантно относительно преобразования
$$x^{\prime }=y,y^{\prime }=x.$$

Отсюда следует, что функция ${}^1$ ) $\mathrm{P}{\psi }_{\mathrm{x}}$, определяемая соотношением
$$\mathrm{P}{\psi }_{\mathrm{x}}(a,b)={\psi }_{\mathrm{x}}(b,a),$$

которое тождественно выполняется для всех $a$ и $b$, является решением уравнения $H\psi =E\psi$, если только ${\psi }_x$ является его решением.

Для обобщения этого результата положим, что $\mathbf{R}$ — вещественное ортогональное преобразование
$$\begin{array}{l}{x}_1^{\prime }=R_{11}{x}_1+R_{12}{x}_2+\dots +R_{1n}{x}_n,\\ x_2^{\prime }=R_{21}{x}_1+R_{22}{x}_2+\dots +R_{2n}{x}_n,\\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot R_{nn}{x}_n,\\ x_n^{\prime }=R_{n1}{x}_1+R_{n2}{x}_2+\dots \cdot .\end{array}$$

и определим ${\mathrm{P}}_{\mathrm{R}}f$ как функцию, для которой соотношение
$${\mathbf{P}}_{\mathbf{R}}f(x_1^{\prime },x_2^{\prime },\dots ,x_n^{\prime })=f(x_1,x_2,\dots ,x_n)$$

тождественно выполняется либо по переменным $x_1,x_2,\dots ,x_n$ [в этом случае $x_1^{\prime },x_2^{\prime },\dots ,x_n^{\prime }$ следует рассматривать как представленные выражениями (11.18a)], либо по $x_1^{\prime },x_2^{\prime },\dots ,x_n^{\prime };$ в последнем случае вместо $x_i$ подставляется
$$x_i=\sum _{j=1}^n{R}_{ji}{x}_j^{\prime }.$$
1) Р४ означает функцию так же, как обычные обозначения функций $f$ или $g$; Р $\psi (x,y)$ является значением этой функции в точке $x,y$. Так, например, (11.19) означает, что ${\mathrm{P}}_{\mathrm{R}}f$ в точке $x_1^{\prime },x_2^{\prime },\dots ,x_n^{\prime }$ имеет то же значение, что и функция $f$ в точке $x_1,x_2,\dots ,x_n$.
Таким образом, ${\mathrm{P}}_{\mathrm{R}}$ есть оператор, заменяющий $x_i^{\prime }$ на $x_i$. Однако, так как в подобном словесном определении различие между операцией $P_R$ и обратной к ней не вполне ясно, то по существу во всех расчетах будут использоваться формальные определения, выраженные соотношениями (11.19) и (11.18a) или (11.186).

Если теперь две точка $x_1,x_2,\dots ,x_n$ и $x_1^{\prime },x_2^{\prime },\dots ,x_n^{\prime }$ конбигурационного пространства, которые преобразуются друг в друга с помощью заданного преобразования $\mathrm{R}$, являются фызически эквивалентными (т. е. они отличаются лишь перестановкой положений двух тождественных частиц), то $и$ две функции $\psi$ и ${\mathrm{P}}_{\mathrm{R}}\psi$ также эквивалентны (в ${\mathrm{P}}_{\mathrm{R}}\psi$ вторая частица просто играет ту же роль, когорую первая играла в $\psi$, и наоборот). Если $\psi$-волновая функция стационарного состояния, то этим свойством обладает и ${\mathrm{P}}_{\mathrm{R}}^{\ast }\psi$, и обе они относятся к одной и той же энергии. Из уравнения $\mathrm{H}\psi =E\psi$ следует, что ${\mathrm{HP}}_{\mathbf{R}}\psi =E{\mathrm{P}}_{\mathbf{R}}\psi$ и $\mathrm{H}$ инвариантно относительно операции $P_R$.

Преобразования R, которые преобразуют эквивалентные точки друг в друга, образуют группу — „группу уравнения Шредингера“, так как произведения таких преобразований и их обратные также преобразуют одни эквивалентные точки в другие (т. е. принадлежат этой группе). Тождественным элементом группы является тождественное преобразование, переводящее каждую точку в саму себя. Сама эта группа называется группой сим.метрии конфигурационного пространства.

Аналогичные соображения применимы к оператору $P_{\mathbf{R}}$. Легко видеть, что ${\mathrm{P}}_{\mathrm{S}}\cdot {\mathrm{P}}_{\mathrm{R}}={\mathrm{P}}_{\mathrm{SR}}$. Преобразование $\mathrm{R}$ переводит $x$ в $x^{\prime }$, так что ${\mathrm{P}}_{\mathbf{R}}f\left(x_i^{\prime }\right)=f\left(x_i\right)$, а $\mathbf{S}$ переводит $x^{\prime }$ в $x^{\prime \prime }$, так что ${\mathrm{P}}_{\mathbf{s}}g\left(x_i^{\prime \prime }\right)=g\left(x_i^{\prime }\right)$, и, следовательно, для $g(x)={\mathrm{P}}_{\mathbf{R}}f(x)$
$${\mathrm{P}}_{\mathrm{S}}{\mathrm{P}}_{\mathrm{R}}f\left(x_i^{\prime \prime }\right)={\mathrm{P}}_{\mathrm{R}}f\left(x_i^{\prime }\right)=f\left(x_i\right)\text{. }$$

Ho SR преобразует $x$ непосредственно в $x^{\prime \prime }$, так что
$${\mathrm{P}}_{\mathrm{SR}}f\left(x_i^{\prime \prime }\right)=f\left(x_i\right)$$

что дает соотношение, определяющее ${\mathrm{P}}_{\mathbf{S}\mathbf{R}}f$. Так как $f$ является произвольной функцией, то отсюда следуе 1, что
$$P_{\mathrm{SR}}={\mathrm{P}}_{\mathrm{S}}\cdot {\mathrm{P}}_{\mathrm{R}}\text{. }$$

Групга $P_R$ изоморфна группе $R$.
Определение (11.19) функции ${\mathrm{P}}_{\mathrm{R}}f$ может быть также записано в виде
$${\mathrm{P}}_{\mathrm{R}}f(x_1,\dots ,x_n)=f({\overline{x}}_1,\dots ,{\overline{x}}_n),$$

где
$${\overline{x}}_i=\sum _j{\left({\mathbf{R}}^{-1}\right)}_{ij}{x}_j\text{. }$$
Следовательно, при вычислении ${\mathrm{P}}_{\mathrm{S}}{\mathrm{P}}_{\mathrm{R}}f$ имеется искушение действовать следующим образом:
$$\begin{array}{rl}{\mathrm{P}}_{\mathrm{S}}{\mathrm{P}}_{\mathrm{R}}f(x_1,\dots ,x_n)& ={\mathrm{P}}_{\mathrm{S}}f({\overline{x}}_1,\dots ,{\overline{x}}_n),\\ {\mathrm{P}}_{\mathrm{S}}f(\overline{x_1},\dots ,{\overline{x}}_n)& =f(\overline{{\overline{x}}_1},\dots ,{\bar{\overline{x}}}_n),\end{array}$$

где
$${\bar{\overline{x}}}_l=\sum _i{\left({\mathrm{s}}^{-1}\right)}_{li}{\overline{x}}_i,$$

и поэтому
$${\bar{\overline{x}}}_l=\sum _{ij}{\left({\mathrm{S}}^{-1}\right)}_{li}{\left({\mathbf{R}}^{-1}\right)}_{ij}{x}_j=\sum _j{\left({\mathbf{S}}^{-1}{\mathbf{R}}^{-1}\right)}_{lj}{x}_j=\sum _j{((\mathbf{R}\mathbf{S}{)}^{-1})}_{lj}{x}_j.$$

Тогда можно найти, что
$${\mathrm{P}}_{\mathrm{S}}{\mathrm{P}}_{\mathrm{R}}f(x_1,\dots ,x_n)=f({\overline{x}}_1,\dots ,{\bar{\overline{x}}}_n).$$

Так как, в силу (11.19a), это равенство служит определением ${\mathrm{P}}_{\mathrm{RS}}f$, можно заключить, что ${\mathrm{P}}_{\mathrm{S}}{P}_{\mathrm{R}}f={\mathrm{P}}_{\mathrm{RS}}f$.

Тогда возникает вопрос о том, какое из этих двух вычислений правильно: то, которое приводит к (11.20), или последнее. Как читатель уже подозревает, правильным является расчет, приводящий к (11.20). Ошибка последнего вычисления содержится в соотношении (*). Представляется, что это равенство следует из (11.19a) [или (11.19)], если применить к обеим частям ${\mathrm{P}}_{\mathrm{S}}$. Однако операторы можно применять только к функциям, а две части равенства (11.19a) представляют значения функций (числа) для определенных значений аргумента. Функцию ${\mathrm{P}}_{\mathrm{R}}f$ можно обозначить через $\overline{f}$; тогда ${\mathrm{P}}_{\mathrm{S}}\left({\mathrm{P}}_{\mathrm{R}}f\right)={\mathrm{P}}_{\mathrm{S}}\overline{f}$. Получив это равенство, можно подставить любые эначения аргументов, и получающиеся при этом соотношения будут правильными. Такое рассуждение приведет к (11.20). C другой стороны, нельзя применять $P_S$ к числам.

Предположим, например, что равенство $f(x)=g\left(x^{\prime }\right)$ выполняется для всех значений $x$, если $x^{\prime }=x+1$, и что ${\mathrm{P}}_{\mathrm{S}}$ является операцией замены переменной на ее обратную величину. Тогда можно заключить, что

или
$${\mathrm{P}}_{\mathrm{S}}f(x)={\mathrm{P}}_{\mathrm{S}}g\left(x^{\prime }\right),$$
$$f\left(\frac{1}{x}\right)=g\left(\frac{1}{x^{\prime }}\right),$$

при $x^{\prime }=x+1$. Ясно, что такое равенство неправильно.
Мысль о возможности перехода от (*) к (**) не возникает, если помнить, что. ${\mathrm{P}}_{\mathrm{S}}{\mathrm{P}}_{\mathrm{R}}f={\mathrm{P}}_{\mathrm{S}}\left({\mathrm{P}}_{\mathrm{R}}f\right)$ является функцией. Если бы такая запись не была слишком непривычной, целесообразнее было бы писать выражение $\left({\mathrm{P}}_{\mathrm{s}}{\mathrm{P}}_{\mathrm{R}}f\right)(x_1,\dots ,x_n)$ для значения этой функции в точке $x_1,\dots ,x_n$, показывая, что ${\mathrm{P}}_{\mathrm{S}}{\mathrm{P}}_{\mathrm{R}}^{n}f$ является символом функции, каким являются часто $F,g$ и т. д.

Следует заметить также, что определение, следующее из (11.19), (11.18a), является естественным. Конфигурация с координатами $x_i^{\prime }$ в штрихованной системе и конфигурация с координатами $x_i$ в нештрихованной системе физически тождественны. В этом заключается смысл (11.18a).
Глава $\mathrm{II}$
Тогда смысл (11.19) состоит в том, что волновая функция ${\mathrm{P}}_{\mathrm{R}}f$ штрихованной системы и волновая функция $f$ в нештрихованной системе имеют одни и те же значения для одной и той же конфигурации.
3. Операторы $\mathrm{P}$ линейны. Подстановка $x$ вместо $x^{\prime }$ в сумме равносильна выполнению той же операции в каждом из отдельных слагаемых; далее, умножение функции, в которой сделана такая подстановка, на постоянный множитель дает тот же результат, что и умножение и последующая подстановка. Иначе говоря,
$$\mathrm{P}(af+bg)=a\mathrm{P}f+b\mathrm{P}g.$$

Так как оператор $\mathrm{P}$ представляет собой просто преобразование к новой ортогональной системе координат в конфигурационном пространстве, P должен быть унитарным, т. е. для двух произвольных функций $f$ и $g$ скалярное произведение не меняется:
$$(f,g)=(\mathrm{P}f,\mathrm{P}g).$$

Резюмируя, можно сказать, что при сделанных нами весьма общих предположениях $P$ является унитарным линейным оператором.
В рассматриваемом частном случае $P$ обладает также свойством
$$\mathrm{P}fg=\mathrm{P}f\cdot \mathrm{Pg},$$

которое следует непосредственно из его определения. Это свойство оператора $P$ не является таким общим, как его линейность и унитарность.
4. В большинстве случаев группа уравнения Шредингера может быть определена из общих физических соображений.

Рассмотрим систему из $n$ электронов, причем координаты $k$-го электрона обозначим через $x_k,y_k,z_k^1$ ). Тогда уравнение Шредингера инвариантно относительно двух типов преобразований. Тервое из них описывает перестановку электронов и имеет вид
$$\begin{array}{lll}{x}_1=x_{{\alpha }_1},& y_1=y_{{\alpha }_1}& z_1=z_{{\alpha }_1},\\ x_2=x_{a_2},& y_2=y_{{\alpha }_2},& z_2=z_{{\alpha }_2},\\ \cdot \cdot \cdot \cdot & \cdot \cdot \cdot \cdot & \cdot \cdot \cdot \cdot \\ x_n={\dot{x}}_{{\alpha }_n},& y_n=y_{{\alpha }_n},& z_n=z_{{\alpha }_n},\end{array}$$

где ${\alpha }_1,{\alpha }_2,\dots ,{\alpha }_n$ — произвольная перестановка чисел $1,2,3,\dots ,n$. Инвариантность относительно таких преобразований следует из физической эквивалентности всех электронов. Разумеется, то же самое
1) Таким образом, мы имеем $3n$ переменных $x_1,y_1,z_1,x_2,y_2,z_2,\dots$ $\dots ,x_n,y_n,z_n$ вместо $n$ переменных $x_1,x_2,\dots ,x_n$.
огносится к протонам, $\alpha$-частицам и т. л. Второй тип преобразований описывает вращение системы координат и имеет вид
$$\begin{array}{l}{x}_1^{\prime }={\beta }_{11}{x}_1+{\beta }_{12}{y}_1+{\beta }_{13}{z}_1,y_1^{\prime }={\beta }_{21}{x}_1+{\beta }_{22}{y}_1+{\beta }_{23}{z}_1,\\ x_2^{\prime }={\beta }_{11}{x}_2+{\beta }_{12}{y}_2+{\beta }_{13}{z}_2,y_2^{\prime }={\beta }_{21}{x}_2+{\beta }_{22}{y}_2+{\beta }_{23}{z}_2\text{, }\\ {\dot{x}}_n^{\prime }={\beta }_{11}{x}_n+{\beta }_{12}{y}_n+{\beta }_{12}{z}_n,y_n^{\prime }={\beta }_{21}{x}_n+{\dot{\beta }}_{22}{y}_n+{\beta }_{23}{z}_n,\\ z_1^{\prime }={\beta }_{31}{x}_1+{\beta }_{32}{y}_1+{\beta }_{33}{z}_1,\\ z_2^{\prime }={\beta }_{31}{x}_2+{\beta }_{32}{y}_1+{\beta }_{33}{z}_2\text{, }\\ z_n^{\prime }={\beta }_{31}{x}_n+{\beta }_{32}{y}_n+{\beta }_{33}{z}_n,\end{array}$$

где $\left({\beta }_{lk}\right)$ — вещественная ортогональная матрица; равенства (11.Е.2) означают лишь переход к системе координат с иной ориентацией. Физическая эквивалентность всех направлений в пространстве (по крайней мере в отсутствие внешних полей) приводит тогда к инвариантности относительно таких преобразований.

Ясно, что уравнение Шредингера инвариантно акже относительно преобразований, объединяющих (11.Е.1) и (11.Е.2). Преобразования (11.Е.1) образуют группу, изоморфную группе перестановок $n$ объектов (симметрической группе); преобразования (11.Е.2) группу, изоморфную трехмерной группе вращений.

Обозначим элемены группы уравнения Шредингера через $R$, $S,\dots$ Существуют операторы ${\mathrm{P}}_R,{\mathrm{P}}_S,\dots$, соответствующие этим элементам группы. Аналитическое выражение ${\mathrm{P}}_R$ дается равенством (11.19), в котором $\mathbf{R}$ является преобразованием, соответствующим элементу группы $R$. Однако в дальнейшем мы будем пользоваться в качестве индекса оператора $P$ элементом группы, а не соответствующей матрицей. Мы это делаем, во-первых, потому, что при этом обозначения становятся менее громоздкими, а, во-вторых, потому, что элемент симметрии имеет более фундаментальное значение, чем соответствующая ему матрица. Физический смысл оператора ${\mathrm{P}}_R$ заключается в том, что он образует, исходя нз волновой функции $\phi$ некоторого состояния, волновую функцию $P_R\phi$ состояния, в котором частицы обменялись ролями или новые направления $x^{\prime },y^{\prime },z^{\prime }$ играют роль старых направлений $x,y,z$.

Существуют физические величины (в данном случае энергия), с точки зрения которых состояния $\phi$ и ${\mathrm{P}}_R\phi$ эквивалентны. Это означает, что измерение этих величин дает те же самые значения с той же вероятностью как при $\phi$. так и при $P_R\phi$. Операторы, соответствующие физическим величинам этого рода, называются
симметричными по отношению к преобразованиям $P_R$, а группа называется группой симметрии физической величины. Группа перестановок тождественных частиц и вращений системы координат является группой симметрии энергии.
5. В (11.12) или (11.16) мы установили тот факт, что функция $\mathrm{P}\psi$ должна быть кратна $\psi$, так как она принадлежит собственному значению функции $\psi$. В более общем случае, когда рассматривается собственное значение с $l$ линеино независимыми собственными функциями ${\psi }_1,{\psi }_2,\dots ,{\psi }_l$, этого вывода уже сделать нельзя. Можно только сказать, что все функции ${\mathrm{P}}_R{\psi }_1,{\mathrm{P}}_R{\psi }_2,\dots ,{\mathrm{P}}_R{\psi }_l$ могут быть записаны в виде линеиных комбинаций функций ${\psi }_1,{\psi }_2,\dots ,{\psi }_l$ (поскольку каждая собственная функция этого собственного значения обладает этим свойством). Обозначим соответствующие коэффициенты через $D(R{)}_{\mathrm{x}y}$, так что ${}^1)$
$$\begin{array}{l}{\mathrm{P}}_R{\mathrm{\Psi }}_u(x_1,y_1,z_1,\dots ,x_n,y_n,z_n)=\\ =\sum _{x=1}^{l}D(R{)}_{xu}{\psi }_x(x_1,y_1,z_1,\dots ,x_n,y_n,z_n).\end{array}$$

Если $S$ также принадлежит группе уравнения Шредингера, имеем
$${\mathrm{P}}_S{\psi }_x=\sum _{\lambda =1}^{l}D(S{)}_{\lambda x}{\psi }_{\lambda }.$$

Подвергая переменные в (11.23) преобразованию $S$, т. е. применяя оператор ${\mathrm{P}}_S$ к обеим частям, получаем ( ${\mathrm{P}}_S$ — линейный оператор и $D(R{)}_{\text{хv }}$ являются постоянными!)
$$\begin{array}{rl}{\mathrm{P}}_S\cdot {\mathrm{P}}_R{\psi }_u& ={\mathrm{P}}_S\cdot \sum _{x=1}^{l}D(R{)}_{\mathrm{x}}{\psi }_{\mathrm{x}}=\sum _{\mathrm{x}=1}^{l}D(R{)}_{\mathrm{x}}{\mathrm{P}}_S{\psi }_{\mathrm{x}}=\\ & =\sum _{\mathrm{x}=1}^{l}D(R{)}_{\mathrm{x}}\sum _{\lambda =1}^{l}D(S{)}_{\lambda x}{\psi }_{\lambda }=\sum _{\lambda =1}^l\sum _{\mathrm{x}=1}^{l}D(S{)}_{\lambda x}D(R{)}_{xu}{\psi }_{\lambda }.\end{array}$$

С другой стороны, ${\mathbf{P}}_S\cdot {\mathbf{P}}_R{\psi }_u={\mathbf{P}}_{SR}{\psi }_v$, так что
$${\mathbf{P}}_S\cdot {\mathbf{P}}_R{\psi }_u={\mathbf{P}}_{SR}{\psi }_u=\sum _{\lambda =1}^{l}D(SR{)}_{{\lambda }_u}{\psi }_{\lambda }.$$

Отсюда, приравнивая коэффициенты этого разложения соответствующим коэффициентам в (11.24), находим
$$D(SR{)}_{\lambda y}=\sum _{x=1}^{t}D(S{)}_{\lambda x}D(R{)}_{xu}.$$
1) Индексы $xv$ написаны в таком порядке, чтобы, согласно (11.25), сами матрицы $\mathbf{D}(R)$, а не их транспонированные $\mathbf{D}(R{)}^T$, могли образовывать представление,
Образованные из коэффициентов, входящих в (11.23), $l$-мерные матрицы $\mathrm{D}(R)$ превращают собственные функции ${\psi }_v$, принадлежащие некоторому собственному значению, в преобразованные собственные функции $P_R{\psi }_v$. Поскольку они удовлетворяют соотношениям $\mathrm{D}(SR)=\mathbf{D}(S)\mathrm{D}(R)$, эти матрицы образуют представление группы, относительно которой $\mathrm{H}\psi =E\psi$ инвариантно. Размерность представления равна числу $l$ линейно независимых собственных функций ${\psi }_1,{\psi }_2,\dots ,{\psi }_l$, принадлежащих рассматриваемому собственному значению.

Общие соображения также мало говорят как о том, коэффициенты какого представления входят в (11.23), так и о знаках в соотношении (11.12); соотношение (11.23) допускает различные возможности (фактически несколько), так же как и (11.12). Следует снова предполагать, что для различных собственных значений могут иметь место различные представления.
Скомбинируем далее (11.23) с уравнением, определяющим ${\mathrm{P}}_R$ :
$$\begin{array}{rl}{P}_R{\psi }_u(x_1^{\prime },y_1^{\prime },z_1^{\prime },\dots ,x_n^{\prime },y_n^{\prime },z_n^{\prime })& =\\ & ={\psi }_u(x_1,y_1,z_1,\dots ,x_n,y_n,z_n).\end{array}$$

Если заменить $R$ на $R^{-1}$, роли штрихованных и нештрихованных переменных поменяются. Поэтому мы получаем формулы преобразования для функций ${\psi }_u$ :
$$\begin{array}{c}{\mathrm{\Psi }}_u(x_1^{\prime },y_1^{\prime },z_1^{\prime },\dots ,x_n^{\prime },y_n^{\prime },z_n^{\prime })={\mathrm{P}}_{R-1}{\psi }_u(x_1,y_1,z_1,\dots ,x_n,y_n,z_n)=\\ =\sum _{x=1}^{l}D{\left(R^{-1}\right)}_{xu}{\psi }_x(x_1,y_1,z_1,\dots ,x_n,y_n,z_n).\end{array}$$

Они ‘связывают значения собственных функций в физически эквивалентных точках конфигурационного пространства.

Группа, относительно которой (11.1) инвариантно, состоит из тождественного преобразования и преобразования $R$, соответствующего взаимной замене $x$ и $y$. Так как собственное значение было простым (по предположению), мы должны получить одномерное представление группы отражений. Поскольку $P_E$ является тождественным оператором, то
$$P_E\psi =\psi =1\cdot \psi \text{. }$$

Иначе говоря, тождественный элемент группы соответствует матрице (1). Далее (11.12) утверждает, что
$$P_R\psi =\overline{\psi }=\pm \psi =\pm 1\cdot \psi .$$

Некоторым собетвенным значениям соответствует верхний знак; для них матрица (1) соответствует элементу $\mathbf{R}$, который переставляет две частицы. Другим же собственным значениям отвечает нижний знак; для них элементу группы $\mathbf{R}$ соответствует матрица (-1). Таким образом мы получаем два одномерных представления симметрической группы из двух өлементов. Одно состоит из соответствия $\mathbf{D}(E)=(1),\mathbf{D}(R)=(1)$; другое — из $\mathbf{D}(E)=(1),\mathbf{D}(R)=(-1)$.
6. Если выбрать новые линейно независимые функции ${\psi }_1^{\prime },\dots ,{\psi }_l^{\prime }$ вместо ${\psi }_1,\dots ,{\psi }_l$, где
$${\psi }_{\mu }^{\prime }=\sum _{u=1}^l{\alpha }_{u\mu }{\psi }_u,$$

то получим в (11.23) другое представление группы операторов $P$. Тогда возникает вопрос о том, как связаны эти два представления.
Пусть
$${\psi }_x=\sum {\beta }_{\lambda x}{\psi }_{\lambda }^{\prime }$$

где $\beta$ есть матрица, обратная $\alpha$. Тогда, в силу линейности операторов ${\mathrm{P}}_R$, имеем
$$\begin{array}{rl}{\mathbf{P}}_R{\psi }_{\mu }^{\prime }& =\sum _u{\alpha }_{u\mu }{\mathbf{P}}_R{\psi }_u=\sum _u\sum _x{\alpha }_{u\mu }D(R{)}_{xu}{\psi }_x=\\ & =\sum _u\sum _x\sum _{\lambda }{\alpha }_{u\mu }D(R{)}_{xu}{\beta }_{\lambda x}{\psi }_{\lambda }^{\prime }=\sum _{\lambda }(\sum _{xu}{\beta }_{\lambda x}D(R{)}_{xu}{\alpha }_{u\mu }){\psi }_{\lambda }^{\prime }.\end{array}$$

Матрица $\bar{\mathrm{D}}(R)$, которая преобразует ${\psi }^{\prime }$ в ${\mathbf{P}}_R{\psi }^{\prime }$, получается из $\mathrm{D}(R)$ путем преобразования подобия с помощью матрицы $\mathit{\alpha }$ :
$$\bar{\mathbf{D}}(R)={\mathit{\alpha }}^{-1}\mathbf{D}(R)\mathit{\alpha }.$$

Иной выбор линейно независимых соб́ственных функций для данного собственного значения вызывает лишь преобразование подобия соотвектствующего представления: представление группы уравкения Шредингера, принадлежащее определенному собственному значению, определяется однозначно с точностью до преобразования подобия.

Если мы хотим иметь собственные функции, преобразующиеся не с помощью $\mathbf{D}(R)$, а с помощью эквивалентного ему представления, то следует образовать новые линейные комбинации собственных функций, пользуясь матрицей $\alpha$, преобразующей представление $\mathbf{D}(R)$ к желательному для нас виду $\bar{\mathbf{D}}(R)$.

Однозначно определенное (с точностью до преобразования подобия) представление является качественной характеристикой, с помощью которой могут отличаться различные типы собственных значений. Представление, принадлежащее синглетному уровню $S$, отличается от представления, принадлежащего, например, триплетному уровню $P$ или синглетному уровню $D$, тогда как все представления, принадлежащие триплетным уровням $P$, эквивалентны. Эти представления практически всегда будут неприводимыми, что и является одной из причин особой важности неприводимых представлений,
7. Eсли $l$ собственных функций ${\psi }_1,\dots ,{\psi }_l$ взаимно ортогональны (мы всегда будем предполагать, что это так), то coomветствующее представление унитарно. Из унитарности оператора ${\mathrm{P}}_R$ следует, что $l$ функций ${\mathrm{P}}_R{\psi }_1,\dots ,{\mathrm{P}}_R{\psi }_l$ также ортогональны:
$$({\mathbf{P}}_R{\psi }_x,{\mathbf{P}}_R{\psi }_u)=({\psi }_x,{\psi }_y)={\delta }_{xy},$$

или, с использованием (11.23),
$$\begin{array}{rl}{\delta }_{xu}& =({\mathbf{P}}_R{\psi }_x,{\mathbf{P}}_R{\psi }_u)=(\sum _{\lambda }D(R{)}_{\lambda x}{\psi }_{\lambda },\sum _{\mu }D(R{)}_{\mu u}{\psi }_{\mu })=\\ & =\sum _{\lambda }\sum _{\mu }D(R{)}_{\lambda x}^{\ast }D(R{)}_{\mu u}({\psi }_{\lambda },{\psi }_{\mu })=\sum _{\lambda }D(R{)}_{\lambda x}^{\ast }D(R{)}_{\lambda u},\end{array}$$
T. e.
$$\mathbf{1}=\mathbf{D}(R{)}^{†}\mathbf{D}(R).$$

Таким образэм, $\mathbf{D}(R)$ является унитарной матрицей ${}^1$ ). Следовательно, сразу можно заключить, что соотношения ортогональноети гл. 9 имеют место для $\mathrm{D}(R)$, если только это представление неприводимо.
Соотношению (11.26) можно также придать вид
$$\begin{array}{l}{\psi }_u(x_1^{\prime },y_1^{\prime },z_1^{\prime },\dots ,x_n^{\prime },y_n^{\prime },z_n^{\prime })=\\ =\sum _{x}D{\left(R^{-1}\right)}_{xu}{\psi }_x(x_1,y_1,z_1,\dots ,x_n,y_n,z_n)=\\ =\sum _{x}D(R{)}_{ux}^{\ast }{\psi }_x(x_1,y_1{z}_1,\dots ,x_n,y_n,z_n).\end{array}$$

Отсюда также видно, что мы будем иметь дело только с представлениями с отличными от нуля определителями
1) Поскольку собственные функции всегда можно выбрать так, чтобы они были ортогональными, это дает особенно простое доказательство того, что представления всегда могут быть сделаны унитарными.