Влезу c пояснением ещё раз (хоть и не уверен в успешном прочтении топикстатртером моего предыдущего пояснения :-).
В физике не "доказывается теорема", а делается предположение (гипотеза) и ведётся проверка экспериментами; при этом форму записи уравнений физических законов мы стараемся выбрать такую, чтобы она выражала собой проверенное опытами предположение.
Конкретный пример: опыты подтвердили гипотезу о том, что в механике и в электродинамике всякое явление оказывается равноправным (равновероятным или реализуемым) с другим явлением, которое можно представить себе в виде зеркального отражения первого. Как этот факт выразить в уравнениях?
Очень просто. Уравнения в механике и в электродинамике мы обычно записываем с помощью векторов (в более общем случае - с помощью тензоров разных рангов, включая тензоры нулевого ранга, т.е. скаляры; вектор это тензор первого ранга).
Их поведение при отражении (и при поворотах тоже) чётко определено, причём, есть два типа векторов: полярные и аксиальные, или, другими словами, "истинные" и "псевдо". Поэтому в уравнении физики с векторами все слагаемые должны быть векторами одного и того же типа (в общем случае - тензорами одного и того же ранга и типа). Тогда при отражении все слагаемые в уравнении преобразуются по одному и тому же правилу, и, следовательно, уравнение сохраняет свою форму. Такой сохранностью формы уравнения и выражена симметрия явлений к отражению.
Пример уравнения, из нерелятивистской механики:
Здесь время
![$t$ $t$](https://dxdy-01.korotkov.co.uk/f/4/f/4/4f4f4e395762a3af4575de74c019ebb582.png)
- истинный скаляр (т.е. не псевдоскаляр:
![$t'=t$ $t'=t$](https://dxdy-01.korotkov.co.uk/f/c/9/e/c9e884a5b5a6a5fd0e62ef880d49fd1782.png)
при отражении), импульс
![$\mathbf{p}$ $\mathbf{p}$](https://dxdy-02.korotkov.co.uk/f/9/8/0/980fcd4213d7b5d2ffcc82ec78c27ead82.png)
- полярный вектор (потому что он выражается через скорость - полярный вектор, и массу - истинный скаляр), поэтому
![$d \mathbf{p} / dt$ $d \mathbf{p} / dt$](https://dxdy-03.korotkov.co.uk/f/6/5/7/657b93fea499c48747a7aa944f1f4a8882.png)
- тоже полярный вектор. И, следовательно, вектор силы
![$\mathbf{F}$ $\mathbf{F}$](https://dxdy-02.korotkov.co.uk/f/1/c/b/1cb505b2731cf6950498bd5faee25f4f82.png)
обязан быть полярным вектором, а не аксиальным. Именно тогда обе части уравнения преобразуются по одному и тому же правилу, так что уравнение после отражения сохраняет свою форму:
![$\dfrac{d \mathbf{p'}}{dt'}=\mathbf{F'}.$ $\dfrac{d \mathbf{p'}}{dt'}=\mathbf{F'}.$](https://dxdy-01.korotkov.co.uk/f/4/4/2/44225d0b563a450ad36a707d9ccfdf6982.png)
Вот пара простых примеров того, как реализуется векторность
![$\mathbf{F}.$ $\mathbf{F}.$](https://dxdy-03.korotkov.co.uk/f/6/0/3/603b3a53548915f97546808de2e676dc82.png)
В механике потенциальная энергия частицы
![$U(\mathbf{r})$ $U(\mathbf{r})$](https://dxdy-04.korotkov.co.uk/f/7/4/4/744e76f67244600a47d46ac0310559ab82.png)
- истинный скаляр (скалярное поле). Легко математически доказать, что градиент скалярного поля - полярный вектор (точнее, векторное поле). А вектор силы, действующей на частицу, в этом примере как раз и определяется как градиент скаляра:
![$\mathbf{F}=-\nabla U.$ $\mathbf{F}=-\nabla U.$](https://dxdy-03.korotkov.co.uk/f/2/d/2/2d2628f116add44ca86ef83dcc20b2f582.png)
Всё хорошо.
Второй пример: допустим, на частицу с электрическим зарядом
![$q$ $q$](https://dxdy-02.korotkov.co.uk/f/d/5/c/d5c18a8ca1894fd3a7d25f242cbe889082.png)
(это скаляр:
![$q'=q$ $q'=q$](https://dxdy-01.korotkov.co.uk/f/c/6/c/c6c6c65fcc62aa8cdaeee6acd98159c682.png)
при отражении) действует электрическое поле
![$\mathbf{E}$ $\mathbf{E}$](https://dxdy-03.korotkov.co.uk/f/a/e/4/ae48dff45ab57dda34b441bc7904377a82.png)
и магнитное поле
![$\mathbf{B}.$ $\mathbf{B}.$](https://dxdy-04.korotkov.co.uk/f/b/0/f/b0f9d403b8f7ed325220015b3474916c82.png)
Тогда
![$\mathbf{F} = q\mathbf{E}+(q/c)[\mathbf{v \times B}].$ $\mathbf{F} = q\mathbf{E}+(q/c)[\mathbf{v \times B}].$](https://dxdy-01.korotkov.co.uk/f/c/e/2/ce2c5c77ef04a3054997eec8bb918dc082.png)
Замечаем, что:
![$\mathbf{E}$ $\mathbf{E}$](https://dxdy-03.korotkov.co.uk/f/a/e/4/ae48dff45ab57dda34b441bc7904377a82.png)
- полярный вектор, вектор скорости частицы
![$\mathbf{v}=d \mathbf{r} / dt$ $\mathbf{v}=d \mathbf{r} / dt$](https://dxdy-01.korotkov.co.uk/f/4/5/d/45db3b923c976f70486c8f2743019b3882.png)
- полярный вектор,
![$\mathbf{B}$ $\mathbf{B}$](https://dxdy-04.korotkov.co.uk/f/f/f/4/ff44d867a998c08241beb49b3014878282.png)
- аксиальный вектор, а векторное произведение полярного и аксиального векторов - полярный вектор. Поэтому
![$\mathbf{F}$ $\mathbf{F}$](https://dxdy-02.korotkov.co.uk/f/1/c/b/1cb505b2731cf6950498bd5faee25f4f82.png)
оказывается, как и должно быть, полярным вектором. Опять всё хорошо.
Ещё пример: момент импульса вращающегося маховика
![$\mathbf{L}$ $\mathbf{L}$](https://dxdy-01.korotkov.co.uk/f/8/0/6/80637df1ca7533740cc7b3fdd1ab540b82.png)
- аксиальный вектор. Каким может быть уравнение для скорости его изменения со временем? Те же соображения подсказывают нам простейший возможный вариант:
![$\dfrac{d \mathbf{L}}{dt}=\mathbf{K},$ $\dfrac{d \mathbf{L}}{dt}=\mathbf{K},$](https://dxdy-03.korotkov.co.uk/f/e/3/8/e385e3a23c675980575007396cb2c04382.png)
где
![$\mathbf{K}$ $\mathbf{K}$](https://dxdy-02.korotkov.co.uk/f/5/5/8/558e1b6b0d61666c16dd87622253a30182.png)
обязательно должен быть аксиальным вектором, чтобы всё было хорошо. (
![$\mathbf{K}$ $\mathbf{K}$](https://dxdy-02.korotkov.co.uk/f/5/5/8/558e1b6b0d61666c16dd87622253a30182.png)
называют "моментом сил".)
Теперь пример (очень упрощённый) из физики элементарных частиц. Энергия частицы
![$E$ $E$](https://dxdy-01.korotkov.co.uk/f/8/4/d/84df98c65d88c6adf15d4645ffa25e4782.png)
- скаляр, константа
![$c$ $c$](https://dxdy-04.korotkov.co.uk/f/3/e/1/3e18a4a28fdee1744e5e3f79d13b9ff682.png)
("скорость света") - скаляр, импульс частицы
![$\mathbf{p}$ $\mathbf{p}$](https://dxdy-02.korotkov.co.uk/f/9/8/0/980fcd4213d7b5d2ffcc82ec78c27ead82.png)
- полярный вектор. Пусть вектор
![$\mathbf{s},$ $\mathbf{s},$](https://dxdy-01.korotkov.co.uk/f/4/3/0/430313f85bfb0c4466e780ea1b01418682.png)
имеющий безразмерную величину, связан со спином частицы (т.е. с её собственным моментом импульса) и поэтому является псевдовектором. Задача: можно ли из этих векторов составить линейное по ним выражение для энергии
Замечаем, что
![$c \mathbf{p}$ $c \mathbf{p}$](https://dxdy-01.korotkov.co.uk/f/8/1/8/8186e9930aa69e244f030db09b4637d682.png)
имеет размерность энергии, но это вектор. Тогда возьмём скалярное произведение
![$\mathbf{p} \cdot \mathbf{s},$ $\mathbf{p} \cdot \mathbf{s},$](https://dxdy-04.korotkov.co.uk/f/f/3/d/f3d2629eed311ccf1834ad3e1d10d9c082.png)
при этом появляется возможность написать два разных уравнения ("уравнения Вейля", говоря очень упрощённо):
![$E= c \mathbf{p} \cdot \mathbf{s} $ $E= c \mathbf{p} \cdot \mathbf{s} $](https://dxdy-04.korotkov.co.uk/f/7/8/a/78ac15307002d53f058cc71d5f3b2d4a82.png)
или
![$E= -c \mathbf{p} \cdot \mathbf{s}. $ $E= -c \mathbf{p} \cdot \mathbf{s}. $](https://dxdy-01.korotkov.co.uk/f/0/8/e/08e210bd12e52fe883ec49dfcb094d0482.png)
Хорошо?
Нехорошо, если предполагать, что в физике таких частиц есть симметрия к зеркальному отражению, и требовать, чтобы каждое из двух упомянутых уравнений имело смысл само по себе. Нехорошо потому, что
![$E$ $E$](https://dxdy-01.korotkov.co.uk/f/8/4/d/84df98c65d88c6adf15d4645ffa25e4782.png)
- истинный скаляр (не меняется при отражении), а
![$\mathbf{p} \cdot \mathbf{s}$ $\mathbf{p} \cdot \mathbf{s}$](https://dxdy-04.korotkov.co.uk/f/7/9/3/7930ada1c0f35da1275cccc0659595d682.png)
- псевдоскаляр, т.е. эта величина меняет свой знак при отражении:
![$\mathbf{p'} \cdot \mathbf{s'}=-\mathbf{p} \cdot \mathbf{s}.$ $\mathbf{p'} \cdot \mathbf{s'}=-\mathbf{p} \cdot \mathbf{s}.$](https://dxdy-04.korotkov.co.uk/f/b/9/f/b9fe9f2deb366623f697a3448f88c14a82.png)
Так что, при отражении эти уравнения не сохраняют свою форму, они переходят друг в друга.
В теории Дирака оба уравнения некоторым образом объединяются в единую систему уравнений, так что при отражении система уравнений в целом сохраняет свою форму и оказывается пригодной для физики частиц с зеркальной симметрией. А "уравнения Вейля" были физиками отброшены... до тех пор, пока не обнаружились процессы слабого взаимодействия, в которых зеркальная симметрия нарушается!
P.S.
На практике в задачах для различения полярных и аксиальных векторов бывает удобнее рассматривать не отражение, а так называемую пространственную
: это отражение в произвольной плоскости с последующим (или предшествующим, не важно) поворотом на угол
вокруг оси, препендикулярной к плоскости отражения.
Дело в том, что результат одного только отражения не универсален, он зависит от направления векторов относительно выбранной плоскости отражения; не конкретизируя плоскость отражения, можно лишь сказать, что аксиальный вектор приобретает дополнительный знак минус по сравнению с тем, как преобразуется при том же отражении полярный вектор с тем же исходным направлением.
При инверсии же, как легко убедиться, преобразование векторов совсем простое: полярный вектор меняет свой знак, а аксиальный вектор не изменяется.