Мотивированный вывод алгебры Клиффорда — рабочий конспект

Задача. Ввести умножение векторов (алгебру Клиффорда) по необходимости, не постулируя ни $v^2 = Q(v)$, ни сумму $a\cdot b + a\wedge b$ как трюк. Каждый шаг — явным расчётом, без «натяжек»; постулируемое честно отделяется от выводимого.

Обозначение цвета: красным выделены пункты, взятые как опора или принятые без вывода — их ещё предстоит прояснить.

1. Откуда метрика

Стартуем с аффинного пространства: точки, векторы, параллельный перенос — берём даром. Углов и длин пока нет; аффинная структура не умеет сравнивать длины непараллельных отрезков.

Расстояние, инвариантное к переносу, сводится к длине вектора: $$d(A,B) = F(B-A).$$

Метрические аксиомы переводятся в свойства $F$: положительность, чётность $F(v)=F(-v)$, неравенство треугольника $F(u+v)\le F(u)+F(v)$.

Эти три свойства недостаточны — им удовлетворяет масса неевклидовых норм (манхэттенская $\sum|x_i|$, макс-норма, любая $p$-норма). Квадратичности ещё нет.

2. Что отбирает квадратичность

Отбирающий принцип — свободная подвижность (однородность + изотропия): пространство должно допускать свободное движение твёрдых тел, т.е. группа движений транзитивна на сферах $F = \text{const}$.

Норма с «углами» (манхэттенская) это проваливает: у её сферы-квадрата вершины и середины рёбер неравноправны, линейная симметрия не переводит одни в другие — крутить по такой сфере нельзя.

[ОПОРА, не выведено] Гельмгольц–Ли–Картан: единственная $F$, допускающая транзитивную линейную группу симметрий на сферах, — это $F=\sqrt{Q}$ с невырожденной квадратичной формой $Q$; группа оказывается $O(Q)$. Строгий вывод требует тяжёлой теории групп Ли и здесь не проведён.

Мотивационное ядро (показуемо руками): много симметрии ⟹ инвариант квадратичен, потому что богатая транзитивная линейная группа сохраняет ровно симметричную билинейную форму.

Родственная опора интуиции — теорема Глисона: то же семейство «достаточно симметрии/аддитивности ⟹ функция квадратична»; обе ломаются в размерности $< 3$. (Логически в выводе не используется.)

3. Отражения

Из $Q$ — поляризация (симметричная билинейная форма): $$b(u,v) = \tfrac12\big(Q(u+v) - Q(u) - Q(v)\big), \qquad Q(v) = b(v,v).$$

Отражение вдоль $n$ — выводится разложением $v = v_\parallel + v_\perp$. Проекция на $n$: спроецировав равенство через $b(n,\cdot)$, $$v_\parallel = \frac{b(n,v)}{Q(n)}\,n.$$ Отражение переворачивает $v_\parallel$, не трогает $v_\perp$: $$s_n(v) = -v_\parallel + v_\perp = v - 2\frac{b(n,v)}{Q(n)}\,n.$$

Здесь только скаляр $b$ — никакого умножения векторов.

[ФАКТ, принят] Картан–Дьёдонне: любое движение из $O(Q)$ — композиция не более $n$ отражений (всякий поворот — чётное число отражений). Не доказывалось.

[ДОЛГ] Линейность движений вокруг точки — использована, но не выведена.

4. Зачем умножение

Композиция отражений через $b$ даёт громоздкую вложенную кашу: скаляр $b(n,v)$ каждый раз выпадает наружу отдельным множителем. Хотим умножение векторов, при котором $$\text{«скомпоновать отражения»} = \text{«перемножить зеркала»}\ n_1 n_2.$$

Свойства умножения читаются с заказа: - ассоциативность — от ассоциативности композиции операторов; - билинейность — условие поиска (работаем в линейном мире).

5. Правило умножения — выведено

Приняли $n\,n = Q(n)$ (двойное отражение = тождество, переведённое на умножение; для единичного зеркала $nn=1$).

Применяем к сумме двух векторов и раскрываем (порядок множителей держим): $$(n_1+n_2)(n_1+n_2) = Q(n_1+n_2)$$ $$n_1n_1 + n_1n_2 + n_2n_1 + n_2n_2 = Q(n_1+n_2).$$

Подставляем $n_1n_1=Q(n_1)$, $n_2n_2=Q(n_2)$ и переносим: $$\boxed{\,n_1 n_2 + n_2 n_1 = 2\,b(n_1,n_2)\,}$$

Не постулат — следствие $nn=Q$, применённого к сумме.

6. Сумма скаляр + бивектор — не трюк

Из правила — тождественное разложение любого произведения: $$n_1 n_2 = \underbrace{b(n_1,n_2)}_{\text{симметричная часть, скаляр}} + \underbrace{\tfrac12(n_1n_2 - n_2n_1)}_{\text{антисимметричная часть, «плоскость»}}.$$

Проверка: сумма частей = $\tfrac12(n_1n_2+n_2n_1) + \tfrac12(n_1n_2-n_2n_1) = n_1n_2$. ✓

Знаменитая сумма $a\cdot b + a\wedge b$ — это просто разложение на симметричную и антисимметричную части, где симметричная опознана как скаляр $b$. Тождество, а не постулат.

7. Сэндвич — выведен, не угадан

Подставляем $2b(n,v) = nv + vn$ прямо в формулу отражения ($Q(n)=1$): $$s_n(v) = v - 2b(n,v)\,n = v - (nv + vn)\,n = v - nvn - vnn.$$ Так как $vnn = v(nn) = v$: $$\boxed{\,s_n(v) = -\,n\,v\,n\,}$$

Сэндвич получен подстановкой, а не угадан.

8. Поворот

Сэндвич в сэндвич: $$s_{n_2}(s_{n_1}(v)) = -\,n_2\big(-n_1 v n_1\big)n_2 = n_2 n_1\,v\,n_1 n_2.$$

Обозначив $R = n_2 n_1$, $\ \tilde R = n_1 n_2$: $$\boxed{\,v \longmapsto R\,v\,\tilde R\,}$$

Каша из скаляров исчезла. Ротор $R = n_2 n_1$ — просто произведение двух зеркал: $$R = b(n_2,n_1) + (n_2 \wedge n_1)$$ (скаляр от угла между зеркалами + плоскость поворота).

Статус: выведено / принято

Выведено явным расчётом: формула отражения · правило $nv+vn=2b$ · разложение скаляр+бивектор · сэндвич $-nvn$ · композиция в поворот $Rv\tilde R$.

Открытые долги (прояснить): - Свободная подвижность ⟹ квадратичность $Q$ — взято как опора (Гельмгольц–Ли–Картан), строго не выведено. - Линейность движений — не доказана. - Картан–Дьёдонне (любое движение = композиция отражений) — принят как факт. - Не показано, что $R$ — именно поворот (нужен счёт на плоскости). - Не раскрыта природа $R$: единичные $R$ образуют группу (спиноры); в 3D совпадают с кватернионами.

Ключевой принцип метода

Каждый шаг — явным расчётом: разложить, найти коэффициенты, подставить. Никаких словесных пересказов формул, никаких угадываний. Постулируемое всегда честно отделяется от выводимого; любая «натяжка» отмечается флажком.