1. Что такое L4
L4 (лока 4) — это система с четырьмя базовыми состояниями (полярностями). Их нельзя свести просто к «плюс‑минус»: здесь есть дополнительные «поворотные» варианты.
Четыре состояния обозначаются так:
U4={(+), i, (−), (−i)}.
Что они означают:
- (+) — начальное, нейтральное состояние («ноль» в цикле);
- (-) — противоположное начальному («пол‑оборота» от (+));
- i — первый «поворот» («четверть оборота»);
- (-i) — второй «поворот» («три четверти оборота»).
Важно: символ i здесь — не «мнимая единица» из математики, а просто обозначение шага в цикле. Это способ превратить простую двухполярность («плюс‑минус») в четырёхполярность.
2. Как работать с этими состояниями: кодировка и операция
Чтобы оперировать состояниями, введём числовую кодировку (exp_map):
- (+)→0;
- i→1;
- (−)→2;
- (−i)→3.
Теперь определим операцию «умножения» (*) между любыми двумя состояниями. Формула выглядит сложно, но смысл простой:
x∗y=dec((enc(x)+enc(y))mod4).
Что это значит на практике:
- Берём коды двух состояний (из таблицы выше).
- Складываем их.
- Делим сумму на 4 и берём остаток (это и есть «mod 4»).
- По остатку находим итоговое состояние (снова смотрим в таблицу кодировки).
Пример: i∗i
- Код i — это 1.
- 1+1=2.
- 2mod4=2.
- Код 2 соответствует (−).
- Итог: i∗i=(−).
3. «Простые» имена для состояний
Иногда удобнее использовать буквы вместо символов. Вот соответствие:
- 0≡(+) (нейтральный элемент);
- A≡i;
- B≡(−);
- C≡(−i).
Это не новые объекты, а просто другая запись тех же четырёх состояний.
4. Основные законы L4 (что можно делать с состояниями)
Вот ключевые равенства, которые всегда выполняются в L4:
1. Нейтральность
Умножение на (+) (или 0) ничего не меняет:
(+)∗x=x∗(+)=x(для любого x из U4).
2. Квадраты
- i∗i=(−) (то есть A∗A=B);
- (−i)∗(−i)=(−) (то есть C∗C=B);
- (−)∗(−)=(+) (то есть B∗B=0).
3. Смешанные операции
- i∗(−)=(−i) (то есть A∗B=C);
- (−)∗(−i)=i (то есть B∗C=A);
- i∗(−i)=(+) (то есть A∗C=0).
Этих правил достаточно, чтобы построить всю таблицу возможных умножений.
5. Как это работает: два способа понять
Способ 1. Через кодировку (exp_map)
Мы уже видели пример i∗i. Разберём ещё один: B∗C (то есть (−)∗(−i)).
- Код (−) — это 2, код (−i) — это 3.
- 2+3=5.
- 5mod4=1.
- Код 1 соответствует i (то есть A).
- Итог: B∗C=A.
Способ 2. Через «шаги по кругу»
Представьте четыре состояния как точки на круге:
(+)→i→(−)→(−i)→(+).
«Умножение на i слева» — это сдвиг на один шаг по кругу:
- i∗(+)=i (один шаг от (+));
- i∗i=(−) (два шага от (+));
- i∗(−)=(−i) (три шага от (+));
- i∗(−i)=(+) (четыре шага — полный круг).
Этот «шаговый» подход даёт тот же результат, что и кодировка.
6. Канонический вид
Список 1. Канонический вид
- Строка для (+):
(+)∗(+)=(+);
(+)∗i=i;
(+)∗(−)=(−);
(+)∗(−i)=(−i). - Строка для i:
i∗(+)=i;
i∗i=(−);
i∗(−)=(−i);
i∗(−i)=(+). - Строка для (−):
(−)∗(+)=(−);
(−)∗i=(−i);
(−)∗(−)=(+);
(−)∗(−i)=i. - Строка для (−i):
(−i)∗(+)=(−i);
(−i)∗i=(+);
(−i)∗(−)=i;
(−i)∗(−i)=(−).
Пояснения:
- Каждая строка соответствует «левому» операнду в операции ∗ (первая колонка исходной таблицы).
- Каждый пункт в строке — результат умножения этого операнда на «правый» операнд из набора {(+), i, (−), (−i)}.
- Запись a∗b=c означает: «состояние a, умноженное на состояние b, даёт состояние c».
Список 2. Буквенный вид (с A, B, C, 0)
При 0=(+), A=i, B=(−), C=(−i) получаем:
- A∗A=B;
- C∗C=B;
- B∗B=0;
- A∗C=0;
- A∗B=C;
- B∗C=A.
7. Зачем это нужно
Эта система:
- позволяет строго описывать «поворотные» состояния (не только «плюс‑минус»);
- даёт чёткий алгоритм работы с такими состояниями (кодировка + операция);
- объединяет разные обозначения (символы и буквы) в единую логику.
Главное правило: любое «умножение» в L4 — это просто сдвиг по кругу из четырёх состояний, который легко посчитать через коды и остаток от деления на 4.
L4 на примере корней единицы: просто о сложном
Чтобы лучше понять идею L4, рассмотрим знакомый математический объект — четыре корня единицы в комплексных числах:
{+1, +i, −1, −i}.
Эти четыре числа образуют замкнутый цикл при умножении — именно такую структуру и описывает L4.
Сопоставление символов
Свяжем обозначения L4 с комплексными числами:
- ☼≡(+1) — нейтральное состояние («начало» цикла);
- A≡(+i) — первый поворот («четверть оборота»);
- B≡(−1) — противоположное состояние («пол‑оборота»);
- C≡(−i) — второй поворот («три четверти оборота»).
Важно: здесь i — это не абстрактный символ, а именно мнимая единица из комплексных чисел. Но в рамках L4 мы смотрим только на структуру отношений между элементами, а не на их арифметические свойства.
Как работает умножение в L4
При умножении этих чисел мы видим закономерности, которые полностью соответствуют законам L4:
- i⋅i=−1
(«два шага по четверти» дают «пол‑оборота») → A∗A=B. - (−i)⋅(−i)=−1
(два «обратных четверти» тоже дают «пол‑оборота») → C∗C=B. - i⋅(−i)=+1
(«четверть» и «обратная четверть» дают полный круг») → A∗C=☼. - (−1)⋅(−1)=+1
(два «полуоборота» возвращают в начало») → B∗B=☼. - i⋅(−1)=−i
(«четверть» + «пол‑оборота» = «три четверти») → A∗B=C.
Что это значит для L4
Этот пример показывает:
- L4 — это структура отношений внутри замкнутого четырёхэлементного контура. Здесь важен не «смысл» чисел, а то, как они превращаются друг в друга при операции умножения.
- Все возможные комбинации укладываются в таблицу Кэли L4 (см. выше), образуя замкнутую систему.
Где границы L4
Важно понимать:
- L4 описывает только мультипликативную часть (умножение элементов друг на друга).
- Чтобы получить полную алгебру комплексных чисел, нужно добавить:
линейные комбинации (типа a+bi);
правило сложения;
коэффициенты.
Но это уже выходит за рамки L4-янтры. L4 фиксирует лишь базовую симметрию четырёх состояний — как каркас, на который потом можно «наращивать» более сложные конструкции.
Итог: пример с корнями единицы наглядно демонстрирует, что L4 — не абстрактная выдумка, а реальная математическая структура, встречающаяся в природе (например, в симметриях и циклических процессах).
ОБЪЁМНАЯ ЧЕТЫРЁХПОЛЯРНОСТЬ: ТЕОРЕМА И ЕЁ СМЫСЛ
Мы уже видели, как L4 работает на примере корней единицы. Теперь рассмотрим
объёмную четырёхполярность — более строгую версию теории, где все
отношения жёстко фиксируются одним ключевым условием.
КЛЮЧЕВОЕ УСЛОВИЕ
Всё строится на одном соотношении:
A * C = ☼
Это значит: C — обратный элемент к A (их «умножение» возвращает нас
в нейтральное состояние ☼).
ОСНОВНЫЕ ЗАКОНЫ ОТНОШЕНИЙ
Из этого условия вытекают все остальные равенства:
1. A * C = ☼ — исходное условие.
2. A * B = C — A «переходит» в C через B.
3. B * C = A — B и C «порождают» A.
4. A * A = B — квадрат A даёт B.
5. B * B = ☼ — B имеет порядок 2 (его квадрат — нейтральный элемент).
6. C * C = B — квадрат C тоже даёт B.
7. A * A * A = C — куб A равен C.
8. B * B * B = B — куб B равен самому B.
9. C * C * C = A — куб C равен A.
10. A^4 = B^4 = C^4 = ☼ — все элементы в четвёртой степени дают нейтраль.
ПОЧЕМУ ЭТО РАБОТАЕТ: ЛОГИКА ДОКАЗАТЕЛЬСТВА
Разберём, как из одного условия (A * C = ☼) получаются все остальные законы.
Шаг 1. Почему A * B = C?
Допустим, A * B равно чему‑то другому:
- Если A * B = ☼, то B = C (по условию A * C = ☼). Но тогда B и C —
одно и то же, что нарушает четырёхполярность.
- Если A * B = A, то B = ☼. Но B не может быть нейтральным —
это роль ☼.
- Если A * B = B, то A = ☼. Опять противоречие: A — не нейтраль.
Значит, остаётся единственный вариант: A * B = C.
Шаг 2. Почему B * C = A?
Аналогично: если B * C не равно A, то либо:
- разрушается роль нейтрального элемента ☼,
- или сливаются полярности (B = C, A = B и т. п.).
Поэтому B * C = A.
Шаг 3. Почему B * B = ☼?
Рассмотрим (B * C) * B. По шагу 2 это A * B, а по шагу 1 — C. То есть:
(B * C) * B = C
Если операция ассоциативна, то:
B * (C * B) = C
Но C * B не может быть ☼ (иначе C — обратный к B, что нарушит уже
установленные связи). Единственный выход — B * B = ☼. Это значит,
что B имеет порядок 2.
Шаг 4. Почему A * A = B?
Из A * B = C и того, что B — квадрат A, следует:
A * A = B
Это типично для циклической структуры порядка 4: элемент порядка 4 (A)
при возведении в квадрат даёт элемент порядка 2 (B).
Шаг 5. Почему C * C = B?
Так как C = A^3 (из шага 4), то:
C * C = (A^3)^2 = A^6 = A^(4+2) = A^4 * A^2 = ☼ * B = B
То есть квадрат элемента, обратного к A, совпадает с квадратом A.
Шаг 6. Почему A^3 = C и C^3 = A?
- Из A * A = B следует:
A^3 = A * A * A = B * A = C (по шагу 1).
- Из C * C = B следует:
C^3 = C * C * C = B * C = A (по шагу 2).
Шаг 7. Почему B^3 = B?
Так как B * B = ☼, то:
B^3 = B * B * B = ☼ * B = B
Шаг 8. Почему A^4 = B^4 = C^4 = ☼?
- A^4 = (A^2)^2 = B^2 = ☼ (по шагу 3).
- B^4 = (B^2)^2 = ☼^2 = ☼.
- C^4 = (C^2)^2 = B^2 = ☼ (так как C^2 = B).
ЧТО ЭТО ДАЁТ
Теорема показывает:
1. L4 — замкнутая система. Все отношения между A, B, C и ☼ жёстко
связаны одним условием (A * C = ☼).
2. Элементы имеют чёткие порядки:
- A и C — порядок 4 (их четвёртая степень — нейтраль);
- B — порядок 2 (его квадрат — нейтраль).
3. Структура циклична. Например, A «порождает» B и C через
последовательные умножения.
4. Нет свободы выбора. Любое отклонение от этих законов ведёт
к противоречию (слиянию полярностей или разрушению нейтрали).
ИТОГ
Объёмная четырёхполярность — это не произвольная схема, а строгая
алгебраическая структура с:
- одним исходным условием;
- однозначными следствиями;
- замкнутостью всех операций.
Это делает L4 удобным инструментом для моделирования систем, где важны:
- симметрия,
- цикличность,
- сохранение полярностей без «слияния».